可逆逻辑电路综合相关论文