A nonterminating input can be further constructed as a counterexample.
非终止输入可以进一步构造为反例。
软件行业会是一个反例吗？
It's not really a counterexample to the personality theory.
不能作为一个人格理论的反例。
This is the counterexample set of the two arguments I gave you.
这是一个反例,我给你们的两个论点的反例。
Is this a counterexample to the utilitarian idea of calculating?
这算是功利主义计算思路的反例吗？
Finally, a counterexample is presented to illustrate the conclusion.
最后通过一个反例对结论予以验证。
Sometimes the best way to illustrate how to do something is by counterexample.
有时候，说明如何做某事的最好方法是举反例。
Then the counterexample set then becomes if its Friday Marianne's wearing jeans.
那么反例成为了,这是星期五Marianne穿着牛仔裤。
Now, who here wants to defend cost-benefit analysis from this apparent counterexample?
现在，谁来为这个成本效益分析作辩护？
Next, a waveform derived from the counterexample is generated, and the user debugs the failure.
接下来可产生从反例衍生而来的波形并调试该失败。
We particularly proved that 2 - sensitivity does not imply 3 - sensitivity by a counterexample.
特别地，通过反例证明了2-敏感不蕴涵3 -敏感。
Now noticed if that's the way we interpret his argument, harmony works no longer as a counterexample.
注意到如果这是，我们解读他论点的方式，和声就不再一个反例了。
Finally, a counterexample is given to show that the relative normality is not relative transition.
最后给出了相对正规分离性不是相对遗传的一个反例。
As a counterexample, Brown mentions a project using three persistence solutions: Spring, EJB and Hibernate.
作为一个反例，Brown提到一个项目，其中使用了三种持久化解决方案：Spring、EJB和Hibernate。
There exists a counterexample showing that a compact topological space is not necessarily a sequentially compact space.
有反例表明一个紧致拓扑空间不一定是序列紧致的拓扑空间。
And the counterexample set is the set consisting of the premises plus the negation of the conclusion, so it's Friday Marianne is wearing jeans.
反例是包含，前提和结论的否定，所以星期五Marianne穿牛仔裤。
So the crucial point right now is that, thinking about harmony is offered as a counterexample to the generalization that invisible things can't be destroyed.
所以现在的重要问题是，和声的例子现在作为，灵魂不可毁灭，这一概括说法的反例。
Socrates never says Simmias, here's what your objection goes wrong: harmony is not really invisible or can't be destroyed, whatever it is, so we don't have a counterexample.
苏格拉底从没说过，西米亚斯，你的观点在这里有错，和声并非无形或者不可毁灭，所以我们没有了反例。
So if we understand the argument in terms of the second interpretation, it looks as invisible. It looks all the argument still go through, Simmias' counterexample fails.
所以如果我们以第二种解释，理解这个论证，灵魂是无形的，所有的论证仍然讲得通，西米亚斯的反例无效了。
Okay I gave you another test. That was one test of validity and another test I gave you was in the argument is valid if and only is it's counterexample set is inconsistent.
好，给你们另一个测试，这是有效性的测试，另一个是有效论点中，如果且仅如果这是不一致的反例。
So if what Socrates means by invisibility is the first notion: can't be seen with your eyes, then the argument is not any good, harmony is a pretty compelling counterexample.
所以如果苏格拉底说的无形，是第一个意思：，眼睛看不见，这个论证就不好，和声是个很有说服力的反例。
If he could show us, he could convince us that harmony is not really invisible, then we would no longer have a counterexample to the claim that the invisible can't be destroyed.
如果他可以说服我们，和声并非无形，那我们就没有了，灵魂不可毁灭，这一论断的反例。
More detailed researches are focused on discussing the rationality and restrictive of DF problem in this paper and the typical exemplification and counterexample are presented.
本文针对描述函数法适用于该问题的合理性及其局限性作了较为深入的分析，并给出了典型的例证和反例加以说明。
Under his termination-deciding method, a nonterminating input can be further constructed as an counterexample for the given nonterminating loop, which makes the result more complete.
在其终止性可判定理论的基础上，对于给定非终止循环构造出其非终止输入作为反例，使该结果更加完整。
Model checking probabilistic systems have been studied well these years, but counterexample generation for probabilistic system model checking has just drawn some attentions recently.
模型检测基于概率系统的反例产生问题，在最近引起人们的关注。
Then, after the introduction and analysis of algorithm ASRAI we show a counterexample of this algorithm and present a revised algorithm CHEN1 to eliminate the disadvantage of algorithm ASRAI.
然后，通过对asrai算法的介绍与分析，举出asrai算法的反例，提出增量算法1以用于克服asrai算法存在的缺点。
Then, after the introduction and analysis of algorithm ASRAI we show a counterexample of this algorithm and present a revised algorithm CHEN1 to eliminate the disadvantage of algorithm ASRAI.
然后，通过对asrai算法的介绍与分析，举出asrai算法的反例，提出增量算法1以用于克服asrai算法存在的缺点。
应用推荐