软件可靠性评估中的组件独立性研究

来源 :浙江师范大学学报：自然科学版 | 被引量 : 0次 | 上传用户：mgy1982

【摘要】

：

对一个典型的软件系统而言,人们普遍认为通过组件的可靠性来计算系统的整体可靠性是不可行的,这是由于软件系统与硬件系统不同,它通常违背可靠性计算所要求的组件独立性原则.

【作者】

：

楼玉萍陈欣

【机构】

：

浙江师范大学信息科学与工程学院

【出处】

：

浙江师范大学学报：自然科学版

【发表日期】

：

2005年1期

【关键词】

：

软件可靠性评估组件软件系统硬件系统 MARKOV模型转换计算系统独立性原则违背问题 component reliability Markov

【基金项目】

：

浙江师范大学校科研和教改项目

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

对一个典型的软件系统而言,人们普遍认为通过组件的可靠性来计算系统的整体可靠性是不可行的,这是由于软件系统与硬件系统不同,它通常违背可靠性计算所要求的组件独立性原则.针对组件和基于组件的软件可靠性评估问题,给出了一种改进后的Markov模型.经CPS转换后,软件系统的可靠性可用Markov模型进行准确计算.

其他文献

德兴斑岩铜矿成矿流体来源及其演化的氧同位素证据

与原始岩浆组成（δ^18O=8.36×10^-3)相比，铜厂花岗闪长斑岩的氧同位素在纵向上存在着3个特征区段：（1）中段（标高0－80m之间）样品接近原始岩浆^18O值；（2）上段：在此之上的样品δ^18O值变

期刊

氧同位素岩浆流体大气降水斑岩铜矿床成矿流体来源演化Oxygen isotopic agingMagmatic fluidDeep scatte

语义分析中谓词标识的特征工程

谓词是句子中的最重要的成分,它的正确与否对语义分析的影响非常大。而众多的特征直接影响到谓词标识的性能,如何组织这些特征显得尤为重要。选取了7个基本特征和30多个新特

期刊

谓词标注和词义识别语义分析特征工程最大熵分类器predicate identification and predicate classification

印度7亿美元给米格-27战机“机钙”

目前，印度空军拥有多种型号的战机，包括米格-21、米格-23、米格-27．米格-29、苏-30和幻影-2000等。其中，苏-30是印度空军最先进的战斗机，米格-29和幻影-2000属于比较先进的战斗机

期刊

印度米格-27战斗机现代化建设军事费用

基于GIS的略阳县地质环境质量评价

基于地理信息系统(GIS)和多级模糊模式识别模型,建立了略阳县空间数据库和地质环境质量评价模型;综合考虑地形坡度、工程地质岩组、岩土体结构类型、地下水位、植被发育情况、月平均降雨量、人类工程活动强度等因素,用层次分析法确定各指标权值,应用评价模型对略阳县地质环境质量进行了综合评价,把略阳县地质环境划分为优、良、中、差4个质量级别。

期刊

地理信息系统地质环境评价模型多级模糊模式识别模型geographical information system geoenvironment ass

基于多核微机的微粒群并行算法

提出了一种基于Logistic模型的惯性权重非线性调整策略,采用OpenMP多线程编程,在微机上实现了微粒群算法的多核并行计算。通过对BenchMark测试函数集中的5个函数进行测试,试

期刊

OPENMP微粒群优化算法多核并行计算OpenMP particle swarm optimization algorithm multi-core

滑翔机征服无敌炮台

这是一个构思巧妙．行动大胆的超常规作战经典战例。它记述的是第二次世界大战期间，纳粹德军空降第7师用滑翔机群奇袭比利时埃本·埃马耳要塞的故事。

期刊