公式实现