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

双语例句

• In addition to verifying the correctness of the system under test, tests also serve as documentation.
  除了确认被测系统的正确性外，还可以将测试作为文档提供。
• The global attractors of the coupled system is studied by verifying the condition ( C).
  作者通过验证条件（C）成立首次证明了吊桥耦合系统全局吸引子的存在性。
• It can be used for verifying the reliability of NC program and forecasting the machining process.
  它为验证数控程序的可靠性，预测切削过程提供了强有力的工具。
• Numerical examples are given for verifying the effectiveness and correctness of the RKP-BEF method presented in this paper.
  最后给出了数值算例，验证了本方法的有效性和正确性。
• The results of model calculation are consistent with the experimental results, verifying the correctness of the modeling.
  模型计算与实验结果的一致性验证了建模的正确性。
• Model checking is a technique for automatically verifying finite-state concurrent systems.
  模型检验是自动检验有限状态并发系统的技术。
• Finally, the mathematical analysis and simulations are presented for verifying the effectiveness of this new model.
  最后通过数学分析和仿真的方法对所提出的改进算法进行了验证。
• End users, who are responsible for testing and verifying the warehouse design and implementations.
  终端用户，负责测试和验证仓库的设计和实现。
• It's possible to decompress, compile, install, and use Samba without verifying the software's authenticity.
  不验证软件的真实性，也可以解压、编译、安装和使用Samba。
• Experimental works for verifying the basic calculation equation of gas injector have been conducted on the lab-testing rig.
  在实验装置上对气体引射器计算基本公式进行了实测验证，分析了理论特性曲线的可信度。