基于任务单元模型的研发流程验证

为了解决研发流程设计与需求的不一致性问题,提出了一种基于任务单元模型和线性时序逻辑的研发流程验证方法.方法应用任务单元模型分解研发流程,采用Promela语言描述模型,线性时序逻辑表示抽象的研发过程规则,通过模型检测器Spin完成验证工作,从而实现了对流程正确性的判断.     

基于模型的系统工程设计方法在TCAS中的应用

针对传统空中交通防撞系统(TCAS)设计中基于文档描述的不足,采用基于模型的系统工程方法进行TCAS系统建模。在建模过程中使用SysML语言,通过多个视图来描述和分析系统需求,并通过模型的执行尽早验证需求。整个设计过程都是基于需求的,是可测试、可追溯的,是由经验研发向需求研发的转变。     

基于MBSE的副翼及其操纵系统研发技术及应用

飞机的设计研发是一项涉及多学科领域、多目标、多约束的复杂系统工程过程,系统耦合紧密、参与人员众多、设计信息庞杂,以文档为中心的需求管理等传统研发方法突显出一定的困难,亟需探索新的飞机设计研发方法。以副翼及其操纵系统为研究对象,对基于模型的系统工程(Model Based System Engineering,以下简称MBSE)方法进行了探索研究:采用达索MBSE方法论-MMS(Modeling Methodology for Systems,以下简称MMS),从使命、服务、功能和组件不同视角对副翼及其操纵系统研发的各个方面进行解析,进而完整定义系统;利用达索3D Experience平台,通过RFLP系统工程架构,进行了副翼及其操纵系统的需求开发、功能分析及逻辑架构设计,完成了需求、功能、逻辑架构、系统仿真、物理设计等模型的关联追溯,实现了以达索MBSE方法论为核心的研发技术的有效应用。     

基于模型的民用飞机集成设计研究

在研究基于模型的飞机集成研发方法发展历程的基础上,结合民机开发集成的主流设计方法与新技术,研究了基于模型驱动系统工程的设计技术。深入分析基于模型驱动系统工程的相关基础理论和实际应用,进而推动集成研发技术的进一步发展,对于逐步实现飞机集成研发过程的完整性和系统性具有重要意义。     

需求工程方法在机载系统研发中的应用研究

通过对需求工程的理论方法进行阐述,探讨机载系统研发过程中开展需求工程方法理论的应用研究。结合MBSE系统工程V模型流程说明航空产品研发各阶段与需求工程如何对应;结合ARP 4754A阐述复杂航空系统正向研发流程中需求工程如何实现。重点剖析机载系统研发过程中如何应用需求工程的技术流程,即需求开发,进行需求捕获—需求分析—需求分配—需求验证,来提升研发效率和产品质量,并辅以空气管理系统研发为示例演示系统研制过程中的需求开发过程。     

基于MBSE思想的航空发动机控制系统设计方法

在航空发动机控制系统设计开发过程中,存在需求理解偏差、需求实现描述不清晰、设计过程缺失等问题,严重影响产 品后续使用。为了构建完整、规范、准确的系统设计要求,完整描述系统设计过程,引入基于模型的系统工程思想。通过需求分析 将用户需求条目化,并对每条需求进行确认;通过功能分解,将复杂系统模块化;利用功能描述将需求量化、图形化,明确各项功能 的具体行为;在要求制定过程中引入数据流管理,将整个系统设计过程有机结合在一起。结果表明：采用基于模型的系统工程思 想构建满足产品研发的控制系统正向设计方法,实现了顶层需求的100%覆盖和追溯,可将模糊的需求通过建模方式具体化、显形 化。通过N1测量对设计方法进行了验证,表明该方法可用于工程设计。     

基于需求的航空发动机研制过程分析

根据系统工程的V形生命周期模型,以产品分解结构为基础,构建基于需求的航空发动机研制过程模型。根据需求的分解、分配关系,构建基于需求的航空发动机层级结构,明确各层级技术状态项所承接需求的来源,保证驱动设计活动的需求完整性。以需求为驱动因素阐明各技术状态项的研发过程,为技术状态项的具体研制工作提供理论指导。该方法在产品符合性、成本、进度等方面,有力保障了航空发动机产品的成功研制。     

基于系统工程 V模型的航空发动机正向设计方法

针对国内航空发动机研制面临需求分析和需求验证薄弱、正向研发能力欠缺的情况,在民用飞机及系统开发指南要求的基础上,构建了基于系统工程 V模型的航空发动机正向设计流程,从需求定义、需求分析、需求确认、功能分析、功能危害性分析、逻辑架构设计、物理架构设计与权衡、设计实现、系统安全性评估及产品集成与验证等方面开展航空发动机的正向设计。将建立的基于系统工程 V模型的航空发动机正向设计流程应用到某型航空发动机的设计中,利用 DOORS软件进行航空发动机设计的需求定义,采用故障树分析(Fault Tree Analysis,FTA)法进行系统安全性评估,有效提高了航空发动机正向设计的能力和水平。对于提升航空发动机研制质量,交付满足用户需求的航空发动机产品具有重要意义。     

