证明操作用英语怎么说，证明操作的英文翻译

词语导航

基本信息

词语：证明操作

繁体：證明操作

拼音：zhèng míng cāo zuò

英语翻译

【计】 justification function

分词翻译

证明的英语翻译：

prove; certify; argue; demonstrate; justify; manifest; testify; vouch
【计】 proofness; proving
【化】 proofing
【医】 certificate; certify; proof
【经】 attest; attestation; authenticated; authentication; certification
certify; testimony

操作的英语翻译：

handle; manipulate; operate
【计】 FUNC; O; OP
【化】 manipulation
【医】 procedure; technic; technique
【经】 operation

翻译例句

1. 核工业需要证明每一个操作和安全项目都已全面调查过。

The nuclear industry was required to prove that every operational and safety aspect had been fully researched.

2. 水上摩托车除了固有的操作风险外，逐渐被证明一种环境公害。

In addition to the inherent operational hazards of water scooters, they are proving to be an environmental nuisance.

3. 它演示了自动化技术、TAL和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。

Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.

4. 事实证明，如果您虚拟化许多相同的操作系统和应用程序组，那么许多内存页面都是相同的。

It turns out that if you virtualize many of the same operating system and application sets, many memory pages are identical.

5. 这一原则的证明已经准备推广到并行计算的操作（这并非几个操作的简单累加）。

This proof of principle is now ready to be extended to multiple operations, which is by no means a simple accumulation of the operations.

6. 不过，近年来Linux已经被证明是一个稳定而且全能的操作系统；因而，它的市场份额也有所增长。

However, in recent years Linux has proven to be a stable and versatile operating system; consequently, its market share has grown.

7. Linux不断证明它是一流的研究平台，也是企业级的操作系统。

Linux continues to prove that it"s the research platform of choice as well as an enterprise-class operating system.

8. PerformGC按钮则证明了JMX可以提供除了查看操作统计值之外的初始化操作的功能。

The Perform GC button illustrates that JMX offers the capability to initiate operations in addition to viewing operating statistics.

9. 它用的是Windows7(已然不是时下热门选择)手机操作系统，但事实证明它性能卓越，有我所需的各种免费应用程序。

It USES Windows Phone 7 software (not the most popular choice these days), but it proved perfectly adequate, with all the free apps I needed.

10. 许多这样的操作在OpenSource和Agilecommunities中得到开发和证明。

Many of these practices were developed and proven in the Open Source and Agile communities.

11. 控制货币供应在实施上证明远比理论要难得多(例如在80年代的英国实施的情况：弗里德曼抱怨说是因为英国当局具体操作上有问题)。

Controlling the money supply proved far harder in practice than in theory (notably in Britain in the 1980s: Mr Friedman grumbled that the British authorities were going about it in the wrong way).

12. 最终证明所有这一切都将合并到一个持续的开发和操作设置中。

It turns out it"s all merging into a continuous development and operational setting.

13. 如果成功，则测试将证明某一组实现可聚集在一起，并互操作一次。

If successful, the test proved that a certain set of implementations could get together and interoperate once.

14. 有些人解释说，选择语言的信息证明，其中有诸如数据操作或隐瞒数据的不道德行为。

Selected language in the messages has been interpreted by some to suggest unethical actions such as data manipulation or suppression.

15. 厂商们正积极工作以证明它们的SOAP实现确有互操作性。

Vendors are actually working aggressively to prove that their SOAP implementations do interoperate.

16. 然而在实际操作中，要证明公司的定价低于成本更是陷阱重重。

Proving that a firm is pricing below its costs is tricky in practice.

17. 程序性要求证明了坚持文档化的操作过程——例如，“老板有责任适时确认职员的身份。”

Procedural requirements demonstrate adherence to documented operational process — i.e. "employers will be responsible for appropriately validating the identity of employees."

18. 接着LiMo基金会于去年初成立，这个协会在把Linux开源操作系统应用于手机方面已经证明是成功的。

Then there"s the LiMo Foundation, a coalition formed early last year that"s already proved successful in getting the Linux open-source operating system onto mobile phones.

19. 尽管这篇文章使用的例子非常简单，但是它证明了将Purify整合到您的构建和测试环境中是多么得简单，还证明了自动操作Purify使用的价值。

Although the example used in this article is simple, it demonstrates how easy it is to integrate Purify into your build and test environment and the value of automating Purify usage.wWW.WeNTiYi.COm

20. 收购例如QNX这样的嵌入式操作系统并不能完全保证成功，Symbian已经证明过。

The purchase (and use of) a strong embedded operating system like QNX is no guarantee of success, as Symbian licensees know.

21. 苹果的iPhone3.0操作系统提供的定期收费服务正在向出版商和传媒界证明它的高度魅力。

The recurring-subscription adjunct offered by Apple"s iPhone OS 3.0 is proving highly attractive to publishers and broadcasters.

22. 但是，正如我将证明的，这样的简单操作只是一个幻想。

But, as I will demonstrate, this simplicity is an illusion. Let"s define some getter and setter methods for this class.

23. 经过多次现场动平衡测试实验证明，该系统操作方便、运算速度快、平衡精度高，有较好的工程应用价值。

Multiple experiments have proved that the system features in convenient operation, fast operational speed, high balance accuracy, good engineering application.

24. 微软高级副总裁Bill Veghte周一称 虽然Windows7的推出令人欢欣鼓舞，但他怀疑这款新操作系统能否对PC销量起到足够的刺激作用 。 他说：“ 历史证明以往的每次Windows操作系统更新换代都只能对PC市场造成有限的影响，你会看到Windows7的促进作用，不过那将是很有限的 。”

Microsoft"s top Windows business executive said Monday that for all his excitement about Windows 7, he doubts the release of the operating system will lead to a significant spike in PC sales.

25. 微软高级副总裁Bill Veghte周一称 虽然Windows7的推出令人欢欣鼓舞，但他怀疑这款新操作系统能否对PC销量起到足够的刺激作用 。 他说：“ 历史证明以往的每次Windows操作系统更新换代都只能对PC市场造成有限的影响，你会看到Windows7的促进作用，不过那将是很有限的 。”

Microsoft"s top Windows business executive said Monday that for all his excitement about Windows 7, he doubts the release of the operating system will lead to a significant spike in PC sales.