提出了基于线性赋色时态逻辑的行为建模方法，分别建立了动作、活动和行为三个不同层次的模型并给出了实例应用。

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.

youdao

包括详细讨论逻辑信息法对一个标志所赋权值的两个方面。

The article discusses in detail two aspects of weight value bestowed by logic information method to an indication.

youdao