可视化建模语言编辑器的自动生成和配置技术

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模语言编辑器为其使用提供了工具支持.不同编辑器存在的共性使得可视化语言编辑器自动生成和配置成为可能.基于理论研究和编辑器开发的实践经验,提出了自动生成和配置相结合的可视化建模语言编辑器开发的总体框架以支持编辑器的快速开发,定义了一套支持静态语义的可视化建模语言描述方法RM.RM采用基于规则的形式化描述方法来描述可视化建模语言的语法和编辑器的特性,采用MOF(Meta Object Facility)来描述可视化语言的静态语义.最后,设计实现了可视化建模语言编辑器开发环境Veda,验证了总体框架和描述方法的可行性.      

Web服务组合处理系统的研究与实现

单个Web服务难以满足实际应用的需求,为了解决互联网应用的集成和协作问题,需要把独立的Web服务组合起来以实现复杂的业务逻辑功能.通过分析服务组合的处理机制,基于传统工作流技术,使用IBM的WSFL语言作为服务组合描述语言,设计并实现了一个面向Web服务组合语言的通用的Web服务组合处理系统.这是一个多层结构的系统,它由Web服务平台、服务组合处理引擎、JMX注册管理中心、远程管理控制台以及处理引擎配置工具五部分构成;它为WSFL语言所描述的服务组合流程提供了一个运行引擎,同时提供了一个基于JMX的管理控制台,通过它可以对正在运行的流程实例以及历史数据进行控制和管理.该系统为基于Web服务的应用集成和协作提供了一个统一的运行管理环境.     

一种基于容腔节点的液压系统建模语言及实现

为实现直观面向系统原理图对液压系统建模,提出了一种基于容腔节点法的液压系统建模语言和一套新的建模语言描述规则,并阐述了利用该建模语言进行程序实现的方法.该建模语言将液压系统的拓扑结构抽象成具有容腔节点和元件节点的图形结构.液压元件模型独立封装,可模块化使用.在建模语言描述规则的基础上,生成容腔节点与元件节点的连接矩阵.所有节点和连接矩阵构成了系统的整体模型.通过典型智能液压泵系统建模过程,验证了该建模描述语言的正确性和有效性.结果表明:该基于容腔节点的液压系统建模语言可方便建立符合液压系统原理的拓扑图,并面向系统原理图自动生成系统模型.      

基于目标操作化的多引擎协作体系结构研究

基于目标操作化的域原子操作模型,研究分析了面向应用目标的系统设计与实现的基本问题,通过引入解释引擎,提出了面向目标的形式模型与应用软件设计实现的一体化机制;在系统级应用中间件之上,引入组件服务,提出了一个通过处理操作作业流实现目标的、多个操作服务引擎协作的体系结构,通过构造组件适配器,以满足操作服务引擎对异构组件服务的一致性访问.     

基于扩充Modelica的复杂系统多层次并行仿真

为提高复杂系统多学科建模仿真效率,弥补现有多领域统一建模仿真语言(Modelica)不支持并行的缺陷,提出了一个面向复杂系统建模仿真的多层次并行仿真框架,从仿真任务级、实体级和模型级3个应用层次上充分发掘仿真系统的并行性.将MPI(Message Passing Interface)/OpenMP中的并行元素加入Modelica语言,并通过所提出的代码映射机制将Modelica文本转换为支持并行编程的高级代码(C++),再利用一定的任务分配机制将高级代码在多层次并行平台(多核集群)上高效执行.针对某典型军事复杂系统优化迭代过程进行仿真实验,结果表明上述多层次并行仿真方法能大幅提高仿真效率.     

面向领域的模型驱动智能表单系统的框架设计

