时态

Based on our former work on agent BDI logic, multi-agent cooperation logics and multi-agent cooperative problem solving process modeling, as well as the work of Baral et al. on non-monotonic temporal logics, strong and weak exceptions were introduced to Alternating-time Temporal Logic that was the primogenitor of multi-agent cooperation logics. As a result, non-monotonic alternating-time temporal logic was developed, and its syntax and semantics were proposed.

在前期关于Agent BDI逻辑、多Agent合作逻辑、多Agent合作问题求解过程建模等研究工作的基础上，借鉴Baral等人开发非单调线性时态逻辑N-LTL的技术，利用强弱例外对多Agent合作逻辑的开创性工作交互时态逻辑进行拓展，建立非单调交互时态逻辑NATL，给出其语法和语义。

For the temporal schemes with a totally ordered set of temporal types, by analyzing good properties of sets of TFDs, a polynomial algorithm that may obtain lossless decompositions satisfying the temporal third form (T3NF) is given.

对于这种具有全序时态类型集的时态模式，通过分析TFD集所具有的良好特性，给出了一个得到满足时态第三范式(T3NF)的无损分解的多项式时间的算法。

For the temporal schemes with a totally ordered set of temporal types, by analyzing good properties of sets of TFDs, a polynomial algorithm that may obtain lossless decompositions satisfying the temporal third form （T3NF） is given.

对于这种具有全序时态类型集的时态模式，通过分析TFD臬所具有的良好特性，给出了一个得到满足时态第三范式（T3NF）的无损分解的多项式时间的算法。

Perfect aspectual operator, experience aspectual operator, progressive aspectual operator, and short aspectual operator are veridical operators;⑵Chinese PPIs can be license d by veridical operators;⑶PPIs and NPIs in Mandarin Chinese distribute symmetrically and are unified underveridical contexts.

本论文从汉语时态的角度，对汉语中的时态算子对汉语正极项的允准进行了初步的研究；并试图证明以下三个问题：⑴汉语中的时态算子：完成态算子，经历态算子，进行态算子，及短暂态算子为真实性算子；⑵汉语中的正极项能够被真实性算子允准；⑶汉语中的正极项与负极项呈对称性分布，并统一于真实性语境。

The temporal middleware does not support the index of bitemporal data, which include the transaction time and valid time. By using the proper data transformation and query transformation, the bitemporal data can be transferred to the data of 4R index.

摘要当前的时态数据库中间件不支持包含事务时间和有效时间的双时态数据索引，通过使用适当的数据变换和查询变换，可将双时态数据转化为R树可索引的数据。

Tense - Aorist The aorist tense is characterized by its emphasis on punctiliar action; that is, the concept of the verb is considered without regard for past, present, or future time.

时态 -简单过去式（译注：或称过去不定时态，一般以&简过&称之）梅晨：简过和不完成式都是指著过去的时间而言，但是不完成时态是指著过去的一种进行式的动作，例：我过去正在做。。。

The results revealed not only the tense definitions and tense correct forms should be given clearer explanation and illustration, but also more listening, speaking, reading and writing exercises can be offered for students to deepen their concepts and familiarities about tense.

本实验结果显示，时态定义及正确形式除了需要教师们花较多的时间做更清楚的讲解外，多做时态的听、说、读、写练习可以帮忙加深学生对时态使用的观念及熟悉度。

From the metaphorical point of view, past tense does not only refer to the past time, but it develops to project to real distance, and further to psychological distance, which reveals the nature of past tense from cognitive perspective.

隐喻在人们的认知过程中扮演重要角色，使英语过去时态的初始意义得到扩张，过去时态从单纯表示过去时间到表示现实距离，又进一步映射到心理距离，从而揭示了认知视野下英语过去时态的本质和意义。

From the metaphorical point of view, past tense does not only refer to the past time, but it develops to project to real distance, and further to psychological distance, which reveals the nature of past tense from cognitive perspective.

隐喻在人们的认知过程中扮演重要角色，使英语过去时态的初始意义得到扩张，过去时态从单纯表示过去时间发展到表示现实距离，又进一步映射到心理距离，从而揭示了认知视野下英语过去时态的本质和意义。

From the metaphorical point of view, past tense does not only refer to the past time, but it develops to project to real distance, and further to psychological distance, reveals the nature of past tense from cognitive perspective.Key words: past tense; cognitive perspective; metaphor

隐喻在人们的认知过程中扮演重要角色，使英语过去时态的初始意义得到扩张，过去时态从单纯表示过去时间到表示现实距离，又进一步映射到心理距离，从而揭示了认知视野下英语过去时态的本质和意义。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了