公开(公告)号：CN108748698A

公开(公告)日：2018-11-06

申请号：CN201810420229.9

申请日：2018-05-04

Applicant: 华侨大学

Inventor： 邵辉 ,  王磊 ,  罗继亮

IPC: B28D1/04

Abstract: 本发明涉及石材加工中一种圆盘锯切割竖曲线并防过切的方法，根据从DXF文件中获取的多段线形式的竖曲线信息，计算偏置的方向向量，根据方向向量进行防过切偏置计算，分别用没有防过切偏置处理的方法和本发明的防过切偏置处理方法进行仿真加工和实际加工，仿真加工和实际加工对比结果验证了本发明的方法能够切割竖曲线并实现防过切。

公开(公告)号：CN108425541A

公开(公告)日：2018-08-21

申请号：CN201810077232.5

申请日：2018-01-26

Applicant: 华侨大学

Inventor： 聂卓赟 ,  彭建伟 ,  郭伟明 ,  郭东生 ,  罗继亮

IPC: E04H15/04 ,  B64C39/02

Abstract: 本发明公开了一种无人机遮阳飞篷及其实现方法，其适用于烈日条件下某些重要露天活动，对重要的目标对象(人或物)遮阳。本发明中的遮阳飞篷包括遮阳飞篷主体，视觉系统和控制系统。其中，遮阳飞篷主体具有一种带有对风尾舵的流线形结构，能够自动对准风向，获得向上空气推力。所述的视觉系统及时获取飞篷的阴影位置和目标对象位置，用于形成控制系统的偏差；所述的控制系统，包括地面控制系统、九轴传感器、超声波传感器、主控制器和无线通讯模块。本发明无人机遮阳飞篷能够借助风力和太阳能辅助飞行，通过视觉系统识别处理和控制系统对遮阳飞篷阴影和目标对象位置的偏差处理调整实现对目标对象的遮阳飞行。

公开(公告)号：CN103761387B

公开(公告)日：2017-01-18

申请号：CN201410024696.1

申请日：2014-01-20

Applicant: 华侨大学

Inventor： 罗继亮 ,  陈珑 ,  黄颖坤

IPC: G06F17/50

Abstract: 本发明公开了一种FPGA组合逻辑系统顺序规范的形式化验证方法，包括1)根据FPGA组合逻辑系统的操作顺序规范，得到一个VHDL程序；2)针对所述VHDL程序，建立Petri网模型；3)根据所述Petri网模型，建立可达图；4)选中所述可达图中所有稳定的门电路输出状态；5)根据所述FPGA组合逻辑系统的操作顺序规范，产生包括计算树时态逻辑公式的控制规范；6)检测所述可达图中的稳定的门电路输出状态是否满足所述控制规范；若存在不满足的状态，则该状态存在错误，因此根据产生该错误状态的可激发变迁，定位所述VHDL程序中的错误语句；若所有状态均满足，则所述VHDL程序符合设计要求。本发明逻辑严谨完备、复杂度低。

公开(公告)号：CN105676781A

公开(公告)日：2016-06-15

申请号：CN201610129668.5

申请日：2016-03-08

Applicant: 华侨大学

Inventor： 罗继亮 ,  池正 ,  邵辉

IPC: G05B19/406

CPC classification number: G05B19/406 ,  G05B2219/31451

Abstract: 本发明公开了一种基于Petri网的数控机床控制系统故障诊断方法，包括根据停止、正转和反转工作状态建立驱动装置的Petri网模型；根据正向限位开关、反向限位开关、正向限位报警、反向限位报警和继电器工作状态建立限位继电保护模块的Petri网模型；根据脉冲信号和符号信号工作状态建立上位装置的Petri网模型；将驱动装置、限位继电保护模块和上位装置的Petri网模型进行并运算，建立数控机床控制系统的Petri网模型；利用数控机床控制系统的Petri网模型对数控机床控制系统进行故障诊断。本发明能够准确判断某工作时刻是否有故障发生，并进一步判断是数控机床控制系统中哪一个驱动装置或传感器出现故障。

公开(公告)号：CN103616885B

公开(公告)日：2016-05-18

申请号：CN201310589522.5

申请日：2013-11-20

Applicant: 华侨大学

Inventor： 罗继亮 ,  叶丹丹 ,  邵辉

IPC: G05B23/02

