A mathematical definition of variable minimal unsatisfiability ( VMU ) is introduced to drive this abstraction refinement process.

1、

Interestingly, note that threads share the virtual memory abstraction while each receives its own virtualized processor.

有趣的是, 注意在线程之间可以共享虚拟内存,但是各自拥用自己的虚拟处理器.

网络期刊摘选

2、

Increased OS abstraction can also increase the potential for performance reduction and limitations.

增加操作系统的抽象性,意味着会同时使性能降低和功能受限.

网络期刊摘选

3、

Chinese Abstraction GetFont. exe running, it must document library copy of the current directory.

汉字字模提取程序运行GetFont. exe时, 一定要将字库文件Hzk16拷贝到当前目录中.

网络期刊摘选

4、

Such an individual becomes a metaphysical abstraction.

这么一个人变成了一个形而上的抽象名词.

网络期刊摘选

5、

This is a kind of abstraction.

这是一种抽象物.

网络期刊摘选

6、

Good object oriented design recommends the abstraction of the data store from of the application.

好的对象定向设计需要从程序中抽象出数据存储.

网络期刊摘选

7、

In general, an abstraction is a model or ideal.

一般来说, 所谓的抽象就是模式或典型.

网络期刊摘选

8、

A standarized implementation of a data abstraction layer, suitable for any kind of database structure.

这是个数据抽象层的标准实现, 适合各种数据库结构.

网络期刊摘选

9、

It is worth observing that will is an abstraction.

我们要注意,意志是一个抽象的概念.

网络期刊摘选

10、

The Object Oriented technology an essential feature of abstraction, is the prevailing software development method nowadays.

面向对象技术是目前最主要的软件开发方法,面向对象的本质特点是抽象.

网络期刊摘选

11、

HAL is a specification and an implementation of a hardware abstraction layer.

HAL是一个硬件抽象层的规范(描述)和实现.

网络期刊摘选

12、

The Indian genius is a love for abstraction time, a passion for the concrete image.

印度人的天赋表现为:热爱抽象观念, 却不失对具体形象的激情.

网络期刊摘选

13、

The idea of redness is an abstraction.

红色概念是一种抽象概念.

《现代汉英综合大词典》

14、

After the abstraction of the juice from the orange, only a tasteless pulp is left.

柳橙里的汁去掉後, 只剩下不可口的肉了.

《简明英汉词典》

15、

He wore a look of abstraction and I knew his thoughts ware far away.

她显出心不在焉的样子,我知道他的思绪已飞向远方.

《简明英汉词典》

16、

"Third World" is an abstraction, a form of shorthand.

“第三世界”是个抽象概念，是一种简称。

柯林斯词典例句库

17、

Is it worth fighting a big war, in the name of an abstraction like sovereignty?

在主权之类抽象概念的名义下打一场大战是否值得呢？

柯林斯词典例句库

18、

Cubism , Abstractionism, and Pop art have all been epochs in the postrealistic era.

立体派、抽象派以及通俗派艺术都是出现在后现实主义时期内的重要事件.

互联网

19、

Even if realistic paintings is also the works that artists manage abstractive thinking.

即便是写实的作品,也是抽象思维的产物.

互联网

20、

You must first describe your problem abstractly, in terms of fundamental structures and properties.

因此,你必须先抽象地描述你的问题, 以一些基本的结构和属性.

互联网