航空机载软件适航性审定标准DO-178C与软件管理标准GJB5000A的比较分析

 航空机载软件适航性审定是验证软件安全性是否满足飞行要求的重要手段，审定依据的标准DO-178C是航空企业软件设计所必须遵循的规范要求，但在软件管理领域，还存在着重要的能力成熟度集成模型标准GJB5000A。比较分析了DO-178C与GJB5000A的异同，得出机载软件适航性审定在对软件开发过程的管理方面存在不足，提出需要加强企业在项目监控、过程测量与分析和风险管理方面的要求，并按照DO-178C标准的形式要求，给出了参考的改进方案。     

网络控制系统的连锁失效影响分析

文章针对网络化控制系统中一个小的软件失效,通过网络交互引起整个系统崩溃的连锁失效现象进行研究;通过借鉴拓扑网络的研究方法,建立了网络化控制系统的多层网络拓扑图构建方法;利用网络拓扑结构建立了网络化控制系统的相互依赖原则,并对其相互依赖性的特点进行了分析;最后利用网络拓扑结构分析了连锁失效的特点及其相互依赖表现。     

MBSE:系统工程的发展方向

 阐述了传统西方系统工程思想与钱学森系统工程思想的核心内容,引出基于模型的系统工程发展的外部条件与内在因素,包括模型驱动开发方法的推广与逐渐成熟、传统系统工程方法缺少对经验的积累和复用等。对比传统的系统工程方法,分析了基于模型的系统工程（MBSE）在系统形式化描述方面的优势及发展期望,提出应用MBSE指导信息物理系统的构建将是系统工程发展的新思路。     

多架构建模方法在飞机娱乐系统的实现及应用

 提出了一种实现基于模型的系统工程（MBSE）多架构建模方法。基于多架构建模方法的元元模型,构建了Capella中的特定域建模语言,采用Arcadia建模方法作为建模规范,同时基于架构驱动的方法建立了模型间的追溯关系,形成了一套完整的基于模型的系统工程驱动流程。通过飞机娱乐系统作为案例建立模型,比较Capella建模和多架构建模两种方法,给出了两种方法在效率及效能方面的比较,结果表明多架构建模方法具有建模的高效性和较强的扩展能力,为不同MBSE建模语言和建模方法的整合提供一种解决方案。     

基于模型系统工程中国应用调查

 基于模型系统工程（MBSE）是当前工业界比较关注的热点技术，被认为是新一代的系统工程实施方法。它采用基于模型的方法支持系统工程规范，实现设计风险的最小化及由于产品研发后期的设计变更所带来的设计风险。其中，模型可以被应用于形式化的方法，用于实现目标产品分析、设计、优化、验证及确认等研发活动进而实现跨领域、组织、产品的整合。尽管基于模型的设计和开发已经在个别领域被广泛应用，例如软件、机械、电子系统等，其在系统层的实现整合开发的目标目前还无法实现。本文通过针对MBSE的利益相关人的调查问卷分析当前中国工业界相关技术的应用状态。通过问卷，初步了解当下国内系统开发工程师对于MBSE的使用、优势、障碍、关注点及趋势的定位和判断。     

多架构建模方法在飞机娱乐系统的实现及应用

 提出了一种实现基于模型的系统工程（MBSE）多架构建模方法。基于多架构建模方法的元元模型，构建了Capella中的特定域建模语言，采用Arcadia建模方法作为建模规范，同时基于架构驱动的方法建立了模型间的追溯关系，形成了一套完整的基于模型的系统工程驱动流程。通过飞机娱乐系统作为案例建立模型，比较Capella建模和多架构建模两种方法，给出了两种方法在效率及效能方面的比较，结果表明多架构建模方法具有建模的高效性和较强的扩展能力，为不同MBSE建模语言和建模方法的整合提供一种解决方案。     

复杂工程体系适应性机制构建与评价方法

针对工程系统体系化、无人化与智能化发展趋势带来的复杂性的增加与难以预测的功能涌现，以及传统的以可靠性为中心的六性指标难以完全适用且缺少体系层面综合性评价指标的问题，借鉴自然界通过适应性应对不确定性的策略，在分析了自然有机系统适应性基本特征的基础上，提出一种包含微观、中观与宏观三个层次的基于规则的复杂工程系统适应性构建框架，并基于该框架对适应性指标的定性与定量评价方法进行了探讨。为指导复杂工程系统的设计与评价提供了方法参考。     

一种有限空间区域的机群调度优化算法

 基于有限空间区域调度优化问题,针对机群调度具体问题,先将机群保障流程整体抽象建模,再把物理模型转化为典型调度问题模型,设计启发式规则提出优化算法。算法分为上、下两层次,上层负责在有限区域内选择合适的停机位和起飞位,下层负责对单机各作业进行调度,下层把调度结果返回给上层算法,上层根据该调度结果自适应调节某架机的停机位和起飞位,重新调用下层算法以验证该调整是否能改善解的质量。以典型出动任务作为输入算例,求解出有限空间区域的机群调度方案结果。相比之前人工排布的方式,本方法在求解时间和结果优劣两方面更具优越性,该方法使得机群调度指挥方式向智能自动化过渡,对提升机群出动架次率有重要意义。     

航空机载软件适航性审定标准DO-178C与软件管理标准GJB5000A的比较分析

 航空机载软件适航性审定是验证软件安全性是否满足飞行要求的重要手段，审定依据的标准DO-178C是航空企业软件设计所必须遵循的规范要求，但在软件管理领域，还存在着重要的能力成熟度集成模型标准GJB5000A。比较分析了DO-178C与GJB5000A的异同，得出机载软件适航性审定在对软件开发过程的管理方面存在不足，提出需要加强企业在项目监控、过程测量与分析和风险管理方面的要求，并按照DO-178C标准的形式要求，给出了参考的改进方案。     

MBSE:系统工程的发展方向

 阐述了传统西方系统工程思想与钱学森系统工程思想的核心内容，引出基于模型的系统工程发展的外部条件与内在因素，包括模型驱动开发方法的推广与逐渐成熟、传统系统工程方法缺少对经验的积累和复用等。对比传统的系统工程方法，分析了基于模型的系统工程（MBSE）在系统形式化描述方面的优势及发展期望，提出应用MBSE指导信息物理系统的构建将是系统工程发展的新思路。