查询词典 verification

In the verification stage, after each estimated transformation is applied, those medians of residual distances between the two mesh surface are calculated, and the transformation corresponding to the minimum is taken as the solution.

在刚体变换假设的验证阶段，计算施加每个变换后两个网格面之间的平方残余距离的中值，最终从中选择对应于最小值的刚体变换作为粗略配准问题的解。

A new minutiae verification method based on the fuzzy geometry features and texture features is proposed.

2提出了一种新的基于模糊几何特征和纹理特征的细节点验证方法。

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.

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

Sodium citrate; calcium carbonate; calcium hydroxide; potassium bicorbonate; magnesium carbonate; ferrous sulphate; Zinc sulphate; copper sulphate; manganese sulphate; potassium iodide; sodium selenite.

柠檬酸钠；碳酸钙；氢氧化钙；碳酸氢钾；碳酸镁；硫酸亚铁；硫酸锌；硫酸铜；硫酸锰；碘化钾；亚硒酸钠。

All this to say that I'm glad filmmaking hasn't become completely ironic. I can enjoy an ironic film as much as the next person, but they usually involve a message of some sort. One that's delivered in a smirkingly clever way that requires little in the way of talent.

所有这些都是说，我很高兴电影制作没有变成完全讽刺艺术，我可以和下一个人一样享受讽刺电影的乐趣，虽然他们经常会被划归到一定级别，技术方面不需要很高的才能。