在周期性蛋白质模型中计算出禁止带间隙,表明它们是绝缘体