科研专业方向
研究领域:
系统仿真与自动化技术
研究方向:
离散事件系统建模、分析和监控,Petri网理论与应用,PLC的形式化设计方法
研究领域:
系统仿真与自动化技术
研究方向:
离散事件系统建模、分析和监控,Petri网理论与应用,PLC的形式化设计方法
合作单位 | 合作论文数量 |
---|---|
福建省电机控制与系统优化调度工程技术研究中心 | 5 |
国网株洲供电公司 | 2 |
南阳农业职业学院机电工程系 | 2 |
信息科学与工程学院 | 1 |
湖南联众科技有限公司 | 1 |
北京交通大学电气工程学院 | 1 |
德庆迪爱生合成树脂有限公司 | 1 |
河南安阳钢铁股份有限公司 | 1 |
厦门大学信息学院 | 1 |
北京博实联创科技有限公司 | 1 |
福建省电机控制与系统优化调度工程研究中心 | 1 |
浙江工商大学信息与电子工程学院 | 1 |
福建省电力有限公司南平电业局运维检修部 | 1 |
论文标题 | 基金名称 |
---|---|
基于随机赋时Petri网的车辆交通系统建模与仿真 | 国家自然科学基金 |
一类离散事件系统的监控器综合 | 国家自然科学基金 |
逻辑控制器设计与离散事件系统监控理论 | 国家自然科学基金项目 |
石材桥切机自动化加工过程的图形分析与路径优化 | 福建省科技计划项目 |
基于LPV模型的鲁棒PI控制方法 | 华侨大学高层次引进人才科研启动资助项目 |
PLC程序形式化的设计与验证 | 国家青年自然科学基金资助项目 |
高频变压器漏电感简化计算方法 | 国家自然科学基金 |
变压器空充下的励磁涌流二次谐波特性分析 | 国家自然科学基金资助项目 |
高频变压器技术研究综述 | 国家自然科学基金项目 |
基于普通Petri网的梯形图中接通延时定时器的建模方法 | 国家自然科学基金 |
基于Petri网的间歇式化工生产过程建模与调度监控器设计 | 福建省自然科学基金资助项目 |
数控机床控制系统的Petri网故障诊断方法 | 国家自然科学基金项目 |
基于关联矩阵代数运算的逻辑型监控器设计 | 国家青年自然科学基金项目 |
事件图的混合控制器设计 | 国家创新研究群体科学基金 |
采用普通Petri网的自动化立体仓库系统的PLC程序设计 | 国家自然科学基金资助项目 |
利用Petri网特征结构的故障诊断方法 | 国家青年自然科学基金资助项目 |
FPGA组合逻辑程序的Petri网建模方法 | 福建省自然科学基金资助项目 |
一种可编程逻辑控制程序的竞态检测方法 | 福建省自然科学基金计划资助项目 |
变参数FOPDT型系统的强鲁棒自适应PI控制器设计 | 福建省科技计划项目 |
石材桥切机自动化加工过程的图形分析与路径优化 | 福建省科技计划项目 |
运动想象脑机接口系统的Petri网建模方法 | 福建省自然科学基金资助项目 |
无刷直流电机DSP逻辑控制程序的Petri网设计方法 | 国家自然科学基金资助项目 |
采用通用公共无线接口协议的有损I/Q数据压缩方案 | 国家自然科学基金资助项目 |
混合脑机接口系统的眨眼与运动想象控制方法 | 国家重点研发计划项目 |
脉冲神经网络的快速仿真方法 | 国家青年自然科学基金项目 |
基于网结构分解的Petri网分散监控器设计 | 国家自然科学基金 |
随机计时离散事件系统的软控制任务研究 | 国家自然科学基金资助项目 |
随机计时离散事件系统的软控制任务研究 | 华侨大学高层次人才科研启动费项目 |
间歇式化工形式化建模与顺序控制器设计 | 国家青年自然科学基金 |
打造控制科学与工程学科深度学习课堂的探索 | 华侨大学研究生教育教学改革研究项目控制科学与工程专业创新实践型人才培养的课程体系改革 |
面向MatLab实时控制的Sukung半实物仿真系统及实验案例建设 | 2020年华侨大学创新创业教育改革项目创新创业教育与课程融合改革-控制类课程教学实验仿真平坦与教改探索福建省自然科学基金项目柔性传动系统的鲁棒自适应抗扰控制方法研究 |
自动挖掘机的动作规划 | 华侨大学高层次引进人才科研启动项目 |
连续计时离散事件系统监控及其可观性 | 国家自然科学基金资助项目 |
部分可观Petri网结构信息在故障诊断中的应用 | 国家青年科学基金 |
间歇式化工系统的Petri网优化调度与控制方法 | 国家自然科学基金项目 |
非平衡负载下轮式移动机器人的抗扰PID控制 | 国家自然科学基金项目 |
自动导引车系统防碰撞及死锁的形式化控制方法 | 国家自然科学基金项目 |
一类离散事件系统的混合型控制器设计 | 国家自然科学基金 |
基于Petri网的无刷直流电机混合导通DSP控制方法 | 国家自然科学基金资助项目 |
离散事件系统的无死锁分散监控 | 国家自然科学基金资助项目 |
基于Petri网的车辆交通实时调度研究 | 国家自然科学基金 |
基于约束转换的Petri网最优监控器设计 | 国家自然科学青年基金计划资助项目 |
基于网结构压缩技术的Petri网监控器综合 | 国家自然科学基金 |
自动化专业中计算机仿真基础课程教学改革研究 | 华侨大学教改项目计算机仿真技术基础课程教学的改革与实践 |
基于相似度动态修正的冲突证据组合方法 | 国家自然科学基金项目 |
【学术荣誉】
1. 何潘清漪优秀论文奖
2. Asian Journal of Control 优秀评审奖
2010年入选福建省高校杰出青年科研人才培育计划, 2011年入选福建省新世纪优秀人才支持计划, 2011年获得SCI期刊Asian Journal of Control杰出评审奖, 2012年获得哈佛大学何毓琦教授设立的Ho-Pan-Ching-Yi奖。
获得国家自然科学基金61573158/660904018.福建省自然科学基金2014J01241/2010J01339/ A0710010/2006F3087.工业控制国家重点实验室开放课题ICT1317、福建省教育厅科技计划JA11002和华侨大学中青年教师科技创新资助计划ZQN-PY208等项目资助。
担任2014-16年中国控制会议程序委员会委员、福建省自动化学会理事/副秘书长以及IEEE T-AC、Automatica等期刊评审。
基于知识Petri网和归结规则的推理方法
混合脑机接口系统的眨眼与运动想象控制方法
高频变压器漏电感简化计算方法
高频变压器技术研究综述
采用通用公共无线接口协议的有损I/Q数据压缩方案
非平衡负载下轮式移动机器人的抗扰PID控制
基于Petri网的无刷直流电机混合导通DSP控制方法
变压器空充下的励磁涌流二次谐波特性分析
运动想象脑机接口系统的Petri网建模方法
无刷直流电机DSP逻辑控制程序的Petri网设计方法
面向MatLab实时控制的Sukung半实物仿真系统及实验案例建设
打造控制科学与工程学科深度学习课堂的探索
石材桥切机自动化加工过程的图形分析与路径优化
石材桥切机自动化加工过程的图形分析与路径优化
变参数FOPDT型系统的强鲁棒自适应PI控制器设计
自动导引车系统防碰撞及死锁的形式化控制方法
间歇式化工系统的Petri网优化调度与控制方法
FPGA组合逻辑程序的Petri网建模方法
一种可编程逻辑控制程序的竞态检测方法
部分可观Petri网结构信息在故障诊断中的应用
采用普通Petri网的自动化立体仓库系统的PLC程序设计
利用Petri网特征结构的故障诊断方法
基于网结构分解的Petri网分散监控器设计
基于网结构压缩技术的Petri网监控器综合
自动化专业中计算机仿真基础课程教学改革研究
基于约束转换的Petri网最优监控器设计
基于LPV模型的鲁棒PI控制方法
自动挖掘机的动作规划
离散事件系统的无死锁分散监控
基于相似度动态修正的冲突证据组合方法
脉冲神经网络的快速仿真方法
随机计时离散事件系统的软控制任务研究
连续计时离散事件系统监控及其可观性
基于Petri网的间歇式化工生产过程建模与调度监控器设计
基于随机赋时Petri网的车辆交通系统建模与仿真
基于Petri网的车辆交通实时调度研究
一类离散事件系统的监控器综合
逻辑控制器设计与离散事件系统监控理论
PLC程序形式化的设计与验证
基于普通Petri网的梯形图中接通延时定时器的建模方法
数控机床控制系统的Petri网故障诊断方法
基于关联矩阵代数运算的逻辑型监控器设计
事件图的混合控制器设计
间歇式化工形式化建模与顺序控制器设计
一类离散事件系统的混合型控制器设计
基于执行器冲突预防的平行Petri网控制系统设计
一种无锚点的人脸检测方法及系统
基于Petri网的移动机器人脑机协同控制方法和系统
基于Petri网的无刷直流电机DSP逻辑控制程序设计方法
基于Petri网的无刷直流电机DSP逻辑控制程序设计方法
一种圆盘锯粗加工异形平面的铣削方法
基于模糊推论系统的非侵入感测睡眠质量分析系统与方法
一种适用于混杂网络的流媒体缓存调度方法
一种移动式空中遮阳飞篷及其实现方法
一种空中遮阳飞篷
一种无人机遮阳飞篷及其实现方法
一种无人机遮阳飞蓬
一种圆盘锯切割竖曲线并防过切的方法
一种圆盘锯切割竖曲线并防过切的方法
具有速度优化特性的冗余度机械臂突加度层运动规划方法
具有速度优化特性的冗余度机械臂突加度层运动规划方法
基于Petri网的数控机床控制系统故障诊断方法
基于Petri网的数控机床控制系统故障诊断方法
一种面向Matlab的直流电机调速控制教学实验装置
基于扩张状态观测器的迟滞非线性系统参数辨识方法
基于扩张状态观测器的迟滞非线性系统参数辨识方法
基于Petri网的自动化立体仓库系统的PLC程序设计方法
一种FPGA组合逻辑系统顺序规范的形式化验证方法
一种FPGA组合逻辑系统顺序规范的形式化验证方法
一种判断梯形图程序的无“竞态”的方法
一种将FPGA硬件描述语言VHDL转化为普通Petri网的方法
一种将FPGA硬件描述语言VHDL转化为普通Petri网的方法
基于Petri网的PLC在线故障诊断方法
基于Petri网的PLC在线故障诊断方法
一种将PLC定时器模块转换成普通Petri网的方法
一种将PLC定时器模块转换成普通Petri网的方法
一种基于Petri网的组合逻辑FPGA系统可达图的生成方法
一种基于Petri网的组合逻辑FPGA系统可达图的生成方法
一种将PLC加计数器转换为顺序Petri网的方法
一种将PLC加计数器转换为顺序Petri网的方法
一种将PLC指令表程序转换成普通Petri网的方法
一种检测PLC梯形图程序中是否存在竞态的方法
基于LPV模型的满足设定点跟踪与扰动抑制性能的PI控制方法
基于LPV模型的满足设定点跟踪与扰动抑制性能的PI控制方法
一种检测PLC梯形图程序中是否存在竞态的方法
一种将PLC指令表程序转换成普通Petri网的方法
一种将可编程逻辑控制器程序转换为普通Petri网的方法
一种将可编程逻辑控制器程序转换为普通Petri网的方法