查询词典 formulas

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

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

But when put DRS into DRT and the formulas into First-Order Predicate Logic, we will find there is big difference between them: the former is the result of Algorithm, the latter is the result of feeling.

不过，当我们把DRS置于DRT中，并把一阶谓词逻辑公式置于一阶谓词逻辑中，再对二者进行比较的话就会发现，这二者其实是有着重大差异的：前者是算出来的，后者则是感觉出来的。

The eigenvalue problem of Dirac operator with perturbation Parameter is studied,the analyticity of perturbation parameter is discussed,and the analytic extension is done,at last,the expansion formulas of power serier about preradical expansion into perturbation parameter are got.

针对带有微扰参数的Dirac算子特征值问题，讨论了对微扰参数的解析性，并进行了解开拓，最后得到了预解核对微扰因子的幂级数展开式。

Therefore,a series studies of ice-pier vibration are performed from different aspects in this paper.The main work of this his thesis is summarized as follows:(1) Ice response spectra is proposed based on the idea of a seismic response spectra analysis of str .. uctures.Firstly,ice response spectra on the basis of power spectra density function is established;Secondly,based on the assumption of quadratic parabolic interpolation method,the nonlinear interpolation analysis method of ice response spectra is studied from both theoretical and practical points of view,and the successive computation formulas including ice displacement,velocity and acceleration response spectrum are deduced by Duhamel integral.Furthermore,to analyze the effectivity and applicability of the method, the real temporal curves of ice pressure are used to be studied.The results show that the presented method is more convenient and accurate to study the structural response induced by ice force,also it can be effectively applied in the design of ice resistance.

鉴于此，本文针对冰激桥墩结构振动问题从不同方面展开了一系列与之相关的研究，主要研究内容如下：(1)根据结构抗震反应分析思想提出了冰振反应谱，首先建立了基于功率谱密度函数的冰振反应谱；其次借鉴地震反应谱内插法的思想从理论和实际观点出发，假定在等距离微小时间间隔内冰荷载按二次抛物线规律变化，由Duhamel积分推导出冰振位移、速度以及加速度反应谱的一系列连锁公式，建立了基于非线性内插法的冰振反应谱，并利用实际冰压力时程曲线进行了冰振反应谱数值分析，为以后冰激结构振动的研究提供一种方便、简捷、精确的分析方法，也能够将其有效地应用到结构的抗冰计算中。

The relative formulas between crack density and elastic modulus shows the effect of crack on rigidity of pressure tank.

用压力容器的弹性模量定义损伤变量，进而建立了弹性模量和载荷循环次数之间的关系式。

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格式的精度、守恒性及反伪扩散性。

Functions are prewritten formulas that perform certain type of calculations automatically.

职能是prewritten公式执行某些类型的自动计算。

And the pricing formulas are worked out mainly via the approach of the reflection principle.

本文是主要采用反射原理来求三类期权的定价公式的。

Cola formulas -- results in battery materials that are like printer's ink.

配方'。''，它所调制出的电池内含物就像打印机的油墨一样。

Levanon says the company's proprietary chemical combination -- so secretive that he calls them the " Coca? Cola formulas"-- results in battery materials that are like printer's ink .

莱文农说公司专营的这种化学混合物是绝对保密的，他称之为"可口可乐配方"，它所调制出的电池内含物就像打印机的油墨一样。

The dissecting of samples in group2 were difficult. The root of pulmonary artery and ascending aorta failed to be unfolded because fibrous tissue was tough, right and left fibrous trigone were too firm to be solved by hand. Cardiac muscle fibers couldn't be stripped along myofibrillar trajectory since they were prone to break because of their friability.

组2的心脏解剖困难，表现为纤维组织坚韧，游离肺动脉非常困难；徒手无法松解左、右纤维三角，肺动脉和主动脉根部的游离非常困难；心肌纤维坚硬、质脆，解剖时容易断离成碎块，无法沿纤维走行方向剥离。

We have battled against the odds in a province that has become increasingly violent.

我们对在一个争夺日益激烈省的可能性。