实例验算相关论文