查询词典 interval algebra

The verification theories and algorithms of value-passing CCS and the π-calculus bisimulation equivalences are the hot point of research in the area of process algebra, and the critical step for the application of process algebra in practice.

传值CCS和π-演算互模拟等价的验证理论和算法是进程代数领域的研究热点，也是使进程代数从理论研究走向实际应用的关键环节。

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.

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

Used qualitative model space and interval algebra to depict the solving method combining the quality and quantity.

用定性模空间和区间代数刻划了定性定量相结合的求解方法。

First, the interval algebra of James Allen is modified to introduce intervals of infinite length.

我们首先讨论James Allen的时区代数结构，并对其进行了扩充。

A vector named as relation vector to describe relations existing between intervals presented is used by Allen in his Interval algebra theory.

文中为Allen的区间代数理论中区间的关系表达提出了向量表示法，称之为关系向量。

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

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

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网络；时序关系

The paper introduces Allen's interval algebra and the extension-the INDU network, applies the Heisenberg Uncertainty Principle to the INDU network, and deletes the fifteen basic relations of INDU where the intervals have at least one same endpoints or the same durations.

介绍了Allen的区间代数及其扩展－INDU网络，将Heisenberg不确定性原理应用于INDU网络，并将INDU的25种基本关系中两区间有端点相等或区间段相等的15种关系删除。

Anna: No, I've got a hangover.

不是，我昨晚宿醉了。

We head into the mountains in Su's new Land Cruiser, stop for lunch at a scenic restaurant and then hang around drinking beer and eating fruit as two of his employees attempt to lure the birds with a tape recording of the fowl's mating call.

我们坐上苏的巡逻车向山顶出发，在一家风景优美的餐馆吃了中饭。然后我们喝着啤酒吃着水果四处逛。