承擔的主要國家級科研項目

 

項目名稱 項目來源
智慧城市信息-物理融合關鍵技術開發與應用 國家重點研發計劃項目
基于異構圖計算機的數據管理與分析系統 國家重點研發計劃項目
星載信息系統信息安全防護技術 國家重點研發計劃項目
基于情景感知的知識導航 國家重點研發計劃項目
抗量子計算攻擊的輕量級隱私保護安全外包計算新方法研究 國家重點研發計劃項目
社會安全大數據基礎架構研究 國家重點研發計劃項目
IPv6 地址驅動的互聯網安全管控體系結構和關鍵機制研究 國家重點研發計劃項目
多方參與的數據安全計算密碼構造理論研究 國家重點研發計劃項目
多環境下非合作系統的漏洞XXX研究 國家重點研發計劃項目
異構身份聯盟與監管基礎科學問題研究 國家重點研發計劃項目
強安全的密碼資源保護算法理論與設計研究 國家重點研發計劃項目
無人機集群位置感知XXX驗證 國家重點研發計劃項目
北極放大的全球效應及對中國氣候的影響機理 973項目
多源異質數據的信息提取與快速變化檢測 973項目
高增益光譜探測采集的系統集成 973項目
海量集群行為信息的分析與挖掘 973項目
海量信息錯誤自動檢測與修復的理論和技術研究 973項目
基于數據同化的溫室氣體與氣候變暖作用機制研究 973項目
軟件物化理論研究 973項目
實幾何與實代數的高效能算法 973項目
物聯網的異構融合和自治機理研究 973項目
物聯網可信軟件設計理論與方法研究 973項目
信息服務的運行支撐平臺及在交通、醫療信息服務中的實證研究 973項目
重要G蛋白偶聯受體的結構與功能研究及配體發現 973項目
主體化、服務化的網構軟件模型、方法及可信保障 973項目
城市移動文化生活服務聚合系統與應用示范 國家科技支撐項目
大規模屏幕互動新媒體服務支撐技術研究 國家科技支撐項目
國家科技支撐-2011 國家科技支撐項目
貿易型第三方跨境電商服務支撐技術研究 國家科技支撐項目
汽車電子系統可靠性分析和驗證方法研究 國家科技支撐項目
嵌入式軟件安全系統關鍵技術研究 國家科技支撐項目
新一代可信任互聯網試驗網 國家科技支撐項目
醫養結合的養老云服務平臺及集成化養老智能終端設備研發 國家科技支撐項目
拉曼光譜儀軟件算法設計 科技部重大專項
未來先進核裂變能-釷基熔鹽堆核能系統 科技部重大專項
863 863項目
20118632_1 863項目
201286370101 863項目
2015zp01(701) 863項目
8631-2009 863項目
863-2008 863項目
863-2010 863項目
86370101 863項目
863子課題云存儲在教育行業中的應用 863項目
865-125 863項目
trustie技術在航天控制軟件生產過程中的可信評估,應用和演化研究 863項目
純XML-關系數據庫系統PXRDB研制與應用 863項目
面向大數據應用的新型內存計算系統軟件及關鍵技術 863項目
面向三網融合的集成播控平臺研究與示范 863項目
面向信息-物理融合的系統平臺 863項目
數據驅動的媒體內容動態自組織及封裝技術研究 863項目
網構化軟件可信評估技術與工具 863項目
G蛋白偶聯受體調控乳腺癌細胞改造骨內微環境的分子機制研究 國家自然科學基金項目
LBS中連續查詢的位置匿名研究 國家自然科學基金項目
UML 可執行的統一形式語義框架研究 國家自然科學基金項目
XML 個性化協作搜索及其在社會網絡服務中的應用 國家自然科學基金項目
安全工控程序分解與轉換的形式化理論研究 國家自然科學基金項目
按列存儲數據管理系統的查詢優化 國家自然科學基金項目
變化檢測驅動的邊緣約束條件隨機場模型及其遷移學習 國家自然科學基金項目
不確定環境下可信國產城軌控制系統(iCMTCt)構造關鍵技術研究 國家自然科學基金項目
不確定數據管理的理論與關鍵技術 國家自然科學基金項目
不確定知識圖譜中面向結構查詢的眾包清洗研究 國家自然科學基金項目
車載網和車載云中信息安全與隱私保護關鍵技術研究 國家自然科學基金項目
稠密量子等離子體中的非線性集體相互作用研究 國家自然科學基金項目
從屬性基加密到功能加密的擴展安全模型與新方法研究 國家自然科學基金項目
大尺度流體流固耦合與形變破壞的快速仿真研究 國家自然科學基金項目
大規模概率并發實時系統模型檢驗 國家自然科學基金項目
大數據環境下互聯網用戶行為隱私保護及風險管控技術研究 國家自然科學基金項目
代數幾何在編碼理論與密碼中的應用 國家自然科學基金項目
帶邊界條件的可積非線性波方程理論和數值算法 國家自然科學基金項目
對等計算復雜網絡的拓撲生成、行為牽引與標靶免疫 國家自然科學基金項目
多視角最大熵判別的理論與方法研究 國家自然科學基金項目
多視圖下的個體自適應心電圖分類方法 國家自然科學基金項目
惡意軟件靜態分析與檢測關鍵技術研究 國家自然科學基金項目
非Tarski模型定理機器證明 國家自然科學基金項目
非對角GMI傳感器的機理研究和微型化設計 國家自然科學基金項目
非局域非線性系統的孤子激發及其相互作用 國家自然科學基金項目
非線性波方程的可積離散、非局域對稱和??煞e數值算法 國家自然科學基金項目
非線性物理學中若干機械化算法的研究 國家自然科學基金項目
非線性系統的對稱性理論研究及其工程化應用 國家自然科學基金項目
非線性系統的精確解與復雜邊條件下的高精度解 國家自然科學基金項目
非線性振動系統解析近似解的自動推導研究 國家自然科學基金項目
服務構件安全協同建模與驗證方法研究 國家自然科學基金項目
概率圖模型方法及應用 國家自然科學基金項目
高光譜圖像稀疏解混模型及其快速算法研究 國家自然科學基金項目
高效屬性基密碼及其拓展的研究 國家自然科學基金項目
格構造與格算法研究 國家自然科學基金項目
海量位置數據管理的基礎理論與關鍵技術 國家自然科學基金項目
海量眾包數據管理的關鍵技術 國家自然科學基金項目
行為數據驅動的個體間關系結構協同發現與匹配的模型與算法研究 國家自然科學基金項目
航天嵌入式軟件可信性保障集成環境和示范驗證與應用 國家自然科學基金項目
航天嵌入式軟件可信性構造與驗證的關鍵技術研究 國家自然科學基金項目
混合云中的數據密集型工作流調度策略研究 國家自然科學基金項目
基于aEEG 的新生兒腦功能狀態自動辨識研究 國家自然科學基金項目
基于MARTE 的實時系統模型驅動架構關鍵問題研究 國家自然科學基金項目
基于RDF的軟件工程數據存儲與檢索技術研究 國家自然科學基金項目
基于UTP的混成建模語言的理論研究 國家自然科學基金項目
基于貝葉斯推理的視覺注意計算模型及應用研究 國家自然科學基金項目
基于地址序列抽取的存儲器加密認證研究 國家自然科學基金項目
基于多特征融合的G蛋白偶聯特異性預測方法研究 國家自然科學基金項目
基于多樣化特征表達的生物文獻自動分類研究 國家自然科學基金項目
基于多源數據的可視模型與動態仿真 國家自然科學基金項目
基于訪問控制環境的加密系統和認證技術研究 國家自然科學基金項目
基于非凸目標函數的稀疏學習及其在醫療診斷中的應用 國家自然科學基金項目
基于符號-數值混合計算的多項式優化問題的準確驗證 國家自然科學基金項目
基于符號-數值混合計算的線性微分-差分方程的理論及算法研究 國家自然科學基金項目
基于高階規約定向測試的異構系統驗證研究 國家自然科學基金項目
基于高斯過程動態系統的多輸出時序數據分類與回歸 國家自然科學基金項目
基于環境的信息物理系統時空需求建模方法研究 國家自然科學基金項目
基于計算機代數的我國高速列車運行控制系統規范CTCS-3/4的分析與驗證 國家自然科學基金項目
基于計算實代數幾何的混成系統驗證研究 國家自然科學基金項目
基于可視化推薦的圖像檢索技術研究 國家自然科學基金項目
基于模型檢測的高可靠性軟件動態更新的設計與驗證 國家自然科學基金項目
基于內容的視頻事件檢測與描述研究 國家自然科學基金項目
基于視覺+運動詞典的視頻事件檢測研究 國家自然科學基金項目
基于雙系統加密的可證安全技術 國家自然科學基金項目
基于隨機點過程的大規模事件數據的建模推斷與控制 國家自然科學基金項目
基于特征約束的三維光流模型的擴散張量圖像配準研究 國家自然科學基金項目
基于無線傳感器網絡的智能電網狀態監測系統信息安全關鍵技術研究 國家自然科學基金項目
基于系統性質的雙向持續檢測方法的研究 國家自然科學基金項目
基于虛擬原型的信息物理融合系統高效可信構造研究 國家自然科學基金項目
基于學習技術的多目標進化算法重組算子研究 國家自然科學基金項目
基于異構醫學影像數據的深度挖掘技術及中樞神經系統重大疾病的精準預測 國家自然科學基金項目
基于原子自旋效應的超高靈敏磁場與慣性測量實驗研究裝置 國家自然科學基金項目
基于眾包技術的知識圖譜精化研究 國家自然科學基金項目
集群環境下的高通量事務處理技術 國家自然科學基金項目
近似推理的區間值模型及其邏輯基礎 國家自然科學基金項目
具有時空一致性的軟件形式化理論與方法的研究 國家自然科學基金項目
可信軟件指導專家組管理 國家自然科學基金項目
可信軟件專家組經費 國家自然科學基金項目
跨場景多定位系統環境下的移動對象數據管理 國家自然科學基金項目
量化進程的語義 國家自然科學基金項目
流密碼代數攻擊研究 國家自然科學基金項目
密碼雜湊函數的新型分析與設計研究 國家自然科學基金項目
密鑰授權機制與新型密碼原語的應用研究 國家自然科學基金項目
面向IaaS云性能保證的資源彈性配置及其性價比優化研究 國家自然科學基金項目
面向車聯網的可信網絡應用軟件系統試驗環境與示范應用 國家自然科學基金項目
面向大規模分布式一致性最優化問題的結構型一階求解算法研究 國家自然科學基金項目
面向大規模圖數據的高效結構查詢技術研究 國家自然科學基金項目
面向大數據系統的安全計算 國家自然科學基金項目
面向蛋白質結構預測的支持向量機的研究 國家自然科學基金項目
面向電子健康檔案的患者健康軌跡動態過程建模及在呼吸道疾病的臨床應用研究 國家自然科學基金項目
面向電子健康檔案的患者相似度模型研究及其兒童社區獲得性肺炎臨床應用 國家自然科學基金項目
面向概率數據流的聚集查詢處理技術 國家自然科學基金項目
面向個性化服裝制造的三維設計與靈巧機器人縫紉技術研究 國家自然科學基金項目
面向工業供需鏈的云計算安全技術研究 國家自然科學基金項目
面向居家養老的協同看護行為情境化建模與交互機制研究 國家自然科學基金項目
面向賽道存儲器多核嵌入式系統的調度與數據分配研究 國家自然科學基金項目
面向三維圖像分割的深度學習算法研究 國家自然科學基金項目
面向社會秩序的社會計算理論和方法研究 國家自然科學基金項目
面向時空約束的CPS協同機制的形式化建模與分析 國家自然科學基金項目
面向實時復雜數據的信息擴散模型和分析算法研究 國家自然科學基金項目
面向衛星電子系統抗輻照能力的量化驗證與評估技術 國家自然科學基金項目
面向物聯網搜索的隱私保護理論和關鍵技術 國家自然科學基金項目
面向虛擬著裝和試衣仿真的碰撞檢測與碰撞響應算法研究 國家自然科學基金項目
模型輔助演化多目標優化及應用 國家自然科學基金項目
模型驅動式UML/MARTE模型形式驗證方法 國家自然科學基金項目
內存集群環境下的實時數據處理 國家自然科學基金項目
匿名性變換基礎問題及其輕量級應用系統設計 國家自然科學基金項目
嵌入式控制軟件的形式化規格說明構建的工程方法 國家自然科學基金項目
求解多目標旅行商問題的分布估計算法研究 國家自然科學基金項目
身份基和無證書認證非對稱群密鑰協商的研究 國家自然科學基金項目
時空行為序列驅動的移動社交網絡用戶分析與建模研究 國家自然科學基金項目
時空統一建模、精化和驗證方法研究 國家自然科學基金項目
數據密集型計算環境下的數據管理方法與技術 國家自然科學基金項目
數據與物理混合驅動的高速流體快速仿真與細節增強 國家自然科學基金項目
數據質量管理中的完整性約束關鍵技術研究 國家自然科學基金項目
特征與分數階微分驅動的光流計算及其在大形變腦圖像配準中的研究 國家自然科學基金項目
網絡化信息物理計算基礎研究 國家自然科學基金項目
網絡化信息物理計算基礎研究 國家自然科學基金項目
網絡信息傳播的模型與計算 國家自然科學基金項目
委員會機器模型若干問題研究及氣象應用 國家自然科學基金項目
無線傳感器網絡中的廣播認證技術研究 國家自然科學基金項目
物聯網的高效可驗證安全外包計算關鍵技術研究 國家自然科學基金項目
稀疏半監督學習的理論與方法研究 國家自然科學基金項目
系統軟件的可信保障方法與集成工具 國家自然科學基金項目
現代網絡中多方認證方案的設計方法與理論研究 國家自然科學基金項目
線形時態邏輯的可滿足性理論與應用研究 國家自然科學基金項目
線性微分-差分系統求解及分解的機械化算法研究 國家自然科學基金項目
信息科學中若干理論問題的機械化證明 國家自然科學基金項目
信息物理融合系統的基礎研究 國家自然科學基金項目
信息物理融合系統的基礎研究 國家自然科學基金項目
信息物理融合系統的隨機行為建模與驗證方法研究 國家自然科學基金項目
氧化物異質界面穩定性的熱力學和第一性原理研究 國家自然科學基金項目
一種基于偏微分方程面片的三維幾何模型參數表示方案 國家自然科學基金項目
移動環境下以商戶為中心的客戶定向機制 國家自然科學基金項目
移動群智感知中基于位置語義的情景計算關鍵技術研究 國家自然科學基金項目
應用超穎材料提高非接觸式電能傳輸耦合性能的機理研究 國家自然科學基金項目
有限域上最優LCD碼的構造研究 國家自然科學基金項目
災害現象的多尺度建模與交互可視化研究 國家自然科學基金項目
在線診斷:針對臨床征兆的診斷搜索模型研究 國家自然科學基金項目
支持WEB服務搜索的情境數據管理 國家自然科學基金項目
支持技術創新的海量數據管理基礎理論與關鍵技術 國家自然科學基金項目
指導專家組調研和組織學術會議費用 國家自然科學基金項目
指導專家組組織和管理 國家自然科學基金項目
狀態轉換系統的格值量化驗證方法研究 國家自然科學基金項目
自然語言處理中基于矩陣的結構化學習研究 國家自然科學基金項目
自適應全變分模型的高分辨率遙感影像房屋提取及后處理方法研究 國家自然科學基金項目
組合約束求解過程及其在程序驗證中的應用 國家自然科學基金項目
最優算法機制設計若干問題的研究 國家自然科學基金項目
非線性局域波科學問題研討會 國家自然科學基金項目
基于時鐘約束建模語言CCSL的實時嵌入式系統形式化驗證與分析 國家自然科學基金項目
面向信息物理融合系統的程序統一理論研究 國家自然科學基金項目
基于高階模型檢測的復雜高階程序的驗證方法研究 國家自然科學基金項目
基于核密度估計的大規??臻g流數據可視化關鍵技術研究 國家自然科學基金項目
流形循環可微分編程網絡的邊緣計算及其在肺癌實時預測中的研究 國家自然科學基金項目
數據驅動的機器學習軟件系統的形式化需求建模工程方法 國家自然科學基金項目
不確定環境下信息物理系統高效可信構造關鍵技術研究 國家自然科學基金項目
實時環境下概率程序的符號驗證方法及其參數化擴展 國家自然科學基金項目
面向路網的反向空間查詢處理研究 國家自然科學基金項目
遙感圖像快速拼接模型與算法研究 國家自然科學基金項目
2010-國信-1 科技部其他科技項目
汽車電子功能安全體系設計及功能安全模型及驗證工具開發 科技部其他科技項目
支持多傳感網應用的中間件平臺研發 科技部其他科技項目
Enforced workflow ACL control and scheduling on Open cloud framework 國際合作項目
eSchoolbag Std. and application Research 國際合作項目
Fan exchange China項目 國際合作項目
MID Architecture Vehicle Telematics Based on the GENIVI Platform 國際合作項目
Research on the Smarter Vehicle System over Telematics 國際合作項目
ST317數據記錄儀開發 國際合作項目
東京理化新銷售系統開發 國際合作項目
環境監測記錄儀開發 國際合作項目
模式識別與智能控制研究 國際合作項目
日本東京理化技術支持 國際合作項目
軟件生產性研究 國際合作項目
香港理工大學深圳研究院技術服務 國際合作項目
智能計算與智能系統研究 國際合作項目
華東師范大學軟件工程學院
www.chgmeridian.com Copyright School of Software Engineering
院長信箱:yuanzhang@sei.ecnu.edu.cn | 院辦電話:021-62232550 | 學院地址:上海中山北路3663號理科大樓
江苏快3开奖结果