论文部分内容阅读
研究一种一阶谓词逻辑公式的反演求证算法，它是应用超连接过程来处理子句集的消解的，该算法具有比Ｒｏｂｉｎｓｏｎ的传统消解方法更高的效率，以一个实例讨论了该算法的应用，结果表明此算法可以保证在预定义的相关边界内，对任意一阶逻辑的推理具有终止性。
一种基于超连接的一阶逻辑反演推理算法
【摘 要】
：
研究一种一阶谓词逻辑公式的反演求证算法，它是应用超连接过程来处理子句集的消解的，该算法具有比Ｒｏｂｉｎｓｏｎ的传统消解方法更高的效率，以一个实例讨论了该算法的应用，结果表明此算法可以保
【机 构】
：
华中理工大学计算机科学与技术学院
【出 处】
：
华中理工大学学报
【发表日期】
：
1999年1期
其他文献
据PhRMA发布的最新报告：美国的生物医药研发公司在研的生物制品达到907种，针对100余种疾病。这份报告列举厂正在进行人体临床试验和接受FDA评估的生物制品。907种在研药品和疫
近日，六部委联合发布《关于保障儿童用药的若干意见》，鼓励儿童用药的研发，并将建立专门的申报审评通道。我国约有4亿名儿童，儿童患病率达12％，可是儿童专用药却存在药品品种少、剂
讨论了ＴＭ＾Ｇ（Ａ）的性质，这里Ｇ是ｍ次对称群Ｓｍ的子群，ＴＭ＾Ｇ（Ａ）表示群Ｇ的酉表示Ｍ诱导的迹函数，定义为ＴＭ＾Ｇ（Ａ）＝∑σ∈ＧＭ（σ）∑ｔ＝１ａｔσ（ｔ），所得结果推广了Ｔｘ＾Ｇ（Ａ）的性质，这是ｘ是群Ｇ的特征标。
结合ＩＭＰＬＤＩ型线路微机保护装置，详细地分析了采用非同时性数据采集方式所引起的附加相移对线路方向保护的影响，将分析结果与实验数据进行比对，给出了校正措施及算法，指出基于此校正措施
根据软件测试实践 ,结合相关研究成果 ,总结出一个简单实用的软件测试过程框架 ,同时强调采用静态与动态相结合测试方法 ,且融入测试步骤中 .最后对测试结果进行分析 ,并对软件可靠性进行了评估 .
根据不同持纽时间纯音领事的响度与强度的关系以及强度ＪＮＤ与强度的关系，建立了一个描述纯音信号强度ＪＮＤ与强度关系的模型。这个模型认为，响度对数的辨别阈不随信号强度变化。
从网络分层的角度分析了Internet上的网络安全现状，提出在TCP／IP协议层中设置虚拟子应用层，建立基于公共代理技术的Internet网络安全传输机制，从而提高数据在Internet上的传输安
针对单件车间生产作业计划的再生问题，用Ｖｉｓｕａｌ Ｆｏｘｐｒｏ开发了一个时间调整算法和实现了禁忌搜索算法。当干扰发生时，前者用于无可替代机床情况下对受影响工序的开工时间和完工时间的调整；后
运用Ｆｕｒａ－２显微荧光测量技术，在单个大鼠肾上腺嗜铬细胞上，测量中药知柏地黄丸浸液对胞内游离钙浓度的作用。实验发现，知柏地黄丸浸液作用于大鼠嗜铬细胞。数ｓ内即可导致的升高；