-
公开(公告)号：CN116679654A
公开(公告)日：2023-09-01
申请号：CN202310835128.9
申请日：2023-07-10
Applicant: 河北大学
IPC: G05B19/418
Abstract: 本发明公开了一种基于Petri网的柔性制造系统死锁控制方法，该方法包括如下步骤：步骤一：根据柔性制造系统的生产关系，将柔性制造系统抽象为Petri网模型；步骤二：根据共享资源库所将Petri网模型分解为若干子网；步骤三：检测每一个子网死锁状况并为产生死锁的子网添加变迁控制器，恢复其死锁状态；步骤四：将所有无死锁子网和受控子网根据共享资源进行融合，得到一个无死锁的受控网，能够恢复柔性制造系统中的所有死锁标记，识别潜在的问题区域和提高系统性能，通过分治策略，将网模型分解为多个子网进行可达图分析，避免了“状态爆炸”问题，本发明的控制方式是针对有死锁的子系统逐个添加控制变迁进行实现的，有效降低了控制器的计算复杂性。
-
公开(公告)号：CN117910663A
公开(公告)日：2024-04-19
申请号：CN202410314155.6
申请日：2024-03-19
Applicant: 河北大学
IPC: G06Q10/04 , G06Q10/0631 , G06Q30/0201 , G06Q50/06
Abstract: 本发明公开了一种基于双层优化调度模型优化能源系统的方法，涉及能源优化技术领域。具体包括：S1：数据获取步骤：获取能源设备的设备信息、设备的技术参数、运行条件；S2：构建能源系统步骤：根据S1中获取的能源设备的相关数据构建能源系统；S3：能源系统优化步骤：利用双层优化调度模型进行求解，完成对能源系统的优化。本发明通过对储能容量优化和设备出力调度优化，建立双层优化模型，达到能源系统总成本最低的目标。
-
公开(公告)号：CN116679654B
公开(公告)日：2024-02-02
申请号：CN202310835128.9
申请日：2023-07-10
Applicant: 河北大学
IPC: G05B19/418
Abstract: 本发明公开了一种基于Petri网的柔性制造系统死锁控制方法，该方法包括如下步骤：步骤一：根据柔性制造系统的生产关系，将柔性制造系统抽象为Petri网模型；步骤二：根据共享资源库所将Petri网模型分解为若干子网；步骤三：检测每一个子网死锁状况并为产生死锁的子网添加变迁控制器，恢复其死锁状态；步骤四：将所有无死锁子网和受控子网根据共享资源进行融合，得到一个无死锁的受控网，能够恢复柔性制造系统中的所有死锁标记，识别潜在的问题区域和提高系统性能，通过分治策略，将网模型分解为多个子网进行可达图分析，避免了“状态爆炸”问题，本发明的控制方式是针对有死锁的子系统逐个添加控制变迁进行实现的，有效降低了控制器的计算复杂性。
-
公开(公告)号：CN113359650B
公开(公告)日：2022-04-05
申请号：CN202110753595.8
申请日：2021-07-02
Applicant: 河北大学
IPC: G05B19/418
Abstract: 本发明提供了一种含有不可控事件自动制造系统的控制方法。该方法包括如下步骤：①根据自动制造系统的生产关系，构建相应的Petri网模型；②根据实际生产关系，给出步骤①中Petri网模型应满足的约束性条件(w,k)；③根据步骤①的模型将步骤②的禁止状态问题转换为整数线性规划问题；④求解步骤③的整数线性规划问题，得到允许线性约束；⑤根据步骤④得到的结果，利用库所不变量方法在原模型中直接设计控制器。本发明能够有效解决含不可控事件自动制造系统的禁止状态问题，实现对多种自动制造系统的控制，降低对系统控制的成本和难度。
-
公开(公告)号：CN119335993A
公开(公告)日：2025-01-21
申请号：CN202411388708.9
申请日：2024-10-08
Applicant: 河北大学
IPC: G05B23/02
Abstract: 本发明属于离散事件系统故障诊断技术领域，具体涉及一种基于λ‑free Petri网的离散事件系统故障诊断研究方法，所述研究方法包括以下步骤：S1：针对离散事件系统构建标签λ‑free Petri网模型；S2：判断是否可以通过有限长度的观测序列检测到故障的发生，即系统是否具有可诊断性；S3：若系统是不可诊断的，则在原始Petri网的基础上构建一个验证网，利用在验证网中捕获的系统结构对其可达树展开并修剪，搜索需要重新标记的标签。本发明能够有助于提高故障诊断的效率和准确性，去除空变迁后的Petri网模型能够减少系统描述的复杂性，从而简化故障诊断过程。
-
Patent Agency Ranking
公开(公告)号：CN114509942B
公开(公告)日：2024-04-02
申请号：CN202210047827.2
申请日：2022-01-17
Applicant: 河北大学
IPC: G05B13/04
Abstract: 本发明提供了一种基于Petri网的柔性制造系统禁止状态控制器设计方法。该方法包括以下步骤：①根据柔性制造系统流程以及给定的生产规范，构建相应的Petri网模型#imgabs0#和线性约束条件#imgabs1#；②根据步骤①中Petri网的结构特征和线性约束条件得到整数线性规划问题；③根据步骤②求解上述线性规划问题，得到约束转换后的线性约束条件为#imgabs2#；④在原Petri网模型中添加控制库所#imgabs3#。本方法将柔性制造系统抽象为Petri网模型，从而通过求解允许约束转换设计出控制器，最后在柔性制造系统中加入控制器进行控制，能有效的避免系统进入禁止状态。
-
公开(公告)号：CN113361136A
公开(公告)日：2021-09-07
申请号：CN202110753601.X
申请日：2021-07-02
Applicant: 河北大学
IPC: G06F30/20 , G06F119/18
Abstract: 本发明提供了一种基于Petri网的自动制造系统可诊断性验证方法。该方法包括如下步骤：(1)将自动制造系统抽象为Petri网模型并构建其无故障子网模型；(2)分析该自动制造系统的有界性；(3)构建该自动制造系统的标签可达图及其无故障子网的标签可达图；(4)建立SF验证器验证该自动制造系统是否满足可诊断性。本发明首先提出了标签可达图的概念和构建算法，其次提出了一种新的自动制造系统可诊断性的验证算法，并给出了自动制造系统满足可诊断性的充要条件。本发明无需假设故障后无死锁状态，即可对自动制造系统进行可诊断性分析，极大地扩大了应用范围。
-
公开(公告)号：CN119600286A
公开(公告)日：2025-03-11
申请号：CN202411642813.0
申请日：2024-11-18
Applicant: 河北大学
IPC: G06V10/26 , G06V20/70 , G06V10/42 , G06V10/764 , G06V10/80 , G06V10/82 , G06N3/0464 , G06N3/0455
Abstract: 本发明提供了一种基于U‑Net的遥感图像语义分割方法，属于图像分割技术领域，该方法在得到输入图像之后，将该图像依次通过由四个处理模块所组成的编码器部分，由此得到四个不同维度的特征图。将最后一个模块输出的通道数最高，尺寸最小的特征图输入到网络的瓶颈部分，经过特征增强后进入网络的解码器部分，通过上采样逐步恢复图像的空间分辨率。在恢复过程中，利用跳跃连接将编码器的输出特征图连接到解码器中，帮助解码器更好地恢复图像的细节。最终，解码器的输出会通过一个1x1的卷积层，生成与输入图像相同尺寸的输出图像。本发明利用提出的三个新模块改进U型网络，提升了分割精度，确保了本方法在遥感图像语义分割中的高效性和准确性。
-
公开(公告)号：CN118916781A
公开(公告)日：2024-11-08
申请号：CN202410961777.8
申请日：2024-07-18
Applicant: 河北大学
IPC: G06F18/2415 , G06N3/126 , G06Q10/087
Abstract: 本发明属于自动制造系统控制技术领域，具体涉及一种基于改进遗传算法的集装箱船舶配载优化方法，在满足船舶适航性的基础上，建立了以倒箱量最少和船舶的横倾力矩为目标的多目标多约束的数学模型；并运用改进的遗传算法进行求解：首先在初始化种群阶段创建一个包含多个个体的种群，每个个体包含布局、港口和重量信息；其次，经过选择、交叉、变异形成新的个体替换原始种群中的个体，形成新的种群；最后通过计算每个种群的目标函数值，来找到最优解。本发明基于码头方考虑的目标函数模型和改进的遗传算法进行集装箱船舶配载优化，得到的配载结果可以有效提高码头的作业效率。
-
公开(公告)号：CN118736254A
公开(公告)日：2024-10-01
申请号：CN202410767664.4
申请日：2024-06-14
Applicant: 河北大学
IPC: G06V10/75
Abstract: 本发明属于计算机视觉技术领域，具体涉及一种基于ORB特征点和改进筛选机制的特征匹配方法，包括以下步骤，第一步：对两幅待匹配的图像进行ORB特征点提取，将提取点作为潜在特征点，第二步：使用四叉树均匀地选取图像特征点，第三步：根据描述子信息，比较描述子之间的汉明距离，对特征点进行初步匹配，第四步：改进筛选机制，剔除图像中错误的匹配对，得到最终的正确匹配结果。本发明能够在实际应用中改善特征匹配方法中的稳定性，有效提高了特征匹配的速度和精度，保证了筛选的稳定性，改善了特征匹配的整体效果。
-
-
-
-
-
-
-
-
-
Search Results
17
records
(took 0.014 seconds)
