證明樹 的英文怎麼說

中文拼音 [zhèngmíngshù]
證明樹 英文
proof tree
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 樹 : Ⅰ名詞1 （木本植物的通稱） tree 2 （姓氏） a surname Ⅱ動詞1 （種植; 栽培） plant; cultivate 2 （樹...
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  1. The one forecast buttonwood can safely make for 2008 is that the consensus will prove to be wrong

    對於2008年，梧桐樹下可以確定的一個預測是多數人的看法將會被證明是錯誤的。
  2. 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定理推廣到二重馬氏鏈場上。
  3. Strain mrv and strain cvs are belong to the same genotype. however, strain mrv, ctn and cnx8511 are belong to different sub - genotype. finally, this researched also proved that the character of neuron tropism rabies viruses by comparison and analysis the homologies of amino acid sequence between 189 - 214 position and the bonding segment of snake venom curaremimetic neurotoxims and acetylcholine

    從計算機建立的各毒株系統樹分析， mrv和cvs屬於一個基因亞型，和我國減毒株ctn以及人源野毒株cnx8511屬于不同的亞型，並且證明了189 - 214位氨基酸序列與蛇神經毒素同乙酰膽堿結合部位的序列具有高度的同源性，說明狂犬病病毒的嗜神經特點。
  4. Paris set out to prove you can, importing sand, palm trees and sunbeds for a repeat of last year ' s " paris - plage " experiment that lured over two million sun - worshippers to the concrete - lined banks of the river seine

    巴黎開始向人們證明這能夠做到。巴黎市效仿去年的"巴黎海灘paris - plage " ，引進沙灘棕櫚樹和日光浴床在市內修建了海灘。
  5. This dissertation is chiefly act below work : ( 1 ) expatiating the equipments diagnosis technique development process and trend, putting forward the standpoint that giving systematical diagnosis to the mechanical and electrical equipment and expanding the technical application in equipment diagnosis, making it breakthrough the traditional application of maintaining etc. in equipments, still be used for improvement and development etc. s of new product ' s design ; ( 2 ) probing into vibration type and disposal method of vibration signal, the usual method of equipment condition recognition, the essential constitutes and development trend of observation and diagnosis system ; ( 3 ) introducing the development trend of domestic and international crusher and the distinguishing feature of double turnplate stike crusher which is a new product. according to the breakdown phenomenon in running process, establishing the fault tree and deducing every kind of foundation affairs resulting in fault ; ( 4 ) studying the calculation method of critical rotation speed

    本文主要做了以下工作： （ 1 ）闡述了設備診斷技術的發展過程及發展趨勢，提出了應結合實際對機電設備進行系統診斷的新的技術思路，用實踐證明了應當拓寬設備診斷技術應用的范圍，使設備診斷技術既可以在設備管理和設備維修中得到應用，也可以用於新產品的設計改進及開發等； （ 2 ）探討了振動的類型及振動信號的處理方法，設備狀態識別常用的方法，監測與診斷系統的基本構成與發展趨勢； （ 3 ）介紹了國內外破碎機的發展趨勢，以及雙轉盤沖擊破碎機這一新產品的結構和特點，並根據試機過程中出現的故障，建立了故障樹，並導出了導致故障發生的各種基礎事件； （ 4 ）研究了臨界轉速的計算方法和原理，用傳遞矩陣法計算出了破碎機內轉盤的臨界轉速。
  6. 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

    從而證明了松樹溝橄欖巖體並不是上地幔巖石的殘片，而是由巖漿在深部地殼環境下結晶而成並以固態構造侵位於地殼的上部。
  7. The thesis consists of four sections. in section one, we introduce some background of the topic, in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic - the algebraic structure of the plus cupping turing degrees, in section three, we outline the basic principles of the priority tree argument, one of the main frameworks and tools of theorem proving in computability theory, and in section four, we prove a new result concerning the algebraic structure of the plus cupping turing degrees that there exist two computably enumerable degrees a, b such that a, b ? pc, and the join a v b of a and b is high

    本篇論文分為4個部分：第一部分介紹了這個領域的一些背景知識；第二部分主要回顧了前人在研究可計算枚舉度的結構和層譜時所取得的一些基本和最新結果，這些結果與我們的主題?加杯圖靈度的代數結構密切相關；在第三部分中，我們概要的描述了優先樹方法的基本原理，此方法是可計算性理論中定理證明的一個重要框架和工具；第四部分證明了一個加杯圖靈度代數結構的新結果：存在兩個可計算枚舉度a ， b ，滿足a ， b pc ，而且a和b的並a b是一個高度。
  8. Latest solid dielectric technology - solid dielectric viper reclosers utilize g ws time proven epox polymer system to fully encapsulate the vacuum interrupters. this system provides excellent insulation properties while providing fully shielded, void - free construction

    最新乾式絕緣技術-乾式絕緣viper重合器利用g w的經過長期運行經驗證明的環氧樹脂完全封裝了真空斷路器。
  9. Using the combinatorial method of constructibility and the technique of exchanging colors, we present the best upper bounds of dynamic chromatic number of halin graphs and sp graphs, and determine the dynamic chromatic number of a type of sp graphs, we determine the incidence chromatic number of some descartes product graphs and some join graphs. at last we determine the entire coloring number of 1 - tree and prove a conjecture of edge - face coloring

    利用構造性組合方法和換色技巧給出了halin圖和系列平行圖動態色數的最小上界，並確定了一類特殊系列平行圖的動態色數，確定了某些笛卡兒積圖和某些聯圖的關聯色數，確定了1 -樹圖的完備色數並證明了有關邊面著色的一個猜想。
  10. We show that under the consideration of discounted factor, jobs in the p - maximal initial set / * of module m should be processed prior to other jobs in module m, and the schedule is the optimal if the jobs in i * are n ' t be preempted by the jobs in n i *. this result is a extension of lawler ' s method for minimizing total weighted completion time with a series - parallel precedence

    證明了在考慮折扣因子的條件下，模塊m的因子最大初始集合i中的任務優先於模塊m中的其他任務，並且被連續加工所得的排序為最優排序：該結果推廣了lawler用來求解約束為串並有向圖的單機加權總完工時間問題的由底向上搜索分解樹的方法。
  11. However, in this paper, we propose an electromagnetic analysis of the tree trunks - soil clutter by fdtd method according to a 4 - steps solution, as mentioned in section 5. and in section 6, we prove the liability of this analysis. numerical results are presented in section 7. we compared our results with that of duke university, and both are in good agreement

    按照新方法的四個步驟計算地面上樹乾的散射，得出了模擬建模的數值結果，並與美國duke大學的模擬結果進行了對照，二者吻合良好，證明了新方法的有效性和優越性。
  12. [ the plants were loaded into the container immediately after planting on ( name of growing media ) which are not used for plant growing

    植株于輸出前須完全去除原始栽培介植，未使用過的泥碳土，椰子纖維，水苔或樹皮重新種植，並立即進行包裝，植物檢疫證明書加註。
  13. Tests in korean pine seed stands in linkou forest bureau have approved that prescribed burning is an effective measure for the prevention of forest fires and the safety of korean pine seed stands, as well as for the control of forest diseases and insects and the promotion of the tree growth

    林口林業局通過對紅松母樹林下的細小可燃物進行計劃燒除實驗，證明這種方法不但是預防森林火災、保證紅松母樹林安全的有效措施，而且還可消除森林病害蟲和增加林木生長量。
  14. A short proof of generating function of absolute tree

    關于絕對恆樹常生成函數的一個簡短證明
  15. Trees with historical significance that is supported by evidential records, such as the burmese rosewood outside the central government offices

    具有歷史意義的樹木為根據記錄可證明具有歷史意義的樹，例如中區政府合署門外的紫檀
  16. Rather wide experience has shown, however, that there is little damage to the trees or future crops.

    但更廣泛的試驗證明，這種樹無論是生長和將來的產量，都損失較小。
  17. " in our separate interviews with the three witnesses, we found that their recollection of people and events tallied strongly with only minor variances, tony lui noted. " even the appearances of the bribe - takers, their nicknames, the police units they worked for, staff identity numbers and the amount of bribe money they received were consistent. this affirmed that many officers from the police and other agencies had close associations with key members of the drug ring

    呂樹桐稱：我們分別接見三名證人，發覺他們說出的情況，除了少部分記憶較為模糊而有些兒差異外，差不多可以說有九成是互相吻合的就連收賄人的相貌特徵渾號所屬部隊編號甚至收取的銀碼亦相同由此證明販毒集團的主要成員與許多執法人員過從甚密經常見面。
  18. Many people research how to find value of y from resolution proof trees

    有許多人研究從歸結證明樹確定y的值的方法。
  19. The successful application of higher order connectedness on tree decomposition leads us to seek further implementation of higher order connectedness to other branches of graph theory

    而成功地應用高階邊連通性證明樹分解中的問題，使我們進一步尋找高階連通性在其它圖論問題中的應用。
  20. In this paper, we do two things. first, for theorem proving problem such like ( vx ) ( 3y ) p ( x, y ), we present a method for extracting procedure from the proofs generated by the resolution principle

    ） y ） p （ x ， y ）的定理證明問題，本文從分析歸結證明樹中的每個節點入手，提取歸結證明的過程信息，生成一個程序。
分享友人
分享到 Line

分享到臉書