时态一致

在事件时态一致性的前提下详细讨论了主动时态数据库中事件的时态问题，给出了复合时态事件的时态关系以及任意两个事件之间的Allen关系。

In this paper , the question of event temporality were discussed in active temporal database under the presupposition of temporal consistency . Then temporal relation of composite events and Allen relation between arbitrary two events were dealed with too .

本文通过引入时态一致覆盖集的概念，提出一个基于时态推理与覆盖技术的时态外推推理诊断模型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 .

本文对功能语类的四个参数进行了研究：主语脱落参数、词头方向参数、定式/非定式参数和时态一致参数。

Four parameters of functional categories have been examined : pro-drop parameter , head-direction parameter , finite / non-finite parameter and tense-agreement parameter .

然而，随着实时计算迅速发展，安全和时态一致性就成了许多实时应用另外必须考虑的问题。

However , as real-time systems continue to evolve , security and temporal consistency become another problem must be considered in many real-time application .

正是因为我迟到了老师生气了。（was与came时态保持一致。）

It was because I came late that the teacher was angry .

整篇文章缺乏时态的一致性。

A rambling argument that lacked any consistency .

英语教材和英美文学作品中都有形式上时态不一致的情况。

Disagreement of English tenses is found both in English literary works and textbooks .

主格参数与主格，时态和一致形式二语习得差异之最简解释

Nominative Case Parameter and A Minimalist Explanation for the L2 Acquisition of Nominative Case , Tense Marking and Agreement

目前实时数据库中的事务调度算法大多仅考虑数据的逻辑一致性，而忽略了满足时态的一致性。

However , almost all of the current transaction scheduling algorithms only take logic consistency of object into account , while ignoring temporal consistency .

结合TCDM因果诊断模型，分别就时态信息描述、时态信息传播的一般过程、时态一致性检验、时态信息传播的算子等进行了研讨，并给出相应的方法及性质。

By their combination with TCDM ( Temporal Causal Diagnostic Model ), temporal information describing , general process of temporal information propagating , tempotal consistency cheeking and operator of temporal information propagating are discussed . In the meanwhile , some algorithm and character about temporal information processing are given .

讨论了周期时间表示方法，定义了工作流系统授权新概念和时态授权推导规则，给出了时间复杂度为O（n2）的时态授权推导规则一致性验证图论算法，并定义了任务激活约束规则。

An algorithm based on the graph theory for verifying the consistency of all the authorization derivation rules is presented , which has the time complexity of O ( n2 ) .

该模型首先定义各类时态对象（如时间点、时间区间）以及它们之间的关系，并给出时态对象间的传递关系表，利用该表能进行时态一致性约束满足问题的求解。

This model firstly defined some temporal objects ( such as time point and time period ), then defined several relations among temporal objects and discussed the transitivity between the relations .

建立了事件驱动的城市公共交通动态行为模型和时态行为模型，并扩展了以时态标签方式表达的空间对象的时态特征，实现了对复杂空间对象的处理并保证了其时态一致性；

To process complicated spatial objects and maintain their temporal consistency , this thesis builds event-driven dynamic activity model and temporal model of urban public transport and expands temporal characteristics of spatial objects represented by temporal labeling .