證明理論 的英文怎麼說

中文拼音 [zhèngmínglǐlún]
證明理論 英文
to prove a theory
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 理 : Ⅰ名詞1 （物質組織的條紋） texture; grain （in wood skin etc ） 2 （道理;事理） reason; logic; tru...
  • 論 : 論名詞（記錄孔子及其門徒的言行的「論語」） the analects of confucius
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  • 理論 : theory
  1. In this paper, the folio wings are introduced briefly : holonomic theory ; the basic idea that d. zeilberger used to prove identities using holonomic theory. and wu method is generalized to the non - commutative weyl algebra. furthermore, dialytic method of elimination is replaced by wu method, so the prove can be extended from the single - variable hypergeometric identities to multi - variable ones

    本文簡要介紹了完整性理論， d . zeilberger利用完整性理論證明恆等式的基本思想，將吳方法推廣到不可交換的weyl代數上，用吳方法取代了d . zeilberg在證明完整性函數恆等式的理論框架中的析配消元法，從而將這種證明理論由單變量超幾何恆等式的證明擴展到多變量超幾何恆等式的證明。
  2. One fault diagnosis model and corresponding algorithm was constructed based on neural network and evidence theory for taking a step forward diagnosis correct rate, which can cut down the imput dimension of neural network 、 improve classification ability 、 decrease the error classify rate of diagnosis system. then, the feasibility and effectiveness of this method was manifested by specific diagnosis example

    為進一步提高診斷準確率，本文基於神經網路和證據理論，構建了基於決策層信息融合的故障診斷模型及其相應演算法，目的在於降低神經網路的輸入空間，提高其分類能力，降低診斷系統的誤分類，診斷實例表明了這種方法的可行性和有效性。
  3. 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

    作者還獨立提出了一種基於粗糙集理論的信任函數構造方法，並分析證明了其完全符合證據理論的要求。
  4. An open fast - cool - down cycle j - t cooler and a small closed cycle j - t cooler are investigated both in theory and experiment

    實驗結果驗證了理論模型的可靠性，同時也發現系統設計及運行中存在的問題，為系統以後進一步的改進指明了方向。
  5. Vigorously challenged yet widely ignored, the theory had languished for half a century, primarily due to its lack of a plausible mechanism to support the proposed drift

    因受到有力的挑戰進而廣泛地遭遇冷淡，這個理論蕭條了半個世紀，這主要是因為缺乏可信的漂移機制來證明其論點。
  6. ( 3 ) verifies the voltage wave, electrical current vuive and output power wave of asteroidal magneto, and the veracity of parameters by a series of experiments. the experimental result demonstrates that the error is less than 10 % between theoretic value and actual value

    （ 3 ）通過一系列實驗驗證了星形磁電機空載電壓波形、電流波形、短路電流倍數、輸出功率等波形和參數的準確性，實驗結果表明，理論與實測值相差不到10 。
  7. The calculated results indicate the theoretical results are in good agreement with existed experimental data, and it is successful to predict nuclear reaction by using optical model and the semi - classical model of multi - step nuclear reaction processes in theory. en key words : optical model ; hauser - feshbach theory ; exciton model ; equilibrium processes ; pre - equilibrium processes

    為了保證整個反應過程的能量守恆，我們嚴格考慮了反沖核效應的影響。計算結果表明，理論值與實驗值符合的很好，可以認為運用光學模型及核反應多步過程的半經典模型從理論上預言核反應是很成功的。
  8. Real time seafloor tracking technique is the critical technique to ensure smooth seafloor surveying with full coverage and high efficiency. after detailed investigation on stochastic features of seabed reverberation produced by mbss systems, the author presented an algorithm and a set of relevant key coefficients for real time seafloor tracking, taking into account of characteristics of signal processing and timing sequence of the real system and introducing theorems of terrain surveying. as an achievement, a mathematical model was established based on the technique of centered filtering

    海底地形實時跟蹤技術是保證多波束測深系統實現高效率全覆蓋水下地形測量的核心技術，作者通過對多波束測深系統海底回波信號統計特性的研究，依據地形測量理論，並結合實際系統信號處理的技術特點和處理時序，提出了實現海底跟蹤控制的關鍵參數及計算方法，建立了基於中值濾波技術的海底地形實時跟蹤數學模型，並開發出實時地形跟蹤專家系統，該系統經多次海上實驗驗證表明：理論正確、方案可行，取得良好效果。
  9. In this paper, the working principle of the interleaving two - transistor forward converter is analyzed in detail, and the waveforms of the switch drain - to - source voltage and transformer magnetizing current are researched in different duty cycle conditions. the simulation model is constructed and the simulation results verify the analysis

    本文分析了交錯並聯雙管正激變換器的工作原理，研究了在不同占空比條件下開關管的漏源電壓和變壓器勵磁電流波形，建立了模擬模型，模擬結果證明理論分析的正確性。
  10. Mindful of the stumbles of other biotech companies, krotzky adds, metanomics has worked quietly for four years, completing internal proof - of - concept tests before making any public scientific claims

    柯洛斯基時時以其他生技公司的悲慘命運為警惕，他補充說明，代謝組學公司四年來始終默默耕耘，完成了內部的測試、證實理論正確后，才對外公開他們的科技成果。
  11. Much of the scientific establishment says that intelligent design is not a tested scientific theory but a cleverly marketed effort to introduce religious - - especially christian - - thinking to students

    許多的科學機構坦言:智能設計理論不是一種經過科學驗證的理論，但它是一種將宗教（特別是基督教）思想介紹給學生的精明的市場化的努力
  12. We also apply lyapunov function to evaluate the attraction region of stable fixed point which corresponds to running region of the power system, we give the boundary of stability region by means of article [ 8 ], finally, the numerical simulate results verify the theoretical analysis

    本文還用lyapunov函數對穩定域進行了估計，給出穩定平衡點的吸引域，這相當于電力系統的穩定運行區域。並且用文[ 8 ]提供的方法，給出穩定區域的邊界。最後，本文用模擬算例驗證說明理論分析結果。
  13. Certainly these conclusions are not wrong but because some supposes are violated. our purpose is to find out the restraint condition to explain the economic phenomenon of china, and it can be used to direct the practice and policy making when the theory is perfect

    當然這並非證明結論真正有誤，而是其前提假設中有些假設被違反，我們的目的就是找出這種約束條件以解釋中國的經濟現象，待理論成熟后並可以指導經濟實踐與政策制定。
  14. Usually only select states are available and output feedback is used. it is shown that output feedback, while not as effective as full state feedback, is still able to damp vibration. thirdly, virtual vibration measurement and control instrument is developed using lab view and homemade daq, then experiments are performed to validate the conclusion of analysis results

    最後，為了驗證在理論分析和數值模擬中得到的結論，利用虛擬儀器軟體labview和國產數據採集板開發了虛擬振動測控平臺，然後對附加主被動混合阻尼的懸臂梁結構，實現了結構振動控制，實驗結果表明主被動阻尼分離結構對低階模態振動具有更顯著的控制效果。
  15. In addition, such a broad view makes it difficult to assess the output of a research activity and to justify that a theory has been tested and / or developed

    此外，這樣的一個廣大觀要點成功困難去使評價一個研究活動的產量和證明理論已經測驗和/或者發展。
  16. In the early days of computer science, researchers hoped that programmers might prove their codings were correct in the same way that mathematicians prove their theorems

    資訊科學出現之初，研究者曾希望程式設計師能像數學家證明理論一樣，證明自己的程式是正確的。
  17. An alternative to yet another definition of theory is listing examples of what a theory does not include, such as references, data, list of variables or constructs, diagrams and hypotheses ( sutton and staw, 1995 )

    此外，這樣的一個廣大觀要點成功困難去使評價一個研究活動的產量和證明理論已經測驗和/或者發展。
  18. Science is essentially an experimental exercise, and testing a general theory consists of progressively pushing the boundaries, successively removing limiting conditions in an attempt to show that the theory is indeed applicable in all cases

    科學在本質上是一種實驗過程，而測試一個通用理論包括逐漸擴大邊界，持續消除限制條件，以證明理論確實對所有情況都是適用的。
  19. It summed up the legislation of medical malpractice in different country : the principle of the fact of malpractice being evidence of fault in united states of america ; the theory of no ability of testifying because of interfering ; and when momentous medical malpractice occurred, the burden of proof will be switched ; the requirement of pat ients " consent, and so on

    比較系統的對國外醫療訴訟證據適用原則進行了歸納：美國的事實本身說明過失原則、德國的妨礙證明理論、以及重大診療過失的責任轉換、承諾阻卻原則等等，這些對于國內的醫療糾紛訴訟會起到一定的借鑒作用。
  20. At last, we gave the circuit connection method of web browse function and ethernet / rs232 gateway function and the detailed resolvent to improve the results of theory research. the result indicates that it is feasible to access internet with the method of micro controlling unit and virtual software package. this method will provide a new kind of resolvent to appliance accessing intemet, long - distance controlling and long - distance data collection

    最後給出了實現網頁瀏覽功能和ethernet rs232網橋功能的實驗線路連接方法及具體實驗方案，來證明理論研究的結論。實驗結果表明採用8位微控制器與虛擬軟體包相結合的方式接入internet是完全可行的，這將為家電上網，遠程控制，遠程數據採集等提供一種新的解決方案。
分享友人
分享到 Line

分享到臉書