位置：成果数据库 > 期刊 > 期刊详情页
基于约束的调度研究和实现
  • ISSN号：1002-8331
  • 期刊名称：《计算机工程与应用》
  • 时间：0
  • 分类：TP18[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构：[1]吉林大学计算机科学与技术学院，长春130012, [2]吉林大学符号计算与知识工程教育部重点实验室，长春130012
  • 相关基金：国家自然科学基金(编号:60073039;60273080)资助
作者： 张居阳[1], 礼欣[1], 孙吉贵[2]
关键词： 约束程序设计, 调度, 约束建模, 优化
中文摘要：

运用约束程序设计(CP)思想和技术来调度正成为一个新兴的研究领域。文章首先对CP和调度的相关领域知识进行了简要介绍；然后按照CP所倡导的问题建模和问题求解相分离的思想，建立起一般理论调度问题的约束模型，并设计实现了一个基于约束的调度求解算法CBS-1；并对一些典型问题进行了实验，实验结果表明算法提高了约束调度求解的效率和通用性。

同期刊论文项目
约束推理与约束程序
期刊论文 7
非经典逻辑的自动推理
期刊论文 13 会议论文 1
同项目期刊论文
一种求解粮食调运优化问题的两阶段方法
初教六型飞机仿真系统的数据采集与处理
基于GIS的物业管理信息系统的设计与实现
基于决策树分类方法的粮食轮换决策支持系统
基于广义产品结构的配置和集成研究
联机分析处理中的非规则维建模
一种基于PSO的动态聚类算法
最大度二元约束满足问题粒子群算法
基于语义tableau的一阶逻辑自动定理证明
求极小碰集的遗传算法
基于广义产品结构树的配置参数管理
Learning Hierarchical User Interest Models from Web Pages
Theorem Proving Based on Extension Rule
Knowledge Compilation Using Extension Rule
一种求解粮食调运优化问题的两阶段方法
基于决策树分类方法的粮食轮换决策支持系统
对基于模型的诊断过程的形式化
基于广义产品结构树的配置参数管理
期刊信息
  • 《计算机工程与应用》
  • 北大核心期刊（2014版）
  • 主管单位:中国电子科技集团公司
  • 主办单位:华北计算技术研究所
  • 主编：怀进鹏
  • 地址：北京市海淀区北四环中路211号北京619信箱26分箱
  • 邮编：100083
  • 邮箱：ceaj@vip.163.com
  • 电话：
  • 国际标准刊号：ISSN：1002-8331
  • 国内统一刊号：ISSN：11-2127/TP
  • 邮发代号:82-605
  • 获奖情况:
  • 1. 2012年首批获得中国学术文献评价中心发布的 “...,2. 2001年获得新闻出版署“中国期刊方阵双效期刊”,3. 2008年首批入选国家科技部“中国精品科技期刊...,4.2003年-2011年连续获得工业和信息化部期刊最高...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:97887