基于工作流的集成质量管理系统设计

针对传统的面向功能的质量管理系统流程控制能力的不足,分析了工作流技术在实现质量过程管理、过程控制和过程重组方面的优势,基于工作流技术设计了支持过程管理和控制、面向飞机制造领域的集成质量管理系统模型,研究了基于J2EE (Java 2 Enterprise Edition)架构的三层体系结构,通过将工作流中间件与系统框架集成,建立了支持工作流管理的使能技术平台,该平台提供了工作流建模工具和工作流执行服务以及系统开发、运行环境,实现了过程管理和信息管理的集成;描述了基于XML(eXtensible Markup Language)的系统集成方法,提高了质量系统与其它系统的集成能力.该设计已应用于某大型飞机制造企业的质量管理系统.     

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

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

复杂工程系统综合设计优化环境

建立了系统整合、流程统一、参数优化、协同设计的综合设计优化环境.通过 分析复杂工程系统的特点,建立了具有高可扩展性的多层体系架构.阐述了组成该环境的4 个关键模块:项目组织与管理模块,保证项目进度和质量;以设计结构矩阵为表达形式、以 工作流参考模型为运行机制的过程建模与执行模块,提供跨部门的任务流转;基于组件技术 ,实现人员、数据和工具在网络上紧密集成的设计任务单元模块,为系统设计提供简洁一致 的任务模型;以产品数据管理(PDM,Product Data Management)为信息基础结构的产品数 据模型,提供单一数据源.最后给出了技术实现和运行机制.该环境的原型系统已成功地经 过了气动、结构、控制和总体设计等领域的设计与优化技术测试试验.      

嵌入式软件仿真测试环境软件体系结构研究

利用嵌入式软件仿真测试环境(ESSTE,Embedded Software Simulation Testing Environment)对实时嵌入式软件进行系统测试是国内外公认的、行之有效的方法.基于UML和"4+1"视图模型,系统地对ESSTE的软件体系结构进行了描述.各个视图之间保持了良好的一致性,特别地,在设计视图中将ESSTE软件分为两大组件-实时组件和非实时组件,并按照"管道-过滤器"的软件体系结构模式组织,分别给出了它们的关键类.非实时组件的关键类是配置工具类,实时组件的关键类是模型类、实时变量类和调度器类.据此设计和实现的ESSTE-Basic体现了较好的质量特性,如可更改性、可移植性等,其成功地对多个软件进行了系统测试,高效地发现了大量潜藏的软件错误,验证了ESSTE软件体系结构的正确性和有效性.     

计算机生成兵力建模仿真支撑框架

计算机生成兵力CGF(Computer Generate Force)建模仿真支撑框架为仿真的快速开发提供支持.根据建模仿真领域的相关研究,提出组装是实现这一目标的有效途径.可组装性是对可重用能力的更高要求,需要必要的框架、知识主体、工具、技术和标准,以有效地实现仿真资源的集成、互操作以及重用.为了实现组装过程的自动化,支撑框架通过对典型CGF仿真开发过程进行分析,提出了相关关键技术,并给出了支撑框架的层次结构视图,为原型系统的构建提供了依据.支撑框架通过对模型规范的研究,实现了仿真概念模型的模板,使框架工具能以一致的方式对仿真模型进行表示和操作.      

基于有限状态机的安全性仿真技术

为了研究系统中事故的动态变化机理,探索事故发展过程中的运动行为,制定正确的应急控制措施,提出了基于有限状态机理论的安全性建模仿真方法.结合Simulink/Stateflow工具开发了面向事故机理与应急过程的建模仿真平台,实现了系统的机理模型、安全状态控制模型以及应急操作模型的有效融合.该平台能实现对人-机-环境综合系统进行动态仿真,为明确事故的动态变化过程和制定应急控制措施提供依据.通过对某舰船舱室事故过程的仿真实例,验证了该方法的有效性和合理性.     

面向复杂航天器控制应用的模糊动态特征建模与控制

复杂航天器控制方法的研究是目前航天领域内的一个重要问题,为实现此类对象的高效控制,必须建立面向控制应用的系统模型．当前的系统建模方法在描述系统复杂特性方面,仍有一些不足．在综合比较面向复杂航天器的3类典型建模方法的基础上,通过将其中两类典型方法有机结合,设计和提出了一类新颖的描述复杂非线性系统的建模方法．     

基于ActiveX的多Agent自主运行仿真系统

针对面向分布式航天器系统应用的多Agent自主运行系统仿真的需求,设计了分布式的自主运行仿真系统AgSimu.提出了以ActiveX组件来实现各种类型Agent的方法,以ActiveX容器应用程序实现Agent容器,完成对Agent的建模、配置、管理和通信,可以方便地构建不同结构的分布式多Agent组织,仿真它们的交互与协同工作.通过在Matlab/Simulink的S函数中使用ActiveX控件,实现了多Agent仿真系统与Simulink中的对象模型进行交互,从而可以实现多Agent自主运行系统的闭环控制仿真.     

基于高阶奇异值分解的LPV鲁棒控制器设计

针对高超声速飞行器线性变参数（LPV）模型建模中准确度与复杂度之间的矛盾性,提出了一种基于网格化张量及高阶奇异值分解（HOSVD）的凸多胞LPV模型建模及控制方法。首先基于雅可比线性化给出了大包线网格化模型的张量描述形式,然后提出了一种基于HOSVD的多胞LPV模型生成算法,将网格化模型表述为有限个线性时不变（LTI）顶点及权重函数的组合,并基于舍弃的奇异值给出了建模误差的指标,最后结合某航天飞机再入段六自由度非线性模型进行了大包线鲁棒LPV控制器设计与仿真验证,结果表明该方法可获得计算复杂度低且保证建模精度的LPV模型,设计的鲁棒变增益控制器能够使系统快速跟踪姿态角指令信号,并能够保证系统的稳定性和鲁棒性。      

