• 10月26日十九大新闻发言人专题新闻发布会 2018-12-14
  • 2015年河北省公益广告作品展 2018-12-13
  • 2018年中国科学院软件研究所获得国家基金委资助项目清单

    文章来源:  |  发布时间:2018-08-16  |  【打印】 【关闭

      
    查询日期:2018-08-16 金额:万元

    全程打闲一年100万 www.edria.net 序号 

    项目批准号 

    负责人 

    项目名称 

    项目类别 

    直接费用 

    开始日期 

    结题日期 

    1 

    11871455 

    李会元 

    一类奇异与分数阶方程的新型谱方法 

    面上项目 

    52 

    2019-01-01 

    2022-12-31 

    2 

    61802373 

    张扶桑 

    无线网络环境下的行为感知理论与关键技术 

    青年科学基金项目 

    25 

    2019-01-01 

    2021-12-31 

    3 

    61802374 

    石琳 

    面向社交媒体的需求智能发现和分析方法 

    青年科学基金项目 

    24 

    2019-01-01 

    2021-12-31 

    4 

    61802375 

    赵世军 

    抗电路板级物理攻击的TEE防护技术研究 

    青年科学基金项目 

    23 

    2019-01-01 

    2021-12-31 

    5 

    61802376 

    白琨鹏 

    TLS实现的安全性研究 

    青年科学基金项目 

    27 

    2019-01-01 

    2021-12-31 

    6 

    61802377 

    许利杰 

    面向流式机器学习的并行计算模型与系统框架研究 

    青年科学基金项目 

    26 

    2019-01-01 

    2021-12-31 

    7 

    61802378 

    朱家鑫 

    面向代码提交的开源软件演化微过程研究 

    青年科学基金项目 

    24 

    2019-01-01 

    2021-12-31 

    8 

    61802379 

    黄进 

    触控交互中的用户模型研究 

    青年科学基金项目 

    26 

    2019-01-01 

    2021-12-31 

    9 

    61802380 

    李海昌 

    面向城市遥感图像分割的深度学习算法研究 

    青年科学基金项目 

    25 

    2019-01-01 

    2021-12-31 

    10 

    61802381 

    白琳 

    基于深度学习的在线教育领域推荐技术研究 

    青年科学基金项目 

    25 

    2019-01-01 

    2021-12-31 

    11 

    61807033 

    张立波 

    基于知识库的学习路径优化方法研究 

    青年科学基金项目 

    20 

    2019-01-01 

    2021-12-31 

    12 

    61807034 

    潘祎诚 

    有向带权网络的结构信息理论及其应用 

    青年科学基金项目 

    26 

    2019-01-01 

    2021-12-31 

    13 

    61832015 

    应明生 

    量子程序设计的理论基础 

    重点项目 

    291 

    2019-01-01 

    2023-12-31 

    14 

    61872339 

    陈海明 

    支持计数与无序的扩展表达式的理论问题与应用研究 

    面上项目 

    63 

    2019-01-01 

    2022-12-31 

    15 

    61872340 

    吴志林 

    分布式流处理程序的分析与验证 

    面上项目 

    63 

    2019-01-01 

    2022-12-31 

    16 

    61872341 

    薛白 

    时滞动力系统及混成系统的形式化验证 

    面上项目 

    60 

    2019-01-01 

    2022-12-31 

    17 

    61872342 

    李杨佳 

    并行与分布式量子程序的形式化验证 

    面上项目 

    16 

    2019-01-01 

    2019-12-31 

    18 

    61872343 

    秦宇 

    物联网设备可信系统和软件安全研究 

    面上项目 

    62 

    2019-01-01 

    2022-12-31 

    19 

    61872344 

    王焘 

    基于执行踪迹推断的云应用异常诊断技术研究 

    面上项目 

    60 

    2019-01-01 

    2022-12-31 

    20 

    61872345 

    何小伟 

    结合卷积神经网络的复杂介质动力学建模与加速方法研究 

    面上项目 

    65 

    2019-01-01 

    2022-12-31 

    21 

    61872346 

    马翠霞 

    面向可视媒体智能分析的草图交互技术研究 

    面上项目 

    63 

    2019-01-01 

    2022-12-31 

    22 

    61872347 

    侯飞 

    双调和B样条的基础理论及其应用研究 

    面上项目 

    60 

    2019-01-01 

    2022-12-31 

    23 

    61872348 

    李静 

    深度光线跟踪技术研究 

    面上项目 

    58 

    2019-01-01 

    2022-12-31 

    24 

    61872349 

    范向民 

    用户状态隐式感知与智能干预方法研究 

    面上项目 

    16 

    2019-01-01 

    2019-12-31 

    25 

    61876175 

    曹建文 

    面向新模型的深度神经网络求解器的共性组件关键技术研究:算法与性能提升 

    面上项目 

    16 

    2019-01-01 

    2019-12-31 

  • 10月26日十九大新闻发言人专题新闻发布会 2018-12-14
  • 2015年河北省公益广告作品展 2018-12-13