紧凑热交换器优化设计

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

一种采用数学形态学方法的姿态指示器填充算法

在现代飞机座舱电子飞行仪表系统中，全姿态指示器天地区域的实时填充是个非常费时的工作，但已有算法不管是在填充速度还是硬件可实现性上都存在缺陷。本文把适于硬件实现的数学形态学方法应用于姿态指示器的实时填充中，提出了一种新的区域填充算法，在此基础上引入种子概念，发挥数学形态学的并行运算能力，提高全姿态指示器填充速度。文中进行了单粒和多粒种子的生长试验，在多粒种子并行填充的情况下，填充效果和速度性能均优于传统算法。该算法填充速度快，能并行处理，适用于姿态指示器等实时填充的场合。     

飞越转弯衔接TF、CF航段保护区算法分析

飞越转弯是基于性能导航中非常重要的一种飞行方式,TF、CF航段是飞越转弯后可选的衔接方式。通过应用风螺旋精确计算方法,可以自动化地实现飞越转弯保护区衔接TF、CF航段的绘制,为飞行程序保护区的自动化处理提供详实的理论依据。     

死刑复核程序之功能及其完善

死刑复核程序是我国独有的一道针对死刑适用而设立的程序,从司法层面来说有着不容忽视的功能.本文以死刑复核程序的功能定位人手,立足于最高院统一收回死刑核准权,对死刑复核程序进行分析并针对死刑核准权收归最高院的决定对死刑复核程序的完善提出建议.     

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

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

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

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

苏霍伊“超级喷气”100年底交付

目前,苏霍伊民用飞机公司的"超级喷气"100的原型机已累计飞行710架次,飞行时间超过了1800小时,完成了全部适航认证程序的70%。该公司预计该机今年11月可取得俄罗斯适航证,并坚称将按承诺时间,即今年年底之前向亚美尼亚航空公司和俄罗斯国际航空公司交付首批"超级喷气"100飞机。     

基于Hough变换的指针式仪表自动判读方法

针对航空机载气压式高度表的自动精确判读,提出一种基于Hough变换的判读方法,为提高运算速度,采用中轴变换的方法将仪表指针图像处理为仅有一个像素宽,所有算法均用Visual C++6.0实现.实验证明,该方法的判读速度与精度均优于人眼.     

概率安全评定方法的计算程序及其工程应用

考虑四种主要随机因素：载荷（作用应力）、缺陷尺寸、断裂韧性、流变应力等参数的不确定性,针对较为常见的焊接结构型式,如平板、球罐、圆柱形容器等结构上可能存在的不同缺陷类型,基于双判据失效准则,编制了较为通用的含缺陷焊接结构概率安全评定程序。对国产ＣＦ－６２钢制容积为１５３１ｍ３的球罐可能存在的缺陷进行了概率安全评定,通过对评定参数的敏感性分析,指出了影响其可靠性的关键因素。