时间逻辑（Temporal logic），广义上是指任何处理时间因素的形式逻辑系统，比如谓词逻辑，区间语义学，事件演算等；狭义上是指Prior以时态逻辑（tense logic...
基于2643个网页-相关网页
composition of temporal logic specifications-时序逻辑的规格组成-知来论文发表中心 Keywords: temporal logic, specification, verification, compositional semantics, partial order [gap=166]关键词：时序逻辑，规范，验证，组合语义学，...
基于212个网页-相关网页
...识与技术》—2008年第34期—龙源期刊网 关键词：时态逻辑；UML交互模型；模型检测；自动机 [gap=850]Key words: temporal logic; UML Interactions; Model checking; automaton ...
基于140个网页-相关网页
Temporal Logic of Actions 行为时序逻辑 ; 逻辑 ; 时序逻辑
Linear Temporal Logic 线性时序逻辑 ; 提出的是线性时序逻辑 ; 和线性时态逻辑理论
interval temporal logic [计] 区间时态逻辑 ; 的区间时态逻辑 ; 时段时态逻辑
temporal logic language 时序逻辑语言
EXTRACTION AND temporal logic 抽取及时态逻辑
time temporal logic 是时序逻辑 ; 时序逻辑
Projection Temporal Logic 投影时序逻辑 ; 采用投影时序逻辑
Temporal logic is a specification language which is suitable for specification andverification of concurrent systems, and it has been widely used in the formalverification of digital circuits and software engineering.
时序逻辑是一种规范语言,适合于并发系统的规范与验证,已经广泛的应用于数字电路、软件工程等领域的形式化验证中。
参考来源 - 面向对象MSVL语言及其在组合Web服务验证中的应用The characteristics and forms of describing properties of UML models with linear temporal logic are also studied.
研究了线性时态逻辑公式表达UML模型性质的特点和形式。
参考来源 - 面向UML的模型检验研究Part three:Temporal pubic announcement logic which merges the semantic framework of pubic announcement logic and epistemic temporal logic and assigns to each state in a given epistemic model a set of sequences of pubic announcements.
第三部分:结合公开宣告逻辑系统和认知时态逻辑系统,将认知模型中的认知状态指派为公开宣告序列集,以讨论时态公开宣告逻辑系统TPAL。
参考来源 - 时态公开宣告逻辑初探Finally, carry out the debug of the software ,and use the testing platform built on dSPACE to measure the temporal logic chart in the mode of single action,one period action and circulative action.
最后进行控制系统软件的调试，并利用基于dSPACE搭建的测试平台测量单自由度动作、单周期运行、循环运行模式下的时序逻辑曲线。
参考来源 - 火炮自动供弹系统计算机控制研究·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
应用推荐