请输入您要查询的字词:
单词
模型检验
释义
模型检验
Encyclopedia
理学
模型检验
释
model checking
模型检验
对一个给定的软件或硬件系统建立模型后,需要对其进行行为上的可信性、动态性能的有效性、实验数据、可测数据的逼近精度、研究目的的可达性等问题的检验,以验证所建立的模型是否能够真实反映实际系统,或者说能够与真实系统达到较高精度的性能相似的技术。
Mathematics
model checking
模型检验
随便看
旋光率
旋光理论
旋光的
[旋光]糖量计
旋光糖量计
旋光系数
旋光纯度
旋光色散
旋光计
旋光试验灯
旋光谱
旋光镜检法
旋刀式草坪修剪机
旋切机
旋刺马陆
旋前肌
旋印照片
旋压成形技术
旋压机械
旋叶式物位开关
旋后肌
旋后肌综合征
旋后部天气
旋回
旋回地层学
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/1/19 3:05:24