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

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