1

基于多元矛盾体分离演绎的一阶逻辑自动定理证明器研究

曹锋

李德江

2

紫金矿业全员安全化信息平台科研项目二期

陈乐

孙浩、安俊禹

3

蓝藻远程动态监测及预警平台

陈勋俊

刘凯晨、杨熙明

4

基于云边协同和区块链的可信服务供应及其应用研究

陈益杉

罗睿、胡颖

5

云边端分层协同联邦下的可信服务供应理论与方法

陈益杉

薛新凯、罗坤

6

云边端协同下的在线计算卸载及其可靠保障研究

陈益杉

苏晟、金正

7

电动轮总成件跟踪管理系统

方旺盛

曾致远、何旭铖

8

武宁县官莲乡5G+东山村数字乡村定制化云平台项目

管希东

汪一林、胡文晗

9

安全红线岗位培训软件开发

兰红

韩慧杰、杨越宗

10

低维开放量子系统中的量子相位同步研究

李艳玲

苗金宝、何毓琪

11

面向高光谱遥感影像解译的空谱自监督学习方法研究

梁苗苗

李魏然、郭伟利

12

基础视觉功能编码的多视觉任务模型研究

罗会兰

许骥、胡欣

13

基础视觉功能网络的深度多任务元学习研究

罗会兰

李其鑫、杨熙民

14

数据驱动的LIGO引力波信号分析的鲁棒性研究

马存良

钱俊然

15

面向非朗伯体外观的自主多角度联合检测方法

王碧

王树冉

16

面向动态调度的多智能体策略学习及迁移方法研究

王碧

黄超宇、陈佳文

17

量子信息领域基于深度学习的组合专家推荐模型的研究

王慧

江训远、朱金康

18

基于组合链路预测的医学专家推荐模型及专家吸引力研究

王慧

赖锐、吕弘炜

19

面向医疗安全领域的区块链智能合约安全技术研发

巫光福

陈海涛、孙顶

20

基于区块链的拜占庭容错技术研发

巫光福

陈永晖、金坤阳

21

车站能力分析及列车开行辅助决策系统开发

巫光福

欧阳广鸿、董道

22

基于机器视觉的手机镜头框表面缺陷检测的方法研究

吴剑青

张雨进、郑云涛、冀朝康

23

熔石英元件加工缺陷和残余应力双折射检测研究

肖石磊

曾迎君、张明保、李熙屿

24

面向APT攻击取证的系统审计日志图概要化研究

徐志强

谢玉强、丁佳宏

25

国家稀土功能材料创新中心信息技术服务平台建设项目

杨竣辉

徐治强、袁皓威、叶高瑞

26

数字化视觉检测上下料智能装备研发

杨书新

徐亚鹏、李立豪、汪涵然

27

融合困难采样点挖掘的动态图卷积网络及其在医学图像病灶语义分割中的研究

于祥春

韩桦 、李志金、刘圣云

28

多维特征协同编码的弱监督极化CSAR图像语义分割研究

喻玲娟

王沾、周致远

29

一种基于属性代理重加密的区块链密文云存储共享方法

张小红

温伟忠、汪涵然

30

锂矿洞采安全生产管控平台关键技术研究与实现

郑剑

李征辉