您要查找的是不是：
- linear time temporal logic 线性时序逻辑
- Formalizing Real-time Specification Using the Timed Temporal Logic in PVS 实时系统形式规格说明在PVS中的建立
- And temporal logic can be extended. 可以扩展时态逻辑。
- Temporal logic is a formalism used to describe how a program state will change with time. 时态逻辑是用于描述程序状态如何随时间而更改的形式体系。
- Timed temporal logic 时间Büchi自动机
- 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. 因此,在本例中,您可以根本不用时态逻辑断言就能完成任务,但会困难得多。
- After Kossa takes over, leads to attain 6 points in six round competition, the average each competition 1 point deposits, slightly has the enhancement compared to the rad branch time. 科萨接任后，带队在六轮比赛中拿到6分，平均每场比赛1分入账，比拉德科时代略有提高。
- Temporal logic assertions are also useful for diagnosing such errors in the first place. 首先,时态逻辑断言对于诊断此类错误也是有用的。
- 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. 摘要在模型检查应用中，需要使用线性时态逻辑对软件具备的特性进行描述。
- A Branching Time Model for Communicoition Agents within BDI Frame 基于分枝时间框架的通信系统的BDI模型
- By treating service requests as temporal logic conditions and web services as temporal models, ASMA does service matchmaking through model checking. ASMA将服务请求统一描述为一种时态约束条件，基于ASM-TL将服务转换为一种时态模型，并引入模型检验的思想进行服务匹配。
- Fruit juices ferment if they are kept a long time. 果汁若是放置很久，就会发酵。
