Temporal logics are widely used in software verification and model checking.
时态逻辑在软件确认和模型检查中有广泛的应用。
The probability updating algorithm for acyclic Temporal Bayesian network based on model simplification and general probability updating algorithm for Temporal Bayesian network are presented.
其中在时间贝叶斯网络研究中，分别提出了适用于非循环时间贝叶斯网络的基于模型化简的概率更新算法和一般概率更新算法。
Temporal GIS is a new research field of GIS, and still in the stages of theory and model study.
时态GIS是GIS一个新兴的研究领域，目前仍处于理论与模型的研究阶段。
We propose a temporal database model named GT.
本文给出了一个时态数据库模型GT。
In spatiotemporal database, geographic entity model includes spatial and temporal information of geographic object.
在时空数据库中，地理实体模型包括地理对象空间信息和时态信息。
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.
本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。
Owing to the lack of a unified time metric in the BDI model with branching temporal, agents can not make decisions about the goals with time requests and coordination based on such goals.
具有分支时序的主体BDI模型没有一个统一的时间度量与现实中的时间相对应，不方便进行关于时间相关目标的推理和实现基于时间相关目标的协同。
We extend finite automata with time sequence and define temporal finite automata, then we propose using temporal finite automat to build formal model for data fusion system.
本文提出了时序有限自动机，用它建立数据融合系统的形式化模型，并且给出了时序有限自动机模型的可达性分析方法，用于分析数据融合系统的性能和行为。
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.
本文通过引入时态一致覆盖集的概念，提出一个基于时态推理与覆盖技术的时态外推推理诊断模型TGSC。
The core of work flow model is the definition of business process which includes the basic activities and the temporal relation between them.
工作流模型的核心是业务过程的定义，包括组成过程的基本活动以及活动之间的时序关系。
Based on temporal reasoning thought, the model proposed fault path search strategy considering time sequence, which enabled the model to have temporal characteristic.
该模型基于时序推理思想，给出了考虑时序性的故障路径搜索策略，从而使模型具有时序特征。
At present, there are three models of the neural mechanisms for temporal cognition: the specialized timing model, the distributed network timing model and the local timing model.
当前对时间认知的脑机制探讨有三个模型：特异化计时模型、分布网络模型和定域计时模型。
And a scaling lognormal model of flood volume is introduced to represent the affection of temporal scale of duration in annual maximum flood volume distributions.
并提出了洪水洪量的对数正态分布模型来表征年最大洪量分布中历时的尺度影响。
Puff trajectory model can deal with the temporal spatial variation of source parameters and meteorological elements, and can be used to simulate the diffusion of all kinds of scales and sources.
烟团轨迹模式能够处理源参数和气象要素的时空变化，适用于各种尺度和各类源的输送扩散模拟。
The results showed: (1) the solution of transitive reasoning with spatial and temporal contents supported the mental model theory, not the formal rule theory.
结果发现：（1）空间位置和时间关系的推理结果都支持心理模型理论，而不支持形式规则理论。
Integrity is one of the objectives related to information system security, this paper presents a model to specify integrity policies for temporal database management system.
数据完整性是信息系统的安全目标之一，该文描述了一个时间相关的数据库管理系统的完整性策略模型。
The article introduces a temporal association rule model based on time series data. According to the definition, two algorithms are developed and compared.
明确提出挖掘延迟关联规则的模型，根据延迟规则的定义提出两种挖掘方法，并针对两种算法进行了相关的对比分析。
To try to identify the critical structures during epileptogenesis, we used the lithium-pilocarpine model that reproduces most clinical and neuropathological features of temporal lobe epilepsy (TLE).
为了尝试辨明癫痫发生的关键结构，我们使用锂-匹罗卡品模型，其能再现颞叶癫痫大多数的临床和病理特点。
According to the spatial and temporal characteristics of GIS-T data, this thesis has carried on the analysis and comparison of several existing spatiotemporal data model.
根据GIS - T数据所具有的时空特性，本文对现有的时空数据模型进行对比分析。
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.
针对PNO模型存在的分析验证问题，本文将时态逻辑引入PNO模型，提出了相应的建模及验证方法。
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.
本文中使用的时态XML模型是将不同有效时间的数据存放在同一个文档，而不是将数据按时间划分版本分开保存。
This paper presents a temporal - spatial data model for town property cadastre management, and presents a well - designed cadastral change solution and cadastral history data management solution too.
该文提出了一种可适用城镇产权地籍管理的时空数据模型及一整套完善解决地籍变更和地籍历史档案管理的方案。
Since the widely used Hidden Markov model (HMM) in speech recognition is first order Markov model, it can not fully model the temporal dependence of speech signal.
由于在语音识别中被广泛应用的隐马尔可夫模型(HMM)是一重马尔可夫模型，它不能充分地描述语音信号的时间相依性。
On the base of analyzing temporal-spatial characteristics of the social and economic statistical data, the paper puts forward a temporal-spatial data model of social and economic.
本文在分析社会经济统计数据时空特点的基础上，提出了社会经济统计时空数据模型。
In this paper, we give a temporal er - method - based data model, that is the temporal Entity Relationship model (TER).
本文给出了一个基于E- R方法的时态数据模型，即时态实体-关系(TER)模型。
Furthermore, a novel rate control scheme named Spatio-Temporal MAD prediction model is presented, and a more flexible non-texture prediction scheme is derived.
同时提出了一种时空结合的MAD预测模型和一种更加灵活的非纹理数据的预测方法。
In this animated model, different conformational states are lined up as a temporal sequence as they would occur during rotation of the central shaft.
在这个动画模型中，不同的构象状态按照它们在中央轴转动过程中的出现的顺序被排成一个时间序列。
The study of landscape ecosystem models consist of stochastic model and process-based landscape model, including temporal and spatial dynamic changes.
景观生态系统，景观动态研究包含了时空两个方面的动态变化，一般可分为随机景观模型和基于过程的景观模型。
The dynamic knowledge model with temporal and spatial characters for cotton management includes three modules as pre-sowing plan design, dynamic development indices, diagnosis and regulation.
具有时空适应性的棉花栽培管理动态知识模型主要包括播前方案设计、生育指标动态和苗情诊断调控知识模型三个部分。
The dynamic knowledge model with temporal and spatial characters for cotton management includes three modules as pre - sowing plan design, dynamic development indices, diagnosis and regulation.
具有时空适应性的棉花栽培管理动态知识模型主要包括播前方案设计、生育指标动态和苗情诊断调控知识模型三个部分。
应用推荐