公式化论文