證明法 的英文怎麼說

中文拼音 [zhèngmíngfǎ]
證明法 英文
method of verification
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 法 : Ⅰ名詞1 （由國家制定或認可的行為規則的總稱） law 2 （方法; 方式） way; method; mode; means 3 （標...
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  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. Experiment results prove that the method has effective acquisitive ability

    實驗證明所用的處理方法具有很好的提取能力。
  3. In china, under the influence of legal tradition and continental legal system, the evidence system pays more attention to substantive law rather than adjective law. in addition to the unscientific setting of the testimony standard, this evidence system influence the effect and quality of our country " s criminal trial

    在我國，由於受傳統法律思想和大陸法系證據制度的影響，重實體輕程序的審判思想積重難返，加之證明標準設置缺乏科學性，嚴重影響了我國刑事審判的效率和質量。
  4. Examples showed that it is an affective method

    實驗證明這是一種行之有效的方法。
  5. 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的條件可以去掉。
  6. It further discusses the operation mechanism of the system of agrotechnical diffusion and indicates that the essence of technical diffusion is information diffusion, and the system depends on the course which information flows from the fountainhead to the receivers. and it analyzed the ingredients which influence the information flowing in the system. intruding shannon ’ s information

    進一步探討了農業技術擴散系統的運行機制，並指出，技術擴散實質是信息的傳播，是建立在信息從信息源到接收者之間的流動過程，對技術推廣系統中影響信息流動的因素進行分析，引入shannon的信息熵計算方法，對信息接受者的信息接收含量進行測度，通過對所得的數值進行比較，運用定量與定性分析相結合的方法證明技術推廣活動的效率。
  7. For the purpose of saving running time of iterations, this paper apply adaptive method to aitken extrapolation algorithm and eigenvalues - based algorithm respectively. experimental results elementarily show that these two new algorithms can speed up the performance of iterations

    本文將adaptive方法分別與基於特徵值直接求解演算法和aitkenextrapolation演算法相結合，實驗結果初步證明了這兩個新演算法能夠縮短迭代時間。
  8. Indicate how each of the following algebraic identities might be established geometrically.

    試用幾何方法證明下列代數恆等式。
  9. The result of sds - page certificated the method 6 % octanoic acid combined with ammonium sulfate got the highest purity, the next was alginic acid sodium combined ammonium sulfate

    Sds - page和低壓層析的結果證明，用6辛酸?硫酸銨法提取igy的純度最好，其次是海藻酸鈉?硫酸銨法。
  10. Original birth / marriage / divorce absolute / annulment or legal separation court orders for you / or your spouse / death certificate for deceased spouse

    最初的出生/婚姻/離婚絕對的/廢除或合法的分離法院為已故的配偶為你/或命令你的配偶/死亡證明書。
  11. To prove the point, his team is breeding millions of anopheles mosquitoes ( pictured above ) and infecting them with malaria - causing parasites

    為了證明他的想法可行，他的研究組開始培養數百萬的瘧蚊（如上圖所示）並將它們感染引起瘧疾的寄生蟲。
  12. 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

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

    論文對目前求核方法存在的問題進行了分析，提出了一種新的可區分矩陣與求核方法，並證明了方法的正確性，該方法適用於任何決策表（相容的或不相容的） 。
  14. It is verified with practice that the presented simulation calculation procedure based on the method has good applicative values

    實踐證明，採用該方法編制的模擬計算程序具有很好的實際應用價值。
  15. The passport or id card ( copy ) and 8 photos that the artificial person in shanghai company

    八）擬設上海公司法人身份證明復印件、簡歷、照片8張。
  16. As the important constituent of the presumption rule, fact presumption is a rule of when the fact prove falls into the difficult position, according to the deduction by the common sense, the judge forms a temporarily inner conviction to the factum probandum under the proof standard, and shifts the subjective burden of proof between the litigants, thus helps the part to overcome the condition of facts prove

    作為事實認定的重要組成部分，事實推定是裁判者在案件事實的證明陷入困境時，根據經驗法則進行推理，在證明標準之下，暫時形成對案件待證事實的心證，並在當事人之間轉移主觀證明責任，從而避免訴訟陷入僵局，排除當事人舉證困難的證明法則。
  17. That tableau has become famous internationally as proof that the french are not like you and me - at least when it comes to affairs of the heart

    這一場景引起了全世界的矚目，它證明，法國人與你我不一樣，至少在私情上是如此。
  18. Three, notarial testimonials are issued with strict content and formulation on the base of the stipulations by substantive laws and procedural laws. different from ordinary evidence, it possesses special legal validity and comes to evidence with special effect. the people ' s court shall take the acts, facts and documents legalized by notarization as the basis for ascertaining facts, unless there is evidence to the contrary sufficient to invalidate the notariz

    公證制度與司法經濟的價值取向是一致的，公證作為司法預防制度應成為規制社會秩序、促進經濟發展的重要法律制度; （三）公證文書的出具必須具備實體法和程序法關于真實、合法的要求，內容和形式都有嚴格的法律規定，有別於一般的證據，具有特殊的法律效力和證據效力，除非有相反證據足以推翻公證證明，法院可以直接採用經過公證的法律事實裁判，體現出公證的權威和效率原則。
  19. This proof merchant already through the authentication, and has set up a file in the panjin114 nets industry and commerce enterprise database, inquires the more detailed enterprise material, please dial the panjin enterprise information desk 0427 - 2871453 2872453, this enterprise numbers for 1772

    茲證明法國莎氏蒂娃國際化妝品集團遼寧總帶理已通過認證，並已在盤錦114網工商企業數據庫中備案，查詢更詳細的企業資料，請撥查詢臺0427 - 28714532872453 ，該企業編號為1772 。
  20. One, notarization possesses the function to certify the authenticity and legality of the legal facts and documents and prevents illegal acts. additionally, it represents the state to intervene properly in the private fields and functions as judicial prevention and judicial supervision. two, the development of the market economy needs a set of judicial regulation with the character of low cost, simple procedure, fast efficiency and full function

    第二章從三個方面分析了公證成為社會信用建設之中堅力量的理論根據: （一）公證具有證明法律事實、文書的真實、合法性，以及作為一般的民事違法行為的預防工具的法律服務功能，此外，公證是國家公權力對私權一定領域的干預，輔助國家進行間接管理，發揮司法預防和司法監督的職能作用; （二）市場經濟的發展，需要一個與之相適應的低成本、簡程序、高效率、功能完備的司法制度體系。
分享友人
分享到 Line

分享到臉書