助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   standard proof 的翻译结果: 查询用时:0.007秒
图标索引 在分类学科中查询
所有学科
诉讼法与司法制度
更多类别查询

图标索引 历史查询
 

standard proof
相关语句
  证明标准
     The Differences of Standard Proof in the Civil Proceedingsin Common Law and Civil Law and Their Reasons
     两大法系的民事诉讼证明标准之差异及其原因
短句来源
     Rethinking and Reconstructing on China's Legal Standard Proof in Criminal Trials
     我国刑事证明标准的反思与重构
短句来源
     The perfection of criminal standard proof should be aimed at sticking to basic principles incorporation: of subjectivity and objectivity, and of being theoretical and realistic. Different proof standards should be established for different procedures and different proof objects so that various levels of proof standard system can be formed and implemented through uniform or special proof legislation.
     完善我国刑事证明标准应坚持客观性与主观性、原则性与可操作性、理论性与现实性相结合的基本原则,针对不同程序、不同证明对象确定不同的证明标准,形成多层次的证明标准体系,并通过统一的或专门的证据立法保障其实现。
短句来源
     For the improvement of standard proof in the civil proceedings, we need to study the related law in common law and civil law.
     为进一步完善我国民事诉讼证明标准的立法 ,需要研究西方两大法系的相关法律。
短句来源
     As to the standard proof of litigation,great controversies have existed for a long time in academic circle in which "objective truth" and "legal truth" are highlighted.
     关于诉讼证明标准问题,学界历来存有争议,其中客观真实与法律真实更是关注的焦点。
短句来源
  “standard proof”译为未确定词的双语例句
     The Standard Proof and Formal Derivation of the Complex Algorithm Program
     复杂算法程序的规范证明和形式推导
短句来源
     Whether the standard proof and formal derivation of the complex algorithmicprograms can be implemented is an important sign for checking if a formal method has vitality.
     能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。
短句来源
     In Calculus,the standard proof of the Lagrange Mean Value Theorem is to introduce an auxiliary function so as to transform the original function into a new one which can apply the Rolle Mean Value Theorem.
     对Lagrange中值定理的证明,在高等数学的传统证法中,通常都是采用引入一个“辅助函数”,将适合定理的函数转换成适合Rolle中值定理的函数的办法.
短句来源
     In Calculus, the standard proof of the lagrange Mean Value Theoremis is to introduce an auxiliary function so as to transform the eriginal fanction into a new one on which one can apply the Rolle Meam Value Theorem.
     对Lagrange中值定理的证明,在高等数学的传统证法中,通常都是采用引入一个“辅助函数”,将适合定理的函数转换成适合Rolle中值定理的函数的办法.
短句来源
  相似匹配句对
     On the Standard of Criminal Proof
     刑事诉讼证明标准研究
短句来源
     Research of the Standard of Proof in Administrative
     论行政诉讼证明标准
短句来源
     Which is the standard?
     采用什么标准评价?
短句来源
     Standard
     标准
短句来源
     Proof of Inequality
     不等式的证明
短句来源
查询“standard proof”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  standard proof
The standard proof of the Lane-Riesenfeld algorithm for inserting knots into uniform B-spline curves is based on the continuous convolution formula for the uniform B-spline basis functions.
      
Since cut cannot be eliminated from the systems withn-contraction considered most of the standard proof-theoretic techniques to investigate meta-properties of those systems are useless.
      
This turns out to be a rather general phenomenon: Every instance of self-reference describable in the modal logic of the standard proof predicate obeys a similar uniqueness and explicit definability law.
      
For example, the standard proof procedure in RFC 2693 is semantically incomplete.
      
We establish quadratic convergence of a volumetric centering measure using pure Newton steps, enabling us to use relatively standard proof techniques for several subsequently needed results.
      
更多          


The first part of this paper deals with an extensive class{} ofgeneralized Stirling number pairs which are defined by 1/k!(f_i(t))~k=sum from n≥0 to (A_i(n,k) t~n/n!,(i=1,2) f_i (t) being formal power series such that f_1(f_2(t))=f_2(f_1(t))=t with f_1(0)=f_2(0)=0.Inversion formulas associated with are establi- shed (Theorem 1), and recurrence relations for A_i developed (Theorem 2). Also obtained are convolution identities (Theorem 3) of the form ((k_1+k_2)/k_1)A_i(n,k_1+k_2)=sum from j=0...

The first part of this paper deals with an extensive class{} ofgeneralized Stirling number pairs which are defined by 1/k!(f_i(t))~k=sum from n≥0 to (A_i(n,k) t~n/n!,(i=1,2) f_i (t) being formal power series such that f_1(f_2(t))=f_2(f_1(t))=t with f_1(0)=f_2(0)=0.Inversion formulas associated with are establi- shed (Theorem 1), and recurrence relations for A_i developed (Theorem 2). Also obtained are convolution identities (Theorem 3) of the form ((k_1+k_2)/k_1)A_i(n,k_1+k_2)=sum from j=0 to n(n/j)A_i(j,k_1)Ai(n-j,k_2) as well as a recurrence relation for generalized Bell numbers W_i(n)=sum from k=1 to n(A_i(n,k)), (i=1,2). The second part developes a standard proof technique using Gould-Hsu's inversion formulas (cf.Duke Math.Jour., (1973), 885-891) for combi- natorial identities. As examples,Abel's generalized binomial identity and Hagen-Rothe's convolution formulas are demonstrated almost mechanically by means of the technique just mentioned. A few unsolved problems regarding the existence of so-called "horizo- ntal recurrence relations" and general asymptotic analysis of the numbers A_i (n,k) (as n,k→∞) have been also mentioned in this paper.

本文以两种反演公式为基础,给出相应的两种反演技巧对组合分析的新应用:一是建立广义的Stirling数偶的一般概念及基本性质,二是对某些较难的著名公式给出统一的证法模式并指出寻找新公式的途径.文中还指出一些尚未解决的问题.

Whether the standard proof and formal derivation of the complex algorithmicprograms can be implemented is an important sign for checking if a formal method has vitality. In this paper we introduce the current research situation of this area, then pay special emphasis in summarizing several new formalization techniques of the complex algorithmic programs presented by the author in recent years and show the method of applying these techniques by several typical examples.

能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。本文介绍了这一领域的研究现状,重点综述了作者近年来提出的复杂算法程序形式化技术,以典型实例说明了使用这些技术的方法。

In Calculus,the standard proof of the Lagrange Mean Value Theorem is to introduce an auxiliary function so as to transform the original function into a new one which can apply the Rolle Mean Value Theorem.In order to understand the Lagrange Mean Value Theorem better,this paper provides three new proofs by using deter-minants,rotations and transformations,and Principle of Nested Intervals respectively.

对Lagrange中值定理的证明,在高等数学的传统证法中,通常都是采用引入一个“辅助函数”,将适合定理的函数转换成适合Rolle中值定理的函数的办法.为了进一步开阔思路,更好地理解和掌握Lagrange中值定理,本文给出了行列式证法、旋转变换证法和区间套定理证法等几种证明方法。

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

 


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

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