公式的

To simplify the detrusion of the double integral exchange formula,a simple method is derived after using the recevant knowledge of the methed of substitution in definite integral and double integral.

为简化二重积分换元公式的推导，利用定积分的换元法及二重积分的有关知识，提出了一种简便的推导方法。

Studies on the tautologies in some lattice valued logic systems and formula computation by means of neural net works.(1) Tautologies play a significant role in logic applications.

二、一类格值逻辑系统中的重言式和逻辑公式的神经网络计算 1、重言式在逻辑系统的应用中起着重要的作用。

In the Culmann analysis method, the assumption that the soil failure is in the mode of sliding along a plane is adopted; however only one force equilibrium equation along some special direction is utilized to derive the computation formula of earth pressure.

在Culmann分析方法中，沿用了Coulomb土压力理论关于平面滑动破坏的假定，而在推导土压力计算公式的过程中，仅利用了滑动体沿某一特定方向的一个力的平衡方程。

This paper proves strictly the soundness of a formula of the logarithm function of a complex variable and points out the wrong conclusion concerning it in《Engineering Mathematics-Functions of a Complex Variable》compiled by the Mathematics Teaching and Research Section of Xi an Jiaotong University.

本文严格证明了关于复变量对数函数的一个公式的正确性，同时指出了西安交通大学数学教研室编写的《工程数学———复变函数》一书中有关结论的错误。

One undercooling criterion of equi-nucleation is derived from analysis of Gaussian distribution model of heterogeneous nucleation.

通过对高斯异质形核公式的研究，给出了等轴晶开始形核的过冷度判据，更为准确的描述柱状晶向等轴晶的转变过程。

We also studied the influence of the functionality of the core on the mean square radius of gyration by numerical method.

在该公式的基础上，我们利用数值计算的方法求出了相同重均聚合度条件下，星核的官能度对均方回转半径的影响。

By means of infinite product of evenly distributed probability spaces,the concept of truth degrees of propositions in 3-valued logic systems W_3,G_3,Π_3 and S_3 are introduced,and some properties of distribution of propositional truth degree and certain inference rules are obtained.

利用势为3的均匀概率空间的无穷乘积在W3、G3、Π3及S3系统中引入了公式的真度概念，得到了命题真度分布的一些性质，同时给出了三值真度推理规则。

Through the study of this article requires proficiency in differential intermediate value theorem and Taylor's formula to prove, using theorem to solve a number of conclusions related questions, so can a clear understanding of this kind of problem solving ideas.

通过本文的学习，要求熟练掌握微分中值定理和泰勒公式的证明，运用定理结论来解决一些与之相关的问题，使能够明确了解此类问题的解题思路。

Currently familiar formulas called normalized correlation, which are used for evaluating the similarity degree of digital watermarks, showed their big shortage when expressing the similarity degree of extracted watermark and original watermark in inverse similarity.

摘要当前常见的作为评价数字水印相似程度公式的归一化相关值，在表示提取出的水印与原始水印反面相似时存在很大的不足。

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques.

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题。

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！