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

双语例句

• Model checking is a technique for automatically verifying finite-state concurrent systems.
  模型检验是自动检验有限状态并发系统的技术。
• It provides a quick and easy way of verifying that a transaction exists when you invoke a particular method.
  它提供了一种简单的方法，用于验证当您调用特定的方法时某个事务是否存在。
• Section 3 and 4 show experimental studies for verifying the proposed model.
  第3节和第4节对提出的模型进行了实验验证。
• The results of model calculation are consistent with the experimental results, verifying the correctness of the modeling.
  模型计算与实验结果的一致性验证了建模的正确性。
• Many examples of testing and verifying the correctness and the feasibility of this method are presented.
  用实例验证了该方法的正确性和可行性。
• Is there an adequate and formal system for receiving/ verifying tools and equipment?
  是否有一个正式的充分有效的体系来接收/确认工具和设备？
• The validity of the proposed method was demonstrated by theoretical analyzing and verifying experiment on the rotor system.
  通过对转子系统实测信号的分析诊断，验证理论方法的有效性。
• RAID-Z is constantly verifying data checksums for integrity and is able to identify blocks needing to be rebuilt.
  RAID-Z会经常检验数据校验和，以确认完整性，它还能够识别需要重新构建的块。
• Automatically verifying that the monitor sets a user defines will accomplish useful and meaningful monitoring.
  自动验证用户定义的监测集将完成有用和有意义的监测。
• Finally, the mathematical analysis and simulations are presented for verifying the effectiveness of this new model.
  最后通过数学分析和仿真的方法对所提出的改进算法进行了验证。