2020年中国科学院软件研究所获得国家基金委资助项目清单

文章来源:  |  发布时间:2020-09-18  |  【打印】 【关闭

  

查询日期:2020-09-18        金额:万元      

序号

项目批准号

负责人

项目名称

项目类别

直接费用

开始日期

结题日期

1

12001519

方楠

算法随机性与不可预测性

青年科学基金项目

24

2021-01-01

2023-12-31

2

62002348

王丹

面向开放众测环境的软件可信证据链构建和质量评估方法研究

青年科学基金项目

24

2021-01-01

2023-12-31

3

62002349

应圣钢

基于量子马尔科夫系统状态空间分解的量子程序调试方法研究

青年科学基金项目

24

2021-01-01

2023-12-31

4

62002350

张珩

大规模非确定图数据分析及其Multi-Accelerator并行系统架构研究

青年科学基金项目

24

2021-01-01

2023-12-31

5

62002351

詹博华

交互式定理证明工具和证明自动化技术研究

青年科学基金项目

24

2021-01-01

2023-12-31

6

62072442

王俊杰

软件众包测试智能服务技术研究

面上项目

56

2021-01-01

2024-12-31

7

62072443

张文辉

并发系统时序性质验证的推理方法与验证条件生成

面上项目

56

2021-01-01

2024-12-31

8

62072444

窦文生

分布式系统中失效恢复缺陷分析与检测

面上项目

56

2021-01-01

2024-12-31

9

62072445

吴文玲

分组密码算法的安全性分析与评估

面上项目

58

2021-01-01

2024-12-31

10

62072446

王文成

图形图像内容的简捷化表达及处理

面上项目

57

2021-01-01

2024-12-31

11

62072447

牛树梓

基于知识图谱推理的实体检索模型研究

上项目

56

2021-01-01

2024-12-31

12

62072448

张阳

统一智能内核模糊测试技术研究

面上项目

57

2021-01-01

2024-12-31

13

62072449

吴恩华

基于视频与深度学习的场景物体材质重建

面上项目

57

2021-01-01

2024-12-31

14

62072450

金蓓弘

面向大规模视频推荐的用户交互行为建模

面上项目

56

2021-01-01

2024-12-31

15

62076232

王微

面向不平衡和复杂噪声数据的多元迁移学习理论和方法研究

面上项目

58

2021-01-01

2024-12-31

16

62076233

安波

知识增强的中文复述识别关键技术研究

面上项目

59

2021-01-01

2024-12-31