导读:本文包含了约束满足模型论文开题报告文献综述及选题提纲参考文献，主要关键词:约束满足,多等级产品,动态替补机制,算法
约束满足模型论文文献综述
涂雪平,李铁克[1]（2016）在《基于约束满足的产品动态替补模型及算法》一文中研究指出为解决订单在生产过程中因某动态因素导致其出现产品质量问题而无法按期交货的问题,建立了以最小化产品替补总成本和订单之间替补次数为目标的多等级产品动态替补模型;根据问题的特点,证明了该问题为NP完全问题;基于约束满足技术,提出求解该问题的动态产品替补算法。该算法旨在根据订单交货期紧急程度以及其中的产品等级进行产品替补以制定替补机制。通过实验验证了模型和算法的可行性和有效性,并且完全能在满足生产实际的条件下获得最优解。(本文来源于《计算机集成制造系统》期刊2016年05期）
董广静,施灿涛,李铁克,王柏琳[2]（2014）在《基于聚类--约束满足算法的钢管入库优化决策模型》一文中研究指出针对钢管入库优化决策问题,建立了问题的约束满足优化模型,并通过对垛高和钢管堆放规则的分析,提出了基于聚类和约束满足技术的两阶段求解算法.算法在第一阶段采用聚类的方式对待入库的钢管按照多重属性进行分组;在第二阶段利用约束满足技术对于每组钢管分别指派垛位及其在垛位上的具体位置,并通过约束传播动态缩减问题的搜索空间.最后将算法与经典的BFD(best fit deceasing)算法进行实验结果对比.实验结果表明,算法能够在保证倒垛次数最小的前提下,有效减少垛位数并具有良好的垛位利用率,模型及算法可行、有效.(本文来源于《北京科技大学学报》期刊2014年01期）
王海凤,薛美美,李铁克[3]（2013）在《基于约束满足的热轧无缝钢管生产排序模型与算法》一文中研究指出热轧无缝钢管生产过程复杂,其中热轧阶段的生产计划过程包括组批和生产排序两个阶段。笔者在假设组批完成的前提下,以生产跳跃惩罚最小为目标给出生产排序问题的约束满足模型,在此基础上利用节点互换算法对问题进行求解,重点解决无缝钢管生产计划中的生产排序问题。仿真实验结果验证了算法的有效性。(本文来源于《冶金自动化》期刊2013年03期）
田宇光,李加祥[4]（2013）在《基于约束满足的编队协同作战多实体资源受限优化配置模型》一文中研究指出针对编队协同作战中因资源配置不合理而导致出现冲突的问题,运用基于约束满足的方法,建立了多实体资源受限优化配置模型,并采用基于规则的启发式算法对模型进行求解和仿真计算,结果表明该方法简单、可行。(本文来源于《军事运筹与系统工程》期刊2013年01期）
王海凤,彭加霖,张茜[5]（2012）在《基于约束满足的热轧无缝钢管生产计划模型与算法》一文中研究指出热轧无缝钢管的生产计划与调度问题属于受约束的多目标组合优化问题,具有NP-hard的特点,本文在建立以生产跳跃惩罚最小为目标的约束满足数学模型基础上,设计了以约束传播为主的算法并通过数据实验验证了算法的有效性。(本文来源于《中国管理信息化》期刊2012年21期）
朱臻,高永明,王斌[6]（2014）在《灵活准则地面测控资源约束满足模型研究》一文中研究指出针对地面测控资源调度中复杂约束难以描述的问题,对地面测控资源及用户需求进行详细分析。将任务分解为阶段性的需求集合,用一种时序性约束描述各类需求间的逻辑关系,给出包括设备匹配约束、时间窗口约束、地面站冲突约束、卫星竞争约束、时序逻辑约束、星载可再生资源约束六类约束的表示方法。针对不同用户从资源利用,任务完成等角度提出的需求偏好,设计了任务优先级,任务集中以及设备均衡叁类原则,并进行仿真验证。初步实现了地面测控资源调度的复杂约束建模,为灵活需求偏好提供了一种设计思路。(本文来源于《计算机工程与应用》期刊2014年10期）
柏淑琴[7]（2012）在《高校排课问题的约束满足优化模型与算法》一文中研究指出高校排课问题对于教学计划正常进行具有重要意义。由于高校具有多学院、多教学楼、多排课需求的特点,此问题同时存在硬性约束和柔性约束,具有NP-难的复杂性。本文将高校排课问题映射为约束满足优化问题并建立了约束满足模型;通过对问题特征的分析,基于约束满足技术设计了求解算法。(本文来源于《科技视界》期刊2012年18期）
张文学,李铁克[8]（2011）在《基于约束满足的板坯设计模型与求解方法》一文中研究指出针对客户订单的重量需求为固定值、客户订单分配过程中有最小重量限制的板坯设计问题,建立了以最小化板坯数量为目标的约束满足模型.通过叁划分问题的多项式归结,证明了该问题是强NP难的;针对问题的特殊性质,给出了变量选择策略和值选择策略;提出了基于约束满足技术的求解算法,并证明了算法的收敛性;通过数据实验对算法的有效性进行了验证.(本文来源于《北京科技大学学报》期刊2011年05期）
沈静[9]（2011）在《约束满足问题的模型构造和相变现象》一文中研究指出约束满足问题(Constraint Satisfaction Problem,简称CSP)由一个变量集合和一个约束集合组成,通过为一组变量赋值来满足一组给定的约束.约束满足问题在人工智能、计算机科学等众多应用领域都具有十分重要的意义.随机CSP模型是随机CSP研究的基础.一个好的随机CSP模型,尤其是能产生难解实例的模型,对于我们研究CSP的性质和测试CSP算法的性能具有重要的作用.经典的CSP模型存在平凡渐近无解性问题,为了克服这个缺点,一些值域固定的模型在约束关系中加入特殊的组合结构,另一方面,一些学者开始研究值域可变的模型,如RB模型.在第二章中,受k增长的随机k-SAT模型和RB模型的启发,我们提出了一个新的随机CSP模型,称为d-k-CSP模型.对于d-k-CSP模型,如果值域大小d和约束作用域的长度k满足条件：对任意的正实数ε有klnd≥(1+ε)ln n,则d-k-CSP模型存在精确相变现象.如果值域大小d是常数,约束作用域的长度k随变量个数n的增加而呈对数增长,在这种情况下,d-k-CSP模型就是k-CSP模型；如果值域大小d=nα,约束作用域的长度k是常数,在这种情况下,d-k-CSP模型就是RB模型.在第叁章中,我们分析了d-k-CSP模型的归结复杂性,在d≥nα的情况下,约束作用域的长度k固定,d-k-CSP模型的不可满足实例对于树型归结证明有指数下界.对于d为常数和d=lnn这两种情况我们给出了实验结果,实验结果显示在这两种情况下,d-k-CSP模型会发生可满足性相变现象,且在相变点附近的实例是难解的.在d为常数和d=Inn的情况下,当变量个数n充分大时,值域大小d和约束作用域的长度k并不是很大,因此d-k-CSP模型可以产生非平凡的具有小值域的随机CSP实例,这对测试CSP算法是非常有用的.在第四章中,结合线性CSP模型和d-k-CSP模型的特点,我们提出了一个随机线性CSP模型,K-hyper-F-linear CSP模型,这个模型每个变量的值域都取相同的有限域F,从向量空间Fk中随机选取超平面作为约束关系,n是变量个数,k是约束作用域的长度,这里k是关于n的整值函数.我们证明了K-hyper-F-linear CSP模型存在精确的可满足性相变现象.与一些已有的线性CSP模型的结果相比,本文提供了一个基于一般讨论上的新证明,给出了更一般的结果；同时,随机产生的有限域上的n元线性方程组可看成K-hyper-F-linear CSP模型的特例.此外,讨论了高斯消去法判断随机线性方程组是否有解的算法复杂性,发现最坏情况出现在相变点附近.在最后一章中,总结了本文的主要结果.(本文来源于《华中师范大学》期刊2011-05-01）
唐硕[10]（2010）在《基于动态约束满足的软件过程调度模型》一文中研究指出由于在软件产品的开发过程中,需要安排的任务和资源约束过多,且由于外界因素的影响,软件开发项目处于一个动态环境中,因此确定任务的时序以及资源的分配需要耗费大量的精力和体力。如何调配资源分配任务才能满足项目需求,保证软件质量,保证资源得到最优配置,保证在最短的时间内完成所有的任务,是大规模软件开发必须解决的问题。由于软件过程的动态性,本文将软件过程划分为一系列任务,提出一种基于动态约束满足的软件过程调度模型,使得软件过程能够及时调整、改进,以适应不断变化的外部环境,有效地帮助软件企业在提高管理效率,降低管理成本。本文的主要工作是围绕约束满足问题而展开的,具体研究内容如下：文章首先介绍了约束满足问题的基本概念,讨论了约束满足问题求解策略,预处理技术,搜索次序对搜索效率的影响以及最优化约束满足问题等。然后本文系统地介绍了动态约束满足问题的概念,不同的问题类型与求解不同类型问题的方法,最后介绍了调度的概念,分析了软件过程调度中的难点。在此基础上,建立了基于动态约束满足问题的软件过程基本分析框架,并给出了其在软件过程问题中的应用实例,并通过实验证明该模型在实际应用中可行。(本文来源于《北京化工大学》期刊2010-05-22）
约束满足模型论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
针对钢管入库优化决策问题,建立了问题的约束满足优化模型,并通过对垛高和钢管堆放规则的分析,提出了基于聚类和约束满足技术的两阶段求解算法.算法在第一阶段采用聚类的方式对待入库的钢管按照多重属性进行分组;在第二阶段利用约束满足技术对于每组钢管分别指派垛位及其在垛位上的具体位置,并通过约束传播动态缩减问题的搜索空间.最后将算法与经典的BFD(best fit deceasing)算法进行实验结果对比.实验结果表明,算法能够在保证倒垛次数最小的前提下,有效减少垛位数并具有良好的垛位利用率,模型及算法可行、有效.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
约束满足模型论文参考文献
[1].涂雪平,李铁克.基于约束满足的产品动态替补模型及算法[J].计算机集成制造系统.2016
[2].董广静,施灿涛,李铁克,王柏琳.基于聚类--约束满足算法的钢管入库优化决策模型[J].北京科技大学学报.2014
[3].王海凤,薛美美,李铁克.基于约束满足的热轧无缝钢管生产排序模型与算法[J].冶金自动化.2013
[4].田宇光,李加祥.基于约束满足的编队协同作战多实体资源受限优化配置模型[J].军事运筹与系统工程.2013
[5].王海凤,彭加霖,张茜.基于约束满足的热轧无缝钢管生产计划模型与算法[J].中国管理信息化.2012
[6].朱臻,高永明,王斌.灵活准则地面测控资源约束满足模型研究[J].计算机工程与应用.2014
[7].柏淑琴.高校排课问题的约束满足优化模型与算法[J].科技视界.2012
[8].张文学,李铁克.基于约束满足的板坯设计模型与求解方法[J].北京科技大学学报.2011
[9].沈静.约束满足问题的模型构造和相变现象[D].华中师范大学.2011
[10].唐硕.基于动态约束满足的软件过程调度模型[D].北京化工大学.2010