约束满足问题论文

论文摘要一个约束满足问题是否易于求解是与它的结构密切相关的。研究表明有着限制结构的约束满足问题是易于处理的,对于结构为无环的约束满足问题可以在多项式时间内求解。因此对于约束分解...

论文摘要与传统“一对多”的课堂教育相比,远程教育的最大优势在于能够借助各种计算机技术满足学习者的个性化需要,实现“以学生为中心”的差异化教学。为此,近年来一系列支撑个性化学习的...

论文摘要二叉判定图这种数据结构主要用来表示逻辑表达式,而现在人们已经研制了一些表示方法:比如二叉判定树、真值表、卡诺图等等,但是对于这些表达方式而言,存储空间的需要比较大,还存...

论文摘要随着科技的进步和产品竞争的加剧,客户对产品的个性化要求不断提高。传统的大批量生产方式已经不能满足制造业企业的需求,大批量定制模式正在逐渐取代大批量生产模式,从而成为现代...

论文摘要网络的融合与开放使得未来的业务具有更加丰富的信息资源和更加多样的表现手段,同时也意味着未来的业务环境更加复杂多样。下一代业务环境所面对的将是跨越语音与数据,固定与移动,...

论文摘要面对全球化浪潮和个性化买方市场的冲击,越来越多的企业认识到针对市场瞬息万变的顾客需求快速进行产品配置以争取顾客将成为未来企业间竞争的焦点。产品配置问题的核心是产品配置方...

论文摘要为了解决企业能够根据用户的需求来定制产品的问题,基于知识表示的产品配置器应运而生,它是人工智能技术的一个重要应用。本文首先分析了产品配置器的工作机理及约束满足问题(CS...

论文摘要产品配置设计是在人类踏入信息社会，科技革命不断深入的背景下出现的。在科技推动生产力空前发展的今天，人类社会满足其成员各种各样需求能力得到极大的提高。从作坊式生产、大规模...

论文摘要定性空间推理技术对于研发新一代的智能空间信息处理系统起着关键性的作用,但无论是在理论方面和应用方面的研究都还不是很完善。本文从理论方面和应用角度对定性空间推理进行了研究...

论文摘要约束满足问题与调度问题在实际生产生活有大量的应用，它们的求解技术是人们研究的重点。本文主要针对离散粒子群算法求解约束满足问题和调度问题作了研究。主要工作包括：提出了取整...

论文摘要本文围绕人工智能领域中空间推理和时空推理中的一些热点问题,展开了研究和讨论。总结以往时空推理的研究工作,特别是时空逻辑方面的工作,研究如何建立更好的时空模型,并提出了可...

论文题目:基于约束的产品配置方法和产品优化配置研究论文类型:博士论文论文专业:机械制造及其自动化作者:李伟导师:刘光复关键词:产品配置,约束满足问题,本体论,知识表示,知识推理...