h theorem 中文意思是什麼

h theorem 解釋
h 定理
  • h : = 【電學】 henry; 【化學】 hydrogen; 【物理學】磁場密度 （intensity of magnetic field） 地磁水平...
  • theorem : n. 1. （能證明的）一般原理，公理，定律，法則。2. 【數學】定理。
  1. The existence theorem of contractible edges in h - connected graphs

    關于圖的孤立韌度與分數因子存在性的若干結果
  2. Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )

    第三部分：關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊）中引進量詞和謂詞，建立格值模態一階邏輯系統lmf （廣並給出其語又解釋和語法結構，證明了系統的可靠性和協調性；另外，為了判斷公式的可滿足性，定義了格值模態一階公式的skolem標準型和體解釋；在此基礎上，對基於系統lmf （ ）的a一歸結原理進行了初步探討
  3. Singapore : world scientific, 1994. 4 li h, wu y. automated theorem proving in projective geometry with cayley and bracket algebras

    其中特徵列方法是定理機器證明與方程求解的基礎，也是數學機械化領域目前研究的核心內容。
  4. Which generalizes the results obtained by h. alencar and m. do carrno. second, we prove a pinching theorem on the ricci curvature of the subrnanifold

    Docarmo在[ 1 ]中的結果，另一個結果是關于ricci曲率滿足處處大於或等於的條件下子流形的分佈定理。
  5. The second section : under the conditions of nonlinear boundary controbility, we consider the initial boundary value problem of camassa - holm equations with dissipative. by using the contractive mapping fixed point theorem and a priori estimates, the existence of global smooth s olution, global attractor in h ~ ( 2 ), t ime p eriodic s olution or almost - periodic solution and the global exponential stability are proved

    第二部分：在非線性控制邊界條件之下，對于帶耗散項的camassa ? holm方程的初邊值問題，用壓縮映射不動點原理及先驗估計方法，證明了整體光滑解的存在性、整體解的指數穩定性、 h ~ 2空間中整體吸引子的存在性以及時間周期解和殆時間周期解的存在性。
  6. Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ), f ( will ), h ( ever always ) and g ( will always ) into lp ( x ), put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance, gave detailed semantic interpretation and syntax structure, and discussed some properties of it, then proved soundness theorem and consistence theorem. furthermore, studied ( a, t ) - resolution principle which is related to time, gave some rules of computing tense resolvent, and put forward the method of tense resolution

    第二部分：關于格值時態命題邏輯系統及其歸結方法的研究此部分的主要工作是在格值命題邏輯系統lp （ x ）中引進時態運算元e （曾經） 、 f （將會）及其對偶運算元h （曾經總是） 、 g （將會總是） ，提出了以時軸為語境的格值時態命題邏輯系統ltp （ x ） ，並給出其具體的語義解釋和語法結構，並討論了它的一些性質，證明了該系統的可靠性和協調性。
  7. Then we have : theorem 1 provided that h = be a weak hopf - coalgebra ; then we have : in the third section, we mainly study the - comudules : the weak hopf - comodules ; and we get the main results as : theorem 2 suppose c is a - coalgebra, then we say : ( a ) there is a one - to - one correspondence between ( isomorphic classses of ) right - comoduleover c and ( isomorphic classes of ) rational - graded left c * - modules

    為c在訂上的模作用，它在直和項上的模作用形式為：上面三步影射依次為： z嗆p （叩廣。 ，山二clmhxclmhx ；吮z ；麗，遲兒的；是指q與c之間的自然匹配定理2設c為7t一余代數，則以下結論成立： （ a ） c上的右。
  8. Chen, r. h. and hong, y. s., 1998, 11, " limit analysis of nailed soil structures to upper bound theorem ", proc. of 13th southeast asian geotechnical conference, taiwan, r. o. c., pp. 277 - 281

    洪勇善、陳榮河， 2000 ， 02 ， "模型土釘拉出行為之非線性分析" ，八十八年電子計算機于土木水利工程應用研討會，第629 - 637頁。
  9. Lemma 7 h = be a weak hopf - coalgebra and is a normalized left integral of h1 ; then for all theorem 5 let h = be a finite - dimension weak hopf - coalgebra, then h is semisimple if and only if h1 is semisimple

    一余代數，則下列命題等價： （ hi半單問hi中存在正規左積分iehi問hi是可分的卜代數引理5對弱hopf7t一余代數h khalh ，八，乙）而言1是從的正規積分有： voe 。
  10. We detailed toeplitz operator with unomodular symbol, and generated the theorem proved by michael sand in [ 2 ] from h to h + c ( t ). in the second part of this paper, the author discussed simply when multipliction of two toeplitz operators with symbol in h + c ( t ) or in l. we got two conclusions by analyzing symbol of toeplitz operators. the last, we investigated whether multiplication of two toeplitz operators, which range included all non - cyclic vectors of backward shift, is surjective, and partly answered the question about surjective toeplitz algebra posed by michael sand in [ 2 ]

    對于單個的toeplitz運算元，考慮其符號的內外分解，得到了它的滿射只與其幺模部分有關的結論，詳細地討論了符號為幺摸函數的toeplitz運算元的各種情況，在討論符號在h ~的特殊情形時，推廣michaelsand [ 2 ]中的定理2到h ~ + c （ t ） ，第二部分簡單地討論了符號在h ~ + c （ t ）以及l ~中的兩個toeplitz運算元的乘積的滿射情況，先對toeplitz運算元的符號進行分析得到兩個結論，最後考察了toeplitz運算元的乘積的值域包含后移運算元的所有非循環向量的滿射情況，部分地回答了michaelsand在[ 2 ]中提出的toeplitz代數滿射問題。
  11. In this dissertation, the define about h ~ ( p, a ) space in reference [ 1 ] is generalized to several complex variables, the properties are characterized, and some multiplier theorem is given

    本文把在[ 1 ]中空間h ~ （ p ， ）的定義，推廣到多復變的情形，對空間中函數的性質進行了刻劃，並給出了h ~ （ p ， ）空間中幾個乘子定理。
  12. Lemma 5 let ( m, p ) be a right weak hopf - comoduleover h = a weak hopf - coalgebra, then for all ( 1 ) is a right submodule over ha of m. theorem 3 if h is a weak hopf - coalgebra and m = { ma } a is a right weak hopf - comodule over h ; we claim that : in the fourth section, we mainly study the weak integrals of h and the semisimplicity of h. we discuss the relation between the - integral and the antipiode of h, we get the following main results : lemma 6 let h = be a weak hopf - coalgebra, then the following statements for an element are equivalent ( a ) 1 a integral of h1 ( b ) ( c ) ( d ) ( e ) ( f ) is a right integral of h theorem 4 let h = be a weak hopf - coalgebra. then the following conditions on h1 are equivalent ( a ) h1 is semisimple

    ） ?喇） （ 1 ， 1 ） ）二m仰n m 」 」 「是m的右從子模定理3設h為弱hopf7t一余代數， m ma人h是h上的右弱hopf7t一余模n h是h在m上的余不動盧、 。則第四節我們主要討論了弱horf 。一余代數的半單性與h ；中的弱積分的關系；牙用（ h ，上門， l ） ， 3 ， si ）為弱hopf代數這一q點；我來觀察hi的正規弱積分與h的半單性之間的關系；該節第部分主要是給出弱hopf 。
  13. 2. based on the ( q, h ) - deformed quantum plane by benaoum, we establish the transformation formulae of arbitrary degree power of two variables on the ( q, h ) - deformed quantum plane. furthermore, we give the ( q, h ) - analogues of multinomial theorem, binomial reciprocal formula, chu - vandermonde identities and a pair of new double - index series inverse formula

    在benaoum在引入的（ q ， h ） -量子變形平面的基礎上，首先建立了（ q ， h ） -量子變形平面上的變量的任意次乘積的變換公式，進而給出了多項式定理、二項式反演、 chu - vandermonde恆等式等結果的（ q ， h ） -模擬以及一對新的雙指標級數互反公式。
  14. Under the compact type condition a comparability theorem is founded on [ 0, - h ) by using the theory of noncompactness measure and upper and lower solutions method with monotone iterative techniques, three existence results of global solutions for ( 1 ) are obtained. the results are new, improve the relevant conclusions in reference [ 8 ]. 3

    在緊型條件下，利用非緊性測度的性質和上下解方法，在[ 0 ， + ）上建立了比較定理和單調迭代法，得到了（ 1 ）在[ 0 ， + ）上整體解三個存在性結果，這些結果是新的，也是對文[ 8 ]中相應結果的推廣。
  15. A new fixed point theorem for upper semi - continuous multivalued mappings in h - spaces with applications

    空間中上半連續集值映象一個新的不動點定理及其應用
  16. 4. 2 theorem : let e is an extension of h - module algebras, is the system from e, then we have : 4. 3 b is a commutative h - module bialgebra. m is a commutative h module algebra

    然後給出了正則h一模代數擴張的定義及擴張正則的一個充要條件： 53 、定理： ji為交換的h一模代數， b為余交換的h一模hopf代數，對極為fb ，令： （ c
分享友人
分享到 Line

分享到臉書