软件安全性设计常见问题的思考

代码实现过程中存在访问权限以及使用环境变量、加载库、printf/wprinft函数、缓冲区作写操作的C函数、string类中data函数、vfork函数等的安全性问题,对这些无法通过测试手段发现的问题提出相应的解决措施。     

试验

JASSM导弹通过飞行试验完成软件验证 洛克希德。马丁公司研制的联合防区外空对地导弹（JASSM）最近在新墨西哥州的白沙导弹靶场成功完成产品验证测试（PVT）。     

AADL在航天器控制系统设计中的应用研究

以某型号航天器为例提出了一种使用体系结构分析和设计语言(AADL,architecture analysis & design language)分层次建模的方法,建立控制系统软件及软件与硬件之间的交互模型.采用状态自动机方式描述串口通信协议,以便分析模型.     

宽带高性能SMA匹配负载的研制CSCD

本文介绍一款高性能SMA匹配负载的设计、制作及测试。匹配负载制作难点在于高性能微波电阻选型、过渡段匹配设计及电阻段外导体渐进线设计。本文应用CST仿真软件对产品结构进行整体仿真,优化得到合理结构。仿真中应用TDR模块"看见"结构找到不匹配点。产品测试达到设计目标:DC^18GHz,驻波比小于1.07。测试结果验证设计方法有效性。     

数字化技术在叶轮研制中的应用

本文通过分析归纳建立了一种叶轮数字化建模方法，并利用该方法成功实现了某型叶轮三维模型创建，同时也根据该数字化模型实现了模具数字化设计及其数控加工。     

液体火箭发动机涡轮泵低温空化实验研究进展

涡轮泵是泵压式低温液体火箭发动机的核心部件，素有发动机的心脏之称，其性能提升受空化条件限制。由于低温介质的空化热力学效应，低温空化过程相较于常温水空化更为复杂。首先介绍了低温涡轮泵空化实验系统的理论基础和设计要点，梳理了表征空化热效应的相似准则发展现状。接着详细介绍了目前国际上具有代表性的低温液体火箭发动机涡轮泵空化流动实验系统和相应的代表性研究成果，结果表明以热敏介质替代低温工质开展实验是当前技术发展趋势，但需要控制好不同介质之间的热效应相似换算关系；以先进光学手段和无线数据传输技术为代表的先进测试手段已逐渐被引入空化流场分析中，是值得进一步发展的研究方向。最后对空化热效应理论建模工作进展进行了总结归纳，发现当前的相关工作主要集中在稳态空化性能，针对非稳态特性的理论建模工作进展缓慢，亟待进一步的深入研究。本文可为进一步提升中国泵压式低温液体火箭发动机性能和可靠性提供有意义的参考。     

一种新的基于可解释性置信规则库的飞轮健康状态评估模型

飞轮系统的稳定运行对于航天器在轨安全影响重大，因而对飞轮系统进行健康状态评估至关重要。在进行飞轮系统健康状态评估建模时，不仅要求模型能够处理各种不确定性以保障评估结果的准确性，同时要求其具有透明合理的评估过程与可解释、可追溯的评估结果。因此，在深入研究置信规则库（BRB）建模方法的基础上，构建了一种新的基于可解释性建模的置信规则库（BRB-e）飞轮系统健康状态评估模型。首先，结合飞轮系统特征对模型的可解释性建模准则进行定义；在此基础上，设计了BRB-e评估模型的推理过程；然后，基于鲸鱼优化算法（WOA），提出了一种具有可解释性约束的BRBBRB-ee模型参数优化方法；最后，通过对某飞轮系统中轴承组件的评估案例研究，验证了模型在飞轮系统健康状态评估中的有效性。对比研究表明，BRBBRB-ee模型在评估结果准确性和评估过程可解释性方面具有一定的优势。     

LENS风洞试验返回器模型气动热特性模拟

国家数值风洞高超声速流动模拟软件HyFLOW的研制对打破国外同类软件的技术壁垒具有重要意义。与国外DPLR软件进行了对比研究，同时系统介绍了HyFLOW软件求解器的数值方法、物理化学模型以及壁面催化特性计算模型等主要方法，采用典型算例对有限催化模型进行了数值验证，最后基于LENS风洞试验146 mm返回器标模外形开展了高超声速气动热特性数值模拟。研究结果表明，HyFLOW软件在高超声速热化学非平衡流动模拟与评估方面的气动力计算精度高，与国外同类软件DPLR相当，同时其壁面催化条件下的气动热计算精度可靠，可信度高。