正确性

Spectral resolution and spatial resolution of the high temporal resolution image overlays scope with valid the wave band number etc. characteristic, the part caused the extraction of icing zone information in unilateral and judge way to the factitiousness; researchers of the past hangs a neglect of sand in the sea , also influencing an information to withdraw of the accuracy and the integrity.

高时间分辨率影像的空间分辨率、波段的光谱覆盖范围和有效波段数目等特征，部分导致了渤海结冰范围信息提取的片面性和对人为判读的依赖；前人方法对海区悬沙的忽视，也影响了信息提取的正确性和完整性。

The best solution should be finding an effective method and technique to preserve digital objects in order to maintain the factuality and accuracy of digital objects.

解决之道应是找出有效的数位物件保存方法与技术，得以维持数位物件的真实性与正确性。

There are scientific rules for doing science validly {e.g., falsification.

有具体的规则来证明科学的正确性，比如作假等。

For the computation of the minimal covers of a family of sets, we propose several theorems to describe the principle, and develop corresponding algorithm elaborately.

而对于族集最小覆盖集的计算问题，本文则提出了若干个定理刻画了其计算方法的原理并予以正确性证明，并精心设计了相应的算法。

This is another novelty of this method. For a family of parameters, the analytical solutions of parabolic PDEs are given using the new method in this paper, the result schemes are posed.

给出了一类抛物型偏微分方程的解析解，并给出了其与差分数值解法所得到的解的比较，比较曲线表明了这种新解法的正确性。

Design and implementation of HIT-501 fault-tolerant computer.

协议的描述基于严格的数学模型并通过证明说明了COMMON协议的正确性和有效性。

Service test proves that HIT-501 fault-tolerant computer satisfies the requirements of high performance, high reliability, and high availability, and verifies the accuracy and utility of the redundancy management technique for distributed fault tolerant computer system.

HIT-501容错计算机系统经实际运行测试，证明了它满足航天容错计算机的各项要求，同时也验证了本文所提出的分布式容错计算机系统冗余管理技术的正确性和实用性。

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

Experimental results show the feasibility of the proposed method.

实验证明了所提方法的可行性和正确性。

The experiment results verify the feasibility of the control strategy that is proposed in this paper.

实验结果证明了本文提出的控制策略的正确性和有效性。

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！