【摘 要】
：
在可满足性(Satisfiability,SAT)问题算法中提出有效的分支策略可以提高求解器的效率,文中主要从冲突分析的角度出发,依据变量是否发生冲突和冲突的次数,提出一种基于加权平
【基金项目】
：
国家自然科学基金项目:基于矛盾体分离的动态自动演绎推理研究(61673320)资助
论文部分内容阅读
在可满足性(Satisfiability,SAT)问题算法中提出有效的分支策略可以提高求解器的效率,文中主要从冲突分析的角度出发,依据变量是否发生冲突和冲突的次数,提出一种基于加权平均值的分支启发式方法。该方法首先采用一组序列来记录变量是否参与冲突;其次赋予一个加权平均函数,依据变量的序列和决策层求出函数值;最后选择具有最大的函数值变量赋值,执行实例分析比较。由于该方法是对控制编码方法的改进,因此在进行例子分析时,采用了比较法和分析法,同时分析比较了所提方法、SUM(Sum in experiment)策
其他文献
人们在酒店消费的除了住宿这种基本的物质消费以外,更是在消费一种心情与体验。体验设计在酒店空间中的应用就是要打造一种舒适自然、高体验感、具有人性关怀的空间氛围。而
不同剂型盐酸左旋咪唑驱除猪寄生线虫效果观察高永士，吴中田，秦玉涛（安徽阜阳市畜牧站，２３６００５）使用不同剂型的盐酸左旋咪唑对７９头感染寄生线虫猪进行驱虫效果观察。一、材料与方法１．药品盐酸
随着国际海事组织(IMO)2020年限硫新规的实施,今后几年,低硫燃料油市场缺口大、价格高,低硫燃料油和高硫燃料油价差存在不确定性。高硫燃料油转化升级有多种可行路线,例如,延
<正>在巴黎,当我踏进属于法兰西学院的中文图书馆时,我呆住了:几百平方米的阅览大厅里,沿壁整整齐齐排列着台湾出版的"中国地方志丛书"、《道藏》和《佛藏》;解放前大陆出版
以聚丙烯接枝马来酸酐（PP-g-MAH）为相容剂,采用双螺杆共混法制备聚丙烯/乙烯-乙烯醇共聚物（PP/EVOH）共混物.利用毛细管流变仪研究PP/EVOH共混物的流变行为,研究了共混物配比、剪
在对影响多媒体课堂教学质量的因素分析中发现，教师态势语运用的弱化是一个不客忽视的因素。通过对比态势语及其它传统教学手段在不同课堂教学环境下的作用，我们认为出现这种情
在海洋石油SZ36-1CEP平台挡风墙项目施工过程中,为解决挡风墙所用Q235钢材在海上盐雾环境中易腐蚀的问题,采用0Cr18Ni9不锈钢薄板进行替换。针对现场焊接1 mm厚的不锈钢薄板
非酒精性脂肪性肝病是全球最流行的肝脏疾病,其疾病谱包含非酒精性脂肪肝、非酒精性脂肪性肝炎、与非酒精性脂肪性肝炎相关的纤维化、肝硬化和肝细胞癌。非酒精性脂肪性肝炎
黄河流域水资源保护局于2002年成功建设了黄河花园口、潼关两座水质自动监测站,填补了国内多泥沙河流水质自动监测技术的空白.水质自动监测站为水量调度实时水质监控、突发性
将车站补票系统作为客票系统业务延伸,弥补客票系统在车站补票领域的空白,完备客票系统对铁路旅客运输统计分析中的数据来源。研究提出车站出站口补票系统的总体框架、网络结