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.