依赖公式化