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).
为了尝试辨明癫痫发生的关键结构，我们使用锂-匹罗卡品模型，其能再现颞叶癫痫大多数的临床和病理特点。
Temporal logics are widely used in software verification and model checking.
时态逻辑在软件确认和模型检查中有广泛的应用。
Temporal GIS is a new research field of GIS, and still in the stages of theory and model study.
时态GIS是GIS一个新兴的研究领域，目前仍处于理论与模型的研究阶段。
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模型没有一个统一的时间度量与现实中的时间相对应，不方便进行关于时间相关目标的推理和实现基于时间相关目标的协同。
The probability updating algorithm for acyclic Temporal Bayesian network based on model simplification and general probability updating algorithm for Temporal Bayesian network are presented.
其中在时间贝叶斯网络研究中，分别提出了适用于非循环时间贝叶斯网络的基于模型化简的概率更新算法和一般概率更新算法。
The core of work flow model is the definition of business process which includes the basic activities and the temporal relation between them.
工作流模型的核心是业务过程的定义，包括组成过程的基本活动以及活动之间的时序关系。
In spatiotemporal database, geographic entity model includes spatial and temporal information of geographic object.
在时空数据库中，地理实体模型包括地理对象空间信息和时态信息。
We deeply investigate some statistical properties of local-world evolving networks and temporal behavior of epidemic spreading on such this evolving model.
我们深入研究了局域世界演化网络的一些统计特性以及发生在该模型网络上疾病传播的时间行为。
We propose a temporal database model named GT.
本文给出了一个时态数据库模型GT。
We aimed to describe the temporal profile of cardiac risk after stroke and develop a predictive model of serious cardiac adverse events (SCAEs) using baseline variables.
我们的目的就是对卒中后心脏风险的暂时情况进行描述并且对严重心脏有害事件应用基线参数开发一种预测模型。
The factors, which introduce the error of temporal differential estimation are, analyzed. The successive approximation calculation model for the optical flow estimation is put forward.
分析了光流计算中产生时域微分估计误差的各种因素，提出了光流的逐次逼近计算模型。
In order to facilitate users to specify the temporal specification at the time of authoring a multimedia program, a composition model is needed.
为了方便用户编制大型多媒体系统的时序描述，组合模型是必须的。
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.
本文提出了时序有限自动机，用它建立数据融合系统的形式化模型，并且给出了时序有限自动机模型的可达性分析方法，用于分析数据融合系统的性能和行为。
This model has the function to store temporal data, and based on it the intelligent network management can be realized and the hierarchical structure of supporting software are presented as well.
该模型具有历史数据存储功能，并能以此作为依据，进行网络智能化管理。
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。
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.
当前对时间认知的脑机制探讨有三个模型：特异化计时模型、分布网络模型和定域计时模型。
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.
数据完整性是信息系统的安全目标之一，该文描述了一个时间相关的数据库管理系统的完整性策略模型。
In order to implement a temporal database management system, we have to set up a query language for the data model.
为了实现时态数据库管理系统，除了数据模型之外，还需要有一个时态数据库的查询语言。
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）空间位置和时间关系的推理结果都支持心理模型理论，而不支持形式规则理论。
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)是一重马尔可夫模型，它不能充分地描述语音信号的时间相依性。
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.
并提出了洪水洪量的对数正态分布模型来表征年最大洪量分布中历时的尺度影响。
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.
该文提出了一种可适用城镇产权地籍管理的时空数据模型及一整套完善解决地籍变更和地籍历史档案管理的方案。
And this model uses temporal estimatation to determine which remaining parts of running workflows are affected by an exception and is able to predictively perform suitable adjustment.
该工作流模型使用时间估计来决定哪些尚未执行的局部工作流受到意外情况的影响并且能够预先执行恰当的工作流调整。
Based on temporal reasoning thought, the model proposed fault path search strategy considering time sequence, which enabled the model to have temporal characteristic.
该模型基于时序推理思想，给出了考虑时序性的故障路径搜索策略，从而使模型具有时序特征。
Scalar timing model (STM) was taken as a framework with analyzing many references about temporal cognition neural mechanism.
标量计时模型中各阶段的神经机制有重叠也有分离。
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 this paper, we give a temporal er - method - based data model, that is the temporal Entity Relationship model (TER).
本文给出了一个基于E- R方法的时态数据模型，即时态实体-关系(TER)模型。
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.
具有时空适应性的棉花栽培管理动态知识模型主要包括播前方案设计、生育指标动态和苗情诊断调控知识模型三个部分。
应用推荐