近年科研项目



开始时间

参加人

负责/参加

项目来源

项目类别

项目名称

结束时间

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