论文部分内容阅读
提出了一个求解难可满足性问题的简单混合算法.拟人和禁忌表两个策略被给出.数值实验表明,对于一类公认比较难的可满足性问题,该算法胜过目前据认为是最好方法之一的NOVELTY算法.
求解难可满足性问题的混合算法
【摘 要】
：
提出了一个求解难可满足性问题的简单混合算法.拟人和禁忌表两个策略被给出.数值实验表明,对于一类公认比较难的可满足性问题,该算法胜过目前据认为是最好方法之一的NOVELTY
【机 构】
：
厦门大学计算机与信息工程学院
【出 处】
：
小型微型计算机系统
【发表日期】
：
2003年8期
其他文献
在VOD(Video-On-Demand)系统中,由多服务器组成的机群比单一的VOD服务器具有更好的可扩展性,同时异构机群比同构机群有更好的实用性、灵活性,也面临更复杂的负载平衡问题.在
变量个数大于6的逻辑函数可以称为高变量逻辑函数.逻辑函数的化简方法有公式法和图形法两种.一般认为,对于高变量逻辑函数的化简,图形法没有实用价值.本文观点与此不同,认为
建筑工程现场施工管理是一个复杂且繁琐的管理行为,文章从建筑工程现场施工管理的内涵出发,介绍了建筑工程施工管理的任务、内容和原则,在此基础上列举了当前施工管理中所存
目前,国内外对儿童预防保健工作非常重视,而对儿童心理学方面的研究及护理,尚未得到广泛的重视.儿童在预防接种时,由于环境改变及对疼痛的恐惧,多表现为胆怯害羞、执拗或过分
氟哌啶醇用于临床治疗精神病已30余年,一般认为该药抗精神病作用强,副作用小,对内脏器官特别是对心脏影响较小.但本人通过对40例病人服用氟哌啶醇后做40次心电图详细观察后却
受视频编码方法3D-ESCOT的启发,提出了一种新的基于三维小波系数上下文模型的视频编码方法.该方法分为:首先,利用人眼视觉模型(HVS)对经过三维小波变换的小波系数进行量化;然后利用空间和时间相邻的系数对当前系数进行预测,以预测值的量化值作为上下文,对系数进行基于上下文的算术编码.该方法具有空间和时间分辨率可扩展性质,在视频传输中能够自动适应不同类型设备和网络带宽的变化.实验表明,该方法不仅在每
我们采用以维生素Ａ醋酸酯为原料，经维滴希反应，热转位的方法制备胡萝卜素。产品经检测，符ＧＢ８８２１０８８及美国药典１９９０年版标准，技术水平达领先水平。