经过验证的

The governing equation of in-plane vibration of cable-restraint system is derived by means of D'Alembert principle, and then those partial differential equations are transformed into a set of ordinary differential equations by Garlerkin method. The method of Runge-Kutta integration is applied to solve the equation. The simulation analysis is made to prove that this vibration control has obvious damping effects and then the influence of cable tension, support mass, natural frequency and spring stiffness on the damping are discussed. Eventually, the approximate analytic solution of the optimum damping parameter is obtained to provide a simple and effective reference and design method for the engineers.

通过D'Alembert原理建立拉索－弹性约束系统振动方程，通过Galerkin方法将偏微分方程转化为常微分方程，应用龙格－库塔积分法求解方程；经过仿真分析，验证了该振动控制具有明显的减振效果，并且讨论了初始拉力、支座质量、振动频率及弹簧刚度对减振效果的影响；最后给出了计算最优阻尼参数的近似解析式，为工程师提供了简便有效的参考依据及设计方法。

This equation has been tested out, for example, by studying the motion of the planet Mercury-the planet closest to the Sun, and hence the one with the orbit most sensitively dependent on the details of Einstein's equation.

这个公式已经经过了验证，比如，研究水星的运动-最靠近太阳的星体，所以取决于爱因斯坦的公式，它的轨道最敏感。

Vehicles passing through a tollbooth on a highway north of the city were being told by police to pull over so that trunks and identification cards could be checked.

所有的经过喀什北边的一个高速路收费站的开车都要被要求靠边停车，以便检查他的车身和identification cards（应该是一种验证身份的卡）。

The error includes two sides, one is the calculation error about Wheatstone bridge circuit, and another is the effect of the sharp pulse producing when test current is loaded on the sample. In order to eliminate or decrease error, some measures are employed in the test program.

2进行了无损性验证试验，结果说明经过瞬态脉冲试验的产品的感度性能与未经过瞬态脉冲试验的产品的感度性能相比，没有显著性差异。

In study, there are six survey scales in this paper:"University Students Internet Using Condition","Internet Addiction Test","Egma Minnen av Bardndosnauppforstran","Relationship Assessing between Happiness and Social Support","Symptom Checklist 90" and "Cartel 16PF". Through testing the groups, analyzing the datum which was obtained and confirming the research question, then from the quantitative angle discussed the relationship of the using internet behavior, the condition of the internet addiction disorder, the degree of the internet addiction disorder, the education way of the parents, the social supports, the psychological health condition and the personality of the university students.

本文使用了6份测量问卷，有《大学生网络使用情况自编量表》、《网瘾成瘾测验》、《父母教养方式问卷》、《社会支持评定量表》、《症状白评量表》和《卡特尔16PF量表》，经过团体测试，对得到的数据加以分析，验证研究问题，进而从定量的角度探讨大学生的上网行为、网络成瘾情况、网络成瘾程度与父母教养方式、社会支持、心理健康状况和人格的关系。

It is not only the main immigratory area in each agricultural reclamation period, but also the area with a longer duration of human activity.

其间的区别仅在于史前时期人类对土地优劣的判别经过优胜劣汰过程，进入历史时期特别是晚近以来土地的优劣早已在漫长的农耕历程中得到验证。

These results suggest that splenic contraction occurs in humans as part of the diving response and splenic emptying may prolong repeated apneas.

这实验清楚的验证脾脏在哺乳类动物潜水反射中扮演重要的角色而且经过多次的闭气后就会引起脾脏收缩。

After looking up a large amount of native and foreign information, the materials used in the experiment were as follows: PTFE base, graphite filler, molybdenum disulfide filler, copper powder filler, carbon fiber and so on. The experimental method is that the formula was designed according to uniform experimental method, the relationship between formula and frictional property was found with spline function and then the representative test points were chosen from fitting curve to make verification test for optimization.

经过查阅大量国内外文献资料后确定原料为：聚四氟乙烯树脂为基体，加入石墨、二硫化钼、铜粉、碳纤维等填料；试验方法为：根据均匀试验方法设计配方，用样条函数找出配方与摩擦性能的关系，然后在拟合曲线上选取具有代表性的试验点进行验证试验，达到优化的目的；制备工艺：冷压烧结法制备固体润滑剂。

Imperative languages typically have great tool support, debuggers, profilers, refactoring editors, unit test frameworks, and soon, and large standard numeric libraries that have been perfected over decades by domain experts.

命令式语言一般拥有丰富的工具支持，调试器，模具，重构编辑，单元测试框架，很快地，以及庞大的标准数值库，并且这些数值库已经过了领域专家们超过20年的验证。

This paper analyses and proves that the restoring saturation coefficient α of one dimension extra saturation sediment discharge method and the modified coefficient K of the quasi hydrostatic settlement method are reciprocals each other.

分析论证了一维超饱和输沙法恢复饱和系数α与准静水沉降法修正系数K互为倒数；在分析影响α值变化因素的基础上，建立了计算恢复饱和系数α的数学模型；经过误差分析验证，模型的精度、可靠度均满足设计要求，可供生产设计单位使

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了