查询词典 select verification

Through comparative Analysis on simulator tests, precautions for verification tests of the calibration pressure of main steam safety valve are presented, increasing the levels of steam generators and pressurizer can prolong the SI actuation time greatly.

通过模拟机试验比较分析，提出热停堆状态下进行主蒸汽安全阀定值校验的安全措施，在校验试验前提高蒸汽发生器和稳压器的水位可以大大延长发生安全注入动作的时间。

Microsoft Private Folder is a utility that allows you to password protect your folder on Windows PC after you successfully passed through genuine WGA verification during download process and install process.

微软私人文件夹中是一种实用工具，让您用密码保护你的文件夹的Windows PC后，你成功地通过真正的WGA的核查期间，下载过程和安装过程中。

Microsoft Private Folder 微软私人文件夹 is a utility that allows you to password protect your folder on Windows PC after you successfully passed through genuine WGA verification during download process and install process.

是一种实用工具，让您用密码保护你的文件夹的Windows PC后，你成功地通过真正的WGA的核查期间，下载过程和安装过程中。

The results indicated:（1）the combination of the Markov and spatial logistic models can improve the predictability of each model individually. In macroscopic scale, the total land use amount can be predicted via Markov chain; in microscopic scale, the multi-class multinomial logistic model can be used to implement the combined calculations of categorical variable and continuous variable, qualitative variable and quantitative variable to improve the precision of spatial regression. Meanwhile, the transition probability of each land use unit will be confirmed and the prediction of land use spatial distribution will also be completed.（2）the application system developed in accordance with the integrated model can effectively simulate and predict the land use evolution in Shenzhen City, and the prediction precision of verification system will suffice for recent land use monitoring and the making of annual land supply planning.

研究结果：（1）空间Logistic和Markov模型集成可提升单一模型的应用能力，宏观上利用Markov Chain进行土地利用规模总量预测，微观上利用多分类Multinomial Logistic模型解决分类变量与连续变量，定性变量和定量变量的联合解算提高空间回归精度，同时可以确定每一个土地利用单元转移概率，实现土地利用空间分布的预测；（2）基于集成模型开发出的应用系统能够有效仿真和预测深圳市土地利用演化，通过验证系统预测精度能够满足近期土地利用预警和年度土地供应计划编制。

Creation of quality plans, verification of product producibility, collaboration on design and process fmea.

按规定每日完成对产品的审核，保持与用户沟通，满足用户的要求。

In some kernel profiling tests, this normally unneeded verification used up a considerable amount of time.

然而在一些内核概要测试中，正常情况下这种没有必要的验证会占用大量的时间

Their methods for making architecture model are complex. What's more, most of them can be intrinsically ranked automatic random test program generator, which results in low verification efficiency.

本文在我们提出的微处理器体系结构级测试程序自动生成框架的基础上，完成了如下工作： 1、用户约束描述语言的设计和约束编译器的实现。

The composition and work principle,development of controlling software,implementation of main function of controlling program of the function generator automatic verification/calibration testing system based on VB6.0 are introduced.

详细介绍了基于VB6.0的函数信号发生器自动检定/校准测试系统的组成及工作原理、测控软件的开发设计、测控程序主要功能的实施。

Furthermore, we solve the user equilibrium problem by gradient projection method to obtain some additional path-based information. Since true OD trip demands are unknown, we conduct OD demand estimation and OD demand covering rate verification by the least square estimator.

在求解使用者均衡之交通量指派问题上，透过梯度投影法(Gradient projection， GP)求解，并获得以路径为基础的相关资讯；在流量倒推旅次起迄量的课题上，由於真实OD量未知，故使用基本的最小平方估计量，进行旅次起迄需求涵盖量的推估与检验。

After the NDL verification of the two key problems in Payment process of SET,this paper gives the Prolog program process of them.

在对SET付费业务流程中的两个关键性问题用NDL逻辑进行验证后，给出了它们的Prolog程序流程。

The second is to cut a mere 100 calories from your diet , which is the equivalent of a tablespoon of butter.

第二个就是从你的饮食中减少一百卡路里，只是相当于一大汤匙的黄油。

This is where the Rorschach test comes in.

现在，罗氏测试就出现了。