论文部分内容阅读
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
归结原理及其在数学定理证明中的应用
【摘 要】
：
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
【机 构】
：
中国地质大学数理系,湖北美术学院
【出 处】
：
武汉交通科技大学学报
【发表日期】
：
2000年4期
其他文献
Anytime算法能够折衷解的质量和计算时间,广泛地用在求解与时间紧急相关的问题.为了完成更复杂的任务,Anytime算法常常作为一个部分用来构建复合Anytime系统.文中探讨了复合A
就特高压输变电有关变压器、电抗器内部结构、变电设备外绝缘爬距选择、输电线路走廊、特高压电网运行控制和直升飞机巡视检修线路等问题进行了探讨并提出了相应的建议。
利用疲劳理论中Ｓ－Ｎ曲线和线弹性断裂力学中Ｐａｒｉｓ公式，导出了两者之间的换算规律，得出了不同通过实验手段估算裂纹扩展规律特征参数的方法，并运用该方法得到了结构中常见连接形式的扩展特
遗传算法实际应用于配电网重构时,目标电网的拓扑结构可能会发生变化,静态的编码、解码方案不能适应要求.所以研究了电网拓扑数据的动态处理技术,在此基础上提出了动态'
GAL是近年来在PAL基础上发展起来的一种大规模专用集成电路(ASIC).应用GAL器件设计交通灯管理系统的控制器,给出了状态图、状态表、GAL源程序、熔丝图和GAL阵列逻辑图.与SSI/
鹰牌,在辉煌与沉寂交错中跨进三十周年,此刻,她以博大的胸怀迎来了新任领导人--钟应洲.钟应洲早年出国留洋,在海外从事市场营销十多年,对国际营销有笃深的了解,建树顿丰,回国
沿海地带工程基础处理基本采用预应力管桩施工方法,如深圳、广州、佛山、珠海等沿海地带地层自上而下大多分别为第四系人工填土层(砾质粘性土)、第四系残积层及中生代燕山期
以电力系统故障电压信号为原始信号,通过对不同预/后处理方法的多小波自身重构误差比较和基于不同预/后处理方法的整个多小波变换过程中的重构误差分析,详细讨论了影响多小波
通过实例提出了周转轮系传动比计算中的一个新原理－叠加原理，该原理具有一定的理论价值，特别在分析和求解复杂轮系传动比问题上有重要的应用价值。