图书介绍
可逆逻辑综合PDF|Epub|txt|kindle电子书版本网盘下载
- 管致锦著 著
- 出版社： 北京：科学出版社
- ISBN：9787030300492
- 出版时间：2011
- 标注页数：209页
- 文件大小：11MB
- 文件页数：221页
- 主题词：电子计算机－逻辑设计
PDF下载
下载说明
可逆逻辑综合PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1章 绪论1
1.1引言1
1.2可逆计算2
1.3可逆计算中的逻辑综合4
1.3.1可逆逻辑综合的概念4
1.3.2可逆逻辑综合的意义4
1.4可逆逻辑综合中的主要问题5
1.4.1可逆逻辑门的级联5
1.4.2最小代价问题及其实现6
1.4.3无用输出信息位7
1.4.4可逆逻辑综合的规模7
1.4.5可逆逻辑综合方法7
1.5本书的主要任务和内容10
第2章 可逆逻辑与可逆逻辑门12
2.1关于可逆12
2.2可逆逻辑中的布尔代数13
2.3可逆逻辑函数15
2.3.1问题的提出15
2.3.2可逆逻辑函数实现20
2.4可逆逻辑门21
2.4.1一位可逆逻辑门22
2.4.2 Feynman门22
2.4.3简单交换门24
2.4.4双控制门25
2.4.5控制交换门26
2.4.6多位控制反门27
2.5可逆逻辑门的表示28
2.6可逆逻辑门的通用性28
第3章 可逆逻辑门网络30
3.1可逆逻辑网络结构30
3.2可逆网络的级联32
3.3可逆网络的表示39
3.4可逆逻辑门网络基本元素的产生40
3.5可逆逻辑门的级联40
3.6可逆网络门的计数42
3.6.1 Toffoli门计数42
3.6.2 Toffoli门网络级联44
3.6.3实验及结果分析45
第4章 可逆网络的构造46
4.1可逆网络结构的表示46
4.1.1平行线与垂直线编号46
4.1.2可逆网络的一种结构编码47
4.1.3一种组合可逆网络的构造48
4.2一种可逆网络输出向量的序号表示49
4.2.1序号的定义49
4.2.2逆序序列与输出向量的一一对应关系49
4.2.3输出向量序号表示50
4.3一种可逆网络构造算法51
4.3.1算法51
4.3.2实例52
4.3.3实验结果及分析54
第5章Toffoli门可逆网络综合61
5.1基本算法61
5.1.1基本算法的算法实现61
5.1.2实例62
5.2双向算法63
5.2.1双向算法的算法实现63
5.2.2实例63
5.3控制位的优化64
5.3.1双向最小宽度算法的算法实现64
5.3.2实例65
5.4三种方法结果比较66
5.4.1三种算法之间的比较66
5.4.2三种算法与Benchmark对比68
第6章 典型可逆门簇网络组合级联70
6.1典型可逆门簇网络模型70
6.2对网络的输入／输出位及垂直线编号70
6.3典型可逆门簇基本元素库的构造72
6.4实验结果及分析74
第7章 正反控制门簇可逆网络级联76
7.1正／反控制门76
7.2正／反控制门的可逆逻辑综合77
7.2.1正反控制门可逆网络级联算法77
7.2.2正／反控制门级联网络的化简78
7.2.3实验结果及分析80
7.3正／反控制门簇的可逆网络级联85
7.3.1正／反控制门簇的可逆网络级联算法86
7.3.2实验结果与分析89
第8章 可逆函数复杂性网络综合94
8.1基本定义94
8.2正反控制门的可逆综合96
8.2.1 PNC门的生成与级联96
8.2.2实例验证97
8.2.3化简101
8.3结果分析101
第9章 不可逆逻辑函数的可逆构造104
9.1基本定义104
9.2可逆逻辑网络的MCMT门描述106
9.2.1可逆逻辑网络106
9.2.2 AND/OR运算到AND/OR运算的转换107
9.3多输出逻辑函数的转换110
9.3.1积项的表示与运算110
9.3.2多输出积项的运算112
9.3.3算法113
9.3.4结果的正确性验证115
9.4验证结果分析117
第10章 置换群与可逆网络级联119
10.1可逆门与群119
10.2可逆逻辑门网络与置换122
10.3真值表的变换131
10.4综合及优化132
10.4.1规则优化132
10.4.2综合133
10.4.3对换级别的优化134
10.4.4门级别的优化135
10.4.5举例135
10.4.6讨论137
10.5基于置换群的可逆逻辑网络构造137
10.5.1置换群与可逆网络137
10.5.2可逆门的生成141
10.5.3可逆网络的构造146
10.5.4实例验证152
第11章 可逆逻辑网络的优化154
11.1基本定义154
11.2模板分类156
11.3模板的应用158
11.4实验结果161
11.5模板的重构162
11.5.1重构162
11.5.2优化162
11.5.3实验结果165
11.6 Toffoli-Fredkin网络优化166
11.6.1 Box门166
11.6.2 Fredkin门与Toffoli门相似性的解释167
11.6.3算法168
11.6.4模板化简工具173
11.6.5讨论176
第12章 基于PPRM的可逆逻辑综合178
12.1关于PPRM178
12.2 PPRM展开式的构造180
12.2.1 PPRM展开式的构造方法180
12.2.2 PPRM展开式的展开过程181
12.3基于PPRM构造可逆逻辑网络183
12.3.1生成PPRM扩展式183
12.3.2综合算法184
12.3.3 PPRM化简186
12.3.4数据结构187
12.3.5实例187
12.3.6实验结果与分析189
12.3.7算法分析与改进191
12.4几种基于PPRM的可逆逻辑网络综合192
12.4.1基于PPRM的可逆逻辑网络综合的快速算法WHH（f）192
12.4.2深度搜索解空间树的算法DFS（ihigh, irow）193
12.4.3 BBF算法194
12.4.4实验结果与分析195
12.4.5深度优先搜索最优可逆网络的算法DFC（irow）195
12.4.6调用算法DFC生成可逆逻辑网络的算法DFM（f）196
12.5小结198
参考文献199