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.
那是因为时序逻辑，时间的逻辑就是这样运作的。
Temporal logic is a branch of Philosophical logic, which investigates the proposition and inference including time.
时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。
Adaptive mobile computing systems need to process a broad range of composite events, which are combinations of primitive events such as logic event, time events, and temporal events, etc.
适应性移动计算系统要求大范围的事件组合，这些事件包括逻辑事件、时间事件和暂时事件等。
Compared with propositional temporal logic, it can accurately describe the time feature of digital circuits and support discrete and continuous time structure.
它能精确地描述数字电路的时间特性，支持连续和离散的时间结构并能对时间信息进行推理。
Compared with propositional temporal logic, it can accurately describe the time feature of digital circuits and support discrete and continuous time structure.
它能精确地描述数字电路的时间特性，支持连续和离散的时间结构并能对时间信息进行推理。
应用推荐