期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
SAT问题子句消去法快速求解 被引量:1
1
作者 姜咏江 陈跃 《工业技术创新》 2016年第6期1255-1259,共5页
布尔可满足性问题(SAT)是最基本的NPC问题,直接涉及到集成电路设计优化、生物基因、人工智能、互联网等诸多领域的快速计算。给出了一种子句消去法,运用限位数、子句块和关联段等概念,探索出了用确定法则快速求出SAT满足解的计算方法,... 布尔可满足性问题(SAT)是最基本的NPC问题,直接涉及到集成电路设计优化、生物基因、人工智能、互联网等诸多领域的快速计算。给出了一种子句消去法,运用限位数、子句块和关联段等概念,探索出了用确定法则快速求出SAT满足解的计算方法,为纯离散变量计算找到了一种新途径。 展开更多
关键词 SAT问题 限位数 子句消去法 子句 关联段 多项式时间复杂度
原文传递
仿量子计算机设计
2
作者 姜咏江 《微纳电子与智能制造》 2020年第1期5-11,共7页
基于限位数理论与方法 ,介绍了计算机算法理论P/NP问题中,关键集成电路问题(SAT)求解方法 ,运用子句包含消去的方法,可以求出SAT问题全解;引进二进制数据纠缠态表示,将逻辑电路的合取范式(CNF)用表格表示;在纠缠态数据表达基础上,设计... 基于限位数理论与方法 ,介绍了计算机算法理论P/NP问题中,关键集成电路问题(SAT)求解方法 ,运用子句包含消去的方法,可以求出SAT问题全解;引进二进制数据纠缠态表示,将逻辑电路的合取范式(CNF)用表格表示;在纠缠态数据表达基础上,设计了能够同时处理2n个数据的并行处理器(SAT process unit,SPU);用EDA软件和开发板将SPU组合到自己设计的教学CPU结构中,形成了既能串行计算,又能并行计算的仿量子计算机系统。仿量子计算机设计可推动国内集成电路产业和计算机产业的跨越发展。 展开更多
关键词 限位数 集成电路问题 数据纠缠态 SPU 子句包含消去法
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部