中国科学院数学与系统科学研究院研究