导读:本文包含了部分正确性论文开题报告文献综述及选题提纲参考文献，主要关键词:形式化描述,部分正确性验证,结构化XYZ,E,国库信息处理系统
部分正确性论文文献综述
张锦,刘曼霞,赵二群,柳军飞[1]（2015）在《基于XYZ/SE的软件部分正确性验证》一文中研究指出针对软件形式化描述和正确性验证研究中存在的问题,提出了基于XYZ/SE的统一框架研究该问题。在该框架下,基于逐步求精思路对软件进行抽象;对软件整体进行形式化描述和部分正确性验证;对抽象得到的软件各部分进行形式化描述和部分正确性验证;进行调整和验证,即:如果推导结果与预期不一致,则需要重写相关程序或者回溯检查推导过程是否存在错误,直至程序部分正确性得到验证为止。以国库信息处理系统为对象,分析了基于XYZ/SE的统一框架性能。分析表明,基于该框架能够对软件的不同抽象层次进行规范描述,实现从抽象(静态语义)到具体(动态语义)的平滑过渡。同时,基于XYZ/SE的统一框架也可以表示Hoare逻辑推演规则。(本文来源于《计算机工程与应用》期刊2015年14期）
张元章,白小勇,柳明,柳阳,陈成军[2]（2013）在《基于形式化分析方法的弹塑性材料本构程序部分功能模块的正确性证明》一文中研究指出以中物院Panda程序中实现弹塑性材料本构模型的部分程序为研究对象,通过形式化分析方法证明其中弹性预测步、屈服函数、预测返回3个子功能模块的程序正确性。总体上基于Hoare的公理化方法进行程序完全正确性的证明,具体地采用了Floyd的不变式断言法进行程序的部分正确性证明,并基于Floyd的良序集方法进行程序的终止性证明。但对于具备更复杂功能与逻辑分支的程序子系统,仍然难以完成形式化的正确性证明,而且完成的证明工作对程序总体可靠性的提升度不易量化。同时必(本文来源于《中国力学大会——2013论文摘要集》期刊2013-08-19）
涂自然,姜宇鹏,邓映蒲[3]（2012）在《一个组合问题在部分情形下的正确性证明》一文中研究指出最近,Tu和Deng提出了一个组合猜想,并且设计了一个验证算法。本文对该猜想做了一些初步的理论分析,通过分析模加法时的进位情形,证明了该猜想在部分情形下的正确性。(本文来源于《河南科技大学学报(自然科学版)》期刊2012年01期）
李渊洁,侯忆铭,孙永强[4]（2002）在《类JVML在线部分计值器的正确性证明》一文中研究指出定义了 JVML指令序列的程序语义 ,构造了相关的 JVML子集部分计值器并形式化地给出了计值规则 ,证明了计值规则的正确性 ,说明了表达式和语句在一定的环境下通过部分 /剩余( Partial/Residual)计值和全局 ( Total)计值的不变性(本文来源于《上海交通大学学报》期刊2002年09期）
潘世钦[5]（1987）在《从玉山部分农村的变化看党的改革开放路线的正确性》一文中研究指出赵紫阳同志在党的十叁大报告中指出,从十一届叁中全会到十叁大,仅仅九年时间,我国的国民生产总值,国家财政收入和城乡居民平均收入都大体上翻了一番。这九年是建国以来国家经济实力增长最快、人民得到实惠最多的时期。作为全国二千分之一的玉山县农村也和全国各地一样,在改革的推动下,玉山农村面貌发生了深刻的变化。这是我们几位思想品德课教师,通过前段时间深入玉山县部分农村进行社会调查后,得到的一个共同感受。解放前的玉山是个地贫人穷,血吸虫病流行的地方。解放后,玉山农民和全国人民一样经(本文来源于《上饶师专学报(哲学社会科学版)》期刊1987年04期）
部分正确性论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
以中物院Panda程序中实现弹塑性材料本构模型的部分程序为研究对象,通过形式化分析方法证明其中弹性预测步、屈服函数、预测返回3个子功能模块的程序正确性。总体上基于Hoare的公理化方法进行程序完全正确性的证明,具体地采用了Floyd的不变式断言法进行程序的部分正确性证明,并基于Floyd的良序集方法进行程序的终止性证明。但对于具备更复杂功能与逻辑分支的程序子系统,仍然难以完成形式化的正确性证明,而且完成的证明工作对程序总体可靠性的提升度不易量化。同时必
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
部分正确性论文参考文献
[1].张锦,刘曼霞,赵二群,柳军飞.基于XYZ/SE的软件部分正确性验证[J].计算机工程与应用.2015
[2].张元章,白小勇,柳明,柳阳,陈成军.基于形式化分析方法的弹塑性材料本构程序部分功能模块的正确性证明[C].中国力学大会——2013论文摘要集.2013
[3].涂自然,姜宇鹏,邓映蒲.一个组合问题在部分情形下的正确性证明[J].河南科技大学学报(自然科学版).2012
[4].李渊洁,侯忆铭,孙永强.类JVML在线部分计值器的正确性证明[J].上海交通大学学报.2002
[5].潘世钦.从玉山部分农村的变化看党的改革开放路线的正确性[J].上饶师专学报(哲学社会科学版).1987