承担的主要国家级科研项目(2011-2017)

项目名称 项目来源 二级来源 项目级别 开始日期 结束日期
2015zp01 863计划   国家级项目 2015-07-01 2016-06-30
面向大数据应用的新型内存计算系统软件及关键技术 863计划   国家级项目 2015-01-01 2017-12-31
数据驱动的媒体内容动态自组织及封装技术研究 863计划   国家级项目 2015-01-01 2017-12-31
863子课题云存储在教育行业中的应用 863计划   国家级项目 2013-01-01 2015-12-01
865-125 863计划   国家级项目 2012-07-01 2016-06-01
网构化软件可信评估技术与工具 863计划   国家级项目 2012-01-01 2014-12-01
86370101 863计划   国家级项目 2011-10-01 2012-08-01
面向三网融合的集成播控平台研究与示范 863计划   国家级项目 2011-01-01 2013-12-01
面向信息-物理融合的系统平台 863计划   国家级项目 2011-01-01 2013-12-01
北极放大的全球效应及对中国气候的影响机理 973计划   国家级项目 2015-01-01 2016-07-31
重要G蛋白偶联受体的结构与功能研究及配体发现 973计划   国家级项目 2012-01-01 2013-12-01
海量信息错误自动检测与修复的理论和技术研究 973计划   国家级项目 2012-01-01 2016-12-01
多源异质数据的信息提取与快速变化检测 973计划   国家级项目 2011-01-01 2012-12-01
高增益光谱探测采集的系统集成 973计划   国家级项目 2011-01-01 2015-10-01
软件物化理论研究 973计划   国家级项目 2011-01-01 2013-12-01
物联网的异构融合和自治机理研究 973计划   国家级项目 2011-01-01 2013-08-01
物联网可信软件设计理论与方法研究 973计划   国家级项目 2011-01-01 2013-08-01
基于数据同化的温室气体与气候变暖作用机制研究 973计划   国家级项目 2010-06-01 2014-06-01
海量集群行为信息的分析与挖掘 973计划   国家级项目 2010-01-01 2014-12-01
信息服务的运行支撑平台及在交通、医疗信息服务中的实证研究 973计划   国家级项目 2010-01-01 2014-12-01
主体化、服务化的网构软件模型、方法及可信保障 973计划   国家级项目 2009-01-01 2013-12-01
基于情景感知的知识导航 国家重点研发计划   国家级项目 2016-07-01 2020-12-31
贸易型第三方跨境电商服务支撑技术研究 国家科技支撑计划   国家级项目 2015-04-01 2017-12-31
嵌入式软件安全系统关键技术研究 国家科技支撑计划   国家级项目 2015-04-01 2017-12-31
医养结合的养老云服务平台及集成化养老智能终端设备研发 国家科技支撑计划   国家级项目 2015-01-01 2017-12-31
城市移动文化生活服务聚合系统与应用示范 国家科技支撑计划   国家级项目 2012-12-01 2015-11-01
大规模屏幕互动新媒体服务支撑技术研究 国家科技支撑计划   国家级项目 2012-12-01 2015-11-01
国家科技支撑-2011 国家科技支撑计划   国家级项目 2011-01-01 2013-12-01
拉曼光谱仪软件算法设计 科技部重大专项   国家级项目 2012-10-01 2016-10-01
未来先进核裂变能-钍基熔盐堆核能系统 科技部重大专项   国家级项目 2011-12-01 2016-01-01
汽车电子功能安全体系设计及功能安全模型及验证工具开发

科技部其他

科技项目

基础性工作专项 国家级项目 2014-01-01 2016-12-31
支持多传感网应用的中间件平台研发

科技部其他

科技项目

  国家级项目 2010-01-01 2012-12-01
网络化信息物理计算基础研究

国家自然科学

基金项目

创新研究群体科学基金 国家级项目 2011-01-01 2013-12-01
网络化信息物理计算基础研究

国家自然科学

基金项目

创新研究群体科学基金 国家级项目 2014-01-01 2016-12-31
指导专家组调研和组织

国家自然科学

基金项目

重大研究计划 国家级项目 2015-06-01 2018-12-31
不确定环境下可信国产城轨控制系统(iCMTCt)构造关键技术研究

国家自然科学

