排序方式: 共有3条查询结果,搜索用时 15 毫秒
1
1.
在实际应用中通常需要求解对应CNF(ConjunctiveNormalForm)公式之间仅相差几个子句的一系列SAT(SatisfiabilityProblem)问题,但目前绝大多数SAT求解算法都是针对单一SAT问题设计的。为此,基于DPLL提出了nDPLL算法,并在随机问题上对该算法的效率进行测试。实验结果表明,nDPLL算法能一次性求解多个SAT问题,对于特定范围的CNF公式集具有较高的效率,CNF公式集的规模越大、相近因子越高、子句数和变量数的比值越大,则nDPLL算法的效率越高。 相似文献
2.
一种求解车间调度的混合算法 总被引:4,自引:0,他引:4
针对流水车间作业调度问题, 提出了一种基于``alldifferent'约束的混合进化算法(Hybrid particle and genetic algorithm, HPGA), 将粒子群算法、遗传操作及模拟退火策略有效地结合在一起. 为了提高算法的求解质量, 引入了一种随机邻域搜索策略. 最后将此算法在不同规模的实例上进行了测试, 并与其他几种最近提出的具有代表性的算法进行了比较. 结果表明, 无论是在求解质量还是收敛速度方面都优于其他几种算法. 相似文献
3.
为有效解决数字地震观测通信网络不稳定的问题,提出了基于SDH和ADSL双链路冗余的通信网络设计思想.对通信网络需求及特点进行分析,设计了通信网络的拓朴结构和组网方案,然后通过调整不同路由协议之间的管理距离值和主备链路代价值的方法,设计了基于SDH和ADSL双链路互为备份和自动切换的路由策略,实现了通信网络的高可用性.网络的实际运行结果表明了该设计思想的有效性和可行性. 相似文献
1