80x86汇编语言安全性编码规则检查工具的设计与实现

从安全性角度提出80x86汇编语言程序的编码规则.通过分析航天型号典型案例.依据型号软件的应用特点,从代码结构、指令使用、中断控制、算法设计等角度对安全性编码规则进行分类,提出具体要求.设计了对应规则的检查方法和检查工具,采用静态分析方法,从软件源代码中提取安全性规则的相关元素,判断代码与规则的符合性,实现规则自动检查.     

军用装备大规模可编程逻辑器件设计计价方法

大规模逻辑编程器件已在军用装备中得到了广泛应用,但目前为止国家还没有相关文件和标准明确其价格评估.长此以往对军用装备的质量必将产生一些不利影响.同时,缺乏科学成本预测工具和价格审核手段的现状,对装备经费资源也会造成很大浪费.根据实际工作经验,分析了影响大规模逻辑编程器件设计价格的主要因素和注意事项,提出了一套大规模逻辑编程的新评估计价方法.     

A Structured Mesh Euler and Interactive Boundary Layer Method for Wing/Body Configurations

To compute transonic flows over a complex 3D aircraft configuration, a viscous/inviscid interaction method is developed by coupling an integral boundary-layer solver with an Eluer solver in a ＂semi-inverse＂ manner. For the turbulent boundary-layer, an integral method using Green＇s lag equation is coupled with the outer inviscid flow. A blowing velocity approach is used to simulate the displacement effects of the boundary layer. To predict the aerodynamic drag, it is developed a numerical technique called far-field method that is based on the momentum theorem, in which the total drag is divided into three component drags, i.e. viscous, induced and wave-formed. Consequently, it can provide more physical insight into the drag sources than the often-used surface integral technique. The drag decomposition can be achieved with help of the second law of thermodynamics, which implies that entropy increases and total pressure decreases only across shock wave along a streamline of an inviscid non-isentropic flow. This method has been applied to the DLR-F4 wing/body configuration showing results in good agreement with the wind tunnel data.     

增升状态下的全机位流数值模拟

研究了势流理论下的全机增升装置复杂外形气动力数值计算方法,该方法以低阶面元法为基础,具有计算量小、速度快的优点.复杂流动的粘性效应主要通过附面层粘性修正技术加以体现.采用该方法对某增升装置翼身组合体外形压力分布特性进行计算,并和风洞实验数据相比较,验证了方法的正确性和实用性.在此基础上对某型飞机真实复杂外形的压力分布特性进行了计算,为复杂外形飞行器增升装置的初步设计、方案选型与评估提供了非常理想的工程技术手段.     

针栓式喷注单元膜束撞击雾化混合过程数值模拟

为了全面认识针栓式喷注器喷雾场结构，基于自适应网格加密技术和分三相计算的PLIC VOF（Piecewise Linear Interface Calculation Volume of Fluid）方法对针栓式喷注单元膜束撞击雾化混合过程进行了仿真分析，通过对两路推进剂分别进行界面追踪，获得了膜束撞击雾化混合过程的详细结构特征，与高速摄影试验结果定性定量对比均吻合较好，验证了数值方法的准确性。以此为基础对膜束撞击的喷雾场结构、撞击变形过程、流场涡结构、雾化破碎典型特征及破碎后的雾化混合分布特征进行了识别分析，结果表明：膜束撞击形成了液束未穿透液膜和液束穿透液膜2种不同的喷雾扇结构。膜束撞击形成的喷雾扇呈"Ω"形，膜束同时发生弯曲变形和横截面变形。另外，膜束撞击同时受到正压和剪切应力作用，导致了一系列复杂涡流现象，使得相互作用增强，雾化混合均增强，这也是膜束撞击喷注构型优于膜膜撞击的本质原因。最后，还发现膜束撞击喷雾场液滴分布呈现分区结构特征，分别是液束控制主导的上雾化区、液膜控制主导的下雾化区及夹在中间的混合区，实际中应兼顾雾化特性和混合特性，选取中等动量比膜束撞击，这可为针栓式喷注器的理论研究和工程设计提供重要参考。     

热流限制下的最优气动力辅助变轨

以变轨能量消耗最小为优化目标，应用极大值原理研究了飞行过程受热流限制和升力系统约束下的气动力辅助共面变轨问题，飞行过程成分第一自由弧段，约束弧段，第二自由弧段三个部分，讨论了升力系数的最优表达式，分析了飞行过程中两种约束的相互作用，给出了约束弧起始位置的角点条件和终端的横截条件下，对不同的初值选取方法讨论了三种计算策略，并给出了数值算例。     

双元统一推进系统混合比调节技术研究

对空间液体推进系统的混合比调节技术进行了研究.根据闭环补气调节混合比原理,建立了补气调节混合比试验模型,研究了系统的流量特性.根据某同步轨道卫星平台推进系统的性能要求,给出了相应混合比的调节范围和对应的补气量,为混合比调节技术的实际工程应用提供了理论和试验依据.     

固体火箭的鲁棒自适应耗尽关机制导方法研究

针对固体火箭的耗尽关机制导问题,提出了一种基于闭路制导和零射程线相结合的自适应耗尽关机制导方法,该方法首先利用闭路制导技术,使待增速度快速收敛;随后基于零射程线理论,设计了对关机时间变化不敏感的零射程线能量耗散管理导引律和末速精调导引律,提高了耗尽关机方法在推力、秒耗、关机时间随机摄动条件下的鲁棒性和自适应性以及制导精度,从而拓展了耗尽关机显示制导方法的工程化应用.     

基于BMU/LVDS总线的闭环总检查测试技术研究

为了更好地满足控制系统总检查测试的有效性和覆盖性要求,本文提出了火箭控制系统总检查的闭环测试方案。同时,新一代运载火箭所采用的总线监控单元BMU和箭地高速串行总线LVDS等新技术使方案的实现成为了可能。本文先介绍和论述了方案提出的必要性、原理以及实现的技术支持;接着提出了几点闭环实现的设计思路;最后在某型号火箭控制系统综合实验的基础上搭建了闭环测试平台,对惯组的有效性以及迭代制导算法的适应性进行了系统级的验证,实验表明方案能够很好地满足地面测试的有效性和覆盖性。