序号

项目批准号

负责人

项目名称

申请代码

项目类别

金额(万元)

执行日期

1

11501343

时慧娴

基于动态时序语义的逻辑推理及其量化模型

A011404

青年科学基金项目

18

2016-1-1-2018-12-31

2

11531009

赵 彬

复杂推理的序、代数和逻辑方法及其计量化模型

A0115

重点项目

230

2016-1-1-2020-12-31

3

11571211

杜鸿科

Grassmannian研究中的算子谱理论方法

A010602

面上项目

50

2016-1-1-2019-12-31

4

11571212

魏广生

奇异微分算子的反谱和反散射问题

A0107

面上项目

50

2016-1-1-2019-12-31

5

11571213

陈峥立

PT-对称量子系统的基础理论研究

A011401

面上项目

39

2016-1-1-2019-12-31

6

11571214

李建林

自仿测度的谱性、谱对偶性以及非谱性的研究

A011405

面上项目

50

2016-1-1-2019-12-31

7

11572180

杨晓丽

模块神经元网络系统的放电动力学特性及中尺度分析

A020202

面上项目

68

2016-1-1-2019-12-31

8

61572016

吴洪博

计量逻辑中真度理论的推广及应用研究

F020102

面上项目

49

2016-1-1-2019-12-31