支持部队模拟训练的指控与仿真系统互操作性语言

部队指控系统的广泛应用对指控训练提出更高要求。仿真系统开始越来越多地应用于训练中,为之提供真实的指控训练环境。部队模拟训练系统中实装指控系统与基于仿真的训练支撑环境的互操作性问题是一个急待解决的问题。互操作性概念参考模型用于确认两者间交互的信息类型,是互操作性研究的基础。模拟训练系统中互操作性研究的重点集中在指控与仿真系统互操作性语言的研究上,主要体现在公共数据模型、形式化语法和形式化语义3个方面。

指控与仿真系统互操作性语言的形式化语法

在部队模拟训练系统中,实装指控系统与基于仿真的训练支撑环境的互操作性问题是一个亟待解决的问题。为此,提出指控与仿真系统互操作性语言,建立用于指挥控制的形式化语法。语法示例表明,该语法有助于实装指控系统与基于仿真的训练支撑环境间命令、报告和请求等交互信息的准确表达,形成严谨、可解析和文档化的互操作信息。

模拟训练系统中的互操作性研究

部队指控系统的广泛应用对指控训练提出更高要求。仿真系统开始越来越多地应用于训练中,为之提供真实的指控训练环境。部队模拟训练系统中实装指控系统与基于仿真的训练支撑环境的互操作性问题是一个急待解决的问题。互操作性概念参考模型用于确认两者间交互的信息类型,优化的系统集成方法对提高两者间的互操作性是至关重要的。模拟训练系统中互操作性研究的重点集中在指控与仿真系统互操作性语言的研究上,主要体现在公共数据模型、形式化语法和形式化语义三个方面。

基于Babel的公共构件程序设计

由于并行程序设计的特殊性,开发并行高性能科学计算的程序要比开发传统的串行程序难得多。虽然并行科学计算函数库的出现在一定程度上降低了并行科学计算程序设计工作量,但是程序开发人员仍旧需要掌握相当多的并行及分布式计算方面的专业知识,开发这些程序的难度并没有显著降低。

基于Babel的构件程序设计

为了解决高性能科学计算程序设计当中存在的开发难度大,开发周期长以及对开发人员要求高等问题,人们已经开始将软件构件技术引入该领域。由美国能源部、犹他州大学、印弟安那大学等联合提出的CCA便是研究高性能科学计算构件技术的项目之一。本文主要介绍了CCA以及CCA框架下的语言互操作工具—Babel的相关情况,并且通过NPB基准测试程序IS详细描述了Babel的使用,分析了基于Babel的程序设计对程序性能的影响。初步实验表明Babel能够有效解决语言的互操作问题,在面向科学计算的构件程序设计环境中能够发挥关键作用。