液体火箭发动机基于模型的故障检测算法

针对泵压式供应系统液体火箭发动机的故障监控问题,建立了用于发动机故障检测的非线性动态数学模型,设计并实现了发动机系统的广义卡尔曼滤波器。利用新息序列的统计特性,进行了发动机故障新息检测算法的仿真研究,讨论了降低滤波器计算费用的方法以及置信度、自由度对检测算法性能的影响。本文的工作为进一步研究发动机故障在线实时检测算法奠定了重要基础。     

赋双权二部图中最大权最小权完美匹配

本文涉及的是在赋双权的二部图中求关于第一个权最大的限制下、第二个权最小的完美匹配的网络模型,给出了这一模型的有效算法,并用此算法解决了企业的优化组合分工中的挖潜问题。     

利用二坐标R站实现运动辐射源的三维跟踪

本文提出了一种基于目标斜距两次测量值之差和方位角信息的定位跟踪算法,详细分析了该技术的定位原理和可行性。在辐射源匀速直线运动的条件下,如果能够不测俯仰角而只用方位角和距离差实现对目标的定位与跟踪,将不仅可以简化接收站的设备,而且还能够增强其独立性能,因此本文讨论的算法对于单站被动定位跟踪系统的实用性具有重要意义。本文通过典型目标航迹的计算机仿真,对算法的性能做了评估．     

PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

内可逆卡诺热泵的生态学优化性能

本文导出了内可逆卡诺热泵的供热量、供热率和供热系数的耗散量,以反映热泵供热率π与其耗散φ_cT_Lσ,即热泵熵产率σ、低温热源温度T_L和可逆供热系数φ_c乘积之间最佳折衷的“生态学”性能E=π-φ_cT_Lσ为目标,基于牛顿和线性唯象传热定律,研究内可逆卡诺热泵的优化问题,得到最大E性能时的供热系数界限及相应的供热率和熵产率。     

求解跨音速流动时物面边界条件的处理方法

用时间相关法求解跨音速流动时,合理而有效地处理物面边界条件是十分重要的。本文提出几种物面边界条件的处理方法,并对几个例子进行了数值试验,对其结果进行了讨论。     

矩形腔内相变材料上下加热时接触熔化的研究

本文对矩形腔内相变材料的紧密接触熔化过程进行了分析。矩形容器的上下壁面保持各自的温度对相变材料加热,且相变材料可以有不同的高宽比。应用Nusselt液体边界层理论,本文求得了传热过程的熔化规律与液体边界层厚度,并讨论了熔化温差与高宽比对熔化过程的影响,最后给出结论。     

提高潜艇核安全性的措施

本文根据对潜艇处于水下状态发生辐射事故时的辐射影响的分析,得出当燃料元件包壳破损率和蒸汽发生器传热管泄漏量即使在允许限值内,主辅机舱空气放射性浓度有可能超过允许水平,而直接影响艇员的健康,并针对这一点提出了相应的改进措施。     

表格驱动程序设计方法

本文提出了一种具有广泛应用前景的程序设计方法——表格驱动(Formdriven)程序设计方法(以下简称表格驱动法)。文中首先描述了表格驱动法的基本思想、解的结构;分析了这种方法的特点与适用性;剖析了基于表格驱动法的办公自动化软件ALL-IN-1的设计思想,并指出表格驱动法特别适合于设计软件开发工具。     

移动电站整机性能自动测试仪的研制

本文研究将分布式双处理器控制技术应用于移动电站性能测试中,构成移动电站整机性能参数自动测试仪,该测试仪比传统测试方法提高效率8～10倍,且操作简便。