基于Markov链的分布式仿真系统最佳检查点间隔研究

基于HLA的分布式仿真系统作为一类特殊的分布式系统,其容错一般基于回卷恢复实现,在回卷恢复中检查点间隔的不同会对系统性能产生很大的影响。分析了分布式仿真容错与一般分布式系统容错的异同,根据不同仿真进程对仿真结果的重要程度对其进行了分类,定义并利用Markov链分析了采用回卷恢复时分布式仿真系统的可用度,得到了系统最大可用度对应的检查点间隔的求解等式,通过一组试验数据验证了该最佳检查点间隔求解等式的正确性。     

基于HLA分布式仿真的Web服务化

HLA虽然能够简化各类仿真系统的互操作和重用,但是接口规范与编程语言的绑定、缺乏与商业技术的融合等阻碍了它在商业领域的广泛应用,Web服务具有平台和厂商独立等良好特性,实现基于HLA分布式仿真的Web服务化能够将Web服务的优势附加给HLA.该文在分析了HLA不足和web服务优势的基础上,提出了HLA Web服务化,对比了互操作在两个上下文中的差异,分析了实现HLA Web服务化的三个层次;之后,概述了相关研究,重点讨论了实现Web使能RTI的关键技术问题及其解决方案;最后,设计了原型系统,测试结果显示原型系统能够初步实现RTI的Web服务化.     

基于本体的仿真服务定制与组合

为实现快速构建仿真系统,提出了面向服务的仿真开发模式,基于本体和Web服务进行仿真服务的定制与组合。给出了本体、仿真服务等基本概念,详细定义领域本体、需求本体和服务本体;提出了仿真服务定制模型及系统框架;分析了需求目标与仿真服务之间存在的逻辑关系,并确定了服务定制的一般过程。基于网格工具集初步实现了仿真服务定制和组合系统,验证了上述方法的可行性。     

基于网格的分布式仿真系统容错机制

针对分布式仿真的需求,在网格的基础上构建了通用的分布式仿真容错系统。该系统由三部分组成:仿真资源状态监控模块、数据保存模块及错误恢复模块。其中仿真资源状态监控基于网格的MDS实现;数据保存(包括进程空间、进程间交互关系的保存)及错误恢复基于检查点机制在用户空间实现。就所增加的容错机制跟仿真系统原有功能模块的关系进行了分析。最后,基于网格及上述容错模块设计并实现了一个C/S模式的容错代理,用来实现仿真系统的自动容错。     

仿真网格原型系统的设计与实现

进行仿真网格原型系统的研究是解决仿真网格关键技术的基础。SGE网格引擎是一个构建本地和集群级网格的工具,通过SGE构建基本的网格平台,根据HLA仿真任务的特点,对分布式仿真网格的原型系统进行了研究和设计。提出了仿真网格的双通道通信机制:一个通道负责仿真网格组件的通信,另一个通道负责HLA仿真任务之间的通信。提出了仿真任务在仿真网格中的三种调度模式:以进程为单位的调度、以联邦成员为单位的调度、以联邦为单位的调度等。通过研究初步实现了仿真网格的原型系统,并对HLA仿真任务的三种调度模式进行了简单的测试。     

指挥机构指挥能力评估模型研究

高效指挥能力的释放是指挥机构构建的目标，研究评估指挥机构指挥能力，对指挥机构的建设性具有现实指导意义。首先分析指挥能力的影响因素，根据影响因子构建了指挥能力评估指标体系；然后根据指标体系建立了指挥机构指挥能力的评估模型，并引入边际效益对模型进行了分析，最后通过实例计算，验证了模型并提出了提升指挥机构指挥能力的具体途径，验证了评估模型适用性，提出了提升指挥机构指挥指挥能力需要把握的关键要点。