符号模型用符号来代表系统的各种因素和它们之间的相互关系。
公布 中文名称:符号模型 英文名称:symbolic model 定义:描述有联系的对象相对性的数学表示。 应用学科: 地理学(一级学科); 数量地理学(二级学科) 点击加载更多 正在加载 加载失败, 请稍候 重
基于222个网页-相关网页
亚符号模型 subsymbolic model
符号模型检测 Symbolic Model Checking
符号模型检验 Symbolic Model Checking ; Symbol Model Verification
符号模型演变 Symbol Model Evolution
通用符号模型 Universal map symbol model
符号模型检查 Symbolic Model Checking
建立了符号模型验证器 symbolic model verifier
模型符号 [自] model symbol
符号逻辑模型 [计] model of symbolic logic
We discuss two algorithms for generating scenario graphs: Symbolic Model Checking Algorithm and Explicit-State Model Checking Algorithms. The algorithms use model checking techniques to produce faulty behavior sets that are sound and complete.
我们探讨了两种可以自动生成失败场景图的算法及其性能,即符号模型检查算法和明确状态模型检查算法。
参考来源 - 基于模型检查的场景图和攻击图研究·2,447,543篇论文数据,部分数据来源于NoteExpress
并且基于该算法开发出新的符号模型检测工具。
A new symbolic model checking tool was built based on this algorithm.
结果表明,利用符号模型检验方法分析检验网络协议是可行的。
This result shows that it is effective analyzing and checking the property of network protocols by symbol model checker.
结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。
This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker.
应用推荐