程序判定相关论文