导读:本文包含了路径约束论文开题报告文献综述、选题提纲参考文献及外文文献翻译,主要关键词:路径,代数方程,模式,区段,不等式,分点,断面。
路径约束论文文献综述
孙燕,张弛,路兴龙,王靖戈,付俊[1](2019)在《具有不等式路径约束的微分代数方程系统的动态优化》一文中研究指出针对具有不等式路径约束的微分代数方程(Differential-algebraic equations, DAE)系统的动态优化问题,通常将DAE中的等式路径约束进行微分处理,或者将其转化为点约束或不等式约束进行求解.前者需要考虑初值条件的相容性或增加约束,在变量间耦合度较高的情况下这种转化求解方法是不可行的;后者将等式约束转化为其他类型的约束会增加约束条件,增加了求解难度.为了克服该缺点,本文提出了结合后向差分法对DAE直接处理来求解上述动态优化问题的方法.首先利用控制向量参数化方法将无限维的最优控制问题转化为有限维的最优控制问题,再利用分点离散法用有限个内点约束去代替原不等式路径约束,最后用序列二次规划(Sequential quadratic programming, SQP)法使得在有限步数的迭代下,得到满足用户指定的路径约束违反容忍度下的KKT (Karush Kuhn Tucker)最优点.理论上证明了该算法在有限步内收敛.最后将所提出的方法应用在具有不等式路径约束的微分代数方程系统中进行仿真,结果验证了该方法的有效性.(本文来源于《自动化学报》期刊2019年05期)
黄志远,徐瑞华,周峰,徐天捷[2](2018)在《考虑时间及路径约束的地铁断面客流构成推定方法》一文中研究指出为缓解高峰时段地铁局部网络客流拥挤,更有效地对拥挤区段客流实施路径诱导,从而优化控制网络客流分布,首先通过计算不同时间粒度断面满载率,设置筛选阈值识别高峰时段网络能力限制区段;然后建立考虑时间及路径双重约束的地铁网络断面客流构成反推模型和设计迭代算法推定网络中限制区段的断面客流构成,并归类排序.以上海地铁网络限制区段曹杨路-隆德路为研究对象,推定得到早高峰8:30~9:00时段该区段的断面客流构成,验证了模型及算法的可行性.(本文来源于《同济大学学报(自然科学版)》期刊2018年07期)
池凯凯,祝驿楠,邵奇可[3](2018)在《射频供能传感网能量源移动路径约束下时延最小化供电方案》一文中研究指出射频能量捕获技术是解决传统无线传感网由于节点电量有限而生命周期受限的有效方法。现有的射频能量源移动供电方案中,能量源可以无限制地沿任何方向行进到网络区域内的任一位置来给节点供电。然而在现实场景中,能量源通常只能沿着既有道路行进。考虑能量源行进路径约束下的供电总时延最小化问题,分别提出全程移动供电方案和部分位置停留供电方案,并提出高效算法来确定这两个方案的最佳行进路径和供电时间。仿真结果表明,两种方案的供电总时延均显着优于转折点供电基准方案。相比于部分位置停留供电方案,全程移动供电方案的计算复杂度较低,但供电总时延更长一些。(本文来源于《电子与信息学报》期刊2018年09期)
许昕[4](2018)在《VANET环境下基于路径约束的路由方案研究》一文中研究指出VANET(Vehicular Ad-hoc Network)作为智能交通领域的重要应用,可以实现在智能交通环境下终端与终端之间的通信以及信息共享的功能,这使得我们的日常出行场景变得更加地智能、便捷。而在VANET通信过程中,路由协议的制定是及其重要的,路由协议的好坏将影响整个VANET网络的效率。在传统的移动自组织网络中,路由协议的设计都是基于网络的拓扑结构以及地理位置信息的,这是由移动自组织网络自身的特性决定的,例如频繁变化的拓扑结构。而VANET相对于移动自组织网络来说有了更多其他的特性:1)快速移动的节点;2)节点移动受到交通道路形状的约束。这些特性对于路由的选择有着很大的影响。首先,节点的快速移动会导致车辆之间的无线链路极易中断。其次,节点移动方向的改变使得对于最优中间节点的选择变得更加困难,而道路形状是制约节点移动方向的重要因素。现阶段的基于地理位置的路由协议大多只考虑到了节点的移动速度,很少有考虑到实际交通环境下由于道路形状不同(例如直路,转弯路口)而引起的车辆节点行驶路径的改变。基于以上论述的VANET特性,本文提出了一种基于路径约束的路由方案。针对处于直路上的节点,该方案根据周期性广播时间间隔计算邻居节点的及时位置、预测节点的微观运动轨迹,以此来进行准确地数据分组的转发,有效地解决了由于节点的快速移动导致的无线链路频繁中断问题;其次,对于处于转弯路口处的节点,通过判断邻居节点的微观运动方向与目标节点所处位置的一致性,排除掉通过贪婪转发算法选择的虽然距离目标节点更近,但由于微观运动方向不一致导致的距离目标节点越来越远的节点,选择出更优的中间转发节点,有效地解决了处于转弯路口处中间节点选择困难的问题;该方案更改了贪婪转发算法的选择策略,通过判断分析道路情况以及节点微观运动情况,不再“贪婪地”选取距离目标节点更近的邻居节点,而是“保守地”选择出更可靠的中间转发节点,从而达到提升路由整体的效率,我们称之为CPCR路由方案(Conservative Path Constraint Routing)。综上所述,CPCR路由方案比GPSR路由协议更适合实际的交通道路环境,在路由性能方面有所提高。本文利用网络仿真工具NS-2建立VANET网络的通信环境,利用交通仿真工具SUMO建立车辆节点所处的移动模型环境。在不同的节点数量环境下分别进行实验,以达到拥有更多中间选择节点的目的,并与GPSR路由协议进行比较分析,以此来研究CPCR路由方案的实际性能。实验结果表明,在实际交通环境中,CPCR路由方案在分组投递率、网络时延、数据吞吐量这叁个方面均有所提高。(本文来源于《吉林大学》期刊2018-04-01)
张岩,廖湖声[5](2016)在《基于Schema路径约束的Twig模式最小化方法》一文中研究指出近年来,Twig查询是XML查询的核心操作。查询请求中的查询模式通常包含一些冗余的子查询,因此,Twig模式最小化成为了研究的热点。针对特定的Schema信息可能带来Twig模式优化的特征,在现有Twig模式最小化的基础上,提出了一种基于路径约束的Twig模式优化方法,归纳出一套的优化规则,不但可以优化Twig模式中冗余的叶节点,也可以优化冗余的中间节点。(本文来源于《计算机与数字工程》期刊2016年09期)
周岩[6](2016)在《面向复杂路径约束的线性拟合求解方法改进与扩展研究》一文中研究指出面向路径的测试是一种重要的测试技术,作为核心支撑技术,它在错误代码定位、目标制导的测试、内存泄漏检测等多种测试中,具有广泛的应用。面向路径的测试数据生成关注于,针对给定路径如何自动生成测试输入以驱动程序沿着目标路径执行。自动化的测试数据生成可以有效地降低测试开销,提高测试效率,是近年来测试研究的热门方向之一。处理该问题的难点在于求解含有非线性约束和浮点运算的复杂路径约束,基于启发式搜索和基于动态符号执行的方法是当前最高效的解决方案。基于启发式搜索的方法对具体问题的效能依赖于参数的设定,初始值选择以及搜索过程的随机性通常也会导致搜索结果的不确定。如何设定恰当的参数配置以保证搜索效果和时间的平衡是该类方法亟需解决的问题。基于动态符号执行的方法在求解复杂路径约束时,或通过具体值替换简化符号表达式,或依赖于特定领域的强约束求解器。具体值替换的方式具有随机性且限制了搜索空间,而强约束求解器的能力还不足以处理实用的程序。线性拟合函数驱动的方法是一种基于程序动态执行的方法,它可以有效为包含复杂非线性约束的程序生成测试输入。该方法使用插桩技术获得路径上每个关系表达式对应的分支函数在程序运行时的值,再结合程序输入,可以获得分支函数关于输入变量的线性拟合函数,进而计算输入变量的可行输入区间,构建出能够覆盖路径的输入数据。现有的线性拟合函数驱动的方法在处理路径约束时存在搜索不充分、拟合过程不精密等缺点,在处理规模较大的程序时效率受限。另外,该方法尚不支持对含有数组类型输入或跨模块函数调用程序的处理。本文针对现有线性拟合方法的不足与局限,提出了一种改进的线性拟合方法,它实现了更加有效的搜索,并可以为含有数组类型输入和函数调用的程序自动生成面向路径的测试数据。具体的,本文主要研究工作如下:·提出了基于改进线性拟合方法的面向路径测试数据自动生成算法。针对已有线性拟合方法在搜索上的不足,本文尝试在更多的方向(变量)上进行搜索,并依此提出了多变量方向上的交叉搜索策略。进一步的,为充分发挥多核技术的能力,采用调度器-工作者模型对上述方法进行了并行化实现,提出了结合程序依赖分析技术的优化策略,降低了算法的时间消耗。针对已有线性拟合方法在具体条件约束上拟合过程中的不足,首先研究了当拟合区间内不存在可行区间时拟合曲线对其相邻区间的预测作用,据此提出了针对关系表达式的分支函数拟合区间扩展规则和细化规则,并给出了针对目标路径的自适应路径搜索区间扩展和细化方法。·对线性拟合方法进行扩展,以支持数组类型输入和跨模块函数调用。在为包含数组类型输入变量的程序生成测试数据时,借助插桩技术获取特定程序输入下目标路径相关的数组变量下标,从而避免了在大量无关数组元素上的冗余搜索。当程序中含有嵌套函数调用时,程序的路径空间将极速增长。通过复合表达式分离、忽略无关控制流结构获取关于程序中目标点的相关路径集合,有效削减了路径空间,降低了不可达路径出现的概率,从而提高了为这类程序生成测试数据集的效率。·基于上述方法,设计并实现了一个测试数据自动生成原型工具,并在该工具上进行了叁组实验。在15个科学计算程序上与改进前方法的对比实验结果表明,本文提出的改进策略有效提升了线性拟合方法针对路径覆盖准则的覆盖效果。Concolic Walk是目前处理复杂路径约束最有效的测试数据生成方法之一,与它在11个程序集上的对比实验结果表明,本文的方法在更少的时间内获得了更好的覆盖效果。同时,本文的方法可以显着提高两个基于强约束求解器的测试数据生成工具的覆盖能力,这表明本文研究的方法与其它方法具有非常好的互补性,通过将本文的工具与其它工具相整合,可以有效提高它们求解复杂路径约束的能力。针对算法中叁个主要参数的有效性实验结果表明,因为采用了自适应的路径搜索区间扩展与细化策略,本文方法的搜索效果并不受限于初始值的选取,而交叉搜索策略可以有效提升本文方法的覆盖能力,且在设置很小的算法停机阀值的情况下就可以获得较优的覆盖度。(本文来源于《南京大学》期刊2016-05-23)
赵微[7](2016)在《考虑路径约束的城市多模式交通流分配模型与算法研究》一文中研究指出近年来,随着城市圈的不断扩张和城市基础设施的不断完善,城市居民的出行方式和出行路径越来越多。起讫点间有多条路径,但出行者并不是每条路径都会选择,只有当路径上的条件满足出行者的要求时,此路径才会被选择。电动车和自行车在出行时会存在距离约束,同理路径中的换乘次数、出行费用也具有一定的限制,对出行路径中的出行距离、换乘次数、广义费用等进行约束,在路径约束条件下重新定义可行路径和有效路径,传统的路径搜索算法不能解决路径约束下的搜索问题,因此,提出新的算法,根据新的算法,计算约束条件下的多模式交通流分配的UE模型和SUE模型,并进行算例分析。本文的主要工作如下:(1)分析城市各种交通方式的特征,结合城市交通组合出行模式,基于超网络理论,提出了包含小汽车、电动车、公交车、地铁以及自行车在内的五种交通方式组成的多模式超级网络模型。(2)在多模式网络中,根据出行路径的换乘次数、出行距离以及出行者出行习惯定义可行路径,在可行路径的基础上,对出行广义费用进行上限设置,提出有效路径的概念;基于K短路径理念,提出路径筛选的概念和算法;基于Dijkstra算法,提出路径约束条件下的最短路径搜索算法:最后提出了两种有效路径的搜索算法,基于扩展网络的有效路径搜索算法和基于图的遍历法的有效路径搜索算法。(3)提取影响出行者路径选择的叁个要素:出行时间、货币费用以及舒适度损耗,构建广义费用函数模型,并详细介绍了行驶弧、换乘弧和上下网弧的费用表达式;给出了路径约束条件下的基于UE多模式交通流分配模型与算法,并通过算例证明了模型与算法的可行性和有效性。(4)根据有效路径搜索算法,结合Logit路径选择模型,进行了路径约束条件下的基于随机用户的多模式交通流分配模型与算法研究,通过算例,对配流结果与参数灵敏度进行了分析,证明了算法的可行性和有效性。(本文来源于《北京交通大学》期刊2016-01-18)
周艳红,王天成,李华伟,吕涛,李晓维[8](2016)在《基于路径约束求解的多目标状态激励生成方法》一文中研究指出该文提出了一种针对多个难达目标状态的激励生成方法,该方法基于抽象引导的半形式化方法框架.采用一个评估函数对候选状态进行评价,该评估函数综合考虑了从一个状态到不同目标状态的全局抽象距离信息,评价出从各个状态到达某个目标状态或者同时到达多个目标状态的潜能,并以此指导模拟过程直到最终搜索到一条能同时覆盖多个目标状态的状态序列.此外,该文采用了基于路径约束求解的激励生成方式,这种方式结合了具体模拟和符号模拟技术,符号模拟沿着具体执行路径提取分支条件构成路径约束,通过约束条件的翻转与求解能够有效地产生输入向量,以一种较均衡的模式遍历设计的状态空间,帮助验证快速覆盖到目标.实验结果表明,该文方法能够有效地同时验证设计中的多个目标状态.(本文来源于《计算机学报》期刊2016年09期)
邓宏[9](2015)在《房产税改革的目标约束与路径约束》一文中研究指出关于房产税改革目标和措施的探讨很多,如果相关认识能够在一个基本目标下得到统一解释,改革的思路就会更加清晰。认为房产税改革的目标应当以宏观经济目标为约束,而这些目标都遵循效率法则。因此,房产税改革的基本目标应当是促进市场效率的提高。另一方面,房产税改革必然要以现行制度为出发点,受到制度演进规律的约束。要保持产权制度的稳定性,实现从"土地使用权制度"到"房产税制度"的顺利过渡,房产税应当在土地使用权到期后开征。同时,房产税税率的选择也受到土地出让金水平的约束。(本文来源于《中国房地产》期刊2015年12期)
章玉贵[10](2015)在《稳增长调结构亟需摆脱既有路径约束》一文中研究指出中国迟早要从世界工厂的角色转变为世界工厂与世界办公室的双角色并重,不能因为错失经济战略转型的时间窗口而失去迈入发达国家俱乐部的战略性机会。从经济荣枯周期规律以及支撑经济内生性增长的机理来看,业已迈上十万亿美元台阶的中国经济,打造基于战略性技术变革与制度创(本文来源于《上海证券报》期刊2015-03-17)
路径约束论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
为缓解高峰时段地铁局部网络客流拥挤,更有效地对拥挤区段客流实施路径诱导,从而优化控制网络客流分布,首先通过计算不同时间粒度断面满载率,设置筛选阈值识别高峰时段网络能力限制区段;然后建立考虑时间及路径双重约束的地铁网络断面客流构成反推模型和设计迭代算法推定网络中限制区段的断面客流构成,并归类排序.以上海地铁网络限制区段曹杨路-隆德路为研究对象,推定得到早高峰8:30~9:00时段该区段的断面客流构成,验证了模型及算法的可行性.
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
路径约束论文参考文献
[1].孙燕,张弛,路兴龙,王靖戈,付俊.具有不等式路径约束的微分代数方程系统的动态优化[J].自动化学报.2019
[2].黄志远,徐瑞华,周峰,徐天捷.考虑时间及路径约束的地铁断面客流构成推定方法[J].同济大学学报(自然科学版).2018
[3].池凯凯,祝驿楠,邵奇可.射频供能传感网能量源移动路径约束下时延最小化供电方案[J].电子与信息学报.2018
[4].许昕.VANET环境下基于路径约束的路由方案研究[D].吉林大学.2018
[5].张岩,廖湖声.基于Schema路径约束的Twig模式最小化方法[J].计算机与数字工程.2016
[6].周岩.面向复杂路径约束的线性拟合求解方法改进与扩展研究[D].南京大学.2016
[7].赵微.考虑路径约束的城市多模式交通流分配模型与算法研究[D].北京交通大学.2016
[8].周艳红,王天成,李华伟,吕涛,李晓维.基于路径约束求解的多目标状态激励生成方法[J].计算机学报.2016
[9].邓宏.房产税改革的目标约束与路径约束[J].中国房地产.2015
[10].章玉贵.稳增长调结构亟需摆脱既有路径约束[N].上海证券报.2015