但是，在利用云模型进行隶属概念的判定的算法中，不论对象是否明确属于某个概念，一律进行不确定性判定，过分地强调了模糊性和随机性。
But, in the algorithm to determine membership conception by making use of cloud mode, all objects would be determined indefinitely, despite that they belongs to certain concept ex.
对于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.
证明了该模型的可判定性，并给出了判定任意一个事件是否需要审计的算法。
The decidability of the model is proven and a decidability algorithm is presented.
应用推荐