导读:本文包含了约束逻辑编程论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:逻辑,谓词,程序设计,抽象,符号,模型,生命。
约束逻辑编程论文文献综述
李暾,屈婉霞,郭阳,刘功杰,李思昆[1]（2007）在《基于符号模拟和约束逻辑编程的RTL级Verilog谓词抽象方法》一文中研究指出利用人工智能最新研究成果——约束逻辑编程对Verilog描述进行谓词抽象,并与目前基于SAT的方法进行了比较．首先通过符号模拟建立Verilog的形式化模型,然后结合要抽象的谓词,将谓词抽象问题转化为约束逻辑编程问题并进行求解．该方法的优点是在计算抽象系统时,不需要像基于SAT的方法那样将字级约束打散成位级约束,求解效率显着提高;提供了一个统一的框架用于描述各种约束．实验结果表明,与基于SAT的抽象技术相比,基于约束逻辑编程的抽象方法的求解速度有显着提高．(本文来源于《计算机学报》期刊2007年07期）
万海,李暾,郭阳,李思昆[2]（2003）在《约束逻辑编程中宽数据算术运算算法》一文中研究指出提出了一种在利用约束逻辑编程生成RTL数据通路模拟矢量的方法中处理宽数据的新方法。该方法解决了现有CLP求解器所能处理的最大整数限制问题。该文设计并实现了宽数据加法、减法和乘法运算的分解算法，运算分解扩展了现有CLP的功能，使其能适应实际的数据通路设计。实验结果表明方法是有效的。(本文来源于《计算机工程》期刊2003年22期）
刘健勤,魏敏洁,刘其兴,蔡自兴[3]（1997）在《基于谓词逻辑和约束网络结构的遗传编程方法》一文中研究指出提出了一种新的谓词型遗传编程方法,该方法包括:待求解问题论域的函数空间约束、遗传算子的谓词逻辑表达、谓词结构推理下数值参数空间的混沌式遍历及发生机制以及非线性方式下自适应进化和非监督学习的综合。整个过程是在约束网络的基础上,以谓词逻辑表达机制为核心实现的函数结点集合约束下的数值型进化计算过程。该方法可被认为是对现有遗传编程技术的改进,克服了LISP型及其C仿真型遗传编程算法在各种表示手段方面的缺陷,提高了计算效率,在系统辨识中的应用实验表明了是有效和实用的。(本文来源于《中南工业大学学报》期刊1997年05期）
方思行,陆子强,凌卫新[4]（1995）在《CSP逻辑编程中一种约束评价的动态控制方法》一文中研究指出在一些约束满足问题（ＣＳＰ）中，使需要进行的约束评价的数目减到最低限度是一个十分重要的问题．本文提出一种改进的回溯算法，它借助基于假设的正确性维护系统ＡＴＭＳ达到了上述目的。(本文来源于《华南理工大学学报(自然科学版)》期刊1995年02期）
约束逻辑编程论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
提出了一种在利用约束逻辑编程生成RTL数据通路模拟矢量的方法中处理宽数据的新方法。该方法解决了现有CLP求解器所能处理的最大整数限制问题。该文设计并实现了宽数据加法、减法和乘法运算的分解算法，运算分解扩展了现有CLP的功能，使其能适应实际的数据通路设计。实验结果表明方法是有效的。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
约束逻辑编程论文参考文献
[1].李暾,屈婉霞,郭阳,刘功杰,李思昆.基于符号模拟和约束逻辑编程的RTL级Verilog谓词抽象方法[J].计算机学报.2007
[2].万海,李暾,郭阳,李思昆.约束逻辑编程中宽数据算术运算算法[J].计算机工程.2003
[3].刘健勤,魏敏洁,刘其兴,蔡自兴.基于谓词逻辑和约束网络结构的遗传编程方法[J].中南工业大学学报.1997
[4].方思行,陆子强,凌卫新.CSP逻辑编程中一种约束评价的动态控制方法[J].华南理工大学学报(自然科学版).1995
论文知识图
