证明性的
- 与 证明性的 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
On the other hand, we make certain study to the nonwandring property of bounded, unbounded operator semigroups ,and give out concrete application.By the theory of semigroups, we establish if {T_n}_(n≥1) is a bounded linear operator sequence onBanach space X_n converging in the sense of Kato to a bounded operator T on theBanach space X , then their nonwandering property can be inherited by each other under the appropriate conditions.
另一方面,本文对有界和无界算子半群的非游荡性也作了特别的研究,并给出了一些具体的应用;利用半群理论,还证明了算子在Kato意义下逼近时,二者之一的非游荡性可被另一个所保持;并得到了几个相应的结果。
-
From Poisson matrix, we can observe volume-preserving vector fields. By using Geiges-Gonzalo's existence of contact circle Theorem [3] , we show the existence of volume-preserving circle on3-manifolds which says that every3-manifold admits two linear independent vector fields preserving a same volume form.
通过Poisson矩阵可以观察出保积向量场,再利用Geiges-Gonzalo的接触圆存在性定理[3],我们证明了保积圆的存在性:每个闭的3-流形上都存在两个处处线性无关的保积向量场并且它们的常系数线性组合仍是保积向量场。
-
With the help of the Mountain-Pass Theorem lacking Palais-Smale compactness condition (PSc condition and by adoption of the best attained function of Sobolev embedding, the paper proves the existence of nontrivial solutions of two classes of critical biharmonic equations on boundary conditions by overcoming serial difficulties caused by loss of compactness due to Sobolev embedding.
本文借助于没有 PS 条件的翻山引理,并利用 Sobolev 嵌入的最佳达到函数,克服了由于 Sobolev 嵌入失紧性而带来的系列困难,证明了含临界增长的两类双调和方程边值问题非平凡解的存在性。
-
In 1931, the Wisconsin research team proved the mammal nutrition must the third kind of element is the zinc; in 1961 Ananda S, Prasad and so on reported that "Iranian village sickness", has the short, the reproductive organ maldevelopment, to lack the iron liver splenomegaly, low-spirited, to be addicted to rests and so on sickness, the zinc treatment has the good effect; Various countries also one after another have the zinc denutrition the report which confirmed after the experiment, and discovered that the zinc medicinal preparation treats enteropathy extremity dermatitis to have the special effect.
锌为人体必需的微量元素之一,其作用巨大,正引起社会各界的日益重视,被近代医学界、营养学界喻为人体的"生命之花"、"智慧元素"。1931年,威斯康星研究小组证明哺乳动物营养所必需的第三种元素是锌;1961年Ananda S,Prasad等报告"伊朗乡村病",有身材矮小、生殖器官发育不良、缺铁性肝脾肿大、精神不振、嗜睡等症,锌治疗有良效;各国也陆续有锌营养缺乏经实验证实的报道,并发现锌剂治疗肠病性肢端皮炎有特效。20世纪70年代末以后,我国各地有大量关于锌缺乏病的报道,以小儿为多见。
-
In the second part, we consider the intrinsic structure of the partition of ω, study the separativity of the orders (ω,≤ and discuss the distributivity of the lattices
本文第二部分通过研究自然数分拆的内在结构,讨论偏序(ω,≤的可分裂性,以及格(ω,≤的可分配性,我们证明了存在一个偏序它是可分裂的,但由它诱导的格却是不可分配的。
-
Also the problems of stochastic controllability, observability and stability of the filter are studied, a simple observability criterion for the time-invariant systems is set up, error band of the filtering is given theoretically, and the filtering stability results are proved under more general conditions; besides, the filtering error caused by uncorrect mathematical models is analysed.
本文还研究了随机能控能观性及滤波的稳定性问题,建立了结构简单的平稳定常系统的能观性判据,在理论上给出了滤波算法的误差范围,在更一般的条件下证明了最优滤波算法的稳定性;并从理论上分析了模型误差对滤波产生的影响。
-
Let P be a Markov operator in, and Q any ergodic Markov operator possessing finite invariant measure. In this note a simple and direct proof of the equivalence of the mixing property for Q and the ergodicity for Cardesian product PQ is given.
设P是L上的Markov算子,Q是任一具有有限不变测度并且遍历的Markov算子,在这篇注记中我们给出了P的混和性和Cartesian积P×Q的遍历性相互等价这一结果的直接而简单的证明。
-
Coli mainly in a form of inclusion body. The expressed product contained about 25% of total somatic protein and showed good reactogenicity as proved by Western blot. The IgG level against GAMP induced by GAMP-CRM197 conjugate was significantly higher than those by GAMP and by the mixture of CAMP and rCRM197. Repeated immunization with the conjugate induced immunopotentiation, indicating the effect of CRM197 as a carrier protein.
结果重组CRM197在大肠杆菌中主要以包涵体形式表达,表达量占菌体总蛋白的25%左右;Western blot证明重组rCRM197具有良好的反应原性;各针接种后,结合物诱生的多糖特异性IgG水平均显著高于GAMP组和GAMP+rCRM197混合物组,具有较强的免疫原性;多次接种产生了免疫增强效应,重组CRM197具有载体蛋白的作用。
-
The Taylor formula holds the very important status in the differential calculus, especially in solves in some concrete problems to have the extremely important application, for instance the proof inequality, the judgment improper integral collects the divergence, asks the function the limit, asks the function the higher order derivative, determines certain complex progressions to collect the divergence, solves certain differential equation, as well as approximate calculation in and so on application, therefore this article will do the thorough research to these seven aspects.
摘 要:泰勒公式在微分学中占有非常重要地地位,尤其在处理1些具体的茄题中有10分重要的应用,比如证明不等式,判断广义积分的敛散性,求函数的极限,求函数的高阶导数,判定某些复杂级数的敛散性,求解某些微分方程,以及近似计算等中的应用,因此本文将对这七个方面做深入的研究。关键词:泰勒公式;不等式;广义积分;极限;高阶导数;复杂级数;微分方程
-
And the inverse result of kinematics for the shield hinge equipment is obtained and one-degree inverse coefficient matrix of the impact, two-degree inverse coefficient matrix of the impact and the expression of velocity, acceleration for every component are calculated, all of these lay the foundation for the following kinetics of the shield hinge equipment.
研究盾构铰接装置的能控性问题,讨论铰接液压缸的驱动力对切口环上末端力的控制能力,通过盾构前体切口环的末端力能控性,理论证明盾构铰接装置在土层中工作时切口环的可行运动与不可行运动,并得到可行运动的运动特性曲线。
- 推荐网络例句
-
Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".
歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车,和一双合并为一移交&整个lotta爱&。
-
This is Kate, and that's Erin.
这是凯特,那个是爱朗。
-
Articulate the aims, objectives and key aspects of a strategic business plan.
明确的宗旨,目标和重点战略业务计划。