查询词典 decidability

The decidability of the model is proven and a decidability algorithm is presented.

证明了该模型的可判定性，并给出了判定任意一个事件是否需要审计的算法。

This project has focused on the decidability problem and the axiomatization problem for LTLC, and the formal verification methods for real-time systems.

本项目研究了LTLC的可判定性、公理化及实时系统的形式验证等相关问题： 1。

That field which is concerned with decidability and solvability of problems is referred to as computability theory or theory of computation, although some computer scientists advocate the inclusion of the current field of algorithms as part of the discipline.

我们把问题的可判定性和可解性的研究领域称为可计算性理论或者计算理论，虽然一些计算机科学家主张把现代算法领域包括到这门学科当中去。

The concept of algorithm is also used to define the notion of decidability.

算法的概念，也用来界定概念的决定性。

Finally, a decidability result about LTLC is given.

此结果可用于有穷状态反应系统的自动验证。

Finding PCPs in this project will help define "decidability criteria for bounded PCP classes."

在该项目中寻找PCP将有助于定义："约束PCP的可判定标准"。

It is intended to be used in situations where very high expressiveness is more important than being able to guarantee the decidability or computational completeness of the language.

推理机采用的是Racer，下载的是RacerPro-1-9-0-Setup，四月底就不为学校及科研单位提高免费的版本了，其他的要收钱使用了。

We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.

定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。

A formal semantics is given. We prove 79's soundness, consistency, completeness, and decidability with respect to the semantics.

本文和给出严格形式语义的基础上，证明了该系统具有可靠性、协调性、完全性和可判定性。

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模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。

When I was 15, I said "I love you."

20岁的时候，我说我爱你。

Nebraska does not require you to use a state form to calculate state income tax withholding.

内布拉斯加州并不要求您使用一个国家的形式来计算国家所得税扣税。