首页> 外文OA文献 >An objective-based approach for semantic validation of emergence in component-based simulation models
【2h】

An objective-based approach for semantic validation of emergence in component-based simulation models

机译:一种基于目标的基于组件的仿真模型中出现语义验证的方法

摘要

Component-based models have been shown to exhibit emergent properties but despite a plethora of definitions and methods to identify emergence, practical semantic validation approaches remain a key challenge. This paper proposes an objective-based approach for semantic validation of emergence in component-based simulation models. In contrast to current methods, our approach describes model components in terms of what they achieve rather than how they achieve it, and we exploit reconstruct ability analysis in the validation of emergence. This has the advantage of reducing the number of attributes used to describe each component, and thus facilitates the application of more rigorous mathematical formalisms for emergence validation. As an example, we detail how this methodology is integrated into the life-cycle of our component-based model development framework.
机译:基于组件的模型已显示具有紧急属性,但是尽管存在大量用于识别紧急状态的定义和方法,但实用的语义验证方法仍然是关键挑战。本文提出了一种基于目标的方法,用于基于组件的仿真模型中出现的语义验证。与当前的方法相反,我们的方法根据模型组件的实现方式(而非实现方式)来描述模型组件,并且我们在进行验证时利用重构能力分析。这样做的好处是减少了用于描述每个组件的属性的数量,因此有利于将更严格的数学形式主义应用于紧急情况验证。作为示例,我们详细介绍了如何将该方法集成到基于组件的模型开发框架的生命周期中。

著录项

  • 作者

    Szabo C.; Teo Y.;

  • 作者单位
  • 年度 2012
  • 总页数
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类

相似文献

  • 外文文献
  • 中文文献
  • 专利

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号