-
公开(公告)号：CN119718336A
公开(公告)日：2025-03-28
申请号：CN202510221171.5
申请日：2025-02-27
Applicant: 华侨大学
IPC: G06F8/51 , G06F30/22 , G05B19/4093 , G06F111/04
Abstract: 本发明涉及调度技术领域，公开了一种基于PDDL语言的制造系统有色Petri网模型建立方法及系统，方法包括以下步骤：更新PDDL语言，使用更新后的PDDL语言描述制造系统的资源与任务，生成制造系统PDDL模型；设计PDDL语言与有色Petri网的转换规则，将PDDL模型中的对象、初始、目标、谓词、动作与类型转化为有色Petri网的库所、变迁与有向弧，生成制造系统有色Petri网模型。本发明对PDDL语法进行扩展，并设计PDDL自动转化为有色Petri网的转换规则，自动将PDDL模型转化为有色Petri网，相较于手动建立有色Petri网的优势在于简化了建模过程，提高了建模效率。
-
公开(公告)号：CN118348940A
公开(公告)日：2024-07-16
申请号：CN202410772734.5
申请日：2024-06-17
Applicant: 华侨大学
IPC: G05B19/418
Abstract: 本发明公开了一种机器人作业车间联合调度方法,包括如下步骤：S1，根据系统结构和工艺工序构建机器人作业车间的库所赋时Petri网模型，包含任务子网和路径子网；所述库所赋时Petri网指在普通Petri网的库所上赋加时间来表示成本因素；S2，利用库所赋时Petri网模型的拓扑结构，分别定义任务子网和路径子网中库所的势能参数；S3，开发Petri网人工势场更新算法，根据Petri网状态演化实时计算任务需求度，进行势场更新，在此基础上构建人工势场启发式函数；S4，基于人工势场启发式函数和A*算法，给定目标任务，搜索从系统初始状态到目标状态的变迁激发序列，即获得系统调度方案。
-
公开(公告)号：CN117434909B
公开(公告)日：2024-03-12
申请号：CN202311740836.0
申请日：2023-12-18
Applicant: 华侨大学
IPC: G05B19/418
Abstract: 本发明公开了一种间歇式化工系统Petri网模型预测控制方法，涉及Petri网模型预测领域，步骤包括：S1，构建间歇式化工系统的库所赋时Petri网模型；所述库所赋时Petri网指在普通Petri网的库所上赋予时间来表示成本因素；S2，根据库所赋时Petri网模型的拓扑结构设计启发式函数；S3，开发Petri网模型预测控制算法，利用启发式函数优化计算；S4，接收目标任务，通过Petri网模型预测控制算法实时求解调度策略与控制指令。本发明能够处理实际系统与Petri网模型的失配问题，实时求解调度策略与控制指令，为间歇式化工系统的实时调度提供了一种高效可行的解决方案。
-
公开(公告)号：CN111160108A
公开(公告)日：2020-05-15
申请号：CN201911242653.X
申请日：2019-12-06
Applicant: 华侨大学
Abstract: 一种无锚点的人脸检测方法及系统，方法包括：将待测人脸图像输入到训练好的人脸检测网络中进行人脸检测；所述训练好的人脸检测网络进行人脸特征提取，输出人脸热度图、人脸尺度图和人脸中心偏移量图；将所述人脸热度图中大于预设阈值的点认为是人脸，然后在所述人脸中心偏移量图上的对应位置取出人脸坐标偏移量，与所述人脸热度图的坐标相加，得到最终人脸的中心位置，最后在所述人脸尺度图上计算出人脸的宽高，得到人脸的坐标。本发明的人脸被表示为人脸框的中心点，然后根据中心位置的图像特征直接回归人脸框的大小，这样就减少了繁琐锚点的后处理时间，实现快速高效的人脸检测任务。
-
公开(公告)号：CN108181918A
公开(公告)日：2018-06-19
申请号：CN201810011551.6
申请日：2018-01-05
Applicant: 华侨大学
Abstract: 本发明涉及一种移动式空中遮阳飞篷及其实现方法，采用无人机群对飞篷主体进行牵引与移动，对风速、风向进行采集与分析，实时调节飞篷主体的姿态，使得风力对飞篷主体形成的上扬推力、无人机的向上牵引力、下拉绳索的向下拉力之间形成力平衡。利用无人机与卷扬机的协调控制，能够使飞篷主体更容易地达到力平衡而处于稳定状态，而不需要精确控制无人机的牵引力；并且在突发大风的情况下，在卷扬机的限制下，还能防止飞篷主体、无人机被吹飞。本发明通过两种供电方式，保障无人机群的持久工作，以满足长时间使用的需求；将下电力线绕设在下拉绳索上，防止下电力线受到拉扯而损坏，保证供电的稳定性。
-
Patent Agency Ranking
公开(公告)号：CN103699730B
公开(公告)日：2017-02-22
申请号：CN201310697453.X
申请日：2013-12-18
Applicant: 华侨大学
IPC: G06F17/50
Abstract: 本发明一种基于Petri网的组合逻辑FPGA系统可达图的生成方法，在组合逻辑FPGA系统的Petri网建模方法的基础上，以电路逻辑功能为考虑对象，并以电路系统在一个稳定输入状态下所对应的稳定的门电路逻辑运算输出为研究条件，通过重新定义Petri网变迁激发规则，生成组合逻辑FPGA系统可达图，从该组合逻辑FPGA系统可达图中，FPGA系统的状态空间被清晰完整地呈现出来，因此，可以通过遍历搜索来检测系统是否存在违背控制目标的状态，这是验证VHDL程序逻辑错误最直接有力的方法，为VHDL程序形式化验证提供理论基础。
-
-
公开(公告)号：CN104133412A
公开(公告)日：2014-11-05
申请号：CN201410323117.3
申请日：2014-07-08
Applicant: 华侨大学
IPC: G05B19/05
Abstract: 本发明涉及一种判断梯形图程序的无“竞态”的方法，将梯形图转化为包括多元组的关系图，如果梯形图的触点、线圈或者功能模块模拟而成的实结点不存在任何线路，使之沿任何一条线路都不能回到原点，则梯形图程序为无“竞态”。本发明所述的判断梯形图程序的无“竞态”的方法，是从梯形图程序结构的角度检测“竞态”，该方法可以简便，快速的判断出梯形图程序不存在“竞态”。当梯形图程序复杂时，使用传统的模型检测或定理证明，工作量是非常庞大的，并且容易出错，而本发明的工作量小，不易出错。
-
公开(公告)号：CN119417202B
公开(公告)日：2025-05-13
申请号：CN202510033235.9
申请日：2025-01-09
Applicant: 华侨大学
IPC: G06Q10/0631 , G06N5/01 , G06Q50/04 , G06F17/10
Abstract: 本发明涉及智能制造系统技术领域，公开了一种多机器人协调合作系统的最优调度搜索方法，包括：根据多机器人协调合作系统的机器人资源使用情况和生产工艺工序构建多机器人协调合作系统的库所赋时Petri网模型；基于库所赋时Petri网模型构建最速激发策略下的状态图，该状态图保留了对应加工耗时最短的最优状态序列；结合Petri网的结构信息设计状态合并规则，将不属于最优状态序列的冗余状态剔除，缩减状态图的规模；通过全局搜索对状态图进行搜索可得到系统的最优调度方案。本发明构建了有效表征多机器人资源冲突关系及加工事件逻辑及时间关系的赋时Petri网模型，在此基础上构建并搜索含有最优加工事件序列的状态空间，从而求取最优调度策略。
-
公开(公告)号：CN119417202A
公开(公告)日：2025-02-11
申请号：CN202510033235.9
申请日：2025-01-09
Applicant: 华侨大学
IPC: G06Q10/0631 , G06N5/01 , G06Q50/04 , G06F17/10
Abstract: 本发明涉及智能制造系统技术领域，公开了一种多机器人协调合作系统的最优调度搜索方法，包括：根据多机器人协调合作系统的机器人资源使用情况和生产工艺工序构建多机器人协调合作系统的库所赋时Petri网模型；基于库所赋时Petri网模型构建最速激发策略下的状态图，该状态图保留了对应加工耗时最短的最优状态序列；结合Petri网的结构信息设计状态合并规则，将不属于最优状态序列的冗余状态剔除，缩减状态图的规模；通过全局搜索对状态图进行搜索可得到系统的最优调度方案。本发明构建了有效表征多机器人资源冲突关系及加工事件逻辑及时间关系的赋时Petri网模型，在此基础上构建并搜索含有最优加工事件序列的状态空间，从而求取最优调度策略。
-
-
-
-
-
-
-
-
-
Search Results
57
records
(took 0.021 seconds)
