MBSE在民用飞机刹车系统需求分析中的应用

系统工程是组织管理复杂研制对象的规划、研究、设计、制造、试验和使用的科学方法,是一种对所有系统都有普遍意义的科学方法。随着民用飞机及其系统复杂程度的不断提高,系统的研制周期不断变长,研制成本不断增加,系统的质量管理、可靠性及集成工作的困难程度也越来越高。基于模型的系统工程（Model-Based System Engineering, 以下简称MBSE）用建模的方法和图形化的表达方式对民用飞机及其系统研制过程中的需求分析、系统功能分析、系统逻辑架构的设计综合与验证进行了有效处理。该文首先阐述了MBSE思想,然后分析了MBSE相比传统文档形式研制流程的优势,最后详细分析了MBSE在民机刹车系统需求分析中的应用。     

基于UML的教务管理系统模型分析

介绍了在统一过程模型的基础上应用UML进行系统分析、设计，建立系统模型的简洁方法。文中通过对一个教务管理系统的建模过程，运用UML语言的图形表达方式，从需求分析，到详细设计，及类与类之间的消息传递关系，给出了该方法的应用细节，并对该方法进行了验证。实践表明，在基于统一过程模型体系结构为中心的建模方法指导下，应用UML语言丰富的可视化表达元素，可以清晰、快速地定义面向对象的软件系统模型。     

基于UML的空空导弹仿真建模

采用统一建模语言对空空导弹仿真系统的建模过程进行了研究。通过用例图进行了空空导弹仿真系统的功能需求分析,采用包图和类图建立了空空导弹仿真系统的静态结构模型,给出了类包结构和类之间的继承和组合关系,对空空导弹仿真系统进行了功能分解。采用状态图建立了空空导弹生命期模型,给出了空空导弹从创建到销毁过程中的不同状态之间的转换关系。采用序列图对空空导弹发射后的动态行为进行了建模。最后采用C++语言对所建立的模型进行了仿真实现。     

面向人机交互式软件的测试模型建模方法

从测试用例自动生成和自动执行的角度来探讨如何对人机交互软件建立测试模型。采用UML活动图模型来描述软件的人机交互过程。为了能够从活动图模型中生成一组确定的可执行的测试用例，给出了一组规则来细化基于活动图的测试模型所表达的语义，同时也对活动图做了一些扩展，以支持基于模型的测试用例自动生成及其自动执行。给出的建模方法，能够减少某些冗余的测试用例。     

面向航电系统容错特征的任务可靠性建模方法研究

基于AADL语言和GSPN模型面向DIMA系统开展任务可靠性建模研究,考虑系统的容错特征及其模式转移逻辑,建立AADL系统建模语言与GSPN模型的转化规则,进行系统可靠性定量分析,并以典型航电产品为例进行了方法应用和仿真。本文提出的方法和规则可实施性强,为存在重构或备份等容错技术的航电产品进行多模式转移 的系统任务可靠性建模提供参考。     

IDEF3和DSM在拆装过程建模中的应用

针对目前飞机维修培训中拆装流程复杂,系统模型繁多的问题,采用层次化分析法和UML状态机相结合的建模方法,建立飞机组件的拆装过程模型,运用IDEF3建立拆卸组件的状态、迁移和约束模型,规范拆卸零部件模型的统一性表达,提高建模的效率,利用DSM对飞机各个组件进行规划,实现拆卸目标组件的有序逻辑表述,从而建立高仿真度的训练模型。最后,以维修培训平台中飞机某组件的拆装为例,验证IDEF3和DSM在拆卸过程仿真方法的有效性。     

UML在图书馆管理系统建模中的应用

以图书馆管理系统项目的开发为背景，探讨了UML在图书馆管理系统中的应用问题，在对系统进行需求分析的基础上，采用CASE建模工具构建了系统的用户需求模型、对象结构模型、行为模型和实现模型。     

复杂系统可靠度综合计算平台的设计实现

鉴于复杂大系统可靠度综合计算面临诸多困难 ,分析了其复杂性特征 ,提出了一种一体化建模方法———复合逻辑树模型 (CompositeLogicTreeModel,简称CLTM)及其递归调度综合算法 ,并采用面向对象的思想和技术 ,设计实现了可视化的系统可靠度CLTM综合建模与计算软件平台。介绍了软件的总体框架及其功能 ,并通过实例阐明了相应的系统可靠度综合分析方法     

面向对象的产品集成建模关键实现技术研究

阐明了面向对象的产品集成建模及其主要相关概念，提出了一种面向ＣＩＭ、基于特征，以产品为核心的对象建模策略，给出了一种特征分类，特征表示方法及特征对象模型；讨论了规范化，具体化的实现方法。     

基于Stateflow的民机液压控制逻辑仿真与验证

控制逻辑是机载系统的重要组成之一,对其进行仿真与验证有利于在飞机设计早期发现问题,从而提高系统的安全性。应用Matlab/Stateflow软件平台对民机液压控制逻辑进行了建模,通过控制信号设置和状态转移图的建立仿真实现了液压系统状态监控,泵源附件控制以及指示告警功能。结合液压控制面板的人机交互设计对逻辑模型进行了动态虚拟演示,提高了系统仿真的逼真度,验证了控制逻辑的有效性和准确性。     

