论文部分内容阅读
提出了将混合约束问题转化为混合整数规划问题的方法.用约束求解方法及混合整数规划方法共同求解混合约束问题可以令二者相互借鉴,从而促进二者求解技术的进一步发展.同时,由混合约束问题转化而来的混合整数规划问题也可作为求解混合整数规划问题的测试问题(benchmarks).
约束求解与优化技术的结合
【摘 要】
：
提出了将混合约束问题转化为混合整数规划问题的方法.用约束求解方法及混合整数规划方法共同求解混合约束问题可以令二者相互借鉴,从而促进二者求解技术的进一步发展.同时,由
【机 构】
：
中国科学院软件研究所计算机科学实验室,中国科学院软件研究所计算机科学实验室
【出 处】
：
计算机学报
【发表日期】
：
2005年11期
其他文献
移动代理是一种软件程序,它漫游在计算机网络中,经过不同的主机代替用户执行一定的任务,但是它也带来了许多新的有关面临恶意代理与主机安全的问题.路由安全就是移动代理技术
提出具有某些相同算法特征的广函数的概念,并且具体讨论了纵横矩阵加工广算法这一类广算法的定义和定理,直接推导出这类广算法的串行、倍增并行、纵横并行、多维并行等各种不
近年来行动推理的研究成为人工智能领域的热门问题,而结果问题是目前行动推理研究的核心问题之一.该文针对许多行动推理系统不能处理循环因果关系的问题,提出了解决方法.基于
目的建立骨伤黄药散中姜黄素的含量测定方法。方法 HPLC法,AKasilC18柱（4.6mm×250mm,5μm）,流动相：乙腈-4%冰醋酸水溶液（48：52）,检测波长430nm。结果姜黄素线性范围为0.0455～0.