分享到:

双陪集的一个应用

本文建立双陪集的一个性质,并  (本文共1页) 阅读全文>>

电子科技大学
电子科技大学

可逆逻辑函数分类及等价性判定

可逆逻辑综合在量子计算和解决计算机热耗问题中起着关键性的作用,而可逆逻辑综合的规模一直是研究者们关心的重要内容,ω阶的可逆逻辑函数共有2~ω!个,随着阶数的增长,可逆逻辑函数的数目激增,要完全综合这么多的可逆逻辑函数,难度可想而知。由于可逆逻辑函数的分类在可逆逻辑综合中可以使模板重复使用,从而提高综合的效率,所以可逆逻辑函数分类成为解决规模问题的重要方法。本文正是针对这一主题,把可逆逻辑函数的NP-NP等价作为研究对象,对可逆逻辑函数分类及等价性判定做了探讨。其主要内容为:1.提出可逆逻辑函数NP-NP等价的定义,该定义是把布尔函数NP-N等价的定义推广到可逆逻辑函数得到的。通过把可逆逻辑函数表示成置换群中的置换,把可逆逻辑函数NP-NP等价分类转化为置换群的双陪集等价分类。2.研究可逆逻辑非门和交换门对应置换构成的子群的性质,结合可逆逻辑函数NP-NP等价类的特性,对群论中计算双陪集个数的公式进行了改进,完成了可逆逻辑函数NP...  (本文共54页) 本文目录 | 阅读全文>>

《厦门大学学报(自然科学版)》1985年04期
厦门大学学报(自然科学版)

投影算子与对称性轨道——Ⅰ.双陪集与多面体分子轨道的构造

用投影算子进行对称化在高对称性点群中遇到许多困难,对构造复杂多面体分子的分子轨道手续极为繁复。本文将双陪集应用于分子点群,提出正多面体...  (本文共10页) 阅读全文>>

《同济大学学报》1987年03期
同济大学学报

典型代数群的(B,B)——双陪集

设G是典型的代数群,B是它的Borel子群,W是与G相关的Weyl群。那末G可分解成不相交的B,B-双陪集Bw...  (本文共10页) 阅读全文>>