1) partial order temporal logic
偏序时序逻辑
2) sequential logic
时序逻辑
1.
Through three typical instances,this paper analyzes the influence of well-site power supply frequency on variable density logging signals,and explains the causes for abnormal phenomena of the sequential logic signal.
文章就变密度仪在野外使用中 ,井场电源频率对测井信号的影响 ,通过三种典型情况 ,从理论上进行了分析 ,阐明了时序逻辑信号发生异常的原因 ,并对时序逻辑控制电路进行改进 ,改进后的电路在室内模拟检测和野外测井都证明采取的措施是有效的。
2.
The paper specifies four design methods through the corresponding example in the paper,including sequential logic design,condition table design,sequential control design and empirical design.
在PLC系统应用中,梯形图的程序设计往往是最主要的问题,通过相应的实例论述梯形图程序的4种设计方法:时序逻辑设计法、状态表设计法、顺序控制设计法及经验设计法。
3.
By dividing RTL description into combinational logic and sequential logic, the method reuses the combinational logic synthesis and sequential logic synthesis in the controller synthesis, thus reducing the time used in developing RTL synthesis.
提出一种通过将RTL描述划分为时序逻辑与组合逻辑后 ,重用控制器综合中的组合逻辑综合和时序逻辑综合实现 RTL综合的方法 。
3) temporal logic
时序逻辑
1.
Decidability of the dense timed interval temporal logic;
稠密时间区间时序逻辑的可满足性判定
2.
Formal description of UML2.0 communication diagrams based on temporal logic;
基于时序逻辑的UML2.0通信图语义研究
3.
Model Checking Propositional Projection Temporal Logic with Infinite Model;
基于无穷模型命题投影时序逻辑的模型检查
4) logical sequence
逻辑时序
5) temporal Rough logic
时序Rough逻辑
1.
A temporal Rough logic is proposed.
提出一种时序Rough逻辑,定义了时序算子及其作用于Rough逻辑公式上的意义。
补充资料：偏序
设a是一个非空集，p是a上的一个关系，若p适合下列条件：
（1）对任意的a∈a,(a,a)∈p;
（2）若（a,b)∈p且（b,a)∈p,则a=b;
（3）若（a,b)∈p,(b,a)∈p,则（a,c)∈p,则称p是a上的一个偏序关系。带偏序关系的集合a称为偏序集或半序集。
若p是a上的一个偏序关系，我们用a≤b来表示（a,b)∈p。
eg. 1、实数集上的小于等于关系是一个偏序关系。
2、设s是集合，p（s）是s的所有子集构成的集合，定义p（s）中两个元素a≤b当且仅当a是b的子集，即a包含于b，则p（s）在这个关系下成为偏序集。
3、设n是正整数集，定义m≤n当且仅当m能整除n，不难验证这是一个偏序关系。注意它不同于n上的自然序关系。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条