查询词典 verification

Finally it offers the analysis of the fault-tolerance system as well as its test verification.

这样，运行于空间环境中的系统的设计目标就是在保证系统实时性

Chapter 3 "Evolution and Formation of Geometric Paintings" states the past of "Orphism." To make a vertical connection by historical viewpoint, we should pass on the transmission of culture. In this thesis impressionism, fauvism, expressionism, abstract art, etc. are employed to make comparisons and verification.

第三章「几何绘画的时代演变和形成」说明「奥菲主义」的过去，用历史的眼光做纵的连贯，让文化的传承能接续在一起，如以印象派、野兽派、表现主义、抽象主义等作为此论文的比对及验证。

This paper, based on the study of many fingerprint verification technology on computer.

通过对多种指纹鉴别技术的研究，本文提出了一种有效的图像增强方法。

The audited units this year, the increase in fixed assets account verification is the most important substantive test one.

对被审计单位本年度固定资产账户增加的验证是最重要的实质性测试之一。

Despite thoroughful design and verification we will not be held responsable for the flawlessness of the software, the hardware or the informations included.

尽管进行了彻底的设计和验证，我们不负责（无论是直接还是间接责任）保证软件、硬件或所含信息没有错误。

By testing and verification, this forecasting system has been proved to be feasible and effective.

对网络的测试和检验，论证了该系统在预测潜在地震灾害上的可行性和有效性。

What is your perspective on the impact of system modeling on formal verification?

你如何看待的影响的系统建模的形式化验证？

Labeled transition system is a formalism that is widely used in the literature of computer-assistant design and verification.

标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型。

A composite beam is computed by the proposed method,and some verification from ANSYS is listed in the end.The results suggest that the method is feasible.The maximum frac...

通过叠合梁实例的计算，证明了该方法的简便性及可靠性，与ANSYS计算受力全过程中的纵筋应力计算值结果对比表明，两者的相对误差不超过5.5%。

In this paper, viscoelastic fractional derivative model is used for the first time in dynamic analysis of SRM, and various verification tests are carried out.

本文首次将粘弹性分数阶导数模型用于发动机的动力学分析，并进行了多种试验验证。

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.

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