verifying

英 [ˈverɪfaɪɪŋ]

美 [ˈverɪfaɪɪŋ]

v.  核实; 查对; 核准; 证明; 证实
verify的现在分词

计算机

柯林斯词典

• VERB 核实;查证;查清
  If youverifysomething, you check that it is true by careful examination or investigation.
  1. I verified the source from which I had that information...
     我核实了我所获消息的来源。
  2. A clerk simply verifies that the payment and invoice amount match.
     职员只是核实付款和发票上的数额是否一致。
• VERB 证实;证明
  If youverifysomething, you state or confirm that it is true.
  1. The government has not verified any of those reports...
     政府还没有证实那些报告中的任何一个。
  2. I can verify that it takes about thirty seconds.
     我能证明，这大约要用30秒的时间。

英英释义

adj

• serving to support or corroborate
  1. collateral evidence
  Synonym:collateralconfirmativeconfirmingconfirmatorycorroborativecorroboratorysubstantiatingsubstantiativevalidatingvalidatoryverificatory

双语例句

• RAID-Z is constantly verifying data checksums for integrity and is able to identify blocks needing to be rebuilt.
  RAID-Z会经常检验数据校验和，以确认完整性，它还能够识别需要重新构建的块。
• This option is recommended when verifying files that may or may not be signed in a catalog.
  验证可以或不能在目录中进行签名的文件时，建议使用该选项。
• This signature is a means of verifying that the legitimate user is the author of this message.
  这种签名是验证合法用户是否是此消息的作者的一种方式。
• Further experiments on verifying technique are also discussed.
  讨论了进一步开展的核查技术实验。
• Thus each segment of code would be made responsible for maintaining and verifying the integrity of other segments.
  因此每个代码段将要负责维持和核对其他代码段的完整性。
• The results show that the improved schemes are secure without decreasing the efficiency of signing and verifying.
  结果表明，改进后的方案既能保证安全性又不会降低签名和验证性能。
• The global attractors of the coupled system is studied by verifying the condition ( C).
  作者通过验证条件（C）成立首次证明了吊桥耦合系统全局吸引子的存在性。
• Many examples of testing and verifying the correctness and the feasibility of this method are presented.
  用实例验证了该方法的正确性和可行性。
• In addition to verifying the correctness of the system under test, tests also serve as documentation.
  除了确认被测系统的正确性外，还可以将测试作为文档提供。
• Model checking is a technique for automatically verifying finite-state concurrent systems.
  模型检验是自动检验有限状态并发系统的技术。