1) geometric rigidity theorem
几何刚性定理
2) constructive geometric theorem
构造性几何定理
3) geometry theorem
几何定理
1.
Using the elimination method with decoupling of leadin g terms for a polynomial set presented by the author, a polynomial set of an or iginal geometry statement of a geometry theorem can be translated into an ascend i ng polynomial set with leading coefficients without unknown variables.
用多项式组主项解耦消元法 ,将几何定理的假设条件 (多项式组PS)化为主系数不含变元的三角型多项式组DTS ,可得到定理命题成立的不含变元的非退化条件 ,即充分必要或更接近充分必要的非退化条件 由于多项式主系数不含变元 ,已不存在DTS多项式之间的约化问题 ,故方法有普遍意义 文中例为西姆松定理的机器证
2.
Generally, the proving of geometry theorem is based on the axiom system, and is deducted according to certain logic rules.
通常,几何定理的证明是依据公理系统,按一定的逻辑规则演绎地进行。
3.
Contrasting the geometry theorems and deductions of several similar graphs,summarizing these algebraic relations and applying both of them to the air defense information fusion are of important theoretic significance.
对比几个类似图形的几何定理及推论,归纳与总结这些代数关系,具有重要的理论意义。
4) demonstrate [prove] a geometric theorem
证几何定理
5) non-linear geometric stiffness
非线性几何刚度
6) time-varying geometric stiffness
几何刚度时变性
1.
A nonlinear direct integration method considering conducting wire time-varying geometric stiffness is adopted to calculate wind-induced dynamic response of single tower and tower-line system.
建立了输电塔–线耦联体系的空间模型,利用Davenport谱模拟了目标场地风场,采用线性弹簧模型与Maxwell模型相结合模拟调谐质量阻尼器(tunedmassdamper,TMD),采用考虑导线几何刚度时变性的非线性直接积分方法对有无TMD的单塔、塔–线体系风致响应时程分析,进行TMD调频参数优化控制计算,并比较了单塔与塔–线体系时程反应。
补充资料：Nash定理(微分几何学中的)
Nash定理(微分几何学中的)
ial geometry) Nash theorems (in differen-
N目l定理(微分几何学中的)〔N山由由印泊1拐(in山筋改价回g印艘甸);比二a TeopeM“1 R记叮ul扣流形在E侧土d空间中等距嵌人(如饮沮-d云19)和等距浸人(一ion)的两组定理(亦见流形的浸入(肛田犯邝ion of a Inanifokl);等距浸入(isonletric~ion)).最初的叙述是J.Nash给出的(〔l」). l)关于Cl嵌人和Cl浸人的Nash定理.具有C”类度量g的n维R~空间(R吮nannjan印ace)砂在m维EuCljd空间E门中的Cl类浸入(嵌人)f:俨~E“称为短的(sllort)，如果它在俨上诱导的度量g，使得二次型g一外是正定的·若砂有在E附(m)n+l)中的短浸人(嵌人)，则尸也有在Em中的C，类等距浸人(嵌人).在m)”+2的限制下，该定理在【l]中被证明，如上所述形式的定理由【2]证明.特别是，这个定理蕴含着:若紧R犯犷naon流形俨有在E“(m)n十l)中的C，嵌人(浸人)，则俨也有在E们中的等距c]嵌人(浸人).N出h定理的另一个结论是:Vn的每一个点有一个充分小的邻域，它容许有在En十‘中的Cl类等距嵌人. 2)关于正则嵌人的N出h定理.每一个紧c尸类Rlerr以nn流形(3簇r提二)有在E“中的等距Cr类嵌入，其中m=(3矛+11n)/2若砂不是紧的，则它有在E们’中的等距cr类嵌人，此处阴1=(3记+1 In)(n+l)/2. 关于正则嵌人的N留h定理来自关于很广的一类微分算子的逆算子的N比h隐函数定理(N出h加P五cit一腼·面nth印况m)的一个应用.该定理的意思是，当自然地联系于微分算子L的某个线性代数方程组可解时，且在象和逆象中引进合适的拓扑，则所讨论的算子是开映射，即L在其范围内任意一点附近是局部可逆的.对于Ri已比口nn流形在Eu山d空间中嵌人的方程，它归结为:映射f:V”~E爪关于V”的内在坐标的一阶导数和二阶导数必须是线性无关的.这样的嵌人首先是在〔41中考虑的‘它们被称为亨申的〔脉).N出h隐函数定理意味着与自由嵌人在Em中的R止Ir以nn流形户充分接近的紧凡e皿nn流形V”也有在E，中的自由嵌人.这个事实以及关于一个参数的初始延拓方法导至关于正则嵌人的N由h定理(见「3】).将Nasb方法推广到非紧流形和解析嵌人，并且将关于一个参数的延拓过程作重要的加细，已经证明每一个无限次可微(解析)的R正n坦口n流形砂有在E爪中等距的可微(解析)嵌入，其中m=。(。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条