承担的主要国家级科研项目
| 项目名称 | 项目来源 |
| 智慧城市信息-物理融合关键技术开发与应用 | 国家重点研发计划项目 |
| 基于异构图计算机的数据管理与分析系统 | 国家重点研发计划项目 |
| 星载信息系统信息安全防护技术 | 国家重点研发计划项目 |
| 基于情景感知的知识导航 | 国家重点研发计划项目 |
| 抗量子计算攻击的轻量级隐私保护安全外包计算新方法研究 | 国家重点研发计划项目 |
| 社会安全大数据基础架构研究 | 国家重点研发计划项目 |
| 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传感器的机理研究和微型化设计 | 国家自然科学基金项目 |
| 非局域非线性系统的孤子激发及其相互作用 | 国家自然科学基金项目 |
| 非线性波方程的可积离散、非局域对称和保可积数值算法 | 国家自然科学基金项目 |
| 非线性物理学中若干机械化算法的研究 | 国家自然科学基金项目 |
| 非线性系统的对称性理论研究及其工程化应用 | 国家自然科学基金项目 |
| 非线性系统的精确解与复杂边条件下的高精度解 | 国家自然科学基金项目 |
| 非线性振动系统解析近似解的自动推导研究 | 国家自然科学基金项目 |
| 服务构件安全协同建模与验证方法研究 | 国家自然科学基金项目 |
| 概率图模型方法及应用 | 国家自然科学基金项目 |
| 高光谱图像稀疏解混模型及其快速算法研究 | 国家自然科学基金项目 |
| 高效属性基密码及其拓展的研究 | 国家自然科学基金项目 |
| 格构造与格算法研究 | 国家自然科学基金项目 |
| 海量位置数据管理的基础理论与关键技术 | 国家自然科学基金项目 |
| 海量众包数据管理的关键技术 | 国家自然科学基金项目 |
| 行为数据驱动的个体间关系结构协同发现与匹配的模型与算法研究 | 国家自然科学基金项目 |
| 航天嵌入式软件可信性保障集成环境和示范验证与应用 | 国家自然科学基金项目 |
| 航天嵌入式软件可信性构造与验证的关键技术研究 | 国家自然科学基金项目 |
| 混合云中的数据密集型工作流调度策略研究 | 国家自然科学基金项目 |
| 基于aEEG 的新生儿脑功能状态自动辨识研究 | 国家自然科学基金项目 |
| 基于MARTE 的实时系统模型驱动架构关键问题研究 | 国家自然科学基金项目 |
| 基于RDF的软件工程数据存储与检索技术研究 | 国家自然科学基金项目 |
| 基于UTP的混成建模语言的理论研究 | 国家自然科学基金项目 |
| 基于贝叶斯推理的视觉注意计算模型及应用研究 | 国家自然科学基金项目 |
| 基于地址序列抽取的存储器加密认证研究 | 国家自然科学基金项目 |
| 基于多特征融合的G蛋白偶联特异性预测方法研究 | 国家自然科学基金项目 |
| 基于多样化特征表达的生物文献自动分类研究 | 国家自然科学基金项目 |
| 基于多源数据的可视模型与动态仿真 | 国家自然科学基金项目 |
| 基于访问控制环境的加密系统和认证技术研究 | 国家自然科学基金项目 |
| 基于非凸目标函数的稀疏学习及其在医疗诊断中的应用 | 国家自然科学基金项目 |
| 基于符号-数值混合计算的多项式优化问题的准确验证 | 国家自然科学基金项目 |
| 基于符号-数值混合计算的线性微分-差分方程的理论及算法研究 | 国家自然科学基金项目 |
| 基于高阶规约定向测试的异构系统验证研究 | 国家自然科学基金项目 |
| 基于高斯过程动态系统的多输出时序数据分类与回归 | 国家自然科学基金项目 |
| 基于环境的信息物理系统时空需求建模方法研究 | 国家自然科学基金项目 |
| 基于计算机代数的我国高速列车运行控制系统规范CTCS-3/4的分析与验证 | 国家自然科学基金项目 |
| 基于计算实代数几何的混成系统验证研究 | 国家自然科学基金项目 |
| 基于可视化推荐的图像检索技术研究 | 国家自然科学基金项目 |
| 基于模型检测的高可靠性软件动态更新的设计与验证 | 国家自然科学基金项目 |
| 基于内容的视频事件检测与描述研究 | 国家自然科学基金项目 |
| 基于视觉+运动词典的视频事件检测研究 | 国家自然科学基金项目 |
| 基于双系统加密的可证安全技术 | 国家自然科学基金项目 |
| 基于随机点过程的大规模事件数据的建模推断与控制 | 国家自然科学基金项目 |
| 基于特征约束的三维光流模型的扩散张量图像配准研究 | 国家自然科学基金项目 |
| 基于无线传感器网络的智能电网状态监测系统信息安全关键技术研究 | 国家自然科学基金项目 |
| 基于系统性质的双向持续检测方法的研究 | 国家自然科学基金项目 |
| 基于虚拟原型的信息物理融合系统高效可信构造研究 | 国家自然科学基金项目 |
| 基于学习技术的多目标进化算法重组算子研究 | 国家自然科学基金项目 |
| 基于异构医学影像数据的深度挖掘技术及中枢神经系统重大疾病的精准预测 | 国家自然科学基金项目 |
| 基于原子自旋效应的超高灵敏磁场与惯性测量实验研究装置 | 国家自然科学基金项目 |
| 基于众包技术的知识图谱精化研究 | 国家自然科学基金项目 |
| 集群环境下的高通量事务处理技术 | 国家自然科学基金项目 |
| 近似推理的区间值模型及其逻辑基础 | 国家自然科学基金项目 |
| 具有时空一致性的软件形式化理论与方法的研究 | 国家自然科学基金项目 |
| 可信软件指导专家组管理 | 国家自然科学基金项目 |
| 可信软件专家组经费 | 国家自然科学基金项目 |
| 跨场景多定位系统环境下的移动对象数据管理 | 国家自然科学基金项目 |
| 量化进程的语义 | 国家自然科学基金项目 |
| 流密码代数攻击研究 | 国家自然科学基金项目 |
| 密码杂凑函数的新型分析与设计研究 | 国家自然科学基金项目 |
| 密钥授权机制与新型密码原语的应用研究 | 国家自然科学基金项目 |
| 面向IaaS云性能保证的资源弹性配置及其性价比优化研究 | 国家自然科学基金项目 |
| 面向车联网的可信网络应用软件系统试验环境与示范应用 | 国家自然科学基金项目 |
| 面向大规模分布式一致性最优化问题的结构型一阶求解算法研究 | 国家自然科学基金项目 |
| 面向大规模图数据的高效结构查询技术研究 | 国家自然科学基金项目 |
| 面向大数据系统的安全计算 | 国家自然科学基金项目 |
| 面向蛋白质结构预测的支持向量机的研究 | 国家自然科学基金项目 |
| 面向电子健康档案的患者健康轨迹动态过程建模及在呼吸道疾病的临床应用研究 | 国家自然科学基金项目 |
| 面向电子健康档案的患者相似度模型研究及其儿童社区获得性肺炎临床应用 | 国家自然科学基金项目 |
| 面向概率数据流的聚集查询处理技术 | 国家自然科学基金项目 |
| 面向个性化服装制造的三维设计与灵巧机器人缝纫技术研究 | 国家自然科学基金项目 |
| 面向工业供需链的云计算安全技术研究 | 国家自然科学基金项目 |
| 面向居家养老的协同看护行为情境化建模与交互机制研究 | 国家自然科学基金项目 |
| 面向赛道存储器多核嵌入式系统的调度与数据分配研究 | 国家自然科学基金项目 |
| 面向三维图像分割的深度学习算法研究 | 国家自然科学基金项目 |
| 面向社会秩序的社会计算理论和方法研究 | 国家自然科学基金项目 |
| 面向时空约束的CPS协同机制的形式化建模与分析 | 国家自然科学基金项目 |
| 面向实时复杂数据的信息扩散模型和分析算法研究 | 国家自然科学基金项目 |
| 面向卫星电子系统抗辐照能力的量化验证与评估技术 | 国家自然科学基金项目 |
| 面向物联网搜索的隐私保护理论和关键技术 | 国家自然科学基金项目 |
| 面向虚拟着装和试衣仿真的碰撞检测与碰撞响应算法研究 | 国家自然科学基金项目 |
| 模型辅助演化多目标优化及应用 | 国家自然科学基金项目 |
| 模型驱动式UML/MARTE模型形式验证方法 | 国家自然科学基金项目 |
| 内存集群环境下的实时数据处理 | 国家自然科学基金项目 |
| 匿名性变换基础问题及其轻量级应用系统设计 | 国家自然科学基金项目 |
| 嵌入式控制软件的形式化规格说明构建的工程方法 | 国家自然科学基金项目 |
| 求解多目标旅行商问题的分布估计算法研究 | 国家自然科学基金项目 |
| 身份基和无证书认证非对称群密钥协商的研究 | 国家自然科学基金项目 |
| 时空行为序列驱动的移动社交网络用户分析与建模研究 | 国家自然科学基金项目 |
| 时空统一建模、精化和验证方法研究 | 国家自然科学基金项目 |
| 数据密集型计算环境下的数据管理方法与技术 | 国家自然科学基金项目 |
| 数据与物理混合驱动的高速流体快速仿真与细节增强 | 国家自然科学基金项目 |
| 数据质量管理中的完整性约束关键技术研究 | 国家自然科学基金项目 |
| 特征与分数阶微分驱动的光流计算及其在大形变脑图像配准中的研究 | 国家自然科学基金项目 |
| 网络化信息物理计算基础研究 | 国家自然科学基金项目 |
| 网络化信息物理计算基础研究 | 国家自然科学基金项目 |
| 网络信息传播的模型与计算 | 国家自然科学基金项目 |
| 委员会机器模型若干问题研究及气象应用 | 国家自然科学基金项目 |
| 无线传感器网络中的广播认证技术研究 | 国家自然科学基金项目 |
| 物联网的高效可验证安全外包计算关键技术研究 | 国家自然科学基金项目 |
| 稀疏半监督学习的理论与方法研究 | 国家自然科学基金项目 |
| 系统软件的可信保障方法与集成工具 | 国家自然科学基金项目 |
| 现代网络中多方认证方案的设计方法与理论研究 | 国家自然科学基金项目 |
| 线形时态逻辑的可满足性理论与应用研究 | 国家自然科学基金项目 |
| 线性微分-差分系统求解及分解的机械化算法研究 | 国家自然科学基金项目 |
| 信息科学中若干理论问题的机械化证明 | 国家自然科学基金项目 |
| 信息物理融合系统的基础研究 | 国家自然科学基金项目 |
| 信息物理融合系统的基础研究 | 国家自然科学基金项目 |
| 信息物理融合系统的随机行为建模与验证方法研究 | 国家自然科学基金项目 |
| 氧化物异质界面稳定性的热力学和第一性原理研究 | 国家自然科学基金项目 |
| 一种基于偏微分方程面片的三维几何模型参数表示方案 | 国家自然科学基金项目 |
| 移动环境下以商户为中心的客户定向机制 | 国家自然科学基金项目 |
| 移动群智感知中基于位置语义的情景计算关键技术研究 | 国家自然科学基金项目 |
| 应用超颖材料提高非接触式电能传输耦合性能的机理研究 | 国家自然科学基金项目 |
| 有限域上最优LCD码的构造研究 | 国家自然科学基金项目 |
| 灾害现象的多尺度建模与交互可视化研究 | 国家自然科学基金项目 |
| 在线诊断：针对临床征兆的诊断搜索模型研究 | 国家自然科学基金项目 |
| 支持WEB服务搜索的情境数据管理 | 国家自然科学基金项目 |
| 支持技术创新的海量数据管理基础理论与关键技术 | 国家自然科学基金项目 |
| 指导专家组调研和组织学术会议费用 | 国家自然科学基金项目 |
| 指导专家组组织和管理 | 国家自然科学基金项目 |
| 状态转换系统的格值量化验证方法研究 | 国家自然科学基金项目 |
| 自然语言处理中基于矩阵的结构化学习研究 | 国家自然科学基金项目 |
| 自适应全变分模型的高分辨率遥感影像房屋提取及后处理方法研究 | 国家自然科学基金项目 |
| 组合约束求解过程及其在程序验证中的应用 | 国家自然科学基金项目 |
| 最优算法机制设计若干问题的研究 | 国家自然科学基金项目 |
| 非线性局域波科学问题研讨会 | 国家自然科学基金项目 |
| 基于时钟约束建模语言CCSL的实时嵌入式系统形式化验证与分析 | 国家自然科学基金项目 |
| 面向信息物理融合系统的程序统一理论研究 | 国家自然科学基金项目 |
| 基于高阶模型检测的复杂高阶程序的验证方法研究 | 国家自然科学基金项目 |
| 基于核密度估计的大规模空间流数据可视化关键技术研究 | 国家自然科学基金项目 |
| 流形循环可微分编程网络的边缘计算及其在肺癌实时预测中的研究 | 国家自然科学基金项目 |
| 数据驱动的机器学习软件系统的形式化需求建模工程方法 | 国家自然科学基金项目 |
| 不确定环境下信息物理系统高效可信构造关键技术研究 | 国家自然科学基金项目 |
| 实时环境下概率程序的符号验证方法及其参数化扩展 | 国家自然科学基金项目 |
| 面向路网的反向空间查询处理研究 | 国家自然科学基金项目 |
| 遥感图像快速拼接模型与算法研究 | 国家自然科学基金项目 |
| 基于数值特征向量的跨平台物联网设备固件漏洞分析方法研究 | 国家自然科学基金项目 |
| 非可信资源受限环境下的高效密码技术研究 | 国家自然科学基金项目 国际(地区)合作与交流项目 |
| 信息物理系统时空建模与验证关键问题研究 | 国家自然科学基金项目 |
| 认证贡献广播加密及其应用研究 | 国家自然科学基金项目 |
| 时空数据驱动的安全攸关CPS建模与验证方法研究 | 国家自然科学基金项目 |
| 面向量子计算环境数据安全的轻量级密码系统与密钥封装 | 国家自然科学基金项目 |
| 面向新型网络空间实用服务需求的功能加密体制研究 | 国家自然科学基金项目 |
| 深度学习系统的高效可认证的形式化验证技术 | 国家自然科学基金项目 国际(地区)合作与交流项目 |
| 开放环境下安全攸关系统建模和验证理论与方法（国家自然科学基金重点项目课题） | 国家自然科学基金项目 |
| 标准安全性下功能加密体制的新构造研究 | 国家自然科学基金项目 |
| 信任驱动的车载边缘网络协同式可信接入技术研究 | 国家自然科学基金项目 |
| 基于互补近似可达的硬件模型检测技术研究 | 国家自然科学基金项目 |
| 分组密码与哈希函数的安全性分析 | 国家自然科学基金项目 |
| 线性码的正交包及相关问题研究 | 国家自然科学基金项目 |
| 经典-量子混合程序的形式化验证 | 国家自然科学基金项目 |
| 基于随机性质的移动应用软件功能错误自动化检测技术 | 国家自然科学基金项目 |
| 空间飞行器控制软件在轨自适应演化理论与方法研究 | 国家自然科学基金项目 |
| 基于供需感知的共享空间众包关键技术研究 | 国家自然科学基金项目 |
| 高效安全的多功能可搜索加密设计与分析 | 国家自然科学基金项目 |
| 大数据共享与交易中的数据安全可信理论与技术 | 国家自然科学基金项目 |
| 边缘计算的轻量级数据隐私保护关键密码技术研究 | 国家自然科学基金项目 |
| 多项式全局优化的准确验证及其在智能控制系统中的应用研究 | 国家自然科学基金项目 |
| 用户意图驱动的IoT服务逻辑自动生成方法 | 国家自然科学基金项目 |
| 面向智能网联车的时空认知多粒度分解与协同机制的建模与验证 | 国家自然科学基金项目 |
| 量子马尔可夫模型上的符号验证方法及其扩展研究 | 国家自然科学基金项目 |
| 基于区块链的众包服务中可验证的隐私保护关键技术研究 | 国家自然科学基金项目 |
| 云-端架构信息物理系统高效可信构造关键技术研究 | 国家自然科学基金项目 |
| 大规模并行系统的多约束高能效工作流调度方法 | 国家自然科学基金项目 |
| 位向量约束求解器的理论与算法研究 | 国家自然科学基金项目 |
| 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数据记录仪开发 | 国际合作项目 |
| 东京理化新销售系统开发 | 国际合作项目 |
| 环境监测记录仪开发 | 国际合作项目 |
| 模式识别与智能控制研究 | 国际合作项目 |
| 日本东京理化技术支持 | 国际合作项目 |
| 软件生产性研究 | 国际合作项目 |
| 香港理工大学深圳研究院技术服务 | 国际合作项目 |
| 智能计算与智能系统研究 | 国际合作项目 |
beat·365(中国)手机中文官方网站-welcome
学院地址：上海中山北路3663号理科大楼
院长信箱yuanzhang@sei.ecnu.edu.cn | 办公邮箱：office@sei.ecnu.edu.cn | 院办电话：021-62232550
sei.ecnu.edu.cn Copyright Software Engineering Institute