论文部分内容阅读
热轧调度中的板坯排序问题是一类特殊的排序问题，具有约束条件复杂、NP难特点。为了简化问题，将板坯排序问题转化为一个约束满足问题处理。给出板坯排序问题的约束满足模型，设计了基于约束满足和启发式混合求解算法。用3组实际生产数据对算法性能进行验证，说明了算法的有效性。
约束满足技术在板坯排序中的应用
【摘 要】
：
热轧调度中的板坯排序问题是一类特殊的排序问题，具有约束条件复杂、NP难特点。为了简化问题，将板坯排序问题转化为一个约束满足问题处理。给出板坯排序问题的约束满足模型，设计
【机 构】
：
北京科技大学管理学院,石家庄邮电职业技术学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2007年9期
其他文献
针对目前声望模型普遍无法有效建立信任链的问题,提出了一种利用评价偏离度进行信任传递的方法。该方法利用平均偏离度作为评价者之间距离度量的尺度,对两个没有共同交互伙伴
法治有着深刻的历史底蕴。其要义是＂良法之治＂。法治蕴含多元价值要素。正确认识和把握法治,具有重大的现实和战略意义。
基于电子技术基础教材编写的现状,根据多年高职电力类专业电子技术教学经验及广泛的调研收资分析,结合近年来专业改革和课程建设成果,提出电力类专业电子技术教材的编写指导
作为非线性代数方程组消元的一种探索,提出了基于准线性的变换消元法。用该方法对基于有理参数曲面的逆映射进行了一些探讨,并得到参数曲面的隐式方程。所提出的准线性变换消元法可应用于涉及非线性代数方程组求解的几何定理机器证明、计算机辅助设计、机器人等多个领域,具有十分重要的理论意义与实用价值。
平顶山市是水利部于2010年7月确定的第四批全国节水型社会建设试点,本文通过介绍其在试点期间的组织管理情况、规划目标任务完成情况和试点建设目标实现情况,总结平顶山市节
汉语分词词典是中文信息处理系统的重要基础。词典算法设计的优劣直接关系着分词的速度和效率。论文采用动态TRIE索引树的词典机制，设计并实现了汉语分词词典，有效地减少了词典
研究不确定广义系统的时滞依赖鲁棒镇定问题。利用Lyapunov泛函方法，得到一个线性矩阵不等式（LMIs）形式的时滞依赖稳定与镇定判据。新方法考虑一些以前方法中通常忽略的有用的项