工学 >>> 计算机科学技术 >>> 计算机科学技术基础学科 人工智能 计算机系统结构 计算机软件 计算机工程 计算机应用 计算机科学技术其他学科
搜索结果: 1-15 共查到计算机科学技术 可靠性分析相关记录18条 . 查询时间(0.451 秒)
环境和需求的改变导致软件演化发生,并通常会使软件架构(Software architecture,SA)产生变化.现有的结构化软件可靠性模型对评价软件初始结构设计有不错的效果,但在软件演化时的实时分析方面有局限性.从软件结构建模出发,通过使用代数方法将软件演化描述为原子操作序列,并跟踪分析序列中每一步操作对可靠性的影响,从而建立基于过程的可靠性分析方法.方法可分析演化关键环节及整体趋势,用以进一步...
为了有效管理和监测建筑设备自动化系统(BAS),提高系统可靠性,基于集对分析联系数和故障树理论研究了BA系统的可靠性分析方法。详细分析可能引起BA系统故障的各种因素,建立系统的故障树模型,并确定了系统故障原因的各种可能组合方式;引入中间状态概率的概念结合集对分析联系数理论建立了BA系统的可靠性评定模型;通过BA冷源系统的仿真实例验证了模型的可靠性和有效性。实验表明,该模型便于发现系统的薄弱环节,从...
通过分析系统不动点的稳定性,得到分数阶微分系统存在混沌的解析条件。以分数阶统一混沌系统为例,通过时域数值仿真实验,发现时域近似产生的仿真误差会产生对分数阶微分系统是否存在混沌的错误判断,并且误差影响会随参数k的增大而变大。
分析圆形无线传感器网络的数据转发特征,得到使网络寿命最大的节点能量发射功率。在此基础上提出在保障数据收集可靠性前提下提高网络寿命和尽量保持高数据收集率的策略。理论分析结果表明,该策略在保证端到端可靠性的前提下延长了网络的寿命,能够为无线传感器网络的实际应用提供有价值的参考。
针对传统可靠性分析方法容易忽视冗余多态性、可修复性等安全苛求系统特性问题,在形式化的系统可靠性建模中引入可修复因子,提出一种模块化动态故障树分析方法。在动态和静态相结合的模块化定量分析过程中,利用马尔可夫模型和顶事件发生概率逼近算法,有效避免动态故障树分析过程中的状态组合爆炸问题,提高安全苛求系统可靠性分析的可行性和实践效率。
提出了基于子网的E-2DMesh网络结构在存在链路故障情况下的状态转移模型。通过马尔科夫链过程建立了具有单向链路的E-2DMesh网络的可靠性模型,并分别对链路失效独立和链路失效相关条件下的网络可靠性进行了分析。运用概率分析的方法,通过组合模型计算出了较大规模的E-2DMesh网络的可靠性。通过对模型的仿真表明,链路失效相关时的网络可靠性要比链路失效独立时的网络可靠性低。
在评估多样性冗余的容侵系统可靠性时,通常假设各个子系统的失效是相互独立的,从而使得评估结果存在片面性。针对这一问题,使用概率的方法对多样性冗余的容侵系统可靠性进行了分析。结果表明,容侵系统的可靠性不仅与子系统的可靠性有关,而且还依赖于在攻击行为下子系统之间的内在联系。在此基础上,提出了容侵系统可靠性的评估模型。该模型对系统可靠性的评估结果涵括了大于、等于以及小于相互独立假设条件下系统可靠性三种情况...
近年来,软件体系结构(Software Architecture,SA)可靠性作为软件性能评估的关键因素,越来越受到关注。针对SA自身的特点及构件之间的关系,提出了SA的6种基本结构,给出了相应可靠性计算模型,证明了基本结构的完整性和讨论了基本结构的选择问题,并在此基础上描述了整个SA可靠性模型。与现有的许多SA可靠性分析和评估方法相比,提出的方法便于从运行效率和可靠性出发,选择更合实际的结构组成...
利用ON/OFF模型产生自相似流量,提出了一种基于排队延迟的自相似网络可靠性分析模型。将节点和到达信息流视为G/M/1/B排队模型,利用大偏差理论得到节点平均排队延迟时间,进而得到网络各种工作状态下全网平均排队延迟时间。再利用延迟阀值得到各种工作状态下的网络可靠性,进一步得到全网可靠性。通过模拟计算,得到了给定拓扑结构网络的可靠性与自相似程度、ON/OFF源数量以及节点缓存大小之间的关系。
基于金属化膜脉冲电容器的失效机理,研究了基于加速退化数据的金属化膜脉冲电容器可靠性评估问题,给出了一个该型电容器的加速退化失效模型和参数统计推断方法。基于试验数据可求得该型电容器可靠性模型中未知参数的估计值分别为9.066 9×10和0.022 1,将该值代入失效分布函数即可确定电容器的失效模型,由此模型求得该型电容器充放电20 000次的可靠度为0.972 4。使用这种分析方式对金属化膜脉冲电容...
提出了冗余组合导航应用软件的实用设计方法,当组合导航应用软件中多个任务模块采用N文本法和恢复块法进行冗余设计时,给出了含有容错模块的软件系统的可靠性的评价模型及计算方法。
软件可靠性问题是软件测试中的重要难题之一,由于程序语言的复杂性以及被测程序的多样性,一直没有一个好的可靠性模型来评价它。鉴于此,提出了一个有关黑盒测试的可靠性分析模型,模型在结合等价类和边界值划分的基础上充分考虑软件复杂性、缺陷后果严重性和信息不足等因素等原因,根据矩阵和数理统计的知识得出相关的可靠性模型,并使用EM算法对该模型的置信下限做出了相应的理论证明。实验表明,该模型在实用性和可靠性方面都...
可靠性问题是研究大规模集群存储系统的一个重要方面。借鉴RAID的方法,提出基于对象分组在算法一级实现数据冗余分布的高可靠数据对象布局算法。在数据对象和存储节点失效时,利用冗余数据重构数据对象和存储节点,有效保证存储系统的高可用性。采用马尔可夫激励模型对存储系统进行定量的可用性分析,计算结果表明该方法是有效的。
CIMS生产线中缓冲区的状态是分析CIMS生产线的关键,当缓冲区的容量增加时,缓冲 区的状态增加,使系统的状态增加,给分析问题带来困难.本文利用缓冲区状态之间的关系, 把容量为K的缓冲区的K+1个状态简化为全空、不空不满、全满三个状态,并利用前后级工 作站正常、故障所出现的四种情形,对CIMS生产线的可靠性问题进行了分析和研究,提出了 三个状态简化的定理,得到了简化后三个状态之间的状态转移...
可以用于形式规范的描述语言很多,但存在一种统一的方法对形式规范进行一致性测试。该文采用统计的方法分析基于形式规范的协议一致性测试的可靠性,通过计算给出待测实体经过这种测试后所能达到的可靠性的置信区间,特别指出在“零错误”下影响可靠性的条件。

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...