期刊文献+

支持产品创新设计的流形Petri网数据模型

Manifold Object Petri Data Model of Product for Creative Design
在线阅读 下载PDF
导出
摘要 提出一种支持产品创新设计的流形对象Petri网数据模型MOPN(Manifold Object Petri Net),其利用面向对象技术来刻画产品的静态结构,实现了产品数据的封装、抽象与层次化建模,特别是扩展了对象的属性类型,将对象的属性值扩展到流形上,因而可刻画对象属性值非均匀变化的情况。模型利用高级Petri网刻画产品的动态工作过程,不仅可支持产品工作过程的创新,而且还可通过模型的形式化来验证产品创新概念的逻辑正确性和完整性。 Creative design includes a large number of design intents, design elements, materials, activities, in addition to a diversity of data types and complex relationships. The need to adopt appropriate product data model schemes and database technologies that can handle these complex cases continue to hinder the implementation of creative design for product. A new product data model called MOPN (Manifold Object Petri Net) is proposed to support for creative design with the ability of depicting the static structure and the dynamic working process of the product. The model is integrated with object-oriented paradigm to implement encapsulation, abstract and hierarchical modeling of the product, particularly where the attribute value of the product can be extended to manifold, and the high level petri net can be applied to describe the dynamic working process of the product. A prototype of a simulation tool with graphical interface has been implemented for this model.
出处 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第12期2888-2891,2895,共5页 Journal of System Simulation
基金 国家自然科学基金(60003019) 华南理工大学高水平大学建设资助项目。
关键词 创新设计 产品数据模型 面向对象 PETRI网 流形 creative design product data model object oriented petri net manifold
  • 相关文献

参考文献11

  • 1M Alison, M B Susan, and D P Alan, A Framework for product data[J]. IEEE Transaction on knowledge and data engineering, 1996, 8(5):825-833.
  • 2Oded Maimon, R Horowitz. Sufficient Conditions for Inventive Solutions [J]. IEEE Transactions on System Man and Cybernetics,1999, 29(3): 349-361.
  • 3Jacob Goldenberg, David Mazursky, Sorin Solomon. Templates of Original Innovation: Projecting Original Incremental Innovations from Intrinsic Information [J]. Technological Forecasting and Social Change, 1999, 61: 1-12.
  • 4Wen Guihua, H Ying, et al. An Evolution Model for the Creative Design [C]. Proceedings of 2000 IEEE international conference onsystem, man and cybernetics, Tennessee, USA, October 8-11, 2000.
  • 5WEN Guihua, et al. Theoretical Analysis of Inventive Methods [C].Proceedings of 2001 IEEE international conference on system, man and cybernetics, Tucson, AZ, USA, October 7-10, 2001.
  • 6文贵华,郑启伦,丁月华.创新思维的旋转动力学理论框架[J].系统仿真学报,2004,16(8):1808-1811. 被引量:2
  • 7陈维恒.微分流形初步[M].北京:高等教育出版社,2001..
  • 8Elisa B, Ahmed K E, Monhand S H. Ordering and Path constraints over semi-structured data [J]. Journal of intelligent information systems, 2003, 20(2): 181-206.
  • 9X F Zha. An object-oriented knowledge based Petri net approach to intelligent integration of design and assembly planning [J]. Artificial Intelligence in Engineering, 2000, 14:83-112.
  • 10李惠峰,周锐,于之音.混合条件/事件Petri网在飞控系统建模中的应用[J].系统仿真学报,2004,16(2):297-301. 被引量:2

二级参考文献14

  • 1[4]Peleties P, Decarlo R. A Modeling Strategy for Hybrid Systems Based on Event Structures [J], Discrete Event Dynamic Systems: Theory and Applications 1993, 3: 39-69.
  • 2[5]Alur R, Courcoubetis C, Henzinger T A. Hybrid Automata: an Algorithm Approach to the Specification and Verification of Hybrid Systems [A], Hybrid Systems, LNCS [C], 1993, 736: 209-229, Springer-Verlag.
  • 3[6]Xu X H, Li Z, Li Y. Generalized Petri Nets for a Class of Hybrid Dynamic Systems [A], Proceedings of 13th IFAC triennial World Congress [C], San Francisco USA, 1996, 305-310.
  • 4[7]Godbole D N, Lygeros J, Sastry S. Hierarchical Hybrid Control: a Case Study [A], Hybrid Systems, LNCS [C], 1995, 999: 166-190.
  • 5[8]Tittus M. Contro of Batch Process [D], PhD. Dissertation, Gothenburg, 1995.
  • 6[9]Binns P, Jackson M, Vestal S. An Implementation for Hybrid Continuous Variable/Discrete Event Dynamic Systems [A], Proceedings of the 31st Conference on Decision and Control [C], Tucson, 1992, 2973-2979.
  • 7[10]Grossman R L, Larson R G. An Algebraic Approach to Hybrid Systems [J], Theoretical Computer Science 138, 101-112, 1995.
  • 8[11]Chen Haoxun, Hanisch H M. Hybrid Net Condition/Event Systems for Modeling and Analysis of Batch Processes [A], Proceedings of ADPM'98 [C], Reims, France, March 19-20, 1998.
  • 9[1]Dogruel M, Ozguner U. Modeling and Stability Issues in Hybrid Systems [A], Hybrid Systems, LNCS [C], 1995, 999: 148-165.
  • 10[2]Branicky M S. Studies in Hybrid Systems: Modeling, Analysis and Control [M], Laboratory for Information and Decision Systems, Massachusetts Institute of Technology, Cambridge, 1995.

共引文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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