【摘要】 为实现面向设备操作训练和设备控制优化虚拟仿真系统的数据和应用分离,从而实现此类虚拟系统的快速重建和数据共享,提出了采用形式化工具Z语言进行数据特征和属性描述的规范化研究方法.重点对设备控制相关要素,如设备几何、控制过程进行了规范.提出了一种基于元模型的控制过程建模方法,以受控运动为核心,关联控制过程中的驱动部件、从动部件、运动模式及相关数据,设计的逻辑节点实现了过程并行.选取某立体车库进行建模,验证了元模型的有效性.采用Z语言描述规范,保证了数据语义的准确、无二义性.更多还原

【Abstract】 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 as equipment 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 garage modeling example is provided to demonstrate the feasibility of the meta-model.The Z specification formalized description of the system ensures data precise semantics.更多还原