可满足(≠,=)工作流的静态k弹性否决条件

• 作者: 叶绿 向坚 庞海云 王中鹏 王富忠 翟治年
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 工作流 授权 约束 资源分配 弹性 可满足性
• 年，卷（期）: 2019,（23）
• 所属期刊栏目: 理论与研发
• 页码范围: 35-39
• 页数: 5页
• 分类号: TP309
• 字数: 6941字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1808-0475

摘要

静态k弹性反映安全工作流从资源失效异常中恢复运行的能力,但其验证须求解多达C(|U|,k)个工作流可满足决策问题(U为资源集),代价巨大.已有工作提出通过1次工作流可满足计数来量化其异常恢复能力,但该指标相当粗糙,仅能在可满足无解情形下给出精确的否定结论.对互斥和绑定约束下的工作流,建立了以k弹性可满足计数下界概念为核心的新颖模型,并首次证明了一个非平凡的下界,由此可将k弹性的否决条件从可满足无解推广到有解情形,具有理论上的代表性意义,也扩大了前述指标精确适用的范围.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶绿	浙江科技学院信息与电子工程学院	29	173	9.0	11.0
2	庞海云	浙江科技学院经济与管理学院	17	102	6.0	9.0
3	王中鹏	浙江科技学院信息与电子工程学院	23	62	6.0	6.0
4	王富忠	浙江科技学院经济与管理学院	33	106	6.0	8.0
5	翟治年	浙江科技学院信息与电子工程学院	10	19	2.0	3.0
6	向坚	浙江科技学院信息与电子工程学院	14	70	5.0	8.0