什么是依赖公式化