From Weiyuan, Zhongba and the east of Sichuan three gas field dis-covery, it is shown that every new discovery or big breakthrough in oil-gas exploration area is full of complications.

Analyzing the concrete conditions of these people and adopting the corresponding policy has great theoretical and practical significance in doing a better job to expand the covery of the basic social insurance for the aged.

分析研究这些人员的具体情况并采取相应的对策，对扩大基本养老保险覆盖面工作具有很大的理论和实践意义。

互联网摘选

Through the waveforms re ˉ covery of space charge distribution by Matlab processing, the results show that the overshoot of space charge waveform can be completely corrected.

处理结果表明：电荷分布波形中的过冲畸变可以得到很好地纠正。

互联网摘选

Overall, emerging nations' rapid re ­ covery from the global crisis is a historic achievement that has helped prevent prolonged worldwide recession.

总体而言，新兴国家摆脱全球危机、走向快速复苏是一项历史性成就，它帮助阻止了持久的全球衰退。

互联网摘选

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）。

互联网摘选