SMP2.0仿真引擎的设计与实现

SMP2.0(Simulation Model Portability)是欧洲航天局提出并广泛应用的仿真模型开发与集成规范。SMP2.0规范提供了定义SMP2模型的元模型规范、包含标准仿真服务的组件模型规范和模型的C 映射规范,但需要实现与之兼容的仿真引擎才能支持模型的开发和集成。根据SMP2.0规范标准,介绍了一个与SMP2.0兼容的仿真引擎的设计与实现,给出了仿真引擎的运行过程、运行状态和组件构成,最后通过仿真应用环境检验了该仿真引擎的有效性。     

模型驱动的组件化Agent仿真模型开发方法

作为一种研究复杂系统的有效手段,基于Agent的建模仿真方法得到了广泛应用。但目前还没有一种得到广泛认可的建模仿真规范来指导和约束Agent仿真模型的设计、开发、集成和运行,不利于提高Agent仿真模型的可重用性和开发效率。提出将采用模型驱动架构和基于组件设计思想的仿真模型可移植性规范(simulation model portability standard 2.0, SMP2)引入到基于Agent的建模仿真中,通过把Agent仿真中的元素映射到SMP2的模型设计和开发模式架构下,并根据Agent仿真特性对SMP2进行相应扩展,来支持模型驱动的组件化的Agent仿真模型开发。利用一个应用实例,验证了提出方法的有效性。     

基于UML的SMP2模型设计方法研究

SMP2标准缺少对仿真概念建模环节的支持,建模人员难以直接进行SMP2模型设计。提出将UML作为SMP2的概念建模工具,使得SMP2设计模型可由UML模型自动生成。研究了UML到SMP2设计模型的元模型映射关系,构建了面向SMP2设计模型的UML Profile,基于XSLT设计实现了UML模型到SMP2设计模型的自动转换,进行了实例验证。     

基于DEVS的防空作战模型可重用性研究

仿真模型重用是当前仿真领域的热点问题,其在工程领域的实现能够极大提高开发效益。鉴于各类现代防空作战行动中的相似性,采用DEVS方法为其建立分层耦合的离散事件模型(DEM),在事件驱动层面对各类应用情景中的模型状态转移做了统一的、规范的描述,并针对不同的应用情景引入行为模型(BM)建模,在行为表示层面上描述模型状态转移的具体算法,最后设计了BM和DEM结合的动态链接方式,给出仿真程序组成示例,实现了从事件驱动层到行为表示层的模型重用。     

DEVS/HLA分布仿真系统的时间推进方法研究

离散事件系统规范(DEVS)和高层体系结构(HLA)关注于不同的系统层次,将它们结合起来可以有效实现模型重用并利于仿真系统的校核和测试.DEVS/HLA分布仿真环境是将两者集成在一起的实现形式,该环境的核心在于如何利用时间管理服务在HLA分布模式下实现DEVS协议.在对DEVS/HLA环境的体系结构进行详细分析的基础上,详细研究了协调者控制和基于映射机制的两种时间推进方法,着重针对映射式方法提出了一种改进的时间推进算法,该算法能够为成员提供尽可能大的前瞻量,从而改进了DEVS/HLA系统的时间推进效率,算法的实际性能通过实验进行了验证.     

基于SMP2的卫星区域可见性仿真分析

全球或区域可见性分析是导航系统定位、测速和授时性能仿真分析与评估的组成部分。采用基于仿真模型可移植性标准(SMP2)的模型开发与集成方法,开发导航系统仿真模型,分析伽利略卫星导航系统在中国格网的区域可见性。附带介绍了自主研发的PIM设计工具、代码生成器、SMP2运行时环境等支持SMP2标准的软件工具。基于SMP2的仿真模型开发与集成方法具有模型可重用性好、可移植性强、手工开发代码数量少、代码质量高的优点,可在卫星导航系统定位、测速、授时体制验证与精度分析工作中得到推广应用。     

基于MDA的仿真模型开发与集成方法研究

主要介绍了一种基于MDA的仿真模型开发与集成方法。探讨了MDA在仿真模型组件重用和可组合中的应用,如实现实验、想定、分析和模型集成的一致性;提高仿真模型组件的重用性和可组合性;支持仿真模型和仿真系统需求和设计的工程化;更容易支持体系结构视图的描述;支持开发可配置强的和柔性的仿真系统等。介绍了当前基于MDA的仿真应用的发展,并提出了一个基于MDA的仿真模型集成框架和仿真模型开发与集成方法。该集成框架采用MDA的思想,将仿真模型分为仿真模型设计组件和仿真模型运行组件,通过建立面向仿真设计模型组件的仿真元模型规范、仿真组件对象规范、仿真服务规范和仿真模型组件组合规范确保仿真模型的设计、开发、集成和运行的一致性和仿真系统发展的可持续性。     

