本文提出了随机强制算子与随机强单调算子的新概念。
In this paper, new concepts of random forced operator and random powerful monotonous operator are introduced.
这个选项的一个常见用途是强制区块合并运算子将结果变成一个资料流,以提供回应性更佳的使用者介面。
A common use of this option is to force a chunk-merging operator to stream its results in order to provide a more responsive user interface.
应用推荐