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

双语例句

• The validity of the proposed method was demonstrated by theoretical analyzing and verifying experiment on the rotor system.
  通过对转子系统实测信号的分析诊断，验证理论方法的有效性。
• Thus each segment of code would be made responsible for maintaining and verifying the integrity of other segments.
  因此每个代码段将要负责维持和核对其他代码段的完整性。
• In addition to verifying the correctness of the system under test, tests also serve as documentation.
  除了确认被测系统的正确性外，还可以将测试作为文档提供。
• It can be used for verifying the reliability of NC program and forecasting the machining process.
  它为验证数控程序的可靠性，预测切削过程提供了强有力的工具。
• It provides a quick and easy way of verifying that a transaction exists when you invoke a particular method.
  它提供了一种简单的方法，用于验证当您调用特定的方法时某个事务是否存在。
• Model checking is a formal method for verifying the temporal logic properties of finite state systems.
  模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法。
• Numerical examples are given for verifying the effectiveness and correctness of the RKP-BEF method presented in this paper.
  最后给出了数值算例，验证了本方法的有效性和正确性。
• This signature is a means of verifying that the legitimate user is the author of this message.
  这种签名是验证合法用户是否是此消息的作者的一种方式。
• We can know whether the file was altered by verifying the checksum value with that of original file.
  我们可以知道该文件是核查与原文件的校验和值改变。
• Is there an adequate and formal system for receiving/ verifying tools and equipment?
  是否有一个正式的充分有效的体系来接收/确认工具和设备？