近年科研项目
开始时间 | 参加人 | 负责/参加 | 项目来源 | 项目类别 | 项目名称 | 结束时间 |
2013.1 | 夏壁灿 | 参加 | 基金委 | 重大项目 | 基于流线场共轭映射的复杂曲面高精度数控加工新方法 | 2017.12 |
2015.1 | 甘锐 | 负责 | 基金委 | 青年项目 | 基于形状结构线索的弱监督图像语义分割 | 2017.12 |
2015.1 | 姜明 | 负责 | 基金委 | 创新研究群体 | 高逼真度视听系统的理论与方法 | 2017.12 |
2015.4 | 姜明 | 负责 | 基金委 | 协作项目 | 基于特征的双模态图像重建 | 2018.3 |
2016.1 | 姜明 | 负责 | 基金委 | 国际合作与交流项目 | 高能效图像与视频处理技术:理论,实现和应用研究 | 2020.12 |
2016.1 | 牟克典 | 负责 | 基金委 | 面上项目 | 知识系统中不一致性的度量理论和方法及其应用研究 | 2019.12 |
2016.1 | 孙猛 | 参加 | 基金委 | 重点项目 | 大规模概率并发实时系统模型检验 | 2020.12 |
2017.1 | 马尽文 | 参加 | 基金委 | 联合项目 | 大规模纹理图像的方向多尺度聚类与解析方法研究 | 2019.12 |
2017.1 | 林作铨 | 负责 | 基金委 | 面上项目 | 不完全与不协调知识表示及推理 | 2020.12 |
2017.1 | 徐茂智 | 负责 | 基金委 | 面上项目 | 椭圆曲线离散对数研究 | 2020.12 |
2018.1 | 夏壁灿 | 负责 | 基金委 | 重点项目 | 面向程序验证的自动定理证明理论、方法与工具研究 | 2022.12 |
2018.1 | 孙猛 | 负责 | 基金委 | 面上项目 | 信息物理系统中复杂并发行为的形式化建模与验证 | 2021.12 |