区间代数是一种用来进行定性时态推理的工具，它在人工智能中有着广泛的用途。
Interval algebra is a tool of qualitative temporal reasoning. It is widely used in artificial intelligence.
用定性模空间和区间代数刻划了定性定量相结合的求解方法。
Used qualitative model space and interval algebra to depict the solving method combining the quality and quantity.
为了符合应用，关于时间的模型从离散的自然数和整数，延伸到稠密的线性实数，甚至扩展到区间代数和树代数。
The underlying model of time appropriate to the application can range from discrete natural numbers and integers to dense linear real numbers or to algebras of intervals and trees.
研究了MV代数的区间拓扑和序拓扑及MV代数下的拓扑紧性、连结性、完备性和全序性。
This paper researched the interval topology and order topology of MV algebra as well as the tightness, connectedness, completeness and the total-orderness of MV algebra.
本文将区间数学这一近代数学工具引入尺寸链的分析计算，并提出了应用区间数学解尺寸链的方法，同时给出了应用举例及适应范围。
In this paper, interval mathematics, one of the modern mathematics tools, is introduced into the field of calculating and analysing dimensional chains, Examples are given.
本文将区间数学这一近代数学工具引入尺寸链的分析计算，并提出了应用区间数学解尺寸链的方法，同时给出了应用举例及适应范围。
In this paper, interval mathematics, one of the modern mathematics tools, is introduced into the field of calculating and analysing dimensional chains, Examples are given.
应用推荐