1.
in the end, we use this information to stimulate the automaton and decide whether the execution of the program satisfies the LTL property.
最后,用该信息来模拟状态自动机,并决定程序执行是否满足线性时序逻辑的性质。
2.
Tautologies of Nonlinear Odering Logic System W~2;
非线性序逻辑系统~2中的重言式
3.
Satisfiability and Expressiveness of Propositional Projection Temporal Logic;
命题投影时序逻辑的判定性和表达性
4.
Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic
基于时序逻辑证明编译优化程序变换的保义性
5.
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.
为什么要进行非线性时序模型的线性性检验,并以此作为本研究的逻辑引导。
6.
logic-controlled sequential computer
逻辑控制时序计算机
7.
A King of New Kleene Dienes 4 value Logic System K 2 4 Associated with a Nonlinear Ordering Evaluation Lattice;
赋值格为非线性序的KleeneDienes四值逻辑系统K_4~2
8.
A Kind of 6 value Logic System K 1 6 Associated with a Nonlinear Ordering Evaluation Lattice;
赋值格为非线性序的一种6值逻辑系统K_6~1
9.
The distribution of propositional truth degree in 5-valued logic systems associated with a nonlinear ordering true value set
五值非线性序集逻辑系统中命题真度的分布
10.
Adding linear temporal logic with clocks to Object-Z
用带时钟变量的线性时态逻辑扩充Object-Z
11.
Research on Model Checking of Petri Nets Based on Linear Temporal Logic
基于线性时态逻辑的Petri网模型检测研究
12.
Formal Semantics of Framed Temporal Logic Programming Language MSVL
框架时序逻辑程序语言MSVL的形式语义
13.
The Theory of Propositional Truth and Approximate Reasoning in Logic Systems Associated with a Nonlinear Ordering True Value Set
非线性序集逻辑系统中命题的真度理论及近似推理理论
14.
A new model for mining multiple time series based on temporal logic
基于时态逻辑的多时间序列挖掘模型
15.
The Deep Main Line of the Generation of Modernity--From the Capital Logic to the Life Logic
现代性生成的深层主线——从资本逻辑到生活逻辑
16.
Proceduralist Theory of Law: Theoretical Logic and Appropriate Circumstance of Times;
法律程序主义:论证逻辑和时代际遇
17.
Application of Minor State of Karnaugh Map in Logical Circuit of Time Sequence;
次态卡诺图在时序逻辑电路中的应用
18.
One Way to Design Scheduling Logic Circuit Based on MSI;
基于MSI的时序逻辑电路设计方法