| 项目负责人 | 佘志坤 |
| 依托单位 | 北京航空航天大学 |
| 立项年份 | 2014 |
| 学科分类 | 数理逻辑和与计算机相关的数学 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥100.0万 |
| 批准号 | 11422111 |
工具
该负责人其他项目
- 混成系统稳定性分析的代数化与机械化及应用（国自然，佘志坤，2013）
- 基于代数分析与符号计算的混成系统自动验证（国自然，佘志坤，2010）
北京航空航天大学其他项目
- 面向“连接即网络”范式的类神经元无人机自组网传输机理研究（国自然，陈健瑞，2025）
- Bi₄X₄(X=Br,I)中关联拓扑物态的调控及机理研究（国自然，钟景元，2025）
- 人类视觉感知启发的全景视频质量优化（国自然，郭苡辰，2025）
- 考虑界面异质特性的SiCf/Ti复合材料疲劳裂纹演化机制与多尺度建模（国自然，郝文琦，2025）
- 基于流匹配的磁粒子粘度-浓度高分辨率定量成像方法研究（国自然，邹文轩，2025）
- 面向多模态大模型的越狱攻击机理与安全对齐研究（国自然，赵世纪，2025）
- 可压缩湍流边界层展向涡结构直接数值模拟研究（国自然，苏舒怀，2025）
- 大语言模型毒性行为调控方法研究（国自然，肖宜松，2025）
数理逻辑和与计算机相关的数学学科其他项目
- 集合论方法在递归论中的应用（国自然，喻良，2016）
- 复杂推理的序、代数和逻辑方法及其计量化模型（国自然，赵彬，2015）
- 半代数混杂系统形式化分析与验证的例证法研究（国自然，吴尽昭，2014）
- 不确定系统中的伪加权下推计算模型研究（国自然，金检华，2014）
- 可计算枚举度与d.c.e.度之间的结构性质交叉研究（国自然，王慎玲，2014）
- 控制系统形式化设计中逻辑特征应用的研究（国自然，张晋津，2014）
- 基于量子逻辑的不确定性计算模型及其应用研究（国自然，韩召伟，2014）
- 基于伪半环的不确定计算模型及其应用研究（国自然，李平，2013）