论文部分内容阅读
Parallel solving model for quantified boolean formula based on machine learning
【机 构】
：
School of Computer Science and Engineering, South China University of Technology, Guangzhou 510640,
【出 处】
：
中南大学学报（英文版）
【发表日期】
：
2013年11期
其他文献
一个Minkowski平面的几何性质完全确定该平面上某些特殊曲线性质，例如度量椭圆和Cassini曲线的性质;反过来我们很自然的关心这些特殊曲线的性质能否决定它们所在平面的性质.本
词汇的学习在电子英语学习中的作用不言而喻,职业院校学生单词记忆的状况比较堪忧,本文分析了目前学生在电子词汇记忆策略中存在的问题和现状,介绍了四种主要的词汇记忆策略
本文在Polovko的scaled-half-logistic寿命分布的基础上，引入了位置参数和形状参数，构造了两个新分布，对这两个分布，研究了其分布特征和各个参数的估计。
对于含有位置-刻度
科学和工程中的许多问题是由时滞微分方程来描述的，例如：控制系统、细胞生物学、激光器以及人口增长模型等。通常，时滞微分方程没有整体的光滑解，因此它比常微分方程更难处理。已
近几年来,中共广东省委以“三个代表”重要思想为指导,把开好领导班子民主生活会作为加强班子思想政治建设的一项重要内容,通过省委领导带头,加强指导等有效措施,提高了民主
随着油田的逐步开发，油井含水上升、地层出砂、管杆偏磨等日益严重，造成作业频繁，严重影响了油井的正常生产，增加了油气生产成本。因此，对目前的采油工艺进行完善和改进，适应油田开
无线传感器网络集合了嵌入式控制技术、传感器技术、数据处理技术以及网络通信技术的优点，通过用户控制，完成工作区域的信息采集、环境监测等任务.由于其具有成本低、效率高、
当今电话市场的现状是语音业务的进一步增长已出现停滞,新开发的业务,例如彩铃、彩信、移动QQ等,基本上都已经脱离了基本语音业务的范畴.对于电信运营商来说,如何继续拓展拥
针对胜二区沙三段砂层组特高含水期开发状况复杂、调整效果变差等问题，对厚油层开展了细分韵律层研究。通过精细储层对比，将胜二区沙三段中1层细分为6个储层，5个不稳定发育的隔