基金项目

重大研究计划 国家级项目 2015-01-01 2016-12-31
系统软件的可信保障方法与集成工具

国家自然科学

基金项目

重大研究计划 国家级项目 2013-02-01 2016-12-31
航天嵌入式软件可信性保障集成环境和示范验证与应用

国家自然科学

基金项目

重大研究计划 国家级项目 2012-01-01 2015-12-01
面向车联网的可信网络应用软件系统试验环境与示范应用

国家自然科学

基金项目

重大研究计划 国家级项目 2012-01-01 2015-12-01
基于计算机代数的我国高速列车运行控制系统规范CTCS-3/4的分析与验证

国家自然科学

基金项目

重大研究计划 国家级项目 2011-01-01 2011-12-01
指导专家组组织和管理

国家自然科学

基金项目

重大研究计划 国家级项目 2011-01-01 2011-12-01
可信软件指导专家组管理

国家自然科学

基金项目

重大研究计划 国家级项目 2010-01-01 2010-12-01
航天嵌入式软件可信性构造与验证的关键技术研究

国家自然科学

基金项目

重大研究计划 国家级项目 2009-01-01 2012-12-01
面向电子健康档案的患者健康轨迹动态过程建模及在呼吸道疾病的临床应用研究

国家自然科学

基金项目

重点项目 国家级项目 2017-01-01 2021-12-31
面向大数据系统的安全计算

国家自然科学

基金项目

重点项目 国家级项目 2017-01-01 2021-12-31
非线性系统的对称性理论研究及其工程化应用

国家自然科学

基金项目

重点项目 国家级项目 2015-01-01 2019-12-31
面向社会秩序的社会计算理论和方法研究

国家自然科学

基金项目

重点项目 国家级项目 2014-01-01 2018-12-01
G蛋白偶联受体调控乳腺癌细胞改造骨内微环境的分子机制研究

国家自然科学

基金项目

重点项目 国家级项目 2014-01-01 2018-12-01
海量位置数据管理的基础理论与关键技术

国家自然科学

基金项目

重点项目 国家级项目 2013-01-01 2017-12-01
支持技术创新的海量数据管理基础理论与关键技术

国家自然科学

基金项目

重点项目 国家级项目 2013-01-01 2017-12-01
数据密集型计算环境下的数据管理方法与技术

国家自然科学

基金项目

重点项目 国家级项目 2011-01-01 2014-12-01
不确定数据管理的理论与关键技术

国家自然科学

基金项目

重点项目 国家级项目 2010-01-01 2013-12-01
代数几何在编码理论与密码中的应用

国家自然科学

基金项目

国际(地区)合作与交流项目 国家级项目 2011-01-01 2013-12-01
信息物理融合系统的基础研究

国家自然科学

基金项目

国际(地区)合作与交流项目 国家级项目 2014-01-01 2016-12-31
信息物理融合系统的基础研究

国家自然科学

基金项目

国际(地区)合作与交流项目 国家级项目 2011-01-01 2013-12-01
大规模概率并发实时系统模型检验

国家自然科学

基金项目

专项基金项目 国家级项目 2016-01-01 2020-12-31
变化检测驱动的边缘约束条件随机场模型及其迁移学习

国家自然科学

基金项目

专项基金项目 国家级项目 2014-01-01 2014-12-01
从属性基加密到功能加密的扩展安全模型与新方法研究

国家自然科学

基金项目

面上项目 国家级项目 2017-01-01 2020-12-31
带边界条件的可积非线性波方程理论和数值算法

国家自然科学

基金项目

面上项目 国家级项目 2017-01-01 2020-12-31
非局域非线性系统的孤子激发及其相互作用

国家自然科学

基金项目

面上项目 国家级项目 2017-01-01 2020-12-31
基于高斯过程动态系统的多输出时序数据分类与回归

国家自然科学

基金项目

面上项目 国家级项目 2017-01-01 2020-12-31
基于随机点过程的大规模事件数据的建模推断与控制

国家自然科学

基金项目

面上项目 国家级项目 2017-01-01 2020-12-31
基于异构医学影像数据的深度挖掘技术及中枢神经系统重大疾病的精准预测

国家自然科学

基金项目

面上项目 国家级项目 2017-01-01 2020-12-31
量化进程的语义

