【摘 要】
：
针对一类典型的约束满足问题??JOB－SHOP调度问题,在深度优先搜索算法的基础上,给出了形式化的约束一致性实施、操作选择策略和开始时间选择策略以及启发式的约束一致性实施和
【机 构】
：
中国科学技术大学计算机科学与技术系
论文部分内容阅读
针对一类典型的约束满足问题??JOB－SHOP调度问题,在深度优先搜索算法的基础上,给出了形式化的约束一致性实施、操作选择策略和开始时间选择策略以及启发式的约束一致性实施和不完全回跳策略,从而提高了求解JOB－SHOP调度问题的效率.“,”In this paper, the authors discuss how to solve a set of typical constraint satisfaction problems, Job Shop scheduling problems. Based upon the depth first search, formal strategies of enforcing consistency, selecting operation and selecting start time are given, heuristic strategies of enforcing consistency and incomplete back jumping are introduced to further enhance the efficiency in solving Job Shop scheduling problems.
其他文献
怎樣作視導報告書和建議書,對於許多視導員來講,直到现在還是個困難問题。每一個视導員不僅想知道對视導報告書應該提出什麼要求,而且想知道應該用什麼方式去作報告書。比如
预湿上浆技术在国外已经比较成熟了。但是引进费用很高，双浆槽预湿上浆约150万人民币。安徽飞亚纺织发展股份有限公司以较低的费用在G142B-180型浆纱机上进行预湿上浆实践，获得
提出一种便于异构数据源集成的公共数据模型??OIM对象模型.它基于带根连通有向图,图中可出现环路,因而能自然地描述复杂对象与其成员对象间的引用关系和WWW上HTML文件间的链
通过分析得出了函数型程序的并行计算模型??任务树,并应用该模型分析了任务划分中的任务粒度和并行度等主要因素对加速比的影响,提出了优化的任务划分算法,最后给出了在一个分布符号处理系统PARLISP中的实现结果“,”In this paper, task tree is introduced to model a parallel functional program on distributed and message passing platform. Based on this model, the m
数据挖掘(DATAMINING)被认为是解决“数据爆炸”和“数据丰富,信息贫乏(DATARICHANDINFORMA－TIONPOOR)”的一种有效方法.关联规则(ASSOCIATIONRULES)是数据挖掘的重要研究内容
本公司1996年引进40台比利时毕加诺Delta-190型喷气织机，1998年开始生产CJ14.6/14.6 524/394 170防羽布，其附加值高，一直畅销。但因种种原因，该品种织造效率一直较低，而且随着配棉
定义了备查点间隔之间的先于关系,并对分布式系统执行的语义正确性进行了约束,证明了逆时先于现象是产生多米诺效应的本质,提出了多米诺避免、多米诺检测与消除、多米诺容忍
SAQ系统是一个进行软件规约获取、检验和复用的实验系统,其中以上下文无关文法表示的概念是规约的一部分.SAQ要求将概念的词法和句法定义结合在一个上下文无关文法中.如果用
PVA历来被认为是涤棉产品上浆的理想浆料，但随着产品结构的变化和纯棉细号高密织物的生产，PVA-1799的广泛使用，其缺点也日益显现出来，主要表现在：浆膜强力大，在浆纱时分绞阻力大，浆
我不敢相信,而又不能不信的消息终于来了,不治的病毕竟夺去了您的生命。欧阳先生!您终于离开了我们,永远地离开了我们了!这个不幸的消息,使得全国戏剧界的同志们都禁不住同