论文部分内容阅读
由于优化和约束程序各自具有扩充能力,它们开始有效地结合在一起.它们的结合有着广阔的商业前景,近些年来引起了研究者浓厚的兴趣.概述了各种优化中基于逻辑的方法,总结了约束程序研究领域的各种方法,并对优化和约束程序结合的框架进行了综述.
逻辑、优化及约束程序的综述
【摘 要】
：
由于优化和约束程序各自具有扩充能力,它们开始有效地结合在一起.它们的结合有着广阔的商业前景,近些年来引起了研究者浓厚的兴趣.概述了各种优化中基于逻辑的方法,总结了约
【机 构】
：
武汉理工大学,浙江大学
【出 处】
：
武汉理工大学学报：信息与管理工程版
【发表日期】
：
2005年1期
其他文献
2008年4月28日,发生在我国的'胶济铁路相撞'事件造成多人死亡.就在火车相撞发生后不久,一位名为'ss山地师'的网民在贴吧内转发一条<火车相撞特大内幕!>的帖
分析了建设项目生命周期成本估价存在的困难，认为缺乏可靠的、有效的和一致的生命周期成本数据是当前生命周期成本估价理论应用的主要障碍。给出了建设项目生命周期成本数据搜
采用主成分分析法,提取影响橡胶性能的主要因素,再利用BP神经网络建立橡胶配方中填料对胶料性能影响的模型.研究结果表明,用该方法处理后的样本数据输入网络,网络结构得到简
《数据通信技术》课程是高职高专通信技术专业的一门必修专业课。在课程教学中引入CDIO模式,有助于学生学习和理解,提升学习效果及学生实践动手能力,同时还培养了学生的团队
掌握制作实用技术,学会对图片、字幕、动画和链接的实际运用,不仅可以顺利制作网页,还能够让网页变得丰富多彩,提高视觉效果。文章先介绍网页制作实用技术,然后对管理流程进
针对高山台调频广播发射过程中由于信号源的不稳定造成的停播事故,介绍了FM播出控制系统,实践证明系统可有效防止由于信号不稳定及发射机功率异常带来的播出中断,保证了发射
记者承担着新闻工作的核心工程--采集、加工、传播新闻内容.因而记者所具有的职业素养便几乎涵盖了新闻素质的全部核心内容.所以,对于主持人来说,记者素质必不可少.
华北油田研建的BOSS业务运营支持系统（Business＆Operation Support System）是针对油田专网通信运营支撑而研建的综合业务运营和管理的支撑平台,是华北油田通信通信专网基础电信
本文探索应用型本科院校广告学专业实践教学体系的建设策略，认为专业课程的实践化和实践环节设置的课程化是两条有效路径。二者兼顾，将使广告学专业的理论教学与实践教学得到有
Cell therapy stimulates bone neoformation in calvaria defects in rats subjected to local irradiation
Background:The purpose of the study was to analyze the effect of cell therapy on the repair process in calvaria defects in rats subjected to irradiation.Methods