構造證明 的英文怎麼說

中文拼音 [gòuzàozhèngmíng]
構造證明 英文
constructive proof
  • 構 : Ⅰ動詞1 （構造; 組合） construct; form; compose 2 （結成） fabricate; make up 3 （建造; 架屋） bui...
  • 造 : Ⅰ動詞1 （做; 製作） make; build; create; produce 2 （假編） cook up; fabricate; concoct 3 [書面語...
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 構造 : structure; construction; constructional detail; tectonic; structural; makeup; anatomy; constituti...
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  1. Conscious that the human organism, normally capable of sustaining an atmospheric pressure of 19 tons, when elevated to a considerable altitude in the terrestrial atmosphere suffered with arithmetical progression of intensity, according as the line of demarcation between troposphere and stratosphere was approximated, from nasal hemorrhage, impeded respiration and vertigo, when proposing this problem for solution he had conjectured as a working hypothesis which could not be proved impossible that a more adaptable and differently anatomically constructed race of beings might subsist otherwise under martian, mercurial, veneral, jovian, saturnian, neptunian or uranian sufficient and equivalent conditions, though an apogean humanity of beings created in varying forms with finite differences resulting similar to the whole and to one another would probably there as here remain inalterably and inalienably attached to vanities, to vanities of vanities and all that is vanity

    人體組織通常能夠抗得住十九噸的氣壓169 ，可是一旦在地球的大氣層里上升到相當的高度，越是接近對流層與平流層的境界線，鼻孔出血吸呼困難以及眩暈，隨著算術級數就越發嚴重起來。他曉得這一點，尋求解答時就設想出這樣一個難以證明是不可能的行之有效的假定：倘若換個更富於適應性，解剖學上的構造也有所不同的種族，說不定就能在火星水星金星木星土星海王星或天王星那充足而相同的條件下生存下來。然而那個遠地點170的人類種族，盡管在構造方面與地球上的人類有著一定限度的不同之處，整個來說彼此卻有著相似的種種形態。
  2. By the polygonal approximation method, a global approximation solution is constructed for the initial - boundary value problem of nonconvex scalar conservation laws with two - side boundary effect, and its convergence to the global weak entropy solution of the corresponding problem is proved

    摘要使用折線逼近法，對具有兩條邊界影響的非凸單個守恆律初邊值問題構造了整體近似解，並證明其收斂到初邊值問題的整體弱熵解。
  3. Using paralled mathematic induction method ， it proved that maximum plane graph with any degree which is contructed by way of " adding point within plane " or " adding point at the edge " is 4 - colorable

    運用「并行（或平行）數學歸納法」證明了由「面內加點」或「邊上加點」方法所構造的任意階極大平面圖是可四著色的。
  4. It is proven that these modified dual algorithms still have the same convergence results as those of the conceptional dual algorithms in chapter 2 and chapter 3. secondly, a dual algorithm is constructed for general constrained nonlinear programming problems and the local convergence theorem is established accordingly. the condition number of modified lagrange function ' s hessian is estimated, which also depends on the penalty parameter

    證明這些修正的對偶演算法仍具有同前兩章的概念性對偶演算法相同的收斂性結果，我們還進一步構造了一般約束非線性規劃問題的對偶演算法，建立了相應的局部收斂理論，最後估計了修正lagrange函數的hesse陣的條件數，它同樣依賴于罰參數。
  5. Further research of lithofacies pvove : lode country output points belongs to tidal - flat facies. and the two sides belong to littoral facies - estuarine facies. ore area petrochemistry analyse also prove : intraclast congeries silica rock in basin have higher cu, ag abundance than circumference pena. the prominence inhomogeneity of the cu distribution indicates reconstruct of the late construction

    礦區內巖石化學測量也證明：盆地內發育的內碎屑堆積硅質巖比周圍巖石具有更高的cu 、 ag元素地球化學豐度值， cu元素分佈的顯著不均一性，表明了後期構造的改造作用。
  6. The research shows that mineralization fitted well with the regional tectonic - magmatic - metallogenic events and deep structure in this district. 3

    研究證明，本區成礦作用與區域構造-巖漿-成礦事件及深部構造之間有很好的吻合性。
  7. In the third section, the asymptotic equipartition property ( aep ) of second order markov chain field on a class of tree is studied by using the analytic approach. a net is constructed on a product space, then some strong laws of large numbers of second order markov chain field are proved by using the differentiation of measure on a net. furthermore, shannon - mcmillan theorem is extended to the case of second order markov chain field

    本文的第三章是用分析的方法研究一類樹上的二重馬氏鏈場的漸進均分割性，為此先構造了一個乘積空間上的網，然後利用網微分法證明了一些二重馬氏鏈場上的大數定律，並將shannon - mcmillan定理推廣到二重馬氏鏈場上。
  8. As far as the discussion about the structures is concerned, to some extent, it may be said to be an application to the backlund transformation : fix a solution qn to the system ( l. 3 ), construct a group of solutions qn different from qn through the backlund transformation, and then prove that qn is convergent to qn. in the section 4, it is vital for us to find out the fixed solution n to the equation ( 3. 1 ) in the theorem3. 2, which is completed in the lemma4. 2 and theorem4. 3

    第四節對方程（ 1 . 3 ）的解的性態的討論，在一定程度上也可說是對定理3 . 2的一個應用：給定方程的一個解q _ n ，然後通過貝克朗變換構造了一系列不同於q _ n的解q _ n ，之後證明了q _ n收斂于q _ n 。
  9. Thirdly, from the idea of locally linear approximate, another tangent - plane algorithm is presented for the distance between the convex nurbs surfaces. the critical step is the construction of the support mapping by gjk and lc to search for nearest points, and emphases are laid on dealing with isotropic cases and choosing initial iterated points. it is also proved that no isotropism during iteration would take place if initial iterated points are positive points

    切平面法是運用gjk和lc構造支撐映射的原理而設計的一個搜索近點對的迭代法，著重給出了迷向情況的處理和初始迭代點的選取方法，並證明了只要將初始迭代點取為陽點，就不會出現迷向情況。
  10. " for the neutrino beam method and the demonstration of the doublet structure of the leptons through the discovery of the muon neutrino

    產生第一個實驗室創造的中微子束，並發現中微子，從而證明了輕子的對偶結構
  11. This thesis is to recommend a important class of regularized strategies for solving inverse problems - mollifier method. it anaysises the consistency, numerical stability and error estimates of mollified solution. similar to tikhonov regularization, a discrepancy principle for selecting the mol - lifier parameter is proven and applications to numerical differentiation and numerical inversion of abel transform and also given

    本文將介紹求解反問題的一類重要的正則化策略?緩鎮法，並基於用gauss核構造的緩鎮運算元，分析了緩鎮解的相容性、數值穩定性和誤差估計，與tikhonov正則化類似，我們證明了決定緩鎮參數的偏差原理。
  12. This article imtroduces adesign for a new style nonelastic element flexible c ouple r with good combinedcompensntion functions of axial, radial and anguladirection s. it s a mew idea designwith a simple and reasonable construction, lowpri ce and convenient maintenance. also it hasa super axial compensating ability compared with common couplers. the theory is that therotary force can be changed into lev eladvanced force. it has been proved that this couplerhas a good combined techn ique proprety and a higher rate between quality and price. itmust have cheerful prospects of application

    設計了一種具有良好的軸向、徑向及角向綜合補償功能的新型無彈性元件撓性聯軸器.這種聯軸器構思新穎，結構簡單，容易加工製造，便於裝拆維修，具有一般聯軸器所不能實現的軸向超大補償能力.設計原理可引伸拓寬到將轉動動力轉變為直線推進動力的設計上.實踐證明，該聯軸器具有良好的綜合技術性能和較高的性能價格比，極具應用前景
  13. After constrcting the perfective space, prove that this space is just the space of lebesgue integratiable function, thus explain that lebesgue integral is the form of the perfective riemann integral

    在構造了完備化空間之後，證明了該空間就是勒貝格可積函數空間，從而說明了黎曼積分的完備化形式是勒貝格積分。
  14. For any formal theory in which basic arithmetical facts are provable, it is possible to construct an arithmetical statement which, if the theory is consistent, is true but not provable or refutable in the theory

    對任何基本算術事實是可證明的形式理論來說，如果該理論是一致的，那麼就可以構造一個算術陳述，它是正確的，但無法使用該理論證明或推翻。
  15. By introducing proper stretchy variable and constructing boundary layer function, it concludes n - order approximate solution, and using theory of differential inequality, uniformly validity of asymptotic expansion is proved

    通過引進適當的伸長變量，構造邊界層函數，得到了解的n階近似值，並利用微分不等式理論證明了解的漸近展開式的一致有效性。
  16. These studies, therefore, suggest that the songsugou peridotite is not a tectonic massif of the upper mantle but a ultramafic magmatic rock body crystallized in deep crust and tectonically emplaced in the upper crust

    從而證明了松樹溝橄欖巖體並不是上地幔巖石的殘片，而是由巖漿在深部地殼環境下結晶而成並以固態構造侵位於地殼的上部。
  17. Let d be a nonzero k - vector space of commuting - derivations of a. kaim - ing zhao and yucai su studied the associative algebra a [ d ] = ak [ d ] of weyl type constructed from the pair of a commutative associative algebra. 4 and its commutative derivation subalgebra d over a field k of arbitrary characteristic

    趙開明和蘇育才研究了任意特徵的域上具有單位元的交換結合代數a和它的交換導子的子空間d所構造的weyl型代數。他們證明了a [ d ]是單lie代數的充分必要條件是a是d -單的且k _ 1 [ d ]忠實地作用在a上。
  18. From the work mentioned above, the paper independently gives a new method to generate belief functions based on rough set. and it is accordant with the requirement of dempster - shafer evidence theory

    作者還獨立提出了一種基於粗糙集理論的信任函數構造方法，並分析證明了其完全符合證據理論的要求。
  19. These appointed examiners, categorised into boiler inspectors and air receiver inspectors, carry out inspections and testings of any pressure equipment subject to registration and are responsible for scrutinising documents on design, construction, quality of fabrication and issuing certificates of fitness

    這些委任檢驗師分為鍋爐檢驗師和空氣容器檢驗師兩種。他們為須登記的壓力器具進行檢驗及測試，並負責審查有關設計、構造及裝配質素的文件，以及簽發效能良好證明書。
  20. On the other hand, they play an important role in the theories of esfimation for regression function. in this paper, we mainly get the large sample properties for partitioning estiona - tion and modified its estimation. for example, we proved their asymptolic normaity under nuture conditions by means of mortingle theory ; we also get their strong consistency for regression function under censored samples ; and finaly we genearzed the result to dependence sample and have strong consistency for the modified partitioning estimation of regression function

    因此本論文研究了回歸函數基於分割估計及改良基於分割估計的大樣本性質，利用鞅的有關理論，在比較自然的條件下，證明了其漸近正態性；首次構造了截尾樣本的回歸函數基於分割估計及改良基於分割估計，並證明其強相合性；同時把有關結果推廣到相依樣本下（如混合） ，獲得了改良基於分割估計的強相合性及收斂速度。
分享友人
分享到 Line

分享到臉書