正确性

Simulation and experiment results show that topology of this improved series APF is correct and reliable.

仿真和实验结果证明了所提出拓扑的正确性和可靠性。

The classification of land registration system is the registration of deed and registration of title, which includes the Torrens system.

土地登记制度最通常的分类就是权利登记制和契约登记制，法律上讲，两者最基本的区别就是"契约登记制关注法律事实的登记，而权利登记制关注事实的法律后果的登记"；土地登记并非一个单纯的私法或公法行为，而是具有双重性质的，即土地登记兼具私法行为与公法行为的双重性质；土地登记制度不仅有平等主体的私权关系，而且有纵向的行政关系，其中贯穿着个人目标与国家目标的双重价值；土地登记的效力包括：决定权利变动、权利正确性推定、善意保护、监督管理和警示效力；一个完整统一的土地登记制度是富有效益的，包括个人效益、公共管理效益、社会效益和经济效益。

A high breakdown contaminated robust estimation model is applied to the transformation of coordinates in GPS network from WGS 84 system to local plane system.

采用高崩溃污染率抗差估计方法，将GPS网由WGS－84坐标系下的坐标转换成局部坐标系下的坐标，从而不仅能识别不稳定的基准点，而且能对其形变的大小作出近于实际的估计，保证了转换后GPS网的精度及转换坐标的正确性。当基准点中没有粗差时，与最小二乘法的结果一致。最后，给出了应用实

The results provide a theoretical guidance for the definition of the model transformation rules and validation of mapping relations of the model.

该研究可用于指导模型转换规则的定义和模型映射关系的正确性的验证。

The effect of the transient current on protection algorithm is also discussed.

大量ATP仿真验证了理论分析的正确性，并讨论了不同暂态情况下保护算法可能受到的影响。

This mathematical model can be used with any voltage and current PWM mode, and can be used in analysis of transient in general and false state.

通过对三相永磁同步电动机的实验研究，证实了该模型的正确性和具有很高的精度。

Finally, some algorithms that can make a quantitative analysis of state transition graph so as to get performance indices of operating systems are given and the correctness is proven.

最后提出了一些可对状态迁移图进行量化分析从而获得操作系统各项性能指标的算法，并进行了正确性证明。

Then, temporal logic formula is used to express the property requirements the data flow must meet before the verification, an algorithm transforming the UML Statecharts model into reachable state transition graph is presented.

然后，采用时序逻辑公式表示数据流所需满足的性质，同时给出了将UML Statechart图模型转化为可达状态迁移图的算法，最后通过模型检测算法验证数据流的正确性。

First, a new model, TSTG (Timed Symbolic Transition Graph) is presented along with its semantics theory. An algorithm deciding timed bisimulation is developed based upon the idea of symbolic bisimulations. Model checking algorithms has played an very important role in verifying systems.

在分析与验证算法的设计方面，在新的计算模型基础上，我们分析了实时传值进程间各种不同互模拟的特点以及判定方法；尤其针对时间互模拟，根据符号互模拟的思想，本文给出了一个时间符号迁移图上的判定算法并证明了算法的正确性。

This article used the car license pictures which photographed .under each kind of actual transportation environment for the above algorithm to carry on the experiment, The results of experiments show that the methods that we designed on the one hand enhanced car license processing accuracy, on the other hand reduced the car license process time in the certain degree, therefore even more suited applies to the actual LPRS.

本文使用在各种实际交通环境下拍摄的车牌图片对上述算法进行了试验，试验结果表明本文设计的车牌处理算法一方面提高的车牌处理的正确性，另一方面在一定程度上减少了车牌处理时间，因此更加适合应用于实际的车牌识别系统中。

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.

也许他们将在壶穴里消失