助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   proof 的翻译结果: 查询用时:0.201秒
图标索引 在分类学科中查询
所有学科
数学
诉讼法与司法制度
公安
逻辑学
中等教育
计算机软件及计算机应用
法理、法史
出版
化学
更多类别查询

图标索引 历史查询
 

proof     
相关语句
  证明
     A NEW PROOF OF THE FUNDAMENTAL THEOREM OF ALGEBRA
     代数基本定理的一个新证明
短句来源
     Further Proof of the New Coal Classification System with the International Data of Coal Analysis
     运用国际数据来证明煤分类新方案的正确性
短句来源
     A NEW PROOF OF CARLEMAN'S FORMULA
     哈里曼公式之新证明
短句来源
     A NEW PROOF OF HADAMARD-SZASZ'S DETERMINANTAL INEQUALITY WITH A GENERALIZATION
     阿达马Hadamard及沙氏Szasz不等式之新证明及推广
短句来源
     ON THE PAPER“A NEW PROOF OF A FORMULA OFCOx-Plemelj”
     关于“Сохоцкий—Plemelj公式的新证明“一文的补正
短句来源
更多       
  证据
     ③ has the proof of the liver harm, the ALT >1.5×ULN.
     ③有肝损伤的证据,ALT>1.5×ULN;
短句来源
     A P2P Reputation System Based on Broadcasting of Proof of Interaction
     基于交互证据广播的P2P信誉系统
短句来源
     It indicated that the basic research should mostly include the development of ontology, the formal semantics of Semantic Web language and the development of Trust and Proof model.
     总结了未来语义Web基础研究和应用研究的方向:语义Web的基础研究主要包括本体的发展、语义Web语言的形式语义和确信(Trust)与证据(Proof)模型的开发;
短句来源
     A Proof for N_2-binding Inside M-cluster Cage of Nitrogenase
     N_2键合在固氮酶M簇笼内的一个可能证据
短句来源
     THE APPLICATION OF D-S PROOF THEORY IN TARGET IDENTIFICATION
     D-S证据理论在目标识别中的应用
短句来源
更多       
  论证
     Proof and Practice of the Incremental Capacity Scheme of TDK-200/16 Synchronous Motor
     TDK-200/16同步电动机增容方案的论证及实践
短句来源
     Proof of Rationality on von Karman Type Nonlinear Theory
     von Karman 型非线性理论的合理性论证
短句来源
     8. Based on the application and the development of the company local area network product data management (PDM), the office automation system (OA), the network on-line processing (DNC) and the status proof system software.
     8.基于公司局域网的产品数据管理(PDM)、办公自动化系统(OA)、网络在线加工(DNC)与身份论证系统软件的应用与开发。
短句来源
     This article is on the research on synthetic ways,structural proof,analytica1 behavior and application in phototnetric analysis of N-1 ,1'-(2, 2' -dicarboxyl-4,4' -diphenyl )-bis- (3-N-hydroxy-3-N-phenyl-tri-azene ).
     阐述了N-1,1'-(2,2'-二羧基-4,4'-联苯撑)-双-(3-N-羟基-3-N-苯基三氮烯)(NDDTNHPUN)的合成方法、结构论证、分析性能及在光度分析中的应用。
短句来源
     And Tpeak is 1.49 ±0. 16 h,1. 13 ±0. 27 h and 1. 10 ±0. 20 h respectively. Owing to the shortage of cases for study, it is hard to come to a conclusion. It needs further study and proof to explain the difference of drugs among different races.
     Tpeak各为1.49±0.16h,1.13±0.27h及1.11±0.20h,但由于研究对象偏少,尚难得出最后结论,而需进一步考察并论证它在不同民族间引起差异的原因。
短句来源
更多       
  证法
     Given A~W_m(n, I), B~W_m(k, I),n≥m, k≥m, A and B are independent, a new and simple proof about the joint distribution of the latent roots of |A-λB|=0 is given in this paper by making use of exterior products.
     设A~W_m(n,I),B~W_m(k,I),n≥m,k≥m,A与B相互独立,本文利用外积运算给出了|A-λB|=0的特征根联合分布的一种新的简便证法