国家自然科学

基金项目

面上项目 国家级项目 2017-01-01 2020-12-31
面向大规模图数据的高效结构查询技术研究

国家自然科学

基金项目

面上项目 国家级项目 2017-01-01 2020-12-31
面向个性化服装制造的三维设计与灵巧机器人缝纫技术研究

国家自然科学

基金项目

面上项目 国家级项目 2017-01-01 2020-12-31
面向卫星电子系统抗辐照能力的量化验证与评估技术

国家自然科学

基金项目

面上项目 国家级项目 2017-01-01 2020-12-31
模型辅助演化多目标优化及应用

国家自然科学

基金项目

面上项目 国家级项目 2017-01-01 2020-12-31
内存集群环境下的实时数据处理

国家自然科学

基金项目

面上项目 国家级项目 2017-01-01 2020-12-31
数据与物理混合驱动的高速流体快速仿真与细节增强

国家自然科学

基金项目

面上项目 国家级项目 2017-01-01 2020-12-31
移动群智感知中基于位置语义的情景计算关键技术研究

国家自然科学

基金项目

面上项目 国家级项目 2017-01-01 2020-12-31
车载网和车载云中信息安全与隐私保护关键技术研究

国家自然科学

基金项目

面上项目 国家级项目 2016-01-01 2019-12-31
基于多源数据的可视模型与动态仿真

国家自然科学

基金项目

面上项目 国家级项目 2016-01-01 2020-12-30
集群环境下的高通量事务处理技术

国家自然科学

基金项目

面上项目 国家级项目 2016-01-01 2019-12-31
面向工业供需链的云计算安全技术研究

国家自然科学

基金项目

面上项目 国家级项目 2016-01-01 2019-12-31
面向物联网搜索的隐私保护理论和关键技术

国家自然科学

基金项目

面上项目 国家级项目 2016-01-01 2020-12-30
面向虚拟着装和试衣仿真的碰撞检测与碰撞响应算法研究

国家自然科学

基金项目

面上项目 国家级项目 2016-01-01 2019-12-31
匿名性变换基础问题及其轻量级应用系统设计

国家自然科学

基金项目

面上项目 国家级项目 2016-01-01 2019-12-31
时空统一建模、精化和验证方法研究

国家自然科学

基金项目

面上项目 国家级项目 2016-01-01 2019-12-31
线形时态逻辑的可满足性理论与应用研究

国家自然科学

基金项目

面上项目 国家级项目 2016-01-01 2019-12-31
海量众包数据管理的关键技术

国家自然科学

基金项目

面上项目 国家级项目 2015-01-01 2018-12-31
基于双系统加密的可证安全技术

国家自然科学

基金项目

面上项目 国家级项目 2015-01-01 2018-12-31
基于无线传感器网络的智能电网状态监测系统信息安全关键技术研究

国家自然科学

基金项目

面上项目 国家级项目 2015-01-01 2018-12-31
信息物理融合系统的随机行为建模与验证方法研究

国家自然科学

基金项目

面上项目 国家级项目 2015-01-01 2018-12-31
多视角最大熵判别的理论与方法研究

国家自然科学

基金项目

面上项目 国家级项目 2014-01-01 2017-12-01
非线性系统的精确解与复杂边条件下的高精度解

国家自然科学

基金项目

面上项目 国家级项目 2014-01-01 2017-12-31
高效属性基密码及其拓展的研究

国家自然科学

基金项目

面上项目 国家级项目 2014-01-01 2017-12-31
格构造与格算法研究

国家自然科学

基金项目

面上项目 国家级项目 2014-01-01 2017-12-01
基于符号-数值混合计算的线性微分-差分方程的理论及算法研究

国家自然科学

基金项目

面上项目 国家级项目 2014-01-01 2017-12-01
基于内容的视频事件检测与描述研究

国家自然科学

基金项目

面上项目 国家级项目 2014-01-01 2017-12-01
具有时空一致性的软件形式化理论与方法的研究

国家自然科学

基金项目

面上项目 国家级项目 2014-01-01 2017-12-01
数据质量管理中的完整性约束关键技术研究

国家自然科学

基金项目

面上项目 国家级项目 2014-01-01 2017-12-01
信息科学中若干理论问题的机械化证明