基于SMP2的复杂系统生成式仿真建模方法

复杂系统仿真迫切需要能够同时支持多领域分别独立针对性建模和全系统统一集成仿真的方法. 将当前用于复杂系统仿真的建模方法分为统一型、组合型和生成式三大类, 分析指出生成式建模方法具有较之其它方法的独特优势, 有望解决复杂系统仿真建模面临的问题. 研究了当前仿真领域应用的各类生成式建模方法存在的不足. 提出了以仿真模型可移植性标准(SMP2)为基础, 综合利用生成式建模方法的两大流派-模型驱动架构(MDA)和模型集成计算(MIC)-的先进技术和规范, 构建复杂系统生成式仿真建模方法的研究思路. 分析了其中的多领域生成式仿真模型公共表示规范、各类仿真形式体系到SMP2的映射与模型变换以及面向领域的仿真建模工具的自动生成等三大关键技术问题. 设计了生成式仿真建模一体化支撑环境的体系结构, 介绍了其中已经完成的工作和下一步的重点.     

基于SMP2的仿真模型测试方法研究

仿真模型的有效性评估一直是建模与仿真领域研究的重要课题。在工程大系统的仿真模型集成过程中,由于传统仿真模型的验证方法受到建模方法和建模语言的多样性以及模型重用语境变化的影响,使工程总体难以确定导致系统行为产生偏差的模型单元。从测试的角度以SMP2（仿真模型可移植性规范）为基础提出层次化语境驱动的仿真模型测试方法论,从测试框架的描述机制、测试框架的分解机制以及面向测试的仿真模型验证方法等三个方面讨论方法论的具体内容,为基于SMP2的仿真模型提出可测试性设计方法。     

面向导航系统性能仿真的可移植性框架

导航系统性能仿真面临多领域模型集成和分析的困难.研究了仿真模型可移植性(simulation modelportability, SMP2.0)规范,分析了卫星导航系统仿真的基本特点和需求,提出了卫星导航性能仿真的可移植性框架,建立了基于SMP2.0的导航仿真应用架构.该架构包含导航系统模型设计、开发、集成、运行和试验...     

THE 8~(th) INTERNATIONAL CONGRESS ON INDUSTRIAL AND APPLIED MATHEMATICS

正August 10-14,2015Beijing,ChinaThe International Congress on Industrial and Applied Mathematics(ICIAM)is the premier international congress in the field of applied mathematics held every four years under the auspices of the International Council for Industrial and Applied Mathematics.From August 10 to 14,2015,mathematicians,scientists     

2014 List of Referees

正~~     

TSINGHUA UNIVERSITY,Beijing, China

正AF:Any Field The School of Economics and Management at Tsinghua University(Tsinghua SEM)invites applications for faculty positions at all levels(Assistant Professor,Associate Professor and Full Professor)in any fields of business administration and management.Tsinghua SEM is the only school     

《Journal of Systems Science and Systems Engineering》Contents of Volume 23,2014

正~~     

Call for Papers The 12th International Conference on Service Systems and Service Management ICSSSM'15

正June 22-24,2015Guangzhou,China http://iec.cnsba.com/index.htmlCo-Sponsored by:ffiEE SMC(pending)South China University of Technology The Chinese University of Hong Kong Tsinghua UniversityHosted bv:School of Business Administration,South China University of Technology,China Conference Co-Chairs:     

分布交互仿真技术综述

介绍了ＤＩＳ的技术特点,综述了ＤＩＳ中关键技术和相关技术,并对目前ＤＩＳ发展过程中遇到的问题进行了深入的分析与论证。     

Innovation Versus Environmental Protection Presumptions

The paper is about negotiating with issues that discourage innovation. The subject is environmental deterioration, with concern directed at the impediments that keep it from being innovatively resolved. The paper is organized around three issues. (1) The dominant model of environmental concern, called environmental protection, is managed predominantly via command and control approaches. (2) Command and control, by relying on analytical segmentation to subdivide the problem into digestible bits and using formal legislation to direct it, are not up to emerging challenges in the area. (3) More robust models are available but difficult to experiment with due to impediments that discourage change. These impediments are seen in ideals associated with protection, prevention, recycling, and sustainability that tend to do more to sustain harmful practices than to seek beneficial alternatives. Being able to appreciate the underlying restrictions of entropy could help stimulate a more innovative agenda. These issues are tested via a project funded by the EPA entitled ENERGY STAR Homes.