理学 模型检验 释 model checking 模型检验 对一个给定的软件或硬件系统建立模型后，需要对其进行行为上的可信性、动态性能的有效性、实验数据、可测数据的逼近精度、研究目的的可达性等问题的检验，以验证所建立的模型是否能够真实反映实际系统，或者说能够与真实系统达到较高精度的性能相似的技术。
model checking 模型检验
理论计算机科学 程序理论 释文 model checking 模型检查
- chemical mineral processing of refractory run-of-mine ore
- chemical mineral processing of tantalum-niobium middles
- chemical mineral processing of tin middles
- chemical mineral processing of tungsten middles
- chemical mineral processing of uranium ore
- chemical mineral processing of vanadium-titanium magnetite concentrate
- chemical mineral processing reagent
- chemical models of atmospheric pollution
- chemical modification
- chemical modification of antisense oligonucleotide
- chemical modified starch plastics
- chemical modifier
- chemical multiway calibration
- chemical mutation
- chemical mutation breeding for forage plants
- chemical oscillation
- chemical oxidation
- chemical oxygen balance
- chemical oxygen demand
- chemical oxygen demand (COD)
- chemical patterning
- chemical pattern recognition
- chemical phase analysis
- chemical physics
- chemical plant training simulator