查询词典 undecidable

Because the simultaneous stabilization of three or more linear systems is rationally undecidable, the genetic algorithms are used.

由于已经证明对于多个控制对象的同时镇定问题是NP难问题，因此采用遗传算法来进行控制器的设计。

The latter,firstlyfound by Church,was the first undecidable result in mathematics.

这是数学中发现的第一个不可判定结果。

If As is deterministic, the problem can be solved in PSPACE, however, if As is nondeterministic, the problem is undecidable.

若A_S是确定的时间自动机，此问题是PSPACE完全的，然而，若A_S是非确定的，则此问题是不可判定的。

Because precise determination of a computer virus is undecidable,a method based on improved K-nearest neighbor to detect computer virus approximately is presented in this paper.

由于计算机病毒检测的不可判定性，提出了一种基于改进的K最近邻检测方法来实现对计算机病毒的近似判别。

Because precise determination of a virus by its appearance is undecidable,a K-nearest neighbor Algorithm based on sample learning to detect computer virus approximately is presented in this paper.

因为准确检测计算机病毒是不可判定的，故该文提出了一种基于实例学习的k-最近邻算法来实现对计算机病毒的近似检测。

Answering this question correctly for any arbitrary program is known to be an undecidable problem.

还没有方法能从理论上得到证明。

Proofs the undecidable problem via constructing a instance of PCP problem with three concurrent tasks.

现有的证明[1]通过构造三个并发任务的PCP问题实例，证明过程间并发程序分析是一个不可判定问题。

But it is undecidable that he is very fond of the endding song of play. Every time when one chapter end, the song was singing . No matter where he is , what is he doing , Only hearing the music, he must run quickly and stand front of the TV screen . Concentrate in enjoying the song.

但是，他不知为何对该剧的片尾曲却犹为喜欢，每每一集播完，当歌声响起时，他无论在玩什么，无论在那里，他只要一听见，必定会急急脚跑到电视机前，听这首歌。

The property S ≈ C being undecidable in general, validators are necessarily incomplete and should reply false if they cannot establish S ≈ C.

通常S≈ C性质是不可判定的，因此验证器必定是不完备的，在无法得到S≈ C时它应该回答&false&。

It is argued that this problem can be solved using linear matrix inequality although it has been proved that the simultaneous stabilizability of three linear systems is rationally undecidable.

虽然三对象同时镇定问题被证明不是有理可解，然而本文认为基于线性矩阵不等式可解此问题，并给出了直接传输部分相等时同时镇定问题的解。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。