期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
基于EFSM的智能车间制造系统生产物流建模与仿真 被引量:1
1
作者 李柳臻 金超 +1 位作者 林廷宇 朱耀琴 《系统仿真学报》 CAS CSCD 北大核心 2023年第12期2655-2668,共14页
制造业的生产物流方式处于不断变革中,对其建模仿真可为制造系统规划设计、分析及改造提供决策支持。依“人-机-物-环-法”分类给出了智能车间制造系统中实体元素的描述,结合EFSM(extended finite state machine)和组件化建模思想,建立... 制造业的生产物流方式处于不断变革中,对其建模仿真可为制造系统规划设计、分析及改造提供决策支持。依“人-机-物-环-法”分类给出了智能车间制造系统中实体元素的描述,结合EFSM(extended finite state machine)和组件化建模思想,建立了生产和物流组件化EFSM模型;阐述了智能车间多作业生产的建模过程以及组件模型实例化方法;通过EFSM-DEVS(discrete event system specification)模型自动转换及DEVS引擎完成了仿真运行。仿真结果表明:该方法所建立的模型更符合车间实际状况,适用性更广;组件化建模思想能构造更具扩展性的软件;建模及仿真运行的3D可视化使软件直观性更好,其仿真结果与AnyLogic保持一致。 展开更多
关键词 生产物流建模与仿真 EFSM(extended finite state machine) 组件化建模 DEVS(discrete event system specification) 多作业建模
下载PDF
Formal verification with HiLLS-specified models:A further step in multi-analysis modeling of complex systems
2
作者 Kehinde G.Samuel Oumar Maiga Mamadou K.Traor′e 《International Journal of Modeling, Simulation, and Scientific Computing》 EI 2019年第5期82-107,共26页
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. 展开更多
关键词 discrete event system specification(DEVS) High Level Language for systems specification(HiLLS) multi-analysis modeling discrete event simulation model checking
原文传递
Activity-based simulation using DEVS: increasing performance by an activity model in parallel DEVS simulation
3
作者 Bin CHEN Lao-bing ZHANG +1 位作者 Xiao-cheng LIU Hans VANGHELUWE 《Journal of Zhejiang University-Science C(Computers and Electronics)》 SCIE EI 2014年第1期13-30,共18页
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). 展开更多
关键词 Activity tracking Activity enhanced modeling discrete event system specification(DEVS) Resource-aware simulation framework
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部