1) probabilistically checkable proof
概率可验证明
2) probability proof
概率证明
3) probabilistic audit
概率验证方案
1.
In this paper, a probabilistic audit scheme is presented to determine whether it is by on-line or by off-line that the payments are verified in an anonymous divisible e-cash system to reduce the loss caused by users double-spending.
给出了一种概率验证方案，以决定匿名可分电子现金系统在支付时采用联机验证还是脱机验证，从而减少脱机电子现金系统由于用户的重复支付而产生的损失额。
4) test for provability
可证明的检验
5) probability of survival
幸存概率，试验通过概率;可靠概率
6) verification
[英][,verifi'keiʃən] [美][,vɛrɪfɪ'keʃən]
证明验证
补充资料：比啶斯的明 ,溴比斯的明,溴吡斯的明,美斯地浓,溴吡啶斯的明,吡斯的明
药物名称：溴比斯的明
英文名：Pyridostigmine
别名： 比啶斯的明 ,溴比斯的明,溴吡斯的明,美斯地浓,溴吡啶斯的明,吡斯的明
外文名：Pyridostigmine,Mestinon
适应症： 用于重症肌无力及术后腹气胀和尿潴留。本品可与新斯的明交替使用。
用量用法： 口服：成人６０ｍｇ／次，１日３次。 静注:10-20mg,常与阿托品同用.
注意事项：
毒性较小，用量过大，可出现毒蕈碱样副作用，可用阿托品对抗。对溴过敏的患者，可出现皮疹。肠梗阻及尿道梗阻患者忌用。支气管哮喘患者慎用。
规格： 片剂：每片６0ｍｇ。针剂:1mg/1ml, 5mg/1ml.
类别：拟胆碱药、抗胆碱酯酶药
英文名：Pyridostigmine
别名： 比啶斯的明 ,溴比斯的明,溴吡斯的明,美斯地浓,溴吡啶斯的明,吡斯的明
外文名：Pyridostigmine,Mestinon
适应症： 用于重症肌无力及术后腹气胀和尿潴留。本品可与新斯的明交替使用。
用量用法： 口服：成人６０ｍｇ／次，１日３次。 静注:10-20mg,常与阿托品同用.
注意事项：
毒性较小，用量过大，可出现毒蕈碱样副作用，可用阿托品对抗。对溴过敏的患者，可出现皮疹。肠梗阻及尿道梗阻患者忌用。支气管哮喘患者慎用。
规格： 片剂：每片６0ｍｇ。针剂:1mg/1ml, 5mg/1ml.
类别：拟胆碱药、抗胆碱酯酶药
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条