二元位相型相关论文