The lexicographical order on the Cartesian product of a set of totally ordered sets indexed by an ordinal, is itself a total order.
在用一个序数索引的那些全序集合的笛卡尔积的一个集合上的词典序自身是全序。
MGC-MA mainly consists of a mobile group membership management protocol and a mobile group totally ordered reliable multicast protocol.
MA主要由移动组的组成员管理协议和移动组的全序可靠多播协议组成。
For example, versions are required to be totally ordered, but there doesn't appear to be a consistent versioning scheme such as Semantic versioning.
比如说,要求版本完全有序,但似乎还没有像SemanticVersioning这样一致的版本化方法。
However, in the strong totally ordered temporal scheme, the introduction of multiple time granularities makes it more difficult to solve the membership problem.
由于强全序时态模式中多时间粒度的使用,使其成员籍问题的解决变得更加复杂。
That can become decomposition partially ordered set into totally ordered subset by analyzing the characteristics of partially ordered relation construction on partially ordered set.
通过分析运用调机时区集合上的偏序结构特点,可以知道使用调机问题的实质是偏序集合的全序分解问题。
To allow durations to be comparable, XML Schema 1.1 introduced two new totally ordered datatypes, namely: yearMonthDuration and dayTimeDuration, derived by restriction from duration.
为了使持续时间可比较,XMLSchema 1.1引入了两个新的全序类型,分别是:yearMonthDuration和dayTimeDuration,这两种类型由对 duration 的限制派生而来。
In this paper, we mainly study extensions of partial order and finitely totally order for partially ordered semirings, and obtain some new results.
本文主要研究了偏序半环的偏序扩张和有限全序扩张,并得到了一些新的结果。
The totally-ordered relations between subcomponents are retrieved by defining the corresponding rules between decomposed relations and a poset of subcomponents.
最后通过定义一组拆分关系与子部件偏序关系之间的对应规则来得到子部件的全序关系。
The totally-ordered relations between subcomponents are retrieved by defining the corresponding rules between decomposed relations and a poset of subcomponents.
最后通过定义一组拆分关系与子部件偏序关系之间的对应规则来得到子部件的全序关系。
应用推荐