公式的

Proceeding by Bubnov-Galerkin method in combination with numerical method based on the quadrature formula the problem was reduced to a solution of a system of nonlinear integro-differential equations with singular kernel of relaxation.

根据Bubnov-Galerkin法，结合基于求积公式的数值方法，将问题简化为求解具有松弛奇异核的非线性积分－微分方程的问题。

Based on the computing formula, it has been found that the horizontal dynamic response is affected by Poisson's ratio.

在此计算公式的基础上分析了长径比、桩土刚度比、地基土的泊松比对羊桩横向响应的影响。

A dollar to prove Taylor's formula and its application Various types of polynomial function is one of the most simple, using polynomial approximation function is similar to the calculation and theoretical analysis of an important element.

一元泰勒公式的证明及应用多项式是各类函数中最简单的一种，用多项式逼近函数是近似计算和理论分析的一个重要内容。

As most of the present decision methods of propositional formulas are based on semantics and cannot give an important reference in many reasoning applications, namely deduction procedure, a deduction-based decision method that can give the deduction procedure during the decision procedure is presented based on the propositional calculus system L.

目前命题公式的判定方法大都是基于语义的，不能给出演绎过程，而演绎过程是许多推理性应用的重要依据。

A kind of calculus method that is used to determine the truth-values of propositional logic formulae by means of the dynamic neural networks is proposed. It is not necessary that the formulae be simplified into normal form.

提出一种利用神经逻辑单元动态地构造神经网络的算法来对一些逻辑系统中的逻辑公式的真值进行计算。

This article introduced the outline of formula structure analysis and reappearance. This article introduced some commonly used methods.

本文对公式的结构分析与再现只做了概要性的介绍，介绍了目前常用的方法。

This article introduced the outline of formula structure analysis and reappearance .

本文对公式的结构分析与再现只做了概要性的介绍，介绍了目前常用的方法。

The average and maximum relative errors of the approximation do not exceed 1.0% and 2.0% respectively, compared with theoretical results, which explains its accuracy.

对此，提出了一种简单而实用的近似式，该式与理论值的平均和最大相对误差分别不超过1.0%和2.0%，说明了该近似公式的准确性。

The analytic model of ANSYS was also set up based on the unified theory, the limitation of the neural network sample space can be solved and the formula application range is extended.

建立了基于统一理论的ANSYS有限元解析模型，解决了神经网络样本空间小的问题，拓展了公式的适用范围。

By using the second order Stokes wave theory,the wave force is calculated and the method to deduce the formula of the second order Stokes wave force spectrum is explored.

本文基于二阶Stokes非线性波浪理论探讨了采用非线性波浪理论时随机波浪力谱的计算方法，并用一典型算例，对本文公式的计算结果与线性波理论的计算结果进行比较。

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

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

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

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