查询词典 formulas

For calculating the shadow area of the heliostat field on the ground accurately, the calculation method of the shading ratio among the adjacent heliostats is proposed and the theoretic formulas are derived.

为了精确计算镜场对地面的阴影面积，提出了相邻镜面间阴影率的计算方法，并推导了计算公式。

By means of the Hermite interpolation formula with second derivative,a type of integrating formulas with second derivative is derived.

利用带二阶导数的Hermite插值公式，导出一类具有二阶导数的求积公式。

Osculatory Rational interpolation is similar to the polynomial Hermite interpolation, and for binary Osculatory rational interpolation, Similar to polynomial interpolation formulas haven't appeared from now on.

切触有理插值是类似于多项式插值中的Hermite插值的一种插值，而对于二元切触有理插值，目前还没有构造出类多项式的插值公式。

With some modifications of Laplace\'s approximation,we obtain uniform asymp-totic formulas for the Stieltjes-Wigert polynomial,the q~(-1)-Hermite polynomial and the q-Laguerre polynomial.

通过将Laplace逼近方法做一些改进，我们得到一些关于Stieltjes-Wigert多项式，q~(-1)-Hermite多项式和q-Laguerre多项式的一致渐近公式。

However, they do recommend those formulas that are high in iron.

不过，他们建议那些公式是在高铁。

Using the extended Hoare calculus we can derive true Hoare formulas which contain while statements free of loop invariants.

使用这个抽象机器，可以在其上进行许多带位操作指令的程序，特别是系统级代码的Hoare逻辑风格推理。

The methods of computing holdup, pressure drop and temperature drop were simply introduced and some important formulas were derived.

并简要介绍了段塞流工艺计算中的持液率计算及压降和温降的计算，并对重要的公式进行了推导。

Hamilton principle can be used in holonomic system and intrinsical linear nonholnomic system. The formulas of them are unified. Hamiltonian action is stability in intrinsical linear nonholnomic system.

本文将Hamilton原理应用到本质线性非完整系统，首次证明了在本质线性非完整系统中，Hamilton作用量为稳定的作用量；将完整系统和本质线性非完整系统的Hamilton原理从形式和本质上统一起来。

By means of Taylor's formulas and the extended homogeneous capacity method, the nonlinear equation is transferred into a linear homogeneous equation within an integral segment, which can be solved conveniently by the high precision integration method.

首先，借助Taylor级数展开，在一个积分步长内将非线性方程转化为线性非齐次方程，然后利用齐次扩容方法，进一步将其化为线性齐次方程组，便于用精细积分算法求解。

Whence, the homomorphism proof system from formulas in MU(1) is complete, and this proof system and the tree resolution proof system can be transformed mutually in polynomial time on the size of proof.

从而，由 MU(1)中的公式构成的同态证明系统是完备的，并且由 MU(1)中的公式构成的同态证明系统与树消解证明系统之间是多项式等价的。

Summary In copyright infringement cases,if the alleged infringer uses or even plagiarizes the copyrighted works or parts thereof,which causes no substantially adverse effect on the normal exploitation of the work,nor does it inflict any substantial damages to the right owner,the de minis doctrine should be applied to exempt the liabilities of the defendant and seek the balance of interests between the right owner and the general public embodied by the copyright law.

在侵犯著作权案件中，如果被控侵权行为人虽未经著作权人的同意，使用甚至抄袭了受著作权保护的作品或作品的片段，但若情节轻微，未对该作品的正常使用产生任何实质不利的影响，亦未对权利人的权利造成实质性的损害，则应适用&不计琐细原则&，免除行为人的责任，以寻求在权利人利益与著作权法所体现的社会公共利益之间的平衡。

This new product will become our best seller.

这个新产品会成为我们最畅销的产品。