相容连续偏序集相关论文