导读:本文包含了可到达性论文开题报告文献综述、选题提纲参考文献，主要关键词:可达性,区间,大图,语句,标记,计算机,程序。
可到达性论文文献综述写法
伍转华[1]（2013）在《判定大型图中可到达性的随机区间标记索引》一文中研究指出提出一种基于随机区间标记理论的可到达判定的方法 RIABG,它可以有效地处理非常大型的图,并且具有良好的可扩展性。RIABG具有线性的检索时间和空间复杂度,查询时间可以是常数时间,也可以根据图的大小而进行线性变化。真实数据集上的实验表明,RIABG可以有效处理大规模有向图的可达性判定问题。(本文来源于《计算机应用研究》期刊2013年11期）
刘远信[2]（1981）在《程序的可到达性及其应用》一文中研究指出程序模式(Schema)是计算机程序的抽象。Weyuker定义了两类程序模式——可到达(Reachable)模式和半自由(Semifree)模式,而且研究了它们的某些性质[1]。他的工作对计算机程序的验证和优化都是有益的。本文将对此进行若干讨论。本文所指的程序模式(或模式)是通常的框图模式,它是由Start(开始),Assignment(本文来源于《南昌大学学报(理科版)》期刊1981年00期）
可到达性论文开题报告范文
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
程序模式(Schema)是计算机程序的抽象。Weyuker定义了两类程序模式——可到达(Reachable)模式和半自由(Semifree)模式,而且研究了它们的某些性质[1]。他的工作对计算机程序的验证和优化都是有益的。本文将对此进行若干讨论。本文所指的程序模式(或模式)是通常的框图模式,它是由Start(开始),Assignment
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
可到达性论文参考文献
[1].伍转华.判定大型图中可到达性的随机区间标记索引[J].计算机应用研究.2013
[2].刘远信.程序的可到达性及其应用[J].南昌大学学报(理科版).1981