验证的程序相关论文