面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

基于生成对抗网络的空间卫星低照度图像增强

针对空间低照度成像条件下卫星光学图像信息受损严重的问题，提出了一种基于生成对抗网络的空间卫星低照度图像增强方法，提高了图像的平均亮度及对比度，恢复图像细节信息，为图像识别等图像处理技术提供更高质量的数据信息。首先，设计了一种密集连接的生成器，加强了各特征提取阶段中的信息传递以及多层特征的融合，减少了特征信息的损耗，更好地提取正常照度图像及低照度图像中相似的语义信息；并结合EnlightenGAN的思想，采用了全局 局部辨别器结构，使图像增强效果更自然。然后，在少量样本的条件下，利用非配对样本对该方法进行训练，并通过对输入图像进行随机缩放及翻转等数据增强方法提高模型训练效果，进而提升低照度图像增强性能。最后，对所提出的空间卫星低照度图像增强方法进行了仿真验证。试验结果表明，在空间低照度条件下，该方法在NIQE指标上较LIME及EnlightenGAN分别降低了1.034和0.699，保留了更多的图像细节，具有更高的整体和局部亮度、更高的对比度以及更自然的增强效果。     

机身框与长桁、蒙皮的连接形式研究

通过对飞机机身框与长桁、蒙皮连接的不同结构形式进行对比分析,从传力、疲劳耐久性、工艺性和结构重量等方面进行比较,得出各种连接形式的优缺点,为今后机身设计提供一定的依据和参考。     

基于析取关系直接变换的冲突解脱方法

针对自由飞行条件下的飞行冲突解脱问题,提出了一种基于析取关系直接变换的联立求解方法(DDTSA)。首先在不引入额外辅助变量的情况下,将基于析取关系的安全边界条件变换成易于联立求解的约束条件,使问题的变量和方程个数大幅度减少,从而降低问题的求解难度。然后为保证求解的精度和稳定性,采用基于Radau配置点的拉格朗日插值多项式对微分代数方程组进行离散化处理,继而求解离散化得到的非线性规划问题。最后分别对2架、3架以及4架飞机的冲突解脱问题进行仿真,仿真结果表明与相关文献中的方法相比,该方法具有更高的计算效率并且能够得到更优的结果。     

某型飞机后边条焊接盒段优化研究

某型飞机后边条焊接盒段是用于安装平尾的重要受力构件,由材料为30CrMnSiA的板弯件、机加件及加强筋焊接组合而成。由于盒段焊缝数量多、零件壁厚薄,故在组合焊接时容易出现焊接变形、变形后校形困难等问题,使焊缝质量难以保证。本文对焊接盒段结构方案进行了优化研究,在最终选定的结构优化方案中,其盒段壁板为整体机加成型,大量采用机械连接,焊缝数量少,焊接形式简单,缩短了盒段的焊接周期,改善了焊接盒段生产的工艺性,满足了该型号飞机的批产要求。     

齿轮槽头型新型标准件安装工艺与试验研究

航空制造领域大量采用了如螺栓连接的标准件连接,随着新型飞机性能的提高,长寿命、高疲劳强度和高振动环境等指标对标准件的使用提出了更高的要求.本文通过开展齿轮槽头型新型标准件安装工艺与试验研究,一方面确定了该型标准件安装力矩等关键工艺参数及对复合材料的适用性,为其装机和使用提供理论依据及数据支持;另一方面,也对开展新型标准件安装工艺与试验的研究方法进行了有益的探索,对逐步形成一套完善的试验方法规范具有很好的指导作用.     

优势关系集值决策系统中变精度粗集模型

将变精度的思想引入优势值关系的集值决策系统中,构建了一种基于优势值关系的变精度集值决策系统粗糙集模型,并讨论了该模型的性质及阈值β的变化对模型的影响。新模型可以处理存在偏序关系的不确定或不完备信息系统,并具有一定的容错能力。另一方面,通过合理设置参数β可使新模型的分类效果更加符合实际情况以及人在数据处理过程中的直观感受。实例分析进一步验证了相关结论的正确性。