可逆逻辑综合相关论文