把异步周期和多时间粒度下的时态模型结合起来研究，并利用异步周期的特点提出了一种有效的挖掘算法。
An algorithm for efficient mining of asynchronous periodic patterns with multiple granularities by exploring some interesting properties related to asynchronous periodicity was proposed.
来自ErvaCon的Bitemporal框架是一个开源项目，它基于时态模式(temporal Patterns)而创建，用来解决富领域模型中的时间相关数据的需求。
Bitemporal framework from ErvaCon is an open source project created based on the temporal Patterns to address the time related data requirements in rich domain models.
Erwin讨论了在领域模型中实现双时态(bi - temporality)的设计选择：使用一个时态数据库(temporal Database)或编写自己的代码。
Erwin discussed the design options for implementing bi-temporality in domain models by using a temporal Database or writing custom code.
本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。
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.
时态逻辑在软件确认和模型检查中有广泛的应用。
Temporal logics are widely used in software verification and model checking.
在时空数据库中，地理实体模型包括地理对象空间信息和时态信息。
In spatiotemporal database, geographic entity model includes spatial and temporal information of geographic object.
提出了基于线性赋色时态逻辑的行为建模方法，分别建立了动作、活动和行为三个不同层次的模型并给出了实例应用。
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.
在该模型的基础上，还探讨了时态查询、房产动态变化分析等问题。
On the basic of model, this paper discusses the problems such as tense query and real estate dynamic change analysis.
时态GIS是GIS一个新兴的研究领域，目前仍处于理论与模型的研究阶段。
Temporal GIS is a new research field of GIS, and still in the stages of theory and model study.
许多学者提出了多种时态数据模型。
本文给出了一个时态数据库模型GT。
本文中使用的时态XML模型是将不同有效时间的数据存放在同一个文档，而不是将数据按时间划分版本分开保存。
In the temporal XML model used in this paper, we store data with different valid time in the same document, rather than time-division version of data is kept separate.
本文给出了一个基于E- R方法的时态数据模型，即时态实体-关系(TER)模型。
In this paper, we give a temporal er - method - based data model, that is the temporal Entity Relationship model (TER).
为了实现时态数据库管理系统，除了数据模型之外，还需要有一个时态数据库的查询语言。
In order to implement a temporal database management system, we have to set up a query language for the data model.
最后讨论了建立地区RS判别模型、多时态地理信息系统等问题。
Finally, questions concerning the establishment of RS interpretation model and TGIS are discussed.
本论文的背景是高炉炉况诊断系统，论文主要包括扩充的时态黑板模型、推理机的设计与实现。
The background of the paper is Status Diagnosis System in Blast Furnaces. The dissertation includes: extended blackboard model, design and realization of inference.
论文提出了一种基于粗糙集和时态概念的新神经网模型—时态粗糙神经网。
This paper describes a new temporal rough neural network which consists of a combination of rough set and temporal concept.
针对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.
本文通过引入时态一致覆盖集的概念，提出一个基于时态推理与覆盖技术的时态外推推理诊断模型TGSC。
By introducing the concept of temporal consistent set covering, a diagnostic model named TGSC based on temporal reasoning and set covering is proposed in this paper.
文中还对模型的时态属性数据组织和空间对象的时态处理进行了描述。
Organization of temporal attribute data and temporal treatment of spatial object are described.
模糊时态工作流网可以对带有时间不确定性和时间约束的工作流模型中的时态信息进行建模，并对一些典型的时间约束进行时间可能性分析。
Then time modeling and time possibility analysis of temporal phenomena in FTWF-nets were studied. Finally, an example was given to illustrate the use oft…
模糊时态工作流网可以对带有时间不确定性和时间约束的工作流模型中的时态信息进行建模，并对一些典型的时间约束进行时间可能性分析。
Then time modeling and time possibility analysis of temporal phenomena in FTWF-nets were studied. Finally, an example was given to illustrate the use oft…
应用推荐