公式的

In this solution, to check the vacuity of the CTL formula, it is not necessary to substitute all of its sub-formulae by TRUE or FALSE, but instead, it is enough to substitute its atomic proposition, and thus the number of times for checking is linear with the number of atomic propositions.

该方法对CTL公式的空属性的探测不需要对它的所有子公式用TRUE 或FALSE替换，只需对原子命题替换，这样检验的次数与原子命题的个数呈线性关系。

By use of symmetry of integral domain to coordinate surface, coordinate axis and coordinate origin, some useful formula to compute the integral are constructed, which are illustrated very useful and effective.

通过对积分区域的对称性和被积函数的奇偶性的讨论，从积分区域关于坐标平面、坐标轴和坐标原点对称出发，建立了简化各类积分计算的常见公式，并用例于展示了公式的有效性。

Then interpolating cubature formulae is given based on Lagrange interpolation formulae. Secondly it make use of the cubature formula on the triangle to construct cubature formulae on the correspondent spherical triangle.

通过把其定义域上的积分化为平面单纯形{u =(u1， u2， u3)： u1 + u2 + u3 = 1， u1， u2， u3〉0}上的积分，然后利用平面单纯形上数值积分公式给出其在球面三角形上的对d次齐次多项式精确成立的Gauss求积公式的构造方法。

First, theoretical analysis methods were used for the static analysis of the suspension bridge. The formulas for endogen force of the asymmetry suspension bridge through elastic theory were deduced and they were contrasted with those of the normal suspension bridge. The basic differential equation of deflection theory was deduced and the method of getting the roots of the equation was offered, and some simplified methods for deflection theory were presented.

推导了非对称式悬索桥弹性理论的内力计算公式，并对比了其与对称式悬索桥弹性理论的内力计算公式的异同；推导了非对称式悬索桥挠度理论的基本微分方程，并且给出了部分均布荷载作用下基本微分方程的试算方法；提出了挠度理论的几种简化计算方法。

This study shows that the new non-equilibrium solvation formulation established in our research group is valid and reliable.

用实验数据的拟合结果以及与Lippert-Mataga公式的比较，表明新的非平衡溶剂化公式在预测光谱位移方面是可靠的。

The sum of the series, it is necessary to pay attention to the scope of application of the formula and the formula derived process, to observe the series of characteristics and laws.

对于数列的求和，要注意公式的应用范围和公式的推导过程，注意观察数列的特点和规律。

The flow resistance and the phase permeability and the coupling of the flow between the reservoir and the wellhole were adopted to admend the deliverability equations of the horizontal well, which improves the applicability of the formula and the adjusted deliverability equations can guide and serve in the fields production with the the horizontal well.

本文以评价边底水油藏水平井产能及影响因素为总体目标，在国内外文献调研基础上，采用镜像反映原理和势的叠加理论推导出边底水油藏水平井产能公式，然后考虑完井、多相渗流及井筒压降对产能的影响，提出了利用流动阻力、相渗透率及井筒与油藏流动耦合修正水平井产能的修正方法，提高预测公式的适用性，为边底水油藏水平井生产提供了指导作用。

To the crack width calculation in HSRC beam, the calcution value is bigger than the experimental value in the code of SRC composite structure. Lα the paper, the symbol kAw, and khw are suggested applied in web plate lied in one third of tensed zone.

对于高强型钢混凝土梁的裂缝宽度计算，《型钢混凝土组合结构技术规程》(JGJ138-2001)中有关公式的计算值比试验值偏大，文中建议将公式中kA_w、kh_w改取混凝土受拉侧的h/3范围内的腹板。

Analyses the seal mechanism of sleeve expansion joint and the defect of the current calculation formula of the friction force,presents new formula and illustrates the influence factors of friction force.

分析了套筒补偿器密封机理及目前所用的摩擦力计算公式的缺陷，给出了新的计算公式，并对影响摩擦力的因素进行了说明。

Based on an experiment of head loss for long-throated flume , the flaw of water head loss calculating formula which based on the theory of boundary layer is pointed out.

在实验的基础上，指出对用边界层理论计算长喉槽水头损失公式的缺陷，分析了局部水头损失产生的机理，补充了进口侧收缩水头损失的计算，对原公式进行修正提高计量精度

Finally, according to market conditions and market products this article paper analyzes the trends in the development of camera technology, and designs a color night vision camera.

最后根据市场情况和市面上产品的情况分析了摄像机技术的发展趋势，并设计了一款彩色夜视摄像机。

Only person height weeds and the fierce looks stone idles were there.

只有半人深的荒草和龇牙咧嘴的神像。