那就是对不可判定性的一个消极的反应，当然，我们可以容纳这个观点。
That's the negative response to undecidability, and it's of course, a view that many of us may entertain.
本文致力于相容结构的可判定性的证明并给出了一个快速的判定算法。
This paper is devoted to a proof of decidability on consistent structure and gives a rapid decision method.
证明了该模型的可判定性，并给出了判定任意一个事件是否需要审计的算法。
The decidability of the model is proven and a decidability algorithm is presented.
对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。
A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.
使用了功能合一语法对描述系统，对系统中采用的匹配算法、语法分析及可判定性分析进行了讨论。
It describes the system using the functional unification grammar and also discusses the matching algorithm, syntax analysis and decidable problem analysis.
由于计算机病毒检测的不可判定性，提出了一种基于改进的K最近邻检测方法来实现对计算机病毒的近似判别。
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.
本论文将描述逻辑应用到空间推理中，充分利用描述逻辑较强的表达和推理能力，提高空间推理的准确性和可判定性。
This thesis fully USES the expressing and reasoning ability of description logic and applies it in the spatial reasoning to increase the accuracy and decidability of the reasoning.
本论文将描述逻辑应用到空间推理中，充分利用描述逻辑较强的表达和推理能力，提高空间推理的准确性和可判定性。
This thesis fully USES the expressing and reasoning ability of description logic and applies it in the spatial reasoning to increase the accuracy and decidability of the reasoning.
应用推荐