证明性的
- 与 证明性的 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
How to improve corrosionresistance and abrasion resistance is also discussed in this paper.
实验证明,双层镀是提高镀件耐蚀性最有效的措施。
-
Boundless The Middle Ages is the age of God rule the whole shoot, God full of omniscience and almightiness made the heroes in the Hebrew myth wanting of independent consciousness and subjective spirit of Greece heroes trevolting and activity, therefore, The heroes in the Hebrew myth were the embodiment of the godship brilliance and reasonableness spirit of God , Their superhuman power and outstanding achievement is just for proving the greatness of God\' s divine nature.
漫漫中世纪是极端化了的上帝统治一切的时代,上帝的全知全能和至高无上使希伯来神话中的英雄们缺少了希腊英雄那种抗争与行动的独立意识与主体精神,因此,希伯来神话中的英雄是上帝神性光辉和理性精神的体现者,他们超人的神力和辉煌的英雄业绩不过是为了证明上帝神性之伟大。
-
And the relationship just shows: Plath\'s poetry is not autobiographic, but has distinct autobiographic quality, and the autobiographic quality appears to have three levels: reappearance, expression and interference.
这三者之间的关系表明:普拉斯的诗歌是非自传的,但却带有明显的自传性,而且这种自传性表现为三个递进的层次:再现——表现——同谋。其中,第一章探讨了诗歌对生活的再现,在生活中的经验和记忆与诗歌之间发现某些直接的镜像关系,以此证明生活是文学创作的基础。
-
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范数的加权平均作目标泛函,各子问题的光滑系数及界面上真解的值为待辨识参量;利用紧致集上连续泛函的性质,证明了子区域上参数辨识问题最优辨识参量的存在性;引入微分的概念,借助伴随变量,给出了由系统方程,伴随方程和变分不等式共同表征的最优性必要条件;根据此必要条件设计了算法,给出了算法的程序框图。
-
In this paper,at first we transformed the nonlinear elliptic system of 2m first order equations into the complex form, then by use the results on the Riemann-Hilbert problem for nonlinear elliptic complex equation of first order, the method of continuity, the Schauder fixed-point theorem and the Leray-Schauder theorem, we proved that the modified Riemann-Hilbert boundary value problem for the complex system with some conditions is solvable.
本文先将较一般的多个未知函数的一阶椭圆型实方程组化为复方程组,然后讨论这些复方程组在某些条件下的一些边值问题的可解性。这里所考虑的方程组既包含线性的,也包含非线性的,比广义超解析函数所满足的方程组还要广,又本文主要研究较一般的Riemann-Hilbert边值问题,先给出这种边值问题解的先验估计式,然后用参数开拓法及Leray-Schauder定理证明这种边值问题的可解性结果。
-
Since the concept of NA have a lot of applications in multivariate statistical analysis, reliability theory and percolation theory, various aspects of NA are significant and have been investigated by a host of scholars Fist, we give some Fuk-Nagaev type probability inequalities, moment inequalities of maximal partial sum for sequence of NA random variables, and some strong law of large numbers and complete convergence for sequence of NA random variables are obtained.
在本论文中我们对不要求强平稳或同分布的NA随机变量列进行了多方面的研究:首先对NA列建立了一组具有NA特点的关于最大部分和的Fuk-Nagaev型概率不等式及其关于某一类特定函数的矩不等式,它们在后续给出的极限定理的证明中发挥着重要作用;研究了具有不同分布的NA列的强收敛性,如对NA列建立了更一般条件下的Wittmann型强大数律及完全收敛性,同时也进一步改进了R。
-
It is shown that two-component Wadati-Konno-Ichikawa equation, i.e. a generalization of the wellknown WKI equation is obtained from the motion of space curves in Euclidean geometry, and it is exactly a system for the graph of the curves when the curve motion is governed by the two-component modified Korteweg-de Vries flow. At the same time, a n-component generalization to the WKI equation is obtained. Also, starting from the motion of curves, mKdV and its symmetry recursion operator is exhibited explicitly; two- and n-component mKdV systems are obtained. It is shown that WKI systems are gauge equivalent to mKdV systems. The two-component WKI equation admits an infinity number of conservation laws and a recursion formula for the conserved densities is given by considering an eigenvalue problem together with introducing an appropriate transformation.
在二维和三维欧氏空间上,我们从空间曲线运动出发,推导出了mKdV方程以及它的用以生成高阶对称的递归算子;推导出了多元mKdV方程以及二元和多元WKI方程,并证明了WKI系统和mKdV系统的规范等价性;尔后,通过考虑特征值问题,并引入一个恰当变换,给出了二元WKI方程的用以计算无穷多守恒密度的递归公式,从而证明了二元WKI方程的守恒可积性;系统地分析了两种mKdV方程的Painleve性质,并分别给出了两种不同形式的二元和n元mKdV方程的共振点出现的规律。
-
With the idea of smoothing Newton method, we propose a new class of smoothing Newton methods for the nonlinear complementarity problem based on a class of special functions. In this paper, complementarity problem is converted into a series of smoothing nonlinear equations and a modified smoothing Newton algorithm is used to solve the equations. We use Newton direction and Gradient direction together in the algorithm which guarantees that our method is globally convergent. Also using another smoothing function, we reformulate the generalized nonlinear complementarity problems defined on a polyhedral cone as a system of smoothing equations and a smooth unconstrained optimization problem. Theoretical results that relate the stationary points of the merit function to the solution of the generalized nonlinear complementarity problems are presented, we use the modified smoothing Newton algorithm in generalized nonlinear complementarity problems, under mild hypothesis, a global convergence is proved.
本文一方面基于现有的各种光滑Newton法的思想和半光滑理论,利用著名的F-B互补函数的光滑形式,首先将互补问题的求解转化为求解一系列光滑的非线性方程组,然后给出了一种修正的光滑Newton法,该方法不仅放宽对函数F的要求,在Newton方程不可解时引入初始效益函数的最速下降方向,而且光滑因子的选择也比较简单可行,同时在适当的条件下,证明了其算法具有全局收敛性;另一方面,借助另一种F-B光滑函数,将多面体锥上的广义互补问题转化为一种光滑形式,讨论了优化问题的稳定点与广义非线性互补问题的解之间的理论关系,并将这种修正的光滑Newton法用于求解广义非线性互补问题中,在适当的条件下,该算法同样具有全局收敛性。
-
In the first chapter, the application background and the main algorithms of the complementarity problems is introduced. In Chapter 2, some basic definitions and theories of complementarity problems are introduced. The 3rd chapter is the most important part of this paper, in which a new class of smoothing Newton method is detailed, also the global and local superlinear convergence is established for the method. In the 4th chapter, we propose some numerical experiment, and the results show the effectiveness of the proposed algorithms.
全文共分为四章,各部分内容安排如下:第一章是绪论部分,介绍了互补问题的应用背景和近年来有关互补问题求解方法的研究成果;第二章介绍了与互补问题相关的一些定义以及相关的定理和推论;第三章是本文的重点,构造了求解互补问题的一类光滑牛顿法,从理论上证明了算法的全局收敛性和局部超线性收敛性;第四章是数值实验,通过数值试验的结果进一步证明了算法的可行性和有效性。
-
A mathematic model,which deals with the relationship between maximum temperature of thick plate butt multipass welding and weld heat input,interpass temperature,ambient temperature and the distance of measuring points to heat source center,was founded using multivariant nonlinear regression analysis.
采用多元非线性回归的方法,建立了厚板对接多道焊的最高温度与焊接线能量、层间温度、环境温度以及测点到热源中心的距离之间的数学模型。通过相关性检验、线性回归的显著性检验以及回归系数的显著性检验,证明了模型可行;同时分析了回归系数与测点到焊缝中心距离之间的关系。结果表明,它们之间的关系是一种非线性关系,而且呈现出了一定的变化趋势
- 推荐网络例句
-
For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether
年美国个人破产法的一个改动使得破产登记急速下降,而后引起了信用卡大规模的亏损。
-
Eph. 4:23 And that you be renewed in the spirit of your mind
弗四23 而在你们心思的灵里得以更新
-
Lao Qiu is the Chairman of China Qiuyang Translation Group and the head master of the Confucius School. He has committed himself to the research and promotion of the classics of China.
老秋先生为中国秋阳翻译集团的董事长和孔子商学院的院长,致力于国学的研究和推广。