基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

航天ATS快速测试体系结构研究

快速发射是未来空间信息作战和导弹武器发展面临的新课题,快速测试是快速发射的重要环节。航天ATS快速测试需要遵循一定的体系结构而发展。以国际通用测试系统体系结构为背景,结合我国航天测试的需求,提出了航天ATS快速测试体系结构,分析了航天ATS快速测试的测试流程并行化、关键参数连续监测化和测试数据处理快速化等目标,以及所涉及到的图形化程序开发、仪器可互换等关键技术。结论有利于促进航天ATS快速测试技术的进步,并为其发展提供参考。     

数值仿真技术在热真空试验中的应用

由于热真空试验中温度测点有限,且关键部位布置困难,不能反映试验过程部件整体和关键部位的温度结果,导致试验有效性和产品安全性难以判断。通过数值仿真技术对试验过程进行模拟,得到所有部件详细温度场,验证试验有效性与产品安全性;发现影响产品温度分布的因素,研究提高产品可靠性措施。通过对某天线热真空试验过程模拟,得到天线详细温度场,并发现产品散热板安装＂不紧密＂缺陷,是影响天线温度均匀性的＂关键点＂。     

核热推进地面试验技术研究

核热推进具有比冲高、推力大等特点,在载人深空探测和星际货运任务上具有广阔应用前景。核热推进技术的研发需要进行大量地面试验。首先回顾了美国与俄罗斯的核热推进地面试验技术的发展,对地面试验技术进行分类总结。然后基于一种小型核火箭方案,研究了燃料元件非核试验、燃料元件辐照考验试验和带核整机地面试验等关键地面试验技术,并提出了初步试验方案。最后对我国核热推进地面试验的发展提出了一些建议。     

空间在轨氢氧内燃机技术研究

用于空间在轨运行的氢氧内燃机是低温末级火箭流体集成系统（IVF）中的关键组件。分析了国内外空间在轨氢氧内燃机的发展现状,通过Chemkin燃烧软件仿真分析获得了氢氧内燃机设计关键参数。开展了氢氧内燃机地面点火验证试验。结果表明：氢氧内燃机具有较好的点火启动性能,通过降低混合比和压缩比能够将氢氧内燃机缸内的温度和压力控制在合理范围内。氢氧内燃机在稳定的转速下工作,所消耗的氢气、氧气质量流量小于低温贮箱的平均蒸发量。     

TEST OF BOARD LEVEL BOUNDARY SCAN INTEGRITY

ＩＥＥＥ１１４９．１边界扫描为数字电路板级测试提供了所需的对内部节点的控制和观察能力。但是,边界扫描测试结构本身的完整性必须首先加以检测,以保证其他功能测试和诊断结果的正确性。本文论述了板级边界扫描测试存取口的故障模型和测试原理,并针对全边界扫描印制板提出了一种故障覆盖率高、测试时间短的测试算法。     

计算大型实对称特征问题的 Lanczos-QR 算法

为了计算大型实对称特征值问题Ｋｘ＝λＭｘ的少数低阶特征值对,本文给出Ｌａｎｃｚｏｓ－ＱＲ迭代方法。首先,给定初始迭代向量ｖ１,作ｍ步Ｌａｎｃｚｏｓ分解：ＫＶｍ＝ＭＶｍＴｍ＋ｈｍｅｍＴ。取Ｔｍ的ｄ个最大特征值为移位量,对Ｔｍ进行ｄ步带原点位移的ＱＲ分解。然后,修改初始迭代向量ｖ１。迭代地重新开始这一过程,迫使初始迭代向量ｖ１进入需求的特征子空间,从而使残量‖Ｋｘ－θＭｘ‖→０。数值例子表明,该方法收敛性强,且稳定、有效。     

薄壁梁系的可靠性优化设计

以结构系统的可靠度作为薄壁梁系结构的优化控制参数。用改进的分枝眼界法判从主要失效模式。用PNET法计算结构系统的可靠度。导出了两种梁系结构可靠度的灵敏度分析表达式。提出最佳矢量型算法的选代公式,有效地求解了Ⅰ型截面梁系结构在系统可靠度约束下的最小重量设计问题;且在其中通过设计变量连接来满足薄壁梁的稳定性要求。算例的结果说明了方法的有效性。     

基于VXI总线的高速风洞脉动压力测试与分析系统

VXI总线代表着当今自动测试领域的发展方向。笔者介绍了气动中心高速所组建的基于VXI总线的高速风洞脉动压力测试系统,文中给出了测试仪器的计量指标,并简要说明了测量与分析软件的开发过程。通过风洞试验的实际检验,表明该套系统性能先进,稳定可靠,具有广泛的应用前景     

试车台氧化剂系统增压能力影响因素分析

试车台进行改造后,管路和容器参数都发生了变化,试车过程中需在要求时间内完成发动机氧化剂入口压力从前稳段升压至过载段。首次试车过程中由于贮箱增压计算出现误差,导致氧化剂升压过程中增压阀门多次动作。为避免升压过程中增压阀门的多次动作,获得试车台的实际增压能力,对其影响因素及试车数据进行了分析,修正了调整计算过程。试验结果表明:调整计算正确,改进措施有效,满足了试验任务要求。