将时间表理论中关于拟全序的相邻交换原则改进为关于偏序的情形。
The adjacent pairwise interchange principle plays an important role for some problems in scheduling theory.
为了使持续时间可比较,XML Schema 1.1 引入了两个新的全序类型,分别是:yearMonthDuration 和 dayTimeDuration,这两种类型由对 duration 的限制派生而来。
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.
MA主要由移动组的组成员管理协议和移动组的全序可靠多播协议组成。
MGC-MA mainly consists of a mobile group membership management protocol and a mobile group totally ordered reliable multicast protocol.
应用推荐