国家自然科学

基金项目

面上项目 国家级项目 2014-01-01 2017-12-01
稠密量子等离子体中的非线性集体相互作用研究

国家自然科学

基金项目

面上项目 国家级项目 2013-01-01 2016-12-31
大尺度流体流固耦合与形变破坏的快速仿真研究

国家自然科学

基金项目

面上项目 国家级项目 2013-01-01 2016-12-01
非线性波方程的可积离散、非局域对称和保可积数值算法

国家自然科学

基金项目

面上项目 国家级项目 2013-01-01 2016-12-01
基于非凸目标函数的稀疏学习及其在医疗诊断中的应用

国家自然科学

基金项目

面上项目 国家级项目 2013-01-01 2016-12-01
基于特征约束的三维光流模型的扩散张量图像配准研究

国家自然科学

基金项目

面上项目 国家级项目 2013-01-01 2016-12-01
基于学习技术的多目标进化算法重组算子研究

国家自然科学

基金项目

面上项目 国家级项目 2013-01-01 2016-12-01
应用超颖材料提高非接触式电能传输耦合性能的机理研究

国家自然科学

基金项目

面上项目 国家级项目 2013-01-01 2016-12-01
XML 个性化协作搜索及其在社会网络服务中的应用

国家自然科学

基金项目

面上项目 国家级项目 2012-01-01 2015-12-01
基于贝叶斯推理的视觉注意计算模型及应用研究

国家自然科学

基金项目

面上项目 国家级项目 2012-01-01 2015-12-01
氧化物异质界面稳定性的热力学和第一性原理研究

国家自然科学

基金项目

面上项目 国家级项目 2012-01-01 2015-12-01
基于MARTE 的实时系统模型驱动架构关键问题研究

国家自然科学

基金项目

面上项目 国家级项目 2011-11-01 2015-12-01
UML 可执行的统一形式语义框架研究

国家自然科学

基金项目

面上项目 国家级项目 2011-01-01 2013-12-01
非Tarski模型定理机器证明

国家自然科学

基金项目

面上项目 国家级项目 2011-01-01 2013-12-01
非线性物理学中若干机械化算法的研究

国家自然科学

基金项目

面上项目 国家级项目 2011-01-01 2013-12-01
非线性振动系统解析近似解的自动推导研究

国家自然科学

基金项目

面上项目 国家级项目 2011-01-01 2013-12-01
跨场景多定位系统环境下的移动对象数据管理

国家自然科学

基金项目

面上项目 国家级项目 2011-01-01 2013-12-01
稀疏半监督学习的理论与方法研究

国家自然科学

基金项目

面上项目 国家级项目 2011-01-01 2013-12-01
灾害现象的多尺度建模与交互可视化研究

国家自然科学

基金项目

面上项目 国家级项目 2011-01-01 2013-12-01
安全工控程序分解与转换的形式化理论研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2017-01-01 2019-12-31
行为数据驱动的个体间关系结构协同发现与匹配的模型与算法研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2017-01-01 2019-12-31
基于虚拟原型的信息物理融合系统高效可信构造研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2017-01-01 2017-12-31
面向时空约束的CPS协同机制的形式化建模与分析

国家自然科学

基金项目

青年科学基金项目 国家级项目 2017-01-01 2019-12-31
网络信息传播的模型与计算

国家自然科学

基金项目

青年科学基金项目 国家级项目 2017-01-01 2018-12-31
物联网的高效可验证安全外包计算关键技术研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2017-01-01 2019-12-31
在线诊断:针对临床征兆的诊断搜索模型研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2017-01-01 2019-12-31
不确定知识图谱中面向结构查询的众包清洗研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2016-01-01 2016-12-31
高光谱图像稀疏解混模型及其快速算法研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2016-01-01 2018-12-31
基于模型检测的高可靠性软件动态更新的设计与验证

国家自然科学

基金项目

青年科学基金项目 国家级项目 2016-01-01 2018-12-31
基于系统性质的双向持续检测方法的研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2016-01-01 2018-12-31
面向IaaS云性能保证的资源弹性配置及其性价比优化研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2016-01-01 2018-12-31
面向大规模分布式一致性最优化问题的结构型一阶求解算法研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2016-01-01 2018-12-31
面向实时复杂数据的信息扩散模型和分析算法研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2016-01-01 2018-12-31
多视图下的个体自适应心电图分类方法

