基于模型检查的民用飞机飞控系统安全性评估

在以大型民机为代表的安全关键系统研制中,系统复杂度的提升极大地降低了依赖设计人员经验的传统安全性评估手段的效率与有效性,并带来了反复迭代困难等问题,基于模型的安全性评估方法(MBSA)能够显著降低研制过程的分析复杂度,提高安全性评估的工作效率。民机系统安全性评估指南ARP 4761A中也增加了MBSA相关的安全性评估工作。阐述了利用有限状态机与时态逻辑构建形式化安全性模型,开展安全性评估的基本原理,详细的分析过程及定义安全属性的方法,并以某民用飞机为对象,建立飞控系统副翼控制功能的SMV形式化模型,定义了副翼控制功能的形式化安全性需求,给出了基于形式模型的安全性属性验证评估案例,证明了基于形式化方法的安全性评估在民机系统安全性工作中的可行性。     

基于ARM的航空发动机参数记录仪的设计与实现

针对航空发动机数字电子调节器的参数监控存在采样率低、监控的参数因转换环节多导致信息失真、不能监控内部电源状态等问题,研制数字电子调节器专用参数记录仪。针对数字电子调节器的特点,提出了参数记录仪的总体设计方案以及软硬件的具体设计,试验结果表明,实时通过RS232总线记录和存储发动机参数数据是可行的,该系统具有较高的可靠性和安全性。     

飞机结构数字孪生关键建模仿真技术

飞机结构安全性设计思想经历了从静强度设计、安全寿命设计、损伤容限与耐久性设计到单机追踪的演变,未来有进一步向结构数字孪生的方向发展的趋势。飞机结构数字孪生是数字线程驱动的,多学科、多物理、多尺度、多保真度、多概率的模拟仿真系统,采用在线传感器监测、离线地面检查、飞机运行历史等多源数据,反映并预测对应飞机结构实体在全寿命周期内的行为和性能,有望革新现有的飞机结构使用和维护模式。面向疲劳寿命管理,提出飞机结构数字孪生的5项关键建模仿真技术,分别是载荷和损伤的数据获取技术、多尺度建模和力学分析技术、含裂纹复杂结构的精确高效仿真技术、基于降阶的数字孪生高效建模技术和考虑不确定性与多源异构数据的剩余寿命评估技术,并详细探讨这五项关键技术的研究现状与发展方向,为飞机结构数字孪生的系统研究与工程应用提供参考。     

机载系统微控制器审查研究

随着民用航空产业的发展,以及电子控制技术的广泛应用,越来越多的机载系统被开发应用于微控制器上.由于微控制器的高度集成化,其确定性难以准确预估,可能造成的危害也难以预测,使得适航审查形式日益严峻.本文通过对微控制器配置相关问题进行研究,针对由微控制器配置问题导致的机载系统失效问题提出限制措施,以缓解产品失效影响并提升产品...     

近圆参考轨道卫星编队的安全性

针对近圆参考轨道卫星,利用相对轨道要素对编队构形进行了统一描述,提出了编队卫星在垂直于轨道平面方向相对运动最小距离的计算公式,分析了J2摄动对卫星编队安全性的影响。仿真结果表明环绕星在轨道平面内和垂直于轨道平面内的相位差对编队安全性的影响较大,给出的提高编队卫星安全性的措施可为卫星编队的实际工程应用提供参考。     

月球轨道交会对接任务辅助预报系统设计与验证

针对月球轨道自主交会对接制导、导航与控制(GNC)系统任务特点,设计一种基于人机协同框架的月球轨道自主交会对接过程辅助预报系统.该系统包括利用机器学习方法构建交会对接安全性规则知识库和安全性辅助预报两个部分.首先,在地面半物理仿真试验环境中,对导航监视相机拍摄的图像进行特征提取和匹配,利用图像特征与交会对接偏差组成训练样本对,用决策树方法构建安全性规则知识库.然后,利用安全性规则知识库,根据交会对接飞行过程中监视相机拍摄的当前状态的图像预报交会对接后续过程的安全性,给出成功的概率.通过地面半物理实验表明,该系统能够提升飞行控制过程中的智能化水平,有效协助地面飞行控制人员进行数据监视与任务决策.     

基于本体的软件安全性需求建模和验证

由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据"七步法"建立了本体模型,利用本体模型中的概念和关联来形式化地描述规则以支持验证;同时基于以上研究内容设计和实现了软件安全性需求形式化建模和验证的工具原型,并对使用工具实施验证和使用人工评审实施验证进行了对比分析实验.实验结果表明形式化工具原型在验证时间和验证次数上都大大优于人工验证方法,同时工具原型具有良好的易用性.     

考虑安全性的BWB民机飞行控制系统设计

翼身融合（BWB）飞行器满足未来民用航空经济、绿色、低碳的运行需求,是重要的发展方向。针对BWB飞行器的飞行控制系统,对其安全性与系统设计进行了研究。给出基于系统理论的事故模型及过程,与相应的安全性分析,重点对BWB飞行器飞行控制系统内的复杂逻辑关系、不安全控制动作、危害致因进行分析;进行切换系统设计,给出低可靠先进系统和高可靠备用系统的设计过程,并分析切换逻辑;基于设计进行仿真验证。研究结果表明：系统理论过程分析方法能够支持BWB飞行器飞行控制系统复杂逻辑关系的安全隐患分析,同时所设计的飞行控制系统具有一定的安全性与实用性。     

基于B/S的高校实验室管理系统设计与实现

实验室管理系统是基于B/S的系统开发结构在实验室管理系统中得以应用。计算机实验教学是组成整个计算机课程教学体系中的重要部分,实验教学的成果直接决定着学生掌握知识的程度和动手能力。对于在校学生来讲最好的实习机会就是上机实验课的学习,最大限度地提高上机实验课的教学效果是解决这一问题的核心。本课题研究利用目前流行的开发工具合计数开发基于B/S的实验室管理系统,有效地管理实验室教学,利用学生有限的上机时间,充分发挥实验教学的优势,使学生取得最大成果。方便、快捷地达成了日常实验室管理的需求。以北华航天工业学院信息技术中心实验室管理系统为例阐述了设计的基本思路,介绍了该系统的系统结构和特点,并简单介绍了一些时新技术在系统中的应用。