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

图标索引 历史查询
 

给出     
相关语句
  given
     DESIGN OF CIRCLE INTERPOLATION SOFTWARE ON EXTENDED DDA GIVEN JUDGE OF TERMICAL POINT
     给出终判公式的扩展的DDA园弧插补软件设计
短句来源
     specific method to calculate the hitting probability of both round and rectangular aim are given,so are the generation of normal distribution vector and uniform distribution vector.
     给出了对圆形目标和矩形目标的具体计算方法,以及正态分布随机向量和均匀分布随机向量的产生方法,根据算例的结果,讨论了子弹重迭度对子母弹首发命中概率的影响。
短句来源
     In this paper,a category of systems damage model is established by applying compound Poisson process and the formulas of some system reliability indexes such as probability that works normally at the moment t and average life are given.
     运用复合泊松过程建立了一类系统损伤模型,并给出了该系统在时刻t正常工作的概率和平均寿命等几个可靠性指标的计算公式.
短句来源
     By analyzing the principle of UAV(unmanned air vehicle) flight control system and the function requirement for flight control computer,the hardware platform design method of UAV's flight control system based on the ATmega128 MCU is given.
     通过分析无人机飞行控制系统的工作原理以及对飞控计算机功能的需求,给出了基于ATmega128单片机的无人机飞行控制系统的硬件平台设计方法。
短句来源
     Methods Through the questionnaire investigation between implementers and supervisors of injury surveillance, utilizing modern fuzzy multi-attribute group decision making theory, a ranking was given on scheme sets in the frame of fuzzy linguistic value scale based on LWA and HLWA operotors.
     方法通过对医院伤害监测实施者和督导者的问卷调查,利用现代模糊多属性群体决策理论,在模糊语言值标度框架内,基于LWM和HLWA算子,给出了方案集(填报人员)的一个排序。
短句来源
更多       
  is given
     By analyzing the principle of UAV(unmanned air vehicle) flight control system and the function requirement for flight control computer,the hardware platform design method of UAV's flight control system based on the ATmega128 MCU is given.
     通过分析无人机飞行控制系统的工作原理以及对飞控计算机功能的需求,给出了基于ATmega128单片机的无人机飞行控制系统的硬件平台设计方法。
短句来源
     This paper discusses the principle of the NAT traversal based on UDP(User Datagram Protocol). Moreover,a realization of P2P communications based on UDP is given.
     本文在分析了基于UDP(User Datagram Protocol,用户数据报)协议穿透NAT的实现原理的基础上,给出了一个基于UDP协议P2P通信的实现方案.
短句来源
     Based on analyzing the structure feature of injection molding standard moldbase,the method of constructing injection molding standard moldbase base is advanced by applying information model of product families,and the information model of injection molding standard moldbase product families is given.
     在分析注塑模标准模架结构特征的基础上,提出了应用产品族信息模型构建注塑模标准模架库的方法,并给出了注塑模标准模架产品族信息模型。
短句来源
     Finally the performance of RTDBS on experiment is given.
     最后给出该RTDBS的实验性能指标。
短句来源
     A class of uncertainty T-S dynamical fuzzy systems is given using the Lyapunov function method.
     首先给出不确定T-S动态模糊系统的模型;
短句来源
更多       
  give
     Using the decompositions of Bezout matrix,resultant matrix and Hankel matrix,the authors get several new properties of these matrices above,which give the matrix expressin of coprime polynomials and supply a new method in dealing with polynomial problems.
     利用Bezout矩阵、结式矩阵与Hankel矩阵的分解得到了它们的几个新性质,给出了多项式互素的矩阵描述,为处理多项式问题提供了一种新方法。
短句来源
     We study the approximation rate of functions of the Hω class and the Hω1 class by biharmonic Abel-Poisson operator,and give the upper and lower bound estimate of E(Hω,r) and E(Hω1,r).
     讨论双调和Abel-Poisson算子对函数类Hω和H1ω的逼近速度,给出E(Hω,r)和E(H1ω,r)的上下界估计.
短句来源
     And realize parametric design by means of the software Visual C++ 6.0 and Pro/Toolkit the further development saddlebag of Pro/E,and give a instance of application.
     利用Visual C++6.0语言和Pro/E的二次开发工具包Pro/Toolkit实现了三维零件的参数化设计,并给出了应用实例。
短句来源
     In this paper,we give the definition of an(∈,∈∨q(λ,μ))-convex fuzzy set and discuss some of the fundamental properties of such convex fuzzy set.
     给出(∈,∈∨q(λ,μ))-凸模糊集的定义,讨论它们的一些基本性质。
