verifications

英

美

网络  核实查证; 验证; 调研; 从内容中定义; 核查

计算机

双语例句

• Axiomatization for the first-order projection temporal logic and formal verifications
  投影时序逻辑的公理系统与形式验证
• Performing common verifications ( e.g., does the database correctly reflect the transaction?)
  执行公共的验证（例如，数据库正确地表现事务了吗？）
• Verifications of these recursive equations indicate that they can be used to deduce the composition of deep-seated materials based on the data of seismic velocity.
  对这些方程进行验证表明它们能够用于地震波速推断深部物质成分。
• Scheduling function verifications of the platform include planning, plan to adjust and rescheduling three aspects verifications.
  平台的调度功能验证包括对计划编制、计划调整和重调度这三个方面的验证。
• The primary verifications on the system design ideas and realization methods were made on the virtual prototype.
  在虚拟样机上，对空间对接动力学半物理仿真系统建构想法及其实现方法和手段等进行了初步验证。
• Test data must be developed to exercise the application at this point, and verifications must be designed to check the application's behavior.
  测试数据必须开发成可以在此处执行应用程序，并且验证必须设计成可以核对应用程序的行为。
• Import certificates and delivery verifications system
  进口许可证及交货检验制度
• In science, as in common life, our confidence in a law is in exact proportion to the absence of variation in the result of our experimental verifications.
  在科学，在共同的生活，我们有信心在法律中具体比例没有变化的结果，我们的实验验证。
• This article mainly gives three kinds of algebra classes which have the property of definable principal congruence and their verifications.
  给出了三种代数类具有可定义主同余性质的证明。
• All facilities, with special emphasis on manufacturing facilities, are subject to annual inspection and verifications of compliance with our code.
  所有的机构，特别是制造工厂，须接受年度审核。