表单是信息系统中信息传递的载体.为提高信息系统的开发效率,实现对已有系统的复用,并能够方便地提供原型系统,使业务管理人员更好地介入系统的开发,分析和研究了传统的表单开发方式和目前市场上的智能表单系统,以软件复用的软件工程和模型驱动架构(MDA, Model Driven Architecture)思想为指导,以领域建模为基础,借鉴已有的智能表单系统,提出了一种面向电子政务领域的以业务对象库为基础的模型驱动智能表单系统的开发方法,设计了采用XML语言进行描述的表单模型定义和采用Web服务与MBean技术的表单模型处理引擎的松耦合系统总体结构,并对该设计进行了详细的介绍.      

一种低轨遥感卫星按需数据传输机制

针对现有低轨（LEO）遥感卫星数据下行机制普遍存在的低效率、高时延、传输路径易损等问题,提出了一种新型的遥感数据传输机制。所提机制中,支持地面站按需实时定位遥感影像资源,并建立定位卫星到达地面站的传输路径;在建立传输路径时,考虑到协作卫星与地面的可视时间有限,提出了以路径持续服务时间最大化为度量的路由算法,降低因协作卫星改变而引入的传输时延。基于NS3仿真平台实现了所设计的数据传输机制,实验表明,提出机制相比现有数据传输机制可降低数据传输时延,减少数据丢失。      

基于数字样机的飞机研制项目监控技术

由于周期漫长、数据繁杂、并发事件多等特点,飞机研制项目需要高效的管理支撑环境.针对这种需求,提出了一种基于数字样机的项目监控方法.该方法首先在项目管理与产品数据管理集成模型的基础上创建一种面向项目监控的数字样机.通过将样机模型与任务信息进行绑定,实现多视图的项目监控环境.在进行样机模型可视化时,采用双层载入策略以降低系统显示负载.该方法以对数字样机的可视化与交互为基础,向项目管理人员提供一种支持多层面信息展示的项目监控界面,丰富了项目管理用户与企业信息间的交互方式.      

支持数字样机设计的集成设计信息建模

以产品仿真模型及其设计活动为主要控制对象,研究面向数字样机的产品设计信息建模的特点,并建立了支持数字样机设计的集成设计信息模型.将产品设计控制对象抽象为反映产品静态特性和动态特性的信息元及反映产品设计活动的设计元.从产品几何仿真、物理仿真和行为仿真三方面建立数字样机对象信息模型;以设计树对象、设计角色对象和资源配置对象建立设计过程控制信息模型.以此为基础建立面向数字样机的分布式产品协同设计仿真环境.     

蜂群无人机自组网多优先级自适应退避算法

针对现有媒质接入控制（MAC）协议退避算法无法为蜂群无人机自组网（FANETs）提供区分服务,且在重负载时性能严重恶化等问题,提出一种多优先级自适应退避算法。采用忙闲因子自适应机制和最优竞争窗自适应机制,根据信道忙闲程度和网络状态参数自适应实时更新各优先级竞争窗口（CW）长度,从而使每次退避的竞争窗口可快速收敛到最佳状态,并实现了多业务区分服务,得到了最优的系统性能。通过建立不同优先级退避过程的三维Markov链模型求解得到了饱和吞吐量下的最优竞争窗自适应因子,并且理论推导了系统吞吐量和平均MAC时延的数学表达式。仿真结果表明,所提算法在重负载时能够实现多优先级区分服务并有效提高系统的吞吐量性能,相比区分业务优先级的自适应退避（PAB）算法和支持QoS的自适应竞争窗口退避算法（Q-ABACW）,性能均有较大提升。      

飞机全生命期过程建模技术及支持环境

从飞机全生命周期过程建模的需求出发,针对大型复杂过程的建模提出了综合过程模型,对过程建模语言进行了扩充.探讨了大型复杂过程的建模方法,设计并开发了相应的过程建模和模拟软件,并成功地应用于某型飞机研制过程的建模.      

一种面向最终用户的图形建模语言规范

