基于MDA的空军作战仿真系统开发模式研究

空军作战仿真系统是在模型驱动架构(ModelDrivenArchitecture,MDA)之上构建的一个复杂仿真系统。在系统的设计实现过程中综合运用了MDA和软件工程的思想。结合实现过程,提出了基于MDA的空军作战仿真系统的开发模式,重点讨论了空军作战仿真系统的分析和设计过程,详述了用UML图表示的空军作战仿真系统的平台无关模型(PlatformIndependentModel,PIM)。利用MDA开发模式,提高了空军作战仿真系统的开发效率,保证了整个仿真系统的一致性。     

作战任务空间的一致性描述

要解决作战仿真中军事领域专家与仿真技术专家之间的沟通问题,解决仿真间的互操作与仿真资源的重用,就必须要建立对真实世界(包括作战过程、作战实体、作战环境以及它们之间的交互等)一致性的描述模型,也就是要建立任务空间概念模型。本文提出了对作战任务空间的描述方法,并结合一个小例子,使用UML语言对其进行描述。     

模型驱动在舰载指控系统的应用研究

模型驱动架构(MDA)提出了一种利用模型进行软件开发的方法.首先提出模型驱动开发方法在舰载指控系统中的应用策略,说明了模型驱动架构的元模型建立过程,描述了利用元对象设施(MOF)扩展元模型的方法.然后以舰载指控系统中的表页显示软件为例说明了舰载指控系统业务软件元模型的建立过程.     

基于HLA分布式仿真系统的模型驱动设计方法

提出了一种基于HLA分布式仿真系统的模型驱动设计方法。首先提出基于MDA的分布式仿真系统开发框架，然后给出了使用UMLProfile创建HLA元模型的方法，最后分析了从领域元模型到平台元。模型的映射规则．该方法通过定义基于HLA／RTI分布式仿真平台的UMLProfile，订制了HLA元模型以扩充UML对于HLA仿真平台相关模型的描述能力，有利于分布式仿真系统的快速开发和构建，同时容易实现分布式仿真应用从底层RTI平台到其他中间件平台的迁移。     

基于HLA的舰空导弹反导仿真系统的设计与实现

针对舰空导弹反导仿真系统及其作战环境,提出了基于高层体系结构(HLA)的仿真设计方案.依据HLA/RTI规范,建立了舰空导弹反导仿真系统的体系结构.采用UML的可视化建模技术,设计了反导仿真系统的静态结构模型和动态行为模型.分析开发了舰空导弹反导仿真联邦的FOM/SOM,给出了联邦成员的实现过程和方法,实现了一个可重用、具有互操作性的舰空导弹反导仿真联邦,该系统为作战研究、装备发展、战术应用论证提供了一个参考试验平台.     

面向Agent的电梯群控仿真系统建模研究

扩展了UML建模语言，形成了面向Agent的UML（AUML）以辅助面向Agent系统的开发。并应用扩展的Agent图、用例图和顺序图建立了电梯群控仿真系统的Agent模型、功能模型和动态模型，从而为系统的设计、开发奠定了基础。实践表明，该方法在面对复杂多任务系统时具有更强的实用性和优越性。     

基于UML和OCPN的防空作战仿真系统建模研究

通过深入分析防空作战仿真系统,综合运用形式化和非形式化建模技术,提出了UML和对象有色Petri网相结合的防空作战仿真系统混合建模方法,并给出了防空作战仿真系统的UML和OCPN的混合建模实例,为防空作战仿真系统采用复合建模技术、克服单一建模的缺陷提供了有益的思路。     

基于UML通用性机载雷达仿真器系统建模与仿真

采用统一建模语言(unified modeling language,UML)提出了一种模块化、易扩展和通用性的机载雷达功能级仿真器体系结构,分为系统控制、天线、信号处理机和数据处理机共4个对象进行模块化设计,具备机载脉冲多普勒雷达和相控阵雷达的仿真能力。建立和分析了机载雷达仿真器系统的工作流程、目标检测、目标跟踪、误差分析和电磁对抗模型,并采用Visual C++语言对所建模型进行了仿真实现,仿真结果充分验证了模型的可行性和有效性,为机载雷达的功能验证和作战效能评估提供了平台和依据。     

复杂系统能力需求模型的仿真技术与实现

为了实现复杂系统能力需求模型的仿真,提出了一种基于能力元概念构建仿真虚拟机实现能力需求模型可执行仿真的方法。首先采用巴科斯范式对需求模型进行形式化规范,再利用UML扩展机制将需求模型映射为仿真实例模型,并提出转换算法。最后,通过构建模型仿真虚拟机,实现了能力需求模型的可执行仿真,示例表明了该仿真方法的可行性。     

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

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

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     

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:     

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

正~~