...更多相关文章: 规范 特征 最终自由 动态模型序列 T-范式 满足度 【摘要】:从分析Words(φ)的结构入手,引入用线性时态逻辑(LTL)公式φ表示的规范的特征概念,证明了一类LTL公式特征的存在性定理以及特征的计算方法.
基于21个网页-相关网页
最后介绍了线性时态逻辑特性模式在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.
应用推荐