查询词典 provable formula

Methods Twelve cases of gallbladder with stones or gallbladder polypus were measured by ultrasound preoperatively,by which the gallbladder volume may be calculated using the cone formula and the ellipse formula respectively.

利用超声测量胆囊的各个径线后计算出胆囊容积是目前最常用、最直接、最简便的方法，但具体计算方法之间有一定的差别[1] 。

The assumption of the variable tendency of slip-line in active zone is made based on the numerical results. Combining the slip-line equations and boundaries, the formula of bearing capacity is deduced which can consider the density of soil. The formula of bearing capacity of strip footing on ponderable soil is also deduced assuming that the slip-line field of ponderable soil is the same with that of weightless soil, which is proved to be an upper-limit solution, as its the same with that deduced by the upper-limit method in Prandtl mechanism.

在数值计算结果的基础上，对有重土地基主动区滑移线变化趋势进行了合理假设，根据边界条件和特征线方程求得了条形基础极限承载力的解析表达式，该表达式可以计算考虑土重度的条形基础的极限承载力；获得了不考虑重度对滑移线场影响时(即有重土在普朗特尔滑移线场下)极限承载力的解析表达式，该表达式与普朗特尔机动场对应的极限承载力上限解的表达式相同，这就从理论上证明了在土重度对滑移线场没有影响这一假定前提下得到的极限承载力是一个上限；(3)利用上限定理求解了极限承载力的最小上限。

In response to the relationship between cavitations and wake gradient, this paper puts forward 3 kinds of calculating model of propeller exciting force , then puts the actual exciting force into pattern formula, and then obtains a new formula to predict propeller-induced hull surface pressure fluctuations by analyzing and calculating some actual ships.

在深入研究国内外螺旋桨激振力计算方法以及综合分析影响螺旋桨激振力的各种要素的基础上，根据空泡数和伴流梯度的关系，本文提出三种螺旋桨脉动压力的计算模型，将反推得到的实际激振力分别代入模型公式，应用数学统计方法对几条实船进行计算分析，得到用于预报螺旋桨表面力的新公式。

Next in section 2.3,usingthe finite isolated regular representations in SO(3)character varity of 〓,weobtained a computation formula of SO(3)Donaldson invariants with degree 1 of4—manifold 〓(Theorem 2.3.1).Finally in section 2.4 wediscussed the Donaldson invariants of 4—manifolds with smoothly embedded 2—torus 〓 whose selfintersection is +1,with the help of the single irreducibleSU(2)representation of the principal 〓—bundle over a 2—torus with Eulernumber—1,we got a gluing formula of the Donaldson invariant on the 2—homology represented by 2—torus 〓(Theorem 2.4.1),it is a supplement of P.

最后在§2.4我们讨论了具有自交数为+1的嵌入环面〓的4—流形的Donladson不变量，运用环面上欧拉数为-1的圆丛的单个不可约SU（2）表示给出了Donaldson不变量在环面表示的同调类上的一个粘合公式（定理2.4.1），这一结果补充了P。

By studying the present calculating formula of rectangular drawpiece blank size, this paper gains the major reason of inducting error,and obtains new more accurate formula,according to the same principal that surface area is equal before and after drawing.

对现有盒形拉深件坯料尺寸计算公式进行了分析，得出其误差存在的原因，并根据"坯料面积与拉深件面积相等"的原则得出了较为准确的盒形拉深件坯料尺寸计算新公式。

Then, in the study of finite degree of freedoms, we introduce the principle of least action, the Lagrangian formula, and the Hamiltonian formula.

然后在讨论多自由系统中引入最小作用量原理，并介绍拉格朗日、哈密顿程式。

Highly precise quadra order non-linear formula is set up, which gives the satisfactory density value of highly pure aluminum (99.999~99.99999 %) at 20 oC.Linear approximate formula for the density calculation of 99.75% primary aluminum (molten point in the range of 658.7℃～1100℃) derived f...

以Jagrangian插值的二次多项式和一次多项式导出的 99.75 %原铝(熔点 6 5 8.7℃～ 1 1 0 0℃)的密度计算的线性近似式、该式子较文献〔1〕所述的还要简单，而数值计算结果却高度吻合。

By analysing the compute result of the quadratic approximation formula, we educe the conclusion that 3 is the best rank code for the quadratic approximation formula.

通过对最小二乘拟合公式实际计算结果的分析，得出了"拟合公式阶数取3为最佳"的结论。

As using Gaussian numerical integration, this paper uses Gauss-Legendre quadrature formula instead of Gauss-Chebyshev quadrature formula in order to avoid the precision decrease due to the singularity of cut-off error at both end points.

在利用高斯型求积公式进行数值积分时，本文采用高斯—勒让德求积公式取代高斯一切比雪夫求积公式，以避免因截断误差在端点出现奇异而导致的精度下降。

In the third chapter, the contractilities and asymptotical stabilities of neutral delay integro-differential equations are concerned. The extended Runge-Kutta methods, with the compound quadrature formula and the Pouzet quadrature formula, are numerically stable under suitable conditions. The numerical experiments prove this result.

第三章，研究了中立型延迟积分微分方程，其理论解的收缩性和渐近稳定性，利用复合求积公式与Pouzet求积公式扩展Runge-Kutta方法，并获得了数值方法的稳定性条件，随后的数值试验结果进一步证明了方法是数值稳定的。

His female bullfighter Lydia gradually Health love, but she was in a vegetative state after the Bulls Zhuangcheng away from her, just because Lydia's ex-boyfriend showed more affectionate than he is like love.

他对女斗牛士莉迪亚渐生爱意，却在她被公牛撞成植物人后离她而去，仅仅因为莉迪亚的前男友表现出好似比他更深情的爱。

I know of none which are not easy to answer, but what I am trying to do now is only by a series of hints to throw some light on the narrow path of legal doctrine, and upon two pitfalls which, as it seems to me, lie perilously near to it.

我不认为有什么难以回答的问题，但我现在要做的仅仅是通过一系列线索，来给法律理论的狭窄路径以及在我看来离它近得危险的两个陷阱提供一些启示。