symbolic model发音

意思翻译

符号模型

相似词语短语

symbolic───adj.象征的；符号的；使用符号的

model───vi.做模型；做模特儿；adj.模范的；作模型用的；n.模型；典型；模范；模特儿；样式；n.(Model)人名；(德、俄、英)莫德尔；vt.模拟；塑造；模仿

model shop───模范商店；模型制造车间；模型室

model planes───模型飞机

product model───产品型号，产品模型；乘积模型

burro symbolic meaning───驴子的象征意义

model code───标准守则；类型编号；样板法规

slab model───平板模型

power model───[化] 幂模型

双语使用场景

A solution for property verification of synchronous VHDL design is introduced, and VERIS an efficient symbolic model checker is implemented.───介绍了一个针对同步时序电路VHDL设计的性质验证的解决方案——一个有效的符号模型判别器veris。

new symbolic model checking tool was built based on this algorithm.───基于该算法开发出新的符号模型检测工具。

three traditional narrative models, namely, "narration", "experience" and "plot", he has applied a unique symbolic model.───他于传统的“纪事型”、“感事型”、“情节型”三种叙事模式之外，运用了独特的象征型叙事模式。

Symbolic Model Checking Analysis for Electronic Contract Signing Protocol───电子合同签订协议的符号模型检验分析

Symbolic model checking analysis for cryptographic protocol───密码协议的符号模型检测及分析

Symbolic Model Checking the SET Protocol───SET协议支付过程的符号模型检验

Verification of PIC Based on Symbolic Model Checking───基于符号模型检验的硬件验证

英语使用场景