1.
Adding linear temporal logic with clocks to Object-Z
用带时钟变量的线性时态逻辑扩充Object-Z
2.
Research on Model Checking of Petri Nets Based on Linear Temporal Logic
基于线性时态逻辑的Petri网模型检测研究
3.
Temporal Logic Property Verification for SystemC Designs
基于SystemC的时态逻辑属性验证方法研究
4.
in the end, we use this information to stimulate the automaton and decide whether the execution of the program satisfies the LTL property.
最后,用该信息来模拟状态自动机,并决定程序执行是否满足线性时序逻辑的性质。
5.
Properties of Temporal Logic Operators and Extended Operations on Intuitionistic Fuzzy Singular Rough Sets
直觉模糊S-粗集时态逻辑算子及扩展运算性质
6.
The Deep Main Line of the Generation of Modernity--From the Capital Logic to the Life Logic
现代性生成的深层主线——从资本逻辑到生活逻辑
7.
logic of understanding and logic of reason
知性逻辑与理性逻辑
8.
Model Predictive Control for Piecewise Linear System Based on Mixed Logical Dynamic Model
基于混合逻辑动态的分段线性系统模型预测控制
9.
A new model for mining multiple time series based on temporal logic
基于时态逻辑的多时间序列挖掘模型
10.
logical consistency
逻辑兼容，逻辑一致性
11.
Application of Minor State of Karnaugh Map in Logical Circuit of Time Sequence;
次态卡诺图在时序逻辑电路中的应用
12.
Model Checking Web Services Based on Temporal Logic of Knowledge
基于时态认知逻辑的Web服务模型检测
13.
Tautologies of Nonlinear Odering Logic System W~2;
非线性序逻辑系统~2中的重言式
14.
Of, relating to, in accordance with, or of the nature of logic.
逻辑的逻辑的、与逻辑有关的、符合逻辑的或具有逻辑性的
15.
Commodity Sale Character Capital Logic Ldeology;
商品销售性格 资本逻辑 意识形态
16.
Topological Characterizations of Properties of Logic Theories in Three-Valued Propositional Logic System L_3*
三值命题逻辑系统L_3~*中逻辑理论性态的拓扑刻画
17.
Satisfiability and Expressiveness of Propositional Projection Temporal Logic;
命题投影时序逻辑的判定性和表达性
18.
If the specific linearity test has low power against other nonlinearities, it could incorrectly accept the null of the DGP is generated from linear series.
为什么要进行非线性时序模型的线性性检验,并以此作为本研究的逻辑引导。