公开(公告)号：CN113467405B

公开(公告)日：2022-09-02

申请号：CN202110879349.7

申请日：2021-08-02

Applicant: 福州大学

Inventor： 董晨 ,  洪祺瑜 ,  陈震亦 ,  吕晨曦 ,  熊乾程

IPC: G05B19/418

Abstract: 本发明涉及一种工业4.0需求驱动的分布式动态边缘云智能制造方法及系统。包括：客户向云端发布个性化产品需求；设计师获取需求信息，与客户沟通，确定最终设计；云端根据最终设计，将个性化产品分解为几个子任务；在决策时刻，边缘端根据云端发布的待分配子任务信息，判断当前工厂状态是否能够执行任一待分配子任务，并将结果返回云端；建立动态分布式任务分配模型；采用基于lp‑Box ADMM的方法完成任务分配；待个性化产品的所有子任务完成，将产品打包并运输给客户。本发明以客户需求为驱动，让客户参与产品生产全生命周期并实时提出修改意见，提高了产品个性化程度，同时，采用分布式边缘云架构，减轻云端负担，保障数据隐私，避免单点故障，提高鲁棒性。

公开(公告)号：CN113467405A

公开(公告)日：2021-10-01

申请号：CN202110879349.7

申请日：2021-08-02

Applicant: 福州大学

Inventor： 董晨 ,  洪祺瑜 ,  陈震亦 ,  吕晨曦 ,  熊乾程

IPC: G05B19/418

Abstract: 本发明涉及一种工业4.0需求驱动的分布式动态边缘云智能制造方法及系统。包括：客户向云端发布个性化产品需求；设计师获取需求信息，与客户沟通，确定最终设计；云端根据最终设计，将个性化产品分解为几个子任务；在决策时刻，边缘端根据云端发布的待分配子任务信息，判断当前工厂状态是否能够执行任一待分配子任务，并将结果返回云端；建立动态分布式任务分配模型；采用基于lp‑Box ADMM的方法完成任务分配；待个性化产品的所有子任务完成，将产品打包并运输给客户。本发明以客户需求为驱动，让客户参与产品生产全生命周期并实时提出修改意见，提高了产品个性化程度，同时，采用分布式边缘云架构，减轻云端负担，保障数据隐私，避免单点故障，提高鲁棒性。

公开(公告)号：CN120087302A

公开(公告)日：2025-06-03

申请号：CN202510158954.3

申请日：2025-02-13

Applicant: 福州大学 ,  北卡科技有限公司

Inventor： 董晨 ,  丘德城 ,  陈明志 ,  许春耀 ,  翁才杰 ,  林靖淞 ,  吕晨曦 ,  李博伦

IPC: G06F30/36 ,  G06F21/56 ,  G06N3/042 ,  G06N3/0464 ,  G06N3/084

Abstract: 本发明涉及一种面向信息缺失的超大规模集成电路安全设计检测方法，属于硬件木马检测领域。所述方法，对信息缺失的超大规模集成电路门级网表设计文件进行解析，创建有向图表示并对逻辑门节点进行特征表示编码，构建电路有向图数据；使用图变分自编码器GraphVAE对有向图数据进行结构推理，并使用解码器对信息缺失的电路结构进行补全，构建补全的电路有向图数据；对补全数据进行逻辑门类型、扇入扇出数量、介数中心性、邻域类型分布计算，并组合拼接为电路门特征；构建图神经网络模型GNN，通过图卷积操作进一步提取深层次特征，并采用多层感知机进行推理训练，实现硬件木马分类。本发明可以有效地检测出信息缺失情况下门级网表的硬件木马。

公开(公告)号：CN120086848A

公开(公告)日：2025-06-03

申请号：CN202510271885.7

申请日：2025-03-07

Applicant: 福州大学 ,  北卡科技有限公司

Inventor： 董晨 ,  李博伦 ,  陈明志 ,  许春耀 ,  翁才杰 ,  林靖淞 ,  吕晨曦 ,  丘德城

IPC: G06F21/56 ,  G06N3/092 ,  G06N20/00

Abstract: 本发明提供一种针对不完整网表的强化学习硬件木马检测方法，提取不完整网表文件并进行预处理，以识别所有的节点和逻辑门，解析表示组件之间连接的网表以提取节点和逻辑门的信息；基于强化学习预测模型，将不完整网表修复成完整网表；将预处理后的节点和逻辑门集输入到预测模型，预测模型依据电路转换概率进行预测生成，得到完整网表；通过硬件木马检测模型得到硬件木马的检测结果。本发明可以有效地检测出不完整门级网表中的硬件木马。