论文部分内容阅读
基于差分演化算法提出了一种求解最大可满足问题（MAX-k-SAT）的改进算法,记为IBDE,并通过对一系列随机大规模MAX-k-SAT实例的求解进行验证。实验结果表明：IBDE是一种求解MAX-k-SAT问题非常有效的新方法。
一种求解MAX-k-SAT问题的新方法
【摘 要】
：
基于差分演化算法提出了一种求解最大可满足问题（MAX-k-SAT）的改进算法,记为IBDE,并通过对一系列随机大规模MAX-k-SAT实例的求解进行验证。实验结果表明：IBDE是一种求解MAX-k-SA
【机 构】
：
石家庄经济学院数理学院
【出 处】
：
河南科技学院学报：自然科学版
【发表日期】
：
2014年2期
【基金项目】
：
河北省教育厅高等学校科技研究项目（Z2013110）,河北省科技厅科研项目（13210128）
其他文献
为建立鸡肝脏蛋白质组学双向电泳方法,以SPF鸡肝脏样品为材料,对胶条长度、聚焦程序和DTT浓度进行了优化.结果表明：24 cm、pH3-10NL的IPG胶条比18 cm、pH3-11NL的IPG胶条的双
研究了不同温度和水解时间以及不同浓度的SDS对胰蛋白酶水解酪蛋白水解度的影响.结果表明：在酪蛋白浓度为4%、加酶量2 500 U/g、pH为7的条件下,选择温度为50℃,水解时间为80 m
以金光杏梅为试验材料，采用自然授粉、自花授粉和异花授粉以及花粉萌发试验等方法，对其授粉生物学特性进行研究．结果表明：对金光杏梅进行异花授粉可明显提高其坐果率，自然授粉坐果
对实验室保存的一株产α-淀粉酶的枯草芽孢杆菌的16S rDNA区进行克隆及序列分析.采用PCR克隆方法,对其菌株的16S rDNA区进行序列扩增,扩增产物经琼脂糖凝胶电泳,获得一个大小
以安徽涡河三桥工程为实例,介绍了斜拉桥水滴形主塔钢混结合段施工技术.针对水滴形主塔钢混结合段的施工特点,重点分析了T1-2节段固定、钢结构节段连接、钢混结合段测量、混
以硫酸锌为锌料，采用低温液相的方法合成了具有花状结构的纳米ZnO，并用XRD和SEM对样品进行了测试表征；考察了不同条件下制备的样品降解甲基橙的性能．结果表明：以碳酸钠做沉淀剂及3
针对传统考核方式存在的弊端,结合河南科技学院《大学计算机基础》课程教学的实际情况,采用C/S结构,基于.Net FrameWork、C#语言和数据库等技术设计并实现了智能评分考试系统
以百玉1号、百玉2号、先玉335、浚单20、郑单958和农乐988共6个玉米品种为材料，在小喇叭口期喷施化控药剂“玉黄金”，分析“玉黄金”对玉米单穗重、穗长、穗粗、穗行数、行粒数
利用雅致放射毛霉作为发酵豆渣渣感降低程度的一个参照菌株,用霉菌、酵母菌、细菌（从腐乳、豆酱、豆豉、霉豆渣、酱油渣、醪糟曲中分离纯化菌株）对豆渣进行纯种固态发酵,对改善
在研究移动IPv6快速切换协议（FMIPv6）的基础上,针对其存在的问题,提出一种优化的无缝快速切换方案.该方案引入新的控制信息协议（ICMPv6）控制消息和多隧道的概念,同时将转交地址（Co