English translation for "证明理论"

to prove a theory

Related Translations:

程序证明:  program proofprogram proving

出口证明:  export certificateexport certificationproof of export

委任证明:  certification of authorization

修订证明:  revised certificates

实践证明:  it has been found thatpractice confirmspractice proves

结清证明:  discharge

健康证明:  bill of healthcertificate of healthemdical certificatehealth certificatehealth certififcatesmedical certificate

演绎证明:  deductive proof

付款证明:  payment certificate

正确性证明:  correctne proofcorrectness proofjustificationproof of correctness

Example Sentences:

	1.	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 此外,这样的一个广大观要点成功困难去使评价一个研究活动的产量和证明理论已经测验和/或者发展。
	2.	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 资讯科学出现之初，研究者曾希望程式设计师能像数学家证明理论一样，证明自己的程式是正确的。
	3.	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 ) 此外,这样的一个广大观要点成功困难去使评价一个研究活动的产量和证明理论已经测验和/或者发展。
	4.	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 科学在本质上是一种实验过程，而测试一个通用理论包括逐渐扩大边界，持续消除限制条件，以证明理论确实对所有情况都是适用的。
	5.	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 比较系统的对国外医疗诉讼证据适用原则进行了归纳：美国的事实本身说明过失原则、德国的妨碍证明理论、以及重大诊疗过失的责任转换、承诺阻却原则等等，这些对于国内的医疗纠纷诉讼会起到一定的借鉴作用。
	6.	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 本文分析了交错并联双管正激变换器的工作原理,研究了在不同占空比条件下开关管的漏源电压和变压器励磁电流波形,建立了仿真模型,仿真结果证明理论分析的正确性。
	7.	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在证明完整性函数恒等式的理论框架中的析配消元法，从而将这种证明理论由单变量超几何恒等式的证明扩展到多变量超几何恒等式的证明。
	8.	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是完全可行的，这将为家电上网，远程控制，远程数据采集等提供一种新的解决方案。

Similar Words：

"证明很好" English translation, "证明机构" English translation, "证明价值" English translation, "证明检验" English translation, "证明检验程序" English translation, "证明力" English translation, "证明了的能力" English translation, "证明令" English translation, "证明论" English translation, "证明论点正确" English translation