首页 | 本学科首页   官方微博 | 高级检索  
     

约束驱动的动态关联式装配验证系统的设计与实现
引用本文:吕刚,范守文,张佩佩.约束驱动的动态关联式装配验证系统的设计与实现[J].计算机集成制造系统,2012,18(5).
作者姓名:吕刚  范守文  张佩佩
作者单位:电子科技大学机械电子工程学院,四川成都,611731
基金项目:国家自然科学基金资助项目,机械传动国家重点实验室开放基金资助项目,流体动力与机电系统国家重点实验室开放基金资助项目
摘    要:针对机械产品设计中的装配约束验证问题,采用构造装配约束验证树的方法,将机械产品设计中存在装配约束关系的信息存储在树的节点中,将修改后的设计参数存入修改器,使用监视器监视修改器内容的变化,并对验证树进行实时更新,通过验证分析器调用监视器中的堆栈信息来决定验证工作的启停,实现了装配约束关系的动态、关联验证。开发了一个动态关联式装配验证原型系统进行实例验证,结果表明,该系统能够与设计同步监测设计变化对约束关系的影响,动态地检测出违反装配约束关系的设计缺陷。

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

Design and implementation of dynamic relating assembly verification system driven by constrains
Abstract:
Keywords:verifiable design  assembly constrain  verification tree  verification monitor  verification analyzer
本文献已被 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号