论文标题

EB-DEVS:动态复杂系统中新兴行为建模和模拟的正式框架

EB-DEVS: A Formal Framework for Modeling and Simulation of Emergent Behavior in Dynamic Complex Systems

论文作者

Foguelman, Daniel J., Henning, Philipp, Uhrmacher, Adelinde, Castro, Rodrigo

论文摘要

紧急行为是将研究系统定义为复杂系统的关键特征。模拟被认为是处理系统组件组之间(在微观级别)之间处理属性紧急研究(在宏观水平上)的唯一方法,因为不能通过隔离分析组件来推导出紧急结构的表现。面向系统的概括必须考虑反馈回路的存在(微分组件对宏观特性反应),不同类别的组件之间的相互作用(模块化组成)以及在不同时空量表(层次组织)上运行的子系统的分层相互作用。在这项工作中,我们介绍了新兴的行为-DEVS(EB-DEVS)建模和模拟(M&S)形式主义,该形式允许对复杂系统的推理,其中将紧急行为放在分析活动的最前沿。 EB-DEVS建立在Devs形式主义的基础上,将向上/向下的沟通渠道添加到良好的功能,以实现异质性多元正当系统的模块化和分层M&S。 EB-DEVS对表现力采取了极简主义的立场,在经典开发人员上引入了一系列可以应对紧急行为的扩展,并使两种形式主义都可以互操作(建模者决定子系统都应通过微麦克罗动力学来表达)。我们提出了三个案例研究:一群具有学习的鸟类,疫苗接种的种群流行病和具有体内稳态的亚细胞动力学,我们通过将EB-DEVS通过将新兴的特性放置在M&S过程的中心来展示如何表现。

Emergent behavior is a key feature defining a system under study as a complex system. Simulation has been recognized as the only way to deal with the study of the emergency of properties (at a macroscopic level) among groups of system components (at a microscopic level), for the manifestations of emergent structures cannot be deduced from analysing components in isolation. A systems-oriented generalisation must consider the presence of feedback loops (micro components react to macro properties), interaction among components of different classes (modular composition) and layered interaction of subsystems operating at different spatio-temporal scales (hierarchical organisation). In this work we introduce Emergent Behavior-DEVS (EB-DEVS) a Modeling and Simulation (M&S) formalism that permits reasoning about complex systems where emergent behavior is placed at the forefront of the analysis activity. EB-DEVS builds on the DEVS formalism, adding upward/downward communication channels to well-established capabilities for modular and hierarchical M&S of heterogeneous multi-formalism systems. EB-DEVS takes a minimalist stance on expressiveness, introducing a small set of extensions on Classic DEVS that can cope with emergent behavior, and making both formalisms interoperable (the modeler decides which subsystems deserve to be expressed via micro-macro dynamics). We present three case studies: flocks of birds with learning, population epidemics with vaccination and sub-cellular dynamics with homeostasis, through which we showcase how EB-DEVS performs by placing emergent properties at the center of the M&S process.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源