基于可生存性规范的软件构件系统恢复的建模与推理

来源 :软件学报 | 被引量 : 0次 | 上传用户:nini126
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
从基于构件的系统在面临各种不同的恶意攻击、系统故障和意外事故时,根据预先定义好的生存性规范为用户提供不同等级的系统服务出发,研究了构件系统恢复中的一些关键问题.其主要贡献是:(1)提出了基于构件家族和构件安装顺序的服务核表示方法,该方法能够准确表达系统在不同条件下为用户提供能够感知的服务;(2)建立了基于构件兼容性和构件安装执行的构件系统恢复性质的推理规则,用于判断系统恢复的成功性(新启动的服务能够正常工作)和安全性(原有的服务不会受到损害);(3)提出了基于投影的构件安装执行的简化算法,为大规模构件系统
其他文献
以康有为、陈独秀、徐悲鸿为代表的文化学者,立足于中西文化产生碰撞和交流的背景,思考着中国画如何生存和发展的问题,为中国画寻找出路和良方。时至今日,人们依然担忧中国画
流感病毒引起急性呼吸道感染,分为季节性流感和大流行流感。季节性流感每年都有发生,感染后可以导致肺炎和急性呼吸道衰竭,往往并发细菌共感染。大流行流感每隔一段时间发生
目的:探讨BRAFV600E基因检测在甲状腺结节中的诊断价值,评估其诊断良恶性甲状腺结节的应用价值。方法:选取2015年112月江苏省常州市武进中医医院收治的甲状腺结节患者,入院后
目的:探究趋化因子CXCL1过表达对人肝癌HepG2细胞内质网应激的影响。方法:将GFP-CXCL1质粒转染人肝癌HepG2细胞,荧光显微镜观察绿色荧光蛋白;将该质粒转染人肝癌HepG2细胞,24 h后
在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口
目的:探讨EB病毒VCA-IgA抗体和EB病毒DNA定量检测对鼻咽癌的筛查和诊断意义。方法:收集48例鼻咽癌患者、41例非鼻咽癌患者和6735例健康体检人群作为研究对象,采用化学发光法
摘 要:笔墨与图像作为中西方绘画的基本术语,也是传达观念的基本符号。研究笔墨论的发展,可以发现笔墨实以老庄哲学根基,注重能指与所指的极简化表达,完成了从具象的外指性向抽象的内指性的转变。而西方图像论的历史揭示了西方造像法则是为了突出符号的象征的内指性,忽略现实的外指性,人为制造了能指与所指的阐释的难度,从而造成了图像的理解与欣赏的增繁。  关键词:笔墨;图像;约简;增繁;比较  基金项目:本文系四
为了避免微粒群算法(particle swarm optimization,简称PSO)在全局优化中陷入局部极值,分析了标准PSO算法早熟收敛的原因,提出了自适应扩散混合变异机制微粒群算法(InformPSO)、结合