基于DPLL的混合遗传算法求解SAT问题

基于"聚类排序选择"优化遗传算法求解SAT问题时,引入交叉算子和变异算子,并根据适应度函数及问题本身特性,调节阈值δ,生成新的种群聚类。这种遗传算法有效地抑制了算法的延迟收敛,从而保证了为可满足性公式能够快速找到一个可满足性指派。同时,在遗传算法中引入了DPLL算法,对部分变元进行消解,提高了算法的求解效率。相关的实验数据表明,本算法的性能明显优于同类算法。     

百元机箱好选择 金达飞虹1000B

飞虹1000B是最近金达推出的百元机箱的一款,该机箱主要以黑色为主色调,前面板采用了高光面板,在机箱前面板右下方配上了类似扬声器设计的金属网面,金属网后面还加上了海绵网隔离灰尘,加以红色大装饰圈点缀,机箱形象更鲜明,活泼。     

Visual Basic程序设计课案例教学法的探索与实践

财经类院校的计算机程序设计语言的传统教学方法已经很难适应目前学生现状,导致该类高校的学生学习程序的兴趣不浓。案例教学法的形象、生动、高效果的特点已被逐渐应用。以山东某财经类院校为背景．介绍案例教学法在计算机Visual Basic程序设计教学中的探索和应用。     

中高端产品线更新 HD5830显卡选购经验谈

近期的显卡市场可谓风起云涌,随着AMD新一代HD5830显卡的正式上市,整个中高端产品线迅速更新。众所周知,在原来的产品线上,HD5850与HD5770之间存在明显的价格空隙：二者不仅价格相差1299元,而且性能差距也相差甚大。因此在1000至2200元的价格段中,明显存在着一款产品可供用户选择,这时新一代HD5830就成为了大家共同期待的对象。如今AMD如期发布了这款显卡,我们是否应该出手呢？     

VB程序设计中控制结构的应用分析

VB程序设计中控制结构是关键的编写程序的基础,只有在程序设计中很好的将三种控制结构很好的结合起来,才能避免错误的出现,导致死循环。     

索尼VPCS129GC笔记本电脑 智动人心的商务享受

性能,是原来阻隔在便携式电脑和台式电脑之间不可逾越的一座分水岭。通常是注重性能的用户选择了台式机,而在乎便携性的用户选择了笔记本电脑。随着芯片技术的发展,如今的笔记本电脑也可以拥有骄人的性能,这次来到我们PCLabs中国实验室的VPCS129GC就是这样一款可以跟大多数台式机比拼性能的硬角色。     

将局部二进制模式应用于动态纹理识别的新方法

动态纹理的处理、描述与识别是纹理分析的热门领域。动态纹理是对普通纹理在时间域方面的扩展,包括动态特征和静态特征。基于LBP算法的扩展提出的VLBP算法较好的描述了动态纹理特征,但是计算量过大,模板过多。本文提出了一种由VLBP算法改进的基于局部二进制运动模式的特征提取方法用以动态纹理的描述和识别,它包括提取动态特征和提取静态特征两部分。将LBP算子做为块匹配准则提取局部二进制运动模式柱状图做为动态特征的描述,提取LBP柱状图做为静态特征的描述,并将二者连接得出描述动态纹理特征的联合的局部二进制运动模式柱状图。通过对DynTex集实验的结果表明,本文提出的方法在性能和识别率方面均要优于VLBP。     

在线旅游业务中Web页面主体块提取方法研究

Web信息提取是在线旅游业务的重要技术。页面的主体语义块集中了最主要的信息量,它的正确提取是Web信息提取的基础。本文在对现有页面分割方案总结的基础上,提出了结合机器学习方法的Web页面主体语义块节点识别算法,并基于启发式规则对正结果集进行后续的校验,以定位最佳的主体语义块节点。通过实验,本文提出的方案达到了比较理想的准确率。     

低带宽全搜索VBSME结构的优化设计

为支持H.264/AVC可变块运动估计(VBSME)要求,提出一个高性能的二维脉动阵列结构,该结构具有数据重传次数少,存储器带宽要求低的特性.对结构中存在大量延迟寄存器开销的问题,用基于数据流的AON网络模型对阵列结构的计算依赖关系进行分析,并使用动态规划算法,得到了优化的结构设计.     

不同种类支持向量机算法的比较研究

介绍一种新型的机器学习方法-支持向量机.论述了不同种类支持向量机算法并指出了每种算法的优劣.实验结果显示了核函数中选择合适的参数对分类器的效果是很重要的,通过实验还重点比较了Chunking、SMO和SVMlight三种典型分解算法,并分析了训练速度优劣的原因.文章最后给出了今后SVM研究方向的一些预见.