查询词典 algebraic function

Locale theory is the algebraic generalization of classical topology, and topos theory can be regarded as one of the most important applications of locale theory.

Locale 理论是经典拓扑学的代数形式推广， locale 理论的一个重要应用是topos 理论。

At first, a simple algebraic method is appied to generated O-H type three dimensional meshes, then the meshes are devided into tetrahedra meshes.

首先应用一种简单的代数方法生成了O-H型网格，然后，将其剖分为四面体网格，从而完成了简化航天飞机跨音速绕流的数值模拟。

Operators +,-,*, and / are provided for algebraic operations between scalars and units, scalars and quantities, units and quantities, and between quantities.

和/运算符定义于标量和单位、标量和数量、单位和数量，以及数量和数量之间。

Operators +,-,*, and / are provided for algebraic operations between scalars and units, scalars and quantities, units and quantities, and between quantities.

和/运算符定义於标量和单位、标量和数量、单位和数量，以及数量和数量之间。

In this paper a further study of the algebraic properties of the language will be presented and the digital system will be optimized by program transformation. In this way, we can get a correct and optimized logic structure which has no redundancy and reuses each common component to the great extent.

本文将在此基础上，进一步研究函数或硬件描述语言的代数性质并通过程序变换对所描述的电路进行综合和优化，从而设计出正确的优化逻辑结构，在这种逻辑结构中去除了冗余，最大限度地重复使用各个子部件。

The radial magnetic pressure of axisymmetric coil can be calculated by algebraic analysis.

采用代数解析的方法，计算了轴对称线圈所受到的磁场力的径向分量。

An advanced combined turbulent lubrication model is proposed: low turbulence Reynolds number k-e model is used to describe the flow in the near-wall regions, and algebraic Reynolds stress model is used to describe the flow in the turbulence kernel, with flow continuity kept between the two models and transition criterion set to fit Leutheusser's measurements.

提出了先进的复合型紊流润滑理论：以低紊流雷诺数k-e模式描述近壁区内的流场，而以代数雷诺应力模式描述紊流核心区内的流场，二区间流场连续过渡，并依据Leutheusser实验结果设定过渡准则。

Working with the energy matching principle, the algebraic method is presented to establish the periodic relative motion condition, that is, the orbit constraint for the formation designing and station keeping.

基于能量匹配原理，提出了一种只需进行代数运算，就可确定编队卫星周期性相对运动条件，即轨道约束的的新方法。

Wikipedia defines a matrix as "a rectangular table of numbers or, more generally, of elements of a ring-like algebraic structure."

Wikipedia把一个矩阵定义为&一个矩形阵列，由数组成，或更一般的，由某「环」中元素组成&。

Third, the algebraic specifications are used in order to reveal the essentials of denotational semantics and to get more modularity and less complexity. Chapter 2 introduces the basic concepts and notations used in this dissertation.

三是采用代数规约的框架，这有助于揭示将语法作为多类基调代数的型构定义，将程序作为表达式的指称语义方法之实质思想，也有助于形式定义文本的模块化，降低描述复杂度。

Researches reveal that students who suffer from corporal punishment tend to resort to violence in their future life.

研究表明遭受过肉体惩罚的孩子倾向于在他们今后的人生中使用暴力。

Total sugar of sarcocarp and chlorophyll of pericarp increased firstly, and then decreased afterward along with altitude; Titratable acidity, ascorbicacid and anthocyanin of pericarp were increased along with altitude; The content of protein increased firstly and decreased afterward along with altitude; Carotenoid of pericarp were decreased along with altitude.

果肉总糖和果皮叶绿素含量随海拔高度升高先升高后降低；可滴定酸、维生素C和果皮花青苷含量均随海拔升高而升高；蛋白质在1720m处最大，1420m处最小；果皮类胡萝卜素随海拔升高而降低。