基于路径遍历的软件有界验证技术与系统研究
项目批准号：
62172200
负责人：
卜磊
省份：
江苏省
资助金额：
58万元
批准年份：
2021年
学科分类：
-
关键词：-
带深度学习部件的智能化软件DevOps关键技术研究
项目批准号：
62172199
负责人：
徐经纬
省份：
江苏省
资助金额：
58万元
批准年份：
2021年
学科分类：
-
关键词：-
交互式图像编辑中的可解释性与可控制性方法研究
项目批准号：
62172198
负责人：
李波
省份：
江西省
资助金额：
60万元
批准年份：
2021年
学科分类：
-
关键词：-
基于贪婪搜索的模型拟合及其在运动分割和特征匹配中的应用
项目批准号：
62172197
负责人：
赖桃桃
省份：
福建省
资助金额：
60万元
批准年份：
2021年
学科分类：
-
关键词：-
多方量子电子签名若干关键问题研究
项目批准号：
62172196
负责人：
蔡晓秋
省份：
河南省
资助金额：
58万元
批准年份：
2021年
学科分类：
-
关键词：-
面向数据处理程序的多样性制导式智能随机测试方法研究
项目批准号：
62172195
负责人：
毛澄映
省份：
江西省
资助金额：
58万元
批准年份：
2021年
学科分类：
-
关键词：-
面向软件漏洞挖掘的智能化Fuzzing测试方法研究
项目批准号：
62172194
负责人：
陈锦富
省份：
江苏省
资助金额：
59万元
批准年份：
2021年
学科分类：
-
关键词：-
面向自然图像恢复的可解释稀疏先验深度网络模型研究
项目批准号：
62172193
负责人：
宋和平
省份：
江苏省
资助金额：
60万元
批准年份：
2021年
学科分类：
-
关键词：-
基于深度自监督多尺度融合的肺功能成像模拟生成技术及在肺病变诊断与康复评估中的应用
项目批准号：
62172192
负责人：
钱鹏江
省份：
江苏省
资助金额：
60万元
批准年份：
2021年
学科分类：
-
关键词：-
面向云边协同计算的容器调度与迁移技术研究
项目批准号：
62172191
负责人：
王晓锋
省份：
江苏省
资助金额：
61万元
批准年份：
2021年
学科分类：
-
关键词：-
去登录