用公式表示

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

This result is a higher-dimentional analogue of the Fundamental Theorem of Calculus: it expresses the integral over D of some kind of derivative of P and Q in terms of an integral of P and Q over the boundary of.

格林公式建立了曲线积分和二重积分的关系 O 这是微积分基本定理在高维情形的推广：它将上P、Q某种形式的导数的积分用的边界上 P、 Q 的积分表示出来。

Mastery: The Laplace Transform, The Region of Convergence for Laplace Transforms, The Inverse Laplace Transform, Properties of the Laplace Transform, Some Laplace Transform Pairs; Analysis and Characterization of LTI Systems Using the Laplace Transform, System Function Algebra and Block Diagram Representations;Roth Criterion;Mason Equation of the Signal Flow Graphs.

基本要求：掌握拉普拉斯变换定义，拉普拉斯变换收敛域，拉普拉斯反变换，拉普拉斯变换性质，用拉普拉斯变换分析和表征线性时不变系统，系统函数的代数属性与方框图表示，罗斯判别，信号流图的梅森公式；熟悉常用拉普拉斯变换对，单边拉普拉斯变换；了解由零极点图对傅立叶变换进行几何求值。

A systematic study on computing the integral curvature line on NURBS surface is presented. Discrete normal is used to simplify calculation of the second fundamental form of the surface, resulting in accelerating the Euler iteration process in solving the differential equation of curvature line. Discrete points on the curvature line are then obtained and approximated by an explicitly presented B-spline curve on the NURBS surface using singular mixed interpolation and capable of controlling the error within a given tolerance.

对NURBS曲面的曲率线的积分进行了系统的公式推导，并利用NURBS曲面的离散法向量有效地简化了曲面第二基本量的计算，加速了Euler法迭代求解曲率线微分方程的过程；在求得曲率线上的离散点集以后，应用奇异混合插值技术，在可控精度内把曲率线用显式直接表示为位于NURBS曲面上的B样条曲线。

Starting from the steady-state performance of three-phase fully-controlled rectified circuit, which is with large inductive load, we take the front two items of the Maclaurin series of the DC voltage average as approximate formula, with considering of the effect of the AC-side inductance first, and further effect of AC resistance on DC voltage and commutation angle.

本文从带有高感性直流负载的三相全控整流电路稳态工作的物理情况出发，首先考虑了交流侧电感的影响，进而考虑交流侧电阻对直流电压、换相角的影响，将直流电压的平均值用麦克劳林级数表示，取前两项作近似，得出了实用的解析计算公式，并给出了计算步骤，实验证明该结果具有较高的精度。

Lastly, the formula that can calculate the stack space which is maximal was presented based on tree structure and the stack space of a real system was calculated by the formula.

分析了任务栈空间结构，定义了能够表示栈空间最坏使用情况的树结构，提出了用树结构计算最坏情况下栈空间的计算公式，并计算了一个实际系统的栈空间。

Zhu Jialin[23]used a simple layer distribution expression based on velocity-pressure formula for the Dirichlet problem of Stokes equation with a Galerkin boundary element method and presented some numerical examples calculated by constant boundary element.

祝家麟从速度-压力公式出发，利用单层位势表示定常Stokes 方程Dirichlet 问题的解，用Galerkin 边界元法求解，并用常单元给出数值算例。

The solution expression is suitable both for the inner and outer problem with a close boundary, and the calculation of velocity and pressure can be carried out separately, which is an advantage of boundary element scheme.

该方法的积分表达式可同时表示内、外边值问题的解，而且计算速度和计算压力的式子可以分别开，这是用边界积分公式求解的优点。

In the predicate calculus, a connector connecting two conjunctive formulas denoted by sign ∧or∩.

在谓词演算中，一种连接二个合式公式的连接符，用符号∧或∩表示。

This area takes on the shape of a trapezoid can be calculated using the appropriate equation.

2秒到5秒内的位移可以用梯形阴影的面积表示，用合适的公式进行计算。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。