基于限位數(shù)理論與方法 ,介紹了計(jì)算機(jī)算法理論P(yáng)/NP問題中,關(guān)鍵集成電路問題（SAT）求解方法 ,運(yùn)用子句包含消去的方法,可以求出SAT問題全解;引進(jìn)二進(jìn)制數(shù)據(jù)糾纏態(tài)表示,將邏輯電路的合取范式（CNF）用表格表示;在糾纏態(tài)數(shù)據(jù)表達(dá)基礎(chǔ)上,設(shè)計(jì)了能夠同時(shí)處理2n個(gè)數(shù)據(jù)的并行處理器（SAT process unit,SPU）;用EDA軟件和開發(fā)板將SPU組合到自己設(shè)計(jì)的教學(xué)CPU結(jié)構(gòu)中,形成了既能串行計(jì)算,又能并行計(jì)算的仿量子計(jì)算機(jī)系統(tǒng)。仿量子計(jì)算機(jī)設(shè)計(jì)可推動(dòng)國內(nèi)集成電路產(chǎn)業(yè)和計(jì)算機(jī)產(chǎn)業(yè)的跨越發(fā)展。 

【文章頁數(shù)】：7 頁

【文章目錄】：
0 引言
1 仿量子計(jì)算機(jī)結(jié)構(gòu)
2 驗(yàn)證機(jī)指令系統(tǒng)
3 解決實(shí)際問題
    3.1 數(shù)據(jù)密碼鎖
    3.2 邏輯電路可靠性檢測
    3.3 子句消去法
4 并行計(jì)算基礎(chǔ)理論
5 子句包含消去法實(shí)例
6 包含消去法計(jì)算程序
7 糾纏態(tài)數(shù)據(jù)表示
8 結(jié)論


【參考文獻(xiàn)】：
期刊論文
[1]SAT問題子句消去法快速求解[J]. 姜詠江,陳躍.  工業(yè)技術(shù)創(chuàng)新. 2016(06)
[2]補(bǔ)碼制理論的理解[J]. 姜詠江.  計(jì)算機(jī)工程與應(yīng)用. 2004(05)



本文編號：3680749