查询词典 metrically convex subset

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一样是一种元语言。

Let G be a finite group, S (possibly, contains the identity element) be a subset of G.

设G是有限群，S是G的子集。

It is well known that the particular subset of genes that are expressed, or "turned on," in a cell determines that cell's identity, unique characteristics and function.

大家都知道，表达或"开启"的基因的特殊亚群，在细胞中决定了细胞的识别，具有独一无二的特点和功能。

Telomerase is an attractive cancer target as it appears to be required in essentially all tumours for immortalization of a subset of cells, including cancer stem cells.

端粒酶是一个很有吸引力的癌症靶点，它在所有包括肿瘤干细胞在内的细胞亚型的永生化中起关键作用。

Infinite-dimensional optimization studies the case when the set of feasible solutions is a subset of an infinite- dimensional space, such as a space of functions.

组合优化问题是有关的一套可行的解决办法是离散或可归结为一个独立的一个。

The iteration process of sampling and model updating forms a positive feedback after a good subset is sampled. The inlier samples will be sampled with a much larger probability than outlier samples after several iterations.

在首次获得正确模型之后，样本采样与模型更新构成了一个正反馈环节，经过若干次迭代后，正确样本被采样的概率远超过错误样本被采样的概率。

Methods: We examined the outcomes for a subset of fifty-fie subjects who had had an insensate extremity at the time of presentation.

我们检查了55例受检者的预后，他们存在肢体的感觉丧失的最初表现。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。