- 双语例句 更多例句
1、
而且，相比已有的出具证明编译器，该编译器可以处理更加复杂的程序性质，例如值相关的部分正确性。
互联网摘选
2、
本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程（CSP），提出了一组证明规则，以验证CSP程序的部分正确性。
互联网摘选
3、
形式化证明把程序完全正确性问题归结为部分正确性和终止性的证明。
互联网摘选
4、
Burstall/Darlington提出的展开/叠卷方法是程序转换中简单而有效的一种方法，但该方法仅保持函数的部分正确性，而可能失去某些值上的终止性。
互联网摘选
5、
实验结果表明，经过算法处理的数据可以快速诊断出局部遮阴的光伏电池位置，证明了本文的故障检测算法的正确性。
互联网摘选
6、
在对复杂数据的处理过程中，“部分重复性”理论通过建立“中心函数”、“浮动域”和“正确度”指标，提供了一种分类优劣的评价标准。
互联网摘选
- 相关词组
- partial correlation偏[净，部分]相关;
- Partial Mission Capable可执行部分任务
- partial amnesia部分性遗忘;
- partial birth不全产;
- partial albinism局部白化病，白痣;
- partial conjugation局部接合;
- partial remission部分缓解;
- partial cultivation局部垦植;
- partial ordering部分顺序;
- partial journey部分行程;
- partial agglutinin[医] 副凝集素;
- partial antigen不完全抗原;
- partial differentiation偏微分法，偏导法;
- partial exactness部分正确
- political correctnessn.政治正确性;
- correctness factor校正系数;
- partial confounding部分混区;
- partial chorea部分舞蹈病;
- partial bulkhead局部舱壁;
- program correctness程序正确性;
- 今日热词
- 热门搜索
- overcome v.克服;战胜;受到…的极大影响;被熏倒;
- oxygen n.氧（气）;
- feast n.盛会;宴会;宗教节日;使人欢快的事物（或活动）;vi.大吃大喝，享用美食;参加宴会;
- simplicity n.简单，朴素;质朴，天真;卑贱;无知;
- hydrogen n.<化>氢;氢气
- chopsticks n.筷子;筷子( chopstick的名词复数 );
- westlink 西遇；西域；西部公路
- simply adv.仅仅;简朴地;
- reduction n.减少;降低;折扣;还原;缩图;
- vote n.（选）票;投票（总数），表决，选举;投票/选举权;v.投票，表决，选举;公认;提议;
- Russia n.(1917年以前的)俄罗斯帝国;现俄罗斯;俄罗斯联邦;
- cheat v.作弊;欺骗;感情不忠;n.作弊者;欺骗手段;作弊软件;
