承担的主要国家级科研项目



项目名称项目来源
智慧城市信息-物理融合关键技术开发与应用国家重点研发计划项目
基于异构图计算机的数据管理与分析系统国家重点研发计划项目
星载信息系统信息安全防护技术国家重点研发计划项目
基于情景感知的知识导航国家重点研发计划项目
抗量子计算攻击的轻量级隐私保护安全外包计算新方法研究国家重点研发计划项目
社会安全大数据基础架构研究国家重点研发计划项目
IPv6 地址驱动的互联网安全管控体系结构和关键机制研究国家重点研发计划项目
多方参与的数据安全计算密码构造理论研究国家重点研发计划项目
多环境下非合作系统的漏洞XXX研究国家重点研发计划项目
异构身份联盟与监管基础科学问题研究国家重点研发计划项目
强安全的密码资源保护算法理论与设计研究国家重点研发计划项目
无人机集群位置感知XXX验证国家重点研发计划项目
北极放大的全球效应及对中国气候的影响机理973项目
多源异质数据的信息提取与快速变化检测973项目
高增益光谱探测采集的系统集成973项目
海量集群行为信息的分析与挖掘973项目
海量信息错误自动检测与修复的理论和技术研究973项目
基于数据同化的温室气体与气候变暖作用机制研究973项目
软件物化理论研究973项目
实几何与实代数的高效能算法973项目
物联网的异构融合和自治机理研究973项目
物联网可信软件设计理论与方法研究973项目
信息服务的运行支撑平台及在交通、医疗信息服务中的实证研究973项目
重要G蛋白偶联受体的结构与功能研究及配体发现973项目
主体化、服务化的网构软件模型、方法及可信保障973项目
城市移动文化生活服务聚合系统与应用示范国家科技支撑项目
大规模屏幕互动新媒体服务支撑技术研究国家科技支撑项目
国家科技支撑-2011国家科技支撑项目
贸易型第三方跨境电商服务支撑技术研究国家科技支撑项目
汽车电子系统可靠性分析和验证方法研究国家科技支撑项目
嵌入式软件安全系统关键技术研究国家科技支撑项目
新一代可信任互联网试验网国家科技支撑项目
医养结合的养老云服务平台及集成化养老智能终端设备研发国家科技支撑项目
拉曼光谱仪软件算法设计科技部重大专项
未来先进核裂变能-钍基熔盐堆核能系统科技部重大专项
863863项目
20118632_1863项目
201286370101863项目
2015zp01(701)863项目
8631-2009863项目
863-2008863项目
863-2010863项目
86370101863项目
863子课题云存储在教育行业中的应用863项目
865-125863项目
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的实时嵌入式系统形式化验证与分析国家自然科学基金项目
面向信息物理融合系统的程序统一理论研究国家自然科学基金项目
基于高阶模型检测的复杂高阶程序的验证方法研究国家自然科学基金项目
基于核密度估计的大规模空间流数据可视化关键技术研究国家自然科学基金项目
流形循环可微分编程网络的边缘计算及其在肺癌实时预测中的研究国家自然科学基金项目
数据驱动的机器学习软件系统的形式化需求建模工程方法国家自然科学基金项目
不确定环境下信息物理系统高效可信构造关键技术研究国家自然科学基金项目
实时环境下概率程序的符号验证方法及其参数化扩展国家自然科学基金项目
面向路网的反向空间查询处理研究国家自然科学基金项目
遥感图像快速拼接模型与算法研究国家自然科学基金项目
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数据记录仪开发国际合作项目
东京理化新销售系统开发国际合作项目
环境监测记录仪开发国际合作项目
模式识别与智能控制研究国际合作项目
日本东京理化技术支持国际合作项目
软件生产性研究国际合作项目
香港理工大学深圳研究院技术服务国际合作项目
智能计算与智能系统研究国际合作项目

金沙集团直营

Copyright 金沙集团直营_金沙游艺场网址

院长信箱:yuanzhang@sei.ecnu.edu.cn | 院办电话:021-62232550 | 学院地址:上海中山北路3663号理科大楼