核对程序相关论文