公布 中文名称:符号模型 英文名称:symbolic model 定义:描述有联系的对象相对性的数学表示。 应用学科: 地理学(一级学科); 数量地理学(二级学科) 点击加载更多 正在加载 加载失败, 请稍候 重
基于223个网页-相关网页
Symbolic Model Checking 符号模型检测 ; 符号模型检验 ; 符号化模型检测 ; 符号模型检查
Bruner's symbolic model 布鲁纳象征性模式
Brunerss symbolic model 布鲁纳象征性模式
symbolic model verifier 建立了符号模型验证器
model of symbolic logic [计] 符号逻辑模型
symbolic object model 符号对象模型
Symbolic Communication Model 符号的沟通模式
A new symbolic model checking tool was built based on this algorithm.
并且基于该算法开发出新的符号模型检测工具。
Apart from three traditional narrative models, namely, "narration", "experience" and "plot", he has applied a unique symbolic model.
他于传统的“纪事型”、“感事型”、“情节型”三种叙事模式之外,运用了独特的象征型叙事模式。
A solution for property verification of synchronous VHDL design is introduced, and VERIS an efficient symbolic model checker is implemented.
介绍了一个针对同步时序电路VHDL设计的性质验证的解决方案——一个有效的符号模型判别器veris。
应用推荐