| 项目负责人 | 吴志林 |
| 依托单位 | 南京理工大学 |
| 立项年份 | 2013 |
| 学科分类 | 弹道力学与飞行力学 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥88.0万 |
| 批准号 | 11372137 |
工具
该负责人其他项目
- 面向EDA应用的基于电路学习的SAT和SMT混合求解方法(国自然,吴志林,2025)
- 分布式流处理程序的分析与验证(国自然,吴志林,2018)
- 动态数据结构的形状性质与数据约束:基于分离逻辑的自动分析与验证(国自然,吴志林,2014)
- 无穷字母表上的形式模型:逻辑与自动机(国自然,吴志林,2011)
南京理工大学其他项目
- 数智赋能青少年体质健康治理生态系统构建与运行机制研究(国社科,李冲,2025)
- 边疆现代化进程中祁连山牧区人与自然生命共同体建设研究(国社科,杨德亮,2025)
- 基于光强传输的高效率、高精度、超像素分辨相位成像研究(国自然,卢林芃,2025)
- 基于径向约束增强钨丝集束材料动态断裂模式及侵彻减阻机制研究(国自然,周峰,2025)
- 基于傅里叶叠层的定量泽尼克相衬显微与衍射层析成像研究(国自然,孙佳嵩,2025)
- 基于固定时间随机输入状态稳定性的随机非线性系统控制研究(国自然,崔荣恒,2025)
- 近场爆炸作用下UHPC连接的预制拼装桥墩毁伤机理及其评估方法(国自然,张于晔,2025)
- 下肢负重助力外骨骼人机环耦合动力学与多模态自适应交互方法研究(国自然,杨小龙,2025)
弹道力学与飞行力学学科其他项目
- 多超高速运动可变区域内多相流动与膨胀波控制机理研究(国自然,程诚,2019)
- 考虑复杂地貌的小行星巡视器的单面约束运动研究(国自然,曾祥远,2019)
- 保证收敛条件下运载火箭实时精确着陆制导研究(国自然,刘新福,2019)
- 大角速度翻滚目标非接触消旋关键技术研究(国自然,陈振,2019)
- 不规则小行星附近蜂拥太阳帆相对运动研究(国自然,王伟,2019)
- 基于非高斯非线性偏差演化的航天器碰撞预警方法研究(国自然,杨震,2019)
- 小行星引力场在线学习与智能着陆控制(国自然,程林,2019)
- 载人登月绕月自由返回轨道存在性判据与月面可达域研究(国自然,贺波勇,2019)