提出了基于线性赋色时态逻辑的行为建模方法，分别建立了动作、活动和行为三个不同层次的模型并给出了实例应用。
Behavior modeling method based on LCTL (linear colored temporal logic) is put forward, three different models of action activity and behavior are built and an example is presented.
具体涉及隶属函数，运筹学，线性代数等数学知识，以及层次分析法，矩阵计算等数学模型。
Involves the membership function specifically, the operations research, and so on linear algebra, as well as mathematical model of analytic hierarchy process, matrix representation and so on.
应用层次化思想，本文通过对线性方程组求解的网络模型分析，提出了一种基于网络分割、等效压缩的算法。
Using the hierarchy thought, an algorithm, which bases on network partition and equivalent compress by the analyzing the network model correspondence the linear equations group, is proposed.
应用推荐