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