| 项目负责人 | 刘正阳 |
| 依托单位 | 北京理工大学 |
| 立项年份 | 2020 |
| 学科分类 | 计算机科学的基础理论 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥24.0万 |
| 批准号 | 62002017 |
工具
北京理工大学其他项目
- 跨介质飞行器的空水引射冲压推进机制(国自然,魏志军,2025)
- 多车安全关键场景轻量化约束下共进化决策机理研究(国自然,高鑫,2025)
- 穿墙雷达多视角人体行为一致性表征与识别技术研究(国自然,高炜程,2025)
- 基于翼面融合式外骨骼的半机械昆虫机器人飞行调控方法研究(国自然,马志云,2025)
- 交错磁体中的拓扑磁电耦合及新奇物性调控研究(国自然,韩依琳,2025)
- 典型气候脆弱型城市的适应策略生成与稳健路径研究(国自然,陈诗薇,2025)
- 低温介质多尺度空化流动演化特性与热效应耦合机理研究(国自然,陈家成,2025)
- 仿生智能驱动退役锂电关键材料低碳高值再生探索研究(国自然,陈人杰,2025)
计算机科学的基础理论学科其他项目
- 算法洛瓦兹局部引理:冲破Shearer边界的束缚(国自然,刘兴武,2020)
- 面向多业态多用户边缘车载云服务的任务安全卸载与可靠调度系统研究(国自然,任爽,2020)
- 参数近似算法(国自然,郭炅,2020)
- 交互式定理证明工具和证明自动化技术研究(国自然,詹博华,2020)
- 命题公式的结构熵在信息传播算法求解SAT问题中的应用研究(国自然,王晓峰,2020)
- 面向完整性和可用性的智能合约形式化分析与修复方法研究(国自然,李希萌,2020)
- 基于知识图谱表示的多模态数据特征提取与融合研究(国自然,高岭,2020)
- 基于信息论框架的无验证信息收集机制的研究(国自然,孔雨晴,2020)
相关期刊推荐
该学科领域可投稿的高影响期刊:
- ACM Computing Surveys(IF 30.400,JCR Q1)
- Nature Machine Intelligence(IF 29.800,JCR Q1)
- IEEE Transactions on Pattern Analysis and Machine Intelligence(IF 20.400,JCR Q1)
- Nature Computational Science(IF 20.300,JCR Q1)
- Journal of Big Data(IF 10.800,JCR Q1)