查询词典 imbedding theorem

A new kinematically admissible velocity field is constructed. On operating with a linear failure criterion that exceeds the actual nonlinear failure criterion, the objective function formulation of the upper bound theorem leads to a classical nonlinear programming problem where the objective function, which is to be minimized, corresponds to the dissipated power.

本论文在上限定理的基础上，首次提出&切线法&与非线性&序列二次规划&优化相结合的计算方法，使在非线性屈服下求解岩土承载力或稳定性问题成为可能，为上限定理的广泛应用开辟了新的途径。

Based on the upper bound limit analysis theorem,upper-bound answers of bearing capacity of circular shallow foundations by suitable choice of a kinematically admissible velocity field and admissible failure mechanisms were derived.

在极限分析上限定理的基础上，选择合适的机动位移速度场及容许破坏模式，推导出地基承载力上限解，然后利用弹塑性力学知识得出了滚石冲击压力以及滚石冲击深度的计算表达式。

Based on the theorems of holography and linear system,the numerical reconstructing methods of the off-axis lensless Fourier transform hologram by Fresnel diffraction formula and by the convolution method based on Rayleigh-Sommerfeld diffraction integral and by angular spectrum theorem are studied.

根据全息理论和线性系统理论，采用离轴无透镜傅里叶变换全息记录光路，对利用菲涅耳近似法、基于瑞利—索末菲衍射积分的卷积法以及角谱理论方法数值重建全息图进行了比较研究，并做了计算机模拟验证。

Theorem 2.2.34 Let R be a reduced left morphic ring, then R is a left semi-hereditary ring.

定理2.2.34设R是约化的左morphic环，则R是左半遗传环。

Theorem 2.2.23 Let R be a reduced left morphic ring, then R is a subdirect product of division rings.

定理2.2.23：设R是约化的左morphic环，则R是除环的亚直积。

Theorem 2.3.7 Let R be a reduced left morphic ring, then R is a right FS-ring.

定理2.3.7：设R是约化的左morphic环，则R是右FS-环。

Theorem 2.3.3 Let R be a reduced left morphic ring, then R is a right PS-ring.

定理2.3.3：设R是约化的左morphic环，则R是右PS-环。

We also provide the ergodic convergence theorems for semitopological nonexpansive type mappings in the reflexive Banach in Chapter 3. By this theorem we can get the main results in [13]14[15][16], and we should notice that their methods do not extend beyond Lipschitzian mappings.

本文第三章在自反的Banach空间中给出了一般拓扑半群上渐近非扩张型半群的遍历收敛定理与其殆轨道情形的等价性，从而利用本章中的定理可以直接推得文[13][14][15][16]中的主要结果。

Especially, by use of the new point, the concept of atom is defined from which the essential implications of atom and nonseparation are brought in, and Stone theorem of finite Boolean algebra is extended to alleged atomic algebra.

特别本文用新的观点给出了&原子&的定义，这个定义给出了&原子&的&不可再分&的本来含义，并且将有限布尔代数的Stone定理推广到所谓原子代数中去。

The composition theorem based on the nonsymmetrical interfaces was proved, in terms of which any two components interacting by harmonic interfaces could be combined into a single component.

第二，系统地建立了构件与接口、接口与接口的关系理论，明确了接口&和谐&交互的条件及构件&提供&接口的含义。

You can do some assertiveness training.

你可以进行一些自信训练。

We were well on the path to making a rear-wheel-drive global platform," says Mays."

我们正致力于建立一个后轮驱动的平台，"Mays这样说道。"