正确性

In this paper, privacy-preserving point-segment cross product protocol is firstly presented under the semi-honest model and its security and correctness are also discussed.

对此提出了半诚实模型下保护私有信息的点线叉积计算协议，讨论和分析了其安全性与正确性，并且以保护私有信息的线段相交判定为例说明了其用途。

To formalize this algorithm,crosscutting contract calculus and a set of contract elaboration rules are presented.

为了形式化这个算法，提出Crosscutting Contract演算和一组契约求解规则，并通过定义和证明契约完备性来保证契约求解过程的正确性。

By analyzing crossway traffic rules and characteristics,the paper puts forward a design of traffic light control system with VHDL and finite state machine .

以可编程逻辑器件为核心，应用VDHL语言和有限状态机的方法设计交通信号灯控制系统，在MAX+PLUS II环境下进行了仿真实验，结果显示该设计符合设计要求，通过实验，验证了设计的正确性。

The fault detection behaviors and sufficient conditions based on CRS are discussed.

通过CSTR平台上的仿真，验证了本章结论的正确性。

Experimental results show that the measured radiance curve is consistent with the theory curve in the interested wave band, and the measurement method is proved.

分析计算表明：计算出的感兴趣波段的积分辐亮度值和理论曲线相比较，取得了良好的一致性，间接验证了该方法的正确性。

The experiment results indicated, the results of the position of the cylinder in the high-speed steel bar cutter and the results get by simulation were same, that approved themathematical model was correct and the model machine could put into operation.

实验结果表明，高速钢筋切断机的运动规律与仿真所获得的规律一致，证明了系统数学模型的正确性及样机投入生产的可行性。

Moreover the cyclic redundancy check algorithm is used for the data protection.

最后，给出了高强度聚焦超声手术治疗时所需的控制参数，和数据调用的实现方法，以及用于数据保护的循环冗余校验算法；随后介绍了16阵元相控阵换能器的声场实验装置和实验结果，并与理论仿真结果进行比较分析，验证了前文提出的超声声场计算综合方法的正确性和可行性。

Furthermore, a Maple program is designed to verify the validity of the autocorrelation.(2). Based on Whiteman\'s generalized cyclotomy, new binary generalized cyclotomic sequences of order 2~k and length pq are constructed.

构造了一类平衡的新的六次剩余序列，分别利用多项式分解理论和迹函数表示确定了该类序列的线性复杂度和极小多项式，给出了序列的自相关函数值并编制Maple程序验证该结果的正确性，讨论了序列的稳定性。

Course of the largest span cylindrical shell in Asia. It is proved to be effective and applicable.

最大跨柱面网壳的施工中并取得了圆满的成功，证明了这项新技术的正确性和实用性。

The test results validated that the design principle of MR damper, the deduced rheological equation and the calculating equation of damping force are correct.

测试结果证实了本文所提出的磁流变阻尼器的设计原理、推导的流变学方程和阻尼力计算公式的正确性。

I am accused of being overreligious," she said in her quiet, frank manner,"but that does not prevent me thinking the children very cruel who obstinately commit such suicide.""

客人们在卡罗利娜·埃凯家里，举止就文雅一些，因为卡罗利娜的母亲治家很严厉。

Designed by French fashion house Herm è s, this elegant uniform was manufactured in our home, Hong Kong, and was the first without a hat.

由著名品牌 Herm è s 设计，这件高贵的制服是香港本土制造，是我们第一套不配帽子的制服。