symbolic model的意思

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───基于符號模型檢驗的硬件驗證

英語使用場景