查询词典 verification

In this paper, a certified dynamic storage management library is built using Hoare-logic style reasoning at the assembly level with the assistance of a theorem formalization and proof tool called Coq, since Hoare logic is more expressive. This work is a significant application of program verification technique.

由于Hoare逻辑更好的表达能力，采用Hoare逻辑风格的推理，在汇编语言级别，使用Coq形式化与定理证明工具可以实现一个经过安全验证的动态存储管理函数库，这是程序验证技术一次有意义的实践。

After verifying the homogeneity of variances between the groups (verification of the variation coefficients), means were compared through an analysis of variance.

验证完组间变异的同质性后，均值通过方差分析进行比较。

Verification works on vertical deflection sensitivity and horizontal sweep speed of digital oscilloscope are summarized.

总结了数字示波器垂直偏转灵敏度和水平扫描速度的检定工作。

Basic data and data about data, such as links to reflect, reflect the semantics, in order to manage a variety of additional control data ...7.3 The benefits of direct access to 1 with a simple way to update multiple files 2 when the update of the master record ...77, human-computer dialogue: Could it be machine interaction, is in the running process, in order to control or verification purposes, by ...

了基本 数据和关于数据的数据，如反映联系的、反映语义的，为了管理控制而附加的各种数据。。。。 7.3分析直接存取处理的优点1 用一个简单的程可以更新多个文件2 当更新的主记录。。。 77、人机对话：也叫人机交互，是指在程序运行过程中，为了控制或校验目的，通过。。。

Meanwhile , the measurement error of contact angles caused by the measurement error of droplet height , the bottom diameter of droplet and the turning error of protractor were discussed : Verification experiments were performed and the results obtained are coincident with the theory . Finally , hypsometry is proved to be more precise , faster and more convenient .

从理论上对这2种液滴角度测量法的测量原理和测量误差进行比较分析，分别讨论了液滴高度，底端直径的量取误差和量角器转动误差产生的接触角测量误差，并用实验进行验证，这些实验结论和理论相符，最后证实量高法更准确，快捷，方便。

With the development of integrated circuit, verification has become the most important part of IC design.

随着集成电路规模的不断扩大，设计验证成为集成电路设计中最重要的任务。

Note: Your customer ID is NOT your verification code.

在这个限额之内随便你转多少，但金额不能小于MB的手续费。

ABSTRACT Rheumatoid arthritis is a kind of autoimmunity disease which therapy hardly, It's etiological unknown up to now, The Traditional Chinese medicine has potential superiority on the disease, while modern medicine has so much ill effect. Blood benefited and circulating method has so thick theory background and comprehensive clinical verification, but deficit explanation of modern digit.

类风湿性关节炎是一种难治性自身免疫性疾病，至今病因未明，西医对其治疗存在许多问题，中医药治疗此病具有潜在的优势，养血活血法治疗此病有着浓厚的理论基础及广泛的临床验证，但缺乏现代数字化的解释，这是中医药真正走向世界所急待解决的问题。

Seal imprint verification is an important application in the field of image processing and pattern recognition.

摘要印鉴识别是计算机图像处理和模式识别技术的重要应用。

Many educational games software have been made both at home and abroad,but because they doesn\'t have developed theory instruction,lack the support and verification of practice,they\'re not perfect; there\'re many defects,for example,it combines games and knowledge points very incondite and the design strategies of educational games are not enough systematic.

海内外已经呈现了良多教育游戏软件，但因为没有成熟的理论指点，缺少实践的支持和验证，理论体系都还不够完美，存在诸如娱乐性和教育性的结合不幻想、教育游戏设计的策略不够体系等缺点。

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.

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