formalized的例句大全

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），由知识工程师用于形式化《中国大百科全书》中的教育知识文本；

An attribute-based Access Control mechanism tailored for the NGN open service architecture is proposed and formalized with Description Logic. With the logic formalization, the access control decision and consistency of polices can be reasoned.

使用描述逻辑对NGN业务体系中基于属性的访问控制机制进行了形式化分析，通过描述逻辑的推理算法解决访问控制决策、策略一致性等问题。

Event is adopted as the core concept to describe the behavior of user-visitation. From top to bottom, the formalized definitions of core log ontology, application log ontology and semantic log are completely given according to the semantics of user-visitation.

以事件为核心概念，采用自顶向下的分析方法，根据用户访问行为的语义从抽象到具体依次完整地给出了核心日志本体、应用日志本体和语义日志的形式化定义。

However, the actual results have been disappointing, the shareholders meeting growing formalized, the Board of managers of power increasingly being elevated, the ideal of the separation and restriction of powers has always been elusive.

然而现实的结果却令人沮丧，股东大会日益形式化，董事会权力日益被经理层架空，分权与制衡的理想始终无法实现。

business alliance formalized with us consulting firm arcature llc.

正式与美国的咨询公司。

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.

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

he holds the view that "the role of background knowledge in language comprehension has been formalized as schema theory." according to schema theory, a listener can understand a new text only when he utilizes previously acquired knowledge which is defined as schemata by linguists.

图式理论的首倡者Banlett（1932）认为，听者的背景知识对他理解新的文章起着关键作用。也就是说，听者只有在利用以前所获得的知识时才会理解新的课文。

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 formalized axiomlogy construct the new foundation for research an existential conditions of the possible worlds.

形式化公理学为研究可能世界的存在条件提供了新的基础.

I loved the poppies, with their effortless existence, like grief and fate, but tempered and formalized.

我爱罂粟, 她们可以毫不费力地存活, 像无处不在的宿命与悲伤, 但却久经雕塑和打磨.

Innovative ability and practical skill can be improved through formalized teaching.

通过范式化教学,提升学生的创新能力和实践技能.

The Treaty of Versailles, imposed on Germany, formalized the Allied victory.

强加于德国的《凡尔塞条约》正式宣告协约国的胜利.

There are definite conditions surrounding the formalized process of schooling.

这就是对学院教育模式化过程的明确解释.

Some of the results of these formalized impact studies are plotted in Fig. 5.

某些这些的结果在图5. 形式化了冲击研究被密谋.

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

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

There are definite conditions surrounding the formalized process or schooling.

学校教育形式化的过程是有局限性的.

That was the whole focus when the LCMC concept was formalized in August 2004.

自生命期管理指挥部于2004年8月份成立以来这一直就是他们的工作重点.

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

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

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

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