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

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

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

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

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

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

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

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

一种新型反应式步进电机驱动器的设计与研究

提出一种新型的恒流斩波式步进电机驱动器的设计方案,着重对吸收回路部分进行了较大的改进,用预充有电荷的电容器代替传统的耗能元件,在理论上建立了此种吸收回路的数学模型,并通过实验证明:采用这种电路后可极大地缩短绕组电流衰减到零所用的时间。     

汽车自动转向灯

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

兵器发明家的灵感

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

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

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

氯化法钛白粉生产中收尘渣的回收处理工艺研究

氯化法钛白粉生产过程中 ,收尘器内每天产生 1 2— 1 4吨的收尘渣 ,这些废渣在空气中潮解形成烟雾 ,遇水大量溶解形成水溶液 ,均对环境造成严重污染 ,另外日益增多的废渣的堆放场地无法解决 ,据资料介绍国外有的采用钻井深埋的处理方式 ,而国内采取用水直接冲洗或先用石灰搅拌后再用水冲洗的方式 ,这些方法都存在潜在的污染 ,不能从根本上解决问题 ,因此国内外并无好的成形技术处理这些废渣。本文介绍的采用焙烧的方法处理氟化收尘渣在国内处于领先地位 ,可使 80 %以上的氟化物转化为无污染的氯化物 ,节省占地面积 ,每年还为企业节约处理费近 1 0 0万元。