可证明的

It is proved experimentally that the calculation accuracy of this method can satisfy the need of engineering calculation...

实验证明。这种方法的计算精度可较好地满足工程计算的需要。

Furthermore, the non-linear global stiffness matrix is updated in the time domain as the riser deforms.7, Potential relationship between the freely vibration and the forced oscillation has been investigated and a theory model is successfully constructed.

该理论模型可同时考虑到雷诺数和质量阻尼比对横向振幅幅值的影响，同时也再次证明雷诺数是影响涡激振动横向振幅的一个重要参数。

From the result of experimentation,it can illustrate the validation of foresaid algorithm and,prove the effect of 3D segmentation.

实验证明了上述算法的有效性，可得到良好的3D分割效果。

Specifically, we show that the optimization scheme can reproduce the shape of an unknown object efficiently from the knowledge of only one Fourier coefficient of the far-field pattern rather than the Fourier coefficients of the far-field pattern.

特别地，我们证明了只需要远场分布的某一个 Fourier系数而不是所有Fourier系数，就可得到未知障碍物的一个理想重构。

The paper reveals the relation between linear AND-OR gate and the Emitter Function Logic. With theoretic calculation and PSPICE simulation, the paper proves that the linear AND-OR gates can work at super-high-speed and can be multi-cascaded.

摘要本文指出了线性"与或"门与发射极功能逻辑的联系，通过理论计算与PSPICE模拟证明了线性"与或"门的极高速工作特性和可多级级联工作能力。

A global convergence is proved by analysis of Markov chain.

通过马尔可夫链的分析，证明它是全局收敛的。

And it can update the location information to anchor in the vicinity of the region.

通过与其他策略的仿真比较，证明其在性能上具有更好的可扩展性。

Nev-ertheless,there has been no easy ways to prove the integrability of FDIHSso far.

但对这些系统可积性的证明却一直没有较简洁的方法。

The well-known spectrum assignment problem are discuussed and a general proofs for it and its generalization are gived. 3. The general conditions of invertible completions of operator pairs are acquired.

作为研究基础，引入了算子对可控性与可容许性指标及算子ε-限制，并利用算子闭值域特性、值域逼近及空间的不同分解，获得了算子谱配置问题及广义的算子谱配置问题一般性证明。

And in the same paper, Rose proved that if G is a graph with q edges, then graph K_{2q+1} can be partitioned into 2q+1 graphs which are isomorphic to graph G.

Rose在文献[2]中指出了Ringel猜想的证明与优美树猜想有关，并给出了一般的结论：设G是一个q条边的优美图，那么K_2q+1可分解出2q+1个图都同构于G。

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％。