基于UML的业务流程建模及到BPEIAWS的转换

IBM、Microsoft和BEA于2002年联合提出业务流程执行语言（Business Process Execution Language for Web Services，BPEIAWS或BPEL，后更新为WSBPEL）是用于在不改变Web Service正常运行的情况下，将多个Web Service集成起来创造出新的业务模型和业务流程。但是开发BPEL应用是一项繁琐而枯燥的任务，业务流程建模和BPEL开发之间并没有建立直接的关系。在对UML和BPEL深入学习的基础上，提出通过构造型和键值方法扩展活动图，并采用扩展模型对业务流程建模，最后定义了UML模型到BPEL的映射。利用图形化方式开发BPEL业务流程具有开发速度快和易维护等优点。     

基于ANSYS机翼翼盒拓扑优化的网格划分和建模

网格划分是进行有限元分析建模的一个重要环节,总结了ANSYS建模中网格划分的主要步骤、方法的优缺点和注意事项;针对机翼翼盒的特殊结构,为实现装配要求,提出芯板和蒙皮相黏结的建模方法;分析了机翼受力的主要特点,对翼盒模型受力进行了合理简化。算例结果表明提出的芯板和蒙皮相黏结的扫掠网格建模方法能正确模拟实际结构连接情况,达到指定装配要求,为成功实现机翼翼盒的拓扑优化设计奠定了基础。     

基于RUP构建Web应用建模方法研究

Oracle9iAS是构建Web应用的理想平台，如何在Omcle9iAS平台上快速、有效地构建和部署Web应用有其内在的复杂性。通过对一个实际Web应用的建模过程，介绍了如何运用基于RUP应用UML，以及Oracle9i JDeveloper构建Web应用的方法。实践证明，在基于RUP以体系结构为中心的建模方法指导下，应用UML丰富的可视化建模元素，可以快速、准确地构建面向对象的Web应用模型。     

民用飞机生产体系需求定义过程研究

建立高效灵活的民用飞机生产体系是民机项目研制成功的重中之重,也是民机制造商面对变化多端的民机市场必须解决的关键所在。民机产品的复杂性与多样性,决定了民机生产体系的复杂性与多样性。借助系统工程方法探索以需求为牵引对生产体系开展正向设计的方法,在充分研究民机产品与生产体系关系的前提下,借鉴目前广泛用于飞机产品需求定义的思路,本文对生产体系需求定义过程进行了研究,提出了利益攸关方模型和基础功能模型,将风险分析引入生产需求定义过程以提升目标系统的安全性,描述了从利益攸关方需要到需求和从风险应对需要到需求这两类需求捕获方法,提供了生产体系需求的分类方式并阐述了分类的目的,给出的典型生产体系需求来源可作为相关实践的模板。     

系统工程在大型客机运行支持系统研制中的应用综述

将商用飞机系统思想应用于产品运行支持系统研制过程中，从利益攸关方需要定义、功能分析、需求定义和适航约束限制、系统架构定义、接口定义、设计综合、验证确认到运行评审，完整地分析了产品运行支持系统研制的全过程，并给出产品运行支持系统全生命周期过程的模型与定义。该方法可以有效地将大型客机产品运行顶层需求分解至产品研制和运行支持系统研制需求中，并且通过过程集成以及技术集成将运行支持系统研制与飞机研制相结合，从而保证大型客机在满足适航型号合格审定（TC）和航空器评审（AEG）要求的同时，能够满足客户实际运行安全性和经济性需求。     

军用教练机任务可靠性预计方法研究

 完成任务成功概率(MCSP)是军用飞机的一项重要的可靠性指标,在可靠性设计中必须反复进行预计。飞机整机的任务可靠性预计国内尚未有先例。本文从工程实践中总结了一套预计军用教练机MCSP及系统的任务可靠度的方法,比较全面地论述了任务可靠性框图的特点,并提出了一个计算军用教练机MCSP的实用数学模型。     

一种基于UML活动图模型的系统测试方法

UML活动图是基于UML开发的软件设计模型的重要组成部分,它描述了软件系统的动态行为,是软件系统测试过程中的一个重要的信息来源.提出了一个基于UML活动图的场景测试方法,给出了生成基本流和备选流的原则,对传统场景法进行了改进,避免了测试场景集数量爆炸.最后重点结合一个实例对该方法进行了论述.     

民用飞机飞行控制软件开发方法探讨

通过对民用飞机飞控软件的重要性及复杂性的分析,结合目前机载软件开发的现状,对软件开发过程中的一些问题进行了论述,特别是对民用飞机多通道飞控软件的开发方法进行了探讨,提出了应用UML建模语言对飞控需求进行描述以消除不同开发组对需求理解的歧义,采用中间件以提高程序的开发质量与效率的软件开发方法,为有关人员提供了参考.