可逆逻辑优化相关论文