查询词典 imbedding theorem

In order to get the convergence properties of the weak set-valued Amart , we firstly proved the theorem that the limit of support functions is a support function.

为了得到关于弱集值渐近鞅的收敛性质，首先证明了支撑函数列的极限亦为一支撑函数。

Our methods are based on the the surjection of maximal monotone operators and the critical point theorem of convex functionals.

本文主要利用极大单调算子满射原理和凸泛函临界点理论对半线性抛物型方程在各种控制下的能控性进行了研究。

Based on the surjection of maximal monotone operators, we prove that some semilinear heat equations with weak Lipschitz nonlinear terms are exactly controllable by L〓 0, T: H〓(Ω control; Based on the critical point theorem of coercive convex functionals, we prove that some parabolic equations with Lipschitz nonlinear terms are globally approximately controllable and finite-dimensional exactly controllable by controls acting on mobile supports, and finally, we extend the results to parabolic equations in R〓.

首先利用极大单调算子的满射原理证明了半线性热方程在较弱Lipschitz条件下可通过L〓0.T；H〓(Ω控制实现精确能控。然后通过构造强制凸泛函并利用其临界点理论证明了带Lipschitz非线性项的抛物型方程可通过作用在在移动支集上的控制来实现整体近似能控与有限维精确能控，最后将整体近似能控与有限维精确能控结论推广到无界区域R〓上。

This theorem states that the sum of the symmetric logic variables constitutes a level-0 kernel of the symmetric logic function.

该定理表明，对称逻辑函数的对称逻辑变量之和恰好构成了该逻辑函数的一个零级核。

In this paper, the inertial theorem of real symmetric matrix has been proved by three methods in three aspects: the relationship between real symmetric matrix and real quadratic form, the relationship between real symmetric matrix and symmetric bilinear function of real linear space.

从实对称矩阵与实二次型的联系、实对称矩阵与实线性空间的对称双线性函数的联系以及将实对称矩阵作为研究主体这三个角度，介绍实对称矩阵的惯性定理的三种证明，以期加深对实对称矩阵的惯性定理的理解。

In this thesis we offer detailed proof of main theorem on tori which take symmetric space as the main tool.

用对称空间的有关知识给出了极大子环群定理的详细证明。

We study a pinching theorem for submanifolds of locally symmetric space in this paper.This paper has three chapters.In the first chapter, we give a brief introduction of the property of submanifoldsin locally symmetric space,which prepares for the proof of the following main results.

本文研究局部对称空间中子流形的pinching问题，全文共分为三个章节：第一章节介绍局部对称空间中子流形的性质，从而为后面主要结果的证明作准备。

In the third chapter, we study complete minimal submanifolds of locallysymmetric space, and we obtain a pinching theorem about the Ricci curvature of the minimal submanifolds, which generalizes the result of Norio Ejiri\'s from sphere space to locally symmetric space.

第三章节研究局部对称空间中具有正Ricci曲率的完备极小子流形，得到了关于子流形Ricci曲率的一个pinching定理，该定理把Norio Ejiri的结论从外围空间为球空间推广到局部对称空间中。

In the study of the Lagrange stability of impact motion, we give some conditions of the bouncing solution of the asymptotically linear equation which is bounded or unbounded. Outside of a large disc, using the symplectic transformation of the Hamilton system to estimate the iteration of the successor map. Applying the Moser's small twist theorem, we get the invariant curves and then give the proof of the bouncing solutions which is bounded. We will estimate the successor map of the equation directly for proving the unboundedness of the bouncing solutions.

在碰撞运动的Lagrange稳定性的讨论中，给出了渐近线性方程碰撞解有界或无界的条件，在充分大的圆盘外，通过Hamilton系统的辛坐标变换的角度平均来估计后继映射的迭代，应用Moser小扭转定理得到不变曲线从而给出在一定条件下碰撞解有界的证明，碰撞解无界性的证明将采用直接估计后继映射的方法给出。

The residual stress distribution of the tangential residual stress,the hoop residual stress and the normal residual stress test of spiral seam arc weld pipe were studied on the basis of elastic mechanics analysis and superposition theorem.

基于弹性力学应力分析和叠加原理，研究了螺旋缝埋弧焊管切环法残余应力测试中的残余应力分布。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。