The concept of algorithm is also used to define the notion of decidability.
算法的概念，也用来界定概念的决定性。
The decidability of the model is proven and a decidability algorithm is presented.
证明了该模型的可判定性，并给出了判定任意一个事件是否需要审计的算法。
We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.
定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。
This paper is devoted to a proof of decidability on consistent structure and gives a rapid decision method.
本文致力于相容结构的可判定性的证明并给出了一个快速的判定算法。
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.
对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。
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.
本论文将描述逻辑应用到空间推理中，充分利用描述逻辑较强的表达和推理能力，提高空间推理的准确性和可判定性。
应用推荐