證明論 的英文怎麼說

中文拼音 [zhèngmínglún]
證明論 英文
proof theory
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 論 : 論名詞（記錄孔子及其門徒的言行的「論語」） the analects of confucius
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  1. Unless citizens in u. s. territories have official residency domicile in a u. s. state or the district of columbia and vote by absentee ballot or travel to their state to vote, they cannot vote in the presidential election

    我們的存在、行動及參與，清楚地證明我們的承諾以及我們繼續參與該區事務的目的，即無論未來會有什麼改變或挑戰，美國均將提供一貫的延續性並促進穩定。
  2. Likewise, if true science ultimately proves that the earth ' s fossil record is simply the result of noah ' s flood, as argued convincingly by many " creationist " scientists, then once again the bible agrees if one simply postulates that the destruction of the pre - adamite society was so devastating and catastrophic in nature that it completely obliterated all traces of it ( a very plausible and likely scenario in my opinion, incidentally )

    同樣地，如果科學真正地證明了地球上的化石都是來自於挪亞時代的大洪水?這是許多"創造論"科學家所信服的，那說明了在亞當之前的社會曾遭受徹底的毀滅，擦拭掉了所有生存的痕跡。
  3. He adduced nothing to prove his theory

    他沒能舉出例子來證明他的理論。
  4. In this thesis, we study some open problems and conjectures about the linear complementarity problem. it consists of the next three aspects : firstly, we study murthys " open problem whether the augmented matrix is a q0 - matrix for an arbitary square matrix a, provide an affirmable answer to this problem, obtain the augmented matrix of a sufficient matrix is a sufficient matrix and prove the graves algorithm can be used to solve linear complementarity problem with bisymmetry po - matrices ; secondly, we study murthys " conjecture about positive semidefinite matrices and provide some sufficient conditions such that a matrix is a positive semidefinite matrix, we also study pang ' s conjecture, obtain two conditions when r0 - matrices and q - matrices are equivelent and some properties about e0 q - matrices ; lastly, we give a counterexample to prove danao ' s conjecture that if a is a po - matrix, a e " a p1 * is false, point out some mistakes of murthys in [ 20 ], obtain when n = 2 or 3, a e " a p1 *, i. e. the condition of theorem 3. 2 of [ 25 ] that a p0 can be deleted and obtain a e " a is an almost e - matrix if a is a co - matrix or column sufficient matrix

    本文分為三個部分，主要研究了線性互補問題的幾個相關的公開問題以及猜想： （ 1 ）研究了murthy等在[ 2 ]中提出的公開問題，即對任意的矩陣a ，其擴充矩陣是否為q _ 0 -矩陣，給出了肯定的回答，得到充分矩陣的擴充矩陣是充分矩陣，並討論了graves演算法，證明了若a是雙對稱的p _ 0 -矩陣時， lcp （ q ， a ）可由graves演算法給出； （ 2 ）研究了murthy等在[ 6 ]中提出關於半正定矩陣的猜想，給出了半正定矩陣的一些充分條件，並研究了pang ~ -猜想，得到了只r _ 0 -矩陣與q -矩陣的二個等價條件，以及e _ 0 q -矩陣的一些性質； （ 3 ）研究了danao在[ 25 ]中提出的danao猜想，即，若a為p _ 0 -矩陣，則，我們給出了反例證明了此猜想當n 4時不成立，指出了murthy等在[ 20 ]中的一些錯誤，得到n = 2 ， 3時，即[ 25 ]中定理3 . 2中a p _ 0的條件可以去掉。
  5. A notice by the obligee to assign its rights shall not be revoked, unless such revocation is consented to by the assignee. " combined with the author ' s own practice, this article discusses when conveying creditor ' s rights, if the debtee does not perform obligations to inform the debtor, afterwards obtains the transferee ' s written notice with the debtor ' s signature and affirmance, the conveyance is not absolutely invalid, as long as the transferee identifies the conveyance

    文章結合作者自身實踐，論述了在債權轉讓中，債權人未履行通知債務人的義務，但事後經受讓人書面通知，債務人簽字確認的，只要受讓人能夠證明轉讓行為確實存在，該轉讓並非對債務人絕對無效。
  6. According to assignment problem and its solution ( hungarian method ) that contain strict theoretic proof and practical value, the thesis sets up assignment model of antiaircraft artillery group ' s firepower optimal allotment in the case of one - to - one - gunshot and multiply - to - one gunshot, discusses the solution of the model, analyzes practical application of the model, and primarily validate the model through the example

    依據有嚴格理論證明和實用價值的指派問題及其解法（匈牙利法） ，構建了一對一射擊和多對一射擊情形下的高炮群火力優化分配的指派模型，探討了該模型的求解，分析了該模型的實際應用，並通過具體實例對該模型進行了初步驗證。
  7. 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

    論文對目前求核方法存在的問題進行了分析，提出了一種新的可區分矩陣與求核方法，並證明了方法的正確性，該方法適用於任何決策表（相容的或不相容的） 。
  8. He has not a vestige of evidence for this assertion.

    他沒有絲毫證據證明這個論斷。
  9. The bane of preemptive action is the impossibility of proving it was necessary.

    先發制人論者的致命弱點在於無法證明其行動的必要性。
  10. Theory analysis and practical project prove that the method of the reinforced concrete beam system bridge structure disease examination and structure damage evaluation is reasonable and viable

    理論分析與工程實例，都證明了本文的梁橋結構損傷識別及其評價方法體系的合理性與可行性；
  11. Though we can not prove toward that elias has actually accepted the bergsonian ideas to build his notion of social change, this paper could be an exploration in order to investigate the theoretical sources of norbert elias, and expectantly be subservient to the studies of elias from another perspective

    雖然無法進一步證明伊里亞斯受到柏格森哲學的影響，但本文做了一個理論思想的新探索，嘗試更深一步挖掘伊里亞斯的思想背景，或許能對伊里亞斯的研究做另一個角度的貢獻。
  12. At last, by making comparison of the simulation results between uninstalled abs and installed abs, the biggish bestead of abs to braking ability and direction stability of vehicles was certified. it proffers a theoretical thereunder to in general use abs in vehicles

    最後，本文對轉彎制動時未安裝abs和安裝abs兩種情況的模擬結果作了比較，證明了abs對提高車輛的制動性和操縱穩定性有很大幫助，為abs在汽車上的普遍安裝提供了理論依據。
  13. Some properties of compactness on fuzzy metric spaces are studied, especially sequentially compactness, totally bounded sets, compact sets and compactness on the kind of spaces, and several theorems on compactness of fuzzy metric spaces are proved

    摘要研究了模糊度量空間的緊性，主要討論了列緊性、全有界性、自列緊性和緊性等，證明了幾個關于模糊度量空間緊性的命題和定理。
  14. Finally, delivery of cargo without original bills of lading promote the development of shipping in a way in practice, it has reasonability in existence. chapter three is writer ' s study for 10 leading cases of chinese maritime court and court of cassation concerning delivery of cargo without original bills of lading, writer conclude as follows : chinese courts are inclined to regard it as breach of contract but not in tort in judicial practice ; chinese courts allow the plaintiff to choose to sue in tort or of breach ; chinese courts have abandoned the viewpoint of " who holder the bills who must have the right to sue " or " who holder the bills who must win the case " ; and in many cases concerning delivery of cargo without original bills of lading, the court ignored plaintiff ' s actions against the carrier, it proved that carrier can escape reasonability of delivery of cargo without original bills of lading in some cases

    第三章論述我國海事法院及其上級法院就無單放貨案件審理的司法審判實踐研究，通過對十個法院判例的分析、歸納，筆者認為，在司法實踐中，法院越來越傾向于將無單放貨糾紛視為運輸合同糾紛處理，而不認定為侵權行為糾紛；法院允許原告起訴時以侵權起訴或違約起訴作出選擇；法院對提單持有人的訴權認定，已經不採用「誰持有提單誰就有訴權」與「誰持有提單就能保證勝訴」的觀點；有諸多的無單放貨的訴訟案例以被法院駁回起訴為結局，證明了無單放貨在特定情況下的合理性以及承運人有避免承擔責任的可能性。
  15. Existing complexity proofs on the circularity problem of ags are based on automata theory, such as writing pushdown acceptor and alternating turing machines

    目前對屬性文法循環性問題復雜度的證明，多基於自動機理論，如寫入推出接受器、交替塗林機等。
  16. A close collaboration between theory and experiment during this time revealed both the success (limited though it was) of these concepts, and more important, their shortcomings.

    在此期間，理論與實踐的密切結合證明了這些概念的成功（盡管是有限的），而更重要地也揭露了他們的缺陷。
  17. The subsumption and request of problem is formalized by xdd and the problem is evaluated by means of proof theory

    將證明論方法引入到xml中，建立了基於xml的證明論。
  18. An approach to xml problem solving by means of resolution principle is presented. the subsumption and request of problem is formalized by xdd and the problem is evaluated by employment of resolution principle. an intelligent decision support system based on xml is presented

    主要內容包括：建立了基於xml的公理系統；給出了假言推理在xdd中的應用形式；論證了假言推理在xdd中有效性和完備性；給出了應用證明論方法實現xml問題求解的方法和步驟。
  19. Based on the cracking faults of the output shaft of the rotating reducer of the 40t ~ 33m portal crane, the paper carries out a deep calculation and analysis, finds out the unreasonable problems in the type selecting of reducers and the designing of output shafts, puts forwards a new way of type selecting, makes some improvements on the designing of output shafts, and betters the force borne by the shafts

    論文針對40t ? 33m門機的旋轉減速器輸出軸的斷裂問題，進行了深入的計算分析，發現了減速器選型及輸出軸設計不合理的問題，提出了新的選型方案，對輸出軸作了局部改進設計，改善了軸的受力。實踐證明論文對旋轉減速器所做的修改方案是正確的。
  20. Also, in this paper a mathematical model for risk evaluation is constructed and how to make investment decision is thoroughly discussed. at last, case study proves the outcome of the paper ' s research. that is : in order to reduce the risk, it ' s necessary to carry out detailed analysis and evaluation of the project, and to take risk management measure with qualitative and quantitative scientific decision - making methods

    最後文章通過一個實例，對所建立的評價指標體系進行了應用，並再次證明論點：要降低風險投資的風險，必須在投資前對風險項目進行深入全面的考察、分析，評價和預測風險，用定性和定量相結合的方法進行科學的決策，制定出相應的風險控制措施。
分享友人
分享到 Line

分享到臉書