基于可满足性计数的（≠，＝）约束工作流鲁棒性验证

• 作者: 彭艳斌 潘志刚 王中鹏 王刚 翟治年 郑志军
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 工作流 授权 约束 资源分配 可满足性
• 年，卷（期）: 2015,（11）
• 所属期刊栏目: 学术论文
• 页码范围: 2298-2304
• 页数: 7页
• 分类号: TP309
• 字数: 7796字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2015.11.024

摘要

工作流将业务过程分解为有序的步骤并分配人力资源加以执行。资源分配受访问控制约束及资源异常干扰，存在可满足性和鲁棒性问题。而其鲁棒性验证又依赖于其可满足性判定，目前通过求可满足性的一个解来完成。本文提出另一种途径，通过统计解的个数来完成判定。特别地，通过多项式计数归约为有求解器可用的＃SAT 问题，给出了互斥和绑定约束下的可满足性计数算法。实验表明，相对目前时间复杂度最低的可满足性求解算法，该可满足性计数算法显著提高了实际判定效率和适用规模。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	彭艳斌	浙江科技学院信息与电子工程学院	12	55	5.0	7.0
2	王中鹏	浙江科技学院信息与电子工程学院	23	62	6.0	6.0
3	翟治年	浙江科技学院信息与电子工程学院	10	19	2.0	3.0
4	王刚	中国核电工程有限公司河北分公司民用工程研究设计所	20	21	3.0	3.0
5	潘志刚	浙江科技学院信息与电子工程学院	7	26	3.0	5.0
6	郑志军	浙江科技学院信息与电子工程学院	7	32	2.0	5.0