證明正確 的英文怎麼說

中文拼音 [zhèngmíngzhēngquè]
證明正確 英文
justification
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 正 : 正名詞（正月） the first month of the lunar year; the first moon
  • 確 : 形容詞1. （符合事實; 真實） true; reliable; authentic 2. （堅固; 堅定） firm
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  • 正確 : exactness; correct; right; proper; rightness; rectitude; validity
  1. Fundamenta informaticae, 2004, 62 : 1 - 23. 10 kleine b " uing h, lettmann h. propositional logic : deduction and algorithms, cambridge university press, 1999. 11 hilbert d, ackermann w. principles of mathematical logic

    2提出了一個演算法把ctl在有界語義下滿足性的檢測規約到一個qbf quantified boolean formulas問題的滿足性的判定上，同時證明了演算法的正確性。
  2. The test shall demonstrate to the satisfaction of the owner that the equipment meets all specified performance criteria, is properly installed and anchored, and operates smoothly throughout the specified speed range without exceeding the full load amperage rating of the motor or excessive motor heating

    測試應該讓用戶滿意，證明這些設備符合所有規定的性能標準，經過正確的安裝和錨固，在額定轉速范圍內運行平穩，沒有超過電機的額定滿負荷運轉電流安培數，或發生電機過熱。
  3. The problem of calculating the core attributes of a dicision table is studied, a new discernibility matrix and the computation of core is put forward in this paper, and correctness of this method is proved. this method is the same with consistent and antipathic dicision tables

    論文對目前求核方法存在的問題進行了分析，提出了一種新的可區分矩陣與求核方法，並證明了方法的正確性，該方法適用於任何決策表（相容的或不相容的） 。
  4. Lord's assessment of the situation proved to be correct.

    事實證明，洛德對形勢的估量是正確的。
  5. He added that the use of pneumatic compression pumps as a potential treatment has fallen into disfavor because of old, poorly substantiated claims that the use of pumps can actually create more problems than they solve

    他補充說，間歇性充氣加壓法作為一個很有潛力的治療方法卻正在逐漸失寵，因為方法古老，又很少有人出來證明使用這個方法確實有效。
  6. My original concept was proving correct.

    我原先的設想被證明是正確的。
  7. The results show that the measurement result is in concordance with the result of calculation by theory on powder - pulse - booster impulse

    研究結果表明：單擺試驗測量火藥脈沖助推器沖量結果與理論計算結果基本一致，證明了此實驗方法的正確性。
  8. The author programs, does experiments and draws the pcb. it is proved that the scheme is right and feasible, and can be used for reference for congener use

    作者對該系統有關部分進行編程、調試、完成了pcb板的製作，證明方案是正確的可行的，對同類的監測系統有借鑒意義。
  9. The result justified deerslayer's conjecture.

    結果證明打鹿將的推測是正確的。
  10. He or she doesn ' t have to be able to do the math, but i want a president who knows that the great theories underpinning our understanding of the universe - - general relativity and quantum mechanics - - have stood for nearly a century and proved stunningly accurate, even though they describe a world that is more shimmer than substance

    他（她）不一定要能解數學難題，但我要我們的總統知道，支撐我們了解宇宙架構的偉大理論，包括廣義相對論和量子力學，已成立近一世紀，而且證明正確無誤，雖然他們所形容的世界比較浮光掠影而非實體。
  11. In this article, the author amplified dna sequences encoding the mature peptides of human intact and truncated igf - 1 gene from human genomic dna by the new way of alternative pcr established and named as exons - piecing together method by this laboratory. the igf - 1 and des ( l - 3 ) igf - l gene were cloned in pgem - t vector and then subcloned in expression plasmid pgex - 3x. two recombinant constructs known as pgex - 3x - igf - l and pgex - 3x - des ( l - 3 ) igf - l were transformed to e. coli dh5 a respectively

    我們利用外顯子拼接法從人的基因組dna中擴增了編碼完整型及截短型人igf - 1基因成熟肽的dna片段，並將其克隆至pgem - t載體中；經測序證明正確后，又構建了表達載體pgex - 3x - igf - 1及pgex - 3x - des （ 1 - 3 ） igf - 1 ，在大腸桿菌中進行了表達研究。
  12. Article 21 whereas a ffe disbands in line with relevant regulations or the labor contract is terminated with the agreement of both parties through consultations, the ffe should, in accordance with relevant regulations of the local people ' s government, pay the life and social insurance premiums as required to social insurance institutions for those employees who are in medical treatment or are recuperating due to injury at work or occupational disease as confirmed by the hospital, and those who entirely lose or partly lose working ability after medical treatment as confirmed by the labor appraisal committee, and the dependents of the deceased at work who are receiving pensions, women employees who are pregnant or are at the time of maternity or lactation, and those who get nothing insured

    第二十一條企業按照有關規定宣布解散或經雙方協商同意解除勞動合同時，對因工負傷、或者患職業病經醫院證明正在治療或療養，以及醫療終結經勞動鑒定委員會確認為完全或者部分喪失勞動能力的職工，享受撫恤待遇的因工死亡職工遺屬，在孕期、產期和哺乳期的女職工，以及未參加各項社會保險的職工，應當根據企業所在地區人民政府的有關規定，一次向社會保險機構支付所需要的生活及社會保險費用。
  13. As yet, none of the theories has been decisively proved correct. a lot of smart investors have been caught out as a consequence

    迄今為止，上述理論沒有一個被令人信服地證明正確，令許多聰明的投資者陷入困境。
  14. The point is, we have several indications from the worlds of mathematics and computer science that there are certain problems that we cannot solve and certain propositions that we will never be able to prove true or false

    關鍵在於，我們有若干來自數學和計算機科學的指示，告訴我們有一些問題是無法解決的，有一些假設是無法被證明正確或是錯誤的。
  15. One defines break points based on node degree with comparing the amount of all backup protections in a mutiloop network. it is testified by practice to have legitimacy and feasibility with simple theory and improve efficiency a lot of protection coordination setting

    其一，運用網路節點度的概念，通過比較環網中所有保護的后備保護的數量的大小來確定斷點，理論上簡單合理，實踐證明正確可行，極大的提高了保護整定配合的效率。
  16. Religion, in its intent, is a more conscious and direct pursuit of the life of reason than is society, science, or art, for these approach and fill out the ideal life tentatively and piecemeal, hardly regarding the foal or caring for the ultimate justification of the instinctive aims

    宗教在其意義上，比社會，科學，藝術更自覺，更直接的追求「理性生活」 ，因為這些東西（社會，科學，藝術）暫時而又零星的接近和填補理想的生活，無視目的，也不管其本能的目標是否最終證明正確。
  17. Although the software specification described using natural language is easy to write and understand, its validity, integrality, non - ambiguity, consistency are hard to guarantee. the process of verification can only be done by manpower which is not normative and not rigorous. and the complexity of a lot of software has made it impossible to check the specifications artificially

    需求規格說明是需求分析階段的產品，我們通常採用的是未使用任何限制非形式化的自然語言進行描述，這種自然語言書寫的需求說明，雖然易於理解和使用，但難以保證其正確性、完整性、無二義性、一致性，驗證過程只能採用不太規范、不太嚴格的人工走查的方法進行檢查，稍微復雜一些軟體的需求規格說明的檢查，實際上已經超出了人工檢查的能力。
  18. Both at home and abroad, numerous theoretical and empirical studies have been proving that correct firm performance assessment can be helpful even decisive to a firm ' s success

    國內外大量的理論和實踐研究證明，正確的企業績效測評有助於甚至決定了企業的成功。
  19. Ann daly, the head of dreamworks animation, said : " it was n ' t really advisable to start working on three and four until we knew that we actually had something in two, and certainly this weekend confirmed that we do.

    夢工廠動畫片負責人安戴利說： 「在我們不知道第二部是否真正獲得成功之前就開始製作第三和第四部是不明智的，當然該片在這個周末的良好表現證明它確實成功了。 」
  20. For retrospective validation, generally data from ten to thirty consecutive batches should be examined to assess process consistency, but fewer batches may be examined if justified

    對于回顧性驗證，通常要對10到30個連續批次的數據進行檢查來評估工藝的一致性，如果可以證明正確性，那麼也可以使用稍少的批次進行。
分享友人
分享到 Line

分享到臉書