查询词典 theorem of alternative
- 与 theorem of alternative 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
Theorem(Stokes's Theorem) Let be a piecewise smooth oriented curve in three-space, be a piecewise smooth oriented surface with boundary curve .The surface and the curve are related by a right-hand relationship, i.e., if the fingers of the right hand are cupped in the direction of ,then the thumbpoints in the direction of orientation of .,, have continuous first partial derivatives on and ,then
定理 设为分段光滑的空间有向闭曲线,是以为边界的分片光滑的有向曲面,的正向与的侧符合右手规则(即如果右手大拇指表示曲面的方向,则弯曲四指表示曲线的方向),函数,,在曲面上具有一阶连续偏导数,则有下述公式成立
-
The Pappus theorem and Pascal theorem are the important theorems of three points colinearity of degenerate and non degenerate two stage curves respectively.
常见资料如文献 [1~ 3]等均介绍了著名的Pappus定理和Pascal定理,这两个定理分别是退化和非退化二阶曲线中关于三点共线的重要定理,应用广泛。
-
Population Genetic Model;Hardy Weinberg gene Balance Theorem;Perron Frobenius Theorem;error precision
群体遗传模型;哈迪·威恩伯格基因平衡定理;Perron Frobenius定理;误差精度
-
The software has the following features:(1) it includes large deformation theory based on S-R decomposition theorem first time as well as one based on polar decomposition theorem for comparison the latter is included by most commercial finite element software;(2) three design methods for nonlinear mechanical problem i.e.
采用飞箭软件公司的有限元程序自动生成系统作为软件开发平台,进行"深部软岩工程大变形力学分析设计系统"的合作开发工作。
-
He also extended quasi-geostrophic non-acceleration theorem to primitive equation non-acceleration theorem.
他在国际上首创湿倾斜涡度发展理论和全型垂直涡度方程,成功地揭示青藏高原西南涡和夏季江淮流域的暴雨发展机理,揭示副热带高压形态变异的成因;证明创新的原始方程中的无加速定理以及大气运动的动力强迫和热力强迫的调配率;开展创新性气候动力研究,揭示中高纬和热带海气相互作用差异的机理及厄尔尼诺影响台风频率的机制,继承和发展了我国学者关于青藏高原对大气环流和天气气候影响的研究;在国际上首次把亚洲季风爆发分为三个阶段,证明由于中高纬度的强地转性和斜压性使其海气相互作用的特征与热带显著不同;首次用数值模式提出厄尔尼诺影响台风的机制,得到国际上的高度评价。
-
Next in section 2.3,usingthe finite isolated regular representations in SO(3)character varity of 〓,weobtained a computation formula of SO(3)Donaldson invariants with degree 1 of4—manifold 〓(Theorem 2.3.1).Finally in section 2.4 wediscussed the Donaldson invariants of 4—manifolds with smoothly embedded 2—torus 〓 whose selfintersection is +1,with the help of the single irreducibleSU(2)representation of the principal 〓—bundle over a 2—torus with Eulernumber—1,we got a gluing formula of the Donaldson invariant on the 2—homology represented by 2—torus 〓(Theorem 2.4.1),it is a supplement of P.
最后在§2.4我们讨论了具有自交数为+1的嵌入环面〓的4—流形的Donladson不变量,运用环面上欧拉数为-1的圆丛的单个不可约SU(2)表示给出了Donaldson不变量在环面表示的同调类上的一个粘合公式(定理2.4.1),这一结果补充了P。
-
The computational formula of the gradient matrix in subspace is obtained by applying Taylor series expansions, decomposition theorem of space and projective theorem (The gradient matrixs in different subspace are different).
利用子空间上的泰勒展式、空间分解定理以及投影定理得到了子空间上梯度矩阵的计算公式(不同的子空间,梯度矩阵是不相同的)。
-
By using the model of this interpretation, the reliability theorem and the uniformity theorem are proved of the propositional calculus plus syllogistic system.
本文最主要的工作是建立了三段论的一种解释,并且在这种解释模型中,证明了命题演算+三段论系统的可靠性定理,一致性定理,还从语义角度,对项的周延性等问题发表了一些意见。
-
This paper makes studies of researched proposition on Pythagorean theorem an Projection theorem.
本文对勾股定理、射影定理的研究性论题进行了研究。
-
Suppose John is thinking about the Pythagorean Theorem and you ask him to say what's on his mind. His response is an event: the utterance of a sentence; and one of its causes is the event of John's thinking about the theorem.
假设张三在思考勾股律,你问她什么东西在她心里,她的回答是一个事件:说出一句话,其原因之一是'张三思考勾股律'这个事件。
- 相关中文对照歌词
- Underground Network
- The Alternative
- Suicide's An Alternative / You'll Be Sorry
- Alternative, Baby
- Suicide's An Alternative
- Brennisteinn
- One Is The Magic Number
- Stat-60
- Alternative Girlfriend
- I Am You
- 推荐网络例句
-
Listen,point and check your answers.
听,指出并且检查你的答案。
-
Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.
但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例,经过临床的诊断后,其中施以温针治疗的48例,疗效显著,报道如下。1临床资料本组病例48
-
Some known methods of remnant pump detection and automatic laser shut-down use communications, such as an OSC.
一些已知的残余泵浦检测和自动激光关断的方法利用诸如OSC的通信。