×

联系我们

服务邮箱
15195844397@163.com
客服电话
15851303988
专属客服
微信二维码
小程序二维码
查询阈值 100条（今日已查询0）
选题分析 次（总计已使用1）
积分余量 0
⚙ 个人中心 🚪 退出

积分充值

选择以下套餐进行积分充值
￥1000
获得 1000 积分
额外赠送 1500 积分
￥500
获得 500 积分
额外赠送 500 积分
￥200
获得 200 积分
额外赠送 200 积分
支付二维码
正在生成支付码...

充值特权

  • 额外赠送积分
  • 选题分析
  • 项目检索
  • 下载完整选题报告
  • 下载结题报告
支付即视为您同意《五星科研服务协议》，虚拟商品不支持退款
※部分功能或服务需要解锁会员权限后方可使用积分支付，单独充值积分无需解锁会员
※积分可用于：项目检索、选题分析、下载选题报告、下载结题报告、AI申报助手等
不限 上海 云南 内蒙古 北京 吉林 四川 天津 宁夏 安徽 山东 山西 广东 广西 新疆 江苏 江西 河北 河南 浙江 海南 湖北 湖南 甘肃 福建 西藏 贵州 辽宁 重庆 陕西 青海 黑龙江
不限 面上项目 重大研究计划 数学天元基金 重点项目 联合基金项目 青年科学基金项目 地区科学基金项目 专项基金项目
不限 A.数理科学部 B.化学科学部 C.生命科学部 D.地球科学部 E.工程与材料科学部 F.信息科学部 G.管理科学部 H.医学科学部
至
清空

本平台数据严格同步自国家自然科学基金委员会官方公开数据，2024年国家自然科学基金数据暂未同步，请耐心等待

共查到 23 条国家自然科学基金项目记录
国自然申请攻略
选题分析工具
AI辅助申请书写作
历年项目分析
项目批准号：62372312
批准年份：2023
学科分类： F.信息科学部
负责人：施智平
省份：北京
依托单位：首都师范大学
资助金额：50万元
资助类别：面上项目
关键词：量子信息；高阶逻辑；形式化；量子通信；系统验证；
AI评估研究价值
AI分析立项选题
项目批准号：62362006
批准年份：2023
学科分类： F.信息科学部
负责人：李智
省份：广西
依托单位：广西师范大学
资助金额：32万元
资助类别：地区科学基金项目
关键词：人机物融合；需求建模；因果推理；系统验证
AI评估研究价值
AI分析立项选题
项目批准号：62105243
批准年份：2021
学科分类： F.信息科学部
负责人：顿雄
省份：上海
依托单位：同济大学
资助金额：30万元
资助类别：青年科学基金项目
关键词：深度学习；共振域；衍射光学元件；计算简化；精准制造；轻薄红外系统
AI评估研究价值
AI分析立项选题
项目批准号：62036008
批准年份：2020
学科分类： F.信息科学部
负责人：薛建儒
省份：陕西
依托单位：西安交通大学
资助金额：298万元
资助类别：重点项目
关键词：自主驾驶；编队协同；关键技术；系统验证；航空保障车辆；大型舰船
AI评估研究价值
AI分析立项选题
项目批准号：U20B2054
批准年份：2020
学科分类： F.信息科学部
负责人：解永春
省份：北京
依托单位：北京控制工程研究所
资助金额：254万元
资助类别：联合基金项目
关键词：神经网络学习控制;闭环性能分析;强化学习控制与智能学习控制;系统验证及工程应用
AI评估研究价值
AI分析立项选题
项目批准号：61902284
批准年份：2019
学科分类： F.信息科学部
负责人：甘庭
省份：湖北
依托单位：武汉大学
资助金额：24万元
资助类别：青年科学基金项目
关键词：符号数值计算;非线性理论;克雷格插值;程序验证;混成系统验证
AI评估研究价值
AI分析立项选题
项目批准号：31871525
批准年份：2018
学科分类： C.生命科学部
负责人：孙传恒
省份：北京
依托单位：北京市农林科学院
资助金额：60万元
资助类别：面上项目
关键词：农产品供应链;可追溯;系统优化;区块链;可信系统
AI评估研究价值
AI分析立项选题
项目批准号：61772203
批准年份：2017
学科分类： F.信息科学部
负责人：杨争峰
省份：上海
依托单位：华东师范大学
资助金额：58万元
资助类别：面上项目
关键词：障碍函数生成;安全验证;计算实代数几何;混成系统
AI评估研究价值
AI分析立项选题
项目批准号：61702425
批准年份：2017
学科分类： F.信息科学部
负责人：赵恒军
省份：重庆
依托单位：西南大学
资助金额：24万元
资助类别：青年科学基金项目
关键词：微分不变式;可达集;安全性验证;不变式自动生成;混成系统验证
AI评估研究价值
AI分析立项选题
项目批准号：61732001
批准年份：2017
学科分类： F.信息科学部
负责人：夏壁灿
省份：北京
依托单位：北京大学
资助金额：270万元
资助类别：重点项目
关键词：计算机代数;自动定理证明;混合理论;程序验证;混成系统验证
AI评估研究价值
AI分析立项选题
123下一页

查询热榜「关键字」

查询热榜「项目」

查询热榜「依托单位」

查询热榜「项目负责人」

查询热榜「学科」