查询词典 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的原始空间关系，引入了两个新颖的对区域的演算函数，即区域延伸和区域收缩，从而给出了一种以区域为单位的形式化的度量方法。

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路径的面向对象集成测试研究奠定了基础。

You would have formalized me. You would have compressed me into a two-by-four pigeonhole of life, where all life's values are unreal, and false, and vulgar.

你可能让我公式化，你可能把我塞进一个五尺长两尺宽的生活鸽子笼里，在那里生活的一切价值都是缥缈的，虚假的，庸俗的。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。