不同的时态逻辑能够适应不同的推理任务。
There are a variety of temporal logics appropriate for a variety of reasoning tasks.
时态逻辑在软件确认和模型检查中有广泛的应用。
Temporal logics are widely used in software verification and model checking.
在离散数学和基础课程中引入时态逻辑令一些工具能处理并行。
Introducing temporal logic in discrete mathematics and foundations courses offers some tools to reason about concurrency.
最后介绍了线性时态逻辑特性模式在SPIN中的应用。
At last, the application of Property patterns of LTL formulas was given in SPIN tool.
本文的目的是：为基本的一阶时态逻辑建立一个完备性定理。
The aim of this article is to establish the completeness theorem of elementary first-order temporal logic.
在给出了间断区的时态知识表示后建立了基于间断区间的时态逻辑。
Authors establish an interval-gap-based temporal logic after giving the interval-gap-based representation of temporal knowledge.
我们也能使用一阶时态逻辑，为各种研究领域建立一些特定的形式系统。
We may also use the first-order temporal logic to set some specific formal systems for various fields of studies.
作为模态逻辑的继承，与数理逻辑的又一外延，时态逻辑断言推理则有效地解决这方面出现的难题。
As is inherited from modal logic and another extension of mathematic logic, temporal logic assertion inference can solve such problems.
提出了将线性时态逻辑(LTL)技术和电网故障模拟量信息引入高压输电线系统故障诊断的新思想。
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.
针对PNO模型存在的分析验证问题，本文将时态逻辑引入PNO模型，提出了相应的建模及验证方法。
Aiming at the problems of verifying PNO, this paper introduces temporal logic to PNO model and presents a modeling and verifying method based on PNO with precise marking.
本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。
After the study on the problems of formal specification and verification for network protocols, this paper gives out a general model system based on the temporal logic.
本文提出了模糊初值的概念，通过映射贴近度到模糊初值空间，我们给出了模糊时态逻辑中的一种新的推理方法。
This Paper presents a new concept of fuzzy beginning value. By mapping the degree ofcompatibility into the space of fuzzy beginning values. We give a new method pf fuzzy tense logic.
提出了基于线性赋色时态逻辑的行为建模方法，分别建立了动作、活动和行为三个不同层次的模型并给出了实例应用。
Behavior modeling method based on LCTL (linear colored temporal logic) is put forward, three different models of action activity and behavior are built and an example is presented.
目前实时数据库中的事务调度算法大多仅考虑数据的逻辑一致性，而忽略了满足时态的一致性。
However, almost all of the current transaction scheduling algorithms only take logic consistency of object into account, while ignoring temporal consistency.
论文讨论了时态数据库的逻辑设计过程。
The logical design of temporal database is discussed in this thesis.
而时态认知逻辑能更精确地描述分布式领域中系统和协议的规范。
But temporal logics of knowledge can describe more accurately the desirable specification of systems and protocols in distributed systems.
而时态认知逻辑能更精确地描述分布式领域中系统和协议的规范。
But temporal logics of knowledge can describe more accurately the desirable specification of systems and protocols in distributed systems.
应用推荐