理学 模型检验 释 model checking 模型检验 对一个给定的软件或硬件系统建立模型后，需要对其进行行为上的可信性、动态性能的有效性、实验数据、可测数据的逼近精度、研究目的的可达性等问题的检验，以验证所建立的模型是否能够真实反映实际系统，或者说能够与真实系统达到较高精度的性能相似的技术。
model checking 模型检验
理论计算机科学 程序理论 释文 model checking 模型检查
- aircraft reliability test for qualification acceptance
- aircraft residual risk
- aircraft RF signature measurement of the aircraft targets
- aircraft roll angle or bank angle
- aircraft rotary balance tests in wind tunnel
- aircraft safety
- Aircraft Safety Assessment
- aircraft salt fog test
- aircraft sandwich structure
- aircraft's cargo management and control system
- aircraft secondary power system
- aircraft side force
- aircraft sight
- aircraft simulation test of integrated logistics support effectiveness
- aircraft simulation test of virtual maintenance
- aircraft solar radiation test
- aircraft Sound insulation test
- aircraft spoiler
- aircraft static controllability
- aircraft static test of structure
- aircraft strength test
- aircraft structural integrity
- aircraft structural modal couple test
- aircraft structure
- aircraft structure bird impact test