已有研究完整解释过单层模型用于模加法的规则。