课题基金 / 基金详情

融合人工智能与计算机代数的控制系统形式化验证方法研究及应用

批准号：
2026JJ70102
项目类别：
省市级项目
资助金额：
万元
负责人：
赵韩蕊
依托单位：
中国人民解放军国防科技大学
学科分类：
计算数学,A07.动力学与控制,F02.计算机科学,F06.人工智能
结题年份：
--
批准年份：
2026
项目状态：
未结题
项目参与者：
赵韩蕊
关键词：
人工智能计算机代数控制系统验证形式化验证算法应用

相似基金

相关文献

国内基金
海外基金