查询词典 transitive set

At the same time, some properties of rough Set in quotient ring are given and proved. The fifth chapter is Rough Primary Ideals and Rough Fuzzy Primary Ideals in Semigroups, the concept of rough primary ideals and fuzzy rough primary ideals in semigroups are introduced. Under the condition of the complete congruence relation, a rough set of a primary ideal in semigroups is proved to be its primary ideal.

同时，在商环中讨论了粗糙集的一些性质，并给出这些结论的严格证明；第五章是半群中的粗准素理想和粗模糊准素理想，首次提出了半群中的粗准素理想与粗模糊准素理想的概念，证明了在完备同余关系下，半群中准素理想的粗糙集是准素理想。

In terms of the minimum question of a positive definite quadratic function,a set of Newton directions in minimum points derived with an accurate single dimensional search are used to produce a set of conjugate direction ,and a proof of convergence is presented.

对正定二次函数极小问题，利用精确一维搜索所得极小点处的牛顿方向来生成一组共轭方向，并给出收敛性证明

First design a reasonable XML Schema structure and under the restriction of XML Schema use XML to describe the UML class diagram and the related specification, and then extract the test specification of method from XML test script. Test specification refers to predicate sequences in the form of conjunctive normal form, extracted from basic constraint conditions of variables included in test scripts and expected outputs. Each conjunctive normal form can be transformed to an inequation set, and adopt 1×1 domain test strategy to every inequation set to produce the domain test matrix, which in turn produce the test case.

首先设计合理的XML Schema结构，并在该XML Schema的有效性约束下，用XML对UML类图及相关性约束进行脚本描述；其次对XML测试脚本进行分析，提取方法的测试规约说明，所谓测试规约说明就是从测试脚本中包含的变量的基本约束条件以及期望输出中抽取得到的以合取范式形式存在的谓词序列；每一合取范式对应一个不等式组，对每一个不等式组采用1×1域测试策略，生成域测试矩阵，最终得到测试用例。

Let G = be a simple connected graph with vertex set V and edge set E.

中文摘要：设G=是一个简单连通图，V和E分别为G的顶点集和边集。

Design and create three Set Pieces that will be connected to form a new Set Piece or Backdrop.

设计并创造三个部件，它们将连接起来形成一个新的部件或背景。

Based on maximal independent set,this paper proposes a distributed algorithm for minimum connected dominating set,and prove...

本文基于极大独立集，提出了一种求解最小连通支配集的分布式算法，并证明了算法的正确性。

The pistion of the ram is connected to the secondary set and the cylinder to the primary set.

该活塞的RAM是连接到中学设置及调节器，以小学设置。

For the np-hard problem of constructing minimum connected dominating set in ad hoc networks, this paper proposed a novel distributed mcds constructing algorithm called dmca. dmca constructed a mcds for ad hoc networks based on a maximal independent set. in dmca, each node only required the knowledge of its one-hop neighbors and there existed only one shortest path connecting two dominators these were at most three hops away.

摘 要：针对无线自组织分组网络中最小连通支配集创建np难问题，提出了一种分布式的最小连通集创建算法dmca.dmca基于最大独立集的构建，只需要周围一跳邻居的信息，在不超过三跳距离的一对支配节点之间找出一条最短路径。

Based upon all above-mentioned, a mathematical representation for multi-material structures is proposed by means of vector level sets, and the general structure topology optimization can be expressed by a constrained functional minimization problem of a set of level set functions.

同时，还提出了在有效约束切空间上构造的非线性映射技术，以改进向量水平集的演化方向，可提高计算效率2到3倍。

Thirdly, by applying Frenchet derivative analysis, the iteration formula is derived to solve the constrained functional minimization problem, essentially the formula is a level set equation, in which the motion velocity of the level set is the shape sensitivity of material interfaces.

为了有效处理违反约束，这里还提出了在违反约束水平集的负法凸锥内构造水平集的法向修正速度的返回映射算法，它可以方便地处理多材料、多约束和含有非设计域的结构设计问题，使初值给定容易。

We are in a good position to meet your requirements.

我们完全可以满足你方的需求。

We are all pervade d with a sense of disaster.

我们普遍有大祸降临的感觉。