The formal models of network protocols are one of the core technologies in the analysis and design of the protocols.
网络协议的形式化模型是协议分析和设计的核心技术之一。
Considering such ability of human, researchers of artificial intelligence have made some further investigation and presented many formal models.
针对人类问题求解的这种能力和特征，人工智能研究者对其进行了深入的研究，并建立了各种形式化的模型。
Documents based on these templates may be created and managed alongside the formal models, providing the requirements input needed to drive analysis and design threads.
除了规范化模型以外，还可能创建和管理基于这些模板的文档，以提供驱动分析和设计思路所需的需求输入。
Some researchers introduced formal methods for analyzing cryptographic protocols, and achieved many significant results by building formal models and automatic verifying tools.
一些研究人员在密码协议分析中引入形式化方法，通过建立形式模型和自动检测工具分析密码协议的安全性，取得了较大的成功。
In this paper, some kinds of critically formal models for security protocols, which have recently catched much researcher's attentions, are analyzed in terms of their different modeling bases.
该文根据建模基础的不同，对目前处在研究热点中的几个重要协议形式模型进行了分类分析。
Formal procedures for governance and management enable an enterprise of any size to perform reliable and efficient parallel development on software models.
规范的管理操作，使任意规模的企业都能够对软件模型执行可靠且有效的并行开发。
With the exception of code, these organizations often have little or no formal way to manage development artifacts, such as documents and models.
除了代码外，这些组织经常没有或只有很少用于管理文档和模型等开发构件的正式方法。
This content analysis requires formal and explicit specifications of domain models, which define the terms used and their relationships.
这个内容分析要求正式和明确的域模型规范，规范定义了使用的术语和它们的关系。
You might choose to treat your models as formal architectural drawings that are to be strictly followed during construction.
您可能选择将您的模型视为在构建阶段要严格遵守的正式的架构图。
The major difference between all these models is their goal: from informal communication to precise, formal validation by the parser.
这些模型之间的主要区别在于目标不同：从非正式的交流到通过解析器进行精确的、形式化的验证。
You need to know what different methods of risk management are (e.g., formal or abbreviated) are before you apply the metrics and maturity models.
在您应用量度和成熟度模型之前，您需要知道风险管理的不同方法是什么(举例来说，正式的、或简化的)。
The introduction of the formal traces between the business and the system models allow development to understand the impact on the system (s) caused by a change in the business needs.
业务与系统模型间形式化跟踪的引入可以让我们理解业务所需的改变对系统的影响。
If the method sketch includes visual models, it may be a good idea in some circumstances to evolve these models into formal project artifacts (e.g., method architecture or method design).
如果方法草图包含可视的模型，那么在一些情况下，将这些模型演进为正式的项目工件(举例来说，方法架构或模型设计)可能是个好主意。
You can then use these models in formal analysis, simulation, and prototyping to explore predicted system behavior and in documentation or reviews to communicate the system's capabilities and feel.
然后，您可以在形式化的分析、模拟和原型设计中使用这些模型，以研究预期的系统行为，并且可以在编写文档或总结时使用这些模型，以便就系统的性能和外观进行交流。
In general, the classification of traditional has more to do with the use of formal development and deployment methodologies models.
总体来说，传统Web应用程序的分类主要与使用正式的开发和部署方法模型有关。
This is the province of game theory, to which Ms Ostrom has contributed, both through formal modelling of what she found in the field and subsequent laboratory tests of her models.
这是Ostrom贡献的地方游戏的规则，即通过其在地区发现的正式模型，又随后验证了她的模型。
After the models are validated, the architects can create formal requests for information (RFIs) for vendors.
验证了这些模型之后，系统架构师向开发商发出正式的信息请求(formal requestsfor informationRFIs)。
When it comes to a formal definition of domain models, Ganesh suggests that a "standard" XML approach is heavyweight and cumbersome. He instead suggests taking a closer look at JSON schema proposal.
谈到领域模型的正式定义时，Ganesh建议道“标准”的XML方式是重量级的比较笨拙。
Object Constraint language (OCL) is a formal language used to describe rules that apply to UML models.
ObjectConstraintLanguage (ocl)是一种用于描述应用于uml模型规则的规范语言。
The systematic, formal, axiomatic development of the logic of all forms and models of being.
事物的所有表示和模型的逻辑的，系统的，正式的，和公理性的开发。
Formal syntactic models for the description of grammar, eg generative grammar, are a type of metalanguage.
正式句法模式描述语法，例如生成语法，是一种元语言。
If people base such arguments on mental models, then there is no reason to suppose that they will lay them out like the steps of a formal proof.
如果人们基于这样一个心智模式的论点，他们就没有任何理由支持他们有必要安排形式化的证据。
Most of present workflow models lack formal definitions. So it is difficult to support the analysis on correctness and validity of process.
而且现有的工作流模型普遍缺乏严密的定义，很难支持对流程正确性、有效性的分析验证。
The model is developed combing formal method with object-oriented method. It solves the problems of existing fusion models, which are short of reusability and dependability.
该模型采用面向对象和形式化相结合的方法，解决了现有信息融合模型缺乏可重用性、可靠性等问题。
In addition, these models still exist a common weakness, that these models lack strict formal definitions. So it is difficult to support the analysis and validity on correctness of process.
此外，这些模型还存在一个共同的缺点，缺乏严格的形式化定义，很难支持对学习过程的正确性的分析与验证。
The modeling method and the models given in IEC 61850 are investigated from the point of view of formal semantics.
文中从形式语义的角度出发，对IEC 61850的建模方法和所给出的模型进行了研究。
From the points of view of dialectical logic, formal logic current and voltage source models, this paper addresses that the current limiting conjecture is not correct.
从辩证逻辑、形式逻辑、电流源模型和电压源模型等方面，阐明半导体限流猜想是不正确的。
Especially relational structures play a significant role in building formal relational models of reality.
特别是关系结构，它在构造现实世界中的形式关系模型中起着非常重要的作用。
There are three kinds of legal reasoning and argumentation paths and models: formal logic, rhetoric and dialogue.
法律论证主要有三种进路和论证模式：形式逻辑、修辞和对话。
There are three kinds of legal reasoning and argumentation paths and models: formal logic, rhetoric and dialogue.
法律论证主要有三种进路和论证模式：形式逻辑、修辞和对话。
应用推荐