symbolic model（意思翻译）

符号模型

symbolic model（相似词语短语）

1、power model───[化] 幂模型

2、model planes───模型飞机

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

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

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

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

7、slab model───平板模型

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

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

symbolic model（双语使用场景）

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

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

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

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

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

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

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

symbolic model（相关推荐）