面向航天嵌入式软件的中断并发缺陷检测方法研究

工具

查询更多基金项目 | 智能选刊推荐

该负责人其他项目

• 基于风险场景动态靶向生成的端到端自动驾驶安全训练增强（国自然，李超，2026）
• 知识驱动的进化通用对抗攻击方法研究（国自然，李超，2025）
• 面向蛋白质-配体盲对接的数模混驱动态自适应智能优化方法研究（国自然，李超，2025）
• 低解离连生体流态化浮选中气泡-水动力跨尺度协同强化机制（国自然，李超，2025）
• 雷蒙·威廉斯的文化共同体思想研究（国社科，李超，2025）
• 全球能源格局加速重构下铀资源供应链安全体系建构研究（国社科，李超，2025）
• 微塑料介导下的蝎蝽防治马铃薯甲虫控害效益变化机制研究（国自然，李超，2024）
• 政府采购与关键核心技术创新：基于AI语言模型的精准识别、效应评估及优化机制（国自然，李超，2024）

北京控制工程研究所其他项目

• 三自由度压电超构的应变协同机制及空间服役特性演变规律研究（国自然，李占淼，2025）
• 航天智能装备系统的脆弱性检测与可信性量化和防御策略研究（国自然，高兵，2025）
• 柔性支撑控制力矩陀螺的不确定动力学、多源干扰表征与复合分层控制（国自然，鲁明，2022）
• 高超声速飞行器再入末段基于特征建模的智能自适应控制方法研究（国自然，常亚菲，2020）
• 空间超声电机长效服役机理与集成制造技术基础（国自然，张激扬，2020）
• 基于学习的空间精细操作特征建模与稳定控制理论方法（国自然，解永春，2020）
• 空间目标非理想观测模型的“海森堡不确定性原理”研究（国自然，张俊，2019）
• 火星表面起飞上升轨迹快速优化与智能自适应制导方法研究（国自然，郭敏文，2019）