理学 模型检验 释 model checking 模型检验 对一个给定的软件或硬件系统建立模型后，需要对其进行行为上的可信性、动态性能的有效性、实验数据、可测数据的逼近精度、研究目的的可达性等问题的检验，以验证所建立的模型是否能够真实反映实际系统，或者说能够与真实系统达到较高精度的性能相似的技术。
model checking 模型检验
理论计算机科学 程序理论 释文 model checking 模型检查
- eddy-current confinement
- eddy current loss
- eddy current method
- eddy current non-destructive testing
- eddy current power loss
- eddy-current sensor
- eddy current separation
- eddy-current separation equipment
- eddy current testing
- eddy current testing coil
- eddy-current testing technology
- eddy current test instrument
- eddy current thickness gauge
- eddy current type transducer
- eddy diffusion
- eddy diffusion coefficient
- eddy-energy flow
- eddying
- eddy viscosity coefficient
- Ede
- E. de Giorgi
- E. de Giorgi (1928—1996)
- edema
- edema of larynx
- edema of pregnant livestock