论文部分内容阅读
给出了基于神经网络的单元归结算法．首先将子句集S表示为δ形，并且用算子对(⊙，(+О))引入两种类型的神经元，然后用这两种神经元构造子句集S的神经网络结构，而后给出基于Horn子句集的神经网络的归结算法，最后证明了该算法的完备性，并用实例进行了验证．
并行单元归结
【摘 要】
：
给出了基于神经网络的单元归结算法．首先将子句集S表示为δ形，并且用算子对(⊙，(+О))引入两种类型的神经元，然后用这两种神经元构造子句集S的神经网络结构，而后给出基于Horn子句
【机 构】
：
西南交通大学数学系
【出 处】
：
四川师范大学学报(自然科学版)
【发表日期】
：
2004年5期
其他文献
应用有限元-边界元耦合法计算任意截面形状二维介质覆盖导体柱的雷达散射截面，对介质柱内、外区域分别应用有限元和边界元法进行分析，然后通过场的连续性进行耦合，形成待求矩阵
孔子是否作《春秋》,是学界公案,争议颇多。但说孔子曾经修订《春秋》应当是没有问题的。提倡述而不作的孔子之“作”《春秋》,即是在鲁《春秋》的基础上对其进行笔削。从先
伴随着民航业的高速发展,飞行流量迅猛增长,对民航业数据分析的要求也逐渐提高。本文首先给出了大数据的定义和特征描述,再对当前大数据的研究概况进行说明。配合大数据分析
当下,家长对孩子的身高有较高的期望值,但他们对身高管理的意识模糊,不了解正常身高的范围、骨龄概念等,我国儿童身高发育状况不容乐观。据悉,当前儿童的身高水平对应到成年
可视化计算与虚拟现实四川省重点实验室是在2002年成立的四川师范大学计算机软件省级重点实验室的基础上经四川省人民政府评估、考核后，于2009年2月，由省高校重点实验室升格为
用相对论有效原子实势，在密度泛函理论(DFT)和组态相关理论(QCISD)水平上优化计算了La2分子的结构．根据原子分子反应静力学原理，导出La2分子可能的电子状态和离解极限，用DFT中的B
本文以正在建设的1．5级跨音压气机试验台所采用的压气机为研究对象，利用NUMECA软件计算了该压气机在不同转速下的特性曲线，并在设计转速下，对其内部流场进行了分析研究。研究表明
当丢番图方程a1y21+a2y22+...+an-1y2n-1=any2n有一组非平凡的整数解y*1,y*2,...,y*n(y*n≠0)时,给出了方程(a1)/(x21)+(a2)/(x22)+...+(an-1)/(x2n-1)=(an)/(x2n)满足(x1,x2
当前国家和河北省政府高度重视引导和推动地方普通本科院校向应用型发展,以及京津冀协同发展的深入推进,这些都为河北省普通本科院校建设应用型大学提供了难得的有利条件。河
丁协平定义了一个新的空间--H-度量空间,并在H-度量空间中得到了具有限度量紧闭(开)值的广义H-KKM映象的广义H-KKM定理(应用数学和力学,2001,17(10):1029～1036.).借助于转移紧