在线词典

分类：语言工具

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

输入要查询的单词：

近期查询：

computation tree logic

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

计算树逻辑

查看英英释义

abstract:

Computation tree logic (CTL) is a branching-time logic, meaning that its model of time is a tree-like structure in which the future is not determined; there are different paths in the future, any one of which might be an actual path that is realised. It is used in formal verification of software or hardware artifacts, typically by software applications known as model checkers which determine if a given artifact possesses safety or liveness properties.

网络释义

计算树逻辑

活动的依赖用计算树逻辑（Computation Tree Logic，CTL）指定。调度程序通过将这些依赖转换为自动机，确保被调度的事件顺序能够被所有的rJ动机接受。

运算树逻辑

UML软件工程组织。现在的问题在于，我们究竟该如何描述执行树状结构路径(及路径上的状态)的属性。从技术的角度看，运算树逻辑(Computation tree logic, CTL)是时序逻辑(time temporal logic, TTL)的一个分支，其简单性和直观性非常适合于

分支时态逻辑

... 性时态逻辑（LinearTemporalLogic，LTL），类似的，具有分支时间结构的时态逻辑，称为分支时态逻辑（Computation Tree Logic，CTL）。

和分支时序逻辑

时序逻辑分为线性时序逻辑（Linear-time TemporalLogic，LTL）和分支时序逻辑（Computation Tree Logic，CTL）。

常用短语

Probabilistic Computation Tree Logic概率计算树逻辑；和概率计算树逻辑
Computation tree logic CTL计算树逻辑CTL
time computation tree logic时间计算树逻辑

正在查询...

在线词典

computation tree logic

网络释义

常用短语

{error}

{word}

单词变体

常用短语

网络释义

近义词

同根词

词语辨析

{num}、{title}