formalized model的例句大全

It provides a formalized model for understanding sustainable utilization of water resources.

它为理解水资源持续利用提供了形式化模型.

互联网摘选

Using SOA framework technology and Web Services technology, the models are abstracted to describe as a formalized model function according to model specification.

应用面向服务的SOA架构技术和Web Services技术，根据建模规范对模型进行抽象描述，提炼出形式化模型函数。

互联网摘选

A ontology has been described one model formalized and shared in a specific research field.

一个本体描述了一个特定研究领域的一个形式化的、共享的概念化模型。

互联网摘选

Object oriented model and formalized method

面向对象模型与形式化方法

互联网摘选

Formalized analysis for authentication test model of TLS

TLS协议认证测试模型与形式化分析

互联网摘选

The elements form, information category and seven interrelations between elements of this model are formalized defined.

形式化定义并详细给出了该模型的元素组成、信息范畴及元素间的相互关系。

互联网摘选

The mechanism of buffer overflow from the point of view of security operating system is analyzed, buffer overflow with BLP model is formalized. Based on it, the BLP model is adjusted properly and the crisis of buffer overflow is removed on the level of security model.

从安全操作系统的角度分析了堆栈溢出的原理，以BLP模型为工具对堆栈溢出进行了形式化并在此基础上适当调整了该模型，从安全模型的层次上消除了堆栈溢出的隐患。

互联网摘选

The method consists of two major parts: a Pedagogical Knowledge Description Language ( PKDL) for formalizing the texts, and a PKDL compiler for parsing and analyzing the formalized text and representing it with IO-model of knowledge representation.

该方法由两部分组成：一是高度类自然的教育知识描述语言（PKDL），由知识工程师用于形式化《中国大百科全书》中的教育知识文本；

互联网摘选

based on the extended finite state machine, this dissertation outlines the dns vulnerability analysis model, and the resolution process of dns is formalized integrating vulnerability classification.

本文基于扩展有限状态机设计了域名系统脆弱性分析模型，结合脆弱性分类给出了域名系统解析过程的形式化描述。

互联网摘选

then, the architectural component model of supporting interface-to-interface and pins-and-sockets type is proposed, and the formalized depiction of static connection and construction is proposed at the same time.

在此基础上，提出了支持接口连接式和插头插座式体系结构类型的组件模型，并对静态连接和组装给出了形式化的描述。

互联网摘选

q-learning has been introduced to the traditional model of bdi, and the paper suggests an autonomous agent model based on q-learning, describes the structure and formalized description of the suggested model, analyzes the processing of q-learning in the model.

在BDI模型基础上，引入Q学习方法调整Agent的动作策略。提出了基于Q学习的自主Agent模型，给出了模型的结构及形式化描述，分析了Agent的学习过程。

互联网摘选

The model formalized various aspects of permissions including operations, properties, actions, objects and relationships among them.

该模型形式化地定义了权限的各个方面,包括操作 、 属性 、 动作 、 客体以及它们之间的关系.

互联网摘选

This strategy formalized tasks by constructing an abstract task model, which consisted of fundamental properties and running states of a task that had impacts on task selection.

按形式化思想为子任务建立了一个通用模型，模型包含了与任务选择相关的子任务基本属性和运行状态。

互联网摘选

Although layered mechanism model may alleviate this contradiction, it lacks of strict formalized definition.

分层机制可以缓解这种矛盾, 但又缺乏严密的形式化定义.

互联网摘选

Business Process is formalized by workflow process model.

工作流过程模型是业务模型的形式化表示。

互联网摘选