1.
Based on the theory and methods of the partially additive category, we will proofthe soundness of the deductive rules on partial correctness for nondeterministic Drogram.
利用部分可加范畴理论及方法,我们证明了不确定程序部分正确性推理规则的合理性.
2.
The answer is only partly correct.
该答案仅部分正确。(暗指另有部分并不正确。)
3.
Now, subsection the right side with three vertical partings.
现在,小部份和三垂直的分别正确的边。
4.
Some of the attachments failed to display correctly for this message.
这封邮件的部分附件不能正确显示。
5.
Werewolves can be killed only by silver. Partially true.
狼人只能被银器杀死。一部分正确。
6.
Listen to part 2. Fill in the blanks and write the words in the spaces.
听第二部分,在空白处填上正确的词。
7.
Choose the right ending.
选出句子的正确的结尾部分。
8.
One line is drawn for you.
选出句子正确的结尾部分。
9.
The element attribute is not allowed on encoded message parts. The erroneous part is named '{0}' in message '{1}'.
编码的消息部分不能有元素属性。消息“{1}”中不正确的部分的名称是“{0}”。
10.
How is “legitimacy” different from “justice” or “correctness”?
“正当性”又是如何与“正义”和“正确”区分开来的?
11.
In addition, the rationality of the solution is analysed, and its v alidity discussed.
分析了解的合理性,讨论了解的正确性。
12.
And the analysis of theory is verified by the simulation of computer.
仿真结果验证了理论分析的正确性。
13.
The experiment result proves theory analysis.
实验结果验证了理论分析的正确性。
14.
Proving and Testing the Functional Correctness of Distributed Systems;
证明和测试分布式系统的功能正确性
15.
Thought of Dealing with the Contradictions among the People Well and Dealing with Group Incidents Well
正确处理人民内部矛盾思想与处置群体性事件
16.
The machine certificate portion of the response from the Activation backend is incorrect.
激活后端响应的计算机证书部分不正确。
17.
All parts of a verb phrase must be correctly formed.
动词短语的所有部分的形式都必须正确。
18.
Few people in this world,when it comes to it,are really selfless.
这个世界上的确只有很少部分人是真正无私的。