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

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

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

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

基于SMP2.0的全球导航系统精度因子的仿真分析

全球或区域导航精度因子(DOP,Dilution of Precision)仿真分析是全球导航系统性能指标仿真分析与评估的重要组成部分.研究了DOP的相关概念和算法,分析了DOP的可用性算法,采用基于仿真模型可移植性标准(SMP2.0)的模型开发与集成方法,设计、开发、集成和运行了面向DOP的导航系统仿真模型,并实现了支持DOP仿真分析的软件工具,最后针对GALILEO系统在中国区域的导航精度因子进行了仿真分析,验证了导航仿真系统中基于SMP2.0方法集成具有良好合理性和移植性的优点.     

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

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

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

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

基于SMP2的导弹攻防对抗仿真模型开发与集成

介绍了仿真模型可移植性标准(SMP2),指出其在分析型仿真中的优点,提出基于SMP2进行导弹攻防对抗仿真系统模型开发与集成思路.从组成框架、交互框架、时序框架和对象执行框架搭建基于SMP2标准的导弹攻防对抗仿真系统概念模型框架,根据SMP2建模一般过程描述了基于SMP2的导弹攻防对抗仿真系统模型设计、开发与集成,讨论了相应的关键功能设计与实现,并以弹道导弹对美导弹防御系统突防措施论证问题为实例验证了介绍的模型开发和集成思路.     

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

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

基于SMP2的网络化反导防御仿真系统设计与实现

网络化反导防御系统的作战特点,对其仿真系统的模型框架及建模规范提出了新的需求.引入联合作战指挥中心JOCC与公共作战图像COP模型,设计了其体系结构和模型概念框架.基于仿真模型可移植性标准(SMP2)对仿真系统进行设计与实现,讨论了模型设计、开发、装配集成与想定编辑以及仿真实验与数据记录等关键功能的实现.最后通过实例证明了模型框架的有效性及基于SMP2开发网络化作战系统的可行性和优越性.     

基于UML的SMP2模型集成方法研究

针对当前SMP2模型集成存在的不是完全的模型驱动和不具备图形化模型实例装配能力等问题,提出了基于UML的SMP2模型集成方法.该方法将模型集成分为两个阶段:系统分析和模型转换,并分别设计了UML Profile for SMP2 Assembly和UML模型到SMP2 Assembly的模型转换规则,并以某导弹攻防对抗仿真系统的模型集成为例验证了该方法的有效性.经过扩展,提出的SMP2模型集成方法可集成到UML工具中,实现基于UML的系统分析到仿真系统模型实例装配的自动化.     

基于SMP2的导弹攻防对抗仿真系统研究

指出了当前基于HLA进行攻防对抗仿真系统开发存在的不足,提出了基于仿真模型可移植性标准(SMP2)标准进行攻防对抗仿真系统开发的思路.简要介绍了SMP2标准的顶层架构以及SMP2仿真系统的运行结构和开发过程.针对战略导弹突防仿真的应用需求,搭建了基于SMP2的战略导弹突防仿真系统软件体系结构,讨论了系统的模型框架以及关键功能的设计与实现.     

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

正~~     

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

正~~     

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

正~~     

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     

Enterprise resource planning implementation decision & optimization models

To study the uncertain optimization problems on implementation schedule, time-cost trade-off and quality in enterprise resource planning (ERP) implementation, combined with program evaluation and review technique (PERT), some optimization models are proposed, which include the implementation schedule model, the timecost trade-off model, the quality model, and the implementation time-cost-quality synthetic optimization model. A PERT-embedded genetic algorithm (GA) based on stochastic simulation technique is introduced to the optimization models solution. Finally, an example is presented to show that the models and algorithm are reasonable and effective, which can offer a reliable quantitative decision method for ERP implementation.