离子阱量子计算实现双码纠错