One successful test can not only find out the problems in teaching, but also give an effective examination on the students' learning.

I'd better give you an examination.

我最好给你检查一下。

互联网摘选

This is remarkabled is covery, isn't it, Ms Lovejoy.

这实在是太重要的发现了，对吧，罗富究伊女士？

互联网摘选

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自有品牌的汽车。

互联网摘选