temporal logic
时间逻辑：一种用于表示和推理关于时间的逻辑系统，通常用于计算机科学、人工智能和哲学等领域。
temporal logic网络翻译
时间逻辑（Temporal logic），广义上是指任何处理时间因素的形式逻辑系统，比如谓词逻辑，区间语义学，事件演算等；狭义上是指Prior以时态逻辑（tense logic...
时序逻辑composition of temporal logic specifications-时序逻辑的规格组成-知来论文发表中心 Keywords: temporal logic, specification, verification, compositional semantics, partial order [gap=166]关键词：时序逻辑，规范，验证，组合语义学，...
时态逻辑...识与技术》—2008年第34期—龙源期刊网 关键词：时态逻辑；UML交互模型；模型检测；自动机 [gap=850]Key words: temporal logic; UML Interactions; Model checking; automaton ...
使用时态逻辑使用时态逻辑(Temporal Logic,TL)对工作流模型的需求与特性进行规范化描述,具有描述能力强、灵活方便的优点.
temporal logic常用短语
1. temporal logic language：时序逻辑语言
2. EXTRACTION AND temporal logic：抽取及时态逻辑
3. time temporal logic：是时序逻辑 ; 时序逻辑
4. Projection Temporal Logic：投影时序逻辑 ; 采用投影时序逻辑
temporal logic双语例句
Linear temporal logic is an established discipline.
线性时序逻辑是一个已经确立的规则。
And here is a bit of temporal logic for you. It is raining today.
这里有点时序逻辑，今天下雨。
Temporal logic always has the ability to reason about a time line.
时序逻辑总是有能力原因时限。
相关单词
- tutun. （法）芭蕾舞短裙；新西兰马桑 n. （Tutu）人名；（罗、南非）图图
- tumblern. 不倒翁（玩具）；杂技演员；翻筋斗者；一杯的容量；滚筒；平底玻璃杯
- trimestern. 三个月；一学期
- trigonometryn. 三角学
- trapezen. 秋千；吊架
- transportingv. 运输；使产生身临其境的感觉；流放（transport 的现在分词）
- trampolinen. 蹦床（一种体育器械），弹簧垫 v. 在蹦床上弹跳
- tracern. [核]示踪物；追踪者；描图者；（铁笔等）绘图工具 n. （Tracer）人名；（英）特雷瑟
- tombolan. （英）一种彩券 n. （Tombola）人名；（意）通博拉
- to pass an examination
- tights紧身裤袜
- tiern. （高度各不相同的）一层，一排；（机构或系统的）层次，等级；（衣服的）一层褶裥（或荷叶边） v. 层叠，层层排列；成递升排列 【名】 （Tier）（英）蒂尔（人名）
- telecommunicationsn. 电信，电讯
- teachersn. 教师（teacher 的复数形式）
- taxationn. 征税，税制；税款