经过验证的

There are a number of hidden contributions to this work, beyond the construction of a fully verified, optimizing compiler: The compiler was built in a modular, pipelined fashion as a series of translations between well-specified intermediate languages, making it possible to add new optimizations or reuse components for other projects.

除了构造一个完全经过验证的优化编译器之外，这项工作还有一些更多贡献：采用了模块化、管道－过滤器设计模式，将整个编译器划分为一系列规范良好的中间语言之间变换的模块，这为加入新优化算法或者是在别的项目中重用这些模块提供了可能。

From the end-user perspective, the primary advantages of distributed file systems are that they provide access to substantially more storage than could be physically attached to a single system, and that this storage can be accessed from any authorized workstation.

从终端用户角度，分布式文件系统的基本优势是它能提供访问远多于一个单独系统物理连接所能访问的存储，这种存储可以从任何经过验证的工作站访问。

There should be a validated method of backflow prevention in the line supplying the filling area for nonmedicinal gases to prevent contamination of the medicinal gas.

为预防对医用气体的污染，非医用气体的灌装线必须有经过验证的阻止回流的方法。

There should be a validated method of backflow prevention in the line supplying the filling area for nonmedicinal gases to prevent contamination of the medicinal gas.

医用气体的污染，非医用气体的灌装线必须有经过验证的阻止回流的方法。

Nevertheless, auditors annually certify the numbers given them by management and in their opinions unqualifiedly state that these figures "present fairly" the financial position of their clients. The auditors use this reassuring language even though they know from long and painful experience that the numbers so certified are likely to differ dramatically from the true earnings of the period. Despite this history of error, investors understandably rely upon auditors' opinions. After all, a declaration saying that "the statements present fairly" hardly sounds equivocal to the non-accountant.

但奇怪的是，会计师每年就是有办法为就这些管理阶层给的数字背书，并出具无保留的意见表示这些数字允当表达该公司，也就是他们的客户的财务状况，而事实上他们自己深知过去惨痛的经验告诉他们，这些经过验证的数字与最后可能结算出来的可能会有天壤之别，但却还是仍然使用这种坚定的语言，而从另一方面来说，就算是历史殷鉴在前，投资人却还是相当仰赖会计师的意见，对于会计门外汉来说，他根本就不懂得「该财务报表允当表达」，所代表的真正含意是什么。

Nevertheless, auditors annually certify the numbers given them by management and in their opinions unqualifiedly state that these figures "present fairly" the financial position of their clients. The auditors use this reassuring language even though they know from long and painful experience that the numbers so certified are likely to differ dramatically from the true earnings of the period. Despite this history of error, investors understandably rely upon auditors' opinions. After all, a declaration saying that "the statements present fairly" hardly sounds equivocal to the non-accountant.

但奇怪的是，会计师每年就是有办法为就这些管理阶层给的数字背书，并出具无保留的意见表示这些数字允当表达该公司，也就是他们的客户的财务状况，而事实上他们自己深知过去惨痛的经验告诉他们，这些经过验证的数字与最后可能结算出来的可能会有天壤之别，但却还是仍然使用这种坚定的语言，而从另一方面来说，就算是历史殷鉴在前，投资人却还是相当仰赖会计师的意见，对于会计门外汉来说，他根本就不懂得&该财务报表允当表达&，所代表的真正含意是什幺。

"Anyone can claim to be astute in the area of IT security," Venator said. But organizations today are looking for individual s with proven security experience.

维纳托说：任何人都可以声称自己精通IT安全知识，但是今天，企业正在寻找的是具备经过验证的安全工作经验的个人。

"Anyone can claim to be astute in the area of IT security," Venator said. But organizations today are look ing for individuals with proven security experience.

维纳托说：任何人都可以声称自己精通IT安全知识，但是今天，企业正在寻找的是具备经过验证的安全工作经验的个人。

Diabetic foot surgery in the absence of critical limb ischemia is a very well established and recognized way to manage chronic foot deformities and ulcerations.

在无严重肢体局部缺血的情况下采用糖尿病足手术治疗是治疗长期足畸形和溃疡的一个非常好的经过验证的方法。

Equal to that of the opposing hypothesis. Pius XII added twoadopted as though it were a certain, proven doctrine and as

的业已经过验证的学说，讨论这种观点引发的问题的时候不能够和圣启完

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了