论文部分内容阅读
对继承策略在求解SAT问题的严格算法中如何运用做了初步的研究,用继承策略改进了李初民于1997年提出的一种严格算法.改进后的算法速度提高5%左右.
一种采用继承策略的李初民算法的改进
【摘 要】
：
对继承策略在求解SAT问题的严格算法中如何运用做了初步的研究,用继承策略改进了李初民于1997年提出的一种严格算法.改进后的算法速度提高5%左右.
【机 构】
：
华中科技大学计算机学院
【出 处】
：
江汉石油学院学报
【发表日期】
：
2001年4期
【基金项目】
：
国家重点基础研究发展计划(973计划)
其他文献
根据油管漏磁无损检测的特点,分析了油管的磁化作用和其中存在的剩磁。针对油管剩磁的危害性,提出了油管退磁的基本方法,包括直流退磁、交流退磁和复合退磁,认为复合退磁效果
文中提出在数据结构与算法的课堂教学中引入趣味教学的方法，以激发学生的求知欲，调动学生的学习积极性与主动性。实践证明，趣味教学法提高了学生的学习兴趣，改善了教学效果。
塔里木油田轮古西奥陶系碳酸盐岩油藏埋藏深,油藏储集体形态各异,油水关系千差万别,导致开发难度大;碳酸盐岩基质基本没有渗流能力,裂隙和溶洞是主要的储集空间和渗流通道。
为了掌握青海省对农牧专业人才的需求和对高校毕业生专业、学历、素质和能力等方面的要求,项目组采用问卷调查的方法,对青海省用人单位的人才需求和对高校毕业生的要求以及订
对世界上地下储气８０年的历史进行了综合分析，认为储气库数量可望增多、储气层位更趋多样，高新技术广泛采用是现代地下储气发展的方向。针对我国建造地下储气库的空白，提出了建设性
第八届中国文化产业论坛上,北京大学教授提出了＂文化立国＂战略,具体包含五个方面,一是要提升中国文化的人文内涵、提升国民的精神高度;二是要推动中国传统文化的当代传播;三是
通过６种化学需氧量（ＣＯＤ）测定方法与重铬酸钾标准方法（ＧＢ１１９１４－８９）对比，找出了适于钻井污水ＣＯＤ的快速测试法－密封恒温法。由实验得出：该方法应用于钻井污水ＣＯＤ的测定，准确度高，精密度好，加标回收率为９５％￣１０２％，并同时达
分析了油田现场几种常用注水泵及其原理、结构特征，并对其密封技术性能进行了对比，根据理论和使用实际情况分析了其优缺点，预测了它们各自发展方向。
杂技艺术是中国传统表演艺术之一,是力与美、技与艺的完美融合。在全球化的今天,艺术的民族性显得尤为重要,杂技作为中华民族优秀文化的重要组成部分,对民族文化软实力的提升