代数曲面 oor Engels

代数曲面

Vertalings in die woordeboek Sjinees - Engels

algebraic surface

voorbeelde

反过来,斯科特域在一定意义上"几乎"就是代数格。
Consequently, Scott domains are in a sense "almost" algebraic lattices.

该接收物镜(14)是自由曲面光学元件,它由非球面部分(16)和超环面部分(15)组成。
The receiving objective (14) is a free-form surface optical element, formed by an aspheric surface part (16) and a toroid part (15).

只有一個曲面鏡的望遠鏡,例如牛顿望远镜,總是受到像差影響。
A telescope with only one curved mirror, such as a Newtonian telescope, will always have aberrations.

今晚 我们 " 补习 代数 " 罗斯福 酒店 9 点钟
We're studying algebra tonight, Roosevelt Hotel, 9:00.

對虧格g的閉曲面,Hebda和Burago(1980)證明了systolic比SR(g)有上界2。
For a closed surface of genus g, Hebda and Burago (1980) showed that the systolic ratio SR(g) is bounded above by the constant 2.

起先时代的特色是使用组合拓扑(今日代数拓扑的先驱)。
The future tense is distinguished from the present tense by the use of prefixes.)

广义范畴论随后产生,且更容纳了语意灵活性和高阶逻辑等多种新特征的泛代数,现在被运用到数学的所有分支。
General category theory, an extension of universal algebra having many new features allowing for semantic flexibility and higher-order logic, came later; it is now applied throughout mathematics.

将问题重新表述成多重线性代数术语是有好处的,这里有清楚的和良定义的“最好解”:解的限制恰好是你事实上所需要的。
Its benefit is that by re-expressing problems in terms of multilinear algebra, there is a clear and well-defined 'best solution': the constraints the solution exerts are exactly those you need in practice.

事实上因为R是带有乘法的所有正实数的李群的李代数,实数参数的常规指数函数是李代数下的特殊情况。
In fact, since R is the Lie algebra of the Lie group of all positive real numbers under multiplication, the ordinary exponential function for real arguments is a special case of the Lie algebra situation.

所述气场压缩锥面(63)有助于将所吸收的气场压缩及强化,所述气场压缩锥面(63)邻近气场吸入面侧处具有气场导流曲面,以有助于气场的导流及汇聚,使气场聚集的效果更好。
The qi field compression conical surface (63) is conducive to compress and intensify the absorbed qi field, and the qi field compression conical surface (63) has a curved qi field-guiding surface close to the qi field absorption surface that is conducive to guiding and gathering qi field, thereby enhancing the qi field gathering effect.

挪威人尼尔斯·阿贝尔和法国人埃瓦里斯特·伽罗瓦证明了高于四次的多项式方程不存在通行的代数解法,也就是阿贝尔-鲁菲尼定理。
Niels Henrik Abel, a Norwegian, and Évariste Galois, a Frenchman, proved that there is no general algebraic method for solving polynomial equations of degree greater than four (Abel–Ruffini theorem).

通过Kinect得到目标物初始点云数据, 而后用超二次曲面对目标物进行表达, 最后经过抓取规划得到力闭合抓取位姿, 于此同时将目标物参数与抓取参数以经验信息的形式存储于抓取经验库中, 为机械手抓取类似物体提供经验知识.
We firstly recover the superquadric of an object from the raw point cloud in a single view with conjugate gradient method.

然而,这些运算 在 SQL 中相当重要,因此在现代关系代数中都包含它们。
However, these operations are so important in SQL, that modern treatments of relational algebra include them. 2.3.

一年后,州政府数据显示 我们学生的代数成绩上升了171%, 文学成绩上升了107%。
After one year, state data revealed that our scores have grown by 171 percent in Algebra and 107 percent in literature.

缸头本体(1)内侧形成燃烧室面(7),燃烧室面(7)为拱形平滑曲面。
The combustion chamber surface (7) is an arch-shaped smooth curved surface.

然后格拉斯曼证明一旦几何被置入他所鼓吹的代数形式中,三就不再是空间维数的有特殊地位的数字;可能成为维数的数字是无限的。
Grassmann then showed that once geometry is put into the algebraic form he advocated, the number three has no privileged role as the number of spatial dimensions; the number of possible dimensions is in fact unbounded.

你若研究数学达到成为代数或微积分专家的地步,你会恢复用手指和脚指计数吗?——可参阅彼得后书2:20-22。
If you had studied mathematics to the point of being an expert in algebra or calculus, would you revert to counting on your fingers and toes? —Compare 2 Peter 2:20-22.

因为任何布尔代数都是分配格,这证实了想要的蕴涵。
Since any Boolean algebra is a distributive lattice, this shows the desired implication.

一个可定向曲面是一个存在定向的抽象曲面,而已定向曲面是一个抽象可定向曲面,并包含了选取两个可能的定向之一的额外数据。
An orientable surface is an abstract surface that admits an orientation, while an oriented surface is a surface that is abstractly orientable, and has the additional datum of a choice of one of the two possible orientations.

为此,回想下列定理: 对于布尔代数B的任何理想I,下列是等价的: I是素理想。
For this purpose, recall the following theorem: For any ideal I of a Boolean algebra B, the following are equivalent: I is a prime ideal.

典范 Kripke 模型扮演的角色类似于在代数语义中的 Lindenbaum–Tarski代数构造。
Canonical Kripke models play a role similar to the Lindenbaum–Tarski algebra construction in algebraic semantics.

例如,路易斯·阿爾達伊(Luis Alday)、大衛·格約托(英语:Davide Gaiotto)和立川裕二(Yuji Tachikawa)證明了把曲面上理論緊緻化後,得出的是一種4維量子場論,而且還找到一種聯繫這套理論的物理和某些與曲面本身有關的物理概念的對偶,叫AGT對偶(英语:AGT correspondence)。
For example, Luis Alday, Davide Gaiotto, and Yuji Tachikawa showed that by compactifying this theory on a surface, one obtains a four-dimensional quantum field theory, and there is a duality known as the AGT correspondence which relates the physics of this theory to certain physical concepts associated with the surface itself.

吉多·卡斯特爾諾沃證明,任一複曲面,若使得 q 及 P2(不規則點及第二正則虧格)均消失,則該曲面為有理曲面。
Guido Castelnuovo proved that any complex surface such that q and P2 (the irregularity and second plurigenus) both vanish is rational.

换言之,z是一个不定变量,这使得我们可以在射流上施行各种代数操作。
In other words, z is an indeterminate variable allowing one to perform various algebraic operations among the jets.

LED汽车前照灯及其自由曲面微透镜阵列
Free-form surface micro lens array for led headlamp of automobile