decidability
英
美
n. 可判定性
双语例句
- We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.
定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。 - The decidability of the model is proven and a decidability algorithm is presented.
证明了该模型的可判定性，并给出了判定任意一个事件是否需要审计的算法。 - The concept of algorithm is also used to define the notion of decidability.
算法的概念，也用来界定概念的决定性。 - A Definition Framework of Spatial Logic and Decidability
空间逻辑的一个定义框架及其可判定性 - Logical Structure, Decidability and Use of Hypothetical plus Disjunctive Inference
假言+选言推理的逻辑构造、判定和使用 - The decidability of system M can thus be derived from the finite model property.
这不仅可以证明M的完全性，还可证明M的有穷模型性，因此M是可判定的。 - Epistemic logic ( 4): on the Decidability of epistemic logic
认识逻辑（4）：关于认识逻辑的可判定性 - Decidability of Propositional Projection Temporal Logic
命题投影时序逻辑的可判定性 - This paper is devoted to a proof of decidability on consistent structure and gives a rapid decision method.
本文致力于相容结构的可判定性的证明并给出了一个快速的判定算法。 - The Decidability of Regular Problems for Monoids Presented by Church-Rosser Systems
Church-Rosser系统表现&么半群中正则问题的可判定性 - The Decidability and Complexity for Theories of Modules on Finitely PI Rings
有限可换主理想环上模理论可判定性及其复杂性 - In his fictions, the destiny is represented by the mysterious nature, the decidability and comeuppance, contingency and coincidence, instinct and desire.
在他的小说中，命运以神秘的大自然、遗传与因果报应、偶然与巧合、本能与欲念的形式表现出来。 - The Decidability of Proof Method in the Predicate Logic Inference
谓词逻辑推理中证明方法的判定 - On Decidability of NP Complete Problems by Polynomial Sized Circuit
关于NP完全问题的多项式线路可判定性 - Description of parallel algorithms by FP and Decidability of its systolic implementation
并行算法的FP描述及其脉动化的判定 - Based on the scheduling decidability conditions, we propose a heterogeneous multiprocessor multi-frame real-time task scheduling algorithm based on genetic algorithm.
以此为基础利用调度可判定性条件，提出了基于遗传算法的异构多处理器多帧实时任务调度算法。 - 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模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。