基于有限状态机的飞机供电系统控制器建模仿真

为验证飞机供电系统控制保护逻辑设计的合理性,建立了供电系统控制器类模型并进行了仿真。在对比控制器类不同建模方法的基础上,指出了基于有限状态机建立此类模型的方法适用于方案设计阶段对控制保护逻辑建模仿真,并以飞机发电机控制器为例进行了建模仿真。结果表明:模型符合设计要求,控制逻辑和时序逻辑正确,建模方法简洁快速。     

基于Stateflow的 无人机多模态控制转换逻辑设计

针对基于Simulink建立的无人机飞行管理系统存在逻辑复杂、全飞行状态航迹仿真建模繁琐等缺点,文章利用有限状态机建立无人机全状态、多种导航控制模态下的控制和逻辑切换流程,并结合飞行管理系统、飞行控制系统和无人机运动学模型建立无人机全状态仿真系统,通过仿真对飞行工作模式的切换效果进行了验证。     

混合动力系统建模及能量管理策略应用

针对混合动力系统能量管理问题,在Matlab/Simulink 平台下建立1.8 kW 质子膜燃料电池和锂电池部件级模型,基于部 件级模型建立燃料电池/ 蓄电池混合动力系统模型,采用有限状态机方法建立能量管理模块,制定功率需求计划进行仿真。结果表 明：质子膜燃料电池和锂电池部件模型符合实际特性,燃料电池/ 蓄电池混合动力系统模型工作正常,直流总线电压相对稳定,所 用拓扑结构具有保护储能部件的优点,系统实际功率分配符合能量管理策略。验证了燃料电池/ 蓄电池混合动力系统模型用于能 量管理策略的可行性。     

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

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

现代飞机交流电源过电压保护问题探讨

本文在分析现代飞机电源系统所使用的几种过电压保护装置工作原理的基础上,着重对其反延时特性和动作电压进行计算,并就决定和影响过电压保护性能指标的电路参数的调整进行了计算和论述。     

基于耐热量降低原理的配电系统微机反时限过流保护

 提出航空及民用配电系统耐热量降低原理,对国际电工委员会(IEC)标准规定的反时限特性曲线,研究用电设备过流保护跳闸条件、过流损坏的相对临界耐热量和电流热功率,设计一种快速高精度的反时限过流保护方法,并仿真分析其实现过程。统一定义10倍过流延时时间为时间整定值,使反时限函数具有统一明确的量化参数,并推导出相应的反时限特性方程,使参数更容易整定。该方法克服了传统反时限过流保护不能准确反映电流快速变化时真实故障状态的缺点。根据耐热量降低原理推导一种简单实用的反时限动态特性测试方法,静态和动态实验结果表明该方法快速性好和准确性高,为航空供电系统机载用电设备及民用设备反时限保护提供了实现方案。     

非确定-确定混合分群算法及其实现

在最小群变化(LeastClusterChanged,LCC)分群算法的基础上提出一种非确定-确定混合(Uncer tainy CertainyMixed,UC CM)分群算法。该算法利用非确定性分群的竞争特性,提高了网络的初始收敛速度,并保持了LCC算法的稳定性,同时利用优先级参数,提高了组网的灵活性。设计了UC CM算法的有限状态机模型,并基于模型对算法进行了模拟仿真,验证了算法的有效性。     

基于ATL引擎的UML到Simulink模型转换方法研究

针对UML的半形式化的表达方式缺乏精确的语义,无法验证软件设计过程中正确性的问题,展开UML设计模型到Simulink仿真模型转换方法研究。提出了一种UML状态机到Simulink／Stateflow的模型转换方法,建立UML状态机元模型、Simulink／Stateflow元模型以及状态机元模型到Stateflow元模型的映射规则。选取自动飞控软件作为案例,验证该方法的正确性。方法实现UML设计模型和Simulink仿真模型的自动转换,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为嵌入式软件开发提供了技术支持。     

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

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

基于逻辑回归的APU性能状况评估

针对飞机辅助动力装置(Auxiliary Power Unit,简称APU)性能评估研究中单参数评估不全面的问题,提出了基于逻辑回归模型的方法,融合多参数来对飞机APU性能状况进行全面评估.首先,对APU参数数据来源进行分析,选择基于实时报文数据的APU性能评估方法,并结合APU的工作原理以及实际工作情况,挑选出可以反...