您要查找的是不是：
- A LABELED SEQUENT CALCULUS FOR INTERVAL TEMPORAL LOGIC 区间时序逻辑的标记相继式演算
- The Inference Engine of Extended Interval Temporal Logic 扩展时段时序逻辑的推理机制
- Decidability of the dense timed interval temporal logic 稠密时间区间时序逻辑的可满足性判定
- Intrusion Signatures Interval Temporal Logic Analysis and Implementation 入侵特征的时间语义逻辑及实现
- Modeling, Consistency and Inference of Extended Interval Temporal Logic 扩展时段时序逻辑的模型、一致性和推理
- Extended Interval Temporal Logic for Undetermined Interval: Modeling and Linear Inference Using Time Petri Nets 一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理
- interval temporal logic 区间时态逻辑
- And temporal logic can be extended. 可以扩展时态逻辑。
- Then we ll take a look at a tool for processing temporal logic assertions. 然后,我们将研究用于处理时态逻辑断言的工具。
- Anthony Galton, Temporal Logic in the Stanford Encyclopedia of Philosophy. 这是与逻辑学相关的小作品。你可以透过编辑或修订扩充其内容。
- In this article, we will only consider the temporal logic that models the future as a linear sequence of events. 在本文中,我们将只考虑把未来当作为事件的线性序列模型的时态逻辑。
- 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. 时态逻辑是用于描述程序状态如何随时间而更改的形式体系。
- SMV -- checking finite state systems against specifications in temporal logic CTL. smv检查在临时逻辑CTL中的非规格有限系统。
- Understand the contactless IC card of knowledge, learn how to prepare plans based on temporal logic utility. 了解接触式IC卡的知识，学会如何根据时序逻辑图编写实用程序。
- 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)技术和电网故障模拟量信息引入高压输电线系统故障诊断的新思想。
- This paper introduces the temporal logic language XYZ/E,and then describes the gasbumer control problem in XYZ/RBE and XYZ diagram. 本文给出了时序逻辑语言XYZ/E的相关介绍,并利用XYZ/E的子语言XYZ/RBE与XYZ图描述了煤气炉实时控制问题。
- In the applications of model checking, the software properties are usually depicted by Linear Temporal Logic (LTL) formulas. 摘要在模型检查应用中，需要使用线性时态逻辑对软件具备的特性进行描述。
