论文部分内容阅读
由于优化和约束程序各自具有扩充能力,它们开始有效地结合在一起.它们的结合有着广阔的商业前景,近些年来引起了研究者浓厚的兴趣.概述了各种优化中基于逻辑的方法,总结了约束程序研究领域的各种方法,并对优化和约束程序结合的框架进行了综述.
逻辑、优化及约束程序的综述
【摘 要】
：
由于优化和约束程序各自具有扩充能力,它们开始有效地结合在一起.它们的结合有着广阔的商业前景,近些年来引起了研究者浓厚的兴趣.概述了各种优化中基于逻辑的方法,总结了约
【机 构】
：
武汉理工大学,浙江大学
【出 处】
：
武汉理工大学学报：信息与管理工程版
【发表日期】
：
2005年1期
其他文献
分析了建设项目生命周期成本估价存在的困难，认为缺乏可靠的、有效的和一致的生命周期成本数据是当前生命周期成本估价理论应用的主要障碍。给出了建设项目生命周期成本数据搜
采用主成分分析法,提取影响橡胶性能的主要因素,再利用BP神经网络建立橡胶配方中填料对胶料性能影响的模型.研究结果表明,用该方法处理后的样本数据输入网络,网络结构得到简
针对高山台调频广播发射过程中由于信号源的不稳定造成的停播事故,介绍了FM播出控制系统,实践证明系统可有效防止由于信号不稳定及发射机功率异常带来的播出中断,保证了发射
记者承担着新闻工作的核心工程--采集、加工、传播新闻内容.因而记者所具有的职业素养便几乎涵盖了新闻素质的全部核心内容.所以,对于主持人来说,记者素质必不可少.
华北油田研建的BOSS业务运营支持系统（Business＆Operation Support System）是针对油田专网通信运营支撑而研建的综合业务运营和管理的支撑平台,是华北油田通信通信专网基础电信