制造业的生产物流方式处于不断变革中,对其建模仿真可为制造系统规划设计、分析及改造提供决策支持。依“人-机-物-环-法”分类给出了智能车间制造系统中实体元素的描述,结合EFSM(extended finite state machine)和组件化建模思想,建立...制造业的生产物流方式处于不断变革中,对其建模仿真可为制造系统规划设计、分析及改造提供决策支持。依“人-机-物-环-法”分类给出了智能车间制造系统中实体元素的描述,结合EFSM(extended finite state machine)和组件化建模思想,建立了生产和物流组件化EFSM模型;阐述了智能车间多作业生产的建模过程以及组件模型实例化方法;通过EFSM-DEVS(discrete event system specification)模型自动转换及DEVS引擎完成了仿真运行。仿真结果表明:该方法所建立的模型更符合车间实际状况,适用性更广;组件化建模思想能构造更具扩展性的软件;建模及仿真运行的3D可视化使软件直观性更好,其仿真结果与AnyLogic保持一致。展开更多
Improving simulation performance using activity tracking has attracted attention in the modeling field in recent years.The reference to activity has been successfully used to predict and promote the simulation perform...Improving simulation performance using activity tracking has attracted attention in the modeling field in recent years.The reference to activity has been successfully used to predict and promote the simulation performance.Tracking activity,however,uses only the inherent performance information contained in the models.To extend activity prediction in modeling,we propose the activity enhanced modeling with an activity meta-model at the meta-level.The meta-model provides a set of interfaces to model activity in a specific domain.The activity model transformation in subsequence is devised to deal with the simulation difference due to the heterogeneous activity model.Finally,the resource-aware simulation framework is implemented to integrate the activity models in activity-based simulation.The case study shows the improvement brought on by activity-based simulation using discrete event system specification(DEVS).展开更多
The multi-analysis modeling of a complex system is the act of building a family of models which allows to cover a large spectrum of analysis methods(such as simulation,formal methods,enactment,...)that can be performe...The multi-analysis modeling of a complex system is the act of building a family of models which allows to cover a large spectrum of analysis methods(such as simulation,formal methods,enactment,...)that can be performed to derive various properties of this system.The High-Level Language for Systems Specification(HiLLS)has recently been introduced as a graphical language for discrete event simulation,with potential for other types of analysis,like enactment for rapid system prototyping.HiLLS defines an automata language that also opens the way to formal verification.This paper provides the building blocks for such a feature.That way,a unique model can be used not only to perform both simulation and enactment experiments but also to allow the logical analysis of properties without running any experiment.Therefore,it saves from the effort of building three different analysis-specific models and the need to align them semantically.展开更多
文摘制造业的生产物流方式处于不断变革中,对其建模仿真可为制造系统规划设计、分析及改造提供决策支持。依“人-机-物-环-法”分类给出了智能车间制造系统中实体元素的描述,结合EFSM(extended finite state machine)和组件化建模思想,建立了生产和物流组件化EFSM模型;阐述了智能车间多作业生产的建模过程以及组件模型实例化方法;通过EFSM-DEVS(discrete event system specification)模型自动转换及DEVS引擎完成了仿真运行。仿真结果表明:该方法所建立的模型更符合车间实际状况,适用性更广;组件化建模思想能构造更具扩展性的软件;建模及仿真运行的3D可视化使软件直观性更好,其仿真结果与AnyLogic保持一致。
基金Project supported by the National Natural Science Foundation of China(Nos.71303252 and 91024030)
文摘Improving simulation performance using activity tracking has attracted attention in the modeling field in recent years.The reference to activity has been successfully used to predict and promote the simulation performance.Tracking activity,however,uses only the inherent performance information contained in the models.To extend activity prediction in modeling,we propose the activity enhanced modeling with an activity meta-model at the meta-level.The meta-model provides a set of interfaces to model activity in a specific domain.The activity model transformation in subsequence is devised to deal with the simulation difference due to the heterogeneous activity model.Finally,the resource-aware simulation framework is implemented to integrate the activity models in activity-based simulation.The case study shows the improvement brought on by activity-based simulation using discrete event system specification(DEVS).
基金This work has been supported by the 2017 PAMI Travel Grantthe 2019 AUST/AfDB Special Grant.
文摘The multi-analysis modeling of a complex system is the act of building a family of models which allows to cover a large spectrum of analysis methods(such as simulation,formal methods,enactment,...)that can be performed to derive various properties of this system.The High-Level Language for Systems Specification(HiLLS)has recently been introduced as a graphical language for discrete event simulation,with potential for other types of analysis,like enactment for rapid system prototyping.HiLLS defines an automata language that also opens the way to formal verification.This paper provides the building blocks for such a feature.That way,a unique model can be used not only to perform both simulation and enactment experiments but also to allow the logical analysis of properties without running any experiment.Therefore,it saves from the effort of building three different analysis-specific models and the need to align them semantically.
