It is reasonable to assume that a given rule may be expressed in multiple formats at different times, and that multiple rule expression types may be in use in parallel.
Theorems and corollaries for inherent rule of group communication pattern are proposed to optimize message scheduling using the information provided by parallel applications.
利用并行应用提供的信息给出群通信模式内在规律的定理和推论，从而优化消息调度。
3
Based on the parallel knowledge base machine PKBM95, in order to solve the convergence problem, this paper presents a method called sequential rule-locking.