基于高层体系结构对象模型的联邦成员软件框架自动生成研究与实现

在基于HLA／RTI的联邦开发中，降低成员软件开发者需要理解HLA／RTI的程度，简化联邦成员软件的开发过程是一个急需解决的问题。本文不典型成员的软件结构和程序流程进行了分析，设计了一种基于HLA对象模型（FOM／SOM）的联邦成员软件框架实现方法，并实现了一种能够自动生成联邦成员软件框架的工具FedWizard，使用该工具可生成联邦成员的C＋＋框架代码。     

武器系统综合仿真环境的HLA功能研发

武器系统综合仿真环境（WISE）是开发实体仿真模型的有力工具，但是它缺乏对联邦成员开发的支持。本文的主要研究工作就是如何把WISE扩展到HLA的框架之下，使其成为符合HLA规范的联邦成员开发工具。本篇文章在理解WISE建模的原理和代码结构的基础上，重点阐述了其HLA功能扩展的设计和开发，先给出了总体设计方案，而后详细给出了扩展功能的整体结构、接口方法、联邦成员框架模板的构造和代码生成的过程。     

高层体系结构多联邦互连技术研究

高层体系结构（HLA）支持在单一联邦招待中的成员间的互操作。随着仿真系统规模的不断扩大，成员甚至联邦的重用对于系统的快速扩展至关重要。因此多联邦互连的问题亟待解决，本文首先对HLA的重用性和互操作性进行了分析，接着阐述了四种实现多联邦互连的基本方法，最后提出了层次联邦的实现方案。     

MATLAB与HLA/RTI通用适配器研究与实现

MATLAB具有的强大建模和仿真功能,并提供了友好的API接口。但是MATLAB本身并不支持HLA/RTI,无法直接参与基于HLA/RTI的协同仿真。本文从通用性角度提出了一种MATLAB与HLA/RTI通用适配器及其关键技术,并详细说明了通用适配器的原型实现。通用适配器可以灵活地将MATLAB仿真模型作为一个联邦成员加入RTI联邦中,参与协同仿真运行。该适配器的研究对于开发其他商用仿真软件与HLA/RTI的适配器具有参考价值。     

应用桥接成员实现高层体系结构多联邦互连

高层体系结构（HLA）本身的可重用性和可扩展性决定了可以将多个已开发的联邦进行互连，以快速地扩大仿真规模。使用桥接成员可以支持具有不同FOM的多联邦间的互操作，进行多联邦间对象属性和交互的信息交换，是实现HLA多联邦互连的一种方法，本文主要对桥接成员的组成部分及其功能设计进行了描述。     

基于HLA/RTI的维修保障仿真系统及势态显示实现

维修保障系统是由装备维修所需硬件、软件、人力以及管理组成的复杂系统，为了实现维修保障过程的协同和交互，提高维修保障仿真效率，在分析了其结构组成和特性的基础上，建立了基于HLA（High Level Architecture）／RTI（Run-Time Infrastructure）的堆修保障仿真系统及联邦成员组成，根据各成员的属性和交互关系设计和开发了联邦和仿真对象模型（FOM／SOM，Federation／Simulation Object Model），并完成了FOM中对象类、交互类及属性的映射，最后利用Vr—link和PVD（Plan View Display）等工具实现了维修保障仿真系统中各联邦成员的信息交互和势态显示。     

基于组件的联邦成员生成框架设计与实现

高层体系结构（HLA）作为分布式交互仿真的标准,从很大程度上提高了仿真模型的可重用性和互操作性。但由于HLA接口规范中提供的服务数量庞大,这就使得仿真开发人员在理解HLA/RTI运行机制上需要耗费大量的时间而延误仿真逻辑模型的开发进度,因此为仿真开发人员提供一个通用的联邦框架,利用框架中简单的、面向对象的接口进行联邦成员开发成为一个关键问题。将基于组件的开发方法实现一种联邦成员生成框架,能通过FOM/SOM和用户输入,生成联邦成员框架代码,实现典型成员的公共功能。     

基于HLA的激光雷达跟瞄仿真系统设计与实现

根据HLA联邦模型的开发步骤设计并实现了激光雷达跟瞄仿真系统,包括概念模型开发、FOM/SOM模型建立、FED文件生成等。本系统将MAKRTI和视景仿真软件RTG结合到一起,实现了各个联邦成员功能,并给出了CCD仿真成员的仿真框架流程图以及部分代码清单。     

构建可扩展的HLA联邦成员架构

在分布式仿真领域内,HLA机制使不同类型的联邦成员集成为一个分布交互的综合仿真系统,实现联邦成员在特定的联邦内即插即用,具有较高的重用性和互操作性。但是,这种以FOM信息为中心的联邦开发模式,使联邦成员在不同的联邦中实现重用性和互操作性能力受到限制。可扩展的HLA联邦成员架构,通过组合具有可重用和互操作能力的仿真模型组件来构建一个功能可定制和大小可伸缩的联邦成员,提高了联邦成员在不同的联邦中仍然保持重用性和互操作性能力。     

基于HLA的舰船操纵综合仿真平台的设计