国家自然科学

基金项目

青年科学基金项目 国家级项目 2015-01-01 2017-12-31
恶意软件静态分析与检测关键技术研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2015-01-01 2017-12-31
基于UTP的混成建模语言的理论研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2015-01-01 2017-12-31
嵌入式控制软件的形式化规格说明构建的工程方法

国家自然科学

基金项目

青年科学基金项目 国家级项目 2015-01-01 2017-12-31
移动环境下以商户为中心的客户定向机制

国家自然科学

基金项目

青年科学基金项目 国家级项目 2015-01-01 2017-12-31
自然语言处理中基于矩阵的结构化学习研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2015-01-01 2017-12-31
组合约束求解过程及其在程序验证中的应用

国家自然科学

基金项目

青年科学基金项目 国家级项目 2015-01-01 2017-12-31
混合云中的数据密集型工作流调度策略研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2014-01-01 2016-12-01
自适应全变分模型的高分辨率遥感影像房屋提取及后处理方法研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2014-01-01 2016-12-01
基于高阶规约定向测试的异构系统验证研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2013-01-01 2015-12-01
基于环境的信息物理系统时空需求建模方法研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2013-01-01 2015-12-01
身份基和无证书认证非对称群密钥协商的研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2013-01-01 2015-12-01
委员会机器模型若干问题研究及气象应用

国家自然科学

基金项目

青年科学基金项目 国家级项目 2013-01-01 2015-12-01
一种基于偏微分方程面片的三维几何模型参数表示方案

国家自然科学

基金项目

青年科学基金项目 国家级项目 2013-01-01 2015-12-01
状态转换系统的格值量化验证方法研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2013-01-01 2015-12-01
基于aEEG 的新生儿脑功能状态自动辨识研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2012-01-01 2014-12-01
基于视觉+运动词典的视频事件检测研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2012-01-01 2014-12-01
无线传感器网络中的广播认证技术研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2012-01-01 2014-12-01
支持WEB服务搜索的情境数据管理

国家自然科学

基金项目

青年科学基金项目 国家级项目 2012-01-01 2014-12-01
按列存储数据管理系统的查询优化

国家自然科学

基金项目

青年科学基金项目 国家级项目 2011-01-01 2013-12-01
概率图模型方法及应用

国家自然科学

基金项目

青年科学基金项目 国家级项目 2011-01-01 2013-12-01
求解多目标旅行商问题的分布估计算法研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2011-01-01 2011-12-01
最优算法机制设计若干问题的研究

国家自然科学

基金项目

青年科学基金项目 国家级项目 2011-01-01 2013-12-01
环境监测记录仪开发 国际合作项目   国际合作项目 2016-01-10 2016-12-31
东京理化新销售系统开发 国际合作项目   国际合作项目 2015-01-01 2015-12-31
Enforced workflow ACL control and scheduling on Open cloud framework 国际合作项目   国际合作项目 2014-10-01 2015-06-30
香港理工大学深圳研究院技术服务 国际合作项目   国际合作项目 2014-06-13 2016-06-13
日本东京理化技术支持 国际合作项目   国际合作项目 2013-11-01 2014-10-01
智能计算与智能系统研究 国际合作项目   国际合作项目 2013-01-01 2017-12-01
Research on the Smarter Vehicle System over Telematics 国际合作项目   国际合作项目 2012-04-01 2013-04-01
Fan exchange China项目 国际合作项目   国际合作项目 2011-11-01 2012-11-01
eSchoolbag Std. and application Research 国际合作项目   国际合作项目 2011-04-01 2012-09-01
模式识别与智能控制研究 国际合作项目   国际合作项目 2010-10-01 2015-09-01
软件生产性研究 国际合作项目   国际合作项目 2010-02-01 2015-02-01
华东师范大学计算机科学与软件工程学院
www.sei.ecnu.edu.cn Copyright School of Computer Science and Software Engineering
院长信箱:yuanzhang@sei.ecnu.edu.cn | 院办电话:021-62232550 | 学院地址:上海中山北路3663号理科大楼| 招聘信息