查询词典 formalized

After introducing the concepts of M-mapping, conform mapping and output mapping, auto update prototype theorem is justified and the whole process of auto update is formalized.

在引入了M映射，整合映射和输出映射等概念后，本文证明了自动更新原型定理，形式化了自动更新的全过程。

As for RESC, the congruence CG as a primitive spatial relation is added and two new functions acting on region, Region Extension and Region Shrinking are introduced, consequently a formalized metrization method that takes region as a basic unit is put forward.

RESC增加了一个全等CG的原始空间关系，引入了两个新颖的对区域的演算函数，即区域延伸和区域收缩，从而给出了一种以区域为单位的形式化的度量方法。

In this paper, we describe the history of Mizar system and the method to use theMizar system. Then we give the definition of quaternion numbers, module, algebrastructre etc, and then we prove its properties.

本文首先介绍了Miza(来源：ABC论文61网www.abclunwen.com)r系统的计算机操作原理和使用方法，给出了在Mizar语言系统下四元数、四元数的运算、共轭、内积、模等代数结构理论的证明，所做结论都通过了Mizar系统的验证，发表在波兰的《Formalized Mathematics》杂志上，并被收录到MML数据库中。

Firmly repudiating the messianic image,in 1929 he dramatically dissolved the large and monied organization that had been built around him and declared truth to be "a pathless land,"which could not be approached by any formalized religion,philosophy,or sect.

这大大地颠覆"世界导师"作为救世主的形象。1929年，他戏剧性地瓦解了建立在他周围的庞大而富庶的组织，宣告真理是一片"无径之土"，人们无法通过任何既成定式的宗教，哲学或者宗派靠近它。

The Monroe Doctrine merely formalized an existing concern lest the European monarchies re-impose their authoritarian governments in this part of the world.

门罗主义只不过是将已经存在的忧虑写成正式文件，以免欧洲的君主政体重新将他们的专制政府强加在这一部分的世界。

It is also formalized in such theories as Katz-Fodor theory and Montague Grammar.

而本文则把句义与结构意义和词汇意义之间的关系进行了形式化的表达。

After reviewing the relevant theories and parsing algorithms of syntax analysis researches, a brand new Chinese parsing model is proposed in this paper based on Operator Precedence Grammar, in which the parsing process of Chinese sentences is formalized as a evaluating process of expressions with binary operators that may appear implicitly.

在研究了自然语言的相关句法理论和分析算法之后，本文以崭新的思想构建了一个汉语句子分析模型。

In chapter seven, structural analysis for hydraulic press products is made and the concept of structural analysis based on parameterized FEM modeling is presented. On the basis of APDL parametric programming language in ANSYS, methods of structural analysis for press machine is made formalized, standardized, and parameterized.

第七章研究液压机产品结构分析的主要内容，提出了基于参数化有限元模型的结构分析模板的概念，并以ANSYS参数化编程语言APDL为基础，实现液压机产品结构分析的程序化、标准化、参数化。

Part five discusses 3D model parametric representation, which includes 3D geometry parametrization and relative position relationship parametrization. In the former, the sweeping rules are further formalized, the concept of design parameters and modeling parameters is introduced. In the later, constraint transformation matrices of the position relationships between features are deduced, and the lost of model freedom resulted from the correspending constraint is analysed.

在特征几何参数化中，进一步规范化了特征几何的扫描生成规则，引入了设计参数和造型参数的概念，分析了造型参数向设计参数适时转化的必要性；在相对定位约束参数化中，推导了特征间一般位置约束关系的约束变换矩阵，拓宽了约束表示范围，并对约束的自由度亏损情况进行了分析。

After systematically summarizing the relevant research based on object-oriented integration testing and MM path; this thesis does classification research to MM path from the reason of producing MM path, the effect scope of MM path and the structure of MM path; carries out an formalized representation of MM path to support integration testing based on MM path.

本文从程序代码出发，通过词法和语法分析获取相关分支和调用信息，实现了MM路径的自动生成；重点探讨了从UML规格说明生成MM路径的方法，利用消息响应表记录面向对象系统的交互信息，提出了一种从UML状态图自动生成原子MM路径的方法，为基于MM路径的面向对象集成测试研究奠定了基础。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。