最后介绍了线性时态逻辑特性模式在SPIN中的应用。
At last, the application of Property patterns of LTL formulas was given in SPIN tool.
提出了将线性时态逻辑(LTL)技术和电网故障模拟量信息引入高压输电线系统故障诊断的新思想。
A new idea is presented to introduce the linear temporal logic (LTL) technology and analog information into a fault diagnosis system for high voltage (HV) transmission lines.
提出了基于线性赋色时态逻辑的行为建模方法，分别建立了动作、活动和行为三个不同层次的模型并给出了实例应用。
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.
提出了基于线性赋色时态逻辑的行为建模方法，分别建立了动作、活动和行为三个不同层次的模型并给出了实例应用。
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.
应用推荐