英语词汇symbolic model怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词

symbolic model

释义

symbolic model

简明释义

符号模型：指使用符号和符号系统来表示和描述现实世界的模型。

网络释义

1
[计]?符号模型
公布中文名称：符号模型英文名称：symbolic model 定义：描述有联系的对象相对性的数学表示。应用学科：地理学（一级学科）；数量地理学（二级学科）点击加载更多正在加载加载失败, 请稍候重

短语

1
Symbolic Model Checking
符号模型检测 ; 符号模型检验 ; 符号化模型检测 ; 符号模型检查
2
numeric-symbolic model
数字
3
symbolic model verifier
建立了符号模型验证器

双语例句

1
A new symbolic model checking tool was built based on this algorithm.
并且基于该算法开发出新的符号模型检测工具。
2
Apart from three traditional narrative models, namely, "narration", "experience" and "plot", he has applied a unique symbolic model.
他于传统的“纪事型”、“感事型”、“情节型”三种叙事模式之外，运用了独特的象征型叙事模式。
3
A solution for property verification of synchronous VHDL design is introduced, and VERIS an efficient symbolic model checker is implemented.
介绍了一个针对同步时序电路VHDL设计的性质验证的解决方案——一个有效的符号模型判别器veris。

随便看

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

单词	symbolic model
释义	symbolic model 简明释义符号模型：指使用符号和符号系统来表示和描述现实世界的模型。网络释义 1 [计]?符号模型公布中文名称：符号模型英文名称：symbolic model 定义：描述有联系的对象相对性的数学表示。应用学科：地理学（一级学科）；数量地理学（二级学科）点击加载更多正在加载加载失败, 请稍候重短语 1 Symbolic Model Checking 符号模型检测 ; 符号模型检验 ; 符号化模型检测 ; 符号模型检查 2 numeric-symbolic model 数字 3 symbolic model verifier 建立了符号模型验证器双语例句 1 A new symbolic model checking tool was built based on this algorithm. 并且基于该算法开发出新的符号模型检测工具。 2 Apart from three traditional narrative models, namely, "narration", "experience" and "plot", he has applied a unique symbolic model. 他于传统的“纪事型”、“感事型”、“情节型”三种叙事模式之外，运用了独特的象征型叙事模式。 3 A solution for property verification of synchronous VHDL design is introduced, and VERIS an efficient symbolic model checker is implemented. 介绍了一个针对同步时序电路VHDL设计的性质验证的解决方案——一个有效的符号模型判别器veris。
随便看	Voges-Proskauer methyl red Voges-Proskauer reaction voges proskauer reaction Voges-Proskauer test voges proskauer test Voge's test voget voggite voggy Voghera Voghiera vogie Vogit loudspeaker vogl Vogler Vogle's curve voglianite voglibose Voglibose Capsules Voglibose Tablets voglite Vognsild vogon vogons Vogorno