论文部分内容阅读
对继承策略在求解SAT问题的严格算法中如何运用做了初步的研究,用继承策略改进了李初民于1997年提出的一种严格算法.改进后的算法速度提高5%左右.
一种采用继承策略的李初民算法的改进
【摘 要】
：
对继承策略在求解SAT问题的严格算法中如何运用做了初步的研究,用继承策略改进了李初民于1997年提出的一种严格算法.改进后的算法速度提高5%左右.
【机 构】
：
华中科技大学计算机学院
【出 处】
：
江汉石油学院学报
【发表日期】
：
2001年4期
【基金项目】
：
国家重点基础研究发展计划(973计划)
其他文献
根据油管漏磁无损检测的特点,分析了油管的磁化作用和其中存在的剩磁。针对油管剩磁的危害性,提出了油管退磁的基本方法,包括直流退磁、交流退磁和复合退磁,认为复合退磁效果
文中提出在数据结构与算法的课堂教学中引入趣味教学的方法，以激发学生的求知欲，调动学生的学习积极性与主动性。实践证明，趣味教学法提高了学生的学习兴趣，改善了教学效果。
分析了油田现场几种常用注水泵及其原理、结构特征，并对其密封技术性能进行了对比，根据理论和使用实际情况分析了其优缺点，预测了它们各自发展方向。