欢迎光临澳门新甫京!
Research
编号
年度
项目名称
负责人
项目批准号
项目类别
1
2015年
复杂推理的序、代数和逻辑方法及其计量化模型
赵 彬
11531009
重点项目
2
Grassmannian研究中的算子谱理论方法
杜鸿科
11571211
面上项目
3
奇异微分算子的反谱和反散射问题
魏广生
11571212
4
PT-对称量子系统的基础理论研究
陈峥立
11571213
5
自仿测度的谱性、谱对偶性以及非谱性的研究
李建林
11571214
6
模块神经元网络系统的放电动力学特性及中尺度分析
杨晓丽
11572180
7
计量逻辑中真度理论的推广及应用研究
吴洪博
61572016
8
基于动态时序语义的逻辑推理及其量化模型
时慧娴
11501343
青年科学基金项目
【关闭】