查询词典 select verification

The fundamental verification algorithm is designed for software sys- tems.

引言 形式化方法对开发高可信软件具有重要的意义。

This is the audit, evaluation, funded debt to comply with strict verification process of national laws, regulations, industry standards and abide by the independent, objective and fair principles.

本所在审计、评估、资债核查过程中严格遵守国家法律、法规、行业规范，恪守独立、客观、公正原则。

Matrix Inverse and Transpose Calculator - This is a program that calculates the Inverse of a Rectangular Matrix using the Gauss elimination method, the product *[A-1] for verification purposes (must be always equal to Singular Matrix ) and also the transpose of Matrix .

这个程序使用高斯消除法计算矩阵的转置，用*[A-1]的结果进行校验，也可以对矩阵进行变换。

This paper is the study of the human chorionic gonadotropin rapid diagnostic kit for further verification experiment.

摘要本论文所研究的是人绒毛膜促性腺激素快速诊断试剂盒再验证实验。

Results of the study indicate that: The empirical verification of goodness of fit of college students' learning engagement model are fine.

研究结果显示：一、本研究之大学生学习投入模式与实证资料之间具良好的适配度。

The main results of the dissertation are as follows:(1) According to the requirement of the manufacturing, the general structure of the graphical simulating verification system is analyzed. A stage-by-stage graphical simulating method and corresponding data structure based on CSG+B-Rep are presented.

本文主要进行了以下几个方面的研究工作：(1)根据制造业对图形仿真的功能需求，设计了图形仿真检验系统的总体结构，提出了NC程序分阶段检验方法，设计了以CSG+B-Rep表达为核心的集成数据结构。

The TQ-2000B system contained 445 diode detectors arranged in a precise grid, associated circuit and supporting software, which is used in quality control of radiotherapy, such as accelerator QA, TPS of IMRT real-time verification.

通过实测的等剂量图、剂量值与相同条件下TPS计算的结果以及剂量胶片测量的结果进行比较，从而实现对调强放疗TPS实时验证。

First part: Use a simply wind power system as the discussion and verification of the theory. Study the numerous of factors by flicker emission produced during continuous operation, such as the flicker major source by wind turbine (e.g. wind speed variations, the wind shear and the tower shadow) and grid conditions effect (e.g. short circuit capacity, grid impedance angle). And analyses further that compares SCIG and DFIG , use STATCOM improve SCIG and DFIG is applied to the power system with unstable change load.

第一部分：以一简化风力发电系统作为理论的探讨与验证，研究内容针对风力发电机连续运转下电压闪烁主要来源：风的扰动、风剪切与塔影效应，与来自电力网路的影响：比、短路容量，风力发电电系统中电压闪烁各种因子，并进一步探讨分析 SCIG 与 DFIG 优缺点、以静态同步虚功补偿器改善 SCIG 与 DFIG 运用於不稳定负载电力系统。

An ocean echo signal simulation system for verification and calibration of FMICW high frequency ground wave radar is presented in this paper.

该系统基于FMICW高频地波雷达的工作机理，以及一阶和二阶Bragg-Doppler谱的反演原理，利用直接数字合成的技术仿真出海洋雷达回波的模拟信号，以供雷达的校准与定标之用。

But with the development of modern gun-powder and missile technology, the power of all kinds of counter-armor is getting stronger and stronger. This brings austerity verification to the tradition-passive-defense.

然而由于现代火药和制导技术的不断发展，各种反装甲火器的威力越来越大，这给传统的被动式的装甲防护带来严峻的考验。

Smoking cigarettes adds to the Computer Desk Computer manufacturer computer mouse Computer Computerized collar knitter machine Conduit Bodies construction board Container Bag Control Arm Cooking Thermometer general levels of air pollution as well as damaging our health.

吸烟不仅对健康有害，而且增加空气污染程度。香烟雾含有多种有害物质：不仅有致癌化学物质、有某种能阻止氧气进入血液的气体，还有引起血压增高、心速加快的被称为尼古丁的物质。

He is one of my favorite actors.

他是我最喜欢的男演员之一。