它为理解水资源持续利用提供了形式化模型。
It provides a formalized model for understanding sustainable utilization of water resources.
该形式化模型为入侵决策提供理论和方法支撑。
The model gives the theoretical and methodological support for intrusion response.
网络协议的形式化模型是协议分析和设计的核心技术之一。
The formal models of network protocols are one of the core technologies in the analysis and design of the protocols.
本文针对这个问题，从数理逻辑的角度出发，建立了一个形式化模型。
In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC.
MFDM知识发现平台在形式化模型的基础上，提供了可视化过程建模，模型管理等功能。
MFDM platform is based on formulized model, a nd aids in visual process modeling and model management.
提出了一种基于多领域本体的智能查询系统的形式化模型，并且对系统及其特点进行了详细分析。
A model of intelligent query answering system based on multi-domain ontology is presented. Then the running process and the properties of the system are discussed.
文中给出PASCAL过程蓝图的形式化模型，抽象逻辑结构图的图形表示方法，以及程序设计的基本过程。
A formal model of PASCAL process blueprint, graphical notations of abstract logic structure diagram, and a fundamental programming procedure...
在人们寻求结构的或有规律的超文本过程中，除了使用形式化模型外，还有一种采用面向应用，简单、直观的方法。
On the progress of calling for structured or disciplined hypertext, people can use simply, direct and oriented application method except of using formal model of hypertext.
根据计算机生成兵力的特点提出了基于控制论的CGF实体对象行为模型ESCP的概念模型、形式化模型和结构模型。
Based on the characteristic of CGF, the thesis presents a behavior model of CGF entity named ESCP and its concept model, formalization model and construct model.
本文提出了时序有限自动机，用它建立数据融合系统的形式化模型，并且给出了时序有限自动机模型的可达性分析方法，用于分析数据融合系统的性能和行为。
We extend finite automata with time sequence and define temporal finite automata, then we propose using temporal finite automat to build formal model for data fusion system.
这一论断很重要，模型不是系统本身，而是系统的形式化表示。
This statement is crucial; the model is not the system itself but a formalized representation of the system.
您应该对各种uml模型元素和图表语法有全面的认识，并且能够有效地在交流和应用程序的形式化规范中使用它们。
You should have complete knowledge of the various UML model elements and diagram syntax and be able to use these effectively for communication and formal specification of the application.
这些模型之间的主要区别在于目标不同：从非正式的交流到通过解析器进行精确的、形式化的验证。
The major difference between all these models is their goal: from informal communication to precise, formal validation by the parser.
UML模型更加精确和形式化，但仍然是综合性的和可阅读的，因为其主要目的是作为小组成员之间的交流工具。
The UML model is more refined and formal, but it remains synthetic and readable because it is intended primarily as a communication device between the team members.
利用此技术，很可能将业务流程转化为业务模型，并在它们之间创建形式化的可追溯性。
Using this technique, it is possible to transpose the Business Processes into a Business Model and create formal traces between the two.
该关系可以源自于模型，通过从业务目标开始，到业务用例实现，到用例，并且最终到用户目标的形式化的追溯。
The relationship can be derived from the model by following the formal traces starting from a business goal, to the business use case realization, to the use case, and finally to the User Goal.
业务与系统模型间形式化跟踪的引入可以让我们理解业务所需的改变对系统的影响。
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.
RDF是一个具有WebXML序列化的元数据系统，即用于描述Web资源形式化陈述集合的模型。
RDF is a metadata system with an XML serialization for the Web, a model for describing collections of formalized statements about a Web resource.
在第三个步骤中，将开发业务分析模型，在其中，每个业务用例实现根据两个主要的UML工件进行形式化。
During the third step, a business Analysis Model is developed wherein each business use case realization is formalized in terms of two major UML artifacts.
XML Query Use cases[开发中]在其数据模型的基础上，给出了XPath 2.0和XQuery 1.0规范中每种表达式精确的、形式化的含义。
XQuery 1.0 and XPath 2.0 formal Semantics [in development] gives a precise formal meaning to each of the expressions of the XPath 2.0 and XQuery 1.0 specification in terms of their data model.
不论出处如何，当术语表模型在RDA 中时，就可以将标准业务术语映射到规范化（概念/逻辑）数据模型的形式化结构。
Regardless of its origin, the presence of a glossary model in RDA enables mapping of standard business terms into the formalized structures of the canonical (conceptual/logical) data model.
使用OCL更形式化地指定域模型中的业务规则和对象与组件的行为契约。
Use the OCL to more formally specify the business rules in the domain model and the behavior contracts for objects and components.
然后，您可以在形式化的分析、模拟和原型设计中使用这些模型，以研究预期的系统行为，并且可以在编写文档或总结时使用这些模型，以便就系统的性能和外观进行交流。
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.
因此，我们利用UML和形式化方法来设计面向方面程序，并建立相应的面向方面软件设计模型来设计实时系统。
So we express the AOP using UML and formal methods, and establish the Aspect-Oriented Software Design Model correspondingly to model real-time systems.
各种形式化方法都有它的优缺点，模型检测的优点是完全自动化，但存在空间开销大的问题。
Every formal verification approaches have their advantages and disadvantages, the main advantage of model checking is automation, its main drawback is the state explosion problem.
给出了ERBAC的动态授权管理框架，最后用形式化语言描述了ERBAC模型满足的规则。
This paper first describes the ERBAC mainframe of the management of authorization, and then gives the formal rules that ERBAC model must meet.
该模型采用面向对象和形式化相结合的方法，解决了现有信息融合模型缺乏可重用性、可靠性等问题。
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.
该模型采用面向对象和形式化相结合的方法，解决了现有信息融合模型缺乏可重用性、可靠性等问题。
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.
应用推荐