图形语言形式化描述体系由于需要一定的理论背景而不适于最终用户,为了满足最终用户对领域建模语言进行规范描述的需求,提出了一种可以描述图形语言二维语法结构的语言(EUVDL,End-User Visual Definition Language),分别从设计范型、抽象语法和具体语法3个方面考虑了最终用户的支持,并且给出支持最终用户使用的具体设计策略、设计了基于EUVDL的图形建模语言环境开发平台.通过和其他图形语言描述方法的比较以及实例演示,可以看出利用EUVDL描述图形建模语言具有语法结构简单、描述能力较强、支持描述重用的特点,适于最终用户使用.      

UML软件开发过程和支持环境研究

从当前对软件工程过程的需求出发,结合软件工程领域的最新成果统一建模语言UML(Unified Modeling Language),重点讨论了适应需求变化的迭代式软件开发过程,提出了柔性软件开发模型.在此研究的基础上,设计了集成化UML软件开发环境的框架,指出其组成应包括UML可视化建模系统、UML模拟系统、UML代码生成系统和UML逆向变换系统4个部分,并提出了需要解决的问题.     

文本信息辅助图像差异描述生成

图像描述生成任务要求机器自动生成自然语言文本来描述图像所呈现的语义内容,从而将视觉信息转化为文本描述,便于对图像进行管理、检索、分类等工作。图像差异描述生成是图像描述生成任务的延伸,其难点在于如何确定2张图像之间的视觉语义差别,并将视觉差异信息转换成对应的文本描述。基于此,提出了一种引入文本信息辅助训练的模型框架TA-IDC。采取多任务学习的方法,在传统的编码器-解码器结构上增加文本编码器,在训练阶段通过文本辅助解码和混合解码2种方法引入文本信息,建模视觉和文本2个模态间的语义关联,以获得高质量的图像差别描述。实验证明,TA-IDC模型在3个图像差异描述数据集上的主要指标分别超越已有模型最佳结果12%、2%和3%。     

实时嵌入式软件测试输入的可视化建模

实时嵌入式软件仿真测试是一种目前应用较广的测试技术.文中根据实时软件及其输入的特点,结合在软件工程领域有着广泛运用的统一建模语言(UML),提出了一套基于输入类图、输入顺序图并辅以输入描述的测试输入可视化建模方法,在此基础上可以自动生成测试脚本或测试数据,用于驱动实时嵌入式软件测试的进行.      

基于工作流的复杂系统虚拟样机项目管理系统

复杂系统虚拟样机是一个协同工作过程,为了对其业务过程和业务数据进行有效管理、改善虚拟样机效率,建立了一个基于工作流的项目管理系统.该系统具有系统管理、项目管理、工作流管理、文档管理、消息管理和信息交互管理等功能.介绍了其层次化、模块化的项目管理系统体系结构,重点介绍了工作流管理系统的体系结构,其模型组成元素和多实例化、流程的动态创建及修改等建模机制,以及工作流运转机制,并给出了该项目管理系统在某虚拟样机开发平台中的应用实例.      

需求模式

为了解决软件开发过程中需求重用的问题,对统一建模语言中的活动图进行了扩展,用以作为软件需求捕获和描述的工具,并以此为基础通过借鉴其它模式语言的通用描述方式,提出了基于过程模型的需求模式描述语言,其描述框架包括模式名称、所属领域集合、适用语境、所要解决问题、条件约束、解决方案、模式实施、应用实例以及相关模式等方面,详细定义了语境、解决方案和相关模式的描述方式,并在此基础上给出了需求模式开发和应用的指导性原则.提出的需求模式技术,使软件最高抽象描述层次的重用成为可能,其应用必将大大提高软件开发的效率.      

基于UML的集成化软件开发环境的研究与实现

统一建模语言UML(Unified Modeling Language)的出现为研制和开发集成化面向对象软件开发环境奠定了基础.针对当前软件开发方法中所表现出的新特点,结合用户在项目开发中的实际需求,讨论了基于UML的集成化软件开发环境的设计思想及应具备的主要功能,介绍了基于该思想开发的可视化建模工具UML/Designer的功能体系结构和实现情况.