Research Initiation: Representing Mechanical Function by Constraint Modeling of Mating Interaction

配合相互作用，面对面相互作用在机械装置中很普遍。它是一个功能原语，复杂的机械功能由此合成。动力、热和流体的传输是一些领域的例子，在这些领域中，一个设备的复杂功能可以根据配合的概念简化为基本功能。这项工作的目的是研究如何用基于约束的语言来表示某种机械功能，即可以简化为配对交互的功能。我们将研究如何通过匹配约束来表示机械部件的匹配，以及如何通过约束模型的匹配约束的分层组合来表示来自匹配原语的机械功能的综合。我们的工作将遵循人工智能的理论/实验方法，探索性编程。研究将集中在约束范式的计算实现上，因为该范式可以正式表示机械设计中使用的配对交互和功能分解和综合的直观概念。

Mating interaction, surface to surface interaction is prevalent in mechanical devices. It is a functional primitive from which complex mechanical function is synthesized. Transmission of power, of heat, and of fluids are examples of areas where the complex function of a device can be reduced to primitives based on the concept of mating. The purpose of the proposed work is to study how a certain kind of mechanical function, namely that which can be reduced to mating interaction, can be represented by constraint based languages. We will investigate how mating of mechanical parts can be represented by mating constraints and how synthesis of mechanical function from mating primitives can be represented by the hierarchical composition of the mating constraints of a constraint model. Our work will follow the theoretical/experimental methodology of artificial intelligence, exploratory programming. The research will be centered on a computational realization of the constraint paradigm, since this paradigm can formally represent the intuitive notions of mating interaction and those of functional decomposition and synthesis used in mechanical design.