The correctness of interface among the modules is verified by the PWR criti-cality calculations.

• 多种方案的计算结果表明,程序模块的联接是正确的。