查询词典 verification

Resolution-based many-sorted predicate calculus has been applied to many fields of computer science, such as knowledge representation, artificial intelligence and automatic theorem proving, software specification and verification, etc.

在前人工作的基础上，对自动推理领域的如下问题进行了研究与探索：基于归结原理的多种类谓词演算、模糊逻辑与近似推理、Web环境下的知识表示与自动推理等。

Then is a factual premiss, saying that a certain disposition is necessary, sufficient, or at least helpful in achieving a certain end (or living by a certain principle); it will usually be of a kind that depends on experience and science for its verification, but in some theories of education it might come from metaphysics or theology.

那么，作为一个事实前提，说明了一个确定的性状是必需的、足够的，或至少有益于实现特定的目标（或存在依靠一特定的原则）；它通常将属于一种依赖经验和科学来证实，但是，在有的教育理论中它可能来自形而上学或神学。

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的函数信号发生器自动检定/校准测试系统的组成及工作原理、测控软件的开发设计、测控程序主要功能的实施。

I'm not an actor. I'm a professor of paleontology.

我不是演员，我是古生物学教授

Spider Network Web site that is a very image of the name.

网络蜘蛛即Web Spider，是一个非常形象的名字。