查询词典 proved

By introducing two pairs of conjugate exponent parameters and, and using the improved Euler-Maclaurin＇s summation formula for estimating the weight coefficient, a reverse Hilbert-type inequality with a best constant factor is proved.

本文通过引入两对共轭指数参量与及应用改进的Euler-Maclaurin求和公式以估算权系数，证明了一个具有最佳常数因子的逆向Hilbert型不等式；作为应用，还给出了相应的等价式及一些特殊结果。

In this paper, based on the conjugate function and the dual programming of convex programming, with the dual cone, to conic programming, the dual programming is fully discussed, the expression of the dual programming is educed, the main dualities are proved, and the dualities of the familiar conic programming are studied.

以共轭函数和凸规划的对偶规划为基础，利用对偶锥的概念，全面讨论了一般锥规划的对偶问题，严格推导出锥规划对偶规划的表示形式，给出了锥规划的主要对偶性质，并用这些结果研究了常见锥规划的对偶性。

Owing to the key conclusion, this paper lays emphasis on the possible ways of realizing the singular conjugation by single—enveloping method. It is proved that the hyperbolic normal arc surface and the involute helicoid both may conjugate in singular points on the condition of single—envelope.

在奇点共轭理论的工程实现方面，文中明确指出二次包络是获得奇点共轭的有效手段，但并非唯一手段，在满足特定的运动几何条件下，一次包络即可获得奇点共轭。

In anti-fuzzy number space, the conjugate mapping of convex fuzzy mapping is concerned, and convexities of conjugate set and conjugate mapping of convex fuzzy mapping are proved.

在研究模糊向量空间、模糊凸集和模糊凸映射的基础上，我们研究了模糊规划的Lagrange对偶和凸模糊规划的KKT条件，并将有关结果应用到模糊线性规划和模糊二次规划的研究中。

In this paper,with the aid of the w~*- sequential compactness of bounded closed balls in the conjugate space of a separable space,we proved that the convex hull of a finite union of bounded closed balls in l~∞ is closed.

借助可分空间的共轭空间中有界闭球的弱星序列紧性，证明在无穷维数列空间l∞中有限个闭球之并的凸包仍为闭集

Chapter 4 establishes the theory of convex fuzzy mappings: The concepts, such as Jensen's inequality, positively homogeneous, infimal convolution, right scalar multiplication and convex hull are introduced. The corresponding theorems are demonstrated by using the parametric representations of fuzzy numbers. In anti-fuzzy number space, the conjugate mapping of convex fuzzy mapping is concerned, and convexities of conjugate set and conjugate mapping of convex fuzzy mapping are proved. The notions of subgradient, subdifferential, differential with respect to convex fuzzy mappings are investigated, which provides the basis of the theory of fuzzy extremum problems.

在第4章中，建立了有关凸模糊映射的理论：建立了关于凸模糊映射的Jensen不等式、模糊正齐次映射、凸模糊映射的下卷积、右数乘和凸包等概念，利用模糊数的参数化表示，给出了相应的定理；在反模糊数空间，对凸模糊映射的共轭也作了探讨，证明了凸模糊映射的共轭集合和共轭映射都是凸的；最后对凸模糊映射的次梯度、次微分和微分等概念进行了研究，为模糊极值理论打下了基础。

The accurate solution of linear equations could be expressed linearly by the conjugate vector base, and the iterative strategy was used to construct the conjugate vector base groups and the corresponding coefficient. The constructed conjugate vector base groups were proved to be conjugated.

线性方程组的精确解能够由共轭向量基线性表示，利用迭代的方式给出了构造共轭向量基以及对应系数的方法，证明了算法所构造的向量基的共轭性。

In the refutation tree of predicate calculus, the proved conjunctive formula.

在谓词演算的反驳树中，被证明的合式公式。

It takesthe weighted average of the L2 norm of the difference of the observation and thesolution of the system and the L2 norm of the difference of conormal derivativeat the different sides of the interface for every subdomain as cost functional andthe smooth coefficients of the subproblem and the value of solution of the originalproblem at interface as identification parameters;Using the property of continu-ous functional defined on compact set,the existence of the optimal solution of theidentification problem is proved;The necessary conditions of optimality charac-terized by the system equation,the adjoit equation and the variational inequalitysimultaneously are given by introducing the conception ofdifferential andadjoit variable;An algorithm is devised and its flow graph is given.

其次，针对分片光滑动力系统的特征，结合正演过程的区域分解算法，建立了分片光滑系统的分解区域参数辨识模型，该模型以子区域上解的实测值与计算值之差的L2范数和界面两侧的通量差的L2范数的加权平均作目标泛函，各子问题的光滑系数及界面上真解的值为待辨识参量；利用紧致集上连续泛函的性质，证明了子区域上参数辨识问题最优辨识参量的存在性；引入微分的概念，借助伴随变量，给出了由系统方程，伴随方程和变分不等式共同表征的最优性必要条件；根据此必要条件设计了算法，给出了算法的程序框图。

The three resulting championships won consecutively in 2000, 2001, and 2002 further proved such a fact.

这三个连续夺得冠军产生於2000年，2001年和2002年再次证明了这样一个事实。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失