排序方式: 共有11条查询结果,搜索用时 171 毫秒
1.
启发式分支策略是SAT求解器中不可或缺的一部分,直接影响求解器的效率。早期的启发式分支决策需要遍历整个子句数据库,效率比较低。随着独立变量状态衰减和(Variable State Independent Decaying Sum, VSIDS)分支策略的出现,SAT求解器的效率有所提高,但VSIDS策略以及它的延伸策略中变量的增量都只是与变量的冲突次数有关,没有考虑变量的决策层在分支策略中的影响。因此当发生冲突时,如果与冲突有关的变量的得分相同而决策层不同时,对于变量的选择就具有随机性。基于此,本文在阐述变量的决策层的重要性之后在VSIDS策略的基础上,提出一种基于变量决策层的启发式变量选择策略--HSVDL策略。然后通过实例显示HSVDL策略在变量决策阶段选择决策层低的变量的可能性比选择决策层高的变量的可能性要大,而且得分比较小,减少了内存的占用。最后通过实验表明HSVDL策略能够求解出更多的实例,求解器的效率也有所提高,说明该策略有一定的优势。 相似文献
2.
建立蜂蜜中氯霉素直接竞争酶联免疫吸附测定(enzyme-linked immunosorbent assay,ELISA)检测方法。以抗氯霉素单克隆抗体为包被原,氯霉素-辣根过氧化物偶联物为标记物,3,3’,5,5’-四甲基联苯胺作显色底物,对其主要影响因素,如标准品稀释液、包被温度、包被抗体稀释倍数等6?个因素进行优化,同时还对该方法的准确性和稳定性进行考察。结果表明:所建立的直接竞争ELISA标准曲线方程式为y=-17.425x+97.509,相关系数R2为0.991?2,IC50值为0.63?ng/mL,检出限和线性检测范围分别为(0.04±0.01)ng/mL和0.10~4.17?ng/mL;另外整个检测反应过程耗时约为40?min。蜂蜜样品的检出限和定量限分别为0.15?ng/g和0.33?ng/g,添加回收率在97.58%~100.94%之间,批内变异系数和批间变异系数均小于11%,表明该方法具有高精确度和稳定性。 相似文献
3.
4.
5.
青海油田所用钻井液基本为水基钻井液,对废弃水基钻井液的回收处理能减少环境危害。本文通过采用集中管理、回收使用、制作建筑材料、沙漠改良剂等循环经济模式进行探讨,为青海油田绿色钻井提供借鉴。 相似文献
6.
台风路径实质为二维平面上一段曲线,根据2条台风路径曲线的相似度可以判断其数值相似和形态相似,由此利用动态规整算法可以从历史台风数据库筛选出与目标台风相似的台风路径。同时考虑到台风路径信息的时间关联性,提出了长短时记忆网络预测模型。利用历史台风的经纬度信息,预测台风未来6小时位置信息,对比传统基于相似度预测台风路径方法,长短时记忆模型能够有效提高台风路径预测精度,模型更加稳定高效。 相似文献
7.
8.
9.
在P2P网络中,现有的信任模型中的反馈评价只是对服务质量简单评价,不能准确反映该节点的其他方面.不同的节点关注的反馈评价不同,信任模型不仅需要对服务可信度进行评价,还要对用户关心的其他问题进行评估.由于实验基于文件共享系统,我们将从文件可信度、带宽、服务过程、性能等方面计算出节点的信任值,在保证节点可信的情况下,根据用户的侧重点不同,其值有较大的不同.仿真实验表明,该模型不仅能够有效的抵御恶意攻击,而且能够满足用户的偏好需求,并且提供的评价更加客观、真实. 相似文献
10.
油用牡丹是我国新兴的木本油料作物,具有重要的观赏价值和油用价值。牡丹籽油是一种新资源食品,含有丰富的不饱和脂肪酸,具有抗氧化、调节糖脂代谢和预防心脑血管疾病等功效,营养价值和保健作用突出。除油用价值外,油用牡丹的根、花、叶、籽等部位还含有丰富的生物活性物质,主要包括单萜苷类、酚及酚苷类、低聚茋类、黄酮类、三萜类、脂肪酸类以及其他类等结构类型,具有较高的药用价值。目前关于油用牡丹的开发利用主要集中在牡丹籽油,花和叶等部位的精深加工和综合利用研究还相对滞后,有待进一步研究和开发。该研究对油用牡丹不同部位(籽、根、花、叶)的化学成分与开发利用两个方面进行综述,探讨制约油用牡丹精深加工的影响因素,以期为油用牡丹产业的综合开发利用提供依据。 相似文献