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

 

项目名称 项目来源
智慧城市信息-物理融合关键技术开发与应用 国家重点研发计划项目
基于异构图计算机的数据管理与分析系统 国家重点研发计划项目
星载信息系统信息安全防护技术 国家重点研发计划项目
基于情景感知的知识导航 国家重点研发计划项目
抗量子计算攻击的轻量级隐私保护安全外包计算新方法研究 国家重点研发计划项目
社会安全大数据基础架构研究 国家重点研发计划项目
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的分析与验证 国家自然科学基金项目
基于计算实代数几何的混成系统验证研究 国家自然科学基金项目
基于可视化推荐的图像检索技术研究 国家自然科学基金项目
基于模型检测的高可靠性软件动态更新的设计与验证 国家自然科学基金项目
基于内容的视频事件检测与描述研究 国家自然科学基金项目