FlowStar:国家数值风洞(NNW)工程非结构通用CFD软件

计算流体力学（CFD）仿真软件是流体相关的数学物理知识和工程实践经验的数字化表达，是工业数字化转型的重要助推。然而，大型工业CFD软件研发难度极高，需要同时兼顾功能多样、系统稳定、性能优越、交互友好等特征。依托国家数值风洞（NNW）工程，研发出一款通用流场模拟软件NNW-FlowStar，并在航空、航天等工业部门大力推广使用。软件基于非结构有限体积求解方法和大规模并行计算技术开发，结合现代化软件工程思维设计，具备先进的数值方法、高效的计算效率和友好的用户操作界面，可满足各类复杂外形的高效气动模拟。独特的重叠网格技术配合六自由度运动模块，可帮助实现武器分离、舱门定轴转动等各类气动-运动协同仿真需求。多类标模案例和复杂工程应用表明，FlowStar软件算法鲁棒、精度可靠，是一款高精度、高效率、高可靠性的通用CFD仿真软件。通过对软件的架构设计和功能应用进行介绍，使相关从业人员能更好地了解FlowStar软件，最终促进国产自主CFD软件生态的良性发展。     

基于NX软件的橡胶模具三维参数化设计与开发

介绍了基于NX软件的橡胶模具三维参数化建模技术与方法,根据模具的装配关系区分各类参数,在NX软件中建立三维参数化的零件模型,利用其Expression工具将参数与模型结合起来,建立实体模型与其尺寸参数之间的关系,实现模具尺寸随胶圈产品尺寸及收缩率的变化而变化,从而自动生成符合要求的模具模型及工程图,极大地提高了工作效率。     

NNW-HyFLOW高超声速流动模拟软件框架设计

NNW-HyFLOW在国家数值风洞（NNW）工程支持下，由风雷开源软件提供基础框架支撑，将建设成为基于结构/非结构混合网格，面向高超声速应用领域的国产自主工业CFD软件，具备高温气体热化学非平衡效应模拟及其相关气动力、气动热和气动物理特性计算分析等主要特色功能。本文从框架设计、数据结构、耦合方法、并行计算方法以及接口设计等方面对软件设计思想和框架特点进行了介绍，给出了求解器采用的理论模型、核心数值算法及其实现方法，结合HEG风洞试验、RAM-C飞行试验、Electre飞行试验以及航天飞机OV102飞行试验等典型算例开展了数值模拟。研究表明：NNW-HyFLOW具有底层代码复用、功能兼容性好、扩展能力强和接口灵活等优点，其当前测试版本已经具备了较好的高超声速非平衡流动数值模拟能力，在热化学非平衡效应及其影响的气动力特性、气动热环境和等离子体分布特性预测与评估方面，具有较高的数值计算精准度，初步满足了高超声速复杂飞行器高温非平衡流动数值模拟的需求。     

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

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

NNW-TopViz流场可视分析系统

流场可视化技术采用图形图像直观地表现CFD数值模拟的计算结果，使用户能够方便地对这些数据进行分析、比较和研究。然而，CFD数值模拟的流动复杂，其产生的流场数据规模巨大、数据类型复杂、特征提取困难，传统的串行可视化软件效率低、交互手段单一，难以满足数据分析的需求。国家数值风洞（NNW）工程研制了一套流场数据处理可视化软件系统（NNW-TopViz，简称TopViz），具有对流场数据处理与特征提取、几何图形绘制等可视化与交互功能。根据可视分析效率需求，TopViz实现了线程并行，在多核计算环境下有效提高了可视化计算和交互效率；针对流场特征提取困难、常规方法效率低的问题，TopViz实现了基于卷积神经网络的流场旋涡特征提取方法，提升了特征提取准确率和效率；为提高软件交互效率并提供便捷的交互方式和体验，基于头戴式显示设备和体感控制器构建沉浸式虚拟显示与交互平台，TopViz实现了手势和眼球凝视2种交互方法，提供沉浸式环境下多视图、多角度流场探测方式。     

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

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

基于ProCAST的镁合金惯组支架砂型铸造工艺研究

为实现镁合金惯组支架的高效率、高质量研制,使用ProCAST软件仿真优化ZM5镁合金惯组支架铸造工艺。通过对充型、凝固过程进行分析,发现铸件内部的3条薄壁筋板易出现浇不足、冷隔缺陷,圆弧面内侧厚壁筋条易出现缩孔、缩松等缺陷。经过优化设计,通过采取增加薄壁筋板厚度、调整内浇道位置、改变厚壁筋板上侧冒口结构等措施,较好地避免了上述铸造缺陷的产生,获得了合格的支架铸件。数值模拟仿真技术可应用于绝大多数航天构件的铸造过程分析,实现构件快速研制。     

基于工厂模式的OSLC数据集成接口设计与实现

复杂软件系统往往由不同地域的研发团队采用不同的开发工具来协同完成，研发过程中存在数据难以集成的问题.基于开放式生命周期协作服务(OSLC)规范来设计软件协同开发数据接口，有利于提高软件协同开发的效率.首次结合工厂模式和OSLC规范设计并实现数据集成接口，将不同工具的数据集成抽象成统一的公共接口，从而采用统一的数据接口和规范实现不同工具的数据集成，有利于优化软件系统体系结构.以符合OSLC规范的Bugzilla缺陷管理系统和Jenkins持续集成工具的集成为例，以面向航天软件系统研发的SunwiseAEM一体化研发管理平台为载体，基于工厂模式设计并实现了符合OSLC规范的数据集成系统，实现了不同工具间的数据集成，提供了一种通用的、可扩展的数据集成方式.     

光纤陀螺多通道并行自动测试工艺技术

针对光纤陀螺测试过程中，测试项目多、步骤复杂、测试时间长、人为记录数据容易出错等问题，在分析测试内容的基础上提出多通道并行测试方案，设计测试工装、电缆、电路等硬件系统，开发相应的测试软件。与单只光纤陀螺测试方法相比，能够有效地减少光纤陀螺的测试时间，提高测试效率。     

一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.