航天型号软件工程化十年回顾与展望

从上世纪90年代初开展软件工程化工作以来,至今已有十多年的时间。本文介绍了航天系统对型号软件质量问题的认识过程,概述了国外在解决软件危机方面的经验,阐述了保障航天型号软件质量的技术措施,并对未来将采取的措施进行了初步的展望。     

基于最小熵约束的可解释卷积神经网络

导弹武器系统上的光学探测算法要求具备高可靠性,卷积神经网络属于"黑盒"模型,本文提出一种基于最小熵约束的可解释卷积神经网络,为卷积神经网络模型在导弹武器系统上的应用创造条件.该方法通过传统方法(连通域检测、边缘检测等)找到图片中存在可解释特征,通过模型对可解释特征进行评分,聚类,并通过这些特征对原模型训练提供约束,在最终预测的同时,通过评分对模型给出解释.经实验验证,该方法能够在尽量保证模型分类性能的前提下,极大提高模型的可解释性.     

一种改进的模糊度子集选取方法及其性能评估

模糊度固定(ambiguity resolution, AR)能在一定程度上加快精密单点定位收敛并提高定位精度。但是模糊度固定率和计算效率会随模糊度数量的增加而降低,因此部分模糊度固定(partial ambiguity resolution, PAR)备受关注。PAR技术的关键在于模糊度子集选取,提出了一种改进的模糊度子集选取法,将高度角、信噪比以及模糊度方差联合作为模糊度子集选取的指标。实验结果表明：静态模式下,相比于全模糊度固定(full ambiguity resolution, FAR)和基于高度角的PAR方法,该方法的固定率分别提升9.65%和2.56%,首次固定时间分别缩短6.86%和3.43%,收敛时间分别缩短15.57%和5.13%,当三种方法固定率大致相同时,定位精度分别提升4.74%和5.39%;动态模式下,该方法的固定率分别提升22.75%和0.92%,首次固定时间分别缩短12.44%和0.44%,当三种方法固定率大致相同时,定位精度分别提升3.50%和4.89%。总体而言,无论是在静态还是动态模式下,该方法相比于FAR和基于高度角的PAR方法,性能均有所提升。     

氢仲-正转化释冷方案及冷量空间利用潜能分析

调研了氢仲-正转化释冷能力及研究现状,介绍了绝热、连续、等温三种转化方式的释冷潜能与工作特征。针对氢空间长期安全贮存,按照转化器布置位置与转化方式,提出四种冷量空间利用方案。研究发现：氢绝热转化在150 K时释冷量最大,为391 kJ/kg;等温转化在110 K时释冷量最大,为394 kJ/kg;连续转化在出口温度大于200 K后,释冷量稳定在491 kJ/kg。所提四种方案中,由于空间排气温度偏低,造成氢仲-正转化潜能无法充分释放,对贮箱绝热性能提升有限。相较于一次绝热转化,在蒸气冷却盘管内连续转化可较充分利用转化冷能,在氢的空间贮存应优先考虑。     

水空两栖太阳能四旋翼气动特性研究

太阳能四旋翼无人机结合了太阳能飞行器和四旋翼飞行器的优点,已受到广泛关注,但由于太阳能板的存在,旋翼的安装高度和轴距会对整机的气动效能产生影响。通过基于粒子法格子玻尔兹曼技术的XFlowCFD软件,对太阳能四旋翼无人机的整机流场进行非定常数值模拟,并分析该飞行器的气动特性。结果表明:旋翼高度对整机升力的影响较小,旋翼的安装轴距越大整机的升力越大,其主要原因是轴距较小时,旋翼产生的下洗流冲击在太阳能板上,对整机产生气动干扰。     

Change rules of a stratospheric airship's envelope shape during ascent process

Stratospheric airship is a special near-space air vehicle, and has more advantages than other air vehicles, such as long endurance, strong survival ability, excellent resolution, low cost, and so on, which make it an ideal stratospheric platform. It is of great significance to choose a rea-sonable and effective way to launch a stratospheric airship to the space for both academic research and engineering applications. In this paper, the non-forming launch way is studied and the method of differential pressure gradient is used to study the change rules of the airship's envelope shape dur-ing the ascent process. Numerical simulation results show that the head of the envelope will main-tain the inflatable shape and the envelope under the zero-pressure level will be compressed into a wide range of wrinkles during the ascent process. The airship's envelope will expand with the ascent of the airship and the position of the zero-pressure level will move downward constantly. At the same time, the envelope will gradually form a certain degree of stiffness under the action of the inner and external differential pressure. The experimental results agree well with the analytical results, which shows that the non-forming launch way is effective and reliable, and the analytical method has exactness and feasibility.     

柔性决策

提出了柔性决策的思想,并对决策科学的发展进行了回顾。为解决柔性决策问题,提出了极大－极小方法、人机交互方法和集包含方法。     

用激光多卜勒风速仪研究畸变模拟器的三元速度场

作者用同点双测法 ,藉一台 5 5 X二维激光多卜勒风速仪 ( LDA)对多种畸变模拟器的图 1　同点双侧法试验布置图三元速度场进行了研究。试验布置见图 1。图 1 a为侧视图 ,1 b为上视图。当三束激光从侧面射入玻璃窗 ,可以测出轴向分速 Vx及切向分速 Vs。当激光束从进口沿轴向射入 ,则可测出径向分速Vr 及 Vs。畸变模拟器可绕轴转动 ,激光束交点藉位移机构可沿径向移动 ,再使用各种长度的直管 ,就可获得任意截面的三元速度场。前透镜焦距应选大些 ,以防影响模型的进口流场。图 2　速度矢量图二、典型结果与讨论　　图 2例示 90°扇形圆环畸…     

航空产品重要度分类的模糊评判方法

提出一种航空产品重要度分类的模糊评判方法。建立了进行航空产品重要度分类的模糊综合评判模型。该模型描述了重要度分类中的模糊因素,避免了重要度分类逻辑决断法的缺陷和不足。最后给出了该方法的一个应用实例。     

控制软件可靠性设计和评估方法

介绍软件可靠性的定义 ,探讨软件失效的机理并阐述设计一个可靠控制软件的原则 ,提出一种基于三角形模糊数算术运算的软件可靠性评估方法。