可逆逻辑综合

   
本书以作者和课题组多年来可逆逻辑综合工作为基础，但又不囿于此。撰写中把可逆逻辑综合基础与*研究成果相融合，以可逆逻辑门级联为主线，从简单可逆逻辑门级联出发，逐步拓展可逆门级联的种类，引入相关的可逆逻辑综合理论和方法。本书系统介绍可逆逻辑门、可逆逻辑函数与可逆逻辑门网络及其相互关系，分析可逆逻辑和可逆逻辑门的本质特征，反映可逆逻辑门网络的结构特点和内涵特性，并给出相应的表示；较为全面地给出传统可逆逻辑门到扩展可逆逻辑门可逆逻辑综合的相关理论和方法。

   
本书可作为高等院校计算机、电子信息、通信等专业高年级本科生和研究生课程的参考用书，同时对相关研究人员也具有指导意义和参考价值。

前言
第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．2　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　三种算法之间的比较
　……