×
鲁拜·罗;高、沙沙;李怀林;周世生

基于进程代数的可重构打印系统建模与验证。 （英语） Zbl 1427.90123号

数学。问题。工程师。 2018年，文章ID 9189836，9 p.（2018）.
摘要：本文以印刷生产过程为研究对象，利用过程代数（PA）分析了智能控制可配置印刷系统模型。首先，结合印刷生产过程，提出了基于代理资源-工作者（ARW）组件模型的系统模型的总体框架。然后对系统模型进行抽象和形式化验证，并讨论了复杂校准过程的验证过程。最后，通过mCRL2验证了模型的安全性和进度属性。结果表明，该系统模型具有良好的可靠性。

MSC公司：

90B30型 生产模型
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

软件：

mCRL2型
PDF格式BibTeX公司 XML格式引用
\textit{R.Luo}等人，数学。问题。Eng.2018，文章ID 9189836，9 p.（2018；Zbl 1427.90123）
全文： DOI程序

参考文献：

[1] 安徒生公司。；Bejlegaard，M。；布鲁诺，T.D。；尼尔森，K.，《调查产品数量和品种对产量增长的影响，管理复杂性》。《管理复杂性》（Managing Complexity），《Springer Proceedings in Business and Economics》，421-434（2017），Springer International Publishing·doi:10.1007/978-3-319-29058-4_33
[2] Koren，Y.，《一般RMS特征》。与专用和柔性系统、可重构制造系统和可转换工厂的比较，27-45（2006）
[3] 张，G。；刘，R。；龚，L。；黄，Q。；Dashcenko，A.I.，《DMS、AMS、FMS和RMS、可重构制造系统和可转换工厂之间的成本和性能分析比较》，659-673（2006），Springer
[4] Mehrabi，M.G。；Ulsoy，A.G。；Koren，Y。；Heytler，P.，《柔性和可重构制造系统的趋势和前景》，《智能制造杂志》，13，2，135-146（2002）·doi:10.1023/A:1014536330551
[5] Koren，Y。；黑泽尔，美国。；Jovane，F。；等。，可重构制造系统，《制造系统杂志》，29，4，130-141（1999）
[6] 安徒生公司。；尼尔森，K。；Brunoe，T.D.，《高速提升可重构制造系统开发的先决条件和障碍》，Procedia CIRP，51，7-12（2016）·doi:10.1016/j.procir.2016.05.043文件
[7] 毕志明。；Lang，S.Y.T。；沈伟（Shen，W.）。；Wang，L.，《可重构制造系统：最新进展》，《国际生产研究杂志》，46，4，967-992（2008）·Zbl 1160.90368号 ·doi:10.1080/00207540600905646
[8] Koren，Y。；Shpitalni，M.，可重构制造系统的设计，《制造系统杂志》，29，4，130-141（2010）·doi:10.1016/j.jmsy.2011.01.001
[9] Chang，P。；Lin，Y。；Chen，J.C.，《带有联合缓冲站的多级制造网络的系统可靠性》，《制造系统杂志》，42，170-178（2017）·doi:10.1016/j.jmsy.2016.12.009
[10] Prasad，D。；Jayswal S，C.，《可重构制造系统的设计》，全国机械工程未来学会议（2017年）
[11] Batchkova，I。；波波夫，G。；Stambolov，G.，使用UML对全息可重构制造系统中的通信建模，2005年Amtech国际会议“先进制造技术”，44，459-465（2017），保加利亚：保加利亚鲁塞大学
[12] 博尔戈，S。；塞斯塔，A。；Orlandini，A.，《可重构制造系统的基于规划的体系结构》，自动化规划和调度国际会议（2016年）
[13] 刘，L。；J.Wenyou。；Dezhang，X.，基于型材接头的改进型可重构输送线，机械设计与研究，3094-96（2014）
[14] Youssef，A.M。；ElMaraghy，H.A.，《可重构制造系统的最优配置选择》，《国际柔性制造系统杂志》，19，2，67-106（2007）·Zbl 1146.90399号 ·doi:10.1007/s10696-007-020-x
[15] Youssef，A.M.A。；Elmaraghy，H.A.，多视角RMS配置的建模与优化，《国际生产研究杂志》，44，22，4929-4958（2006）·Zbl 1114.90371号 ·doi:10.1080/00207540600620955
[16] Gola，A。；Świć，A.，基于仿真的可重构制造系统配置分析，应用力学与材料，844，50-59（2016）
[17] Ryan，P。；Schneider，S.，《进程代数与非干涉》，《计算机安全杂志》，9，1-2，75-103（2001）·doi:10.3233/JCS-2001-91-204
[18] Fokkink，W.，《基本过程代数》，《过程代数导论》。过程代数导论，理论计算机科学课文。EATCS系列，7-16（2000），柏林，海德堡：施普林格柏林海德堡，柏林·Zbl 0941.68087号 ·doi:10.1007/978-3-662-04293-92
[19] Wang，W。；郑琦。；曹毅，基于过程代数的上下文感知模型，《西安教育杂志》，2005年第39-10期
[20] Milner，R.，《通信系统微积分》（1980），柏林：施普林格，柏林·Zbl 0452.68027号
[21] 魏毅。；林，C。；田乐清，用过程代数表示和分析自适应工作流，电子学报，30，11，1624-1628（2002）
[22] Groote，J.F。；de Vink，E.P.，《使用过程代数解决问题的洞察力》，ModelEd，TestEd，TrustEd。ModelEd、TestEd、TrustEd，计算机科学讲义，10500，48-63（2017），斯普林格国际出版公司·Zbl 1498.68186号 ·doi:10.1007/978-3-319-68270-93
[23] Brinksma，E.，《基于随机因果关系的过程代数》，《计算机杂志》，38，7，552-565（1995）·doi:10.1093/comjnl/38.7.552
[24] Bergstra A，J。；Klop J，W.，《同步通信的进程代数》，信息与控制，60，1，109-137（1984）·Zbl 0597.68027号
[25] 斯科特·E。；尼科尔，J。；Coulter，J。；Hoyle，A。；Shankland，C.，《分层过程代数：应用于癌症治疗的多尺度集成建模》，生物信息学和生物统计学的计算智能方法。生物信息学和生物统计学的计算智能方法，计算机科学讲义，10477，118-133（2016），斯普林格国际出版公司·数字对象标识代码：10.1007/978-3-319-67834-4_10
[26] 格罗特·F，J。；Mathijssen，A。；Reniers，M.，形式规范语言mCRL2，Dagstuhl研讨会论文集
[27] 网址：http://www.mcrl2.org
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。