查询词典 saturated subset

Thousand in the Square, he developed a gun, you can use bullets reaction after injection of empty cartridge cases, fitted with a subset of the new firing pin strike.

在的仟坊他研制出一种枪，可以利用子弹射出后产生的反作用力出空弹壳，装上新的子击撞针。

The indiscernibility lattice corresponding to indiscernibility context can be used to computing the reduct set of any subset of attributes in information system, and thus can serve as a framework for discovering functional dependence that holds in relational data.

而不可区分背景所对应的不可区分格则可以用于信息系统中任意属性子集的缩减集计算，于是它可以用作一个框架结构来发现关系数据中所成立的函数依赖关系。

As such it should be treated as a subset of Functional Verification Test.

这样它应该被作为功能验证测试的一个子集来对待。

GIF supports only a subset of 256 colors, but that's not the biggest problem.

GIF只支持到256色，这还不是最大的问题。

There was no difference in CRP between the two groups, and no difference in pre- and post-G-CSF CRP in a subset of 22 granulocyte donors.

两组之间的CRP无差异，而且在22例粒细胞捐助者中亚组中G-CSF应用前后的也CRP没有差异。

The graph of a function is the subset of given by .

图实际上就是自变量和函数这样一个笛卡儿积。

In terms of this framework, we have designed a pointer logic system for a subset of C language. The style of this logic is something like the style of Hoare logic. It can be used for accurate pointer analysis of pointer programs. The information from the analysis can be used to prove the side conditions of typing rules and then to support static type checking of programs.

根据这个框架，我们为C语言的一个子集设计了一种指针逻辑系统，该逻辑系统的形式和Hoare逻辑的形式类似，它可用来对指针程序进行精确的指针分析，所获得信息用来证明指针程序是否满足定型规则的附加条件，以支持程序的静态类型检查。

We generalize the concept of the set of variability defined in the unit diskby K.Strebel to general Riemann surfaces and prove that the set of variablity withrespect to the modulo homotopic class of a quasiconformal mapping between twoRiemann surfaces is a compact and connected subset.Consequently the num-ber of the extremal mappings in the modulo homotopic class of a quasiconformalmapping between two general Riemann surfaces is either one or infinity.

Strebel的定义在单位圆上的可变性集合的概念推广到一般Riemann曲面上去，并且证明了Riemann曲面之间的拟共形映射的模边同伦类所确定的可变性集合是一个连通的紧子集，从而得出一般Riemann曲面之间拟共形映射的模边同伦类中的极值映射要么唯一，要么有无穷多个。

If so, only a subset of the hyperlinks on the expert page may be relevant.

假如这样的话，仅一个专家页面上的超链集合就可能是相关的。

XML is a type of hypertext markup language. It comes from SGML and is subset of SGML.

XML的技术特征XML是一种简单的SGML ，它和SGML一样是一种元语言。

Pradeep Indulkar, a senior official at the Maharashtra state Home Ministry say 101 human were killed and 287 injured.

马哈拉施特拉邦内政部高级官员Pradeep Indulkar称，有101人在冲突中丧生，287人受伤。

Mark Frei, a senior vice president of West, says 80% of West's homeagents have some college education, compared with 30% of those whowork in office-based call centers.

Frei说，该公司80%在家办公的人员都拥有本科学位，而在公司电话中心工作的人中只有30%拥有本科学位。