首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

一种融合生成对抗网络与可满足性模理论的智能排班方法 

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

申请/专利权人:河南工程学院

摘要:本发明公开了一种融合生成对抗网络与可满足性模理论的智能排班方法,以智能化生成排班计划为目标,首先利用历史优良排班记录,将其蕴含的排列组合问题转换为二值图像问题,从而构造训练集与测试集,并以此为基础构建并训练生成对抗网络模型,通过该模型获得满足当前排班具体约束需求的初始排班候选集合;之后,基于可满足性模理论,将当前排班的需求特征转换为一阶逻辑公式,构造出详细的约束集合;最后,针对初始排班候选集合中的每个候选计划,利用可满足性模理论求解器逐一验证,从而获得得到满足当前约束的排班计划。上述排班计划的生成方法,能够有效降低人工排班的计算复杂度,减少错误发生概率,通过约束条件还可进一步实现排班策略的灵活性。

主权项:1.一种融合生成对抗网络与可满足性模理论的智能排班方法,其步骤是:步骤一、根据历史优良排班记录,将组合排序问题转换成图像问题,构造大规模训练集与测试集;步骤二、根据排班样本特征,构建生成对抗网络模型,主要包括生成器网络与判别器网络;步骤三、利用步骤一中的训练集和测试集,针对步骤二构建的生成对抗网络模型实施多轮训练;步骤四、为了满足当前排班的具体约束需求,利用步骤三训练完成的生成对抗网络模型生成初始排班候选集合;步骤五、基于可满足性模理论,根据当前排班的需求,将包括班组、班次、人员、业务量在内的时间与空间特征转换为一阶逻辑公式,构造约束集合;步骤六、利用可满足性模理论求解器Z3,针对步骤四中生成的初始排班候选集合中的每项候选排班计划,依次予以验证,从而获得满足当前众多约束的排班计划。

全文数据:

权利要求:

百度查询: 河南工程学院 一种融合生成对抗网络与可满足性模理论的智能排班方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。