2016年中國科學院軟件研究所獲得國家基金委資助項目清單
文章來源： | 發布時間：2016-10-24 | 【打印】 【關閉】
| 序號 | 項目批準號 | 負責人 | 項目名稱 | 項目類別 | 批準金額 | 開始日期 | 結題日期 |
| 1 | 61602449 | 杜長營 | 高效貝葉斯最大間隔特征空間變換方法研究 | 青年科學基金項目 | 21 | 2017.1.1 | 2019.12.31 |
| 2 | 61602450 | 王俊杰 | 眾測環境下測試報告的智能篩選方法研究 | 青年科學基金項目 | 20 | 2017.1.1 | 2019.12.31 |
| 3 | 61602451 | 牛樹梓 | 面向移動應用的個性化排序學習研究 | 青年科學基金項目 | 20 | 2017.1.1 | 2019.12.31 |
| 4 | 61602452 | 盧獻 | 基于量子游走的子圖結構量子搜索算法研究 | 青年科學基金項目 | 21 | 2017.1.1 | 2019.12.31 |
| 5 | 61602453 | 高揚 | 面向用戶評論的論辯挖掘方法研究 | 青年科學基金項目 | 21 | 2017.1.1 | 2019.12.31 |
| 6 | 61602454 | 徐繼偉 | 基于分片復用的多版本容器鏡像加載方法研究 | 青年科學基金項目 | 20 | 2017.1.1 | 2019.12.31 |
| 7 | 61602455 | 馮偉 | 面向智能嵌入式設備的輕量級證明機制研究 | 青年科學基金項目 | 20 | 2017.1.1 | 2019.12.31 |
| 8 | 61602456 | 朱娜斐 | 支持多源信息多重訪問的隱私泄露定量研究 | 青年科學基金項目 | 20 | 2017.1.1 | 2019.12.31 |
| 9 | 61602457 | 和亮 | 面向二進制程序的內存敏感數據泄露問題研究 | 青年科學基金項目 | 20 | 2017.1.1 | 2019.12.31 |
| 10 | 61602458 | 聶楚江 | 工業控制系統環境下的軟件兼容性分析與判定方法研究 | 青年科學基金項目 | 20 | 2017.1.1 | 2019.12.31 |
| 11 | 61603372 | 白延成 | 復雜場景下基于卷積神經網絡目標跟蹤算法研究 | 青年科學基金項目 | 20 | 2017.1.1 | 2019.12.31 |
| 12 | 61603373 | 蘇冰 | 基于最大化時序可分性的序列數據特征變換理論和方法研究 | 青年科學基金項目 | 22 | 2017.1.1 | 2019.12.31 |
| 13 | 61672501 | 王浩 | 基于位置的社會化網絡多尺度用戶建模方法研究 | 面上項目 | 63 | 2017.1.1 | 2020.12.31 |
| 14 | 61672502 | 吳恩華 | 基于頻譜與幾何細節分析的流體動態仿真自適應方法研究 | 面上項目 | 63 | 2017.1.1 | 2020.12.31 |
| 15 | 61672503 | 李勇堅 | 基于歸納不變式的帶參協議驗證 | 面上項目 | 62 | 2017.1.1 | 2020.12.31 |
| 16 | 61672504 | 張文輝 | 限界正確性檢查及相關模型檢測技術 | 面上項目 | 63 | 2017.1.1 | 2020.12.31 |
| 17 | 61672505 | 嚴俊 | Android 應用軟件的高效率靜態分析 | 面上項目 | 62 | 2017.1.1 | 2020.12.31 |
| 18 | 61672506 | 高楚舒 | 面向動態Web應用的錯誤分析與定位技術研究 | 面上項目 | 63 | 2017.1.1 | 2020.12.31 |
| 19 | 61672507 | 王丹力 | 基于分布式認知的兒童實物增強現實編程研究 | 面上項目 | 16 | 2017.1.1 | 2017.12.31 |
| 20 | 61672508 | 張常有 | 面向異構眾核平臺的交通圖像車型檢索并行計算模式研究 | 面上項目 | 63 | 2017.1.1 | 2020.12.31 |
| 21 | 61672509 | 吳文玲 | 認證加密算法的設計與分析 | 面上項目 | 63 | 2017.1.1 | 2020.12.31 |
| 22 | 61625206 | 詹乃軍 | 復雜安全攸關嵌入式系統形式設計 | 國家杰出青年科學基金 | 350 | 2017.1.1 | 2021.12.31 |
