In addition, a separate residual heat re-covery device is installed for preheating combustion air and gas.

Foundation of the Theory of Planck's Black Radiation& the Covery of Planck Constant h

普朗克黑体辐射理论的建立&普朗克常数h的发现

互联网摘选

An Algorithm of Generating Test Codes Using the Circuit Logic Covery

用电路的逻辑覆盖产生测试码的算法

互联网摘选

So my colleague Dr. Robert Govers and I have spent the best part of the last two years,

我的同事Robert Govers博士和我花了过去两年的大部分时间，

互联网摘选

Your crony factor ( 10%): do you play quoits with Mr. roover?

亲信因素（10%）：你会跟鲁弗先生玩套圈游戏吗？

互联网摘选

Frigyes Turan and Albert Llovera will also be in action in Greece.

弗里杰什·图岚以及阿尔伯特·略韦拉也将参加希腊站的比赛。

互联网摘选

We need to divide up our records so some data instances are used to create the model, and some are used to test the model to ensure that we didn't overfit it.

我们需要分割我们的记录以便某些数据实例被用来创建模型，某些被用来测试模型以确保没有过拟合。

互联网摘选

Completely automated theorem provers, such as model checkers, operate on an abstraction of the problem., as a whole, is comprehensive by taking in all kinds of factors in consideration, but too abstract and inoperative without further elaborations.

象模型检查程序这种完全自动化的定理证明程序是在问题的一个抽象上操作。总体来说，此类标准涉及因素全面，但过于抽象概括，具有多解性，可操作性不强。

互联网摘选

Since then, many efforts have been made to formally analyze APIs using model checkers, theorem provers and so on, but none of these models account for mutable global state.

之后，很多研究者用模型检测、定理证明等方式对应用接口进行形式化分析，但是都是在状态不可变的前提下进行的。

互联网摘选

In order to improve the efficiency and the automation of the procedure during proving, various kinds of theorem provers have been developed, falling into interactive or automatic categories.

为了提高定理证明器的工作效率和自动化程度，人们开发了各种定理证明系统，主要有自动化和交互式两种类型。

互联网摘选

Liquid hydrocarbons-Dynamic measurement Proving systems for volumetric meters Part 2: Pipe provers

GB/T17286.2-1998液态烃动态测量体积计量流量计检定系统第2部分：体积管

互联网摘选

Dynamic measurement of crude oil& Technical stipulations of installation for fixed pipe provers

GB/T9109.3-1988原油动态计量固定式标准体积管安装技术规定

互联网摘选

Even so the company's general manager, Mr. Zhang told me "The MG cars we make here have a deep sense of British culture and style." MG Rover has had a troubled past.

即便如此，这家名为南汽名爵公司的总经理张先生说：“我们这里生产的MG轿车依然保持着深厚的英国文化和英国风范”。MG Rover已经经历了一段不平静的岁月。

互联网摘选

SAIC also makes mg own-brand cars after acquiring brands and technology from MG Rover.

从mg罗孚（mg rover）收购了品牌和技术后，上汽还制造mg自有品牌的汽车。

互联网摘选

They say his asset sale agreement specifies that buying the X-Power parts did not confer any licence to use the words mg or Rover.

他们表示，赖利的资产销售协议规定，购买x-power零部件并不能因此获得使用mg或罗孚名称的任何许可。

互联网摘选

An official said: "We want them to do as thorough a job as possible." Given the questions surrounding the government's intervention in MG Rover, ministers are keen to avoid suggestions of interference in the subsequent inquiry.

一位官员表示：我们希望他们尽可能详尽地调查此案。考虑到政府对MG罗孚进行干预所引发的疑问，在谈及政府是否会干预后面的调查时，部长们都急于回避表态。

互联网摘选

The Rover name, which reverted to BMW ownership when MG Rover collapsed 18 months ago, was recently sold to Ford Motor for about 11m ($ 21.5m).

18个月前，当MG罗孚破产时，罗孚的名称重归宝马（BMW）所有。最近，罗孚的名称以约1100万英镑（合2150万美元）的价格，被卖给了福特汽车（Ford Motor）。

互联网摘选

The inspectors, while delving deeply into the management of MG Rover, failed to satisfactorily answer questions about the involvement of labour ministers in MG Rover.

调查人员尽管深入调查了mg罗孚的管理层，却未能令人满意的回答有关工党大臣们插手mg罗孚的问题。

互联网摘选

Such a merger would bring together two state-owned companies currently competing head-on in China, with saloons based on designs and technology acquired from defunct British carmaker MG Rover.

合并将使两家目前正面展开竞争的国有企业走到一起。这两家公司分别收购了英国破产汽车制造商MG罗孚（MG Rover）的设计和技术，以此为基础生产轿车。

互联网摘选

These included Shanghai Automotive Industry Corporation, whose withdrawal from joint venture talks with MG Rover in 2005 triggered its collapse with 6,000 job losses.

上汽集团（SAIC）就是上述合作伙伴之一，该集团在2005年退出了与MG罗孚组建合资公司的谈判，触发后者倒闭，6000名员工失去工作。

互联网摘选

The multi-million pound sale of intellectual property rights which I brokered realised value for MG Rover and extended its survival period.

我撮合出售了数百万英镑知识产权，为MG罗孚实现了价值，并使其得以存活更长时间。

互联网摘选