敏捷制造数据源及其实现技术

为满足产品全生命周期管理对制造数据敏捷性的需求,提出一种敏捷制造数据源的数据管理方法.分析了敏捷制造数据的应用需求,将敏捷数据源定义为一种面向产品生命周期不断变化应用需求的数据定义和管理架构,该架构包括核心对象与本体层、元数据元模型层、服务组件层以及实施层等4个层次,对该架构的特点进行了分析.提出了实现敏捷制造数据源的3个实现技术,分别是抽象元建模技术、基于规则的数据视图快速生成技术以及基于服务技术的组件重用与快速重构技术.所提出的敏捷制造数据源为支持产品生命周期内制造数据的敏捷管理、应用以及提升应用信息系统敏捷性提供了新的途径.     

以功能需求为驱的资源聚合方法与实现

针对面向服务的体系结构(SOA,Service Oriented Architecture)环境中资源聚合的特点,提出以功能需求为驱动的资源聚合机制,在这一机制中,资源不再是静态的组件对象,应用流程与任务模型实现了分离,任务所需的功能成为关注重点与组织对象.聚合机制由3层构成:通过底层服务信息集合汇聚满足需求的资源服务;通过中间层的功能需求描述定义资源服务所具备的各种功能与属性;通过上层上下文环境满足任务执行过程中资源服务之间的约束.在模型内部,通过逻辑数据,维护异构服务接口之间的数据依赖关系.利用该机制实现以功能需求为驱动的应用构造.基于该机制的工作流系统NGGWf(National Geology Grid Workflow)已应用于国家地质调查应用网格中的地质勘测.      

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

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

面向服务的空战仿真协调逻辑集成

系统的敏捷性是仿真建模的重要目标,它反映了系统适应需求变化的能力.然而当前普遍采用集中式的单层架构建模空战仿真系统中各组件模型之间大量的协调逻辑,这导致系统结构呈现刚性化特征,难于灵活适应不断变化的仿真需求.提出并实现了一种面向服务的空战仿真协调逻辑集成方案.系统中的协调逻辑被有机抽取并封装为一系列协调代理,将协调过程中被动的组件模型扩展为自协调的服务,服务是一种高度可重用的资源并且被机器可处理的描述契约文档完全定义;根据特定的仿真需求在运行时动态组合相关服务即可完成空战仿真系统中协调逻辑的绑定,从而提升了系统的敏捷性.     

面向可靠性预计的软件运行时行为模型构造方法

运行时行为模型构造是面向可靠性预计的软件运行时模型构造的组成部分，为软件可靠性预计提供运行时组件与组件之间的动态交互关系和状态之间的转移概率信息。基于Java开发平台提出了一种基于非侵入式监控的软件运行时行为模型的构造方法，包括获得当前时刻的运行时体系结构模型；根据运行时体系结构模型确定监控对象；声明监控方法中的代理Bean；声明监控方法中的监控Bean，实现对组件动态调用信息的提取；声明代理Bean和监控Bean的接口；基于模型构造算法实现对运行时行为模型的构造等步骤。基于Rainbow-znn软件进行了实例应用，验证了所提方法的可行性。      

基于工厂机制的Air-SeaSim CGF模型系统

针对仿真模型可重用性不足的问题,以海空对抗战术仿真为背景,设计了一种基于工厂机制的Air-SeaSim CGF(Computer Generated Forces)仿真模型开发系统.遵循"自底向上"的开发原则,构造了由模型层、对象层、服务层和应用层构成的Air-SeaSim CGF模型系统软件体系结构.基于工厂机制的实体模型设计,对CGF实体进行适当的分解,抽象出满足仿真需求的模型,以组件形式表示,通过定义组件接口实现实体模型的快速组装及其功能的扩展.系统应用效果表明,通过工厂机制开发技术设计的Air-SeaSim CGF实体模型,集成了不同粒度组件的仿真模型,实现了实体模型行为组件在不同兵力模型建立过程中的共享和组合,简化了用户的定义,有利于模型的统一开发.     

航天器电推进软件体系结构设计

随着航天器软件任务量和复杂度的增加,软件复用需求越来越迫切.针对现阶段多个平台的电推进软件,采用结构化的分析方法开展软件需求分析,提取共性需求及可变性需求,识别可复用软件组件;提出基于适应性改进的事件驱动模型来组装软件组件,建立电推进软件体系结构框架;描述公共服务操作以及硬件驱动程序的封装形式,并给出软件体系结构在具体项目中的应用方式.文章提出的电推进体系结构框架以及所设计实现的软件组件在多个项目中得到应用,并取得了良好效果.     

面向语义的C4ISR/Sim集成系统设计

采用面向服务的体系结构(SOA, Service-Oriented Archilecture)的C4ISR/Sim集成系统可以借助其体系结构的优势,达到信息获取方式和信息表示语法上的一致.提出的面向语义的C4ISR/Sim集成系统通过扩展SOA,采用系统的层次化的语义体系不仅改善了系统构建的灵活性、可重用性和可扩展性等问题,而且实现了集成系统的语义互通.该体系结构以核心服务层的领域本体模型为基础,扩展定制服务层的模型服务语义描述,通过语义服务匹配,实现应用层的需求描述到系统组成之间的自动映射.原型系统的实现证明了设计方法的正确性和可行性.      

基于反射的分布交互仿真软件框架

