实际的证明

Service execution testing proves that HIT-501 fault-tolerant computer satisfies the requirements of high performance, high reliability, and high availability, and meanwhile, verifies the correctness and utility of the designed communication protocol for distributed fault tolerant computer system with functional approach.

HIT-501容错计算机系统经实际运行测试，证明了它满足了航天容错计算机高性能，高可靠性和高可用性要求，同时用功能测试方法验证了为分布式容错计算机系统设计的通讯协议的正确性和可用性。

A lot of experiments reveal that the fundamental period synchronous analysis method of quasi-periodic signal is reasonable and feasible for the practical engineering applications.

实验证明，本文提出的准周期信号基频同步分析方法，是实际工程应用中行之有效的方法之一。

It shows that the accuracy of the color composite grating projection method is the best.

最后，对3种方法的实际测量结果作了对比分析，证明彩色复合光栅投影方法得到的测量精度最高。

Finally,the algorithm is applied to the mining and analysis of clinical experience of famous herbalist doctors.Experimental results show that the new method can remedy the deficiency of traditional association rules algorithm.

最后，将该算法应用于名老中医临证经验分析挖掘的实际问题，实验证明，它能有效地弥补传统关联规则挖掘算法的不足。

Causing loss to another, the victim has the right to demand that the injurer pay compensation for the loss. Even if it is not possible to prove in this kind of situation that the victim sustained

即使不能证明此等交易造成受害人实际损失，加害人从此等交易中获得的利益也应依据本法关于不当得利的规定返还给受害人。

Applications to real aeroengine starting process modeling validate that the proposed method can generate more robust and interpretable models.

实际发动机起动过程建模应用案例证明，这种思路对于具有非线性输入输出关系特征的数据可以产生鲁棒性好、解析性强的线参数非线性模型。

A mean of squared differences image correlation/Kalman filtering motion estimator is analyzed deeply, proving its efficiency and unlbias, and equivalent to maximum likelihood estimator.

对实际中一种常用的均方差图像相关/Kalman滤波位移估值算法进行了深入分析，证明了该算法的有效性和无偏性，并等价于极大似然估值。

Compared with the actual landslide, the simulation result is good, which proves that the microcrack is the primary factor to control the rock slope failure; and it is very valuable for understanding the failure mechanism of the jointed slope.

通过与实际滑坡形式进行对比，模拟效果好，证明微裂纹是控制岩质边坡破坏的主要因索，对理解节理边坡的破坏机制具有重要意义。

The experimental results testify that the water-cooled silicon mirror with linear type microgroove runner can make the stability of laser output better and meet the need of stability in practical application although its absolute distortion is tinily larger compared with the water-cooled mirror with spiral type runner.

大量的台架实验结果和现场试验结果证明，虽然直线型微沟槽流道结构水冷硅镜镜面绝对热变形量与螺旋型流道相比略大，但动态热特性较好，激光器输出稳定性较高，能满足实际应用中对稳定性的要求。

We document the existence of the influence of superstitious beliefs on consumer behavior and specify their conscious and nonconscious underlying properties.

本文作者通过整理文件资料证明了迷信对消费者行为影响的实际存在，并找出了迷信的意识和非意识特性。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。