temporal logic

基本解释

He constructed several software development environments using the tools that included a set of hierarchical languages based upon temporal logic.
他使用包括一组基于时间逻辑的分等级语言的工具建立了若干软件开发环境。
An Academy member, Professor Tang is well known for his work in temporal logic and perhaps best known for a set of tools he developed, known as the XYZ tools.
作为一名院士，唐教授以其对时间逻辑的研究著称，而他最广为人知的工作也许是他开发的一组工具，称为XYZ工具。
The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。

时序逻辑
Temporal logic is a specification language which is suitable for specification andverification of concurrent systems, and it has been widely used in the formalverification of digital circuits and software engineering.
时序逻辑是一种规范语言,适合于并发系统的规范与验证,已经广泛的应用于数字电路、软件工程等领域的形式化验证中。
时态逻辑
The characteristics and forms of describing properties of UML models with linear temporal logic are also studied.
研究了线性时态逻辑公式表达UML模型性质的特点和形式。
数学
时态逻辑
Part three:Temporal pubic announcement logic which merges the semantic framework of pubic announcement logic and epistemic temporal logic and assigns to each state in a given epistemic model a set of sequences of pubic announcements.
第三部分:结合公开宣告逻辑系统和认知时态逻辑系统,将认知模型中的认知状态指派为公开宣告序列集,以讨论时态公开宣告逻辑系统TPAL。
机械工程
时序逻辑
Finally, carry out the debug of the software ,and use the testing platform built on dSPACE to measure the temporal logic chart in the mode of single action,one period action and circulative action.
最后进行控制系统软件的调试，并利用基于dSPACE搭建的测试平台测量单自由度动作、单周期运行、循环运行模式下的时序逻辑曲线。
语言学
时间逻辑