• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Mathematical Problems in Engineering >Modeling and Verification of Reconfigurable Printing System Based on Process Algebra
【24h】

Modeling and Verification of Reconfigurable Printing System Based on Process Algebra

机译：基于过程代数的可重构打印系统建模与验证

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

With the print production process as the research object in this paper, the intelligent-context-reconfigurable printing system model is analyzed using process algebra (PA). First, combined with the printing production process, the overall framework of the system model, based on the agent-resource-worker (ARW) component model, is proposed. Abstract and formal verification of the system model are then carried out, and the verification process of the complex calibration process is discussed. Finally, the security and progress attributes of the model are validated by mCRL2. The results show that the system model has good reliability.
机译：本文以印刷生产过程为研究对象，利用过程代数（PA）分析了智能上下文可重构印刷系统模型。首先，结合印刷生产过程，提出了基于代理商-资源-工人（ARW）组件模型的系统模型的总体框架。然后对系统模型进行了抽象和形式验证，并讨论了复杂标定过程的验证过程。最后，模型的安全性和进度属性由mCRL2验证。结果表明，该系统模型具有良好的可靠性。

著录项

  • 来源
    《Mathematical Problems in Engineering》 |2018年第13期|9189836.1-9189836.9|共9页
  • 作者

    Luo Rubai; Gao Shasha; Li Huailin; Zhou Shisheng;

  • 作者单位

    Xian Univ Technol Fac Printing Packing Engn & Digital Media Technol Xian 710048 Shaanxi Peoples R China|Xian Univ Technol Shaanxi Prov Key Lab Printing & Packaging Engn Xian 710048 Shaanxi Peoples R China;

    Xian Univ Technol Shaanxi Prov Key Lab Printing & Packaging Engn Xian 710048 Shaanxi Peoples R China|Xian Univ Technol Sch Mech & Precis Instrument Engn Xian 710048 Shaanxi Peoples R China;

    Xian Univ Technol Fac Printing Packing Engn & Digital Media Technol Xian 710048 Shaanxi Peoples R China|Xian Univ Technol Shaanxi Prov Key Lab Printing & Packaging Engn Xian 710048 Shaanxi Peoples R China|Xian Univ Technol Sch Mech & Precis Instrument Engn Xian 710048 Shaanxi Peoples R China;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号