期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于Z的虚拟加工仿真环境规范技术研究 被引量：4

Specification Research of Virtual Machining Environment Based on Z
原文传递
导出
摘要 对虚拟加工仿真环境模型的规范化技术进行了研究,针对虚拟加工仿真环境的快速创建和不同平台之间模型共享需求,分析并提出采用Z语言描述虚拟加工仿真环境中的几何模型、逻辑模型和机构模型的要素定义及形式化表达方案,用于保证模型描述的严谨性和无二义性,通过实例验证了机床模型形式化表达方案的有效性。规范描述的实现方法选用中性文件,易于理解和实现。 The specification description technology of virtual machining simulation environment models was researched. Aiming at rapid creation of virtual machining environment and share requirement of different systems, a new Z-based specification description method was put forward. This formal method could ensure the accuracy and rigorism of model representation. According to this method, all data relationships and features definition, such as the geometry model, logic model and mechanism model, were described by UML and Z notation separately. The validity of this formal method was verified by machine tool examples. Based on the specification description, a neutral file method was designed to realize information share, which is easy to be understood and realized.
作者 赵晓峰 赵正旭 周以齐
机构地区 山东大学机械工程学院 英国德比大学
出处 《系统仿真学报》 CAS CSCD 北大核心 2009年第22期7143-7146,7153,共5页 Journal of System Simulation
关键词 虚拟加工仿真环境 规范描述 形式化方法 Z语言 virtual machining environment specification description formal method Z specification
分类号 TP391.9 [自动化与计算机技术—计算机应用技术] TP311.5 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献13

  • 1Jan Ellsberger. SDL Formal Object-oriented Language for Communicating System [M]. London, UK: Prentice Hall Europe, 1997.
  • 2The RAISE Language Group. The RAISE specification language [M]. UK: Prentice Hall International Ltd, 1992.
  • 3齐建军,刘爱军,雷毅,许鹤峰.基于XML模式的制造信息集成规范的研究[J].计算机集成制造系统,2005,11(4):565-571. 被引量：23
  • 4ISO CD 10303-11. Product Data Represent and Exchange Part 11: Description Methods: The EXPRESS Language Reference Manual [S].
  • 5ISO CD 10303-203. Product Data Represent and Exchange part 203: Application Protocol: Configuration Controlled Design [S].
  • 6Schlenoff C, Knutilla A, Ray S. Unified Process Specification Language: Requirements for Modeling Processes: NISTIR 5910, 1996 [Z]. Gaithersburg, MD, USA: National Institute of Standards and Technology, 1996.
  • 7Leite Michael J. SEDRIS: A tool for the management and exchange of multi-domain enviromnental data [C]//Earth and Space, 2006 Proceedings of the 10th Biennial International Conference on Engineering, Construction, and Operations in Challenging Environments. Houston, TX, United States: American Society of Civil Engineers, 2006: 103.
  • 8Jim Woodcock, Jim Davies. Using Z-Specification, Refinement, and Proof [M]. Oxford, UK: Prentice Hall, 1996.
  • 9Jacky Jonathan. Specifying a Safety-Critical Control System in Z [J]. IEEE Transactions on Software Engineering (S0098-5589), 1995, 21(2): 99-106.
  • 10Jamal M, Zafar N A. Requirements Analysis of Air Traffic Control System Using Formal Methods [C]// International Conference on information and Emerging Technologies 2007. Karachi, Pakistan: ICIET 2007 Program and Organizing Committee, 2007: 1-7.

二级参考文献27

  • 1曹春梅.虚拟设计在机械行业具有广泛的前景[J].机械制造与自动化,2004,33(5):1-4. 被引量：3
  • 2GAO Peng, LIN Lanfen, DONG Jinxiang, et al. Research on technology of product data exchange for Internet-based distributed manufacturing system[A]. Proceedings of the 7th Internation Conference on Computer Supported Cooperative Work in Design[C]. Rio de Janeiro: IEEE Computer Society,2002. 426-431.
  • 3于洁 林兰芬.[D].杭州:浙江大学,2003.
  • 4RYOU O. NCML: an Internet compatible data exchange format for custom machined parts[A]. Manufacturing & Industrial Innovation Research Conference[C]. Tampa, FL,USA: IEEE Computer Society, 2001.1-28.
  • 5SHIAU J Y,RATCHEV S M,VALTCHANOV G. Distributed collaborative design and manufacturability assessment for extended enterprise in XML- based agent system[A]. 9th IEEE International Workshops on Enabling Technologies:Infrastructure for Collaborative Enterprises [C]. Gaithersburg, MD, USA: IEEE Computer Society,2000. 260-265.
  • 6Open Applications Group (OAGi). Open applications group Web site[EB/OL]. http://www. openapplications. org, 2004-04.
  • 7MALIK A. Design XML schemas using UML[EB/OL]. http://www- 900. ibm. com/developerWorks/cn/xml/xumlschem/index_eng. shtml, 2003- 02.
  • 8MALIK A. Create flexible and extensible XML schemas[EB/OL]. http://www- 900. ibm. com/developerWorks/cn/xml/x- flexschema/index_eng. shtml, 2002- 10.
  • 9BURKETT W C. Product data markup language:a new paradigm for product data exchange and integration[J]. Computer -Aided Design,2001,33(7) :489- 500.
  • 10B Balachandran, M X Zhao. A mechanics based model for study of dynamics of milling operations [J]. Meccanica (S0025-6455), 2000, 35(2): 89-109.

共引文献47

同被引文献42

  • 1齐建军,刘爱军,雷毅,许鹤峰.基于XML模式的制造信息集成规范的研究[J].计算机集成制造系统,2005,11(4):565-571. 被引量：23
  • 2吴方君,徐升华.用Z形式化描述程序切片[J].小型微型计算机系统,2007,28(8):1444-1447. 被引量：2
  • 3ISO.ISO10303-49 Product data representation and exchange:part 49:integrated generic resources:process structure and properties[S].Geneva,Switzerland:ISO,1998.
  • 4ISO.ISO15531-43 Industrial automation systems and integration-Industrial manufacturing management data-part 43:manufacturing flow management data:data model for flow monitoring and manufacturing data exchange[S].Geneva,Switzerland:ISO,2006.
  • 5CATRON B,RAY S.ALPS-a language for process specification[J].International Journal of Computer Integrated Manufacturing,1991,4(2):105-113.
  • 6SCHLENOFF C,GRUNINGER M,TISSOT F,et al.The process specification language(PSL)overview and version 1.0specification[M].Gaithersburg,Md.,USA:National Institute of Standards and Technology,2000.
  • 7Workflow Management Coalition.The workflow reference model[M].Winchester,UK:Workflow Management Coalition,1995.
  • 8Workflow Management Coalition.Workflow process definition interface-XML process definition language[M].Winchester,UK:Workflow Management Coalition,2001.
  • 9尼古拉斯·J·阿奎拉诺.运营管理[M].9版.任建标,译.北京:机械工业出版社,2003:743.
  • 10ISO. ISO/TS 10303-203: 2005 Industrial automation systems and integration--product data representation and exchange--part 203 : application protoeol: configurationcontrolled 3D design of mechanical parts and assemblies (modular version) [S]. Geneva: ISO, 2005: 50-150.

引证文献4

二级引证文献5

系统仿真学报
2009年 第22期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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