可证明的

The application in highway slope and submarine tunnel proves validity and practicability of the system, which can be of beneficial guidance to analogous projects.

将三维地质建模和可视化技术应用到公路边坡开挖和海底隧道线位地质研究中，证明了该系统的有效性和实用性，并对同类工程具有一定的指导意义。

Fiberfrax High-Index Fibers have proven to be a good reinforcement material for use in automotive brake lining and other friction materials.

Fiberfrax 的高指数纤维已被证明是一种优秀的加固材料，可用于汽车制动衬面及其它摩擦损耗材料。

In Exercises-, use the Chain Rule to find the indicated partial derivatives.

在证明其中一个版本的连锁律时，我们必须用到多变数函数的可微分观念。

The completeness and soundness theorem of this resolution principle are also proved; Secondly, a α-resolution method which can be used to judge that a lattice-valued logic formula is always α-false (i. e. is always less than α) is established, in which the completeness and soundness theorem are also proved.

进一步，类似于经典情形下寻求判定一个公式恒真的半可判定算法，建立了判定基于格蕴涵代数的格值逻辑中一类格值公式在一定真值水平α下恒假的α-归结方法，并证明了其可靠性和完备性。

It is finally shown by two examples that, compared with the methods presented in the literatures, the method presented in this paper can reduce the conservativeness of the results, which indicates the validity of the proposed method.

最后，通过两个示例表明，与文献方法相比，采用文中所提方法可减少结果所存在的保守性，证明了文中方法的有效性。

Firstly, we prove that if we select nodes properly, and let the distance between these nodes sufficiently small, cubic polynomial spline can approximate a continuously differentiable function, which with continuous derivatives of second order and discontinuity of the first kind in the derivatives of fourth order, to any desirable accuracy. This result lays a theoretical foundation for representing trajectories by splines and double orthogonal basis.

一是证明了适当选取节点并使节点距充分小时，三次多项式样条可以逼近具有二次连续导数的分段四次连续可微函数到足够的精度，这一结论为用样条和双正交基表示弹道打下了理论基础。

In this paper, find Euler's formula using double integral , power series convergence and uniform convergence in the convergence region.

本文利用二重积分公式，幂级数在收敛区间内的收敛性质、一致收敛性质及可逐项积分的性质来证明Euler公式

On the basis of general Krawczyk-Hansen Operator, the interval iteration of the constrained functions are established; the interval extension of maximum entropy function is discussed; convergence is proved; region deletion rules are supplied and the algorithm of interval maximum entropy has been set up.

利用极大熵函数和罚函数将问题转化为无约束可微优化问题，借助广义Krawczyk-Hansen算子建立了约束函数的区间迭代；讨论了极大熵函数和罚函数的区间扩张，证明了收敛性等性质，给出了无解区域删除原则，建立了区间极大熵算法。

Through analysis of Markov chain, the proposed method is proved to be convergent on whole solution space.

通过马尔可夫链的分析，证明了本文提出该算法的全局收敛性。

Relation between geometrical contour error of inner corner and machining condition is investigated by the experimental plan of Taguchi quality design. Through the quantitative analysis, the geometrical contour error is mainly affected by wire tension and flushing pressure. By regression analysis, a mathematical model is established to estimate cutting path error of corner cutting. According to the estimated cutting path error, the program path is corrected.

研究首先以田口式品质设计实验计画法来探讨加工参数与隅角形状误差间的关系，从变异数分析的结果得知，线张力与冲水压力是对於隅角精度影响最显著因子，应用回归分析建立转角加工路径误差量估测模式，利用此模式以预测不同加工条件下隅角加工路径误差量，依据预测加工路径误差量计算轨迹补偿量，实验结果证明本文所提出轨迹补偿策略可有效提高60%之隅角加工精度。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。