| 项目负责人 | 吴尽昭 |
| 依托单位 | 北京交通大学 |
| 立项年份 | 2009 |
| 学科分类 | 软件理论、软件工程与服务 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥32.0万 |
| 批准号 | 60973147 |
工具
该负责人其他项目
- 半代数模型检测方法的误差分析与控制（国自然，吴尽昭，2017）
- 半代数混杂系统形式化分析与验证的例证法研究（国自然，吴尽昭，2014）
- 近似形式化方法—实微分多项式进程代数研究（国自然，吴尽昭，2013）
- 复杂并发系统验证和评估分析的代数符号化理论与方法（国自然，吴尽昭，2008）
- 混合性能模拟的层次化：理论与应用（国自然，吴尽昭，2003）
北京交通大学其他项目
- 面向微-中-宏观睡眠质量评估的生理时序预训练方法研究（国自然，王晶，2025）
- 基于概念提示的大模型可控量化方法研究（国自然，王润琪，2025）
- 原材料价格波动下动力电池回收企业投资、运营与激励策略研究（国自然，王璟，2025）
- 无砟轨道SCC灌注的多尺度力学行为与智能控制方法（国自然，王继，2025）
- 脉冲电场原位构筑梯度电子缺陷促进高浓度硝酸盐废水资源化产氨机制（国自然，田晓宇，2025）
- 构筑高性能准双层有机光伏器件及其关键科学问题的研究（国自然，祝熙翔，2025）
- 基于推理大模型和集成小模型协同的新型配电网故障自愈机理及方法研究（国自然，罗国敏，2025）
- 多模式低碳出行管理调控：异质行为机理与空间效应研究（国自然，肖玲玲，2025）
软件理论、软件工程与服务学科其他项目
- 融合业务过程和物联大数据的服务抽象与编程机制研究（国自然，韩燕波，2020）
- 回归缺陷链的恢复、分析与预测研究（国自然，肖冠平，2020）
- 智能化符号执行方法研究（国自然，张羽丰，2020）
- 基于持续度量的软件体系结构追踪与重构关键技术研究（国自然，莫然，2020）
- 数据驱动的软件持续演化方法和技术研究（国自然，余萍，2020）
- 多源数据驱动的不可重复构建问题定位与修复研究（国自然，任志磊，2020）
- 面向多模态监控数据的微服务无监督异常检测与定位（国自然，裴丹，2020）
- 基于蜕变关系的编译工具链缺陷检测技术研究（国自然，杨已彪，2020）
相关期刊推荐
该学科领域可投稿的高影响期刊：
- Frontiers in Virtual Reality（IF 3.900，JCR Q2）
- Proceedings of the ACM on Programming Languages-PACMPL（IF 3.300，JCR Q2）
- Proceedings of the ACM on Computer Graphics and Interactive Techniques（IF 3.100，JCR Q2）