软件框架需要在领域内不同的应用环境中使用,因此框架的适应性是其非常重要的质量属性.将反射技术引入建模与仿真领域,通过将支持大规模分布交互仿真系统开发的软件框架进行体系结构级的反射,解决了系统结构动态演化和运行时扩展问题;通过对仿真模型进行组件或对象级的反射,解决了模型的动态表示和行为演化问题.通过将反射塔构造为一个数据仓库对反射模型进行集中管理和统一接口访问,使系统在体系结构模式上表现为以数据仓库为中心,改善了反射系统的安全性,同时提出了一种新的基于反射数据库的软件设计模式.利用RTI的服务去维护分布的仿真节点的反射数据库,简化了系统的实现,同时也封装了RTI,从而构造了一个比HLA更高级和友好的分布计算和仿真环境,为仿真应用系统的快速开发提供了强有力的支持.      

基于语义的仿真网格模型资源发现技术

针对现有网格资源管理中间件缺乏对仿真模型资源语义层次的描述和发现匹配这一问题,引入本体概念,定义了仿真模型描述本体,实现了对仿真模型的语义描述;提出了基于本体推理的仿真模型语义匹配算法,将仿真模型语义匹配的量化程度映射到了 上的连续值域,并且支持仿真模型输入/输出的组合匹配;将研究结果应用于仿真网格的仿真模型匹配发现服务的实现中,通过典型的应用实例,有效地验证了提出的仿真模型描述本体和语义匹配算法.      

液体火箭发动机系统面向对象分析方法

对液体火箭发动机系统面向对象分析方法进行了探讨,提出了功能型部件、检验型部件和系统调节器三类广义部位的概念,并给出了它们的结构。描述了实际系统分割和顺序化计算过程,给出了顺序化计算方法明确的数学表示。将面向对象分析方法应用于发动机构型研究,建立了发动机功率平衡计算方法和静态特性分析方法。基于这些方法的应用程序通用性好,计算速度快、精度高。     

实时嵌入式软件测试执行引擎的设计与实现

自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,并在此基础上提出了测试描述执行引擎的总体设计方案,阐述了编译过程和执行过程的实现方法,给出了符号表管理中哈希函数及其冲突的解决方法和基于SBRMS(Segment-Based Rate Monotonic Scheduling)调度策略的测试描述执行过程.对引擎的执行效率进行了评估和分析,结果表明,通过合理控制测试描述的规模和并发执行个数,测试描述执行引擎能够满足实时嵌入式软件自动化测试对实时、并发特性的要求,并具有良好的可移植性.     

面向可信的航空嵌入式软件开发方法框架

针对航空综合化软件的可信内涵,即可靠性、安全性和实时性,开展了开发方法的研究,提出了针对性的可信内涵模型和相应的开发过程模型,并设计了基于模型的需求分析、组件化设计以及系统配置综合的开发方法框架.在开发方法框架研究过程中,重点分析了航空综合化软件平台的特征,即因为物理资源的限制,软件任务之间存在复杂的交互、资源竞争和共享关系,并分析了这些特征对其可靠性、安全性和实时性的影响.     

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

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

面向源代码可信证据的航天软件可信度量评估方法

随着航天技术的迅猛发展,航天软件的功能越来越复杂,规模越来越大,对软件可信性的要求也越来越高.航天软件一旦失信,其带来的损失往往无法估量.从源代码证据入手,建立面向航天领域的嵌入式软件可信度量评估方法.结合航天领域特性,建立了面向C语言代码的可信证据规范,该证据规范区分关键证据与非关键证据以及可信正证据和可信负证据;提...     

基于SLA的网格监控体系GSLMA及其实验床

从体系结构的角度出发,将现有网格监控工具分为3类,对每一类网格监控结构进行了分析 和对比,并提出了一种基于服务级别协定SLA(Service Level Agreement)的网格服务监控体系结构GSLMA(Grid Service Level Monitoring Architecture).GSLMA采用基 于面向服务的体系结构SOA(Service Oriented Architecture)的松散耦合结构,通过动态部 署解决了对新增服务的监控扩展,并提供第三方的监控功能,是一个具有高灵活性和高可伸 缩性的网格监控体系结构.最后,介绍了实现GSLMA实验床中的关键技术,包括:对开放网格 服务体系结构OGSA(Open Grid Service Architecture)容器进行扩展,采用Web服务级别协定WSLA(Web Service Level Agreement)解决被监控服务信息的统一描述等等.      

飞机使用升限对增压活塞发动机的匹配要求

发动机工况调节范围对无人机的安全运行具有重要影响.通过对增压活塞发动机与飞机的动力学分析,得到了使用升限上最大爬升率对螺旋桨和发动机的动力要求,提出了使用升限上发动机可调范围与剩余功率的要求.对增压器匹配提出了新的要求,即使用升限范围内保证飞机巡航工况能够恢复海平面功率.通过某发动机的仿真分析,确定了其使用升限高度的可调工况范围,理论分析了增压器参数对可调范围的影响,给出了匹配原理与建议.该过程也可用来校验使用升限高度下安全性可调裕度,有助于安全操控.     

面向工程设计的数据管理模式的实现

通过介绍压力容器CAD系统(PVCAD)的数据管理机制,旨在给出一种面向工程设计的产品数据管理模式.这种模式能够使系统实现对通常工程设计所需的产品数据进行有效地管理和自动地访问.为此,较详细地说明了系统中产品数据模型的数据分类、表达方式、数据结构及其实现方法.