| 项目负责人 | 钟浩 |
| 依托单位 | 中国科学院软件研究所 |
| 立项年份 | 2011 |
| 学科分类 | 软件理论、软件工程与服务 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥23.0万 |
| 批准号 | 61100071 |
工具
该负责人其他项目
- 锂枝晶诱发动力电池内短路的演变机理及抑制策略研究(国自然,钟浩,2025)
- 基于生成的软件迁移方法研究(国自然,钟浩,2022)
- 基于铝或铝基合金的硼氢化钠合成与再生(国自然,钟浩,2020)
- 软件迁徙中的应用编程接口翻译方法和缺陷修复研究(国自然,钟浩,2015)
中国科学院软件研究所其他项目
- 面向EDA应用的基于电路学习的SAT和SMT混合求解方法(国自然,吴志林,2025)
- 教育智能体陪伴学习下的认知耦合理论和关键技术研究(国自然,周超,2025)
- 大模型情感价值对齐认知及可信决策理论研究(国自然,孙乐,2025)
- 面向数据通路逻辑等价性验证的并行SAT求解技术研究(国自然,张昕荻,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)