免费论文
收费论文
发表论文
我要投稿
设为首页 招标网
联系我们
经济学|管理学|法学|计算机|医学|教育|文学|政治|艺术|哲学|更多 经济学|管理学|法律|计算机|医学|教育|文学|政治|艺术|哲学|更多
 论文搜索
  推荐服务: 论文发表 收费论文
期刊论文格式
毕业论文格式
期刊论文范文
毕业论文范文
论文致谢
毕业论文答辩
开题报告
论文选题
英文摘要书写
基于约束的现代调度系统研究
中文名称: 基于约束的现代调度系统研究
全文提供: 购买充值卡,就可下载本篇论文全文  
论文编号: 3116380收藏本论文】【我的收藏】【我要投稿
英文名称: Research on Constraint-based Modern Scheduling System
学位类型: 博士毕业论文
作者: 涉及隐私,隐去***  作者本人请参看权力声明>>
导师: 涉及隐私,隐去***
毕业学校: 涉及隐私,隐去***
专业: 计算机软件与理论
毕业年份: 涉及隐私,隐去***
关键字: 人工智能 约束程序 现代调度 约束求解 约束传播 资源受限调度 在线调度 半在线调度 离散逻辑 约束优化
简介目录: 点击此处 免费索取本论文简介和目录>>
全文提供: 购买充值卡,就可下载本篇论文全文  

       论文发表:快速、低价、包过!发表论文就找论文天下

论文摘要: 现代调度问题往往都是NP完全问题,具有高复杂、动态随机等特性.本文主要研究内容为基于约束的现代调(略)束程序设计方法来求解现代调度问题,从而拓展了约束程序设计在求解组合优化问题方面的应用领域.主要工作包括:通过对一般工业调度问题的深入研究,建立起基于多值逻辑的调度约束模型和模型库;设计了三种完备约束优化调度算法和三(略)规则,设计了一种新的通用离散资源约束处理策略,从而完善了一般调度问题求解的通用方法库;首次运用约(略)在线/半在线调度问题求解进行了研究;实现了基于约束求解的调度算法,构架出基于约束的调度建模和求解类库框架,并调用此类库对一些典型问题进行了实验测试,运行结果良好.
In the real world, combinatotial optimization problems are ub(omitted)most of which are NP completed problems. S(omitted)g this kind of problem efficiently has great research value in theory, and especially resolving those problems, such as resource allocat(omitted)hop scheduling, timetabl(omitted)outing, still has very important realism significance and commerce significance. Scheduling is a kind of important(omitted)on optimization question, and is for realize some goal but to the resources impl...
目录:
第1章 绪论第8-36页
  ·约束满足与约束优化第9-21页
    ·约束问题第9-10页
    ·约束满足问题求解第10-17页
    ·动态约束满足问题求解第17-18页
    ·约束优化问题求解第18-20页
    ·软约束满足问题第20-21页
  ·约束程序第21-25页
    ·CP 组成第22-23页
    ·CP 实现第23-24页
    ·CP 应用第24-25页
  ·调度及其方法第25-33页
    ·车间调度问题第26-30页
    ·现代调度问题第30-32页
    ·基于约束的调度第32-33页
  ·本文工作第33-36页
第2章 调度中的约束建模第36-48页
  ·基于约束的调度模型第36-40页
    ·任务和作业第37-38页
    ·资源第38-40页
    ·目标函数和优化指标第40页
  ·约束模型第40-46页
    ·约束类别第40-44页
    ·基于离散逻辑的约束建模第44-46页
  ·优化指标约束建模第46页
  ·基于离散时间的时间建模第46-47页
  ·小结第47-48页
第3章 完备优化调度算法第48-55页
  ·直接使用CSP 求解器的二分调度算法第48-49页
  ·基于目标约束优化的调度算法第49-50页
  ·分支界限整型优化算法第50-52页
  ·小结第52-55页
第4章 通用资源约束处理第55-70页
  ·基于调度规则的方法第55-57页
  ·EDGE-FINDING 约束消解规则第57-59页
  ·三个启发式调度规则第59-62页
    ·基于争用度和依赖度的调度规则第59-60页
    ·基于Bslack 的调度规则第60-61页
    ·基于基本工件组的调度规则第61-62页
  ·基于E-FC 的通用资源处理方法第62-69页
    ·资源约束传播事件第63-65页
    ·资源约束传播算法e-FC第65-67页
    ·算例测试第67-69页
  ·小结第69-70页
