助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   some mistakes 的翻译结果: 查询用时:0.199秒
图标索引 在分类学科中查询
所有学科
更多类别查询

图标索引 历史查询
 

some mistakes
相关语句
  某些错误
     In this paper,we gave a more profound explanation of the integrals of the motion and of the Poisson′s theorem, and point out some mistakes in Ref. (2).
     本文对运动积分和泊松定理进行比较深入的讨论,指出了文献[2]中某些错误
短句来源
     This text, on the basis of describing the basic theories of the office procedure of earned value, analyses and studies about index system and integrated key element of earned value management emphatically, thus finds some mistakes and defects storing in the index system of earned value management, and expands the integrated key element of earned value management, and last forms the three key element integration management that has cost, quality, and time for a project.
     本文在论述挣值管理方法的基本理论的基础上,着重对挣值管理方法的指标体系和集成要素进行分析和研究,从而发现了存在于挣值管理方法指标体系中的某些错误和缺陷,并对挣值管理方法的集成要素进行拓展,形成成本、质量、工期三要素的集成管理方法的雏形。
短句来源
     Inaccurate statements of this theorem usually occur in some teaching materials,which bring some mistakes in solving the problem of electric current making magnet field.
     有些教科书中对该定理叙述不准确,造成求解电流产生磁场的问题中出现某些错误.
短句来源
     But up to date there are not precise theoretial formulae to calculate the mutual inductance between telecommunication lines and symmetrical three-phase power Lines. There have been some simplified formulae for the calculation of this inductance,but some mistakes exist in them.
     但是迄今为止,没有推导出计算三相输电线与通信线之间互感耦合系数的精确的理论公式,而已有的简化计算公式却存在某些错误
短句来源
     On the basis of detailed exploration to the relevant historical materials,the records in The Book of Song by Sheng Yue are proved in time to be true to the facts,which can help to clear the ambiguity between kinds of records and correct some mistakes.
     经过对记载这一历史事件的相关史料考辨祛疑,最终证实沈约《宋书》的记载属于历史事实,可以消除各种记载之间的相互歧异,纠正历代学者的某些错误结论。
短句来源
更多       
  一些误区
     Some mistakes in VRLA battery examination and maintenance and traditional methods for VRLA capability testing are described in brief,then applications in practice of conductance test,which is a breakthrough in VRLA battery examining and maintenance,are introduced.
     简要阐述了阀控式铅酸蓄电池(VRLA)检测维护中的一些误区和传统测试VRLA电池容量的方法,介绍蓄电池检测维护的新突破———电导测试方法及其在实际工作中的应用。
短句来源
     It briefly introduces the concept and basic characteristics of sports marketing,analyzes some mistakes of domestic enterprises in sports marketing researches on how to carry though sports marketing effectively,and brings forward the feasible advices.
     介绍了体育营销的概念和基本特征,分析了国内企业在体育营销方面存在的一些误区,并对如何进行有效体育营销提出了可行性建议。
短句来源
     This article probes into the characteristics and some mistakes of earthquake medical rescue, which have become outstanding problems of social medicine.
     文章探讨了地震医疗救援的特点和以往地震医疗救援中存在的一些误区
短句来源
     On the basis of Code of indoor environmental pollution control in civil architecture,the author points out several indoor harmful gases must be tested at the stage,illustrates the harm of indoor air pollution on human body,and discusses some mistakes existed in people's knowledge about indoor environmental pollution,in order to make the quality of indoor environment after decoration achieve code requirement.
     以《民用建筑室内环境污染控制规范》为依据,指出了现阶段室内必须检测的几种有害气体,阐述了室内空气污染对人体造成的危害,并对目前人们在室内环境污染认识上存在的一些误区进行了分析探讨,以使装修后室内环境的质量达到规范要求。
短句来源
     Some mistakes in executing the safety and sanitation regulation in mine project were analyzed, it is pointed out that whether during the period of project construction or in the course of production, we should strictly execute the regulation and remove hidden accident danger.
     对矿山工程执行安全卫生“三同时”的一些误区进行了分析,指出不论是在工程的建设期间,还是在生产期间都必须严格贯彻执行“三同时”,消除事故隐患。
短句来源
更多       
  “some mistakes”译为未确定词的双语例句
     Some Mistakes in the External Pressure Vessel Calculation Charts of GB150-1998
     GB150—1998《钢制压力容器》外压计算曲线存在的问题
短句来源
     The ISO/IEC 17025: 2005 General Requirements for the Competence of Testing and Calibration Laboratories are further perfection and improvement for ISO/IEC 17025 by giving modifications and additions to ISO/IEC 17025:1999. But the author still found some mistakes existing in ISO/IEC 17025 and brought them out for reference in the process of laboratory management system establishing and laboratory assessment.
     ISO/IEC17025:2005《检测和校准实验室能力的通用要求》对ISO/IEC17025:1999进行了修改和补充,使ISO/IEC17025进一步完善和提高,但笔者在学习过程中仍发现ISO/IEC17025标准中存在的一些错误,提出供实验室建立管理体系和实验室评审时参考。
