效验算法