2015年中國科學院軟件研究所獲得國家基金委資助項目清單----中國科學院軟件研究所

2015年中國科學院軟件研究所獲得國家基金委資助項目清單

文章來源： | 發布時間：2015-12-13 | 【打印】【關閉】

查詢日期：2015-09-02 金額：萬元

序號	項目批準號	負責人	依托單位	項目名稱	申請代碼1	項目類別	批準金額	開始日期	結題日期
1	11502275	趙海濤	中國科學院軟件研究所	三維爆炸問題高精度大規模高可擴展計算方法研究	A020601	青年科學基金項目	22	2016-01-01	2018-12-31
2	61502464	蔡少偉	中國科學院軟件研究所	最大可滿足性問題的局部搜索算法	F020509	青年科學基金項目	21	2016-01-01	2018-12-31
3	61502465	蔡彥	中國科學院軟件研究所	數據競爭的主動檢測技術	F020202	青年科學基金項目	20	2016-01-01	2018-12-31
4	61502466	王微	中國科學院軟件研究所	基于信息論的度量學習在不同約束下的理論和方法研究	F020508	青年科學基金項目	21	2016-01-01	2018-12-31
5	61502467	李楊佳	中國科學院軟件研究所	小規模量子混成系統的驗證	F020102	青年科學基金項目	20	2016-01-01	2018-12-31
6	61502468	應凌云	中國科學院軟件研究所	面向應用商店的移動智能終端惡意軟件檢測關鍵技術研究	F020705	青年科學基金項目	20	2016-01-01	2018-12-31
7	61502469	楊軼	中國科學院軟件研究所	虛擬化混淆代碼逆向分析方法研究	F020705	青年科學基金項目	20	2016-01-01	2018-12-31
8	61503365	張慧	中國科學院軟件研究所	基于多級顯著性紋理特征的虹膜圖像半監督聚類與分類研究	F030406	青年科學基金項目	22	2016-01-01	2018-12-31
9	61532019	張立軍	中國科學院軟件研究所	大規模概率并發實時系統模型檢驗	F020106	重點項目	285	2016-01-01	2020-12-31
10	61550110249	Turrini Andrea	中國科學院軟件研究所	LP-Based Reduction Techniques for Analyzing Cost Probabilistic Automata	F020106	國際(地區)合作與交流項目	17	2016-01-01	2016-12-31
11	61550110506	Hahn Ernst Moritz	中國科學院軟件研究所	Model Checking of Complex and Hybrid Stochastic Systems	F020106	國際(地區)合作與交流項目	34	2016-01-01	2016-12-31
12	61572477	韓先培	中國科學院軟件研究所	開放域語義關系抽取、表示和計算關鍵技術研究	F020606	面上項目	63	2016-01-01	2019-12-31
13	61572478	朱雪陽	中國科學院軟件研究所	同步數據流模型優化研究	F020207	面上項目	64	2016-01-01	2019-12-31
14	61572479	張鳳軍	中國科學院軟件研究所	面向多顯示環境的分布式用戶界面研究	F020506	面上項目	67	2016-01-01	2019-12-31
15	61572480	黃濤	中國科學院軟件研究所	云應用遷移配置和在線運行管理關鍵技術研究	F020206	面上項目	68	2016-01-01	2019-12-31
16	61572481	劉劍	中國科學院軟件研究所	融合動態執行和語義推理的軟件演化錯誤定位及應用研究	F020202	面上項目	67	2016-01-01	2019-12-31
17	61572482	張斌	中國科學院軟件研究所	典型流密碼的安全性分析	F020701	面上項目	66	2016-01-01	2019-12-31
18	61572483	蘇璞睿	中國科學院軟件研究所	安全協議實現的逆向分析與安全評估方法研究	F020704	面上項目	65	2016-01-01	2019-12-31
19	61572484	張立廷	中國科學院軟件研究所	認證加密工作模式研究	F020701	面上項目	65	2016-01-01	2019-12-31
20	61572485	徐靜	中國科學院軟件研究所	匿名認證協議的設計理論與分析方法研究	F020702	面上項目	64	2016-01-01	2019-12-31
21	91530103	楊超	中國科學院軟件研究所	大型異構系統上數百萬核可擴展的新型區域分裂隱式求解器研究	A011711	重大研究計劃	42	2016-01-01	2018-12-31
22	91530109	曹建文	中國科學院軟件研究所	基于 PDE 特性的特征值計算新型計算模式研究	A011705	重大研究計劃	25	2016-1-1	2016-12-31
23	91530323	楊超	中國科學院軟件研究所	基于國產神威100PF系統的高性能算法庫研究	A011711	重大研究計劃	260	2016-1-1	2018-12-31
24	U1536205	張振峰	中國科學院軟件研究所	基于格的抗量子計算公鑰密碼理論與技術研究	L05	聯合基金項目	252	2016-1-1	2019-12-31