当前位置:乐沙网 > 汉英词典 > 部分正确性证明的英语翻译,近义词、反义词、例句

部分正确性证明英文解释翻译、部分正确性证明的近义词、反义词、例句

关键字:

英语翻译:

【计】 partial correctness proof

分词翻译:

部分的英语翻译:

part; section; portion; proportion; sect; segment; share
【计】 division; element
【医】 binary division; fraction; mero-; pars; part; Partes; portio; portiones

正确的英语翻译:

accuracy; exactness; justness; nicety; preciseness; punctuality
【经】 accuracy

证明的英语翻译:

prove; certify; argue; demonstrate; justify; manifest; testify; vouch
【计】 proofness; proving
【化】 proofing
【医】 certificate; certify; proof
【经】 attest; attestation; authenticated; authentication; certification
certify; testimony

网络扩展解释

部分正确性证明

“部分正确性证明”是一种用于证明计算机程序部分正确性的方法。它在软件开发中得到了广泛的应用。

中文拼音

bù fèn zhèng què xìng zhèng míng

英语解释翻译

Partial Correctness Proof

英文读音

/ˈpɑːʃəl kəˈrektˌnəs pruːf/

英文的用法(中文解释)

“Partial Correctness Proof”常被用于证明计算机程序的部分正确性,即程序的执行满足前置条件时,程序能够产生正确的输出结果。

英文例句(包含中文解释)

For example, a partial correctness proof might show that if x is a prime number, then the program correctly outputs “x is prime”. (例如,部分正确性证明可以证明当x是质数时,该程序会输出“x是质数”,即证明程序在这种情况下是正确的。)

英文近义词(包含中文解释)

Correctness Proof:正确性证明
Formal Verification:形式化验证
Program Verification:程序验证

英文反义词(包含中文解释)

Incorrectness Proof:不正确性证明
Informal Verification:非形式化验证
Program Testing:程序测试

英文单词常用度

根据Google Ngram Viewer的统计数据,自1990年以来,“Partial Correctness Proof”和“Correctness Proof”这两个词的使用频率都呈现上升趋势。

汉英词典 请记住链接:https://hanying.yuesha.com/n6qolqU=.html

展开全部内容
更多工具: