| 项目负责人 | 石琳 |
| 依托单位 | 中国科学院软件研究所 |
| 立项年份 | 2018 |
| 学科分类 | 软件理论、软件工程与服务 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥24.0万 |
| 批准号 | 61802374 |
工具
该负责人其他项目
- 时空需求预测驱动的分层协同多目标蚁群优化研究(国自然,石琳,2025)
- 非线性乘积噪声驱动的随机动力系统在扰动区域上的动力学行为(国自然,石琳,2020)
- 随机动力系统在扰动区域上的动力学行为分析(国自然,石琳,2017)
- 高炉炼铁过程的数学模型研究与过程控制(国自然,石琳,2012)
- 长寿冷却壁数学模型的研究与新型铜冷却壁的设计(国自然,石琳,2010)
- 抗血小板药对动脉粥样硬化病变形成和对细胞染色体影响(国自然,石琳,1986)
- 建国以来西南民族地区国家通用语言文字推广史研究(国社科,石琳)
中国科学院软件研究所其他项目
- 面向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)