查询词典 statement calculus

High School: Algebra, Geometry, Advanced Algebra, Trigonometry, Pre-Calculus conics and limits

高中：代数，几何，高等代数，三角学，？圆锥和极限

In the refutation tree of predicate calculus, the proved conjunctive formula.

在谓词演算的反驳树中，被证明的合式公式。

Firstly, the approach formulates a cost functional to turn the inverse problem into a constrained minimization problem according to least squares criterion, then the resulting constrained minimization problem is transformed into an unconstrained minimization problem by using a penalty function technique, and then the closed Fr chet derivatives of the Lagrange function with respect to the properties are derived based on the calculus of variations, finally, one can solve the resulting problem by using any gradient-based algorithm and the finite-difference time-domain method.

该方法首先以最小二乘准则构造目标函数，将逆问题表示为约束最小化问题；接着应用罚函数法转化为无约束最小化问题；然后基于变分计算导出闭式的拉格朗日函数关于特征参数的Fr chet导数；最后借助梯度算法和时域有限差分法迭代反演德拜模型参数。

But, in fact, the application of contour integral is more important, its application in integral calculus, physics and engineering science is quite extensive.

但更重要的是其应用，周线积分在积分学、力学、工程学方面应用相当广泛。

This paper probes into its application in integral calculus especially--- utilizing contour integral to calculate relational real integral.

本文重点探讨它在积分学当中的应用——利用周线积分计算有关的实积分。

To formalize this algorithm,crosscutting contract calculus and a set of contract elaboration rules are presented.

为了形式化这个算法，提出Crosscutting Contract演算和一组契约求解规则，并通过定义和证明契约完备性来保证契约求解过程的正确性。

This paper describes the general principle, calculus for thin film comparative method of cryoscopy ,and concerned problems in the measure.

介绍了熔点下降薄层比较法的原理、计算方法和测量时需注意的问题。

The improved voltage model of rotor flux is proposed in the paper. It eliminates the influence to actual system function in the voltage model of rotor flux for the proper drift problem and cumulative error of pure integral calculus tache.

提出了改进的电压型转子磁链估算模型，消除了电压型转子磁链估算模型中纯积分环节所固有的漂移问题和积累误差对实际系统性能的影响。

When propagating light\|ray passes through two fixed points in the gradient index mediums and a cuspidal variable\|point （at this point the trace equation of propagating light\|ray is non\|differentiable） at the borderline of two different GRIN mediums, the mathematical relationship, which the trace equation of propagating light\|ray and borderline equation of two different GRIN mediums should satisfy, is derived by the Fermat's principle and calculus of variation.

当光线通过梯度折射率介质中两个固定点和两个GRIN介质界线上的可动尖点（光线轨迹方程的不可微点）时，由费马原理和变分法运算推得传输光线的轨迹方程与两种不同GRIN介质的界线方程应满足的微分关系式。

The animal absorbs over a long period of time three gather cyanotype An will result in to grow, the Bi wet the damage of system, urine bladder, kidney department stone calculus, and can induct an urine bladder cancer further.

动物长期摄入三聚氰胺会造成生殖、泌尿系统的损害，膀胱、肾部结石，并可进一步诱发膀胱癌。

For the head-teacher of the class said that I had seriously broken the school rules,which led me to a three-day suspend class.

为什么呢？因为我的班主任说我严重的违反了校规，于是让我停课三天。

Many of them believe that the conversion of thousands of working-class folk in England spared that nation from the mass carnage and the tyranny that came with the revolution in France.

他们之中有许多人相信，在英国数以千计的劳工阶级之悔改信主使英国免於遭受如法国大革命所造成的大屠杀和专制暴政。