公式识别