查询词典 proved

The main results are:(1) the L1 boundedness of the Cesaro means operator of the harmonic expansions on the unit sphere with reflection-invariant measures is proved, and the characterization of the convergence index is given; for the points not in the planes with singularities, the pointwise convergence is also proved; these results are the generalizations of those both for the classical spherical harmonic expansions and for the Jacobi expansions;(2) Using the differential-reflection operators of Dunkl type, the uncertainty principle of a class of Sturm-Liouville operators is established, and as consequences, the uncertainty principles of some well-known classical orthogonal expansions such as Jacobi, Hermite and Laguerre expansions are obtained;(3) by introducing the Cauchy-Riemann equations in terms of the differential-reflection operators of two variables, the harmonic analysis of the extended Jacobi expansions is studied; the results include the Lp boundedness and the weak-L1 boundedness of the conjugate extended Jacobi expansions; specially, for some indexes p smaller than 1, the basic theory of the related Hardy spaces is established.

主要成果有：（1）证明了带有反射不变测度的球面调和展开蔡沙罗平均算子的L1有界性，给出了收敛指标的特征刻划，对不在奇性平面上的点，还证明了点态收敛性，这些成果同时推广了经典球面调和展开和雅可比展开的结果；（2）利用Dunkl型的微分-反射算子建立了一类斯特姆-刘威尔算子的测不准原理，并由此得到一些著名的经典正交展开如雅克比展开、赫米特展开和拉盖尔展开的测不准原理；（3）利用由两个变量的微分-反射算子定义的柯西-黎曼方程组来研究扩展雅克比展开的调和分析，证明了共轭扩展雅克比展开的Lp有界性和弱L1有界性，特别是对小于1的一些指标p，建立了相应的哈代空间的基本理论。

The superlinear convergence property of the algorithm is proved in this paper, and compared with the Tensor algorithm. It is proved that this method is more efficient for solving unconstrained optimization whose object function is of rank one defect.

文中证明了该算法是一个具有超线性收敛的算法，并且把修正的BFGS算法同Tensor方法进行了数值比较，证明了该算法对求解秩亏一的无约束优化问题更有效。

First, we have proved that the constraint of local constant gradient angles is equivalent to the minimization of total variation. Based on this, a stronger continuity constraint of gradient angle is presented. The interpolation formula (a 3-degree-PDE) derived from the constraint can ensure the continuity of level lines and reduce the width of edges. The contrast invariant of the regularizer of the formula is also proved.

首先证明了局部恒定的梯度角约束插值等价于总变分最小化；在此基础上，提出一个具有更强连续性的梯度角约束，由这个约束条件导出的三阶偏微分方程使插值的图像既可以保证水平线方向的连续性，又减小图像边缘的宽度；最后证明了插值方程中正则项的对比不变性。

It was found that there were three outliers in original dataset in regression analyses, and the results of cluster analysis for variables also proved it, while the model excluded the outliers were proved to be much robust using several test methods.

在运用逻辑建模法构建、检验模型时，发现原来数据组中可能包含离群值，聚类分析结果和质量控制图确证了离群值的存在，剔除后所建模型用多种方法检验，均显示出较高的稳健性。

In the paper the separate theorem of convex set with weak topology σ(L ∞,L 1) is proved, and the topological characterization about No Free Lunch with Vanishing Risk Condition is given, from it, the equivalency between exist of equivalent martingale measures and NFLVR is proved, this is the first fundamental theorem of asset pricing.

资产定价的第一基本定理是数量金融学中核心的定理之一，本文证明了在 L∞的弱*拓扑σ(L∞，L1)中的凸集分离定理，并在此定理的基础上给出了没有无风险免费午餐的拓扑描述，证明了市场公平性与没有无风险免费午餐条件的等价性，从而重新证明了资产定价的第一基本定理。

The examples given have proved the advantage of the Boundary Element Method. In the analysis of the fracture mechanics using Boundary Element Method, the calculation model of one-quarter singular element has been established, and has been proved its validity.

把边界元法应用于线弹性结构断裂分析中，建立了裂尖奇异区分析的四分之一奇异元计算模型，算例表明，用四分之一奇异元分析断裂力学问题是一种有效的逼近裂尖场的数值方法。

It is proved that if the optimal solution tree has an inter-node, the necessary and sufficient condition that tree structure GAs are solution foundable is that the initial population contains an inter-node; the upper limit of solution foundable probability is also calculated and the population size is proved to increase at most in a polynomial of increasing problem complexity and the probability upper limit.

本文接着给出了当初始群体随机产生，只有杂交算符作用或只有复制与杂交算符作用的遗传算法有解的充要条件，并加以证明；而且求出了这时有解的概率上限，并证明群体大小的增加不超过问题复杂性和有解概率上限的某个多项式。

Based on them, we calculated precisely some enegy levels of P-wave and D-wave of a helium atom, presented and proved the general interdimensional degeneracies for a quantum N-body system, derived the general spherical spinor functions and the exact solution to the Dirac equation for the hydrogen atom, and proved uniformly the Levinson theorem for the Dirac equation in D-dimensions.

在此基础上，我们精确计算了氦原子P波和D波若干较低能级，建立和证明了量子N体系统不同维数状态间最普遍的简并，推导出任意 D 维空间广义球旋函数和Dirac方程氢原子的精确解，统一地提出和证明了任意 D维空间Dirac方程Levinson定理的一般形式。

We established abstract functional spaces, proved that the plastic deformation power rate functional is strict convex and the friction power rate functional and the tensional stress power rate functional are convex. So, strict convexity of the total power rate functional 〓 can be obtained. Further, By nonlinear analysis theory, we proved the existence and uniqueness of minimal point of functional 〓.

本文首先建立了抽象的泛函空间，证明了塑性变形功率泛函是严格凸泛函，摩擦功率泛函和外力功率泛函是凸泛函，从而得到总能耗率泛函的严格凸性，进一步地，利用非线性分析的理论，得到总能耗率泛函有唯一的极小值点。

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不动点定理证明了其解的存在性，另外还证明了当普朗克常数充分大时其解是唯一的。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