模型检验现状
The current situation of model checking
以上为机器翻译结果，长、整句建议使用 人工翻译 。
分析数据处理的现状后，运用灰色系统理论，建立了数据处理的等间距化GM(1,1)模型，给出了精度检验方法。
Based on grey system, an equal spaced GM (1, 1) modeling and method to data processing in engineering field was put forward, the method of precision inspection was introduced.
youdao
应用推荐
模块上移
模块下移
不移动