数字仿真支持软件包研究

仿真软件是面向问题,面向用户的专用软件。作为一个比较通用的仿真软件,应具有综合性、高效性、经济性、安全性和集成性等特点。本文针对实时数字仿真的特点,阐述了通用数字计算机的仿真支持软件的设计要求开发与展望。     

民机概念设计阶段性能分析程序快速开发方法

为了在概念设计阶段快速准确地分析民航客机性能,提出一种基于MATLAB/SIMULINK 联合仿真的性能分析程序快速开发方法。从数据库文件中读取已有的气动、重量、推进、飞行剖面等数据,在SIMULINK中分别求解已建立的各飞行阶段运动微分方程,将结果保存至原数据库。整个求解及前后处理过程由MATLAB脚本控制。以波音737-800型客机性能分析为例,验证了该方法的有效性。与经验公式法相比,本文算法更为准确,流程更加清晰,不需要编写大量代码,实现与维护更加简便,适用于民机概念设计阶段性能分析程序的快速开发。     

配对进近模式分析及研究进展

配对进近模式是在近距平行跑道上运行的,旨在提高仪表气象条件下的进场效率的一种高效进近模 式,该模式的完整流程在国内鲜有阐述。本文重点分析配对进近程序在近距平行跑道上运行时各阶段的流程, 以及配对进近程序的实施对机型、设备以及人员的具体要求;结合目前国内近距平行跑道的运行情况,国际上 对配对进近模式的研究和应用现状,指出我国引进配对进近模式的迫切性以及该模式今后的研究和发展趋势。     

冲压空气涡轮释放过程运动学分析

冲压空气涡轮作为飞机上的应急能源,能在出现紧急情况时提供电能,保证飞机上电传操控和电子设备的正常工作。本文以冲压空气涡轮为研究对象,基于机械运动原理对系统模型进行了简化,基于刚体假设,结合MATLAB软件从理论上研究结构在释放过程中的运动学问题。给出了冲压空气涡轮系统释放过程中各个关节空间位置的理论求解方法,得到了关节在空间中的运动轨迹和对应的速度时间曲线、加速度时间曲线,结果表明:冲压空气涡轮系统的释放过程在1 s以内,释放速度较快,且各关节在释放初始阶段速度、加速度响应较大。本文的工作可为后期不同冲压空气涡轮系统构型的初步设计提供理论依据,指导冲压空气涡轮释放的仿真计算和试验。     

基于混合粒子群算法的上升段交会弹道快速优化设计

基于梯度搜索的高效性和粒子群搜索的随机性,提出了一种混合粒子群算法,并应用该算法研究了运载火箭上升段交会弹道快速优化设计问题.以运载火箭与目标飞行器在交会时刻的距离最小为目标函数,设计了运载火箭飞行程序,建立了运载火箭上升段交会弹道优化模型,同时分别采用混合粒子群算法、遗传算法和粒子群算法进行求解.仿真结果表明:基于本文算法对运载火箭上升段交会弹道进行优化设计,平均交会位置误差为4.137m,较遗传算法减少了17.940m,平均优化耗时488.922s,较粒子群算法缩短了2342.125s.混合粒子群算法搜索速度较快,收敛精度较高,可用于运载火箭上升段交会弹道的快速优化设计.      

裂纹矩张量反演的传感器排布形式

裂纹矩张量反演方法利用声发射信号求解裂纹信息,是一种有效的裂纹扩展实时监测方法。在工程应用中,传感器接收到的声发射信号总包含一定比例的噪声。噪声信号会影响矩张量反演精度,甚至导致错误结果。研究通过优化传感器排布形式来降低噪声对矩张量反演精度的影响。基于矩张量初至波反演方法,分析了传感器位置选择的理论基础。进而利用人工合成声发射信号,定量研究了在不同传感器排布形式下,矩张量反演精度对噪声的敏感度。结果表明:正五边形传感器排布形式具有较好的精度表现,这种排布形式将5个传感器布置在一个圆环上,相邻传感器的传感器-圆心连线的夹角为72°,第6个传感器布置在圆心。此时矩张量求解方程的条件数较小,当声发射信号幅值因为噪声发生变化时,求解结果具有较高的精度和稳定性。研究针对矩张量反演中的传感器位置选择问题,为相关工程实践提供了建议和理论依据。      

人工智能技术在嵌入式代码审查中的应用与展望

代码审查是航天嵌入式软件开发中的重要环节.近年来,随着嵌入式软件开发需求的增多,传统以人工为主的代码审查方法逐渐不能满足快节奏的软件开发流程.为了减轻审查人员的压力,提升审查效率,研究者们逐渐将目光转向以深度学习技术为首人工智能领域,尝试寻求技术上得突破,以开发更智能的审查系统.本文对近年来人工智能技术在代码审查及程序理解中应用的相关工作进行了归纳总结.首先简要介绍了嵌入式代码审查工作目前面临的困境及解决方案.然后引出了代码审查中的一项重要活动,即程序理解.并详细阐述了目前基于人工智能的程序理解在代码审查中的应用情况.最后根据相关领域的发展情况,对未来代码审查的发展方向作了进一步的探讨.     

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...     

紧凑热交换器优化设计

对各种传热表面的板翅式紧凑热交换器进行了优化设计计算，建立了通用优化程序系统。此程序既适用于一般地面热交换器，也适用于飞机空调中的热交换器。与传统的设计计算相比较，优化设计的效果很好。热交换优化后，肋片的形状变得更加合理，芯体传热表面更加紧。通过各种肋片的计算得出，条状肋片为板翅式肋片中的最佳者。