【摘 要】
：
静态k弹性反映安全工作流从资源失效异常中恢复运行的能力,但其验证须求解多达C(|U|,k)个工作流可满足决策问题(U为资源集),代价巨大。已有工作提出通过1次工作流可满足计数
【机 构】
：
浙江科技学院信息与电子工程学院,浙江科技学院经济与管理学院
【基金项目】
：
国家自然科学基金(No.61572163),浙江省自然科学基金(No.Y17F050015,No.Y17G030052),浙江省教育厅科研项目(No.Y201737476),教育部人文社会科学研究项目(No.17YJC630109,No.17YJA880004)
论文部分内容阅读
静态k弹性反映安全工作流从资源失效异常中恢复运行的能力,但其验证须求解多达C(|U|,k)个工作流可满足决策问题(U为资源集),代价巨大。已有工作提出通过1次工作流可满足计数来量化其异常恢复能力,但该指标相当粗糙,仅能在可满足无解情形下给出精确的否定结论。对互斥和绑定约束下的工作流,建立了以k弹性可满足计数下界概念为核心的新颖模型,并首次证明了一个非平凡的下界,由此可将k弹性的否决条件从可满足无解推广到有解情形,具有理论上的代表性意义,也扩大了前述指标精确适用的范围。
其他文献
<正> .net是微软公司2000年6月宣布的开发和服务平台,正式发布乃是2002年2月13日。在此期间各出版社分别推出了有关.net方面的书籍,但这些书中的示例很多是直接从微软技术文
从世博对提升上海炼油工业水平所提出的要求出发，从资源利用、环境保护、产品质量和市场竞争力等方面论述了上海炼油工业面临的挑战和机遇。
<正> 近年来,我国城乡居民储蓄存款高速增长,已成为人们关切的热点。特别是1989年,城乡储蓄存款总额增加1334亿元①.创历史最高水平。当前储蓄大幅度增长主要有以下三方面因
通过野外剖面和钻井岩心观察、测井曲线和镜下微相分析认为，塔里木盆地大宛齐油田上第三系康村组是一套以低弯度河注入极浅水湖泊形成的三角洲沉积体系。在大宛齐油区识别出了
【正】 一、问题的提出与回顾自从党中央提出我国仍处于社会主义初级阶段的理论以后,如何正确建立适合初级阶段特点的经济运行模式已日益受到人们的关注。目前,关于社会主义
【正】 控制通货膨胀是当前治理经济环境,整顿经济秩序的重点之一。我国通货膨胀率高达两位数,原因很多,其中,企业不及时办理结算,形成长期巨额拖欠款,是重要原因之一。对其
本文介绍了在几种情况下,Visual C++语言中实现打印的方法,简要叙述了其实现过程.
<正> 利率水平低,结构不合理,缺乏弹性机制等问题,是前一时期人们对利率改革的普遍认识,由此某些同志认为我国宜推行高利率政策,以发挥利率的杠杆作用。但是近几年来较大幅度
19世纪五六十年代，在镇压太平天国运动中崛起的湘军采用了一整套迥异于清代经制兵经营制度的兵役制度，与其私属性、非经制性相适应的抚恤制度也显现出了一些不同于绿营制度的特
<正> 改革推动了农村经济的发展,带来了畜牧业,特别是肉禽养殖业的兴旺,为改善城乡居民的膳食结构起了重要作用。但是,由于传统经营习惯的影响,生产者管理技术的欠缺,我国肉