UML软件工程组织 的状态)的属性。从技术的角度看，运算树逻辑(Computation tree logic, CTL)是时序逻辑(time temporal logic, TTL)的一个分支，其简单性和直观性非常适合于本例。CTL是常用的布尔命题逻辑(Boolean propos
基于12个网页-相关网页
UML软件工程组织 的状态)的属性。从技术的角度看，运算树逻辑(Computation tree logic, CTL)是时序逻辑(time temporal logic, TTL)的一个分支，其简单性和直观性非常适合于本例。CTL是常用的布尔命题逻辑(Boolean propos
基于12个网页-相关网页
linear-time temporal logic 随后采用线性时序逻辑 ; 线性时序逻辑
branching-time temporal logic 分支时间时序逻辑
real time temporal logic 实时时态逻辑
alternating-time temporal logic 交互时态逻辑
modified linear time temporal logic 修改的线性实时逻辑
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)更适合于描述和分析复杂电子商务协议。
And that's because of the temporal logic that's how the logic of time works.
那是因为时序逻辑，时间的逻辑就是这样运作的。
In a temporal logic, statements can have a truth value which can vary in time.
在时序逻辑，报表可以有真值，可以在不同的时间。
应用推荐