查询词典 radon nikodym theorem

The law of sufficient reason is the first basic law of the logical thinking,and it's formal theorem is MP rule(i.e.the rule of detachment).

肯定的观点认为，充足理由律是逻辑思维的基本规律，但又找不到一个形式定理来表示它，因而作了一点让步，认为它至少是逻辑思维的一个基本要求。

The main work of this paper is to study the sampling theorem in domain of the fraction and the sampling relationship. We will try to obtain the theoretic sampling rate and the proof of feasibility. And we also give some relationship between the kernels under the meaning of sampling.

本文的主要工作就是，研究了分数傅立叶变换算子核函数的采样定理及采样关系，给出了一种能够达到理论的最佳采样频率的尝试，也给出了这种做法的可行性的证明，更进一步由采样关系给出了核函数的一些关系。

We mainly investigate the influence of different covariant representations on the satisfiable extent of the Hugenholtz-Van Hove theorem in the nuclear medium in the framework of DBHF.

结果表明：不同的协变表示对核子自能各分量的动量相关性和密度依赖性均有重要影响，进而对核介质中HVH定理的满足程度产生重要影响。

The space-like hypersurfaces with constant scalar curvature in a de Sitter space were studied and a pinching theorem on the square of the norm of the second fundamental form was obtained.

研究de Sitter空间中具有常数量曲率的类空超曲面，将Cheng-Yau的自共轨运算元口作用在对称张量T上，得到了这类超曲面关於第二基本形式模长平方的一个拼挤定理，加强了已有的相应结果。

In this article,we mainly study the space-like submanifolds with parallel mean curva-ture vector,constant scalar curvature or constant square length of the second fundamental form,respectively.We obtain some pinching theorems and rigidity results by estimating Laplace of the square length of the second fundamental form of the such submanifolds and using yaus maximum principle or Stokes Theorem.

本论文主要研究de Sitter空间中具有平行平均曲率向量、常数量曲率或第二基本形式模长平方是常数的三类类空子流形，并通过分别估计三种情形下子流形的第二基本形式模长平方的Laplace，利用Yau的极大值原理和Stokes定理，获得了这些子流形的一些拼挤定理和刚性定理。

We prove the local solvabiity of the problem by schauder fixed point theorem , and establish the existence and the inexitence of global solutions.

证明了Neumann 边值问题古典解的局部存在性，并给出了整体解存在和解在有限时刻内爆破的充分条件。

The existence of solution is studied for a class of second - order periodic boundary value problems with first applying Leray - Schauder fixed point theorem, two exislence theorems are established.

考察了一类非线性项含有一阶导数的二阶周期边值问题的解的存在性，其中非线性项是Carathèodory函数。通过构造非线性项的高度函数并且利用Leray-Schauder不动点定理建立了两个存在定理。

Chapter three deals with the controllability of a nonlinear integrodifferential systems ofSobolev type with nonlocal condition in Banach spaces. The results are obtained by using semi group theory and the Schauder fixed point theorem.

本章利用算子半群和Schauder不动点定理，在Banach空间中讨论了带有非局部初始条件的一类非线性Sobolev型积分微分系统的可控性问题。

In chapter 6, we discussed the wavefront solution of a kind of lattice differential equation which derives from diverse fields. We obtained the wavefront solution by using sup-subsolution iteration when the coupled functions are quasimonotone, and by applying Schauder fixed point theorem, we also obtained the wavefront solution when the coupled functions have a different quasimonotone property.

在第六章中，我们对一类从实际问题中抽象出来的二阶时滞格微分方程的行波解进行了讨论，用单调迭代的方法讨论了耦合函数具有拟单调性时行波解的存在性，用不动点的方法讨论了耦合函数具有指数拟单调性时行波解的存在性。

Firstly, we analysize the boundary value problem for linear singular system, several properties for linear singular system are given, and then the existence for boundary value problem to nonlinear singular system is proved by using the previous properties discussed and Schauder's fixed point theorem.

接着，利用Banach不动点定理，研究了Volterra型广义积分微分系统边值问题解的存在唯一性，最后给出了几个推论。

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数据流的质量检测。