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

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

文章來源： | 發布時間：2011-08-19 | 【打印】【關閉】

2011年中國科學院軟件研究所獲得國家基金委資助項目清單
查詢日期：2011-8-19 金額：萬元
序號	項目批準號	項目負責人	依托單位	項目名稱	申請代碼1	項目類別	批準金額	開始日期	結題日期
1	11171323	王明生	中國科學院軟件研究所	Groebner 基計算的新理論和快速算法研究	A011503	面上項目	36	2012-1-1	2015-12-31
2	61100061	王淑靈	中國科學院軟件研究所	面向對象程序的形式化規范與驗證	F020106	青年科學基金項目	24	2012-1-1	2014-12-31
3	61100062	吳志林	中國科學院軟件研究所	無窮字母表上的形式模型：邏輯與自動機	F020106	青年科學基金項目	21	2012-1-1	2014-12-31
4	61100063	楊瀟瀟	中國科學院軟件研究所	基于非阻塞同步機制的多核并發系統模塊化驗證方法研究	F020106	青年科學基金項目	24	2012-1-1	2014-12-31
5	61100064	馬菲菲	中國科學院軟件研究所	可滿足性問題的擴展研究	F020107	青年科學基金項目	23	2012-1-1	2014-12-31
6	61100065	喬曉強	中國科學院軟件研究所	面向服務協作的分布式適配關鍵技術研究	F0202	青年科學基金項目	24	2012-1-1	2014-12-31
7	61100066	鄧攀	中國科學院軟件研究所	物聯網中可信設備協同的建模與驗證方法研究	F020201	青年科學基金項目	22	2012-1-1	2014-12-31
8	61100067	陶秋銘	中國科學院軟件研究所	基于歷史數據復用的軟件回歸測試加速技術	F020202	青年科學基金項目	23	2012-1-1	2014-12-31
9	61100068	王偉	中國科學院軟件研究所	面向多租戶的彈性平臺云的資源管理機制研究	F020202	青年科學基金項目	24	2012-1-1	2014-12-31
10	61100069	吳鵬	中國科學院軟件研究所	基于測試用例多樣性的并發軟件適應性測試方法研究	F020202	青年科學基金項目	23	2012-1-1	2014-12-31
11	61100070	薛云志	中國科學院軟件研究所	面向實時通信協議的結構化測試用例自動生成方法研究	F020202	青年科學基金項目	20	2012-1-1	2014-12-31
12	61100071	鐘浩	中國科學院軟件研究所	基于異構數據分析的軟件庫規約挖掘方法研究	F020202	青年科學基金項目	23	2012-1-1	2014-12-31
13	61100072	龍國平	中國科學院軟件研究所	基于軟硬件協同優化的線程間指令重用研究	F0203	青年科學基金項目	23	2012-1-1	2014-12-31
14	61100073	王婷	中國科學院軟件研究所	空間天氣學全球MHD數值模擬的大規模并行計算研究	F020305	青年科學基金項目	23	2012-1-1	2014-12-31
15	61100074	晏榮杰	中國科學院軟件研究所	基于BIP的嵌入式多核軟硬件系統建模及其設計方法	F020308	青年科學基金項目	22	2012-1-1	2014-12-31
16	61100151	姜映映	中國科學院軟件研究所	基于手寫設備的在線筆跡智能理解和交互技術研究	F020506	青年科學基金項目	23	2012-1-1	2014-12-31
17	61100152	韓先培	中國科學院軟件研究所	面向異構Web信息源的語義知識獲取和融合關鍵技術研究	F020606	青年科學基金項目	22	2012-1-1	2014-12-31
18	61100162	楊海燕	中國科學院軟件研究所	可視分析過程中草圖信息的表征與檢索	F020506	青年科學基金項目	22	2012-1-1	2014-12-31
19	61100225	張銳	中國科學院軟件研究所	防泄漏加密方案的設計及其可證明安全性分析	F020701	青年科學基金項目	23	2012-1-1	2014-12-31
20	61100226	陳愷	中國科學院軟件研究所	基于礦脈理論的軟件安全漏洞測評方法研究	F020704	青年科學基金項目	21	2012-1-1	2014-12-31
21	61100227	程亮	中國科學院軟件研究所	邏輯驅動的跨操作系統安全機制評價方法研究	F020705	青年科學基金項目	21	2012-1-1	2014-12-31
22	61100228	賈曉啟	中國科學院軟件研究所	面向虛擬化平臺的惡意軟件防御方法研究	F020705	青年科學基金項目	21	2012-1-1	2014-12-31
23	61100237	張敏	中國科學院軟件研究所	密文云計算環境數據安全關鍵技術	F020705	青年科學基金項目	20	2012-1-1	2014-12-31
24	61150110168	Georgios	中國科學院軟件研究所	Computability theory and Informatics	F020101	國際(地區)合作與交流項目	20	2011-7-1	2012-6-30
25	61170072	王永吉	中國科學院軟件研究所	云計算環境下的隱蔽信道機理研究	F0201	面上項目	55	2012-1-1	2015-12-31
26	61170073	李勇堅	中國科學院軟件研究所	基于一階符號軌跡計算理論的模型檢測	F020106	面上項目	56	2012-1-1	2015-12-31
27	61170074	葉丹	中國科學院軟件研究所	面向智能化個人軟件生產環境的Mashup方法及技術研究	F020202	面上項目	59	2012-1-1	2015-12-31
28	61170075	楊超	中國科學院軟件研究所	數萬核環境偏微分方程可擴展解法器若干關鍵技術研究	F020206	面上項目	57	2012-1-1	2015-12-31
29	61170182	田豐	中國科學院軟件研究所	Reality-based Interaction用戶界面模型和評估方法研究	F020506	面上項目	57	2012-1-1	2015-12-31
30	61170278	張振峰	中國科學院軟件研究所	基于格的密碼方案設計與分析	F020701	面上項目	56	2012-1-1	2015-12-31
31	61170279	徐靜	中國科學院軟件研究所	無線傳感器網絡密鑰管理協議研究	F020702	面上項目	56	2012-1-1	2015-12-31
32	61170280	薛銳	中國科學院軟件研究所	符號化通用復合的密碼協議分析方法研究	F020702	面上項目	56	2012-1-1	2015-12-31
33	61170281	趙險峰	中國科學院軟件研究所	非馬爾可夫模型下基于數據關聯的隱寫分析研究	F020703	面上項目	55	2012-1-1	2015-12-31
34	61170282	卿斯漢	中國科學院軟件研究所	Windows 7 操作系統的安全性分析	F020705	面上項目	57	2012-1-1	2015-12-31
35	61170325	曹建文	中國科學院軟件研究所	DAE問題求解軟件包中的結構指標約減算法失效與修復技術研究	F020505	面上項目	54	2012-1-1	2015-12-31
36	61173003	黃濤	中國科學院軟件研究所	面向多承租的彈性緩存服務關鍵技術研究	F0202	面上項目	64	2012-1-1	2015-12-31
37	61173004	鐘華	中國科學院軟件研究所	基于統計監測的網構軟件異常診斷研究	F0202	面上項目	60	2012-1-1	2015-12-31
38	61173005	魏峻	中國科學院軟件研究所	面向終端用戶的情境化服務構造與演化關鍵技術研究	F020201	面上項目	61	2012-1-1	2015-12-31
39	61173057	滕東興	中國科學院軟件研究所	基于雙曲樹的分支分類信息的可視分析模型與方法	F020505	面上項目	57	2012-1-1	2015-12-31
40	61173058	馬翠霞	中國科學院軟件研究所	面向視頻語義描述與交互的草圖界面關鍵技術研究	F020506	面上項目	57	2012-1-1	2015-12-31
41	61173059	張鳳軍	中國科學院軟件研究所	基于手持移動設備的三維用戶界面研究	F020506	面上項目	58	2012-1-1	2015-12-31
42	61173134	武傳坤	中國科學院軟件研究所	非線性密碼函數的構造與分析及其在密碼學中的應用	F020701	面上項目	59	2012-1-1	2015-12-31
43	71101138	張文	中國科學院軟件研究所	基于網絡潛在群體的開源軟件缺陷解決研究	G011203	青年科學基金項目	20	2012-1-1	2014-12-31