第5章 在线/半在线调度约束求解第70-79页
  ·基于动态约束满足的在线调度第70-73页
    ·在线调度第70-71页
    ·在线调度动态信息分析第71-73页
  ·基于单调约束的半在线调度第73-78页
    ·半在线调度第73-74页
    ·动态约束建模和单调性第74-75页
    ·通用动态约束求解算法第75-78页
  ·小结第78-79页
第6章 系统实现与实验结果第79-102页
  ·总体设计第80-81页
  ·SCHEDULER 设计说明第81-86页
  ·实验结果第86-101页
    ·一元资源约束调度问题第87-89页
    ·车间作业调度问题第89-92页
    ·基于订单任务的生产排程问题第92-97页
    ·资源约束项目调度问题第97-99页
    ·半在线Ship-loading 问题第99-101页
  ·小结第101-102页
第7章 总结与展望第102-104页
参考文献第104-112页
作者读博士期间完成的论文与参加的科研项目第112-114页
致谢第114-115页
附录第115-116页
摘要第116-119页
ABSTRACT第119-122页
本类相关论文:
·故障诊断中t/k诊断策略及遗传诊断算法研究
·基于贝叶斯模型的文档分类及相关技术研究
·人工免疫优化算法及其应用研究
·面向不确定性推理和数据分析的模式识别方法研究
·遗传算法的模式理论及收敛理论
·最小二乘支持向量机及其在工业过程建模中的应用
·基于支持向量机的变结构控制方法研究
·蚁群优化算法的理论研究及其应用
·支持向量机在智能建模和模型预测控制中的应用
·基于DNA计算的遗传算法及应用研究
人工智能论文 约束求解论文
·特殊岩性岩心实验分析新方法研究
·气动人工肌肉座椅减振特性的研究
·支持向量机在阵列电磁传播测井资料处理中的应用
·基于扩展规则的若干SAT问题研究
·人工内分泌情感模型研究
·特征模型直接操作中约束求解方法的研究
·利用三次Bezier曲线求解几何约束问题算法的
·欠(过)约束几何约束求解问题完整化算法的研究
·约束求解的推理技术研究
·基于约束传播的约束求解方法研究
约束传播论文 约束优化论文
·约束满足技术的研究及在生产调度中的应用
·基于定量信息的定性仿真研究
·基于约束传播的约束求解方法研究
·定性推理在概念设计中的应用研究
·基于定性推理的机构辅助概念设计研究
·约束优化问题的罚函数的研究
·量子遗传算法的改进及其在火电机组负荷优化分配上
·锥模型信赖域算法研究
·基于约束优化方法的多目标优化算法
·非单调无导数的增广拉格朗日方法
  推荐期刊投稿
·外交评论-外交学院学报
·中国行为医学科学
·遥测遥控
·包装与食品机械
·党史研究与教学
·高中数理化(高一版)
·财政研究
·新闻出版交流
·交通环保
·现代语文(语言研究版)
 
·创作
·东方企业文化
·城市公用事业
·临床小儿外科杂志
·云南地税
·林业调查规??/a>
·炼油与化工
·中国介入心脏病学杂志
·文艺争鸣
·现代食品科技
 
·课外阅读
·国际关系学院学报
·邯郸医学高等专科学校学报
·重庆医科大学学报
·山西煤炭
·教育实践与研究(中学版)
·东北财经大学学报
·江苏科技大学学报(社会科学版)
·大地构造与成矿学
·牡丹江大学学报
   免费论文
公共管理 | 法学 | 理学 | 医药学
政治 | 社会学 | 文学 | 艺术 | 哲学
工学 | 计算机 | 文化 | 英语论文
经济学 | 财政 税收 | 证券金融
管理学 | 会计审计 | 工商管理 | 教育
财务管理 | 论文写作指导 | 应用文
   收费论文
马列毛邓 | 哲学宗教 | 社会科学
政治法律 | 军 事 | 经 济
文化科学教育体育 | 语言文字
文学 | 艺术 | 历史地理 | 自然科学
数理化 | 天文 | 生物科学 | 医药卫生
农业科学 | 工业技术 | 交通运输
航空航天 | 环境安全
   浏览历史

联系论文网 | 收费论文 | 发表论文 | 论文翻译 | 友情链接 | 全部分类 | 网站地图 | 期刊导航
版权所有 2008-2018 论文天下 www.lunwentianxia.com 京ICP备08104503号