查询词典 temporal

Interval algebra is a tool of qualitative temporal reasoning. It is widely used in artificial intelligence.

区间代数是一种用来进行定性时态推理的工具，它在人工智能中有着广泛的用途。

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规定了语义。

In order to introduce the formal techniques such as stepwise refinement, automatic transformation and testing based on formal specification to the multimedia field, we first present a powerful subset of Allen's interval algebra as the temporal specification language to multimedia program.

为了在多媒体领域中应用逐步求精、程序自动生成和面向形式规范的并发系统测试等形式化技术，本文首先研究一个表达能力足够的Allen区间代数的子集合，以它作为多媒体对象时序关系的描述语言。

Malti-agent system ; interval algebra ; IA network ; temporal relation

多自主体系统；区间代数； IA网络；时序关系

In order to make transformation between two temporal logics, we develop other two predicates to manipulate the interval. Their function is f: I→〓.

为实现两种时间语义的统一，ISITL定义了两个形式语义为f：I→〓的函词来实现对时段的各种操作。

In chapter 5, Inversion by spatio-temporal MEG data is discussed.

第五章讨论了利用脑磁时空数据的反演。

These articles declared:(1) that popes have no control over matters temporal, that kings are not subject to any ecclesiastical authority in civil affairs, that kings could not legitimately be deposed by the church, and that their subjects could not be released from their political allegiance by any papal decree;(2) that the papacy is subject to the authority of general councils of the church, as decreed by the Council of Constance (1414-18);(3) that papal authority must be exercised with due respect for local and national church usages and customs;(4) that, though the pope has "the principal part in questions of faith," pending the consent of a general council, his judgments are not irreformable.

这些文章宣称：（ 1 ）教皇没有控制权的问题时，即国王不受任何教会权威的民事，即国王不能合理地废黜的教堂，其主体不能从他们的释放政治效忠教皇的任何法令；（ 2 ）受教皇的权威理事会一般的教堂，如颁布理事会的康斯坦茨（ 1414年至1418年）；（ 3 ）教皇权力的行使必须给予应有的尊重地方和国家教会的惯例和习俗；（ 4 ），尽管教皇"的主要组成部分中的信仰问题，"之前同意的总理事会，他的判断没有irreformable 。

Your wealth, fame and temporal power will shrivel to irrelevance.

你的财富、名望和短暂的权利将变得无足轻重。

Your wealth, fame and temporal power will shrivel to irrelevance .

你的财富、名誉及暂时握有的权利都将将毫无价值。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。