导读:本文包含了动态约束满足论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:动态,算法,航迹,连铸,计划,启发式,时态。
动态约束满足论文文献综述
周璐,李军华[1]（2018）在《一种满足方向约束的动态航迹规划方法》一文中研究指出针对动态环境下有方向约束航迹规划问题,提出一种结合引导点的动态航迹规划方法。该方法沿约束方向基于圆拓展的方式产生引导点,并自主选择代价最小的引导点,引导航迹规划算法向引导点区域搜索,提高了规划效率。仿真结果表明,改进算法可以适应动态变化的环境,也能满足从特定方向接近目标点的航迹规划要求。相比于传统D*算法,改进算法的航迹总代价更小、规划时间更短。(本文来源于《计算机应用研究》期刊2018年07期）
涂雪平,李铁克[2]（2016）在《基于约束满足的产品动态替补模型及算法》一文中研究指出为解决订单在生产过程中因某动态因素导致其出现产品质量问题而无法按期交货的问题,建立了以最小化产品替补总成本和订单之间替补次数为目标的多等级产品动态替补模型;根据问题的特点,证明了该问题为NP完全问题;基于约束满足技术,提出求解该问题的动态产品替补算法。该算法旨在根据订单交货期紧急程度以及其中的产品等级进行产品替补以制定替补机制。通过实验验证了模型和算法的可行性和有效性,并且完全能在满足生产实际的条件下获得最优解。(本文来源于《计算机集成制造系统》期刊2016年05期）
李博宇[3]（2014）在《求解约束满足问题的dom/wdeg启发式及动态回溯算法的研究》一文中研究指出约束满足问题（Constraint Satisfaction Problem）是人工智能领域的重要组成部分。它将一类现实中问题如计划调度、资源分配、生物信息等抽象为由变量、值域和约束关系叁部分组成的模型，并通过计算最终得到一个满足所有约束条件的解,继而实现了一种由现实问题转化为抽象符号问题并将其加以解决的求解方式。解决约束满足问题一般都是通过回溯算法完成的，其中包括了相容性技术、启发式及回溯机制叁个方面。其中相容性技术是目前解决约束满足问题的核心技术，它可以通过对问题相容性的检查减小问题的规模，启发式是加快求解效率的有效途径，它主要是通过决定实例化变量的先后顺序及实例化变量的赋值来实现，回溯机制则是保证了问题求解的完备性，它提供了当问题在求解遇到冲突时的解决方法。本文的内容主要有：首先对约束满足问题的相关背景知识如相容性技术、求解算法以及启发式进行研究，然后在研究的基础上对经典动态变量启发式dom/wdeg在MAC算法中的部分进行完善，以及对动态回溯算法DBT进行改进。具体工作如下：(1)通过对dom/wdeg启发式在MAC算法中求解过程的研究，比较在使用dom/wdeg启发式时，由于当不同变量的dom/wdeg比值相等时选取不同的变量所导致的求解效率的差异，并且考虑到越靠前实例化变量的选择越需要更加严谨。因此，在开始进行求解且未遇到冲突情况之前，根据问题的结构选择使用合适的静态启发式选取实例化的变量（本文给出了一个较通用的静态启发式，是通过变量值域中值的支持率来选择），并在遇到冲突情况之后，转换为使用dom/wdeg启发式选取实例化变量，改进之后的启发式称之为分级启发式。这样也就避免了在问题初始化时使用dom/wdeg启发式会存在许多dom/wdeg比值相等变量以至于无法选择的情况，并且同时尽最大可能保证了前面几个实例化变量的坚固性。(2)通过对经典的动态回溯算法进行研究，对经典的删值解释以及动态回溯算法的回溯机制进行了改进，使得改进之后的动态回溯算法可以仅使用一次回溯操作返回到可能导致冲突的关键变量。在最坏情况下，恢复变量值域的时间复杂度由原来的O(nd)改进为O(1)，且存储删值解释的空间复杂度由原来的O(n2d)改进为O(nd)，其中n表示问题中变量的数量，d表示问题中最大论域包含的值的数量。但由于改进之后的动态回溯算法属于不完备算法，因此将其结合了restart技术进行改进，使其最终成为完备算法。(本文来源于《吉林大学》期刊2014-05-01）
侯东亮,李铁克[4]（2012）在《基于动态约束满足的炼钢连铸重调度算法》一文中研究指出针对转炉出钢延迟的炼钢连铸重调度问题,以开工时间、加工时间以及加工机器的差异度和同一炉次相邻设备间的等待时间的差异化最小为目标建立了动态约束满足模型,提出了基于约束满足和断浇修复的重调度算法。算法通过变量和值选择规则依次对变量赋值,利用冲突识别与解消规则识别赋值过程中产生的冲突并予以解消冲突;在形成的准可行调度中,利用断浇修复启发式规则修复连铸机的断浇现象。仿真实验模拟了3组均匀分布随机产生的延迟时间量,所得目标值分别为0.15,0.28和0.51。结果表明延迟时间量的大小对目标函数值有一定影响,所提算法能够最大限度地满足生产的实时性和稳定性的需求。(本文来源于《计算机应用》期刊2012年12期）
刘越畅[5]（2012）在《基于动态约束满足框架的强表达时态规划算法》一文中研究指出智能规划已经成为人工智能领域最热门的研究主题之一。近年来,智能规划在现实领域的应用越来越广泛,这对规划器的处理能力和效率提出了很大的挑战。以一类强表达时态规划——基于约束区间规划为研究对象,基于动态约束满足框架设计和实现了一个基于约束区间的规划算法LP-TPOP;对算法的可靠性和完备性进行了证明;最后以一个规划实例演示了算法的运行过程。(本文来源于《计算机科学》期刊2012年06期）
陈恺,冯登国,苏璞睿[6]（2012）在《基于有限约束满足问题的溢出漏洞动态检测方法》一文中研究指出溢出型漏洞是最为普遍且最具危害的漏洞类型之一,溢出漏洞检测也是目前国内外研究的热点问题.目前漏洞检测方法主要分为白盒测试和黑盒测试两类.前者主要针对程序指令进行漏洞分析,但存在效率较低、检测结果不准确等缺点;后者难以保证程序覆盖的全面性与测试数据的针对性.文中提出了一种基于有限约束满足性问题(Constraint Satisfaction Problem,CSP)的溢出漏洞动态检测方法.在程序执行过程中,结合动态污点传播和动态循环分析,选取可能产生溢出漏洞的语句并生成CSP表达式,表达式包括语句的执行条件和漏洞产生条件两部分;通过对此CSP表达式化简求解,验证漏洞的存在性与漏洞的触发条件.该方法可直接分析可执行程序,解决了间接跳转、多态代码等静态分析中难以解决的问题.为了验证该方法的有效性,作者开发了一套原型系统并进行相关实验,结果表明该方法缩小了漏洞分析范围,提高了分析效率.(本文来源于《计算机学报》期刊2012年05期）
张文学,李铁克[7]（2011）在《基于动态约束满足的连铸热轧一体化滚动计划》一文中研究指出针对连铸热轧一体化滚动计划问题,建立了动态约束满足模型,提出了滚动优化前后批量计划在浇次计划相似度和轧制计划相似度上的一致性度量方法。针对问题的模型及其特点,提出了基于动态约束满足的局部修复求解算法。算法通过基于域的板坯选择策略实现困难变量优先赋值,通过基于费用的板坯插入策略实现成功优先的值选择,在迭代过程中采取基于约束传播的初始变量域收缩策略和解空间更新策略提高搜索效率。基于企业实际生产数据的仿真实验结果,验证了模型和算法的有效性。(本文来源于《计算机集成制造系统》期刊2011年10期）
王柏琳,李铁克,张春生,张文学,孙彬[8]（2011）在《基于动态约束满足的考虑连铸机故障的炼钢连铸调度算法》一文中研究指出针对考虑连铸机故障的炼钢连铸动态调度问题,建立了动态约束满足模型,以此为基础提出了基于约束满足的优化方法。该方法通过动态调度策略调整浇次计划,对模型进行预处理,将动态调度问题转化为动态约束满足问题;将模型分为连铸方案修复子模型和炼钢精炼重调度子模型。针对两个子模型给出对应的两阶段求解算法。仿真实验表明了所提算法的可行性和有效性。(本文来源于《计算机集成制造系统》期刊2011年10期）
李占山,王孜文,艾阳,李宏博[9]（2011）在《基于AC-4的动态值启发式约束满足问题求解算法》一文中研究指出通过对弧相容算法AC-4的研究,提出了基于AC-4的动态值启发式约束满足问题求解算法MAC-DMSV。算法充分利用AC-4在初始化阶段建立的计数器信息,选择计数最大者为优先实例化的值。将此值启发式加入MAC算法之中,在MAC的相容性检查时,更新计数器的值,实现了动态值启发式。实验结果表明,MAC-DMSV算法比MAC和BT+MPAC算法具有更高的求解效率。(本文来源于《吉林大学学报(工学版)》期刊2011年05期）
于淼,赵政,李满天,黄天泽[10]（2011）在《动态约束满足问题及其在辅助决策系统中的应用》一文中研究指出在处理突发事件时,应急人员需要迅速地做出决策,提出处置措施,形成行动方案。突发事件极易随时间的发展和已采取的处置措施而发生改变,具有很强的实时性,需要应急人员及时做出新的决策。本文建立了突发事件模型和处置措施决策模型,由以上模型提出了一种基于动态约束满足问题(Dynamic constraint satisfaction problem,简称DCSP)的辅助决策方法,并分析了基于DCSP系统的辅助决策过程。根据真实的辅助决策系统的运行结果,本文的方法能够很好地解决突发事件辅助决策问题,能够实现快速、准确、有效的实时辅助决策。(本文来源于《Proceedings of 2011 International Conference on Software Engineering and Multimedia Communication （SEMC2011 V2）》期刊2011-07-09）
动态约束满足论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
为解决订单在生产过程中因某动态因素导致其出现产品质量问题而无法按期交货的问题,建立了以最小化产品替补总成本和订单之间替补次数为目标的多等级产品动态替补模型;根据问题的特点,证明了该问题为NP完全问题;基于约束满足技术,提出求解该问题的动态产品替补算法。该算法旨在根据订单交货期紧急程度以及其中的产品等级进行产品替补以制定替补机制。通过实验验证了模型和算法的可行性和有效性,并且完全能在满足生产实际的条件下获得最优解。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
动态约束满足论文参考文献
[1].周璐,李军华.一种满足方向约束的动态航迹规划方法[J].计算机应用研究.2018
[2].涂雪平,李铁克.基于约束满足的产品动态替补模型及算法[J].计算机集成制造系统.2016
[3].李博宇.求解约束满足问题的dom/wdeg启发式及动态回溯算法的研究[D].吉林大学.2014
[4].侯东亮,李铁克.基于动态约束满足的炼钢连铸重调度算法[J].计算机应用.2012
[5].刘越畅.基于动态约束满足框架的强表达时态规划算法[J].计算机科学.2012
[6].陈恺,冯登国,苏璞睿.基于有限约束满足问题的溢出漏洞动态检测方法[J].计算机学报.2012
[7].张文学,李铁克.基于动态约束满足的连铸热轧一体化滚动计划[J].计算机集成制造系统.2011
[8].王柏琳,李铁克,张春生,张文学,孙彬.基于动态约束满足的考虑连铸机故障的炼钢连铸调度算法[J].计算机集成制造系统.2011
[9].李占山,王孜文,艾阳,李宏博.基于AC-4的动态值启发式约束满足问题求解算法[J].吉林大学学报(工学版).2011
[10].于淼,赵政,李满天,黄天泽.动态约束满足问题及其在辅助决策系统中的应用[C].Proceedingsof2011InternationalConferenceonSoftwareEngineeringandMultimediaCommunication（SEMC2011V2）.2011
论文知识图
