正规模态逻辑S4的表推演系统TS4

讨论正规模态逻辑Ｓ４的自动定理证明理论，给出了一个关于正规模态逻辑Ｓ４的表推演（Ｔａｂｌｅａｕ）系统ＴＳ４，证明了该系统的可靠性与完备性。     

反坦克导弹舵机舵片抗烧蚀性能研究

针对反坦克导弹舵机舵片在２３００℃高温、２马赫高速高能粒子冲刷的服役条件下出现的烧蚀问题，分析了舵片失效的原因，提出了用化学热处理手段提高其抗烧蚀性能的途径．经推力台点火实测、理化分析表明：采用化学热处理方法是提高反坦克导弹舵机舵片抗烧蚀性的有效手段之一．     

偶子排圈方法及应用

本文在文（１）的基础上给出了阵Ｘ中偶子的排圈方法，由此法构成的偶子圈Ｃ，在优化设计方面有一定的应用，仿Ｃ，对文（１）中的阵Ｘ，亦有类似结果。     

从生产谷维素的黑脚中回收甲醇溶剂装置的探讨

通常每生产1kg谷维素原粉,消耗甲醇20～35kg。本文就谷维素生产过程中,排出的黑脚含有大量甲醇溶剂的实际问题,设计出回收甲醇溶剂的装置,以将达到减少溶剂消耗、降低生产成本、提高经济效益、防止环境污染等目的。     

冷弯薄壁卷边槽钢开孔腹板屈曲性能分析

本文用有限元方法分析了受压卷边槽钢开孔腹板的屈曲性能,给出了与孔径d、相邻板件宽度a有关的开孔板稳定系数K的计算公式。通过对所作21根腹板带孔的冷弯薄壁卷边槽钢短柱段试验结果的分析,讨论了开孔腹板的屈曲特点,提出了确定开孔腹板屈曲荷载的方法。理论计算与试验结果吻合较好。     

集成电路动态参数测试的误差分析

本文对集成电路动态参数测试中的各种误差进行了详细的分析,并提出了一种简单的误差补偿方法。按照本方法设计的测试仪具有较高的性能价格比。     

H级聚酯改性亚胺漆包线(QZY—2)与浸渍漆相容性试验研究(摘要)

采用模拟线圈试验比较了三种不同类型浸渍漆与耐高温漆包线(QZY～H)的相容性,发现线圈浸漆后虽然在初始阶段对线圈的漆包线绝缘强度有所改善,但长时间加热后(1000小时)所有被试浸渍漆均使绝缘系统的热寿命降低到比电磁线本身还低,而降低的幅度则有差别,由此可筛选所用浸渍漆与漆包线的相容性优劣,为电机绕组的绝缘结构设计提供参考依据。