Abstract: Aiming at the problems of assembly constrain verification in mechanical products design, a data structure of verification tree was adopted to store information of assembly constrain relationship into tree's node and to store modified design parameters into the verification modifier. Thus the changes of verification modifier's contents were monitored by monitor, and the verification tree was updated in real time. The verification analyzer was used to check the stack of verification monitor, and the start-stop of verification process was decided. Therefore dynamic relating verification for assembly constrain relationships was implemented. A prototype system of dynamic relating assembly verification was developed to verify the instance. The results showed that the verification system could monitor the influence of design change on constrain relationship synchronously, and check the design defects which violated the assembly constrain relationships dynamically.

Key words: verifiable design, assembly constrain, verification tree, verification monitor, verification analyzer

摘要： 针对机械产品设计中的装配约束验证问题，采用构造装配约束验证树的方法，将机械产品设计中存在装配约束关系的信息存储在树的节点中，将修改后的设计参数存入修改器，使用监视器监视修改器内容的变化，并对验证树进行实时更新，通过验证分析器调用监视器中的堆栈信息来决定验证工作的启停，实现了装配约束关系的动态、关联验证。开发了一个动态关联式装配验证原型系统进行实例验证，结果表明，该系统能够与设计同步监测设计变化对约束关系的影响，动态地检测出违反装配约束关系的设计缺陷。

关键词: 可验证设计, 装配约束, 验证树, 验证监视器, 验证分析器