等价判定相关论文
可逆逻辑综合在量子计算和解决计算机热耗问题中起着关键性的作用，而可逆逻辑综合的规模一直是研究者们关心的重要内容，ω阶的可逆逻......
本文主要研究拟本质内射半模和本质平坦半模这两类特殊半模，讨论了拟本质内射半模、本质平坦半模和k-本质平坦半模的性质及k-本质平......
在Hilbert空间上的分析以及算子的谱理论是现代数学，物理及工程科学的众多分支中不可缺少的工具.数学物理，量子力学，信号处理和遍历理......
本文主要对P-投射半模和P-平坦半模这两类特殊模进行了研究，讨论了P-投射半模、P-投射维数、P-投射盖、P-平坦半模和K-P-平坦半模的......
本文主要研究了单投射半模、单内射半模和拟单内射半模。主要内容包括：第一部分是预备知识，列出了本文涉及的相关定义及命题。第二部......
学位
