一种可视化的时态推理方法

摘要

给出了一种集成定性与定量的约束的可视时态概念模型，通过该模型使得每个时态对象可以转子平面上的一个可视实体，并且在一些假设下引进一种有效的可视时态约束传递算法。