正确性

White-box test is a kind of important method to verity correctness of program.

白盒测试是检验程序正确性的重要方法。

At last,we summarise the structure and design characteristics of the filter adapting to the current website in conjunction with the specific application of the vertical search engine in oil field,and validate the correctness and applicability of the method.

最后结合在石油领域垂直搜索引中的具体应用，总结了过滤器适应于当前网页的结构和设计的特点，验证了方法的正确性和适用性，大大提高了垂直搜索引擎的效率和准确率。

One is the deflection of the vertical along altimetric track profiles with inverse Vening-Meinesz formula and the other is least square collection with ship gravity.

为了验证结果的正确性，将计算的重力异常与船测重力异常和美国SIO的重力异常进行了比较，差值的RMS分别是9.3mGal和15.03mGal。

In this model, a parameterized method has been employed to decrease or eliminate vertical deflection and vertical refraction errors.4 For the long baselines of Crustal Movement Observation Network of China, using the GPS satellites orbits and stations positioning analysis software GAMIT opened up by MIT to do the single day GPS observation data processing, a synthetic solution model, which is called "the synthetic solution model of baseline vectors", has been built up with several single day baseline vectors calculated by the GAMIT software, to compute the three dimension movement velocities of sites.

对于长基线的GPS地壳变形监测网，采用MIT开发研制的精密GPS定轨定位软件GAMIT进行单天GPS观测数据的处理，提出了利用多期单天的GAMIT解算出的基线向量进行综合解算的模型："基线向量综合解算模型"，用以计算地壳监测站点的漂移速度，并通过实例验证了该计算模型的正确性和可靠性。

According to the principle of analytical subsequent relative orientation, the formula of vertical parallax on corresponding point is deduced when stereo model is reconstructed by using the elements of exterior orientation of images. The method is verified by simulative images and tested by two kinds of different scale images taken from Xinjiang and Qianxi, China.

从连续法相对定向原理出发，推导了直接由像片外方位元素恢复立体模型时模型点上下视差的计算公式，用模拟数据验证了计算方法的正确性，并对两组不同摄影比例尺的实际航摄像片进行了试验。

During example analysis process, theoretical assembly model of microminiaturized circular shaft and sleeve is established, and stress-strain relationship with different parameters is deduced by virtual displacement principle; two finite element assembly models of D shaped shaft and gear, circular shaft and sleeve are established.

在实例分析过程中，建立了微小型圆轴和套装配的理论模型，通过虚位移原理得出装配过程中不同参数值下的应力应变关系；建立了圆轴与套装配、D型轴与齿轮装配的有限元模型，验证了数字化微装配中虚拟检测技术的正确性、必要性和重要性。

Held as a votive not in vain,for the value and veracity of such...

对于复仇，诚心祷告并不是徒劳的，复仇的价值和正确性

The geology research of carbonate reservoirs in Ordovician of Tahe oilfield showed that many large dissolved vugs and fractures were developed. The spread of the reservoir take on a very heterogeneous state. And the typical fractured-vuggy reservoirs was formed. According to the combination of the various spaces, the formation was divided into vuggy formation, fractured-vuggy formation and fractured formation. The research showed that development of the vug is relevant to the its position on the structure, the fractures, the water surface and the weathering surface. Multi-phase charge and recharge of the oil in the reservoirs resulted in the complexity of the fluid distribution. So the"Bottle Model"was brought forward to explain the movement of the water-oil contact. The special storage space and the complex fluid distribution lead to the unstability of the production and the complexity of the water cut. In order to explain the characteristic of the fracture-vug unit was brought forward and the basic principle and method of the partition of the fracture-vug unit was formed. The classification and evaluation of the units were performed according the reserve and energy. Based on the research of geology characteristic and the fluid flow in the reservoir the comprehensive numerical simulation plan of the fractured-vuggy reservoirs were established. Through the selection of the simulation unit, fluid flow type and parameter equivalent the triple media reservoir simulation model was established. Considering the practical application the model was resolved by the DKR decomposition conjugate grads method. Based on the fine reservoir description of Dsitrict IV of the Tahe oilfield the various space type were classified and combined together. The geology model of Unit S48 was constructed. Two typical single well model was established according to the geology and the dynamic phenomena. Finally the single well model and the Unit S48 were simulated by the triple media reservoir simulator. Via the local grid refinement and coarsening in the simulation good matchs were gained. Based on the results of the simulation the reserve distribution, percent of reserve produced in various space and the natural energy were analyzed. The fluid was storaged in the fractures and vugs mostly and more than 90% the produced oil came from the systems. The energy belonged to the active one. The results of simulation accorded with the fact and showed the validity and practicability the research and the simulator.

塔河油田奥陶系碳酸盐岩油藏的地质研究表明，其储层中发育着很多大型的溶蚀洞、缝，储层的平面展布呈现出极度的非均质性，形成了典型的缝洞型碳酸盐岩油藏，根据各种孔隙介质在储层中的组合，将储层分为了溶洞型、裂缝-溶洞型和裂缝型三类；研究表明溶洞储层的发育和构造位置、裂缝的发育、潜水面和风化面的位置等因素有关；多期充注的油气成藏模式导致了流体复杂的赋存状态，由此提出了所谓的"瓶子模型"，解释生产过程中油水界面的变化；特殊的储集空间类型和流体分布特征导致油田在开发过程中表现出很大的不确定性和含水变化的复杂性，为了合理的解释油气田开发过程中的动态特征，提出了"缝洞单元"的概念，并制定了"缝洞单元"纵横向划分的基本原则和依据及划分方法，并对"缝洞单元"进行了分类和评价；基于地质特征和流体在其中流动规律的研究，提出了缝洞型碳酸盐岩油藏的数值模拟综合解决方案，通过模拟单元的选择、流动类型和参数的等效，建立了三重介质油藏三维三相数值模拟模型，采用不完全LU分解预处理共轭梯度法进行了求解；在塔河油田4区精细油藏描述的基础上，将各种类型的孔隙空间进行了归类组合，建立了S48单元的地质模型；通过对油井生产动态进行分析研究，建立了两类和油井地质、生产动态相对应的单井模型；最后应用三重介质油藏数值模拟软件对单井模型和S48单元进行了数值模拟，通过局部加密和粗化等技术模拟流体流动规律，取得了很好的拟合效果；结合数值模拟结果，分析了各种介质中的储量分布、储量产出的百分比以及地层的能量，认为塔河油田缝洞型油藏中流体绝大多数储集于缝洞系统之中，所产出流体90%以上也来自于缝洞系统，其底水能量属于较充足的类型；模拟结果和油田实际情况符合较好，说明了地质研究和油藏数值模拟研究的正确性。

This paper starts with the locus of barycentre, separates portrait and landscape of biped walking|chair robot by restrict z|coordinates of barycentre, and plan the gait based on the locus of barycentre, finally calculate the torque of joints of the supported leg with a simplified model to evaluate the correctness and rationality of gait planning.

从重心的轨迹入手，通过约束重心z向坐标实现载人两足步行机器人纵向与横向的分离，进而以重心的轨迹为基础，确定了机器人行走姿态，并通过简化模型计算支撑脚关节扭矩来评估步态规划的正确性与合理性。

We have developed a new method using existing hardware mechanisms such as page protection to achieve asynchronous detection of watchpoint modification and improve the overall performance.

针对此类问题，我们提出利用现有硬体所提供之记忆体保护机制，来实做非同步式的检查。也就是只有当该监控点有被实际写入修改，我们才需要检查其修改之正确性。这样可以去除不必要的主动检查，使效能大幅提升。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失