重启策略相关论文
由于NP难解问题的结构难以被解析的了解,人们常常在算法中引入随机化技术,许多求解NP难解问题的算法都可以看作是随机算法.一般的......
已有研究表明,在SAT求解器中引入重启可以极大地提高求解性能,并已出现了许多不同重启策略.目前还缺少全面的对比分析研究.为了避......
为降低冲突驱动子句学习SAT求解器的运行计算成本,从＂何时重启＂和＂何处重启＂两个角度入手,提出一种动态启发式重启策略2WSAT.该策略将......
NP难解问题是计算机算法和理论界长期研究的课题.在求解NP难解问题时,随机算法的性能往往很不稳定.在以往的实验中,人们发现基于重......
CDCL SAT求解器在形式验证等领域应用广泛,但重启策略众多且参数控制复杂,导致通常选择默认参数下的策略,从而降低求解器的效率和......
径向基函数（Radial Basis Functions）由于具有良好的近似效果和运算简单的特点,被应用于全局优化中,成为解决黑箱函数全局优化问题的......
换流器自清除技术的逐渐成熟使得基于架空线路输电成为柔性直流输电的发展趋势。架空线路输电时瞬时性故障概率较大,因此需配置有......
为有效进行偏航控制,降低偏航成本,本文在介绍偏航系统工作原理的基础上,把风力发电机偏航系统控制策略分为重启对风策略和执行对......
CDCL(Conflict Driven Clause Learning)SAT求解器在形式验证等领域应用广泛,在实际应用中的大量NP问题已经被证明可以转化为SAT问......
统一潮流控制器(UPFC)是一种能够独立、快速、精确、连续控制系统电压和潮流的最新一代柔性交流输电系统装置,为解决城市电网发展......
