基于Petri网的网络服务自动组合方法研究

针对网络服务的自动组合问题,提出了一种考虑端系统输入/输出请求的自动组合方法。将网络服务功能转化为Petri网中的变迁,输入请求与输出期望转化为库所;构建3种网络服务组合模型,通过对这些基础组合模型的再组合及分析,可以实现更复杂、功能更优的网络服务组合。通过T向量技术可判定是否存在满足用户需求的网络服务组合。

一种基于生成对抗网络和可满足性模理论的智能排班方法

为有效提升人员排班的效率和灵活性,设计了一种基于生成对抗网络与可满足性模理论的智能排班方法。首先,利用历史优良排班记录,将其蕴含的排列组合问题转换为二值图像问题,构造训练集与测试集;然后,构建并训练生成对抗网络模型,通过该模型获得初始排班候选集合,并基于可满足性模理论,结合当前排班的需求特征构造约束集合;最后,利用可满足性模理论逐一验证初始排班候选集合中的每个候选计划,从而筛选得到满足所有约束的合理排班计划。仿真实验结果表明,上述生成方法能够有效降低排班的空间复杂度和计算复杂度。