1) modal/temporal logics
模态/时序逻辑
1.
Research on model checking covers the following subjects: modal/temporal logics,model checking algorithms,efficiency of model checking with respect to time and space(especial.
模型检测的研究大致涵盖以下内容:模态/时序逻辑、模型检测算法及其时空效率(特别是空间效率)的改进以及支撑工具的研制。
2) Fuzzy temporal logic
模糊时序逻辑
3) Fuzzy tense logic
模糊时态逻辑
4) temporal logic
时间(时态;时序)逻辑
5) 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综合的方法 。
6) 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;
基于无穷模型命题投影时序逻辑的模型检查
补充资料：模态逻辑
| 模态逻辑 modal logic 研究必然、可能及其相关概念的逻辑性质。逻辑的一个分支。模态逻辑所研究的命题“必然A”和“可能A”与通常命题演算中的命题不同。后者是真值函项，前者不是。因为，当A真时 ，“必然A”既可以是真也可以是假 ；当A假时，“可能A ”既可以是真也可以是假。模态命题演算是现代模态逻辑的基本内容之一。它是应用数理逻辑的方法研究模态命题逻辑的结果。最先开始这方面研究的是19世纪末的H.麦克考尔。在他的影响下，美国哲学家、逻辑学家C.I.刘易斯于1914年构造了一个模态命题演算。40年代末，卡尔纳普开始从语义方面研究模态逻辑。50年代末～60年代初，S.坎格尔、J.欣梯卡与S.A.克里普克等人发展了卡尔纳普的理论，提出了比较完整的模态逻辑的模型理论。60年代以后模态逻辑有很大发展，出现了许多新的系统，特别出现了许多非标准的模态逻辑系统。如认知逻辑、道义逻辑、时态逻辑等。模态逻辑由于研究和阐明了必然、可能、应当、知道等本体论和认识论概念的逻辑性质，因而具有深刻的哲学意义。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条