| 项目负责人 | 宋诗畅 |
| 依托单位 | 北京交通大学 |
| 立项年份 | 2014 |
| 学科分类 | 数理逻辑 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥22.0万 |
| 批准号 | 11401020 |
工具
北京交通大学其他项目
- 面向微-中-宏观睡眠质量评估的生理时序预训练方法研究(国自然,王晶,2025)
- 基于概念提示的大模型可控量化方法研究(国自然,王润琪,2025)
- 原材料价格波动下动力电池回收企业投资、运营与激励策略研究(国自然,王璟,2025)
- 无砟轨道SCC灌注的多尺度力学行为与智能控制方法(国自然,王继,2025)
- 脉冲电场原位构筑梯度电子缺陷促进高浓度硝酸盐废水资源化产氨机制(国自然,田晓宇,2025)
- 构筑高性能准双层有机光伏器件及其关键科学问题的研究(国自然,祝熙翔,2025)
- 基于推理大模型和集成小模型协同的新型配电网故障自愈机理及方法研究(国自然,罗国敏,2025)
- 多模式低碳出行管理调控:异质行为机理与空间效应研究(国自然,肖玲玲,2025)
数理逻辑学科其他项目
- 一些伪代数闭赋值域上的立即膨胀问题(国自然,洪继展,2019)
- 反推数学与可计算分析(国自然,王玮,2019)
- 使用相对化随机的方法探讨随机性的可定义性(国自然,彭宁宁,2017)
- NIP理论中可定义顺从群的可定义拓扑动力性质的研究(国自然,姚宁远,2016)
- 某些伪代数闭赋值域上的量词消去(国自然,洪继展,2016)
- Universal Algebra and Constraint Satisfaction(国自然,Wires Alexander Duane,2016)
- 基于Ershov分层的图灵度结构研究(国自然,方成玲,2014)
- 正交完备效应代数上的元素分解与结构分解理论(国自然,戢伟,2014)