求GMP计算机验证程序或标准。