局部搜索算法论文

论文摘要随着社会的发展，产品制造业中，为了适应激烈的市场竞争以及客户的个性化与多样化的需求，多品种、中小批量的生产方式已经被大多数企业所接受。在这种离散的生产方式下，易出现产品...

论文摘要满足性问题是研究如何判定一个任意给定的逻辑表达式是否存在可满足真值指派,它是人工智能、计算理论和理论计算机科学中的最瞩目问题之一,它是第一个被证明的NP完全问题,在计算...

论文摘要组合优化是通过数学方法的研究去寻找离散问题的最优筛选、分组、排序等,是运筹学中的一个重要分支,所研究的问题涉及信息技术、经济管理、工业工程、交通运输、通讯网络等诸多领域...

论文摘要可满足性问题（SAT）研究如何判定一个任意给定的逻辑表达式是否存在可满足真值指派。SAT在数理逻辑、人工智能、计算机算法设计与分析以及工程应用等领域有着重要的地位,而且...

论文摘要人工神经网络(ARTIFICIALNEURALNETWORK)是信息科学与高技术研究领域中一门令人瞩目的新兴学科,它是一种在对人脑组织结构和运行机制的认识理解基础之上模...