导读:本文包含了数值抽象域论文开题报告文献综述及选题提纲参考文献，主要关键词:抽象解释,区间向量,抽象域,静态分析
数值抽象域论文文献综述
吴世堂,李宁,詹海潭[1]（2015）在《基于区间向量抽象域的数值程序分析算法》一文中研究指出为权衡对矩阵运算静态分析的精度和效率,针对程序中表示矩阵的变量,提出一种基于抽象解释的抽象与分析算法,即区间向量抽象域。将矩阵变量抽象为一个区间向量对,即行区间向量和列区间向量,矩阵各元素的值范围是由这两个区间向量对应元素的交集表示;设计在该抽象域上的操作以及迁移函数。通过对区间向量抽象域的计算,较好地权衡矩阵元素值范围分析的精确度和分析效率。实验结果表明,该抽象域能够较精确地分析程序中矩阵各元素的值范围,与现有的分析数组的抽象域相比,在分析精度和效率之间取得了合理权衡。(本文来源于《计算机工程与设计》期刊2015年02期）
马国富,王正谦,刘久富[2]（2015）在《基于抽象域和数值熵协同的数值程序分析》一文中研究指出在软件日益丰富的信息时代,程序的正确性验证问题需要深入地研究。提出了基于抽象解释和数值熵协同的数值程序正确性分析方法。利用抽象解释理论框架对数值程序进行抽象解释分析,提取不变量的抽象域区间;在抽象域区间上进行数值熵运算;运行程序获取数值变量的实际取值,计算数值熵;将抽象域区间数值熵和实际数值熵信息进行对比分析,准确地判断程序的正确性等性质。单纯的抽象解释分析只可以近似得到数值变量的取值范围,而引入数值熵算法,在取值范围的基础上对程序静态分析的准确性进一步检验,同时也做到了对程序的正确性验证。通过C语言程序实例,对抽象解释基础上的熵值分析方法进行了验证,证明了该分析方法的可行性和正确性。(本文来源于《计算机工程与应用》期刊2015年06期）
刘江潮[3]（2013）在《弱关系型绝对值数值抽象域研究》一文中研究指出数值性质是程序的重要属性之一，不仅仅因为通过分析数值性质可以直接检查程序可能产生的运行时错误（如除零错、算数溢出等），还因为数值分析是许多其他程序分析方法（如别名分析、形态分析等）的基础。程序中非凸数值性质是程序数值分析研究的新热点和难点。抽象解释理论是数值程序分析方面最重要的理论之一，抽象域是抽象解释理论的核心。传统的弱关系型数值抽象域无法表达程序的非凸性质，而可以表达非凸性质的强关系型抽象域有着指数级别的时间复杂度，无法在大规模系统上应用。本文提出一种弱关系型绝对值数值抽象域，它可以表达程序非凸性质且时间复杂度为多项式级别，具有较高的应用价值。本文利用绝对值的天然非凸性，在八边形抽象域中加入绝对值变量，构建了可以描述程序非凸性质的弱关系型绝对值数值抽象域。本文研究了其域表示方法，并提出了叁种标准化算子，以满足用户对精度和时间消耗的不同需求。本文还对其中两种标准化算子设计了其增量式算法，进一步降低了时间复杂度。本文对弱关系型绝对值数值抽象域设计了完整的域操作，包括格相关操作，迁移函数，加宽/变窄算子等。在此基础上，在开源数值抽象域库APRON中实现了该抽象域的所有域操作。本文搭建了以Interproc为前端、APRON为抽象域库、Fixpoint为不动点求解器的面向Spl语言的实验平台。还研究了benchmark的选取方法，基于公正性、透明性、多样性、适应性、典型性的原则选取了大小不一的12组测试样例。基于搭建的实验平台，本文对弱关系型绝对值数值抽象域的叁种标准化算子、弱关系型绝对值数值抽象域与八边形抽象域和线性绝对值不等式抽象域的精度和时间消耗进行了对比分析。实验结果表明，弱关系型绝对值数值抽象域可以表达程序非凸数值性质，且在精度和时间消耗上有着很好的均衡，具有较好的理论和实际意义。(本文来源于《国防科学技术大学》期刊2013-05-01）
数值抽象域论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
在软件日益丰富的信息时代,程序的正确性验证问题需要深入地研究。提出了基于抽象解释和数值熵协同的数值程序正确性分析方法。利用抽象解释理论框架对数值程序进行抽象解释分析,提取不变量的抽象域区间;在抽象域区间上进行数值熵运算;运行程序获取数值变量的实际取值,计算数值熵;将抽象域区间数值熵和实际数值熵信息进行对比分析,准确地判断程序的正确性等性质。单纯的抽象解释分析只可以近似得到数值变量的取值范围,而引入数值熵算法,在取值范围的基础上对程序静态分析的准确性进一步检验,同时也做到了对程序的正确性验证。通过C语言程序实例,对抽象解释基础上的熵值分析方法进行了验证,证明了该分析方法的可行性和正确性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
数值抽象域论文参考文献
[1].吴世堂,李宁,詹海潭.基于区间向量抽象域的数值程序分析算法[J].计算机工程与设计.2015
[2].马国富,王正谦,刘久富.基于抽象域和数值熵协同的数值程序分析[J].计算机工程与应用.2015
[3].刘江潮.弱关系型绝对值数值抽象域研究[D].国防科学技术大学.2013