排序方式： 共有16条查询结果，搜索用时 23 毫秒
1.
启发式分支策略是SAT求解器中不可或缺的一部分，直接影响求解器的效率。早期的启发式分支决策需要遍历整个子句数据库，效率比较低。随着独立变量状态衰减和（Variable State Independent Decaying Sum, VSIDS）分支策略的出现，SAT求解器的效率有所提高，但VSIDS策略以及它的延伸策略中变量的增量都只是与变量的冲突次数有关，没有考虑变量的决策层在分支策略中的影响。因此当发生冲突时，如果与冲突有关的变量的得分相同而决策层不同时，对于变量的选择就具有随机性。基于此，本文在阐述变量的决策层的重要性之后在VSIDS策略的基础上，提出一种基于变量决策层的启发式变量选择策略--HSVDL策略。然后通过实例显示HSVDL策略在变量决策阶段选择决策层低的变量的可能性比选择决策层高的变量的可能性要大，而且得分比较小，减少了内存的占用。最后通过实验表明HSVDL策略能够求解出更多的实例，求解器的效率也有所提高，说明该策略有一定的优势。 相似文献
2.
采用2.32μm的可调谐二极管激光器(TDL)测量了一氧化碳(CO)气体v(0→2)振动带R转动带从R(4)至R(12)9条谱线在N_(2)为背景气下的碰撞展宽系数,且与HITRAN数据库对比并给出了谱线展宽系数随转动量子数的变化关系。本文通过采用WM-DAS方法提高实验信噪比,在不同压力(1~100 kPa)下采用Voigt(VP),Rautian(RP),Galatry(GP)和Speed-dependent Voigt(SDVP)模型对实验测量吸收率进行拟合并探究各类线型不同参数随压力的变化关系。本文还以R(10)谱线为例测量了该谱线在He,N_(2)和Ar为背景气下的碰撞展宽系数和压力频移系数,并探究了Dicke收敛系数和速度依赖性系数随压力变化的非线性关系,且通过定义残差-吸收峰值比,分析了不同背景气下R(10)谱线的收敛效应。最后,本文结合该波长范围内CO谱线的吸收强度、展宽特性和抗H_(2)O分子光谱干扰能力,推荐R(6)和R(10)两条谱线用于工业现场测量CO浓度。 相似文献
3.
先进的SAT求解器能够通过有效的分支启发式策略解决大型应用实例.目前VSIDS策略是最具有代表性的基于冲突分析的分支策略,它因其稳健性而被广泛使用,但在每次冲突分析中其判定变量活性的增量方式过于单一.针对此问题,本文提出了一种基于变量混合特征的分支启发式算法,目的是充分地利用参与冲突分析的变量所携带的不同信息特征来区分变量,来进一步指导变量活性增长.并将所提出的分支策略算法嵌入到Glucose4.1中形成求解器Glucose4.1+MFBS,通过对比测试,实验结果表明改进的分支算法比原本的VSIDS策略,具有一定的优势,求解明显个数增加. 相似文献
4.
论文对概念格构成所依赖的形式背景作了研究,针对形式背景中的对象集,提出了每个对象并不是孤立存在而是相互作用和相互影响的观点。定义了基于对象间相互作用的一系列相关概念,对于相互作用下不断变化的属性值引入属性加权法,结合概念定标原理,将动态多值背景通过两次转换化为静态单值背景,进而对其进行形式概念分析。 相似文献
5.
6.
7.
通过猜想以定理形式提出了L伽罗瓦连接与伽罗瓦连接之间的关系,在此基础上加以证明,从而得出了伽罗瓦连接是L伽罗瓦连接的特殊情况。将伽罗瓦连接扩展到更一般的情况,为模糊概念格的研究提供了又一重要的结论。再对L伽罗瓦连接进行研究,引入了3对算子,以其中1对为例进行证明算子是满足L伽罗瓦连接的。 相似文献
8.
答案抽取是问答系统的核心部分,本文根据汉语本身的特点,采用了本体论方法,借鉴了概念格的思想,提出了一种基于概念匹配度模型的中文问答系统。该系统通过计算与问题概念节点的匹配度,就可以抽取出查询问题的答案。该模型采用了定量计算,缩短了问题—答案匹配时间,并通过实例证明了该模型是有效的。 相似文献
9.
分析了Pal的模糊边缘提取算法的缺陷,即图像增强区域单一、图像增强后造成低灰度信息的损失、没有做抑噪处理。并针对Pal的模糊增强算法的缺陷提出一种改进的基于模糊增强的边缘提取算法。通过定义新的隶属函数和一种新的模糊增强算法,结合图像平滑滤波处理进行图像边缘提取,有效地增强了边缘信息且抑制了噪声的干扰,并给出了该方法在图像边缘提取中的应用实例。 相似文献
10.