2010年度國家自然科學基金申請評審結果
文章來源： | 發布時間：2010-08-20 | 【打印】 【關閉】
2010年度國家自然科學基金集中受理申請的評審結果已揭曉。軟件所14個項目獲得資助（面上項目6項、青年科學基金項目8項），資助經費364萬元。本年度軟件所共集中申請基金項目67項，獲準率達到21%。
|
序號 |
項目批準號 |
項目負責人 |
項目名稱 |
|
1 |
61003026 |
許中興 |
面向錯誤檢測的C++程序靜態分析技術 |
|
2 |
61003027 |
張震宇 |
持續集成中的回歸測試和錯誤定位 |
|
3 |
61003028 |
肖俊超 |
軟件過程執行不確定性研究 |
|
4 |
61003029 |
吳國全 |
動態服務組合自治愈關鍵技術研究 |
|
5 |
61003030 |
夏盟佶 |
計數復雜性的擴展研究 |
|
6 |
61003117 |
李文波 |
大規模概率主題模型的高性能求解 |
|
7 |
61003228 |
陳馳 |
空間數據訪問控制模型研究 |
|
8 |
61005039 |
鄧小明 |
基于單目全向圖像序列的高精度視覺自定位研究 |
|
9 |
61070038 |
陳海明 |
無秩樹結構數據和語義多態類型系統的研究 |
|
10 |
61070039 |
張健 |
基于EFSM模型的測試與錯誤診斷 |
|
11 |
61073044 |
王青 |
知識驅動的軟件過程資源配置及質量控制方法研究 |
|
12 |
61073178 |
周永彬 |
能量分析攻擊、防御及測評的理論方法與關鍵技術研究 |
|
13 |
61073179 |
蘇璞睿 |
基于動態污點傳播的惡意軟件逆向分析研究 |
|
14 |
61073180 |
朱紅松 |
基于無線環境認知的多網絡優化共存關鍵技術研究 |
