科研进展----中国科学院数学与系统科学研究院

肽段酶切概率和质谱可检测性的深度学习预测（付岩）
在高通量蛋白质组学中，蛋白质首先会被酶切为肽段，再通过质谱仪进行检测分析，最后基于对质谱数据的解析完成对肽段和蛋白质的研究。然而，在质谱实验中，并...
跨物种基因流存在时的物种分化时间估计（朱天琪）
可压缩Navier-Stokes方程粘性激波和稀疏波组成的复合波的长时间渐近稳定性（王益）
布尔（控制）网络的不变子空间方法（程代展）
一簇线性收敛的有向图上的分布式动量方法（戴彧虹）
正则化系统辨识输入设计中的嵌入和逆嵌入（牟必强）
反馈弧集在竞赛图中的精确装填（陈旭瑾）
黎曼优化问题的约束消解方法（刘歆）
带有时空白噪声的三维Navier-Stokes方程的全局存在性和不唯一（朱湘禅）
随机三维Navier-Stokes方程全局概率意义上强解和马氏解：存在性和不唯一（朱湘禅）
具有一般向量相对阶的MIMO离散时间非线性系统的无奇异自适应控制（张纪峰）
基于融合最小二乘的分布式自适应非线性控制（张纪峰）
奇异摄动的McKean-Vlasov系统随机控制的近似最优性（张纪峰）
修正随机梁方程的Carleman估计及其应用（张纪峰）
李群上双线性系统的能控性和可达性的图条件（李博）
联合非持续激励条件下随机动态系统的分布式稀疏辨识（刘志新）
量测带噪声的多智能体系统的分布式自适应构型控制（刘志新）
从R到S的半调和映照的非退化性以及量化稳定性（孙黎明）
高维量子流体模型的流体性研究方法（郑好）
具有小代数秩的Fano叶状结构（刘杰）