2022年6月，MBSE模型中心 频道（Modeler.org.cn）发布了如下资料：

 K3s是Rancher实验室的一个轻量级Kubernetes发行版，是由CNCF完全认证的Kubernetes产品。在K3s中，我们看到运内存占用或集群组件的二进制文件很小。这意味着K3s的体积很小。

 逻辑架构，作为一门形式科学，通过对推论的形式系统和自然语言论证二者的研究，逻辑研究和分类语句和论证的结构。

 图计算（Graph Processing）是将数据按照图的方式建模可以获得以往用扁平化的视角很难得到的结果。

 做用户，绕不开画像！画像不仅可以提升对用户的认知，还可以通过落地赋能业务。

 “状态” 算是 人们对事物一个很基本的抽象理解了，在现实世界里，“状态” 无时无刻不体现在我们的生活和工作之中；现实中客观存在的事物，我们总可以给它定义出几个状态来。 而在软件领域，也很早就形成了基于状态的行为模型范式，即 有限状态机(Finite-State Machine)。