在线词典

分类：语言工具

在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。

输入要查询的单词：

近期查询：

linear temporal logic

查词链接：https://www.dute.org/dict/linear_temporal_logic复制链接

线性时间逻辑，线性时序逻辑

查看英英释义

abstract:

In logic, linear temporal logic or linear-time temporal logicLogic in Computer Science: Modelling and Reasoning about Systems: page 175Linear-time Temporal Logic (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode formulae about the future of paths, e.g., a condition will eventually be true, a condition will be true until another fact becomes true, etc. It is a fragment of the more complex CTL*, which additionally allows branching time and quantifiers. Subsequently LTL is sometimes called propositional temporal logic, abbreviated PTL.

网络释义

线性时序逻辑

2.1.1 时序逻辑语言线性时序逻辑(Linear Temporal Logic, LTL)是一种形式化约束描述方法，可有效地描述系统在执行路径上的性质。

提出的是线性时序逻辑

Pnuelli提出的是线性时序逻辑(Linear Temporal Logic, LTL)。LTL在一阶命题逻辑的基础上引入了几坨与时间有关的操作符。

和线性时态逻辑理论

北京航空航天大学学报 eb服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考

常用短语

propositional linear temporal logic命题线性时序逻辑
linear temporal logic ltl线性时态逻辑
finite propositioanl linear temporal logic有穷命题线性时序逻辑
linear-time temporal logic随后采用线性时序逻辑；线性时序逻辑
modified linear time temporal logic修改的线性实时逻辑

正在查询...

在线词典

linear temporal logic

网络释义

常用短语

{error}

{word}

单词变体

常用短语

网络释义

近义词

同根词

词语辨析

{num}、{title}