formalized的例句大全

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

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

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

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

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

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

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

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

Reputation is formalized and amplified by trusted third-parties.

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

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

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

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变化的表达式，并对反应机理作了分析和探讨。

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

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

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

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

In this paper, general semantics are formalized into 3 primary principals and 10 accidental principals and extensional tools, which are then analyzed comprehensively. Critical thinking and meaningful practice are done on the basis of the formalized thoughts and with reference to life experience.

本文将通用语义理论概括为3个大原则和10个相关的从属原则和外延性工具进行了深入分析，并且把这些思想和社会生活实践相结合，给出了严谨地思考和有益地尝试。

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

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

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算法。

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

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

The college has a highly formalized system of assessment.

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