decidability的意思_decidability的中文翻译|音标|读音|用法|例句

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

其他单词翻译

英文单词	中文含义
S-aminoethylcysteine	[化] S-氨乙基半胱氨酸网络解释氨基乙基半胱氨酸
SAIC	abbr. State Administration for Industry and Commerce 〈中国>国家工商行政管理局；Shanghai Aviation Industry Corporation <中国>上海航空工业公司；Science Applications International Corp. <美国>科学应用国际公司；Shanghai Automatic Instrument Corporation <中国〉上海自动仪表公司网络解释上汽集团(Shanghai Automotive Industry Corporation); 上海汽车集团股份有限公司(Shanghai Automotive Industry Corp.); 国家工商行政管理总局(State Administration for Industry and Commerce)
SAICAR	【化】5-氨基-4-琥珀酸甲酰胺咪唑核糖核苷酸
SANCAR	abbr. South African National Council for Antarctic Research 南非国家南极研究委员会
SAIM	abbr. South African Institute of Management 南非管理学会网络解释暹罗红; 萨列哈尔德; 暹逻
SANDT	abbr. School of Applied Non-Destructive Testing 应用非破坏性的测试学院网络解释陈素
SATU	abbr. SARS diagnosis and treatment unit 非典型肺炎诊断和治疗病房；Singapore Air Transport Union 新加坡空运联盟；South African Typographical Union 南非印刷协会网络解释暨南亚大学校长论坛; 一; 萨杜
SAIRS	abbr. standard advanced infrared sensor 标准高级红外传感器
SANTA	〈美〉圣诞老人网络解释圣诞老公公; 圣塔; 圣诞白叟
SCC	abbr.单路调节器（single-channelcontroller）；特殊条款及文件（specificclausesandconditions）；卫星控制中心（satellitecontrolcenter）；安全控制中心（SecurityControlCenter）；顺序控制计数器（SequenceControlCounter）网络解释鳞状细胞癌(squamous cell carcinoma); 应力腐蚀开裂(stress corrosion cracking); 鳞状上皮细胞癌抗原
SATUR	[医][=saturate]饱和网络解释饱和; 足够的; 周六
SAIS	n.（Sais）人名；（德）扎伊斯网络解释高级国际研究学院(School of Advanced International Studies); 塞易斯; 国际问题研究院
SCER	[医][=sister chromatid exchange rate]姐妹染色体互换率
SAQ	[医][=short arc quadriceps]短弧状四头肌
SCIS	[医][=Spinal Cord Injury Service]脊髓损伤服务机构
SAXL	abbr. short-arc xenon lamp 短弧氙灯网络解释径向应力; 轴向应力
SALINET	abbr.卫星图书情报网（satellitelibraryinforma-tionnetwork）网络解释卫星图书情报网络
SCET	abbr. Scottish Council for Educational Technology 苏格兰教育技术委员会
SAR	abbr. safety 安全；seasonal allergic rhinitis 季节过敏性鼻炎；sarcosinemia 肌氨酸血症；staphylococcal accessory regulator 葡萄球菌附属调节器
SCLC	abbr.南方基督教领袖协会（SouthernChristianLeadershipConference）；小细胞肺癌（smallcelllungcancer）网络解释小细胞肺癌(small cell lung cancer); 肺小细胞癌; 空间电荷限制电流(space charge limited current)