HLA邦元范型框架设计及其关键技术研究

<正> 针对对象模型在邦元开发过程中的重要地位,本文首先研究了HLA对象模型相关技术,提出了一个支持对象模型开发和管理的工具YH-OmGen,并基于C++语言和关系数据库进行了实现。     

基于应用描述的Android代码自动生成

在移动开发领域,安卓应用的开发吸引着广大移动终端厂商和开发者的加入。目前,开发者大多采用传统的方式,基于集成开发环境为安卓应用的每一项组成部分进行设置或编码,这些工作可能花费开发者较多的时间。然而,与应用框架相关的部分代码与配置文件具有类似的模式,通过复用及定制的方式可以有效提高应用的整体开发效率。为了实现这一目标,提出一套借鉴MDA(Model-Driven Architecture)思想的方法,基于安卓应用的描述来完成安卓代码框架部分的自动生成。该方法包括一种描述安卓应用基本元素及其关联关系的元模型,以及一套可复用且支持定制的应用代码模版。基于元模型标准的特定安卓应用的描述可以驱动基于模版的安卓框架代码的自动生成。在该方法基础上,开发Android应用框架自动生成工具,并以一个实例展示了方法与工具的可用性。     

面向企业应用的协同集成框架

针对企业协同应用开发的需要 ,提出并实现了一个开放性协同集成框架。该框架采用多层Client/Server结构 ,基于CORBA构件标准 ,并支持其他的构件标准和通讯标准 (如SOCKET)的集成。在服务器端 ,采用层次化构件模型为企业协同应用提供通用的协同支持构件 ,便于框架及其服务构件的复用。在客户端 ,通过白盒集成和黑盒集成相混合的集成方式 ,为操作人员提供了透明的工具集成接口和高级的服务访问编程接口 ,使在Windows环境下的各种应用工具 ,不须进行编程开发就可以便捷地集成到协同框架中 ,并实现对后台服务构件的访问。     

自动生成GEF图形编辑器的研究与实现

针对当前GEF编辑器开发难度大、开发周期长的问题，设计了一个能够自动生成GEF图形编辑器的MDA工具GEG的体系结构。它利用EMF的代码自动生成方法JET和JMerge，以及EMF.edit提供的适配器机制，生成了一个完整的基于Eclipse平台的图形编辑器插件。在系统设计和实现过程中，引入了配置元模型和视图元模型。     

基于HLA的分布式仿真框架自动生成技术

针对基于HLA仿真应用系统开发中存在的计算模型程序与RTI服务程序的耦合问题,研究了基于共享内存和中断回调技术的解耦方法,进一步采用HLA仿真适配器对RTI服务程序进行封装,从而实现了计算模型程序与RTI底层服务程序的有效隔离。为提高仿真应用程序开发效率,分析了联邦成员中RTI服务程序功能需求,研究实现了仿真适配器自动生成软件。该软件可快速生成基于HLA的联邦成员适配器代码和执行程序,从而构建仿真应用系统分布式仿真框架。     

基于HLA的分布式仿真框架自动生成技术

针对基于HLA仿真应用系统开发中存在的计算模型程序与RTI服务程序的耦合问题,研究了基于共享内存和中断回调技术的解耦方法,进一步采用HLA仿真适配器对RTI服务程序进行封装,从而实现了计算模型程序与RTI底层服务程序的有效隔离。为提高仿真应用程序开发效率,分析了联邦成员中RTI服务程序功能需求,研究实现了仿真适配器自动生成软件。该软件可快速生成基于HLA的联邦成员适配器代码和执行程序,从而构建仿真应用系统分布式仿真框架。     

AOP中结构冲突解决方案研究及其支撑工具设计

提出了一种基于概念模型的AOP框架,它能从语义上解决AOP系统中的结构冲突问题.为了实现该框架,设计了概念模型配置工具、基础程序标注生成工具、概念层信息更新工具和基础程序转换工具.概念模型配置工具便于程序员设计概念模型中物理信息、逻辑信息及其映射关系,基础程序标注生成工具能根据概念层信息自动为基础程序增加或更新标注,概念层信息更新工具能把修改后的基础程序信息自动更新到概念层,基础程序转换工具能把标注后的基础程序自动生成用逻辑信息表示的概念层程序.这些支撑工具的研究与设计,使基于概念模型的AOP框架更具实用性,便于该框架的应用.     

一种Web应用测试数据生成与组织架构

随着web应用的不断普及,web应用软件的测试越来越重要。本文针对web应用的测试数据生成和组织结构问题,提出了一种元模型驱动的数据池技术,并实现了一个测试数据生成与组织框架。该框架依据web页面上的输入域类型、输入变量的数据类型以及实例化约束条件,支持手工或自动产生测试数据。     

Simulink/Stateflow仿真程序的HLA兼容性改造设计

该文从数据结构入手，宏观分析了Simulink／Stateflow仿真模型在进行HLA(高层体系结构)兼容性改造过程中所涉及的主要问题及步骤。主要包括由RTW(实时工作室)所生成的Simulink／Stmeflow模型C代码的通用运行框架，模型程序的SOM(仿真对象模型)开发，模型程序的HLA软件接口设计等。特别是针对HLA软件接口的设计与实现过程中存在许多重复性的工作，提供了一个将Simulink／Stateflow模型程序自动转化为HLA联邦成员且能适用于不同联邦的工具软件框架结构，从而为基于HAL仿真系统的Simulink／Stateflow仿真模型开发提供一条优化途径。     

