期刊文献+

约束驱动的动态关联式装配验证系统的设计与实现 被引量:1

Design and implementation of dynamic relating assembly verification system driven by constrains
下载PDF
导出
摘要 针对机械产品设计中的装配约束验证问题,采用构造装配约束验证树的方法,将机械产品设计中存在装配约束关系的信息存储在树的节点中,将修改后的设计参数存入修改器,使用监视器监视修改器内容的变化,并对验证树进行实时更新,通过验证分析器调用监视器中的堆栈信息来决定验证工作的启停,实现了装配约束关系的动态、关联验证。开发了一个动态关联式装配验证原型系统进行实例验证,结果表明,该系统能够与设计同步监测设计变化对约束关系的影响,动态地检测出违反装配约束关系的设计缺陷。 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.
出处 《计算机集成制造系统》 EI CSCD 北大核心 2012年第5期920-926,共7页 Computer Integrated Manufacturing Systems
基金 国家自然科学基金资助项目(51175067) 机械传动国家重点实验室开放基金资助项目(SKLMT-KFKT-201010) 流体动力与机电系统国家重点实验室开放基金资助项目(GZKF-201029)~~
关键词 可验证设计 装配约束 验证树 验证监视器 验证分析器 verifiable design assembly constrain verification tree verification monitor verification analyzer
  • 相关文献

参考文献9

  • 1DENG Y M, BRITTON G A. Constraint-based functional de- sign verification for conceptual design EJ - Computer Aided Design, 2000,32(14) : 889-899.
  • 2GHAREHBAGHI A M, YARAN B H, HESSABI S, et al. An assertion-based verification methodology or system level de- sign[-J]. Computers and Electrical Engineering, 2007, 33 (4) 269-284.
  • 3范守文,熊静琪,邵旭光,黄洪钟,胡天友.机电产品的可验证设计系统及其实现框架[J].计算机集成制造系统,2010,16(6):1151-1157. 被引量:7
  • 4MARK()S1AN L Z, MANSOURI-SAMAN1 M, MEHLITZ P C, et al. Program model checking using design-foverification: NASA flight software case studyC//Proceedings of the 2007 IEEE Aerospace Conference. Washington, D. C. , USA: IEEE, 2007 .. 1-9.
  • 5MHA N, GUIHINEUC Y G. PTIDEJ and DECOR: identi- fication of design patterns and design defectsC3//Proceedings of the 22nd ACM SIGPLAN Conference on Object-OrientedProgramming Systems and Applications Companion. New York, N. Y. , USA: ACM, 2007:868 869. DOI: 10. 1145/ 1297846. 1297930.
  • 6C-UEHENEUC Y G, ALBIN AMI()T H. Using design pat- terns and constraints to automate the detection and correction of inter-class design de{ectsC//Proceedings of the 39th In- temational Conference and Exhibition on Technology of Ob ject-()riented Languages and Systems. Washington, D. C. , USA .. IEEE, 2001 : 296-305.
  • 7高登云,曹海青.久益6LS-05采煤机下驱动块轴承座设计缺陷分析及改进方案[J].煤矿机械,2004,25(9):113-114. 被引量:2
  • 8张杰,李原,张开富,余剑峰.基于关系对象Petri网的飞机装配系统模型快速构建方法[J].计算机集成制造系统,2010,16(6):1195-1201. 被引量:15
  • 9张丹,左敦稳,焦光明,闫静,李建平,刘玉广.面向虚拟装配的约束建模与装配意图捕捉技术[J].计算机集成制造系统,2010,16(6):1208-1214. 被引量:10

二级参考文献30

共引文献29

同被引文献5

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部