您要查找的是不是：
- A new idea is presented to introduce the linear temporal logic (LTL) technology and analog information into a fault diagnosis system for high voltage (HV) transmission lines. 提出了将线性时态逻辑(LTL)技术和电网故障模拟量信息引入高压输电线系统故障诊断的新思想。
- In the applications of model checking, the software properties are usually depicted by Linear Temporal Logic (LTL) formulas. 摘要在模型检查应用中，需要使用线性时态逻辑对软件具备的特性进行描述。
- The back end of XYZ/ADL is the linear temporal logic language XYZ/E, which can represent both dynamic and static semantics of systems as its unified formal semantic backbone. 后端用既可表示系统动态语义又可表示系统静态语义的时序逻辑语言XYZ/E作为一致的语义基础。
- 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. 巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。
- Linear temporal logic is a formal description language of the dynamic semantics by of the concurrent or the reactive program.It suits for precisely representing the dynamic semantics of a model. 线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言，它适合用来精确地表示模型的动态语义。
- propositional linear temporal logic 命题线性时序逻辑
- Linear Temporal Logic (LTL) property 线性时序逻辑性质
- A Linear Temporal Logic with Clocks for Verification of Real-Time Systems 带有时钟变量的线性时序逻辑与实时系统验证
- 1.Designing the heuristic information based on Linear Temporal Logic, and some genetic operators, for example, select, across and mutate. · 设计了基于LTL路径公式的启发式信息，以及选择，交叉，变异等进化操作。
- And temporal logic can be extended. 可以扩展时态逻辑。
- linear temporal logic 线性时序逻辑
- Linear Temporal Logic(LTL) 线性时序逻辑
- Linear Temporal Logic (LTL) 线性时态逻辑
- In this article, we will only consider the temporal logic that models the future as a linear sequence of events. 在本文中,我们将只考虑把未来当作为事件的线性序列模型的时态逻辑。
- Then we ll take a look at a tool for processing temporal logic assertions. 然后,我们将研究用于处理时态逻辑断言的工具。
- Anthony Galton, Temporal Logic in the Stanford Encyclopedia of Philosophy. 这是与逻辑学相关的小作品。你可以透过编辑或修订扩充其内容。
- We can also extend the language of temporal logic to include quantifiers over collections of values in databases. 我们还可以扩展时态逻辑的语言以包括数据库中值集合的量词。
- So, in this case, you can get away without using temporal logic assertions, but the task is much more difficult. 因此,在本例中,您可以根本不用时态逻辑断言就能完成任务,但会困难得多。
- Temporal logic assertions are also useful for diagnosing such errors in the first place. 首先,时态逻辑断言对于诊断此类错误也是有用的。
- Temporal logic is a formalism used to describe how a program state will change with time. 时态逻辑是用于描述程序状态如何随时间而更改的形式体系。