武器装备研发项目中评估体系研究

武器装备研发项目中评估对项目管理具有重要意义。在对武器装备研发项目中评估的基本要素进行分析的基础上,依据指标体系设计的原则,建立了武器装备研发项目中评估指标体系。提出了基于三维结构的中评估模型,并对单项评估和综合评估模型可采用的方法进行了分析。最后,对其辅助评估决策支持系统结构进行了初步设计。     

MBSE在航空飞行控制系统的应用研究

现代飞机系统的复杂性不断增长,传统的开发方法在管理和维护方面变得越来越具有挑战性。首先,对航空飞控系统研发过程在当前系统工程实践方面进行了评估,阐述了传统开发方式的不足和基于模型的系统工程（MBSE）的核心原则和优点,以及在实现中常用的工具和方法;然后,展示了MBSE如何在飞行控制系统研发时使用模型来支持复杂系统的规范、设计、分析、验证和确认的过程;最后,结合先进的MBSE工具和方法的发展,MBSE结合敏捷的开发前景,以及提高MBSE实践的互操作性和标准化的需求对未来的研究方向进行了展望。本文研究为利用MBSE方法论和工具来改进飞行控制系统的设计、开发和性能感兴趣的航空工业专业人员、系统工程师提供资源和解决思路。     

Test System Impact on System Availability

The specifications are presented for an imperfect automatic test system (ATS) (test frequency distribution, reliability, false alarm rate, nondetection rate) in order to account for the availability, readiness, mean time between unscheduled repairs (MTBUR), reliability, and maintenance of the system subject to monitoring and test. A time-dependent Markov model is presented, and applied in three cases, with examples of numerical results provided for preventive maintenance decisions, design of an automatic test system, buffer testing in computers, and data communications.     

用于航空电子系统升级的二进制翻译系统

针对目前航电系统硬件平台的升级而导致的原有的经过验证的软件资源不可用的问题,提出了一个用于航空电子系统升级的二进制翻译系统(BTASUP).该系统将解释和动态二进制翻译结合起来,在PPC上实现了对1750A二进制可执行代码的透明执行.采用了快速模拟、直接替换段等技术提高了系统的运行效率及适应性.开发的验证工具VERBT验证了系统的功能及效率.验证结果表明系统能对原有的环境进行正确的仿真(/模拟),代码的运行速率满足原系统的要求.     

试论管理标准体系和体系表

阐述了管理标准体系的构成,以及管理标准体系表层次之间的相互关系和作用。     

K-Band Tracking System for Domestic Satellite Communication System

System design and operational results of a tracking system for a K-band Earth station antenna with a diameter of 11.5 m are discussed. Monopulse tracking technique using higher order waveguide modes is utilized. An investigation was conducted to clarify the rainfall effect and the effect of oscillator phase noise on the tracking receiver. An autotrack system is to be manufactured on the basis of these studies. Experiments were performed using the medium capacity communications satellite. No cross coupling was seen in the pull-in patterns. Sufficiently good results were obtained in tracking accuracy: less than 0.005° (peak value) under normal conditions, and less than 0.01° under an average wind velocity of more than 20 m/s.     

益模制造执行系统

益模制造执行系统(eMan)是针对模具制造业的生产特点和生产过程,为模具企业量身定做的信息化管理系统.益模制造执行系统以模具生产过程的管理为核心,考虑了企业信息化的整体需求,对模具企业实行从接单到交货全流程信息化管理.     

CPMIS系统与i-MAN系统集成

简要介绍了i-MAN系统和CPMIS系统的各自功能和作用;论述两大系统的数据集成的内容,以及系统集成的框架和采用的模式。     

航空推进系统性能寻优控制的系统模型

航空推进系统性能寻优控制是基于模型的控制技术,各部分采用的系统模型是其关键技术之一。根据性能寻优控制的原理,分析了系统模型选择的原则。详细描述了2部分核心模型：估计模型和性能优化模型。根据寻优控制实时计算的要求,给出了状态变量模型和稳态变量模型的线性化表达式,并介绍了工程实现时模型的使用方法。     

开放式系统标准与惯导系统设计

介绍了开放式系统的概念、技术标准及其在国外的应用,分析了惯导系统研制对开放式系统标准的需求,阐述了开放式系统标准在我国惯导系统研制中应用的必要性以及可能面临的问题。     

质量体系文件信息管理系统设计

在分析航空质量体系文件管理需求的基础上 ,利用VisualFoxPro 5 .0开发了质量体系文件信息管理系统。该系统可以辅助用户有效的管理质量体系文件目录、体系表 ,并对质量体系文件的分发情况进行动态管理。