Z规范

作品数:11被引量:13H指数:2
导出分析报告
相关领域:自动化与计算机技术理学更多>>
相关作者:赵正旭张常有刘立嘉张乃孝李景峰更多>>
相关机构:石家庄铁道大学山东大学北京大学西安电子科技大学更多>>
相关期刊:《计算机技术与发展》《地球物理学报》《湖州师范学院学报》《西安电子科技大学学报》更多>>
相关基金:国家自然科学基金国家高技术研究发展计划河北省自然科学基金中央高校基本科研业务费专项资金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=计算机集成制造系统x
条 记 录,以下是1-1
视图:
排序:
生产型虚拟制造系统过程模型的Z规范技术被引量:2
《计算机集成制造系统》2010年第8期1634-1642,共9页赵晓峰 赵正旭 周以齐 杨超英 
国家863计划资助项目(2007AA040502)~~
为解决虚拟制造系统间过程信息的集成与共享,提出了一种基于虚拟制造过程元模型和形式化Z语言工具的过程模型规范研究方法。元模型以活动和连接弧为核心,关联制造过程中的产品、资源、转移条件和相关数据,并根据制造过程特点设计了三种...
关键词:虚拟制造 过程元模型 集成 Z规范 形式化 
检索报告 对象比较 聚类工具 使用帮助 返回顶部