公式的

The "Formula of Concord" was an attempt to rescue German Churches from this concession to the so-called Sacramentarians; it pronounced, as Calvin never would have done, that the unworthy communicant receives Our Lord's Body; and it met his objection by the strange device of "ubiquity"-- namely, that the glorified Christ was everywhere.

"公式的和谐"是一种尝试，以拯救德国教堂从这个让步，即所谓sacramentarians ；宣判，正如卡尔文从未想到自己会做的，这不但不配communicant收到我们的主的身体，并且会见了他的反对意见，由奇怪装置的"无处不在"-即，在歌颂耶稣是无处不在。

It modified some terms of the initial formula, which made the snake model not only precisely extract the edge of the protruding object in images but also approach to the concave part of the edge. It introduced exterior sanction energy, which could adaptively change its value to enlarge suction, so that control points could quickly constringe to the real contour without relying on the initial contour. Combined with pattern matching, this new method could increase the precision of transferring the result of edge extraction from one slice to another.

通过调整原始公式的一些参数使得该模型不但能精确地提取图像中的凸形物体的边缘，而且能够接近边缘的凹陷处；引入自适应改变大小的外部约束能量来增大外能的吸引范围，使控制点能够不依赖于初始轮廓而快速地收敛到目标的真实轮廓；结合匹配技术，提高边缘提取结果层间传递的精度。

Through study of cyclic active database rule sets and analysis of triggering graph and activation graph, we present the concept of united formula and the algorithm to determine termination of a rule set corresponding to a cyclic triggering graph. We also present the time complexity analysis of the algorithm.

我们针对有环时的规则集的终止性进行了研究，通过对触发图、活化图的分析，提出了联合公式的概念，在此基础上给出了判定有环触发图对应的主动规则集的终止性算法，并给出了时间复杂度分析。

Based on the two normal forms, the decidability theorem in L is then proved and a deduction-based decision algorithm P is designed. The time complexity O(n3) of P is much less than the complexity O(2n) of the true value table method and the complexity O(n5) of HAL based on the tactic scheme.

首先定义了消解复杂性的两种范式：最简范式和文字范式，在此基础上采用演绎方法证明了L中的可判定性定理，并设计了命题公式的演绎判定算法P。P的时间复杂度为O(n^3)，远远小于基于真值表法的O(2^n)和基于策略方案HAL的O(n^5)。

Based on the revision suggestions of Technical Specification for Heat-Insulation and Wear-Resistant Lining SH3531-1999, main amendments in new edition Technical Specification for Heat-Insulation and Wear-Resistant Lining SH3531-2003 are expounded as follows:(1) The negation of double layer lining without testudinate net and further affirmation of single layer lining.

针对《隔热耐磨混凝土衬里技术规范》SH3531-1999版提出的修改意见，介绍了新版衬里规范SH3531-2003设计部分的主要修改之处：对无龟甲网双层衬里的否定及单层衬里的进一步肯定，衬里插入管、锚固件等有关结构的改进，厚度计算公式的修改及衬里材料化学成分的要求等。

According to poisson distribution and percolation theory, we construct stock price model, and use characteristic function to prove the convergence of this model, we can get that the characteristic function of the constructed model converge on the characteristic function of the Black-Scholes function.

根据泊松分布和渗流理论构造了股票价格的随机模型，并利用特征函数的性质论证了该模型的收敛性，得出所构造的股票价格随机模型的特征函数收敛到某一个Black-Scholes公式的特征函数的结论。

The SCVFV(the convection-diffusion difference scheme based on control-volume face values) scheme was put forward. The theory of the SCVFV scheme was systematically elaborated. The general interpolation formula of the SCVFV scheme was given. The formulas of the SCVFV scheme based on the Cartesian coordinate were derived. The precision, the mass conservation property and the preventability of the false-diffusion of the SCVFV scheme were theoretically analyzed.

提出了基于控制容积面值的对流扩散差分格式SCVFV，系统地阐述了SCVFV格式的基本思想，给出了SCVFV插值公式的通用表达式，推导了直角坐标系下完整的SCVFV格式的表达式，从理论上分析SCVFV格式的精度、守恒性及反伪扩散性。

How to easily and reasonably determine the value of principal stress in the direction of plane strain is the key point.

基于弹塑性理论及土的试验规律，在平面应变的简单加载条件下，假定主应力之间的关系为双线性函数，并利用一维固结和破坏时的主应力状态，确定双线性函数的系数，得到平面应变方向上主应力计算公式的一个较合理形式，为应力状态和材料性质的函数。

In this paper,a new algorithm is given by means of the complexification of the knots,i.e. the node in the plane is considered as a complex point,the vector as a complex vector,and then based on the construction of vector valued Thiele type rational interpolants and the backward three term recurrence relation for vector valued continued fractions,the recursive algorithm is obtained by appropriate transformation.

文章利用插值型值点复数化的方法讨论并给出了二元向量值有理插值的一种新算法，即把平面上的插值结点视为一个复数，所对应的向量视为一个复向量，使用一元Thiele型向量值有理插值公式的构造方法和向量连分式的向后三项递推关系式以及适当的变换，最后导出了这种递推算法。

N this paper, a new method for theorem proving of PTL based on constructing semantic refutation tree is presented.

本文通过对近10年命题时态逻辑定理证明方法的研究，提出了一种新的证明方法，前人的工作基于对公式的现时部分和后时部分的分解，本文的工作是基于语义反驳树构造。

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

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

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

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