查询词典 set-up

In more formal language, the set of all left-hand Riemann sums and the set of all right-hand Riemann sums is cofinal in the set of all tagged partitions.

积分是线性定义的，即如果，则。特别地，由于复数是实数向量空间，故值为复数的函数也可定义积分。

The cofinality of a set of ordinals or any other well ordered set is the cofinality of the order type of that set.

序数或任何其他良序集合的集合的共尾性是这个集合的序类型的共尾性。

The examples show that not only two binary complementary sequence pair sets can be used to construct a new binary complementary sequence pair set,but also it can be extended to the design of new binary complementary sequence pair set through several individual ones. This method can extend the existence space of binary complementary sequence pair set.

通过实例表明利用该方法不仅可由两个二元互补序列偶集构造生成新的二元互补序列偶集，并可推广到由多个二元互补序列偶集构造新的二元互补序列偶集的设计中，从而扩展了二元互补序列偶集的存在空间。

Based on the viewpoint of set and denseness,this paper discusses some characteristics of the of continuity set and differentiable function set,and the structure of differentiable function sets,and demonstrates that there does not exist a continuous functional sequence {fn} which is convergent to Dirichlet function.

从集合观点和稠密性出发，讨论了连续函数和可导点集的一些特性及可导函数点集的构造，并证明了R上不存在收敛于Dirichlet函数的连续函数列{fn

It is proved that strictly efficient point set of the objective space is connected when objective function is cone convex－like,and that if objective function is cone convex set－valued mapping,then strictly efficient solution set is also connected.

证明了当目标函数为锥类凸的集值映射时，其目标空间里的严有效点集是连通的；若目标函数为锥凸的集值映射时，其严有效解集也是连通的。

Describing the problem of two dimension fuzzy decision existed in the engineering, the concepts of core set and support set are proposed. Using feasible set to constitute corelation between two sets, determinant theorem is presented to judge if the decision can be realized according to the feasible degree.

描述了工程中存在的二维模糊决策问题，提出了决策的核心集和支撑集的概念，用可行集建立了两个集合间的关联，提出以决策的可行度作为决策能否实现的判定定理。

As an application of the above proof, we obtain at once that there is an open and dense set in the set of Ω-stable systems such that every system in the set satisfies Axiom A and the no-cycle condition (Axiom A and the strong transversality condition, respectively).

作为上述方法的一个运用，马上可以得出在Ω稳定系统的集合中有一开稠集满足公理 A 和无环性条件(对应的，公理 A 和强横截性条件)。

Set cover greedy algorithm is one of the commonly used algorithms for the test set problem. It is an open problem if the approximation ratio 2ln n+1 directly derived from the set cover problem can be improved.

集合覆盖贪心算法是测试集问题的一个常用近似算法，其由集合覆盖问题得到的近似比21nn+1能否改进是一个公开的问题。

The difference update operation returns a set whose elements are members of the original set after removing elements that are members of the other set.

差更新操作返回一个集合，该集合中的成员是去除掉另一集合中元素后的结果集。

According to mapping relationship between information set and discrete point set, every user was entitled to access an information sub-set. Therefore, a correspondent template was activated, and it was used to encapsulate manufacturing information for the users.

根据信息集与离散点集之间的映射关系，从用户的权限区域映射出用户有权限的信息子集，被该子集激活的制造信息模板的实例将最终用于制造信息的共享。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。