机械装置的定性空间推理与仿真

对定性空间推理机械装置的配置给出了一个全新的途径，使得计算机能通过定性空间推理理论，初步判断人类对某个机械装置设计的概念思路是否合理。此方案在推理过程中运用了约束传播和符号代数的方法，预测所有可能合理的配置信息。其推理机制主要定位于机械装置的空间信息描述和其相关的定性动力学描述。对每个构成一般机械装置的基础机械部件提供其定性配置信息和动力学约束。通过有机的推理机械部件信息，得到复杂机械部件综合定性描述，从而对整个系统的有个形象直观的定性认识。

Qualitative Spatial Reasoning and Simulation of Mechanism's Configuration

A novel approach to qualitative spatial reasoning about the spatial configuration of mechanism is presented that could be applied to estimate if the mechanism design is reasonable in the early phases. The basic idea in this approach is to predict all reasonable spatial configurations of a mechanism using constrain spread and sign algebra. The presentation of a mechanism spatial information and qualitative dynamic information were addressed. Firstly each basic mechanism component was provided, which composed every complex mechanism, the spatial information and qualitative configuration information. The spatial information contained the geometrical characteristic while the qualitative configuration information contained their direction, position, orientation and dynamic constrains. The complex mechanism was composed by these basic components, and their information was got through reasoning with the information of these basic components.