好单词

decidability

美：[dɪ´saɪdəblɪtɪ]   英：[dɪ´saɪdəblɪtɪ]

中文翻译

可决定性，可判定性

网络解释

可判断性; 可决定性; 决定性

英文短语

  • 1.decidability problem [数]可判定问题
  • 2.semi-decidability 半可决策性
  • 3.computability decidability 可计算性
  • 4.Decidability and undecidability 可判定下和不可判定性
  • 5.decidability of boolean algebra 布尔代数的可判定性
  • 6.decidability of arithmetic without multiplication 无乘法算术的可判定性

    • 英文例句

  • 1.The concept of algorithm is also used to define the notion of decidability.算法的概念，也用来界定概念的决定性。
  • 2.The decidability of the model is proven and a decidability algorithm is presented.证明了该模型的可判定性，并给出了判定任意一个事件是否需要审计的算法。
  • 3.We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。
  • 4.This paper is devoted to a proof of decidability on consistent structure and gives a rapid decision method.本文致力于相容结构的可判定性的证明并给出了一个快速的判定算法。
  • 5.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模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。


    • 其他单词翻译

    英文单词 中文含义
    ADPM

    [计] 自动数据处理机

    网络解释

    全权委托投资组合管理
    ADIU

    abbr. Armament and Disarmament Information Unit, Sussex University 苏塞克斯大学军备与裁军情报小组
    ADMIS

    [计] 自动数据管理信息系统

    网络解释

    亚达盟环球期货; 亚达盟环球期货有限公司; 电邮
    ADPP

    [计] 自动数据处理程序

    网络解释

    急性有机磷农药中毒; 磷酸酯酰胺
    ADIZ

    abbr.防空识别区（AirDefenceIdentificationZone）

    网络解释

    防空识别区(Air Defense Identification Zone); 识别区(Air Defence Identification Zone); 防空辨识区
    ADMS

    abbr.空中诱惑导弹（airdecoymissile）；防空导弹（airdefensemissile）；原子爆炸药包

    网络解释

    Audiofile Digital Master Series; 航空公司数据管理系统(Airline Data Management System)
    ADPSC

    =Automatic Data Processing Service Center 自动数据处理服务中心

    网络解释

    自动数据处理服务中心(Automatic Data Processing Service Center)
    ADNET

    abbr.管理数据网络（administrationdatanetwork）

    网络解释

    娜多娜; 圆形挂镜; 镜子
    ADR

    abbr. address 地址；address (Swedish=address) （瑞典语）地址；addresse (Dano-Norwegian=address) （丹麦-挪威语）地址；aircraft direction room 飞机指挥室

    网络解释

    美国存托凭证(American Depository Receipt); 药品不良反应(Adverse Drug Reaction); 药物不良反应
    ADJ

    abbr. adjust 调整；adjacent 相邻的；adjustable 可调整的；adjusted 调节过的

    网络解释

    形容词(adjective); 调整(adjust); 可调(Adjustable)
    ADOD

    abbr. arthrodentoosteodysplasia 关节齿骨发育不良；Assistant Director, Operations Division 军事行动部门副主任
    ADRA

    n.（Adra）人名；（阿拉伯）阿德拉

    网络解释

    阿德拉; Active Directory Recovery Agent; 阿德腊
    ADK

    abbr. adenylate kinase 腺苷酸激酶

    网络解释

    配件开发工具包(Accessory Development Kit); 爱得康(adkchina.com); 旭通广告
    ADOL

    abbr. adolescence 青春期

    网络解释

    亚特鲁; 亚特尔; 红发传奇冒险家亚特尔
    ADRC

    abbr.自动数据率变换器（automaticdigitalrecordingandcontrol）

    网络解释

    自抗扰控制器(Active disturbance rejection controller); 自抗扰控制(Active Disturbance Rejection control); 自抗扰控制技术(Active Disturbances Rejection Controller)
    ADL

    abbr. Apollo Documentation List 〈美〉阿波罗文献目录

    网络解释

    日常生活活动能力(activities of daily living); 日常生活能力; 日常生活能力量表
    ADOS

    abbr.高级软磁盘操作系统（AdvancedDisketteOperatingSystem）
    ADRES

    abbr. army data retrieval system 陆军数据检索系统；automatic dynamic range expansion system 自动动态范围扩展系统
    ADLM

    [计] 财务数据表格管理

    网络解释

    应用数据生命周期管理; 运动能力; 自回归分布滞后模型(autoregressive distributed lag model)
    ADOW

    [计]= Automatic Dial Order Wire,自动拨号传号线