查询词典 ordered set

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理性行为公理体系中的连通性公理弱化为格连通性公理，并相应地弱化连续性公理，得到了一集能更为合理地描述具有"有限理性"的决策行为的格序决策行为公理体系，构造并证明了在格序决策行为公理体系之下，效用函数的存在惟一性定理。

In this paper, the completeness of no endpoint dense ordered set is proved by Robinson method. And the sufficient conditions are given to prove the completeness of a theory from Robinson method.

文章利用Robinson判别法证明无端点稠密有序集是完全理论，并由Robinson判别法得到了一个理论是完全理论的充分条件。

An ordered set of all the letters used in a language, including letters with diacritical signs where appropriate, but not including punctuation marks .

某种语言所使用的全部字母的有序集合，它包括带有发音符号的字母，但不包括标点符号。

An ordered set of all the letters used in a language, in clud in g letters with diacritical signs where appropriate,but not in clud in g punctuation marks.

某种语言所使用的全部字母的有序集合，它包括带有发音符号的字母，但不包括标点符号。

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结构上的流相关分析提出了一个完整的娄学模型，发现体间流相关集合可划分为若干不相交的线序集合，存在且仅存在一个独立的、全包含的流相关集合，使其他所有流相关都不必要。

The second motivation is the replacement of a Boolean algebra of sets by the distributive lattice of filters of a finite partially ordered set.

一个自然的问题是：能否给出射影空间中放置不同维数的线性族类似的公理体系？

Birkhoff, every finite distributive lattice is isomorphic to the lattice of all filters of a finite partially ordered set.

由G.Birkhoff的一个基本定理，每个有限分配格同构于一个有限偏序集所有滤子的格。

AnsiChar values are byte-sized (8-bit) characters ordered according to the extended ANSI character set.

AnsiChar 为按照扩展 ANSI 字符集有序排列的字节型(8位)字符。

Check dri ve seating, cables, and I/O module.

请检查驱动器安装、电缆和 I/O 模块。

If there's no traffic jam, I think it's OK.

如果不塞车的话，我想能行。