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

Specification of Equipment Operation Control Process Model and Its Simulation Environment

作　　者：赵晓峰[1,2] 赵正旭[3] 周以齐[1,2] 杨超英[4] 

机构地区：[1]山东大学高效洁净机械制造教育部重点实验室,济南250061 [2]山东大学机械工程学院,济南250061 [3]石家庄铁道大学信息科学与技术学院,石家庄050043 [4]山东山大华天软件有限公司,济南250000

出　　处：《北京工业大学学报》2012年第3期345-351,共7页Journal of Beijing University of Technology

基　　金：国家'八六三'计划资助项目(2007AA040502)

摘　　要：为实现面向设备操作训练和设备控制优化虚拟仿真系统的数据和应用分离,从而实现此类虚拟系统的快速重建和数据共享,提出了采用形式化工具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.

关 键 词：虚拟环境 设备操作与控制 Z语言 形式化 控制过程元模型 

分 类 号：TH17[机械工程—机械制造及自动化] TP391[自动化与计算机技术—计算机应用技术]