基于非二元约束满足的配置问题求解方法

来源 :计算机工程 | 被引量 : 0次 | 上传用户:sunzhaojian
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
依据产品的可配置性,提出基于非二元约束的逻辑产品模型,给出基于动态变量序的一类配置求解算法。采用仿真实验比较各种算法的求解效率,指出各算法在不同配置约束密度下快速求解配置问题时的适用范围。基于逻辑产品模型,依据配置问题实际性质,采用相应配置求解算法,能够更快地生成符合客户要求的产品配置方案。
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
描述了一款适用于超长指令字数字信号处理器的64位加法器的设计。该加法器高度可重构,可以支持2个64位数据的加法运算、4个32位数据的加法运算、8个16位数据的加法运算以及16
提出针对无线传感器网络分层结构的一种数据可靠传输算法。采用综合节点剩余能量、缓冲区可用率、信道错误率3因素的可靠路径与备选可靠路径策略,依据缓冲区空闲情况进行预拥
本文通过文献资料法、逻辑推理法、归纳总结法等研究方法,阐述了《趣味武术(段前级教程)》概况、小学校园实施段前级教程的有利条件及实施的意义。
简要介绍了红外传感器主要参数对其性能的影响规律,调研了EKV红外传感器的发展历程,对CE-II型EKV红外传感器的性能参数进行了估计,其在像元阵列、视场角和帧频方面应当有明显提
本文是一篇从历史人类学的角度出发,通过对凉州白塔寺建寺前后以及重修进行历时性的探讨来解释凉州文化的发展结构及变迁过程的研究。凉州自古至今都具有非凡的战略意义,丝绸之路的延续更是为这个交通重镇的传承与发展积淀了厚重的历史与文化。1247年“凉州会盟”的举行,更是令这座古城肩负了特殊的历史使命感,凉州的社会历史、文化等方面因此发生了巨大的转折。本篇文章包括绪论、五章正文以及结语三部分。绪论部分包括三个
根据城市道路交通安全问题现状,通过剖析影响城市道路交通安全系统的因素,从宏观和微观两方面建立城市交通安全问题预警体系,指导城市交通安全管理工作。
In order to study the linkage effects between degree of polymerization and frequency domain dielectric spectroscopy characteristics of oil-paper insulation, the
目的观察钢丝环扎、钢丝张力带、钛缆内固定3种不同内固定方法治疗髌骨下极骨折的效果。方法将我院1998--2012年收治的114例髌骨下极骨折根据所用内固定方法不同分为钢丝环扎
对特征抽取方法进行了研究,提出一种新的特征抽取方法,克服了Roman W等提出的特征抽取方法中缺乏鉴别信息的缺点。通过对高维的人脸数据用PCA和LDA降维,利用粗糙集理论中的属性