虚构解方法程序验证

对求解偏微分方程问题的程序的严格验证,一直以来由于其精确解有限,较难进行,针对这种情况,本文给出了一种新的程序验证方法,虚构解方法,该方法旨在解决大型科学计算程序如何较严格地进行程序验证这一问题;该方法通过构造虚构解,修改原控制方程,然后通过对计算结果的分析处理达到对程序的精确验证;文中给出了一组通用的虚构解的选取办法,解决了虚构解方法验证过程中确定虚构解的问题;同时还给出了运用该方法对非结构二维Euler计算程序进行验证的具体例子,网格收敛分析结果表明该方法是一种有效的程序验证方法,并且具有较好的通用性。     

运载火箭三冗余飞行控制软件的数字仿真设计

提出了一种采用三冗余技术保证运载火箭飞行控制软件可靠性的设计方案,选择合适的冗余模式建立了三余度飞控软件的数字仿真平台,并给出了实现余度策略、同步算法等关键技术工程的软件流程。测试结果表明,该方案设计合理,不仅较好地完成了飞控计算机的余度管理任务,而且有效地保证了系统的可靠性与容错能力。     

3D雷达对3D雷达的引导提示性能分析

分析了不同位置关系3D雷达对3D雷达的成功引导概率及引导误差,讨论了成功引导概率随参数特征变化的性质,仿真分析目标到提示雷达不同斜距时目标在被提示雷达中的角度分布及引导误差变化。研究对雷达组网中3D雷达对3D雷达引导提示系统设计有一定的参考价值。     

美国的空间对抗装备技术(下)

3.机载动能反卫星系统1976年美国空军开始发展由F-15战斗机携带的空射型直接上升式动能反卫星武器。在由F-15发射后,寻的拦截器与发动机分离,通过长波红外探测器     

20CrMnSiA发射平台后梁焊接应力与变形控制

为了控制焊接变形,采用严格控制焊接应力和方向、焊接顺序、焊接位置、刚性固定及局部自由收缩焊接等方法,对材料为20CrMnSiA的多功能发射平台后梁型架结构进行施焊,焊接完成后达到了后梁设计要求,保证了产品质量。     

基于自适应滑模的变质心再入飞行器控制律设计

建立了有纵向单滑块的变质心再入飞行器系统控制模型。对该有输入非线性的快时变多体系统,考虑系统存在参数不确定等因素的影响并将完整的活动质量体动力学环节置入姿态控制,基于滑模控制理论设计了俯仰姿态跟踪鲁棒控制系统。在参数不确定性条件下对飞行控制系统进行了仿真。结果表明：设计的控制律可实现对指令角度和指令位置有效、快速、稳定...     

火星车低气压无风热环境模拟试验技术

为模拟火星车工作时所处大温差、低气压环境,文章以自主研制的调温热沉系统和压力控制系统为依托,实现试验容器热沉系统温度在-135~27℃间任意快速调节,均匀性优于±5℃;试验容器内气体压力控制值与目标压力值之差在±10 Pa之内。在国内首次完成无风环境下的火星车温控模拟舱验证试验,为火星车热分析模型修正以及后续火星车有风热环境试验提供了参考。     

经济型月球探测器精确定点软着陆制导算法

针对未来经济型月球探测器精确定点软着陆问题,考虑发动机特性及终端状态约束,对主减速段制导算法进行了研究。首先考虑到未来月球通信网络的建立和资源的利用,提出了一种探测器在环月极轨道运行时的月面着陆点全覆盖环月调相策略。然后在北东地坐标系下建立软着陆主减速段的质心动力学模型,依据动力学模型将探测器的运动分为纵向平面运动和横向运动并分别设计在线闭环制导律。纵向平面运动采用改进显式制导算法,并基于有限推力思想和主减速段误差传播特性设计了满足终端航向位置约束的点火角修正策略;对于横向运动控制,首先基于ZEM/ZEV最优反馈制导律给出横向制导指令,然后采用PWPF将连续形式的制导指令调制为脉冲形式。仿真结果表明了该制导律能够满足所有终端状态约束,具有燃耗次优性、自主性、实时性和一定的鲁棒性,同时易于工程实现。     

高焓电弧风洞试验热化学非平衡流场数值模拟

针对高焓电弧风洞内部流动的热化学非平衡效应及气体组分和振动能量冻结效应导致的试验数据外推困难问题,基于高焓风洞喷管/试验段/试验模型一体化数值模拟的思路,通过数值求解三维热化学非平衡Navier-Stokes方程,开展了FD-15高焓电弧风洞典型运行状态下流场的数值模拟,与典型试验状态的气动热数据进行了对比验证,研究了试验数据外推飞行条件的方法及有效性问题,分析了提高驻室总压对试验数据外推的影响。研究表明:（1）风洞试验段来流离解度高,热化学非平衡效应及其冻结现象严重;（2）热流校核试验测量数据位于一体化数值模拟的完全催化热流和非催化热流之间,分布合理,验证了计算方法和程序的正确性;（3）试验模型安放位置对模型表面压力和热流存在影响,模型与喷管出口的距离越大,模型表面压力和热流越低;（4）当驻室总压较低时,通过双尺度模拟准则（模拟飞行条件总焓和双尺度参数ρ_∞L）外推热流失效,使用部分模拟准则（模拟飞行条件总焓和驻点压力）外推热流也会出现较大差异,在非催化条件下这一现象更加明显;（5）当驻室总压较高时,使用双尺度模拟准则或部分模拟准则外推飞行条件,产生的热流差异明显减小。     

混合系统的形式化验证

结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求.