2019年中国科学院软件研究所获得国家基金委资助项目清单
文章来源: | 发布时间:2019-08-16 | 【打印】 【关闭】
查询日期:2019-08-16 金额:万元
序号 |
项目批准号 |
负责人 |
项目名称 |
项目类别 |
直接费用 |
开始日期 |
结题日期 |
1 |
61902383 |
冷昶 |
面向人机融合决策过程的实时调度研究 |
青年科学基金项目 |
24 |
2020-01-01 |
2022-12-31 |
2 |
61902384 |
闫佳 |
基于网络环境要素操控的恶意软件脆弱性分析方法研究 |
青年科学基金项目 |
24 |
2020-01-01 |
2022-12-31 |
3 |
61906182 |
陈波 |
基于语义图生成的开放域语义解析关键技术研究 |
青年科学基金项目 |
25 |
2020-01-01 |
2022-12-31 |
4 |
61972384 |
马菲菲 |
高维SMT公式的求解与解空间大小计算 |
面上项目 |
60 |
2020-01-01 |
2023-12-31 |
5 |
61972385 |
王淑灵 |
多异质嵌入式系统的建模、仿真与验证研究 |
面上项目 |
60 |
2020-01-01 |
2023-12-31 |
6 |
61972386 |
刘杰 |
无服务器架构机器学习的计算模型与系统框架研究 |
面上项目 |
60 |
2020-01-01 |
2023-12-31 |
7 |
61972387 |
韩腾 |
皮肤界面的交互与实现技术 |
面上项目 |
60 |
2020-01-01 |
2023-12-31 |
8 |
61976205 |
沈一栋 |
析取回答集逻辑语言标准语义模型及推理算法研究 |
面上项目 |
58 |
2020-01-01 |
2023-12-31 |
9 |
61976206 |
苏冰 |
基于最优传输的序列距离学习理论和方法研究 |
面上项目 |
61 |
2020-01-01 |
2023-12-31 |
10 |
61981330063 |
马翠霞 |
基于大数据可视化与交互技术的可持续城市化智能服务设计 |
国际(地区)合作与交流项目 |
15 |
2019-01-01 |
2019-12-31 |