非布尔可满足性问题求解算法的研究

来源 :上海交通大学 | 被引量 : 0次 | 上传用户:fengljx1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在本文中对已有两种算法进行研究和分析的基础上,提出了一些新的建议。本文的工作大致可以归纳如下: ① 在系统算法中给出一种新的启发策略,并实现了修改后的算法。同时,用部分实例进行了仿真,并将仿真结果与其它算法进行比较。根据比较结果分析并总结出了新算法的优势和不足。 ② 研究了随机搜索思路,分析了系统算法中的噪声水平参数的特性以及它对算法性能的影响。本文提出了动态变化的噪声参数这一思想,并将该思路用于最新的非布尔随机搜索算法中。同样,通过几个测例比较了修改后的算法与多种不同算法的性能,并对仿真结果进行了分析。 ③ 作为对算法的补充,本文还提出了一种优化策略。其目的是对待求解的合取范式公式进行预处理,删去冗余变量,压缩冗余的变量取值集合,使得公式得到简化。在本文中,先给出了理论分析,对可能执行的简化过程做了可行性分析。然后,给出相应的处理流程,并以一个实例演示了简化的整个过程。最后,测试了不用简化过程与使用简化过程在求解同类问题时所花费的时间。依此证实了简化过程在绝大多数情况下具有优越性能。 最后本文对所做的工作做了总结,同时展望了在该领域中未来可能继续的工作。
其他文献
本文对安全多方计算协议进行了研究,介绍并分析了现有的四类安全多方计算协议:“基于VSS 的安全多方计算协议”、“基于Mix-Match 的安全多方计算协议”、“基于OT 的安全多方
本文提出的网络管理方法,是在认真分析、比较当前各种网络性能、故障管理技术的优缺点后,针对故障管理中故障检测、过滤和定位中需要考虑的问题,吸收了各种现有技术的优秀思想而
远程教育以网络技术为支撑,具有时空自由、资源共享、系统开放、便于协作的优点,在发展远程教育的过程中人们深刻认识到,学习资源的共享性和复用性对远程教育的实用性和经济性具
本文讨论了RKIF规范的设计和推理引擎的实现。最终定义的RKIF实际上是一个默认封闭世界假设,并去掉了一些不常用的KIF语法特性的KIF子集。在此基础上,我们以Rete算法为核心,实现
计算机通信协议的开发难度随着复杂程度的增加而日益增大,潜在错误也越来越多,其中对协议规格说明理解的偏差是重要原因之一.因此需要对协议进行一致性测试,协议的一致性测试
目前,藏汉翻译在藏文化传播上具有十分重要的意义。人工翻译的方式无法满足藏汉翻译的需求,将现有的较为成熟的机器翻译技术应用于藏汉机器翻译十分必要。而集外词的出现,会严重
本文主要分为四个部分。第一部分是引言,主要讨论了在Java中引入泛型特性的原因,并概要介绍了泛型和JSR-14的一些背景知识。第二部分就主要研究了它的语法特性。该部分首先描述
差分隐私模型因其可证的隐私保障和有效实现方式而获得了广泛研究。粗略来说,如果统计查询结果与单个个体的数据的存在与否几乎没什么关系,则该查询满足差分隐私。本论文研究差
本文首先研究了定题搜索Robot中的一些关键技术,包括Robot爬行的原理,Robot的基本组成,机器人排斥协议,以及经典定题搜索算法与网页相关度评价,并提出了定题搜索算法的改进方案。
在军事指控领域中,伴随着硬件规模和复杂度的不断加大,以及苛刻的实时性能需求和各个平台之间实时要求的巨大差异,对于硬件平台之上的实时操作系统要求越来越高.但是当前的实