检验车速的程序是什么