全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多

 二级 在 逻辑学 分类中 的翻译结果: 查询用时：2.761秒
 历史查询

 二级
 second
 For example, the expression φ(A), where φ is a function of second order, and A is a two-place first order function, may also be represented as φ_(xy) A(x,y), where φ_(xy) is an operator of first order with two directive variables x and y. 例如,对二级函谓词φ及二元一级函谓词A而言,φ(A)亦可表为φ_(xy)A(x,y),这里φ_(xy)为具有两个指导变元的一级约束词。 短句来源 On the other hand, the expression lim(x→a) f(x), where lim is an operator of first order, may also be represented as lim(a,f), where lira is now a function of second order with one individual argument and one functionargument (of first order). 另一方面,对一级约束词lim而言,lim f(x)亦可表为lim(a,f),这里lim是二级函谓词,它有一个个体变目和一个函谓词(一级)变目。 短句来源 Based on the theory of differential equations,the authors assume that energy flows on first and second order processes,then establish and analyse the compartment model. 以微分方程理论为基础，假设能量按一级和二级动力学过程流动，建立了生态网络中的能量流动分室模型并进行了分析。 短句来源
 second order
 For example, the expression φ(A), where φ is a function of second order, and A is a two-place first order function, may also be represented as φ_(xy) A(x,y), where φ_(xy) is an operator of first order with two directive variables x and y. 例如,对二级函谓词φ及二元一级函谓词A而言,φ(A)亦可表为φ_(xy)A(x,y),这里φ_(xy)为具有两个指导变元的一级约束词。 短句来源 On the other hand, the expression lim(x→a) f(x), where lim is an operator of first order, may also be represented as lim(a,f), where lira is now a function of second order with one individual argument and one functionargument (of first order). 另一方面,对一级约束词lim而言,lim f(x)亦可表为lim(a,f),这里lim是二级函谓词,它有一个个体变目和一个函谓词(一级)变目。 短句来源 Based on the theory of differential equations,the authors assume that energy flows on first and second order processes,then establish and analyse the compartment model. 以微分方程理论为基础，假设能量按一级和二级动力学过程流动，建立了生态网络中的能量流动分室模型并进行了分析。 短句来源

我想查看译文中含有：的双语例句

 secondary
 The 3D QSAR studies using Apex 3D expert system led to the identification of the pharmacophore in terms of common biophoric sites and secondary sites for interacting with PPARγ receptors. 1) for R isomers with correlation coefficient r =0.9, chance= 0.05 and match= 0.47 has four biophoric sites and three secondary sites while the best model for S isomers (model no. 2) with correlation coefficient r =0.86, chance =0.01 and match = 0.45 has three biophoric sites and two secondary sites. Biological Evaluation of a Secondary Metabolite, 9-O-methylfusarubin, from Fusarium oxysporum In this paper a new mathematical model of secondary frost heave is presented. 更多
 second
 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. A local-global principle is proved by the second named author in the adjacent paper of this volume. In the second part we apply this method to obtain pseudo-Riemannian homogeneous manifolds with real Killing spinors. We derive two consequences: the first is a new proof of Lusztig's description of the intersection cohomology of nilpotent orbit closures for GLn, and the second is an analogous description for GL2n/Sp2n. The second part consists in the normalization of the Burkhardt dual. 更多
 second order
 Behavior near the boundary of positive solutions of second order parabolic equations We state a localization principle for expansions in eigenfunctions of a self-adjoint second order elliptic operator and we prove an equiconvergence result between eigenfunction expansions and trigonometric expansions. We also obtain a way of constructing an arbitrary number of non-Gaussian continuous time processes whose second order properties are the same as those of fractional Brownian motion. The line search functions used are Han's nondifferentiable penalty functions with a second order penalty term. Finally, we prove the global convergence and the local second order convergence of the algorithm. 更多
 two-stage
 In this paper, two-stage stochastic quadratic programming problems with equality constraints are considered. A two-stage semi-hybrid flowshop problem in graphics processing In this paper, a two-stage semi-hybrid flowshop problem which appears in graphics processing is studied. Using the general model and a two-stage fusion strategy presented in this paper, a concrete multimodal VAD system is built. Compressor performance of two-stage turbocharging system 更多
其他
 点击这里查询相关文摘
 相关查询

 CNKI小工具 在英文学术搜索中查有关二级的内容 在知识搜索中查有关二级的内容 在数字搜索中查有关二级的内容 在概念知识元中查有关二级的内容 在学术趋势中查有关二级的内容
 CNKI主页 |  设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
2008 CNKI－中国知网

2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社