基于一种树型方法的自动推理

根据表方法建立了一种树型证明方法,在机器实现方面比表方法优越,而且还可以证明这一方法是可靠的和完备的.以PROLOG语言为背景,实现了由此方法而建立的命题逻辑中命题演绎的自动推理.     

畸变波形的复原──方波脉冲函数修正法

在动态参数测量中，测量系统的工作频带不够宽，将引起整个波形的畸变。文章在分析常见动态误差修正法存在的问题中，指出由单个实测波形用反算法求输入波形存在的困难，提出了一种新的修正方法，即用方波脉冲函数方法进行正向曲线拟合，较好地解决了单个实测波形复原的问题。     

ST251型汽油机结构与性能的分析、评论

本文分析了西德Sachs Stamo 251型二冲程汽油机的结构特点、主要性能指标的测试结果,提出了改善其性能的途径。     

汽油机用滑片式扫气泵的设计研究

本文介绍作者设计研制的用于汽油机的滑片式扫气泵,说明其工作原理、理论计算、设计方案、试验研究及改进措施,为设计研究汽油机增压器和二冲程汽油机扫气泵提供必要的技术资料。     

关于热机效率η_B关系式导出的一种方法

本文根据状态函数的性质,从热力学第一定律和卡诺循环出发给出了一种关于热机效率关系式推导的新方法。     

液体火箭发动机辐射冷却推力室壁温响应的数值分析及应用

利用自编的 LRETC—I 计算机程序,对一台490牛顿辐射冷却推力室的传热特点作了数值分析,内容包括室壁热流密度分布,壁温响应以及近壁层余氧系数和室壁材料物性参数的影响。计算与著名的 R-4D 发动机实测值作了比较,结果甚好。本文分析和计算机程序可用于液体火箭辐射冷却推力室的设计。     

柴油机消声器结构设计与参数优选的研究

本文结合6135柴油机排气消声器的研究,阐述了消声器的设计原则、结构参数的优选,以及综合效果的检验,并介绍了一些6135柴油机高效节能消声器的设计思想。     

双线法瞬态温度测量的研究

利用细电阻丝组成的电阻温度计测量柴油机压缩过程的瞬态温度,反应速度慢和机械强度差,很易被缸内气流冲断。作者的实践证明,使用8μm以下的钨丝在300r/min下进行测量,敏感元件很快就损坏;而采用两根直径大于109m的钨丝同时进行测量的方法不仅能克服上述缺点,而且经简单计算修正,还能获得较高的测量精度。因此,本文提出的双线法很适合在柴油机冷启动时,对缸内瞬态温度进行测量。     

用波动法仿真程序改进汽油机进排气系统的研究

本文介绍了用于微型计算机的内燃机波动法仿真程序ENGWA,以及前处理程序SDIP。利用ENGWA程序对492Q汽油机换气过程进行了仿真计算,结合实验研究,分析了该机进排气系统存在的问题,研究开发了新型进排气岐管。发动机台架实验表明,改进后的492Q汽油机性能较原机有全面改善。     

中小型柴油机活塞环——缸套摩擦副摩擦面温度的测定

本文介绍了应用氪化技术测定中小型柴油机活塞环—缸套摩擦副摩擦面在实际工况下的最高工作温度。试验表明:中小型柴油机(1100A、495Q)在工作过程中活塞环—缸套摩擦副摩擦面的最高温度(不是微凸体的闪点温度)接近220℃。