基于MBSE的民用飞机功能架构设计方法

基于模型的系统工程（MBSE）理论越来越广泛地应用于民用飞机设计与功能需求分析领域。研究起始于基于用户需求的自顶向下的民机系统产品顶层用例,辨识相关关键子用例,进一步基于对象用例展开“需求—功能分析”,构建黑盒活动图、顺序图表达实现相关飞机级需求的黑盒功能流,从而明确系统接口和辨识子系统,构建经验证可靠的可进行逻辑仿真的黑盒状态机。在黑盒功能架构的基础上驱动基于人机交互系统模型仿真的民机功能架构“正向设计”过程,对黑盒进行解白,基于建模分析和数值仿真结果,构建实现相关飞机级需求的系统功能白盒架构的“正向设计”。为充分演示上述方法,选择了对民用飞机产品安全性具有关键影响的最后进近着陆场景用例作为案例模型。研究表明,基于MBSE的民用飞机功能架构设计方法充分保证了需求分析和功能架构设计的紧密结合,正向构建了以满足民机产品需求为导向的结构化系统设计方法。      

面向对象CAPP系统开发工具的设计方法

采用面向对象的系统分析方法，分析了工艺规程设计问题域，并抽取了其中的对象及结构，然后，描述了通过建立对象类库来实现语言型ＣＡＰＰ开发工具的方法，这种开发工具兼有外壳型开发工具的特点。     

Web信息融合系统基础设施的研究

元建模是实现分布异构数据源间互操作的有效途径,元模型框架MMF(Meta Model Framework)是一套元对象和元模型结构的集合,用于信息注册和信息资源库开发中元模型建立.将联邦数据管理系统与软件工程中本体元模型框架结合,建立Web信息融合系统基础设施的体系结构.结合语义Web服务平台和软件代理技术,研究Web信息融合系统基础设施的运行机制.提出本体对象(ontology-object) 建模理论和方法,指导Web信息融合系统基础设施的开发设计,简化设计开发过程.      

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

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

虚拟维修技术研究与应用

针对虚拟维修在建模与仿真等核心环节的研究中存有很大局限的问题,提出了虚拟维修方法体系,探讨虚拟维修理论与方法,在此基础上开展虚拟维修模型与仿真控制方法的深入研究.提出虚拟维修模型即维修任务网(MTN,Maintenance Task Net),MTN基于Petri网可描述维修过程,可表达维修过程中资源、活动和约束.提出MTN驱动虚拟仿真的触发规则及建立控制虚拟维修仿真机制.通过飞机典型设备维修案例对提出的虚拟维修模型和控制机制进行了实例验证,应用结果验证了建模与仿真方法的有效性,为支持维修性工程应用提供了可行的技术途径.      

航空电子环境下FC网络的建模与仿真

机载网络是航空电子系统的重要部分.从航电系统对数据传输的需求出发,研究了光纤通道(FC,Fibre Channel)网络复杂混合拓扑的建模与仿真.在协议分析的基础上,将不同拓扑结构的网络抽象成终端与交换机模型的组合,并分别建模.基于离散事件系统仿真方法构建了适合航空电子环境的FC网络仿真平台,并提供网络吞吐量、延迟和实时性等性能指标的评价方法.仿真结果与实测数据相对比,误差小于10％,验证了模型的有效性.使用仿真模型进行案例分析,对机载FC网络做出性能评价.      

基于HLA的防空导弹武器系统仿真平台研究

介绍了一个以防空导弹武器系统为背景,基于高级体系结构(HLA, High Level Architecture)技术实现的包含虚拟现实技术的综合仿真平台.着重论述了该仿真平台的构成、开发过程及其关键技术,包括HLA、基于FEDEP(Federation Development and Execution Process)模式的开发过程,层次化软件结构、计算机生成兵力(CGF, Computer Generated Forces)技术、面向对象建模以及基于包围盒的碰撞检测等.     

航天器近距离导引轨迹规划仿真系统设计

以航天器近距离导引轨迹规划仿真验证为目标,对基于Visual C+ +,Vega Prime和Matlab的联合仿真系统进行开发研究.首先,建立了数学模型.然后,利用Matlab对所建立的数学模型进行优化求解,得到追踪航天器近距离机动时的位置、速度等信息.并通过Multigen Creator软件建立卫星等对象的模型,使用Vega Prime进行视景仿真.之后,采用Visual C+ +进行系统集成,建立基于三者相结合的仿真验证系统.最后,以椭圆参考轨道下近距离交会的连续推力式燃料最优轨迹规划为例,验证了该联合仿真系统.     

CPU仿真器MCS中存贮结构仿真的实现

仿真器是进行硬件设计评估,系统软件设计开发和计算机体系结构研究的有力工具,而对内存的仿真是系统级仿真器的重要组成部分,其仿真效率直接影响整个仿真器的性能.以一款基于VLIW(超长指令字)结构的CPU仿真器——MCS为例,研究了高效内存仿真的实现方法.MCS为目标应用程序提供了一个仿真运行平台,从而达到评估CPU设计,分析指令效率,支持编译系统调试的目的.