导读:本文包含了不可行路径论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:路径,物流,节点,线性,算法,自动机,组合。
不可行路径论文文献综述
任昕悦[1]（2019）在《基于组合不可行路径的组合线性混成自动机可达性验证研究》一文中研究指出信息物理系统广泛应用于安全攸关领域,因此要保证其正确性与安全性至关重要。混成自动机是一种既包含了离散的状态转移,又存在连续变量变化的形式化建模语言。其中离散的逻辑跳转与连续的变量变化混合的特性使得其可以用于对信息物理系统建模与验证。然而正因为离散跳转与连续行为的交织,使得其状态空间极为复杂,即便是对混成自动机安全性问题的可达性问题的验证也异常困难。在实际的信息物理系统中,由于不同组件通信协作行为的大量存在,组合混成自动机才能满足其建模需求。组合混成自动机由多个单一混成自动机通过同步行为协作构成,其行为比单一混成自动机更为复杂。目前的研究工作能解决的组合混成自动机验证问题的规模极为有限。因此如何提高组合混成自动机可达性验证规模,提升验证效率是十分值得关注与研究的课题。本文针对组合混成自动机的子类——组合线性混成自动机的可达性验证进行了系统化研究,研究内容包括:1.基于混合语义的组合线性混成自动机有界可达性验证。本文工作提出了一种基于混合语义的组合线性混成自动机有界可达性验证方法。该方法采用传统交替语义枚举候选路径,浅同步语义验证路径行为。通过将组合自动机的离散图结构编码为SAT问题的方式寻路,接下来通过将候选路径行为编码为线性约束问题求解的方式来验证路径的可达性。为了更进一步地缩减状态空间,约减遍历的路径数,本文给出了在浅同步语义下一致,而在传统交替语义下不同的叁种非典型路径的定义,同时给出了在路径遍历阶段规避非典型路径的编码方法。2.基于多重IIS的组合线性混成自动机面向路径可达性验证加速。IIS加速技术可以用于加速对组合线性混成自动机验证的加速。然而,不同的IIS路径对于路径的约减能力大相径庭。为了利用IIS加速技术约减更多的路径,本文提出了一种基于共享事件分割的多重IIS加速技术。该方法在IIS获取阶段采用多重IIS技术,从一个不可解的约束集提取出多个IIS路径组。接下来,为了将提取的IIS路径锁定在更精确的范围内,提出了一种基于共享事件分割的IIS定位方法。根据共享事件的位置分割路径,在不同的子路径上进一步求解IIS。我们实现了该方法并在业内广泛使用的例子上进行了实验。实验结果表明,采用这一系列的优化后验证效率与处理问题的规模得到了极大的提升,表现优于领域内相关工具。3.基于组合不可行路径的组合线性混成自动机全局性质推导。上述方法在组合线性混成自动机的有界可达性验证上取得了一定的进展,但实际应用中往往需要验证系统的全局性质。因此本文提出了一种基于组合不可行路径的组合线性混成自动机全局性质推导方法。该方法设计了一种针对组合不可行路径的LTL约束编码方式,同时提出了一种非典型路径规避规则的LTL约束编码方法。但这样生成的LTL逻辑约束尤其冗杂,即便是一个只有3,4个自动机的组合系统,生成的LTL逻辑约束也超过了求解器的求解范围。针对这一问题,本文提出了一种LTL约束本地化的方法,极大地缩减了LTL约束,扩展了全局验证的问题规模。当系统模型满足该方法提出的这一形式的LTL规约时,我们的方法可以给出全局证明,并且在许多公认案例上,能以较小的开销得到全局结果。(本文来源于《南京大学》期刊2019-05-25）
刘艳秋,吴蒙,徐世达[2]（2016）在《考虑不可行路径的逆向物流回收路径问题》一文中研究指出针对车辆回收路径问题的研究较少考虑部分节点可被多次访问的情况,以及现实生活中无法保证可行的直线路径均存在的问题,建立了以逆向物流网络最低总运输成本为优化目标的数学模型.通过FLOYD算法将问题转化为传统车辆路径问题模型,通过改进的蚁群算法进行求解,确定回收设施的数量和位置,并得到最优回收车辆路径.通过算例验证了模型和算法的有效性,对解决逆向物流路径问题具有一定的实际意义.(本文来源于《沈阳工业大学学报》期刊2016年04期）
吴蒙[3]（2016）在《考虑不可行路径的逆向物流回收路径问题研究》一文中研究指出逆向物流作为一个既强调经济效益又强调环境保护效益的新型物流范畴,受到了各界学者越来越多的重视。逆向物流不仅可以使得废弃物得到合理处理,保护环境不受污染,而且可以节约资源,使得废旧物品回收再利用,达到一定的经济效益。与正向物流相比,逆向物流具有回收周期长、回收产品不确定,运输路线不是从一点到多点,而是从多点到一点等特殊性,使得逆向物流的路径优化更具复杂性,本文则结合逆向物流的特殊性进行路径优化,旨在减少逆向物流成本,增加经济效益,达到节约资源,保护环境的效果。本文在综述了国内外相关研究的基础上,首先阐述了物流网络构成、物流网络模型以及相应的算法,并且论述了逆向物流的选题背景及特点、逆向物流的分类以及逆向物流车辆路径规划问题等基本理论知识。其次,对逆向物流路径规划的研究还有待进一步加深,本文重点分析了传统逆向物流网络中在路径和节点连通问题上会存在的不可行性特点,针对此特点,分别就节点只可被访问一次和节点可被多次访问的路径规划问题进行深入研究。其中针对每个节点只可被访问一次的问题,以最小化逆向物流网络总费用为目标,构建了路径规划数学模型,并应用遗传算法进行实例仿真,验证了提出方法的可行性;另外针对节点可被多次访问的问题,将逆向物流中节点可被多次访问情况考虑到车辆路径规划中,建立了数学规划模型,并应用蚁群算法嵌入Floyd算法对相同的仿真实例进行求解,验证了方法的有效性,并通过对两种不同模型的相同实例仿真结果分析,表明在对节点访问次数没有特殊要求的情况下,考虑节点被多次访问逆向物流网络模型会使目标函数值更优。通过对不可行路径下不同的节点访问类型的逆向物流回收路径问题的研究,在进行逆向物流路径规划中做了积极的努力,并对路径中节点的访问情况做了定量化处理,使提出的问题得以更好的解决。但是由于时间关系,对于逆向物流回收路径问题的研究不够充分,今后还可以将客户的需求可分、回收站容量分级等一些因素加入进行改进,使得问题研究更贴近实际应用。(本文来源于《沈阳工业大学》期刊2016-03-01）
刘新泽,赵国喜[4]（2012）在《求解P_*(k)线性互补问题的不可行路径追踪算法》一文中研究指出提出了一种求解P*(k)线性互补问题的不可行路径追踪内点新的算法,此算法可以取任意正的初始点,并证明了算法的代数复杂度;最后通过数值试验说明了算法的有效性和稳定性.(本文来源于《新乡学院学报(自然科学版)》期刊2012年02期）
潘丽丽,邹北骥,王天锷,陈浩[5]（2010）在《基于关键分支的不可行路径确定方法》一文中研究指出不可行路径增加程序复杂度和冗余度,产生无效DU链,影响程序分析工具的分析结果.有效地确定不可行路径,可以优化路径测试,完善数据流分析、程序切片等程序静态分析工具.在深入分析不可行路径的基础上,提出一种基于关键分支的不可行路径确定方法.该方法利用程序的值依赖关系和控制依赖关系、确定关键分支,通过关键分支查找不可行路径.结果表明,基于关键分支的不可行路径确定方法花费较少的信息存储,有效地节省不可行路径的确定时间.(本文来源于《北京工业大学学报》期刊2010年05期）
余红路,沈静珠,李有润,胡山鹰,侯凯锋[6]（2000）在《原油蒸馏塔的内外不可行路径优化方法》一文中研究指出针对原油蒸馏塔的特点 ,将蒸馏塔模拟的内外法与优化的不可行路径法结合 ,提出原油蒸馏塔的内外不可行路径法 .对某原油蒸馏塔的优化计算表明该方法能提高计算速度 ,并取得较好的优化效果 .(本文来源于《化工学报》期刊2000年02期）
沈静珠,何小荣,陈丙珍[7]（1987）在《复杂系统的优化计算──换热器系统不可行路径优化方法的研究》一文中研究指出本文以具有９维决策变量的换热器复杂系统为例，用不可行路径 ＩＰＯＳＥＱ法对换热总面积最小为目标函数进行系统优化计算、提出了逐次改进标度因子法。与分解协调法的计算相比，改进了收敛结果。文中对切割变量初始值的选取进行了讨论，指出当切割变量初值不易给定，且维数较多时，采用与ＣＦＶ或ＲＦＶ法联合计算更为有利。(本文来源于《清华大学学报(自然科学版)》期刊1987年06期）
不可行路径论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
针对车辆回收路径问题的研究较少考虑部分节点可被多次访问的情况,以及现实生活中无法保证可行的直线路径均存在的问题,建立了以逆向物流网络最低总运输成本为优化目标的数学模型.通过FLOYD算法将问题转化为传统车辆路径问题模型,通过改进的蚁群算法进行求解,确定回收设施的数量和位置,并得到最优回收车辆路径.通过算例验证了模型和算法的有效性,对解决逆向物流路径问题具有一定的实际意义.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
不可行路径论文参考文献
[1].任昕悦.基于组合不可行路径的组合线性混成自动机可达性验证研究[D].南京大学.2019
[2].刘艳秋,吴蒙,徐世达.考虑不可行路径的逆向物流回收路径问题[J].沈阳工业大学学报.2016
[3].吴蒙.考虑不可行路径的逆向物流回收路径问题研究[D].沈阳工业大学.2016
[4].刘新泽,赵国喜.求解P_*(k)线性互补问题的不可行路径追踪算法[J].新乡学院学报(自然科学版).2012
[5].潘丽丽,邹北骥,王天锷,陈浩.基于关键分支的不可行路径确定方法[J].北京工业大学学报.2010
[6].余红路,沈静珠,李有润,胡山鹰,侯凯锋.原油蒸馏塔的内外不可行路径优化方法[J].化工学报.2000
[7].沈静珠,何小荣,陈丙珍.复杂系统的优化计算──换热器系统不可行路径优化方法的研究[J].清华大学学报(自然科学版).1987
论文知识图
