formalized

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.

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

互联网摘选

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

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

互联网摘选

Formalized modeling of problem solving process of knowledge type MAS and analysis of problem solving capability.

知识型MAS系统的问题求解过程形式化建模及问题求解能力分析.

互联网摘选

Fractional Hall effect is described in an universal formalized theory of fraction-dimension calculus.

给予分数Hall效应以普遍的分数微积分数学形式理论描述.

互联网摘选

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

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

互联网摘选

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.

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

互联网摘选

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业务体系中基于属性的访问控制机制进行了形式化分析，通过描述逻辑的推理算法解决访问控制决策、策略一致性等问题。

互联网摘选

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

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

互联网摘选

Reputation is formalized and amplified by trusted third-parties.

信誉度由有公信力的第三方正式化并加以推广.

互联网摘选

Their marriage vows will be formalized.

他们的盟誓婚约将正式肯定下来。

provided by jukuu

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

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

互联网摘选

The college has a highly formalized system of assessment.

这所学院有一套十分固定的评估体系。

《牛津高阶英汉双解词典》

This paper introduces a formalized analysis method for software development: Vienna Development Method ( VDM).

介绍了软件开发方法中的一种形式化分析方法：Vienna development method（VDM）。

互联网摘选

It has great practical significance to do research on the formalized development of the Informal Financial.

因此对民间金融规范化发展问题的探讨具有重要的现实意义.

互联网摘选

This paper domain-independent description formalism for feature-based design from two aspects: formalized definition and design process description.

文章从形式化定义和设计过程描述这两个方面研究了特征设计的形式化描述方法.

互联网摘选

The formalized axiomlogy construct the new foundation for research an existential conditions of the possible worlds.

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

网络文摘精选

Phagocytosis and Transport of Formalized Campylobacter Jejuni by M Cells into Mouse Peyer's Patches

M细胞吞噬并转运甲醛化空弯菌进入Peyer集结

互联网摘选

The words themselves have no meaning, but language is a formalized way of thinking.

文字本身不具意义, 而语言却是思维模式的形式化.

互联网摘选

A recent treaty signed by Russia, Canada and Japan formalized an agreement to work together to stop the pirates

俄罗斯、加拿大和日本最近签署的一项条约将三国共同防止盗版的协议正式确定下来。

柯林斯高阶英汉双解学习词典

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

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

互联网摘选

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

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

互联网摘选

Though once considered outside the mainstream of scientific inquiry, astrobiology has a formalized field of study.

虽然一度被视为非主流的科学问题, 但天体生物学已成为正式的研究领域.

互联网摘选

There are definite conditions surrounding the formalized process or schooling.

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

互联网摘选

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

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

互联网摘选

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.

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

互联网摘选

The input can be formalized into the format of Object Knowledge Canonical Form ( OKCF ).

此外,本研究探讨专家系统的自动生成,而且探讨如何生成于多个专家系统发展工具上.

互联网摘选

Two important steps of slow thermal decomposition of azides have been studied using the method of statistical mechanics. Relations of the transform-ratio(α) of reactional equilibrium to temperature and pressure are formalized and the reaction mechanism is briefly discussed.

用统计力学方法对无机叠氮化物慢速热分解中的两步重要反应进行了研究，求得了反应平衡转化率α随温度T和压力P变化的表达式，并对反应机理作了分析和探讨。

互联网摘选

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

互联网摘选

There are definite conditions surrounding the formalized process of schooling.

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

互联网摘选

On the basis of deeply study of cycle association rules, the paper has formalized the basic conception of cycle association rules, and developed Apriori-based CCAR algorithm, which is used to discovery cycle association rules.

该文在对周期关联规则进行深入研究的基础上，形式化定义了基本的时域关联规则概念，并提出了基于Apriori的发现周期关联规则的CCAR算法。

互联网摘选