短句来源
     A Proof For The Ramsey Number N(3,3,3; 2)=17
     Ramsey数N(3,3,3;2)=17的一种证法
短句来源
     A New Method for the Proof of the Inequality px+qy≥x~py~q
     不等式px+qy≥x~py~q的一种新证法
短句来源
     A NEW AND SIMPLE PROOF ABOUT THE JOINT DISTRIBUTION OF THE LATENT ROOTS OF |A-λB|=0
     |A-λB|=0的特征根联合分布的一个新证法
短句来源
     A universal proof of Lagrange's and Cauchy's theorem and Taylor's formula and their application
     Lagrange、Cauchy定理和Taylor公式的统一证法及其应用
短句来源
更多       

 

查询“proof”译词为其他词的双语例句

 

查询“proof”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  proof
In the case of 3-dimensional commutative algebras a new proof of a recent theorem of Katsylo and Mikhailov about the 28 bitangents to the associated plane quartic is given.
      
In the second example, we obtain a proof of the Chalyh-Veselov conjecture that the Calogero-Moser system with integer parameter is algebraically integrable, using the results of Felder and Varchenko.
      
We conjecture that this is also true for the exceptional reflection groups and then sketch a proof for the group of typeF4.
      
(HereM3 denotes the vector space of 3×3 matrices over k andp>amp;gt;3.) The method of proof involves an induction, and is potentially of wide applicability.
      
As a corollary we obtain an easy proof of a theorem of Borel and Serre: AnS-arithmetic subgroup of a semisimple group has all the finiteness propertiesFn.
      
更多          


The form of quantum theory of reaiation introdnced by Heiaonbarg is diarnaaed from the point of view of the transformation theory of quantum electrodynamics.A general investigation of the connection between Heisenberg's method and Dirac'smethod of variation of parameters is given.The exetension of Heisenberg's methodto eigenvalue problems.which was first carried out by Weissklpf for the self energyof the electron.is presented in such a way as to show more clearly its quantummechanical interpretation.Ageneral...

The form of quantum theory of reaiation introdnced by Heiaonbarg is diarnaaed from the point of view of the transformation theory of quantum electrodynamics.A general investigation of the connection between Heisenberg's method and Dirac'smethod of variation of parameters is given.The exetension of Heisenberg's methodto eigenvalue problems.which was first carried out by Weissklpf for the self energyof the electron.is presented in such a way as to show more clearly its quantummechanical interpretation.Ageneral proof of the equivalence of we jsskopf's me-tbod and the method of the perturbation theory of stationary stntes in quantumicechanics is given.

作者在本文中从量子力学之变换理论之观点,研究海孙柏格在量子辐射论中之贡献,及海氏之方法与以前之狄拉克在量子辐射论中所用之方法之关系。海氏之方法曾为魏斯可夫推广应用于电子之自能问题。魏氏之观念及方法与普通量子力学中之观念及方法之关系,作者亦於本文中加以说明。

Weiss's theory on the change of Schrodinger wave functional on a surface as the surface changes is given in a complete form, allowing the Lagrangian of the field to contain all derivatives of the field quantities. The integrability of the resulting equation is proved by making use of the fact that the corresponding Hamilton-Jacobi equation is integrable. This gives at the same time a proof of the Lorentz invariancy of the commutation relations between the various conjugate variables, which so far remained...

Weiss's theory on the change of Schrodinger wave functional on a surface as the surface changes is given in a complete form, allowing the Lagrangian of the field to contain all derivatives of the field quantities. The integrability of the resulting equation is proved by making use of the fact that the corresponding Hamilton-Jacobi equation is integrable. This gives at the same time a proof of the Lorentz invariancy of the commutation relations between the various conjugate variables, which so far remained obscure as soon as we allow derivatives higher than the second of the field quantities to appear in the Lagrangian.