Abstract: 本发明一种基于Petri网的PLC在线故障诊断方法，针对PLC传感器和执行结构中出现的故障问题，首先，建立PLC对象的规范普通Petri网模型；其次，提出该普通Petri网模型的严格最小库所不变量和特征库所不变量集合，从而借助特征库所不变量集合描述普通Petri网模型的结构信息；再次，基于特征库所不变量集合，提出任意当前标识的故障函数，利用故障诊断函数完成故障识别和定位。由于本发明采用了系统结构信息，无需遍历系统状态空间，降低了计算的复杂性，能够满足实时性的要求，利于工程应用。

公开(公告)号：CN103699730A

公开(公告)日：2014-04-02

申请号：CN201310697453.X

申请日：2013-12-18

Applicant: 华侨大学

Inventor： 罗继亮 ,  陈珑 ,  黄颖坤 ,  倪慧娟

IPC: G06F17/50

Abstract: 本发明一种基于Petri网的组合逻辑FPGA系统可达图的生成方法，在组合逻辑FPGA系统的Petri网建模方法的基础上，以电路逻辑功能为考虑对象，并以电路系统在一个稳定输入状态下所对应的稳定的门电路逻辑运算输出为研究条件，通过重新定义Petri网变迁激发规则，生成组合逻辑FPGA系统可达图，从该组合逻辑FPGA系统可达图中，FPGA系统的状态空间被清晰完整地呈现出来，因此，可以通过遍历搜索来检测系统是否存在违背控制目标的状态，这是验证VHDL程序逻辑错误最直接有力的方法，为VHDL程序形式化验证提供理论基础。

公开(公告)号：CN103488116A

公开(公告)日：2014-01-01

申请号：CN201310351008.8

申请日：2013-08-13

Applicant: 华侨大学

Inventor： 罗继亮 ,  温世刚 ,  倪会娟

IPC: G05B19/05

Abstract: 本发明一种将PLC定时器模块转换成普通Petri网的方法，实现了从定时器模块到普通Petri网模型的自动转换，所得Petri网模型能够准确描述PLC定时器的动态行为。因此，通过本发明可以利用Petri网来实现PLC程序分析和纠错，并且借助网结构和Petri网分析理论研发高效率的程序验证方法，使得大型PLC系统的分析和验证成为可能。

公开(公告)号：CN103093046A

公开(公告)日：2013-05-08

申请号：CN201310010846.9

申请日：2013-01-11

Applicant: 华侨大学

Inventor： 叶丹丹 ,  罗继亮

IPC: G06F17/50

Abstract: 本发明一种将FPGA硬件描述语言VHDL转换为普通Petri网的方法，针对编译好的VHDL程序，得到输入输出之间的逻辑关系，将输入输出之间的逻辑关系式化简为V2P布尔表达式，将V2P布尔表达式变形，利用变形后的布尔表达式转换为普通Petri网；本发明提供了VHDL程序的建模方法，是FPGA硬件描述语言VHDL的仿真和验证的有力工具。

公开(公告)号：CN103019233A

公开(公告)日：2013-04-03

申请号：CN201210564793.0

申请日：2012-12-21

Applicant: 华侨大学

Inventor： 齐鹏飞 ,  罗继亮 ,  陈雪琨

IPC: G05B23/02 ,  G05B19/05

Abstract: 本发明一种检测PLC梯形图程序中是否存在竞态的方法，通过计算普通Petri网的可达图来确定待检测程序中是否存在竞态，不仅可以一次性完成检测工作，而且可以让程序员清晰、直观地从可达图中直接发现程序中隐含的逻辑错误，同时检测的每个步骤都可以由计算机完成，所以在效率上也更加突出，并达到自动化的标准。

公开(公告)号：CN117406684B

公开(公告)日：2024-02-27

申请号：CN202311720780.2

申请日：2023-12-14

Applicant: 华侨大学

Inventor： 罗继亮 ,  李浚 ,  李旭航 ,  陈嘉煜

IPC: G05B19/418

Abstract: 本发明公开了基于Petri网与全连接神经网络的柔性流水车间调度方法，包括如下步骤：S1，利用库所赋时Petri网，对柔性流水车间进行建模；S2，输入训练任务，根据库所赋时Petri网的运行规则，设计启发式数据集的生成算法，获取系统动态演化的所有状态集合，所述状态对应完成训练任务的调度方法；S3，设计全连接神经网络学习模型，从数据集中学习库所赋时Petri网行为的启发式；S4，输入目标任务，通过全连接神经网络模型结合启发式算法，得到完成目标任务的最优或次优调度方法。本发明可以解决柔性流水车间求解调度策略过程中面临的状态空间爆炸难题，为实际制造系统提供高效、柔性的调度优化解决方案，在保证产品质量前提下获得最短完工时间。