English translation for "symbolic models"
|
- 符号模式
符号模型
Related Translations:
- Example Sentences:
| 1. | It is rather difficult to precisely and completely express packing problems using any single knowledge model such as mathematical model or symbolic models
它很难用单一模式的知识模型(如数学模型)来精确表达。 | | 2. | 3 pnueli a . a temporal logic of concurrent programs . theoretical computer science , 1981 , 13 : 45 - 60 . 4 mcmillan k l . symbolic model checking
符号化的模型检测技术利用二叉图binary decision diagram表示状态转换关系，降低了系统模型所需的内存空间。 | | 3. | Then , the author pays interest on how olap enabled databases can be adapted to support symbolic modeling and used in customer order analysis , and how modeling contributes to acquiring valuable information
接着，作者着眼于在客户订单分析中， olap如何支持形式化模型以及怎样通过形式化模型获得有用信息。 | | 4. | At present , the main methods for solving this kind of problems are as follows : ( a ) mathematical optimization model and solving it by computer algorithms + symbolic model and solving it by artificial intelligence
目前解决这个问题主要有两条途径： a数学优化模型及其算法求解+符号模型及其人工智能求解； b数学优化模型及其算法求解+人机交互或人机结合。 | | 5. | First , this paper introduces the notation , categories and properties of security protocols , and formal methods to verify security protocols and small system model . the emphasis is the research and analysis of the principle of the model checking method . we study the mechanism and syntax of symbolic model checking tool smv , model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
文章主要介绍了安全协议的概念、分类和性质，安全协议的形式化验证方法，以及小系统模型的原理；重点分析和研究了符号化模型检验工具smv的原理和语法及其对安全协议进行模型检验时的工作机理，而且使用smv对needham - schroeder公钥协议和wooandlam对称钥协议进行了形式化建模与模型检验，发现了它们的安全漏洞。 | | 6. | During the modeling and verification of the authentication version of needham - schroeder public key protocol with smv , we get more comprehension on the theory of symbolic model checking and small system model , and finally find a flaw in this protocol that corresponds with the one that gavin lowe found with fdr
通过使用smv对needham - schroeder公钥协议进行建模和验证，理解了符号化模型检验和小系统模型的原理，并发现了一个协议漏洞，该漏洞与gavinlowe用fdr所发现的相一致。 | | 7. | We research different kinds of formal methods , particularly study the mechanism of symbolic model checking tool smv , and finally we decide to adopt smv as the tool for the model checking of security protocols . with smv , we model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
本文研究了验证安全协议的各种形式化方法，详细研究了符号化模型检验工具smv的工作机制；确定了使用smv作为工具对安全协议进行模型检验，验证了认证版needham - schroeder公钥协议和wooandlam对称钥协议。 | | 8. | The workshop on tools and algorithms for the construction and analysis of systems tacas 99 , lncs , springer - verlag , 1999 , 1579 : 193 - 207 . 4 burch j r , clarke e m , mcmillan k l . symbolic model checking : 10 20 states and beyond . information and computation , rm 1992 , 98 : 142 - 170
在这本文中，我们通过对kripke结构的合理扩充，提供了直接模型检测dmc direct model checking的矩阵算法，通过与体系结构描述语言adls的结合， dmc可以被直接应用在相容性consistency等关键性质的计算方面。 |
- Similar Words：
- "symbolic memory addressing" English translation, "symbolic mentality" English translation, "symbolic method" English translation, "symbolic microprogram" English translation, "symbolic model" English translation, "symbolic module" English translation, "symbolic name" English translation, "symbolic name of a character constant" English translation, "symbolic name of a subprogram" English translation, "symbolic name space" English translation
|
|
|
