證明的定義 的英文怎麼說

中文拼音 [zhèngmíngdedìngyì]
證明的定義 英文
definition of proof
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 的 : 4次方是 The fourth power of 2 is direction
  • 定 : Ⅰ形容詞1 （平靜; 穩定） calm; stable 2 （已經確定的; 不改變的） fixed; settled; established Ⅱ動詞...
  • 義 : Ⅰ名詞1 （正義） justice; righteousness 2 （情誼） human ties; relationship 3 （意義） meaning; si...
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  1. By clicking on the following box, subscriber hereby certifies that he or she falls within paragraph 9 ' s definition of " nonprofessional subscriber " and that the personal and employment information that he or she has included in paragraph 11 is truthful and accurate

    證明-點按以下方格，訂閱者證明本身符合第九段中「非專業訂戶」的定義，訂閱者在第十一段提供的個人和職業資料是真實和正確。
  2. In this paper, we pointed out that the ruspini s definition of fuzzy partition has a shortcoming, which does not always coincide with our intuition

    提出了模糊劃分的一個新定義。可以證明它蘊含了ruspini的定義，並且具有與直觀及其實際應用相符的性質。
  3. About theorem, the paper introduces the syntax of ideal, also the first time uses concept of honest ideal to define secrecy goal of protocol and utilizes honest ideal logic to specify secrecy property. at the same time, this paper corrects one not so perfect lemma proving in a literature written by f " abrega, herzog and guttman

    在理論上，本文引入了理想的語義，並首次使用了理想的概念對安全協議的秘密性進行嚴格的定義，同時使用理想的命題邏輯公式表示安全協議的秘密性；另外，本文修正了f ' abrega 、 herzog和guttman三人文獻中的一個引理的證明，原有的證明是不完善的。
  4. In the second section, we structure a kind of semirings, namely semidirect product of semirings, and prove an isomorphic theorem of semidirect products. in the third section, we give the characterizations of the relations of all kinds of regular semirings and introduce the concept of pseudo - inverse and the necessary and sufficient conditions of pseudo - invertible element. in the fourth section, we define an equivalence relation on the cartersian product of commutative semiring and its multiplicative subset

    第二部分，先構造一類半環，半環半直積，然後證明半直積的同構定理第三部分，刻劃了半環各類正則元之間關系，引入偽逆的定義，給出了可偽逆元素的充要條件第四部分，在交換半環和乘法集的卡氏積上定義等價關系，進而構造了一類交換半環：分式半環
  5. The super entropy produce criterion is a good tool to judge the system ' s abrupt change from a lower grade to a higher one. in this paper the entropy of the urban resource - environment system was defined, and in an example of its application the super entropy produce criterion of the urban resource - environment system reflected the real developmental process of the whole system. furthermore, in this paper, a new model for the grid size optimization of the finite element method ( applied to the water quality modeling of the topographically complicated river ) was brought forward based on the maximum information entropy theory in condition that the length of gird was given

    超熵產生判據為我們提供了判斷系統從低級有序向高級有序突變過程的工具，本文提出了城市資源與環境系統熵的定義，在實例中的應用證明城市資源與環境系統的超熵產生判據較好地反映了整個系統的演化情況；另外，本文針對在城市復雜河道情況下，利用有限單元法求解河流水質模型時網格單元大小難確定的問題，引入網格信息熵的概念，提出了有限單元法求解河流水質模型的網格優化方法。
  6. This paper also deduced the theorems and formulas of the cwt, applied and proved them in the processing of the pulse signals

    本論文還對連續小波變換的定義和計算公式進行了證明，並在脈象信號處理中對演算法進行了應用和驗證。
  7. Abstract : the paper presents the study on problems of self - excitation ， over - voltage ， frequency and voltage stability ， organizational measures and arrangement in the course of black start and restoration of the system. through simulation of black start on east china power system ， above problems are analyzed and solved ， it shows that working out strict black start scheme may not only speed up system restoration ， reduce outage losses ， but also have important significance to emergency release or power system islanding

    文摘:研究電力系統黑啟動的過程及恢復中存在的自勵磁、過電壓、頻率和電壓穩定、組織措施及安排等問題，並通過華東系統黑啟動模擬對上述問題進行分析和解決，證明制定嚴格的黑啟動計劃不僅可以迅速恢復系統、降低事故損失，而且對處理緊急狀態或地區性解裂有重要意義。
  8. This paper describes the definition of “ return wave attenuation ” and “ reflect attenuation ”, introduces theoretically the meaning of “ return wave attenuation ” on view point of power, points out the difference between “ reflect attenuation ” and “ return wave attenuation ” and demonstrates the test connection used as “ return wave attenuation ” measurement before being really “ reflect attenuation ” measurement

    論述了「反射衰耗」與「回波衰耗」的定義，從理論上推導出「回波衰耗」在功率角度上的含義，闡明了「反射衰耗」與「回波衰耗」之間的區別，也論證了歷來作為「回波衰耗」測試的試驗接線實際是「反射衰耗」測試的試驗接線。
  9. The third part raises five strategies to perform campus culture ' s function of morality. that is to reinforce campus spiritual culture construction, campus society culture construction, campus system culture construction, campus environment culture construction and student working group construction. the last part is the appendix, presenting the practice of campus culture at colleges and universities in shenyang, the paper further reveals some specific methods of taking full of use the morality function of campus culture

    第一部分闡述大學校園文化的定義和構成；第二部分從德育視角詳細論證了大學校園文化的認識功能、陶冶功能、規范功能和心理培育功能；第三部分提出了發揮大學校園文化德育功能的五項對策，即加強大學校園精神文化建設、加強大學校園社團文化建設、加強大學校園制度文化建設、加強大學校園環境文化建設和加強大學學生工作隊伍建設；第四部分是附錄，以沈陽大學校園文化德育功能個案研究來進一步說明大學校園文化發揮德育功能的具體做法。
  10. This paper introduces first - order predicate calculus and assertion method from precondition to postcondition into the research of refactoring. and a logic deduction system is put forward in this paper : refactoring reliability deduction system

    引入了一階謂詞演算和前後斷言方法，並且自定義了一個重構可靠性證明的邏輯推理系統：重構可靠性推演系統。
  11. In three part we study the ergodicty for k - regularized resolvent operator families including the mean ergodicty, abel - ergodicity and cesaro - ergodicity. we prove the mean ergodic theorems of k - regularized resolvent operator families. and we give out the definition of abel - ergodicity and cesaro - ergodicity for k - regularized resolvent operator families. moreover, we give the relationship between the two kinds of ergodicity and their basic properties

    我們證明了k -正則預解運算元族的平均遍歷定理。給出了k -正則預解運算元族的abel遍歷性和ces ro遍歷性的定義，並證明了它們的相互關系和一些基本性質。
  12. We first design the construction modules of serially concatenated quantum convolutional code. and then design the corresponding code - coding gate - array. in quantum error avoiding code, we first unified the definitions of decoherence - free subspace, and then proved that all these definitions are equivalent

    在量子避錯碼方面，統一了各種無消相干子空間的定義，證明了各種定義之間的等價性，同時提出一種利用群論方法構造無消相干子空間的簡單方案。
  13. The frontier production function, a parametric function of any form, can be estimated by sample data. this study shows that the projected panel data, which is the inputs and relative exponential maximum output data set, obtained by conducting the data envelopment analysis with the log inputs and output, is approximately piecewise cobb - douglas under a certain assumption

    根據前沿生產函數的定義，本文利用投入產出的對數形式和數據包絡分析方法求出了相對指數最大產出，並證明了在一定的條件之下，這種數據結構即所謂的支撐面板數據具有分段近似cobb - douglas性。
  14. On the analysis of the theory of instantaneous reactive power, the paper brings forward a new harmonic detection method based on multiple frequency transform. the detection theory of positive sequence harmonic and negative sequence harmonic is respectively proved in detail. the correlative concepts are defined and the simulation validates the feasibility of this method

    本文在分析瞬時無功功率理論的基礎上，提出了一種基於倍頻旋轉變換的諧波測量方法，分別針對正序和負序分量，從理論上證明了該方法能分離出單個的諧波，給出了相關量的定義，最後通過模擬驗證了該方法的有效性。
  15. However, along with human - care element breathing into modern criminal procedure, pay attention to investigation of case and correct disposal of dissension is not enough, at the same time, give attention to basic requirements of proceeding civilization. regarding requirement of evidence capacity, it ’ s no longer satisfied to get the plain truth, and emphasize on respect for the will of defendant, that means stressing voluntariness of confession. voluntariness of confession has its own independent existence value, basing value evaluation of voluntariness of confession on its impact on authenticity of confession actually leads to insufficiency on value evaluation of voluntariness of confession

    本文從自白的定義出發，以自白的真實性與自白的任意性為切入點，分析自白的證據能力與證明力，通過對這三大規則的基本理論問題進行探討，及國外英美法系與大陸法系國家關于這三大規則的立法比較，並分析我國目前關于這三大規則的立法現狀，在此基礎上提出了對構建我國自白證據規則的建議。
  16. The important content of rule of corroboration involves in incompletely provable value of evidence, which is object of rule of corroboration. after generalizing the difference between the common law system and the continent law system, this article comments on its historical cause of formation. furthermore, the author puts forward the object and the definition of rule of corroboration

    對證明力不完全的證據（即補強證據規則的對象）的界定是補強證據規則的重要內容，本文在對兩大法系補強證據規則對象的差異簡要概述之後，對其成因作了評析，並進而提出了筆者對補強證據規則對象的界定以及對補強證據規則的定義。
  17. People always have different points about the definition of litigation evidence, whether these points touch the core of litigation evidence or bear some defectiveness

    摘要證據的定義問題在訴訟法學中一直都是充滿爭議的，現有的各種觀點雖然各有其合理之處，但是缺陷也很明顯。
  18. This paper based on the definition of measurable mapping and the characters of mapping, gives the detailed identification of judging measurable mapping theorem

    摘要根據可測映射的定義以及映射的相關性質，給出了關于判定可測映射的相關定理的詳細證明。
  19. What special aspects does electronic evidence have, the adoption of electronic evidence, the necessity of accepting electronic evidence, the legal orientation of electronic evidence, the collecting of the electronic evidence, and the censoring of the electronic evidence, etc have all become the problems to be solved by legislation. my thesis i s concentrated the problems above

    本文圍繞電子證據，著重分析探討了其特點、效力、認定規則及對電子證據的收集等問題，共有六個部分組成，即電子證據的含義及特點、電子證據的可采納性和采納的必要性、電子證據法律定位、電子證據的證明力、電子證據的收集、電子證據的審查判斷。
  20. Definition of proof

    證明的定義
分享友人
分享到 Line

分享到臉書