短句来源
     In this paper,we give two new sufficient and necessary conditions for Banach spaces to be K-strictly convex by using Hahn-Banach continuation theorem and the number which is similar to K-dimensions volume.
     利用Hahn-Banach延拓定理或与K-维体积相似的数给出了Banach空间K-严格凸的两个新的充要条件。
短句来源
更多       
  gives
     This article gives the method of the calculation and application of learning efficiency and the standard learning effi-ciency, based on the cognitive processes of teaching, and on the analysis of the correlation between learning recept, learning effect,learning time and learning efficiency, and on forming the conditions in combination with the learning effect.
     本文依据教学的认知过程,在对学习感受、学习成绩、学习效果、学习时间、学习效率的相互关系分析的基础上,结合学习效果形成条件,给出了学习效率、标准学习效率的计算及其应用方法。
短句来源
     The experiment results are promising, and further analysis gives the reason for the effectiveness of the machine learning based methods.
     给出了方法的框架并进行了实验,然后对实验结果进行分析和比较,得出了应用机器学习方法的χ2密写分析优于简单χ2密写分析的结论从而肯定了机器学习方法的有效性。
短句来源
     This paper gives a scheme for the overall framework of a spacecraft cooperative design platform.
     本文给出了航天器协同设计平台总体框架的方案。
短句来源
     This paper introduces the basic structure of XR17C158, analyses the location and the function of its registers, and gives the solutions to some key problems in the realization of the driver of XR17C158 in VxWorks operating system. It is helpful to the developer of XR17C158 during their work.
     介绍了该芯片的基本结构特点,分析该芯片的寄存器分配及功能,给出该芯片在VxWorks操作系统下驱动程序实现的一些关键问题的解决方案,供从事XR17C158芯片开发的同行们参考。
短句来源
     Through the discuss of three forms of audit, it researches their respective auditing potency, and gives relative advice on signing contracts by construction company in different forms of audit, and provides foundation for the research of auditing potency in project cost controlling.
     通过对三种审计形式的论述,对三种审计形式各自的审计效力进行了研究,并且对建设单位在不同审计形式下签订承发包合同给出了相关建议,为工程造价控制过程中审计效力的研究提供了依据。
短句来源
更多       

 

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

 

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

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  given
In the case of 4-dimensional anticommutative algebras a construction is given that links the associated cubic surface and the 27 lines on it with the structure of subalgebras of the algebra.
      
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.
      
A linear model for a given action is a linear orthogonal action with the same orbit types and equivalent slice representations.
      
The presentations are given in the form of graphs resembling Dynkin diagrams and very similar to the presentations for finite complex reflection groups given in [2].
      
We see that the theory ofn-valued groups is distinct from that of groups with a given automorphism group.
      
更多          
  is given
In the case of 4-dimensional anticommutative algebras a construction is given that links the associated cubic surface and the 27 lines on it with the structure of subalgebras of the algebra.
      
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.
      
A characterization of the complexity of a homogeneous space of a reductive groupG is given in terms of the mutual position of the tangent Lie algebra of the stabilizer of a generic point of and the (-1)-eigenspace of a Weyl involution of.
      
A representation of a quiver is given by a collection of matrices.
      
In the spirit of work of Kerman and Sawyer, a condition is given that is necessary and sufficient for the Fourier transform norm inequality
      
更多          
  give
We also show how to distinguish examples of open subsets with a good quotient coming from Mumford's theory and give examples of open subsets with non-quasi-projective quotients.
      
In particular, we give a detailed description of these sets in terms of cross-sections inside maximal R-tori ofH.
      
We develop methods that give rise to natural monomial bases for such rings over their ground fields and explicitly determine precisely which monomials are zero in the ring of coinvariants.
      
We give explicit systems of generators of the algebras of invariant polynomials in arbitrary many vector variables for the classical reflection groups (including the dihedral groups).
      
We also compute the Euler characteristic of the space of partial flags containingnt and give a connection with hyperplane arrangements.
      
更多          
  gives
We find that with a specific choice of this parameter, the action on the Fock spaces gives rise to the toroidal action on irreducible level-1 highest weight modules of the affine quantum algebra.
      
Similarly, by a specific choice of the parameter, the level (1,0) vertex representation of the quantum totoidal algebra gives rise to a structure on irreducible level-1 highest weight-modules.
      
To prove this, we first state and prove a general result which gives a criterion for checking whether a variety of dimensionN≥3 is a (compactification of a) ball quotient.
      
Such central extension gives rise to a goup scheme that leads to a geometric construction of unrestricted representations.
      
Kostant gives a description of theG-module structure for the exterior algebra of the Lie algebra.
      
更多          
  其他


点击这里查询相关文摘
图标索引 相关查询

 


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

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