【摘 要】
：
可满足问题一直是AI领域的一个核心问题,提高求解可满足问题的算法的效率一直都是该领域的一个重要研究课题。通过对基于扩展规则的算法IER的分析指出制约该算法效率的地方,
【机 构】
：
大庆师范学院计算机科学与信息技术学院
【基金项目】
：
大庆师范学院科学研究基金项目（12ZR08）
论文部分内容阅读
可满足问题一直是AI领域的一个核心问题,提高求解可满足问题的算法的效率一直都是该领域的一个重要研究课题。通过对基于扩展规则的算法IER的分析指出制约该算法效率的地方,然后提出了基于分裂规则和扩展规则的完备的算法。该算法通过分裂规则将问题分解成一系列的规模较小的问题,然后用基于扩展规则的方法对小规模的问题进行求解,最终得到原问题的解。
其他文献
近日，由连云港迎雁新材料公司自主研发和生产的“迎雁”牌碳纤维自行车成功下线，这标志着碳纤维系列民用产品的研发取得初见成效。连云港迎雁新材料公司是中复神鹰碳纤维有限公
据报道，中色奥博特铜铝业有限公司将提升铜铝材加工总量，按计划到2015年达到48万t水平，同时实现年产值230亿元，利税15亿元。为此，中色奥博特在未来3～5年，将重点建设年产3万t内螺纹铜
在视频录像文件中,每张视频图片都包含时间戳图像。理解时间戳图像表示的时间数据,有助于筛选在特定时间段内的视频或图片。本文采用Keras神经网络接口实现数字识别模型,解析视频图片的时间戳信息,解决视频分析中的时间段筛选问题。实验结果也表明,新方法在时间戳识别方面,准确度达到99%以上,证实了新方法的有效性。
本文提出了一种以四轴飞行器为采集信息工具的农田检测方案,采用单片机为控制核心,将传感器采集的温度、湿度、PH等参数进行处理并汇集,再通过无线射频方式与四轴飞行器进行
采用三维建模方法实现虚拟场景技术已经非常成熟,但这种三维场景仅具有浏览效果,缺乏人机交互性。本文通过采集实地三维地理数据,构建虚拟地理场景,利用开源的OSG三维驱动引擎,设计和开发出校园虚拟地理场景系统,最终实现三维场景渲染,天气环境模拟,漫游,三维导航等人机交互功能。该系统可以根据用户需求加载不同三维场景,帮助用户模拟三维应用问题,降低研究成本。
公路网传感设备运行的有效性和可靠性对整个智能交通系统的安全、平稳运行起着决定性作用。开发公路网传感设备的故障信息数据库并实现数据存储,以实现对公路网传感设备整体
为解决高功率固体激光装置能源系统金属化膜储能电容器组两种故障模式的保护问题,分析了相应的两种保护方法的优点和缺点,其中重点研究并改进了爆炸丝保护方法。根据Tucker的
本文基于典型的自适应学习系统模型,以大数据思维为基础,从教育数据挖掘和学习分析两个角度去阐述系统中核心模块预测模块构建的思路及目标,对预测模型建立要解决的核心目的
在刚刚闭幕的全国新闻出版工作会议上,柳斌杰署长在回顾了＂十一五＂巨大成就的同时,讲到我们行业还存在着四个方面不完全适应的问题：一是产品的质量和数量问题;二是产业的集中度
变电站中雷击、开关操作以及故障引起的强电磁脉冲对保护控制电缆和弱电设备产生很大的干扰,为了研究干扰机理,基于快速傅里叶变换方法研究了高频脉冲电压电阻分压器。通过实