Assur-KB 的研究表明，将物理约束分解为可复用模块并显式建模接口，是一种值得借鉴的表示设计原则。