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

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

机械产品设计的过程建模

产品设计是一种复杂的人类创造性思维活动.在分析产品设计及其过程的基础上,利用集合与映射的理论与方法,依此建立了产品设计、产品设计过程、产品概念设计过程的模型,给出了产品概念设计过程的网络算法框图,并且详细定义了后者的分解与综合的流程,为产品设计过程的模型化、规律化打下了良好的基础,同时也为产品全生命周期设计过程计算机软件支持工具的开发作出了有益的探索.     

容错控制系统的可靠性建模及模型化简

在容错控制系统的设计过程中,进行系统的可靠性建模和分析求得容错控制系统可靠性是一项非常重要的工作。它是许多设计工作,如设计方案的选择优化和一些设计参数的确定等的重要理论依据。在容错控制系统的可靠性分析中,利用马尔柯夫过程理论对容错控制系统进行可靠性建模能够较为真实地描述系统的实际工作情况,但是由于容错系统为了达到高可靠性而有采用了大量的冗余配置及重构技术,使得该可靠性模型往往变得相当复杂。因此,对     

基于构型项的飞机研制建模技术

飞机制造业的业务过程是一个复杂的、动态的、数据量大的系统工程.如何建立简单完整的产品研制模型一直是业务过程优化(BPI,Business Process Improvement)中的难题.通过借鉴波音公司关于飞机构型管理和产品结构模块化的相关思想,强调构型管理技术在飞机研制的全生命周期过程中的重要性,明确构型项(CI,Configuration Item)准确的数学定义.依据构型管理简化产品的信息模型和Petri 网(PN,Petri Net)描述、优化产品过程模型的特点,将Petri 网理论与构型项结合起来保证全生命周期过程中飞机研制模型的一致性和完整性.提出CI-PN模型来描述整个飞机研制的信息和过程模型,并给出对翼盒研制过程模型描述、分析和优化的实例.      

一种基于面向对象Petri网的并发程序建模方法

介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.     

基于组装的过程工程环境

描述了一个基于组装的过程工程环境，该环境包括过程定义，过程实例化，过程模拟，过程动作４个部分，采用了基于组装的过程建模方法，能够对重用过程库中的过程部件进行组装，生成新的过程模型，并由过程模型驱动实际运作。     

飞机环境控制系统并行设计

基于飞机环境控制系统(ECS)的研制,分析了系统设计的结构层次,借助于近年来飞速发展的信息技术、设计技术、仿真技术,提出了基于系统管理-结构设计-系统仿真为一体的面向对象的系统并行设计框架.设计体系贯穿于飞机环境控制系统设计的全生命周期.      

飞机总体设计过程中的数据管理

飞机总体设计中所涉及到的是海量数据,且具有数据种类繁杂的特点,同时具有很高的安全性方面的要求. 在如何利用数据库技术对海量、繁杂的飞机总体设计数据进行合理、有效地分类组织管理方面作了一些探讨. 分析了总体设计过程中所涉及到的数据所具有的特点,对设计过程中的数据进行了归纳分类;提出了利用近年来迅速发展的面向对象技术对飞机总体设计数据进行分类、管理的概念并给出了一个简单的实例;最后介绍了利用数据库管理飞机总体设计数据的一些需要注意的问题.     

基于过程建模的项目进度计划方法

为了降低大型项目进度计划的复杂性,提出一种基于过程建模的项目进度计划方法.首先分析过程模型与项目进度计划之间的内在联系,给出VPML过程模型和甘特图的概念对应关系,为过程模型与项目进度计划的自动转换提供基本规则.特别针对大型项目中常见的"返工"现象,提出一种循环活动的线性化算法.该算法通过引入学习曲线的概念,模拟时间成本在重复工作中呈现出的学习效应,使时间进度的估算值更贴近真实情况.      

对象Petri网模型的并发软件仿真技术的研究

并发软件的性能评价是提高软件开发质量的重要手段之一.本文重点讨论了将面向对象与Petri网相结合的思想用于并发软件开发中的系统建模,以及基于对象Petri网(OPN)的并发软件系统的仿真技术,同时,也探讨了实现一个基于OPN的动态仿真工具所面临的关键技术和解决方法.实践结果表明,文中讨论的实现机制与处理方法是有效和可行的.      

集成化过程工程环境及其体系结构

现代化的企事业是一个极其复杂的集成化的人机系统,其内部运作需要基于计算机的应用系统的支持.因此本文讨论了一个以过程工程为核心的,将过程工程和软件工程融合为一体的集成化过程工程环境IPEE,提出了以过程模型为中心的IPEE的总体结构,并设计了分布式的过程运作环境的体系结构.     

个体软件过程实验研究

为确定个体软件过程PSP(Personal Software Process)在软件开发中的实际应用效果,北京航空航天大学软件工程研究所在1997年进行了PSP的应用实验.本文首先简要介绍了PSP的原理和方法,然后给出PSP实验的结果数据,对该数据从差错率和生产效率2个方面进行了统计和分析.分析结果显示,PSP的应用对于提高软件开发效率、改善软件产品的质量有重要的意义.讨论了PSP应用过程中可能遇到的问题,指出了今后进一步的工作.     

基于检查单机制的过程剪裁方法CPTM

如何对组织标准化软件过程进行合理剪裁从而得到真正适合项目特点的项目定义软件过程是 一个既关键又复杂的技术.首先阐述了组织标准化软件过程;然后介绍了过程剪裁,深入分析 了4个影响过程剪裁的方面,在此基础上,提出一种基于检查单机制的过程剪裁方法CPTM(Ch ecklist-based Process Tailoring Method),并详细描述了运用它进行过程剪裁的步骤; 最后给出了CPTM的一个应用实例.实践证明,CPTM使过程剪裁简便易行,大大减少了软件组 织在过程剪裁上的投入.      

基于FPGA的无人机气压高度测量系统的研究及实现

无人机由于轻巧灵活等特点,在现代战争探测中得到广泛应用。气压高度是控制无人机正常飞行的一个很重要的参数,它是保证无人机完成任务的关键所在。目前,常用的办法是通过测量大气静压来间接测量无人机高度。一个基于FPGA的无人机气压测高系统的实现,较之单片机实现,它具有抗干扰性强,工作稳定可靠等特点。     

基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.