推进类型相关论文