与-或及与-异或表达式间的一种转换方法

介绍了与-或表达式及与-异或表达式间的一种形式的转换方法,该方法方便了在这两种表达式间的直接转换,也适于用计算机辅助进行两种表达式间的直接转换。用这种方法能方便地导出与-或表达式与Reed-Muller表达式间的形式转换以及极性函数转换成Reed-Muller表达式的形式转换。

对偶算子的第一移位律与第二移位律和布尔代数的运算规律

该文提出和区分了对偶算子(也即非号)的第一移位律和第二移位律。第一移位律实际上指对偶原理,它是一个普遍的逻辑规律;第二移位律是适用于仅包含同或和异或两种运算的布尔代数表达式,这种表达式称为同或异或表达式。文中还讨论了布尔代数的运算规律和运算次序。布尔代数的运算次序应是:括号、非、同或/异或、与、或。简单列举法是证明布尔代数恒等式的简便方法。

面向可逆逻辑综合的GEP算法设计与实现

可逆逻辑综合是设计和实现可逆逻辑电路的基础与难点。文中对此提出了一种改进的基因表达式编程(GEP)算法,该算法可根据预期的逻辑功能,自动求取便于构造可逆逻辑网络的最简"积之异或和"表达式。经初步实验表明,该算法在某些情况下比现有的综合方法更加简单有效。

基于L-ESOP约简的量子线性电路逻辑综合算法

为生成在门数指标上近最优的量子线性电路,提出一种基于L-ESOP表达式约简的量子线性电路逻辑综合算法.首先通过异或运算逐步将量子线性电路每个输出的L-ESOP表达式约简成fi=xi的恒等函数形式,算法执行过程中的每次异或运算均对应一个CNOT门,将这些CNOT门逆序排列便得到结果电路;为进一步降低门数,提出3种前瞻性启发式规则,将这些规则分别应用于算法的3个不同阶段,以最大幅度地减少后续异或操作次数为衡量指标选择算法相应阶段参与异或运算的L-ESOP表达式.实验结果表明,文中算法在综合量子线性电路时所需的CNOT门数少于其他算法,且这种优势随着线路数的增加越发明显,在生成100线电路时所需的平均门数较其他算法降低了21.69%;另外,该算法可在多项式时间内完成,在生成100线电路时平均耗时仅用71.55 ms.

基于Q-M算法的量子可逆逻辑电路综合方法

提出了合并(化简)规则,并按合并规则修改了Q-M算法源码,获得积之异或和表达式,成功地实现了将不可逆操作转换为可逆操作。该规则应用于常规逻辑综合的Q-M算法移植到可逆逻辑综合中,以便利用可逆逻辑门来构造可逆逻辑电路。