一种推广化符号轨迹赋值中伪报错的改进算法

来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户:poss8879
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍了推广化符号轨迹赋值中常用的模型检验强可满足性算法,分析了产生伪报错的原因,提出了一种降低伪报错的改进算法.该算法在前算法的基础之上减少了边的计算量,降低了由于抽象带来的伪报错问题,从而大大提高了计算过程中的准确率.实验结果表明,该改进算法在降低伪报错和减少计算量方面有明显提高.
其他文献
互信息是文本分类中常用的特征选择方法.提出了一种新的基于互信息的特征选择方法.首先分析了特征选择影响文本分类精度的因素,将这些因素组合起来表征特征对于分类的强弱,并用公
分析了Montgomery模乘算法及其几种实现方式,指出FIPS方式是适合乘加器结构VLSI实现的一种算法.给出了FIPS方式的数据通路和控制部分的实现方案.提出了在选择不同的操作数位宽的
俄国著名学者维诺格拉多夫在文学修辞学中创立的核心概念———"作者形象",使文艺作品内部相对独立的语言形式和思想内容实现了有机的统一,给人们对文艺作品的解读提供了一个新
为了适应目标旋转、尺度、场景光照等变化,利用B样条曲线表达目标轮廓,结合变形模板技术对运动目标的轮廓进行跟踪.在跟踪过程中,沿着模板曲线的法线方向检测目标轮廓,提高了检测效率.根据同一曲线上相邻点间的相关性,对检测所得的轮廓点集的坐标序列进行中值滤波,有效降低噪声干扰.将检测到的轮廓点集在形状空间匹配,使目标轮廓的形变限制在一定范围之内,有效抑制噪声和背景边缘特征的干扰.仿真试验表明,该算法能够有
词汇表作为国家教育部制定的课程标准的一部分,其权威性和重要性不言而喻。词汇表的编制是一项很细致的工作,从宏观上要把握词汇学习在培养综合语言运用能力过程中的定位,从
以惯性导航系统的校正为应用背景,提出了一种基于SOPC技术设计导航解算系统的实现方案.介绍了解算系统设计的原理,重点研究了系统硬件平台的设计以及系统应用程序的开发.本方案设
移动计算是历史上发展最快的消费技术。但是65%的世界甚至还不能上网。这说明真正的变化才刚刚开始。
设计了一种来复丝杆式自动排绳(管)装置,通过链传动机构、来复丝杆、导向滑块、导向头等保证入绳(管)角度和自动变换绳(管)的排列方向,实现自动排绳(管)。现场应用表明,该装置实现了
推特(Twitter)的足迹正迅速增长。尽管美国的英语用户仍是推特最大的用户群体,互联网研究公司Semiocast一共检测到了由61种语言发出的推文,来源覆盖了世界上大部分国家。现在推特
在斯坦福大学校园一个杂乱的芯片制造实验室里,马克斯·苏拉克(Max Shulaker)正在手工制作世界上最小的计算机电路.苏拉克是一名电气工程学研究生,他正在参与一项开拓性
期刊