对於一曲面上之施落亭格波函数在曲面变化时所发生之变化,威士氏有一理论。今将其理论补充,使其完整,使此理论,在场之兰格伦日包含场量之各种微分时,依然可用。所获得之方程式之可积分性,用与其相当之哈密尔顿—雅科俾方程式之可积分性证明之。此种讨论,同时证明各种变数中之对换关系在罗兰丝变化下之不变性。

Since the year 1886, the Dupuit-Forchheimer theory and formulas for gravityflows toward wells and galleries have been broadly used in all nations of theworld. In these formulas, assumptions are made for underground flows fromfarther distances in horizontal directions at a constant rate toward wells andgalleries. According to the author's analysis, these assumptions are not consistentwith the actual conditions of flow, hence the formulas obtained therefrom are notrational, and the employment of these formulas...

Since the year 1886, the Dupuit-Forchheimer theory and formulas for gravityflows toward wells and galleries have been broadly used in all nations of theworld. In these formulas, assumptions are made for underground flows fromfarther distances in horizontal directions at a constant rate toward wells andgalleries. According to the author's analysis, these assumptions are not consistentwith the actual conditions of flow, hence the formulas obtained therefrom are notrational, and the employment of these formulas to investigate the general effectof surface drop or well diametre upon yield is devoid of rational foundations. According to the author's analysis, the flows toward wells or galleries areactually supplied vertically by draining the stored water above the free surface inthe course of its descending and enlarging. As the drainage of gravity water fromthe pores of soil particles in order to reduce the water content to that of filmshells takes one to two days, as the capillary water columns are interconnectedand mutually supplied sidewise, this vertical supply of water may maintain quite along time, yet the flow may not be absolutely steady. As regards vertical supply of water with unsteady regimen, equations of freesurface for flow pattern near galleries are deduced, corresponding to the Boussinesqpartial differential equation. Besides, the author has derived simplified equationsfor computing flows into wells and galleries. The latter, in comparison with theDupuit-Forchheimer formulas, gives a higher yield, while the free surface curve isreasonably tangent to the horizontal water table at a point which moves fartheraway as time goes on. J. Kozeny first pointed out the phenomenon that the water depth in the groundon the wall will not be further lowered when it reaches one half of the depthbefore pumping. The author hereby proposes a theoretical proof of it on the basisof theorem of least work. Based upon these theories, formulas are proposed for maximum possible yieldof wells and galleries dug to horizontal impervious strata, to be used in prelimi-nary estimations for hydro-geological workers.

1886年以来,杜布义-福熙罕默(Dupuit-Forchheimer)的井流及沟流的理论与计算用公式被世界各国广泛地应用着。公式假设地下水从远处沿着水平方向以定率流向井内或沟内,按作者分析这种假设并不符合实际情况,因之所得公式也不合理,用这些公式来推论水位降落或井径对於出水率的影响也没有合理的凭据。作者推论,井流或沟流的水实际上是从水面线以上,在其降落并扩大的过程中,排除了存积的水,沿着直垂方向所供应着的。因为从土壤颗粒的空隙间排除重力水,使减为薄膜水,每需时一两天,而水面上的毛细管水又是横向贯通并互相接济着,所以垂直供水可以维持很久,而潜流也决不会绝对稳定。根据这垂直供水的不定汉条件引出了沟流的水面线公式,结果符合蒲薪奈斯克的偏微分方程式。另外,作者又拟具了简化的井流及沟流计算用公式。这些公式和杜氏-福氏公式比较,所得出水率较大,而水面线则合理地切於静水线,切点随着时程向远处移动。柯臣尼(J.Kozeny)最早指出井边地内水深不会低於静水深一半的现象,本文中作者根据最小工作定律试拟了理论的证明以支持之。根据这些理论,引出了从静水中抽水时井流、沟流最大可能出水率的公式,以供水文地质工作者初步估算之用。

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关proof的内容
在知识搜索中查有关proof的内容
在数字搜索中查有关proof的内容
在概念知识元中查有关proof的内容
在学术趋势中查有关proof的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社