序号

项目来源

项目名称

项目

负责人

1

国家国际科技合作计划项目

苛刻环境嵌入式系统高可靠串行通信抗干扰机制及验证

关永

2

国家国际科技合作计划项目

苛刻环境电源系统健康状况预测机制合作研究

李晓娟

3

国家科技支撑计划课题

国产机器人实时操作系统与应用平台开发及示范应用

谈金东

4

国家科技支撑计划课题

眼科影像服务关键技术研究

黄向阳

5

国家自然科学基金

苛刻环境高可靠电子系统的电源健康状况预测机制研究

关永

6

国家自然科学基金

可动态重构的高可靠嵌入式系统总线研究

张伟功

7

国家自然科学基金

最新sCMOS成像技术在太阳观测中的适用性研究

尚媛园

8

国家自然科学基金

希尔伯特空间以及矩阵理论在HOL4中的形式化

施智平

9

国家自然科学基金

异构网络策略寻径的标识映射机制

陈文龙

10

国家自然科学基金

空间通信片上网络数字系统形式化验证与可靠性分析

李晓娟

11

国家自然科学基金

苛刻环境大容量MLC型NAND FLASH转换层新机制与算法

关永

12

国家自然科学基金

基于测度学习的人脸血缘关系识别研究

周修庄

13

国家自然科学基金

服务可定义的路由器转发模型及其绿色节能机制研究

陈文龙

14

国家自然科学基金

SEU故障的系统级容错加固技术研究

张伟功

15

国家自然科学基金

面向关联数据的信息检索关键技术研究

刘杰

16

国家自然科学基金

机器人运动学形式化分析及其算法验证

施智平

17

国家自然科学基金

基于云计算的仿生偏振导航模型研究及精度分析

关桂霞

18

国家自然科学基金

面向机器人的几何代数高阶逻辑形式化理论

关永

19

国家自然科学基金

基于物联网的农机作业轨迹时空数据建模与挖掘方法

刘卉

20

国家自然科学基金

语义Web中典型不确定知识的本体表示和融合的理论与方法研究

刘杰

21

国家自然科学基金

跟踪器融合的视觉跟踪方法研究

丁辉

22

国家自然科学基金

高可靠嵌入式系统电源功率模块劣化过程的非线性时变行为研究

吴立锋

23

国家自然科学基金

基于概率时间自动机的移动机器人运动规划方法研究

王瑞

24

国家自然科学基金

近阈值电压高速缓存的可靠性技术研究

王晶

25

国家自然科学基金

面向嵌入式系统的STT-RAM/SRAM混合Cache的优化技术研究

邱柯妮

26

国家自然科学基金

面向农田管理分区的传感器网络监测节点部署与优化方法

刘卉

27

国家自然科学基金

无监督分词及词性归纳联合方法研究

王函石

28

国家自然科学基金

查询语义分析驱动的多层次交互式查询意图识别研究

宋巍

29

国家自然科学基金

准确性无损的软件缺陷检测高可扩展性优化研究

衷璐洁

30

国家自然科学基金

车路协同的城市车载网络数据传输机制研究

唐晓岚

31

国家自然科学基金

面向在线检索的医学影像多特征降维方法研究

申华磊

32

国家自然科学基金

基于高阶逻辑的分数阶建模与验证理论研究

赵春娜

33

国家自然科学基金

基于鲁棒相似性学习的人脸血缘关系识别研究

徐敏

34

国家自然科学基金

面向社交媒体的群体性事件态势感知与演化机理研究

韩旭

35

国家自然科学基金

四元数域的彩色图像超分辨率重建：非局部均值和稀疏表示

邵珠宏

36

国家自然科学基金

基于可信执行环境的机器人实时操作系统架构及形式化验证研究

张倩颖

37

国家自然科学基金

基于集成学习的个性化人体和服装建模及试衣仿真

谭小慧

38

国家国际科技合作计划子项目

系统形式化验证及性能分析关键技术合作研究

施智平

39

国防973计划子课题

系统级SEU故障容错加固技术研究

王晶