自动定理证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法——多余文字参数法．利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题．本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性、语义归结的完备性、线性归结的完备性以及输入归结和单位归结的等价性问题．事实表明这些原本都是十分棘手的证明问题，由于使用了这一方法而变为十分简单而自然的工作，而且这些不同的完备性问题其证明步骤和过程也几乎是一样的     

无塔增压供水装置水压控制电路的改进

简述了一种无塔增压自动供水装置的水压控制电路在实际运行中暴露出的缺陷，详细地介绍了一种具体可行的改进方案。     

无定向线形锁的一种计算方法

引言在加密图根控制中,由于地形条件的限制,经常采用无定向线形锁作为图根加密形式.本文提出无定向线形锁的一种算法,其解算方法是:首先进行三角形闭合差分配,按照常规方法推算出各边的假边长,再解算辅助三角形直接推算出已知边的假边长,进而求得线形锁     

基于锁相环的直流电机变结构控制

本文在采用锁相环的基础上引入变结构控制以构成直流电机的锁相变结构控制系统，这样，不但保证了系统的静态特性及控制精度，并增强了系统的鲁棒性．文中给出了不同系统的仿真比较结果．     

斜面摩擦与自锁新探

按牛顿第一定律，物体的匀速直线运动状态与静止状态，均是不受外力或所受外力的全力均为零的平衡状态。根据这一观点，可以把物体斜面摩擦的匀速运动的平衡状态转变为静平衡状态。对解斜面摩擦和自锁问题，就显得更直观方便和易于理解。     

关于PI证明的若干注记

PI证明是归结证明的一种重要类型,但是在目前所见到的文献中,对PI推理的定义还有一些不妥之处,没有确保PI推理中的每一步归结都是PI归结.文中给出了新的PI推理的定义,弥补了这一缺陷,并对PI归结的完备性定理证明所需的引理给出了两种简化证明.     

警惕防护栏变致命"枷锁"

【案例回放】2003年6月11日,一场大火将内江市临江小区南环路一幢建筑的楼道封住,被困的两名小伙子趴在防护铁栏边拼命呼救,群众想尽一切办法也没把防护栏砸开,数百人只好眼睁睁地看着两人被烧死。2004年12月下旬,成都红照壁某居民家发生火灾,消防七中队赶到时火势并不大,但因火灾阻断居民出门逃生,他们不得不从窗口救人,而这家的防护栏特别粗壮,救援人员不得不用电锯割断护栏,由于花费时间过长,失火居民被烧伤,还险些酿成大火灾。     

多重取因子的线性序归结

本文重新定义了有序子句的有序因子，证明了在这种有序因子定义下的提升引理，进而在理论上得到了多重取因子的线性序归结方法的完备性。     

微波铁氧体控制器件及其在雷达技术中的应用

本文系统地叙述微波铁氧体控制器件(快速开关、移相器、变极化器等)及其在雷达中的应用。着重讨论快速控制的锁式器件,介绍了我们近年来研制出的一系列器件,其中包括许多我们提出的新型器件。首先讨论不同的磁路结构和各类器件的特点,然后列举它们在雷达系统中的应用实例。这些实例表明,微波铁氧体控制器件能实现快速功率转换,快速极化交换,单脉冲单通道技术和宽带相控阵电扫描等功能,对于提高雷达的性能起着重要作用。