2014年中國科學院軟件研究所獲得國家基金委資助項目清單
文章來源： | 發布時間：2014-08-18 | 【打印】 【關閉】
| 序號 | 項目批準號 | 負責人 | 依托單位 | 項目名稱 | 申請代碼1 | 項目類別 | 批準金額 | 開始日期 | 結題日期 |
|---|---|---|---|---|---|---|---|---|---|
| 1 | 11471312 | 李會元 | 中國科學院軟件研究所 | 高性能譜/譜元方法研究及其在多相復雜流體中的應用 | A011707 | 面上項目 | 65 | 2015-01-01 | 2018-12-31 |
| 2 | 41401409 | 王琰 | 中國科學院軟件研究所 | 基于感知編組規則的遙感影像分析馬爾柯夫隨機場圖模型研究 | D0106 | 青年科學基金項目 | 25 | 2015-01-01 | 2017-12-31 |
| 3 | 61401439 | 溫佳 | 中國科學院軟件研究所 | 基于字典學習及壓縮感知的干涉高光譜數據壓縮重建算法研究 | F011303 | 青年科學基金項目 | 22 | 2015-01-01 | 2017-12-31 |
| 4 | 61402447 | 張晨 | 中國科學院軟件研究所 | 基于形成演化機理的事件探測、推理與感知方法研究 | F020511 | 青年科學基金項目 | 26 | 2015-01-01 | 2017-12-31 |
| 5 | 61402448 | 何小偉 | 中國科學院軟件研究所 | 基于粒子的碎裂及大規模顆粒流仿真 | F020501 | 青年科學基金項目 | 25 | 2015-01-01 | 2017-12-31 |
| 6 | 61402449 | 郭黎敏 | 中國科學院軟件研究所 | 大數據環境下軌跡破案中的移動對象數據挖掘關鍵技術研究 | F020204 | 青年科學基金項目 | 23 | 2015-01-01 | 2017-12-31 |
| 7 | 61402450 | 王燾 | 中國科學院軟件研究所 | 基于統計學習的云計算系統故障檢測與診斷方法研究 | F020208 | 青年科學基金項目 | 24 | 2015-01-01 | 2017-12-31 |
| 8 | 61402451 | 于佳耕 | 中國科學院軟件研究所 | 虛擬機不確定錯誤的溯源方法研究 | F020205 | 青年科學基金項目 | 24 | 2015-01-01 | 2017-12-31 |
| 9 | 61402452 | 朱嘉奇 | 中國科學院軟件研究所 | 互聯網文檔流上的不確定復雜事件檢測方法 | F020512 | 青年科學基金項目 | 25 | 2015-01-01 | 2017-12-31 |
| 10 | 61402453 | 陳偉 | 中國科學院軟件研究所 | 復雜網絡應用的配置錯誤診斷及修復關鍵技術研究 | F020202 | 青年科學基金項目 | 24 | 2015-01-01 | 2017-12-31 |
| 11 | 61402454 | 王立澤 | 中國科學院軟件研究所 | 基于程序綜合的符號執行環境建模方法研究 | F020202 | 青年科學基金項目 | 25 | 2015-01-01 | 2017-12-31 |
| 12 | 61402455 | 初曉博 | 中國科學院軟件研究所 | 移動終端平臺中的基礎可信服務和高效安全協議研究 | F020705 | 青年科學基金項目 | 25 | 2015-01-01 | 2017-12-31 |
| 13 | 61402456 | 李昊 | 中國科學院軟件研究所 | 面向大數據的訪問控制關鍵技術研究 | F020705 | 青年科學基金項目 | 25 | 2015-01-01 | 2017-12-31 |
| 14 | 61422212 | 田豐 | 中國科學院軟件研究所 | 人機界面技術 | F020506 | 優秀青年科學基金項目 | 100 | 2015-01-01 | 2017-12-31 |
| 15 | 61428208 | 馮元 | 中國科學院軟件研究所 | 量子通信協議的自動化驗證 | F020102 | 海外及港澳學者合作研究基金 | 20 | 2015-01-01 | 2016-12-31 |
| 16 | 61433015 | 孫樂 | 中國科學院軟件研究所 | 漢語認知加工機制與計算模型研究 | F0307 | 重點項目 | 350 | 2015-01-01 | 2019-12-31 |
| 17 | 61471344 | 張陽 | 中國科學院軟件研究所 | 操作系統訪問控制錯誤修復方法研究 | F010202 | 面上項目 | 82 | 2015-01-01 | 2018-12-31 |
| 18 | 61472405 | 陳海明 | 中國科學院軟件研究所 | 確定性表達式及其子類的理論問題與工具研究 | F020101 | 面上項目 | 80 | 2015-01-01 | 2018-12-31 |
| 19 | 61472406 | 李廣元 | 中國科學院軟件研究所 | 度量區間時序邏輯MITL的模型檢測與控制器合成 | F020106 | 面上項目 | 80 | 2015-01-01 | 2018-12-31 |
| 20 | 61472407 | 吳國全 | 中國科學院軟件研究所 | 基于捕獲/重放機制的客戶端JavaScript應用調試與分析研究 | F020202 | 面上項目 | 86 | 2015-01-01 | 2018-12-31 |
| 21 | 61472408 | 金蓓弘 | 中國科學院軟件研究所 | 車聯網環境下的事件檢測和分發研究 | F020206 | 面上項目 | 80 | 2015-01-01 | 2018-12-31 |
| 22 | 61472409 | 張立武 | 中國科學院軟件研究所 | 云身份管理及認證授權服務技術研究 | F020702 | 面上項目 | 83 | 2015-01-01 | 2018-12-31 |
| 23 | 61472473 | 張立軍 | 中國科學院軟件研究所 | 概率系統的模型檢驗與其應用 | F020106 | 面上項目 | 62 | 2015-01-01 | 2018-12-31 |
| 24 | 61472474 | 吳志林 | 中國科學院軟件研究所 | 動態數據結構的形狀性質與數據約束：基于分離邏輯的自動分析與驗證 | F020106 | 面上項目 | 60 | 2015-01-01 | 2018-12-31 |
| 25 | 61473276 | 鄧小明 | 中國科學院軟件研究所 | 基于全向深度視覺的高精度人體肢體運動三維重建研究 | F030410 | 面上項目 | 83 | 2015-01-01 | 2018-12-31 |
