样态类型相关论文