基于对象模型的联邦成员开发框架研究

通过分析联邦开发与运行过程(FEDEP),针对联邦成员之间信息交互的联邦对象模型FOM,提出以对象模型为中心的联邦成员开发框架.在基于对象模型的联邦成员开发框架中,从联邦开发者的角度封装RTI内部对象模型操作,通过建立对象模型的静态与动态管理服务,不仅降低联邦成员与不同仿真应用中FOM的耦合性,而且通过对象管理的透明,能够快速将对象模型嵌入联邦成员开发框架中的仿真层,实现联邦成员的快速开发与集成.     

基于Add-In的联邦成员修改工具的设计与实现

现有的联邦成员开发工具都是基于固定的SOM表生成成员代码,一旦SOM表被修改,无法对已有的成员代码进行修改以保持成员代码和SOM表一致,而必须重新生成成员代码.在联邦成员的开发环境下,设计联邦成员修改工具,使用联邦成员修改工具能根据SOM表的变化,快速、灵活地修改已有的联邦成员代码,使联邦成员代码与SOM表的变化保持同步,而不用重新生成联邦成员代码.在分析现有的联邦成员开发工具的基本特点后,提出基于Add-In联邦成员修改工具的基本原理及其基本的设计结构.实践表明,使用联邦成员修改工具可以加快联邦成员的开发,节省联邦成员开发人员的大量时间.     

联邦成员框架代码的自动生成技术研究

联邦成员软件的开发者面临着学习和使用RTI库的问题,大量低层接口的编程往往会使联邦开发者的注意力从联邦问题域转移到RTI技术细节上去.因此生成联邦成员框架代码的设计和实现可以大大降低成员软件开发难度,加快成员软件开发.该文通过分析联邦成员的程序流程和软件组成,采用面向对象的方法对联邦成员进行了抽象,设计了一些体现联邦成员特征的基本类,并基于这些设计实现了一种由HLA对象模型（FOM/SOM）自动生成联邦成员软件框架代码的方法.在RTI和实际的仿真实体模型间提供了一个抽象层,开发者不必考虑联邦成员与RTI之间的信息交换过程,只负责实现仿真实体模型的仿真功能,从而在成员级上实现了成员代码重用.     

通用鱼雷声自导联邦成员可适应性软件开发

针对通用鱼雷声自导联邦成员在特定联邦系统中对适应性的需求,提出了一种基于适应性软件体系结构的联邦成员开发方法,并给出适应性联邦成员体系结构框架。该框架具有对仿真需求动态自适应的能力,从基于构件的软件开发技术角度出发,根据需求自顶向下地构造联邦成员系统,其功能实现与配置控制相分离的结构,使得当需求变化时联邦成员可通过动态重配置达到自适应的目的。     

Ada并发软件的图形化设计方法研究

研究的目标：为Ada并发软件的设计提供一种图形化的方法和支撑工具，以便用图形表达并发软件的设计，并生成并发程序的框架（并发程序单元的划分和它们之间的通信）。这样做的好处在于提高软件的生产率，改善软件质量。在提出用于并发软件理解的会合次序图的基础上，给出了并发设计语言CONDL的语法、语义描述和图形化表示（泳道），并简单介绍了所研制的一个工具CONDLAS（生成Ada代码框架）。     

红外分析软件中COM技术的运用

红外热像仪在使用时有很多不足,如功能单一等.因此设计了一种多功能红外分析软件,这种红外分析软件不但包含基本的分析功能,而且能够生成统计图,自动生成分析报告,访问数据库.采用COM技术构建了红外分析软件,将复杂的模块开发简化,降低了软件开发周期.在Windows 2000/XP环境下,分析软件运行稳定,功能都达到了要求.     

基于HLA/RTI盟员开发环境的研究

基于HLA／RTI进行盟员软件的开发过程是一个繁琐、枯燥而且容易出错的过程。各盟员代码中存在着大量重复的通用功能,同时,大量的底层接口编程也会使联盟开发者在与RTI功能相关的函数调用上花费精力。为此,提供一个通用的盟员开发环境对HLA盟员仿真程序的开发具有重要意义。论文主要对盟员框架自动生成工具进行了深入研究,提出了用配置文件来进行信息配置的设计思想。该工具的研制成功,可大大简化盟员软件的开发,提高各类仿真盟员的开发效率。     

事件驱动的指挥自动化对抗仿真软件框架

指挥自动化对抗仿真不同于武器系统的仿真 ,它的核心是信息交互。事件驱动的仿真软件框架为指挥自动化对抗仿真系统的联邦成员开发者封装了原始的应用编程接口 (ApplicationProgrammingInterface ,API) ,提供了安全、便捷的高层功能 ,使得联邦成员开发者可以把精力集中到仿真的功能领域。该文首先分析了指挥自动化对抗仿真的特点。针对这些特点 ,提出了可以很好地适应指挥自动化对抗仿真需求的事件驱动模型。最终以此模型为基础 ,依托高层体系结构 (HighLevelAr chitecture,HLA)及其运行支撑环境 (Run -TimeInfrastructure ,RTI) ,建立起一个典型的事件驱动仿真软件框架     

数字电路自动测试生成实用化软件

介绍了针对ATE应用和TPS开发的需要首次在Windows NT平台上研制的一套数字电路诊断测试数据自动生成的实用化软件系统OCTOPUS100。该软件与已有的ATPG软件相比具有成本低,有利于推广等优点。该软件具有灵活性、实用性和通用性,经实验与试用表明有很高的实用价值。