【摘 要】
：
摒弃传统的“基于代码的开发流程”研发方式,将MBSE引入了航空动力控制系统进排气门组件,通过模型的方式完成需求分析、软件设计和验证等活动,不再使用自然语言或手工编码,而是一个相互依赖、反复迭代和递归的过程,引入“基于模型的开发流程”代替传统的“基于代码的开发流程”研发流程,将软件研发工作的重点从编码阶段提升至设计阶段,具有知识点表达无二义性、沟通交流效率高、系统设计一体化、系统内容可重用性高以及知识获取再利用率高等特点,极大地改善了软件的可靠性,具有较强的实用价值。
【基金项目】
：
航空科学基金项目资助(MJ-2017-D-28)。
论文部分内容阅读
摒弃传统的“基于代码的开发流程”研发方式,将MBSE引入了航空动力控制系统进排气门组件,通过模型的方式完成需求分析、软件设计和验证等活动,不再使用自然语言或手工编码,而是一个相互依赖、反复迭代和递归的过程,引入“基于模型的开发流程”代替传统的“基于代码的开发流程”研发流程,将软件研发工作的重点从编码阶段提升至设计阶段,具有知识点表达无二义性、沟通交流效率高、系统设计一体化、系统内容可重用性高以及知识获取再利用率高等特点,极大地改善了软件的可靠性,具有较强的实用价值。
其他文献
为了提高民机运行安全水平,基于MSET算法建立了民机QAR数据安全预警模型。估计民机系统运行参数的未来发展状态,并运用到SMS的核心要素——安全风险管理中。利用某架A320民机1年内的空调制冷子系统QAR数据进行案例验证。结果表明:基于MSET的QAR数据安全预警模型可以实现风险事件的提前发现。基于安全预警结果,提出了影响安全的人-机-环关键要素,并在安全保证和安全促进中实施各类排查与培训等,最终用于提高民机运行安全水平。
“限塑令”再度升级,新版“禁塑令”规定从2021年开始部分地区场所禁止使用不可降解塑料购物袋、一次性餐具和塑料吸管等,将使用绿色环保的产品进行替代,可生物降解塑料成为
针对RTCA DO-254中对于简单电子硬件的符合性表明方式定义不明确的问题,为了解决机载电子设备适航过程中简单电子硬件如何表明对DO-254符合性的问题,通过分析FAA Order 8110.105A中的关于简单电子硬件的符合性验证考虑,重点讨论简单电子硬件的判定方式,符合性验证要求,并结合工作经验探讨具体符合性验证工作。
变化检测是检测不同时间同一地点拍摄的图像间所发生的变化。传统变化检测由于不同时刻下场景的光照强度不同、拍摄图像时相机位姿不同等因素引起的噪声与图像变化混在一起,难以确定场景中的变化。为了解决以上问题,提出一种基于循环卷积的变化检测模型,较传统的变化检测更加准确地提取出场景中的语义变化。该模型基于VGG16网络,使用全卷积神经网络(Fully Convolution Network, FCN)作为迭
在现代大型客机设计中,随着发动机尺寸越来越大,距离机翼越来越近,飞机发动机动力干扰问题是必须考虑和解决的核心问题之一。发动机动力干扰不仅影响机翼的压力分布特性,还影响力矩特性,甚至影响飞机的焦点和稳定性。通过在发动机进气口设置质量流量比,排气口和外涵道设置总温比、总压比,建立动力特性模型来等效模拟机体/发动机干扰流场,对大型客机有无动力两种模型进行基于高阶加权紧致非线性格式(WCNS)的数值模拟,分析动力发动机对全机俯仰力矩特性及气动焦点的影响。发动机喷流对机翼和平尾产生干扰,导致全机俯仰力矩变化,高阶格
随着军队信息化程度的不断提高,军用软件已被广泛应用到武器装备的各个方面,其占装备价值的比重也日益增加。为体现军用软件价值,统一军用软件计价方法,目前已经明确科研阶段和订购阶段军用软件均采用功能点方法计价。通过对目前比较常用的5种的软件功能点方法,分别从用户角度对5种方法的应用领域、方法简易性等方面进行对比,最后选取使用更为便捷、经济的NESMA功能点方法进行重点阐述,并结合军用软件实例依据相关规范要求,介绍了NESMA功能点方法在军用软件功能点估算中的具体应用。
叶片的中弧线分配对叶片整体的气动性能有很大影响,有利于降低总压损失,提高扩压能力。利用数值模拟仿真的技术手段,对串列静子叶片在0.8马赫数条件下的叶型中弧线进行研究。仿真结果表明改变中弧线分配后,前排叶片吸力面上的马赫数峰值的位置大小发生变化,改变了串列叶片正体的气动性能;负攻角加载提高或增强叶片流通能力,负攻角特性提升,正攻角特性下降;应将最终串列静子叶片的中弧线分配区间调整为前排叶片的弯角均匀变化,有利于改善串列叶片整体性能。
针对综合化飞行器管理系统架构特点及高可靠需求,设计实现了一种基于1394B总线和ARINC 659总线的模块化、综合化的高可靠作动器控制计算机。详细介绍了计算机组成架构、总线接口单元、伺服控制单元等硬件模块设计,分析说明了系统时钟同步、多总线架构通信调度和提高可靠性的容错设计方法。作动器控制计算机可用于机上特定区域的多个伺服作动子系统的高可靠数据采集、智能控制与综合监控管理,具备安全性、可靠性高,系统升级扩展灵活与综合验证简单等优点。
ARINC 818协议基于光纤通道为面向航电系统的视频图像传输及应用提供了定义和支持。分析了ARINC 818的协议特点及图像传输架构,提出了基于ARINC 818的图像传输接口设计方案及数据处理架构实现方法,对图像传输和延时进行了分析,并构建了数字视频仿真系统进行了传输验证,为综合航电中基于ARINC 818的视频图像传输设计奠定了基础。
针对SAR图像中存在的相干斑噪声影响目标识别性能的问题,设计了基于卷积自编码网络的相干斑噪声抑制模型,利用多层卷积自动编码器挖掘SAR图像潜在的空间特征,并使用混合正则约束优化网络训练过程提高网络泛化性能。通过仿真数据和真实数据两部分实验,用峰值信噪比、结构相似性以及等效视数作为算法性能评价指标,并与SAR-BM3D、PPB、ID-CNN进行对比,结果表明,网络能够有效地抑制SAR图像中的相干斑噪声,且对不同水平的噪声有较强的鲁棒性。