互斥约束工作流可满足性决策的匹配剪枝模式回溯法

• 作者: 万健 卢亚辉 吴茗蔚 王中鹏 翟治年
• 来源期刊: 中国机械工程
• 学科: 工学
• 关键词: 工作流 授权 约束 资源分配 可满足性
• 年，卷（期）: 2018,（24）
• 所属期刊栏目: 智能制造
• 页码范围: 2988-2998
• 页数: 11页
• 分类号: TP309
• 字数: 12965字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-132X.2018.24.014

摘要

针对用于工作流可满足决策的模式回溯技术如何平衡性能与代价的问题,提出了一种对部分模式解及时进行授权匹配验证的优化方法,牺牲一定验证效率以增强剪枝能力.就仅受互斥约束的问题情形,利用实例难易程度的两极分化现象对总体时间性能进行了分析.随机生成数据集上的实验表明,这一优化极大地降低了模式回溯在难实例上的时间代价,而对易实例执行时间的影响很小,且相对于其他基于动态规划的代表性算法,优化后的算法在时间和空间性能上均有显著优势.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卢亚辉	深圳大学计算机与软件学院	12	24	3.0	3.0
2	王中鹏	浙江科技学院信息与电子工程学院	23	62	6.0	6.0
3	翟治年	浙江科技学院信息与电子工程学院	10	19	2.0	3.0
4	万健	浙江科技学院信息与电子工程学院	4	1	1.0	1.0
6	吴茗蔚	浙江科技学院信息与电子工程学院	8	5	1.0	1.0