查询词典 select verification

We shall extend scientific and moral education, reform the existing verification methods regarding science and technology achievement and new product, rectify the misfeasance, and ensure the science and technology award reform up to the planed target.

要广泛开展科学道德教育，改革现行科技成果和新产品的鉴定办法，纠正不正之风，保障科学技术奖励改革达到预期的目标。

In order to ensure data integrity and reduce the losses caused by misoperation using the verification code and log tracking mechanism, and provides a friendly user interface so that users can easily use the system.

为保证数据的完整性和降低误操作带来的损失，采用了验证码和日志跟踪机制，并提供了友善的用户界面，从而使用户可以方便地使用本系统。

DO NOT MISSTATE OR OMIT ANY MATERIAL FACT AS INFORMATION PROVIDED IS SUBJECT TO VERIFICATION.

不要作虚假叙述或者遗漏任何作为为了支持证明信息所需要提供的事实依据。

This paper firstly reviews the history of Automated Theorem Proving and Mizar,then gives a description of methods of mechanical theorem proving and verification to mathematical proposition under Mizar system.Based on that basis,the paper has done some Mizar researches on mixed operation of quaternion,differentiati- on of special composite function and the application of Rolle\'s theorem.

本文首先介绍了定理机器证明和Mizar语言系统的发展历史，其次简单描述了Mizar系统下定理机器证明和校验数学命题的方法，在此基础上对四元数的混合运算，特殊复合函数的微分以及洛尔定理的应用等方面进行了Mizar实现。

But verification of MOND, like dark matter, has suffered from the fact that it manifests itself only on very large scales, comparable to the size of galaxies, and so is not amenable to local tests.

可是 MOND 同暗物质一样，都受到了实践的限制。它同暗物质一样，要在可以与星系尺度相比拟的、非常巨大的尺度上才能得到证明，也不服从局部的试验。

Topics covered by this course are:(1) Simple linear regression,(2) Inference based on fitted regression model,(3) prediction based on fitted regression model,(4) Application of simple linear regression,(5) Verification of regression assumption,(6) Multiple regression,(7) Qualitative independent variables,(8) Multicollinearity, and (9) Stepwise regression.

课程内容包含：（1）简单线性回归；（2）回归模式适合性的推论；（3）利用回归模式的预测；（4）线性回归的应用；（5）回归模式假设条件的检定；（6）复回归模式；（7）质量性独立变数的处置；（8）共线性的探测；与（9）逐步回归分析法。

In short, the verification result shows the ability for mouse manipulation, the understanding of the association between the screen and the mouse among the 3 interviewees have gradually improved and enhanced via the "teaching material" training, in which case study A is successfully operated per course material instructions, while case study B, to even migrate the ability of mouse manipulation to other CAL software, it is evident that the practice of "teaching material" will help intellectual disabled students utilize CAL to open the ability for multiple-purpose learning, and to further enhance the learning outcomes.

验证结果发现经「中介教材」训练后，三位受测者在实验过程中对操作滑鼠之技能、对萤幕与滑鼠间之关联性的理解，均逐渐进步与提升，其中个案甲能在验证后期，依教材指示成功操作，而个案乙更能将操作滑鼠之能力迁移至其他CAL软体中，可见『中介教材』之练习有助於认知功能障碍学生运用电脑辅助学习，开启多元学习之能力，进而提高学习成效。

The NASD can also help in this verification.

全国证券交易商还可以帮助在这方面的核查。

Few diplomats doubt that negotiations over verification will be nettlesome.

鲜有外交官质疑核实谈判的困难。

After verification, it will generate a new password sent to you.

核实后，系统会生成新的密码，发送给您。

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，是一个非常形象的名字。