划分程序相关论文