| 项目负责人 | 吴尽昭 |
| 依托单位 | 北京交通大学 |
| 立项年份 | 2008 |
| 学科分类 | 计算机科学的基础理论 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥35.0万 |
| 批准号 | 60873118 |
工具
该负责人其他项目
- 半代数模型检测方法的误差分析与控制（国自然，吴尽昭，2017）
- 半代数混杂系统形式化分析与验证的例证法研究（国自然，吴尽昭，2014）
- 近似形式化方法—实微分多项式进程代数研究（国自然，吴尽昭，2013）
- 微分半代数程序模型的等价及等价谱系（国自然，吴尽昭，2009）
- 混合性能模拟的层次化：理论与应用（国自然，吴尽昭，2003）
北京交通大学其他项目
- 面向微-中-宏观睡眠质量评估的生理时序预训练方法研究（国自然，王晶，2025）
- 基于概念提示的大模型可控量化方法研究（国自然，王润琪，2025）
- 原材料价格波动下动力电池回收企业投资、运营与激励策略研究（国自然，王璟，2025）
- 无砟轨道SCC灌注的多尺度力学行为与智能控制方法（国自然，王继，2025）
- 脉冲电场原位构筑梯度电子缺陷促进高浓度硝酸盐废水资源化产氨机制（国自然，田晓宇，2025）
- 构筑高性能准双层有机光伏器件及其关键科学问题的研究（国自然，祝熙翔，2025）
- 基于推理大模型和集成小模型协同的新型配电网故障自愈机理及方法研究（国自然，罗国敏，2025）
- 多模式低碳出行管理调控：异质行为机理与空间效应研究（国自然，肖玲玲，2025）
计算机科学的基础理论学科其他项目
- 算法洛瓦兹局部引理：冲破Shearer边界的束缚（国自然，刘兴武，2020）
- 面向多业态多用户边缘车载云服务的任务安全卸载与可靠调度系统研究（国自然，任爽，2020）
- 参数近似算法（国自然，郭炅，2020）
- 交互式定理证明工具和证明自动化技术研究（国自然，詹博华，2020）
- 基于指数时间假设的纳什均衡算法与复杂性研究（国自然，刘正阳，2020）
- 命题公式的结构熵在信息传播算法求解SAT问题中的应用研究（国自然，王晓峰，2020）
- 面向完整性和可用性的智能合约形式化分析与修复方法研究（国自然，李希萌，2020）
- 基于知识图谱表示的多模态数据特征提取与融合研究（国自然，高岭，2020）
相关期刊推荐
该学科领域可投稿的高影响期刊：
- ACM Computing Surveys（IF 30.400，JCR Q1）
- Nature Machine Intelligence（IF 29.800，JCR Q1）
- IEEE Transactions on Pattern Analysis and Machine Intelligence（IF 20.400，JCR Q1）
- Nature Computational Science（IF 20.300，JCR Q1）
- Journal of Big Data（IF 10.800，JCR Q1）