time temporal logic的意思|示意
时间时序逻辑
time temporal logic的网络常见释义
是时序逻辑 UML软件工程组织 的状态)的属性。从技术的角度看，运算树逻辑(Computation tree logic, CTL)是时序逻辑(time temporal logic, TTL)的一个分支，其简单性和直观性非常适合于本例。CTL是常用的布尔命题逻辑(Boolean propos
时序逻辑 UML软件工程组织 的状态)的属性。从技术的角度看，运算树逻辑(Computation tree logic, CTL)是时序逻辑(time temporal logic, TTL)的一个分支，其简单性和直观性非常适合于本例。CTL是常用的布尔命题逻辑(Boolean propos
time temporal logic相关短语
1、 linear-time temporal logic 随后采用线性时序逻辑 ; 线性时序逻辑
2、 branching-time temporal logic 分支时间时序逻辑
3、 real time temporal logic 实时时态逻辑
time temporal logic相关例句
And that's because of the temporal logic that's how the logic of time works.
那是因为时序逻辑，时间的逻辑就是这样运作的。
Temporal logic always has the ability to reason about a time line.
时序逻辑总是有能力原因时限。
These works indicate that the alternating-time temporal logic (ATL) logic based on game is more suit-able to describe and analyze complex e-commerce protocols than traditional CTL.
结果表明基于博弈的AT L逻辑比传统的基于计算树逻辑(CTL)更适合于描述和分析复杂电子商务协议。
Temporal logic is a branch of Philosophical logic, which investigates the proposition and inference including time.
时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。
In a temporal logic, statements can have a truth value which can vary in time.
在时序逻辑，报表可以有真值，可以在不同的时间。
Compared with propositional temporal logic, it can accurately describe the time feature of digital circuits and support discrete and continuous time structure.
它能精确地描述数字电路的时间特性，支持连续和离散的时间结构并能对时间信息进行推理。