查询词典 ordered set

The problem then becomes constructing such an ordering, and it turns out that every set can be well-ordered if and only if the axiom of choice is true.

问题就变成构造这样一个排序，而它使得所有集合可以是良序的，当且仅当选择公理为真。

He was obliged to break in upon his daily routine, employ an assistant, and early in July his physician ordered him to set out for Engadine, and try the chalybeate water-cure at Saint Moritz.

他不得不中断后，他每天例行的，聘请1名助理，并在7月初他的医生命令他定出恩加丁，并尝试在圣莫里兹的铁剂水治疗。

In the first part, for competitive discrete-time dynamical systems on a strongly ordered topological vector space, we prove that any α-or ω-limit set is unordered and lies on some invariant hypersurface with codimension one, which generalizes M.

在第一部分中，对于强序拓扑向量空间上的竞争离散动力系统，我们研究了极限集的序结构和极限集的几何位置，证明了任何α-或ω-极限集是无序的且位于一个完全无序的，余维为1的不变Lipschitz流形上。

In this paper, the connectivity axiom and the continuity axiom in Von Neumann-Morgenstern Rational behavior axioms are weakened. Then, a set of axiom for lattice ordered decision-making behavior, which can describe the decision-making behavior more rationally, is constructed. At last, the relative unique existence theorem for utility function is obtained.

根据偏好关系所具有的格序特征，将Von Neumann-Morgenstern理性行为公理体系中的连通性公理弱化为格连通性公理，并相应地弱化连续性公理，得到了一集能更为合理地描述具有"有限理性"的决策行为的格序决策行为公理体系，构造并证明了在格序决策行为公理体系之下，效用函数的存在惟一性定理。

It is found that loop-carried flow dependencies form a set of disjoint linear ordered sets, and that there is one and only one basis that is independent and inclusive, making unnecessary all the other dependencies.

利用这一性质，围绕着包含这一概念，该文为VLIW结构上的流相关分析提出了一个完整的娄学模型，发现体间流相关集合可划分为若干不相交的线序集合，存在且仅存在一个独立的、全包含的流相关集合，使其他所有流相关都不必要。

That results in a new class of answer set semantics for ordered logic program including several kinds of already existed semantics. The diverse answer set semantics are compared in detail and a Hasse diagram with respect to set inclusive relations for the semantics is given.

通过证明和举例详细比较了各种回答集语义之间的强弱关系，给出了它们在集合包含关系意义下的哈斯图，证明了各种回答集语义在包含关系下形成格的结构。

The existence of the minimal and maximal fixed points for order preserving set-valued operators on semi-ordered sets and semi-ordered topological spaces was analyzed.

讨论了半序集和半序拓扑空间中保序集值算子的最小与最大不动点的存在性。

A directed graph, or digraph G consists of a finite nonempty set of vertices V, and a finite set of edges E, where an edge is an ordered pair of vertices in V.

有向图，或图克组成的有限非空子集的顶点V和有限的一套边英，那里的优势是下令对顶点在五顶点也称为节点。

The shortest path approximation algorithm builds a weighted graph from the given set of scattered points using the distribution of these data points. By computing the shortest path in the weighted graph, the problem of curve reconstruction from scattered data points is transformed into that of curve reconstruction from a set of ordered data points.

最短路逼近算法首次将图论中最短路径理论引入到曲线重建中，根据散乱数据点的分布构造带权连通图，通过求解带权连通图的最短路径，将散乱数据点集的曲线重建问题转化为有序数据点集的曲线重建问题。

The randomization operations are performed to ordered thread set and information to be embedded.According to the random information,the line type of the thread in the out-of-order thread set is modified based on the characteristics of human vision system.

该算法先获得工程图中的有序线段集并进行乱序处理，然后将待嵌入的信息转化为伪随机序列，并以此为依据并结合人体视觉系统特征对乱序线段集中线段的线型按序进行修改，从而实现信息的隐藏。

If you are unfortunate enough to the lovelorn, please tell me, I will help you out, really, please contact me!

如果你不幸失恋了，请告诉我，我会帮助你摆脱困境，真的，请联系我啦！

China's plan to cut energy intensity by 20 percent and pollutant discharges by 10 percent between 2006 and 2010 is a case in point.

中国计划在2006年到2010间降低20%的能源强度和减少10%的主要污染物排放，就是一个这样的例子。