构技术和区间代数是演算法使用的主要技术。
Decomposition techniques and interval arithmetic are used in the algorithm.
用定性模空间和区间代数刻划了定性定量相结合的求解方法。
Used qualitative model space and interval algebra to depict the solving method combining the quality and quantity.
区间代数是一种用来进行定性时态推理的工具，它在人工智能中有着广泛的用途。
Interval algebra is a tool of qualitative temporal reasoning. It is widely used in artificial intelligence.
应用推荐