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

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

攀钢矿业公司动力厂水处理混凝投药自动控制系统的性能

针对攀钢矿业公司动力厂水处理工艺采用人工手动投药的情况，本文提出了一种水处理混凝投药自动控制系统，该系统控制工艺稳定可靠，灵敏度高，反应迅速，具有自我诊断，自我抽加混凝药剂的功能，混凝药剂的投加量稳定可靠，节约药耗达２０－３０％，降低了水处理成本，水质保证率明显提高，为该水厂“降成本，增效益”以及实现“分散控制，集中控制”创造了有利条件。     

CAWS600自动站操作中需注意的几个问题

本文对CAWS600自动站在单轨运行和数据维护中出现的问题进行了汇总．为今后业务工作的正常开展和有关记录的处理具有实际意义，供同行借鉴。     

智能建筑中的火灾自动报警系统设计分析

本文详细的介绍了一套完整的火灾自动报警及其联动系统的系统组成、结构功能及其设计要求,并且把这些要求有机的结合在一起。作为智能建筑中的一个子系统,本文介绍了该系统与其他子系统的区别和联系,同时对未来火灾自动报警系统的发展提出了展望。     

汽车自动转向灯

转向灯的正确使用可以帮助司机师傅避免一些交通事故的发生，但由于开灯迟、忘记开灯或忘记闭灯导致了一些事故的发生，为了有效地解决这方面的问题，我提出了自动转向灯，以解决上述后顾之忧。     

兵器发明家的灵感

许多兵器发明家的发明常常是来源于瞬间的灵感。那么,这种灵感是怎样降临的呢?被吹倒的香蒲叶草约翰·摩西·勃朗宁是美国最著名的枪械设计师。他在枪械领域表现出了惊人的创新才能,一     

分时系统中运算放大器的漂移及其补偿

首先分析集成电路运算放大器工作在分时系统时，它产生漂移的原因，进而提出补偿的措施。     

倾斜转弯导弹控制系统设计与仿真研究

倾斜转弯控制技术的控制特点决定了倾斜转弯导弹成为一个强耦合的非线性时变系统,这为其控制系统设计增大了难度。将某型倾斜转弯导弹俯仰、偏航及滚动通道间的耦合作用看作是干扰,然后应用H∞控制理论设计导弹自动驾驶仪。简单有效的方法就是求解代数Riccati方程的正定解,从而可以构造系统的反馈增益矩阵,得到满足要求的反馈控制器,但评估信号的选取是一个关键。通过三通道控制系统联合仿真研究表明,该设计方法可行,设计的自动驾驶仪对倾斜转弯导弹控制效果好,能快速跟踪导引指令,满足设计指标。     

抽油杆荧光探伤微机控制系统

每年有大量的抽油杆需要定期检测和维修,以保证抽油机的正常运行.本文介绍了抽油杆荧光自动探伤微机系统的硬件和软件,该系统运行可靠,可节省大量人力物力.