DF命题的矩阵归结

来源 :山东理工大学学报:自然科学版 | 被引量 : 0次 | 上传用户:zch_kitty
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对DFL归结方法作进一步的研究,阐述了DF命题的矩阵归结的理论.对任一DF命题归结反演,得到对应的子句集,采用⊙运算分离DF数和DF命题得到原DF命题的命题归结矩阵,由子句集的不可满足性条件,应用鲁宾逊归结原理,得出DF命题的矩阵归结方法,证明了矩阵归结法的成立定理,并给出了矩阵归结方法的一个推论.
其他文献
随着我国对互联网政策的不断调整和改善,随着互联网基础设施的不断优化升级,互联网服务不断扩大覆盖范围,使得互联网企业迅速发展壮大起来了,而且近些年大数据时代的到来,互联网企业也迎来了新的挑战和机遇。互联网迎来机遇和挑战的同时,企业之间的竞争和扩张,使得互联网企业并购和收购的案例不断增多,也带来了很多价值评估的问题。但是传统的评估方法并不适用于互联网企业的价值评估,因此,探索合理的评估方法和评估理论,
目的:观察平衡针灸治疗原发性三叉神经痛的效果。方法:选取36例原发性三又神经痛患者,随机分为治疗组和对照组,各18例。治疗组:使用平衡针灸治疗;对照组:口服卡马西平治疗。两组治疗
详细论述了下降管式生物质热解液化装置风网中,风机工作点的变化状况以及影响工作点变化的诸多因素.风网发挥作用的首要条件是保证风机总风量Q>Q0(风网总风量),也就是保证工作
临床药物治疗学是一门新的实践性课程,也是医学和药学的桥梁课程,我国近几年才开始应用到药学本科教学中,其知识体系还有待进一步完善。本文从临床药物治疗学知识体系的构建
药物制剂工程是药剂学和工程学交叉之后产生的一门新兴学科。根据该课程内容特点,对在课堂教学过程中应采用的适宜教学方法和教学手段进行阐述和讨论。
阅读与写作是语文教学的两大要素,在新课改背景下,小学生语文素养的培养更加强调各模块之间的融合性与互补性。因此,只有将读写结合,协调二者的"输入"与"输出"关系,才能够夯
在药物化学实验教学中,引入三种合成藜芦醛的方法,即传统法、微波法和传统改进法。学生实验的结果表明,在引入微波辐射这项新技术或将传统方法进行工艺的优化后,不仅缩短了反应时
2005年3月18日,由机械工程学院张宇教授等承担的国家自然科学基金“面向质量目标的统计公差技术、系统开发及应用”课题,通过了山东省科技厅组织的技术鉴定。
利用VB6.0中的MSComm通信控件编程,并以实际项目为例,实现Window下PC与单片机的多路串行通信.采用图形用户界面,使用简单,操作方便.
对于二阶和四阶矩信噪比估计法在实信道和复信道中的应用进行了研究,并对该算法应用于AWGN信道中的性能进行仿真分析,结果表明当数据观察长度在2000以上时,在实际信噪比为[-5