查询词典 radon nikodym theorem

We introduce a set of real functions H, and use to it to give a fixed point theorem of tother type for complex mappings on complete metric spaces, which improves and generalizes the corresponding results on compact metric spaces or under the condition of weakening compactness obtained by Fisher, Telci and Xu Xiao-li, respectively.

利用引入的实函数类H，在完备度量空间上给出了复合映射的另一种类型的不动点定理，改进并推广了Fisher、Telci和徐晓立等在紧致度量空间上或在弱化紧性条件下得到的相应结果。

Because the governing equations have the relationship of translation symmetry, the displacement fields and the electrical potential fields can be represented by Bloch theorem to get the periodical structural governing equations.

将应力和电位移场以位移和电位场表示，即可利用层与层间的位移、应力、电位和电位移必须连续等条件求得转换矩阵，再满足上下表面的边界条件即能求得出压电周期叠层板波传频谱。

In this paper transversality idea from singularity theory is applied to set up the universal unfolding theorem of bifurcation problem s with multiparameter.

利用奇点理论中的横切性思想建立了多参数分支问题的方有开折定理。

The existence of solutions for two-point boundary value problem subject to nonlinear second order differential equation with mixed boundary conditions is studied by using topological transversality theorem, and some known results are improved.

现利用拓扑横截定理，考虑了二阶常微分方程两点边值问题在组合边界条件下的解的存在性，对二阶常微分方程两点边值问题所对应的辅助问题作先验界估计，并利用拓扑横截定理，得到了边值问题解的存在性，推广了一些已有结果。

The frequency range and distortion model affected by Faraday rotation were analyzed. A kind of calibration algorithm was introduced, in which trihedral corner reflectors were used to calibrate POLSAR image subject to channel imbalance, Faraday rotation and RCS distortion. [2]Three kinds of target decomposition theorems used to extract polarimetric features of SAR image were studied in detail. A kind of POLSAR MLC image data decomposition method based on classical coherent decomposition theorem of POLSAR SLC image was introduced, which was used to extract polarimetric features of POLSAR MLC image.

当工作频率小于1GHz时，法拉第旋转是影响低频星载极化SAR图像定标的一个重要因素，论文分析了受法拉第旋转影响的波段范围和误差模型，提出了一种校正通道不平衡度、法拉第旋转和绝对幅度增益的极化定标算法，仅使用一种点目标——三角反射器作为定标体，应用于受法拉第旋转影响的极化SAR图像定标； [2]深入研究了三类用于SAR图像极化特征提取的目标分解理论。

Trivial Solution conception is put forwarded based on the theorem of K〓nig and forbidden node----for the n×n 0-1 degeneracy matrix, the solution under the condition that all element 1 can not be covered completely by n lines that must have intersects or can be covered completely by n lines that must have cross, without forbidden node, are called TS matrix.

本文在K〓nig定理和禁点定理的基础上，提出了平凡解的概念，即对于n×n阶的退化矩阵，全部1元素不可能被n条有交叉的直线全部覆盖或能用n条直线覆盖全部1元素，但无禁点的情况称为平凡解。并证明了如下的平凡解产生的充分必要条件：对退化矩阵A〓，若

We can prove trivially that this theorem is false .

我们可以轻易地证明这一命题是错的。

At first, in this paper, the concept and type were introduced; afterwards, how to apply counter-examples in the higher mathematics was expatiated particularly in such aspects: concept、theorem、rule、formula and distinguishing true and false of the proposition; Finally, the construction of counter-examples was explored using special example、character、the method of approach as well as intuitional geometrical graphics.

本文首先简要介绍了反例的概念和类型；然后从概念、定理、法则、公式以及判别命题真假等几个方面，详细阐述了在高等数学中如何应用反例；最后，从利用特例、性质，采用逼近的方法以及直观的几何图形几个方面探讨反例的构造。

The empirical Bayes estimation for parameters of the one-side truncated distribution family with convergence rate which can close to 1 arbitrarily is investigated using NA samples and an example that satisfies the conditions of theorem is given.

运用NA样本密度函数核估计构造了一类截断型分布族参数的经验Bayes估计，建立了它的收敛速度，证明了在适当条件下该收敛速度可以任意接近于1，文中还给出了适合定理条件的例子。

This paper was concerned with the Dirichlet-Neumann mixed boundary value problem of bipolar quantum hydrodynamic model in thermal equilibrium. By truncation method and Leray-Schauder fixed point theorem, the existence of solution to the problem is proved. In addition, the uniqueness of the solution was proved as the Plank constant was large enough.

研究了热平衡状态下双极量子流体动力学模型的Dirichlet-Neumann混合边值问题，利用截断方法和Leray-Schauder不动点定理证明了其解的存在性，另外还证明了当普朗克常数充分大时其解是唯一的。

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