计算实现、不可变参数与研究证据，各有明确身份。