|
|||||
|
|
| 生产型虚拟制造系统过程模型的Z规范技术 | |
| 引用本文： | 赵晓峰,赵正旭,周以齐,杨超英.生产型虚拟制造系统过程模型的Z规范技术[J].计算机集成制造系统,2010,16(8). |
| 作者姓名： | 赵晓峰 赵正旭 周以齐 杨超英 |
| 作者单位： | 1. 山东大学,机械工程学院高效洁净机械制造教育部重点实验室,山东,济南,250061 2. 石家庄铁道学院计算机与信息工程分院,河北,石家庄,050043 3. 山东山大华天软件有限公司,山东,济南,250000 |
| 基金项目： | 国家863计划资助项目 |
| 摘 要： | 为解决虚拟制造系统间过程信息的集成与共享,提出了一种基于虚拟制造过程元模型和形式化Z语言工具的过程模型规范研究方法.元模型以活动和连接弧为核心,关联制造过程中的产品、资源、转移条件和相关数据,并根据制造过程特点设计了三种标志节点、七种任务节点和两类连接弧.过程要素的Z规范描述保证了数据语义的准确性和无二义性.通过对典型的车间生产和装配过程进行建模,验证了元模型的有效性. |
| 关 键 词： | 虚拟制造 过程元模型 集成 Z规范 形式化 |
Z specification technology for process model of production virtual manufacturing system |
|
| ZHAO Xiao-feng,ZHAO Zheng-xu,ZHOU Yi-qi,YANG Chao-ying.Z specification technology for process model of production virtual manufacturing system[J].Computer Integrated Manufacturing Systems,2010,16(8). | |
| Authors: | ZHAO Xiao-feng ZHAO Zheng-xu ZHOU Yi-qi YANG Chao-ying |
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |