支持产品协同制造的质量管理信息系统

提出了一个基于Intranet/Extranet/Internet和ASP(Application Service Provider)方式的协同质量管理信息系统模型,为产品协同质量管理提供了一个完整的信息平台.介绍了系统体系结构,系统地论述了包含质量策划管理、产品质量管理、项目管理、支持性质量管理活动管理、质量改进管理、客户关系管理、供方关系管理等核心业务的功能模型,并针对开发实现的关键技术进行了讨论.      

多级协同项目执行中的资源冲突检测与管理

以航空航天型号工程项目为背景,针对多级协同项目中的资源冲突问题,利用基于时间约束网络的冲突检测算法实现了多级协同项目中的资源冲突检测,该算法建立了任务关系的时间约束网络模型,给出了基于模型的线性化、实例化方法和检测判据.针对资源冲突的检测结果表达及冲突信息的管理提出多视图表达方式,建立了基于UML的信息模型.基于研究结果设计开发了项目资源管理原型系统,以某航天项目任务的管理为例进行了验证,表明了研究结果的有效性.      

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

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

空间科学任务协同设计论证平台

空间科学任务协同设计论证存在设计方案耦合强,数据一致性差,数据变更难,数据与流程脱节等问题.为了解决上述问题,建立了典型空间科学任务的多层数字化模型;采用图形化方式对论证流程进行建模,并建立流程与数据的映射关系;通过共享数据池的方式为多岗位用户提供多方案数据协同机制;采用消息总线对数据变更进行及时提醒;利用方案依赖关系矩阵来判别方案耦合关系,最终自动合并任务总体设计方案.作为一个分布式平台,空间科学任务协同设计平台采用Eclipse RCP和Spring技术架构,整合了Hibernate、工作流Activiti5等中间件,提供统一门户,支持多岗位、多任务、多方案、多版本的管理能力,提供论证流程监控、数据协同交互等功能.结合某空间科学任务论证验证了该平台的有效性.      

面向开发过程的产品结构形式化建模

为满足开发过程产品结构数据的动态结构配置、动态任务协作、动态目标求解、动态状态跟踪等应用需要,在对开发过程产品结构属性及其相互关系进行分析的基础上,提出了一种面向开发过程应用的产品结构形式化模型.结合产品开发活动的时域行为特征,给出了产品结构的时域定义,并以此为基础构建了产品结构模型的时域扩展定义.通过分析产品状态与开发任务时域行为的映射关系,在产品结构时域扩展定义的基础上,提出了基于时间截面的开发过程产品结构状态追踪方案及算法,并通过模拟产品对象在开发过程中的状态变迁过程,验证了模型及相关应用方案的实用性和有效性.      

面向领域的仿真设计建模工具SIMDEMO

讨论了面向领域的仿真设计建模工具SIMDEMO的设计和实现.基于透明性、正交性、层次性的视图分解原理,对处于不同阶段、面向不同用户、涉及不同方面的系统模型采用多视图进行分解,建立了以多视图为核心理念的系统协同建模方法,给出了该建模方法下建模所需遵循的过程指导.针对领域模型描述、表示以及操作等多个方面对工具重构的需求,研究得到了基于元对象反射模型的工具架构;架构具有良好适应性,使得工具重构更灵活、简捷.对SIMDEMO的功能结构进行了简介,给出了系统实现方案.最后,将SIMDEMO与典型同类工具作了比较.     

一种空间飞行器控制系统软件协同演化方法

针对空间飞行器控制系统软件在开发演化时存在管理复杂、开发过程无序、协同度低的问题，提出一种空间飞行器控制系统软件协同演化的方法。首先对软件演化过程中的演化活动、演化策略进行了分析，之后基于对软件演化活动所得到的演化路径利用有向图进行了建模并给出了其演化活动的排序，最后，对演化路径有向图中出现的并行活动和环的情况进行分析，同时给出了相适应的排序算法。基于该方法，软件演化过程得到规范，较好的解决了复杂情况下演化路径求取困难的问题。     

虚拟维修仿真建模与控制实现

现有的建模技术在描述维修过程及其相关信息资源等方面存在很大不足,同时缺乏将抽象的维修任务描述与底层维修活动仿真相结合的研究,针对此问题提出并建立了维修任务仿真管理模型 MTN(Maintenance Task Net).构建MTN模型框架并建立基本功能模块,同时阐述了MTN建模的3个要素:状态、活动和条件.基于状态描述各种维修资源,基于活动定义维修动作行为,基于条件建立资源与活动间约束关系.进一步阐述MTN驱动虚拟场景进行维修仿真,同时控制管理整个维修仿真过程.最后给出了应用实例,该模型对实际工程中维修工作分析评价的开展具有一定的实用价值.      

基于文档状态的软件质量保证过程管理

软件文档贯穿于整个软件生存周期,是软件产品的重要组成部分,它们的质量直接影响着软件的质量.通过对软件文档过程的深入研究,提出了文档状态的概念,详细介绍了基于文档状态的文档角色、文档活动、文档版本和文档间依赖关系,以及如何利用它们对软件文档的过程进行控制、跟踪和管理,进而达到对软件质量保证过程的管理.      

一种软件测试过程的博弈模型

为分析软件测试的动态过程及其中诸影响因素之间的关系,运用博弈理论,提出了一种新的软件测试过程建模分析方法.建立了一种软件测试过程的博弈模型,并在此基础上对测试过程中的各方决策条件和博弈均衡条件进行了讨论,其结论有助于理论分析和解决"测试策略选择"和"何时停止测试"等问题.由于考虑了参与软件测试活动的各方利益和可能行为,此方法较之软件测试控制论更能够对软件测试过程中所出现的情况进行解释.本模型可为软件测试规程设计提供理论依据,增强软件测试过程的可管理性.      

基于模糊神经网络的软件可靠性早期预计方法

在基于模糊神经网络的基础上,提出了一种新的软件可靠性早期预计方法.通过分析软件缺陷产生的原因,给出了导致软件缺陷产生的因素.同时,深入讨论了软件可靠性早期预计的建模方法.在此基础上,利用模糊神经网络建立了软件可靠性早期预计的模型,并且给出了具体的步骤.      

可复用的需求建模方法

提出了一种特征驱动的可复用需求建模方法(RRM,Reusable RequirementMethod),此方法定义了一个可复用的需求建模过程(RRMP,Reusable Requirement Modeling Process),在领域工程和应用工程两个层面上都提出了相对完整的需求建模方法并将两个阶段有机地融合在一起.将主要研究方向着眼于领域模型的正确建立、合理剪裁和对象化过程,从而得到针对于具体应用的需求模型.在RRMP的过程指导下还将设计一个需求定制与应用开发平台(RAP,Requirement customing Application developing Platform).RAP平台立足于需求获取阶段,以用户易理解的图形化方式灵活直观地与用户进行需求交互,根据用户定制的需求自动生成具体应用的标准需求开发文档和开发过程中所产生的统一建模语言(UML,Unified Modeling Language),并最终开发出用户所需的领域内特定应用的原型系统.RAP平台主要包含3个部分:图形化需求定制工具,需求开发文档生成工具和目标应用开发工具.     

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

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

基于软件重用技术的飞行模拟器软件生成系统

在计算机应用系统中,软件是灵魂。本文研究基于软件重用技术和系统组合技术的飞行模拟器软件生成系统的原理、实践与应用经验。这一方面是由于研究软件重用技术和系统组合技术对缩短软件开发周期、增加软件产量和提高软件质量有着重要的意义,另一方面是因为旧的飞行模拟器软件开发方法已不能适应该领域日益变化的需求。 所谓软件重用技术是指开发新的应用软件时,再次使用已有的软件、知识和方法的技术;所谓系统组合技术是指根据特定应用的需求规格说明和已有的软件、知识和方法,将零散的软构件组装成一个系统的技术。本文给出了结合两种技术的飞行模拟器软件生成系统原型的实现原理和示例。它主要由三大部分组成:可重用的软件库及其管理器、库的浏览/检索器和目标软件生成器。我们用面向对象式语言C++描述其软件结构,以“生产域/消费域”模型作为软件生产、组装的基础。由此原型系统实现的某型号飞行模拟器飞行系统软件的重用、组装及仿真结果表明:基于软件重用技术和系统组合技术的飞行模拟器软件生成系统在理论上与实践上都是可行的;使软件重用技术和系统组合技术结合在一起,用于软件的整个生存周期,是对软件工程过程模型的重大革新。     

基于COM/DCOM的分布式零件参数化 设计系统的研究

为解决基于UG(Unigraphics)的零件分布式设计的问题,分析比较了UG二次开发的两种模式,提出了一种基于零件库的通用参数化设计方法.采用COM(Component Object Model)方式建立了一个基于UG外部开发的通用参数化设计组件,利用DCOM(Distributed Component Object Model)实现了该组件的网络化,并在此基础上选用分布式三层网络模型,构建了一个基于COM/DCOM的分布式零件参数化设计系统,实现了LAN(Local Area Network)下对零件进行参数化设计的功能.      

面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信性.遵循这一思路,设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式,进一步给出当一组件可信性发生变化,整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例,证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

运载火箭三冗余飞行控制软件的数字仿真设计

提出了一种采用三冗余技术保证运载火箭飞行控制软件可靠性的设计方案,选择合适的冗余模式建立了三余度飞控软件的数字仿真平台,并给出了实现余度策略、同步算法等关键技术工程的软件流程。测试结果表明,该方案设计合理,不仅较好地完成了飞控计算机的余度管理任务,而且有效地保证了系统的可靠性与容错能力。     

一种嵌入式系统软件的非干涉测试方法

传统的嵌入式系统软件测试方法对被测试系统有一定的干涉效应,影响了测试结果的精确性和正确性.采用"非干涉测试方法"可以将这种影响消除,从而得到精确的测试结果,是一种准确反映被测试目标系统真实运行状态的测试方法.与传统的测试方法不同,该方法的特点在于对目标系统完全是非干涉的.通过分析非干涉测试方法的基本特征,提出了该方法的应用模型.在这个模型中,有3个组成部分是必需的,包括静态分析模块,动态分析模块和通过硬件采集目标系统状态信息的数据采集子系统.静态分析模块对被测试软件静态特征进行分析,指导硬件采集子系统如何采集以及动态分析模块如何解析采集的数据.在整个测试周期,"非干涉测试方法"不需要在目标软件中驻留任何仅用于测试的可执行代码.      

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

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