理学 模型检验 释 model checking 模型检验 对一个给定的软件或硬件系统建立模型后，需要对其进行行为上的可信性、动态性能的有效性、实验数据、可测数据的逼近精度、研究目的的可达性等问题的检验，以验证所建立的模型是否能够真实反映实际系统，或者说能够与真实系统达到较高精度的性能相似的技术。
model checking 模型检验
理论计算机科学 程序理论 释文 model checking 模型检查
- remote sensing monitoring for forest diseases and insect pests
- remote sensing monitoring of drought
- remote sensing monitoring of water conservancy
- remote sensing monitoring of water quality
- remote sensing monitoring on ecosystem
- remote sensing of atmospheric moisture
- remote sensing of cloud parameters
- remote sensing of grassland
- remote sensing of land surface albedo
- remote sensing of land surface temperature
- remote sensing of leaf area index
- remote sensing of oceanic chlorophyll concentration
- remote sensing of vegetation index
- remote sensing photomap
- remote sensing physical model
- remote sensing physics
- remote sensing platform
- remote sensing radiation
- remote sensing results expression
- remote sensing satellite
- remote sensing satellite big data
- remote sensing satellite calibration
- remote sensing satellite cloud service
- remote sensing satellite constellation
- remote sensing satellite data processing