D1
机理可解释故障诊断与健康管理
研究如何将异构工程测量转化为具有物理意义的故障证据、机理一致解释和可信健康决策，并适应变工况、数据稀缺与未知环境。
- 01如何从非平稳测量中恢复稳定且具有机理含义的故障证据？
- 02如何把局部症状连接到故障机理与系统根因？
- 03在什么条件下诊断结论值得信任并可用于决策？
三个研究方向
以科学问题组织研究体系
实验室研究体系收敛为三个逻辑完整的方向。每个方向具有明确的科学对象、三个关键研究问题、独立方向页面，以及通过研究标签关联的论文成果。
诊断 · 推理 · 控制
三个方向通过“证据—语义—行动”的共同主线相互连接。
研究方向
三个逻辑完整的研究方向
D1
D2
神经符号学习与形式化推理
研究从数据中学习显式时序、因果与逻辑结构的方法，使模型决策能够被理解、检查、修正，并能够作为形式知识复用。
- 01如何联合学习离散符号结构与连续参数？
- 02如何使学习到的符号具有物理和时序语义基础？
- 03如何使形式知识在不确定性和分布变化下保持有效？
D3
安全智能控制与自主系统
研究满足显式时序任务、安全约束、鲁棒性要求和人机交互目标的学习增强规划与反馈控制方法。
- 01如何将时序任务与人类意图转化为反馈约束？
- 02如何利用学习提升性能而不破坏安全性与可行性？
- 03如何将自主决策扩展到复杂交互系统？
共同研究逻辑
证据、语义与行动构成一条完整研究主线
- 01
- 证据信号、事件、因果关系与物理状态
- 02
- 语义公式、图结构、抽象、解释与不确定性
- 03
- 行动诊断、维护、规划、反馈与容错
科研项目
已资助项目
项目名称
资助机构
时间区间
外骨骼具身智能关键技术与应用
广东省科学技术厅
基于时序逻辑的协作机器人可解释“诊控”一体化方法研究
广东省基础与应用基础研究基金委员会
基于时序逻辑的风电齿轮箱故障演化机理可解释定量表征方法研究
国家自然科学基金委员会
海上风电机组传动链可解释故障诊断形式化定义、验证与推理
广东省基础与应用基础研究基金委员会
制造大数据驱动的智能装备可解释故障诊断与形式化验证
广东省基础与应用基础研究基金委员会
基于迁移学习的产线可解释故障诊断
广东省基础与应用基础研究基金委员会
基于MEC的边缘控制与实时仿真基础理论与方法研究
中华人民共和国科学技术部