设计检查方程式