应军事分布式仿真由DIS向HLA升级的迫切需求,开发了基于HLA的舰船操纵综合仿真平台.充分利用HLA的模块化建模思想把整个舰船仿真系统作为一个联邦,将其按功能划分成若干个联邦成员,进行分布式系统仿真.从设计入手,划分联邦成员功能、建立FOM文件,采用RTI集中式分布的星形结构,基于VC++2003.net软件开发工具进行联邦成员的双线程程序开发,并开发了-种有效的联邦测试工具,用于联邦成员集成后的验证.应用表明:该分布式舰船操纵仿真平台能完成日常航渡任务,同时,比集中式仿真具有更好的灵活性和可扩充性,便于未来系统的演化和升级.     

软件工程视域下的软件复杂性研究

从软件工程的视角对软件复杂性进行了初步研究,讨论了软件复杂性的基本定义,分析了软件复杂性产生的原因及软件度量方法,最后提出了未来适应软件复杂性的几种技术解决方案.     

基于COTS的军用软件保障问题研究

商用货架产品在军事领域的应用趋势将给传统军用软件的保障模式带来冲击。对此,在研究基于商用货架产品的军用软件(CBMS)开发过程的基础上,讨论了CBMS的保障组织形式和实施方案,构建了CBMS保障过程模型用以描述军方软件保障机构在整个保障过程中的工作,并就CBMS开发过程中与保障密切相关的商用货架产品选择和风险评估等问题进行了讨论。     

软件可靠性度量实例研究

为适应软件的不同特点和使用阶段,必须根据软件的具体情况,考虑在软件开发的整个生命周期中,从不同角度对可靠性进行度量和评价。在现有软件可靠性度量的基础上,选择改造了9个可用于评价软件可靠性的度量,在航天软件中进行了应用,并详细阐述了各个度量的目标、方法和过程,最后对度量结果进行了综合分析以及给出了对软件的改进建议。     

软件总线研究及其在水电仿真系统中的应用

针对复杂系统仿真软件开发中柔性设计和软件复用等问题,提出了基于软件总线体系结构的系统集成方案.并以此为基础,在水电仿真系统的设计实现中应用了该方案.在复杂仿真软件系统设计与实现中采用软件总线体系结构,有利于应对系统扩展和变化,同时也通过松耦合连接使得系统中组件的重用性得到加强.基于软件总线的仿真系统开发体系,易于实现复杂系统的仿真建模与定制实现,直接提高了生产效率和软件质量.     

基于检查点和Rejuvenation的软件可靠性建模分析

处于运行阶段的软件往往存在老化现象，即性能的逐渐下降或失效。为了避免软件老化造成的影响，人们提出了软件rejuvenation技术。这是一种预防性的软件容错策略，能有效的提高软件系统的可靠性和可用性。但由于rejuvenation操作过程的复杂性，它的成本也是不可忽略的。相对于rejuvenation来说，检查点是一种轻量级的软件容错策略，其成本远小于rejuvenation的成本。本文旨在结合rejuvenation和检查点技术，在rejuvenation周期间插入适当数目的检查点，以降低系统的宕机成本。丈中给出了系统的Detri网模型，并结合实例进行了分析。     

一种实时多任务软件可靠性验证方法

针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法.该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解方法;通过该模型把待验证的软件系统可靠性指标分配到各个任务模块,然后用统计测试的方法对任务模块的可靠性指标进行验证,以达到对整个软件系统可靠性指标验证的目的.实验证明该方法的有效性和灵活性.     

面向机载软件适航验证的灰盒测试方法

针对国内大飞机及新一代战机机载软件综合化、模块化的特点,根据机载软件适航验证要求,在分析传统黑、白盒测试方法与DO-178B《机载系统和设备合格审定的软件考虑》中软件验证要求适用性的基础上,应用灰盒理论,建立了满足软件适航验证要求的灰盒测试方法及其应用过程,并对该方法展开了分析,说明了其局限性,并对测试环境提出了新的需求。     

EnergyPlus中变频多联空调的模块开发和能耗仿真分析

为评价变频多联空调(VRV-II,以下简称VRV)的能耗特征,在建筑能耗动态模拟软件EnergyPlus的基础上,开发了VRV的能耗计算模块,并在一典型的商业建筑模型基础上,与几种常见的空调系统方案作了建筑物总能耗仿真比较。结果表明,VRV是最为节能的方案。同时,对于传统的空调系统,作为冷源方案的水冷式螺杆机相比风冷式螺杆机、以及作为系统方案的风机盘管加新风相比变风量空调,都显示出更为节能的特性。     

软件开发系统六元结构模型及其复杂性研究

在信息资源的开发中,软件是最重要的基础设施,软件开发是最重要的组成部分.文章总结了软件开发的三种认知观点,在此基础上提出了软件开发系统的概念及其六元结构模型和开发过程模型,并从复杂性科学的角度剖析了软件开发系统及其开发过程复杂性产生的原因、本质特征,对于正确认识和理解软件开发这一复杂系统工程的艰巨性,探索软件开发新方法具有重要的启示作用.     

AOSE中Agent行为的形式化定义与描述方法

为了支持多Agent软件系统的设计与开发,提出了一种基于形式化方法的Agent行为的定义与描述方法.该方法从Agent的状态、动作、动作序列到活动,采用形式化描述语言,逐步建立对Agent行为的定义和描述,该方法结构清晰,可理解性和可操作性强,能够有效地表棕并发性的Agent行为,为在基于AOSE的多Agent软件系统设计中,进行Agent行为特征的分析、定义和描述提供了一套有效方法.