2019年中國科學院軟件研究所獲得國家基金委資助項目清單
文章來源: | 發布時間:2019-08-16 | 【打印】 【關閉】
查詢日期:2019-08-16 金額:萬元
序號 |
項目批準號 |
負責人 |
項目名稱 |
項目類別 |
直接費用 |
開始日期 |
結題日期 |
1 |
61902383 |
冷昶 |
面向人機融合決策過程的實時調度研究 |
青年科學基金項目 |
24 |
2020-01-01 |
2022-12-31 |
2 |
61902384 |
閆佳 |
基于網絡環境要素操控的惡意軟件脆弱性分析方法研究 |
青年科學基金項目 |
24 |
2020-01-01 |
2022-12-31 |
3 |
61906182 |
陳波 |
基于語義圖生成的開放域語義解析關鍵技術研究 |
青年科學基金項目 |
25 |
2020-01-01 |
2022-12-31 |
4 |
61972384 |
馬菲菲 |
高維SMT公式的求解與解空間大小計算 |
面上項目 |
60 |
2020-01-01 |
2023-12-31 |
5 |
61972385 |
王淑靈 |
多異質嵌入式系統的建模、仿真與驗證研究 |
面上項目 |
60 |
2020-01-01 |
2023-12-31 |
6 |
61972386 |
劉杰 |
無服務器架構機器學習的計算模型與系統框架研究 |
面上項目 |
60 |
2020-01-01 |
2023-12-31 |
7 |
61972387 |
韓騰 |
皮膚界面的交互與實現技術 |
面上項目 |
60 |
2020-01-01 |
2023-12-31 |
8 |
61976205 |
沈一棟 |
析取回答集邏輯語言標準語義模型及推理算法研究 |
面上項目 |
58 |
2020-01-01 |
2023-12-31 |
9 |
61976206 |
蘇冰 |
基于最優傳輸的序列距離學習理論和方法研究 |
面上項目 |
61 |
2020-01-01 |
2023-12-31 |
10 |
61981330063 |
馬翠霞 |
基于大數據可視化與交互技術的可持續城市化智能服務設計 |
國際(地區)合作與交流項目 |
15 |
2019-01-01 |
2019-12-31 |