《可逆邏輯綜合》是2011年2月1日由科學出版社出版的圖書，作者是管致錦。
基本介紹
- 書名：可逆邏輯綜合
- 作者：管致錦
- ISBN：9787030300492, 7030300491
- 頁數：209
- 出版社：科學出版社
- 出版時間：2011年2月1日
- 裝幀：平裝
- 開本：16開
內容簡介,目錄,
內容簡介
《可逆邏輯綜合》以作者和課題組多年來可逆邏輯綜合工作為基礎，但又不囿於此。撰寫中把可逆邏輯綜合基礎與最新研究成果相融合，以可逆邏輯門級聯為主線，從簡單可逆邏輯門級聯出發，逐步拓展可逆門級聯的種類，引入相關的可逆邏輯綜合理論和方法。《可逆邏輯綜合》系統介紹可逆邏輯門、可逆邏輯函式與可逆邏輯門網路及其相互關係，分析可逆邏輯和可逆邏輯門的本質特徵，反映可逆邏輯門網路的結構特點和內涵特性，並給出相應的表示；較為全面地給出傳統可逆邏輯門到擴展可逆邏輯門可逆邏輯綜合的相關理論和方法。出版社是科學出版社。
《可逆邏輯綜合》可作為高等院校計算機、電子信息、通信等專業高年級本科生和研究生課程的參考用書，同時對相關研究人員也具有指導意義和參考價值。
目錄
前言
第1章 緒論
1.1 引言
1.2 可逆計算
1.3 可逆計算中的邏輯綜合
1.3.1 可逆邏輯綜合的概念
1.3.2 可逆邏輯綜合的意義
1.4 可逆邏輯綜合中的主要問題
1.4.1 可逆邏輯門的級聯
1.4.2 最小代價問題及其實現
1.4.3 無用輸出信息位
1.4.4 可逆邏輯綜合的規模
1.4.5 可逆邏輯綜合方法
1.5 本書的主要任務和內容
第2章 可逆邏輯與可逆邏輯門
2.1 關於可逆
2.2 可逆邏輯中的布爾代數
2.3 可逆邏輯函式
2.3.1 問題的提出
2.3.2 可逆邏輯函式實現
2.4 可逆邏輯門
2.4.1 一位可逆邏輯門
2.4.1 Feynman門
2.4.3 簡單交換門
2.4.4 雙控制門
2.4.5 控制交換門
2.4.6 多位控制反門
2.5 可逆邏輯門的表示
2.6 可逆邏輯門的通用性
第3章 可逆邏輯門網路
3.1 可逆邏輯網路結構
3.2 可逆網路的級聯
3.3 可逆網路的表示
3.4 可逆邏輯門網路基本元素的產生
3.5 可逆邏輯門的級聯
3.6 可逆網路門的計數
3.6.1 Toffoli門計數
3.6.2 Toffoli門網路級聯
3.6.3 實驗及結果分析
第4章 可逆網路的構造
4.1 可逆網路結構的表示
4.1.1 平行線與垂直線編號
4.1.2 可逆網路的一種結構編碼
4.1.3 一種組合可逆網路的構造
4.2 一種可逆網路輸出向量的序號表示
4.2.1 序號的定義
4.2.2 逆序序列與輸出向量的一一對應關係
4.2.3 輸出向量序號表示
4.3 一種可逆網路構造算法
4.3.1 算法
4.3.2 實例
4.3.3 實驗結果及分析
第5章 Toffoli門可逆網路綜合
5.1 基本算法
5.1.1 基本算法的算法實現
5.1.2 實例
5.2 雙向算法
5.2.1 雙向算法的算法實現
5.2.2 實例
5.3 控制位的最佳化
5.3.1 雙向最小寬度算法的算法實現
5.3.2 實例
5.4 三種方法結果比較
5.4.1 三種算法之間的比較
5.4.2 三種算法與Benchmark對比
第6章 典型可逆門簇網路組合級聯
6.1 典型可逆門簇網路模型
6.2 對網路的輸入/輸出位及垂直線編號
6.3 典型可逆門簇基本元素庫的構造
6.4 實驗結果及分析
第7章 正反控制門簇可逆網路級聯
7.1 正/反控制門
7.2 正/反控制門的可逆邏輯綜合
7.2.1 正反控制門可逆網路級聯算法
7.2.2 正/反控制門級聯網路的化簡
7.2.3 實驗結果及分析
7.3 正/反控制門簇的可逆網路級聯
7.3.1 正/反控制門簇的可逆網路級聯算法
7.3.2 實驗結果與分析
第8章 可逆函式複雜性網路綜合
8.1 基本定義
8.2 正反控制門的可逆綜合
8.2.1 PNC門的生成與級聯
8.2.2 實例驗證
8.2.3 化簡
8.3 結果分析
第9章 不可逆邏輯函式的可逆構造
9.1 基本定義
9.2 可逆邏輯網路的MCMT門描述
9.2.1 可逆邏輯網路
9.2.2 AND/OR運算到AND/0R運算的轉換
9.3 多輸出邏輯函式的轉換
9.3.1 積項的表示與運算
9.3.2 多輸出積項的運算
9.3.3 算法
9.3.4 結果的正確性驗證
9.4 驗證結果分析
第10章 置換群與可逆網路級聯
10.1 可逆門與群
10.2 可逆邏輯門網路與置換
10.3 真值表的變換
10.4 綜合及最佳化
10.4.1 規則最佳化
10.4.2 綜合
10.4.3 對換級別的最佳化
10.4.4 門級別的最佳化
10.4.5 舉例
10.4.6 討論
10.5 基於置換群的可逆邏輯網路構造
10.5.1 置換群與可逆網路
10.5.2 可逆門的生成
10.5.3 可逆網路的構造
10.5.4 實例驗證
第11章 可逆邏輯網路的最佳化
11.1 基本定義
11.2 模板分類
11.3 模板的套用
11.4 實驗結果
11.5 模板的重構
11.5.1 重構
11.5.2 最佳化
11.5.3 實驗結果
11.6 Toffoli-Fredkin網路最佳化
11.6.1 Box門
11.6.2 Fredkin門與Toffoli門相似性的解釋
11.6.3 算法
11.6.4 模板化簡工具
11.6.5 討論
第12章基於PPRM的可逆邏輯綜合
12.1 關於PPRM
12.2 PPRM展開式的構造
12.2.1 PPRM展開式的構造方法
12.2.2 PPRM展開式的展開過程
12.3 基於PPRM構造可逆邏輯網路
12.3.1 生成PPRM擴展式
12.3.2 綜合算法
12.3.3 PPRM化簡
12.3.4 數據結構
12.3.5 實例
12.3.6 實驗結果與分析
12.3.7 算法分析與改進
12.4 幾種基於PPRM的可逆邏輯網路綜合
12.4.1 基於PPRM的可逆邏輯網路綜合的快速算法WHH（f）
12.4.2 深度搜尋解空間樹的算法DFS（ibaigh，irow）
12.4.3 BBF算法
12.4.4 實驗結果與分析
12.4.5 深度優先搜尋最優可逆網路的算法DFC（irow）
12.4.6 調用算法DFC生成可逆邏輯網路的算法DFM（f）
12.5小結
參考文獻
