时态

Interval Algebra is a temporal theory, which is independent from specific applications.

区间代数是一种独立的与领域无关的时态理论。

Based on the modified interval algebra, an interval based temporal logic TL is constructed, its semantics is rigorously defined.

在扩充后的时区代数结构的基础上，构造一种基于时区的一阶时态逻辑语言TL，并为TL规定了语义。

The article based on temporal knowledge representation theory, used Allen's interval algebra method, studied temporal problem in the continual fault stage.

该文基于时态知识表示理论，通过Allen区间代数方法，研究了相继故障的时序问题。

The people of Kiribati worry 和 their country will be taken away by a sudden high tide.

利用题干中的关键词在文章中查找答案相关句--文章前两句（注意题干中在用词和时态上的细节）。

However, if one cares to look ahead across the lexicographic landscape, what catches the eye, I presume, is the future tense writ large.

然而，让我们展望辞书编纂史穿越那道美丽风景，风光惹人醉，我断言，那是一道显而易见的将来时态里雕刻出来的愿景。

That's a lexicographical cop out, to say,"Miscellaneous technical senses."

用字典编纂学的术语来说，就是"不同的技术时态。"

Therefore, some these fields are thoroughly investigated in this dissertation, which are respectively mentioned as the following: 1. The Formal Description Language ISITL for Intrusion Signatures ISITL is a high-abstractive formal description language for representing intrusion signatures based on the interval temporal logic and first-order predicate calculus.

本论文对此展开了全面深入的研究，其内容主要包括： 1、基于时段时态逻辑和一阶谓词逻辑的入侵特征形式化描述语言ISITL ISITL克服了以往检测语言以"情景描述"为主的缺陷，转而采用形式化的方法来刻画入侵模式的入侵特征。

By decomposing two-dimensional relation into separate one-dimensional relations, then applying one dimensional temporal interval logical concepts in constructing twodimensional interval logic, definitions of relations between twodimensional objects are given.

通过将二维空间关系分解成一维关系，然后借用一维时态区间逻辑关系的思想构建二维区间逻辑，给出了二维对象关系的定义。

From the tense, the main clause and sentence are now carried out, is the expression of the corresponding state of the two.

从时态上说，主句和从句都用了现在进行时，表达的是对应的这两种状态。

The main usages of the Object Clause.

教学 难点宾语从句的时态、语序和引导词。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。