| 项目负责人 | 李雪薇 |
| 依托单位 | 中国科学院软件研究所 |
| 立项年份 | 2025 |
| 资助来源 | 国家自然科学基金 |
工具
该负责人其他项目
- 数物双驱的泥水盾构堵塞风险演化机制与多维可解释性评估方法（国自然，李雪薇，2025）
- 北极海冰物质平衡对云辐射效应的响应及其敏感性（国自然，李雪薇，2021）
中国科学院软件研究所其他项目
- 面向EDA应用的基于电路学习的SAT和SMT混合求解方法（国自然，吴志林，2025）
- 教育智能体陪伴学习下的认知耦合理论和关键技术研究（国自然，周超，2025）
- 大模型情感价值对齐认知及可信决策理论研究（国自然，孙乐，2025）
- 面向数据通路逻辑等价性验证的并行SAT求解技术研究（国自然，张昕荻，2025）
- 面向自监督表示学习的因果机理和方法研究（国自然，强文文，2025）
- 面向跨平台互操作的分布式数字身份信任机制研究（国自然，徐静，2025）
- 软硬协同的机密计算操作系统高可扩展性研究（国自然，李明煜，2025）
- 基于电触觉的力觉特征呈现技术（国自然，林宏南，2025）