项目名称项目来源智慧城市信息-物理融合关键技术开发与应用国家重点研发计划项目基于异构图计算机的数据管理与分析系统国家重点研发计划项目星载信息系统信息安全防护技术国家重点研发计划项目基于情景感知的知识导航国家重点研发计划项目抗量子计算攻击的轻量级隐私保护安全外包计算新方法研究国家重点研发计划项目社会安全大数据基础架构研究国家重点研发计划项目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的实时嵌入式系统形式化验证与分析国家自然科学基金项目面向信息物理融合系统的程序统一理论研究国家自然科学基金项目基于高阶模型检测的复杂高阶程序的验证方法研究国家自然科学基金项目基于核密度估计的大规模空间流数据可视化关键技术研究国家自然科学基金项目流形循环可微分编程网络的边缘计算及其在肺癌实时预测中的研究国家自然科学基金项目数据驱动的机器学习软件系统的形式化需求建模工程方法国家自然科学基金项目不确定环境下信息物理系统高效可信构造关键技术研究国家自然科学基金项目实时环境下概率程序的符号验证方法及其参数化扩展国家自然科学基金项目面向路网的反向空间查询处理研究国家自然科学基金项目遥感图像快速拼接模型与算法研究国家自然科学基金项目基于数值特征向量的跨平台物联网设备固件漏洞分析方法研究国家自然科学基金项目非可信资源受限环境下的高效密码技术研究

国家自然科学基金项目

国际(地区)合作与交流项目

信息物理系统时空建模与验证关键问题研究国家自然科学基金项目认证贡献广播加密及其应用研究国家自然科学基金项目时空数据驱动的安全攸关CPS建模与验证方法研究国家自然科学基金项目面向量子计算环境数据安全的轻量级密码系统与密钥封装国家自然科学基金项目面向新型网络空间实用服务需求的功能加密体制研究国家自然科学基金项目深度学习系统的高效可认证的形式化验证技术

国家自然科学基金项目