短句来源
     This paper points out that there are some mistakes of dimensional and titer's concept in GB14074.14—93 testing methods for wood adhesives and their resins testing method for determination of free phenol content,and put forward the corrait project.
     指出“GB 14074.14—93木材胶粘剂及其树脂检验方法游离酚含量测定法”在滴定度概念、量纲使用等方面存在纰漏,并提出修正意向.
短句来源
     Some results on the oscillation to d/dt[x(t)-cx(t)]+sum from i=1 to n(p_i(t)x(t-r_i(t))=0 (c>1) are given, and some mistakes in some references are pointed out and some counterexamples are given. Finally, some existence theorems of nonoscillatory solutions are proved.
     在 C>1时讨论了方程d/dt[x(t)—cx(t—r)]+sum form i=1 to n P_i(t)x(t—r_i)=0解的振动性充分性判据. 证明方法上纠正了已有文献中的一些错误,并对一些错误结论给出了反例;
短句来源
     The primary feature, capability and physical models of the COBRAⅢC/MIT-2 program and the correction to some mistakes of the original[1] are described in this paper.
     本文介绍了COBRAⅢC/MJT2程序的主要特点、功能、模型以及我们对文献[1]给出的原程序中的一些错误所做的改正。
短句来源
更多       
查询“some mistakes”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  some mistakes
Preliminary corrections are made of some mistakes found in the statements of the paper [3].
      
The authors discovered some mistakes in the article that appeared on pp.
      
In the text some mistakes concerningOpiz's generic names in Index Kewensis are corrected.
      
Finally, the paper offers specific suggestions in terms of principles in dealing with uncertain science, and concludes that the course of action that DuPont followed, including some mistakes, can serve as a model for analogous crises.
      
In this paper, we obtain some new results on this function and we correct some mistakes in the preceding literature.
      
更多          


The concept of the "equivalent earth" in the theory of tropospheric radio propagation is discussed. It is proved that under the conditions that the straight rays above the "equivalent earth" and the curved rays in the linear atmosphere have same ground propagation distances and same reflection heights, the geometrical lengthes of the two rays are not equal to each other. It is pointed out that there are some mistakes commonly made in using the method to correct the atmospheric reflection in present navigation...

The concept of the "equivalent earth" in the theory of tropospheric radio propagation is discussed. It is proved that under the conditions that the straight rays above the "equivalent earth" and the curved rays in the linear atmosphere have same ground propagation distances and same reflection heights, the geometrical lengthes of the two rays are not equal to each other. It is pointed out that there are some mistakes commonly made in using the method to correct the atmospheric reflection in present navigation and timing systems. Finally, a computer calculations has also been made to show the effects of the reflection on the propagation of first-hop sky -wave using the exponential atmosphere model

证明了当地面大元传播距离、反射高度相同时,线性大气弯曲射线和“等效地球”上空直射线之间几何长度并不相等。探讨了目前低频天波折射修正中存在的问题。用指数大气模式计算了一跳天波的折射效应。

The present paper consists of seven sections.In the first section an axiom system for the classic two-valued logic M is given such that each group of axioms (including predicate calculus) is self-sufficient with respect to the connective C. It is proved that for any logic system each group of axioms is self-sufficient with respect to C provided that so is the propsitional calculus in it.In the second section a classic constructivistic logic G is given such that a formula a resp. N a is provable in M (including...

The present paper consists of seven sections.In the first section an axiom system for the classic two-valued logic M is given such that each group of axioms (including predicate calculus) is self-sufficient with respect to the connective C. It is proved that for any logic system each group of axioms is self-sufficient with respect to C provided that so is the propsitional calculus in it.In the second section a classic constructivistic logic G is given such that a formula a resp. N a is provable in M (including the predicate calculus) if and only if NN a resp. N a is provable in G. It is noted that the minimal calculus J is included in G, but the Heyting system H and the classic constructivistic logic G are independent of each other, and all of these systems are included in M.In the third section a natural deduction system of sequent type for G is given and it is proved that each group of axioms of the above axiom system given is self-sufficient with respect to the connective C.In the fourth section natural deduction systems of assumption type for the systems J, H, G and M are given. The systems of J, H (resp. of G, M) possess the subformula (resp. quasi-subformula) property in the sense that in the deduction of a formula a we make use only of the subformulas (resp. the subformulas and their negations) of a. Hence the provability in the prepositional calculus of these systems is decidable within finite steps.In the fifth section some mistakes in the prevailing natural deduction systemsof assumption type are pointed out, which provoked a long dispute among math-ematical logicians.In the sixth section the relations between natural deductions of sequent type and those of assumption type are discussed and it is shown that given any system of one type we can construct a system of another type such that not only the sets of their provable formulas but also the auxiliary formulas in the deduction process are the same.The last section deals with the implication paradoxes from the sequent clculus viewpoint and hence throws a new light on the subject.

本文共分七部份.第一部份给出一个各组公理相对于C而自足的古典逻辑公理系统.指出,如果命题演算部分各组公理自足,那末只须把通常的全称规则适当加强便可以达到目的了.第二部份给出一个古典构造主义逻辑系统G,使得在整个系统内是古典逻辑系统M的共否系统;与极小演算J,直觉主义逻辑H相比,它是由J加个两个公理而得,或由H,M中把一个公理换为两个较弱公理而得.J是G的子系统,在命题演算内G是H的子系统,在谓词演算内G与H互不包含,而J,G,H又都是M的子系统.第三部份介绍Gentzen的矢列型系统.对系统G给出一个矢列型系统,从而证明上节所给的关于G的公理系统是相对于C而各组自足的.第四部份介绍假设型系统,对J,G,H,M系统都给出具有(准)子公式性质的假设型系统,由于有(准)子公式性质,在命题演算内它们的可证性都是可判定的.第五部份,对目前一些人对假设系统所作的一些错误解释予以评论.第六部份,讨论矢列型系统与假设型系统的关系,证明两者实质上是一致的,即任给其中一型的系统恒可作出另一型系统,它们不但可证公式全同,而且所使用的中间公式也相同.第七部分,利用自然推理系统而对蕴涵怪论问题的讨论给出一些新线索.在下文,我们不加区别...

本文共分七部份.第一部份给出一个各组公理相对于C而自足的古典逻辑公理系统.指出,如果命题演算部分各组公理自足,那末只须把通常的全称规则适当加强便可以达到目的了.第二部份给出一个古典构造主义逻辑系统G,使得在整个系统内是古典逻辑系统M的共否系统;与极小演算J,直觉主义逻辑H相比,它是由J加个两个公理而得,或由H,M中把一个公理换为两个较弱公理而得.J是G的子系统,在命题演算内G是H的子系统,在谓词演算内G与H互不包含,而J,G,H又都是M的子系统.第三部份介绍Gentzen的矢列型系统.对系统G给出一个矢列型系统,从而证明上节所给的关于G的公理系统是相对于C而各组自足的.第四部份介绍假设型系统,对J,G,H,M系统都给出具有(准)子公式性质的假设型系统,由于有(准)子公式性质,在命题演算内它们的可证性都是可判定的.第五部份,对目前一些人对假设系统所作的一些错误解释予以评论.第六部份,讨论矢列型系统与假设型系统的关系,证明两者实质上是一致的,即任给其中一型的系统恒可作出另一型系统,它们不但可证公式全同,而且所使用的中间公式也相同.第七部分,利用自然推理系统而对蕴涵怪论问题的讨论给出一些新线索.在下文,我们不加区别地使用无括号系统(所谓波兰系统)与加点子的通常系统.

Let A be any nxn matrix and J, its Jordan canonical form. A nonsingular matrix T which satisfies.T-1AT=J, is called a transformation matrix.In this paper, an algorithm is developed for obtaining the Jordan canonical form J of matrix A and for producing simultaneously a transformation matrix T when all the different eigenvalues of A are known.In [2], a different algorithm, is also proposed. Unfortunately, some mistakes have been found there. The basic idea of [2] is described as follows: suppose that V...

Let A be any nxn matrix and J, its Jordan canonical form. A nonsingular matrix T which satisfies.T-1AT=J, is called a transformation matrix.In this paper, an algorithm is developed for obtaining the Jordan canonical form J of matrix A and for producing simultaneously a transformation matrix T when all the different eigenvalues of A are known.In [2], a different algorithm, is also proposed. Unfortunately, some mistakes have been found there. The basic idea of [2] is described as follows: suppose that V is the linear space of n dimensions , is an eigenvalue of A and B = A-I.Denoting V0= { 0 }, W0= V, then one may successively construct spaces Vt and Wi in the way that Wi= V1+1 + Wi+1, Vi+1 Wi+ 1 = { 0 }. Vi+1 = {xWi| Bx Vi} and the process may terminate when dim Vm+1= 0. [2] says that V'm=V1+V2 +defines the subspace of V, which corresponds to the eigenvalue of A, and V can be written as the direct sum of invariant subspaces V= V'm Wm. This is not true. For example, if which satisfies all the above conditions, i.e.,We take W1 = V1+W1=V and V1 W1= {0}. From W1 we can obtain the space V2If we take W2 as the spaces and it satisfies the conditions that W1= V2+W2And V2 W2 = {0}, then dim V3= 0.In fact, V3= {x W2|Bx V2}. Since x W2, x must be of the form aand Bx = On another hand, any vector y V2, must be of the form Thus, if Bx V2, a must be zero, and it follows that dim Vs= 0.V2' = V1 + V2 = is an invariant subapace, but W2 = > is not.The algorithm proposed in this paper gives corrections to the mistakes of [2]. Furthermore it is proved that for any matrix A, the matrix T produced by the computations with our algorithm is indeed a transformation matrix.

本文给出一种计算任意复方阵的Jordan标准形的变换矩阵的算法,并证明按照给出的算法计算结果得到的一个矩阵确是所要求的Jordan标准形的变换矩阵。

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

 


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

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