期刊文献+

设备操作控制过程模型及其仿真环境的规范化研究

Specification of Equipment Operation Control Process Model and Its Simulation Environment
下载PDF
导出
摘要 为实现面向设备操作训练和设备控制优化虚拟仿真系统的数据和应用分离,从而实现此类虚拟系统的快速重建和数据共享,提出了采用形式化工具Z语言进行数据特征和属性描述的规范化研究方法.重点对设备控制相关要素,如设备几何、控制过程进行了规范.提出了一种基于元模型的控制过程建模方法,以受控运动为核心,关联控制过程中的驱动部件、从动部件、运动模式及相关数据,设计的逻辑节点实现了过程并行.选取某立体车库进行建模,验证了元模型的有效性.采用Z语言描述规范,保证了数据语义的准确、无二义性. Separation of data and applications is helpful for fast reconstruction and data sharing. Facing to equipment operation and control in virtual manufacturing systems, a specification approach is proposed based on formalized specification language Z. The point is to specify control-related factors, such asequipment geometry and control process. A modeling method based on the control process meta-model is proposed. The control-move-node is regard as the core element, which relates the driving parts, driven parts, movement mode, and relevant data. The logic node ensures the parallel process. A stereo garagemodeling example is provided to demonstrate the feasibility of the meta-model. The Z specification formalized description of the system ensures data precise semantics.
出处 《北京工业大学学报》 EI CAS CSCD 北大核心 2012年第3期345-351,共7页 Journal of Beijing University of Technology
基金 国家'八六三'计划资助项目(2007AA040502)
关键词 虚拟环境 设备操作与控制 Z语言 形式化 控制过程元模型 virtual environment equipment operation and control Z specification formalization control process meta-model
  • 相关文献

参考文献18

  • 1ISO. ISO/IEC 19775-1:2008 Information technology-- computer graphics and image processing--extensible 31) (X3D)--part 1: architecture and base components [S]. 2nd ed. Geneva: ISO, 2008: 1-120.
  • 2ISO. ISO/IEC 14772-1: 1997 Information technology computer graphics and image processing--the virtual reality modeling language--part 1: functional specification and UTF-8 encoding[S]. Geneva: ISO, 1997: 10-125.
  • 3ISO. 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.
  • 4ISO. ISO 10303-11:2004 Industrial automation systems and integration--product data represent and exchange-- part 11: description methods: the EXPRESS language reference manual[ S]. 2nd ed. Geneva: ISO, 2004: 4- 84.
  • 5SCHLENOFF C, KNUTILLA A, RAY S. Unified process specification language : requirements for modeling processes ( NISTIR 5910) [ M ]. Gaithersburg, MD, USA :National Institute of Standards and Technology, 1996: 1- 80.
  • 6LEITE M J, DOBEY V, PEGGY G. SEDRIS: A tool for the management and exchange of multi-domain environmental data [ C ] // Earth and Space 2006- Proceedings of the lOth Biennial International Conference Engineering, Construction, and Operations in Challenging Environments. West Chester, USA: Curran Associates Inc, 2006: 103.
  • 7ELLSBERGER J, HOGREFE D, SARMA A. SDL: formal object-oriented language for communicating system [ M ]. London: Prentice Hall Europe, 1997 : 3-18.
  • 8The RAISE Language Group. The RAISE specification language[ M ]. Oxford, UK: Prentice Hall International Ltd, 1992: 6-37.
  • 9WOODCOCK J, DAVIES J. Using Z--specification, refinement, and proof[ M], New Jersey: Prentice Hall, 1996 : 407.
  • 10SPIVEY J M. The Z notation: a reference manual [ M ]. Oxford, UK: Prentice Hall International Ltd, 1992: 1- 168.

二级参考文献13

  • 1齐建军,刘爱军,雷毅,许鹤峰.基于XML模式的制造信息集成规范的研究[J].计算机集成制造系统,2005,11(4):565-571. 被引量:23
  • 2Jan Ellsberger. SDL Formal Object-oriented Language for Communicating System [M]. London, UK: Prentice Hall Europe, 1997.
  • 3The RAISE Language Group. The RAISE specification language [M]. UK: Prentice Hall International Ltd, 1992.
  • 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.

共引文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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