论文部分内容阅读
本文主要讨论软件测试过程中NHPP模型参数发生变化的情形，并用Bayes方法对GGO模型进行变点分析，运用基于Gibbs抽样的MCMC方法模拟出参数后验分布的马尔科夫链，最后借助于BUGS软件包对软件故障数据集Musa进行建模仿真，其结果表明该模型在软件可靠性变点分析中的直观性和有效性。
基于MCMC模拟方法的带变点的NHPP软件可靠性模型
【摘 要】
：
本文主要讨论软件测试过程中NHPP模型参数发生变化的情形，并用Bayes方法对GGO模型进行变点分析，运用基于Gibbs抽样的MCMC方法模拟出参数后验分布的马尔科夫链，最后借助于BUGS软
【机 构】
：
西安电子科技大学数学系
【出 处】
：
数学理论与应用
【发表日期】
：
2010年3期
其他文献
本文对随机环境下的NLAR模型进行了分析，并得到该模型非遍历的一个判别准则。
冷战后,国家经济安全问题日益突出,经济全球化和科学技术的迅速发展,使各国的经济安全观发生了变化.新时期的经济安全带有鲜明的资源经济向知识经济过渡的特征.占领高科技优
基础隔震能有效减轻结构地震响应.但在近断层脉冲型地震作用下,隔震结构的隔震层会发生较大位移,导致隔震结构侧倾失稳.本文采用弹簧限位装置进行软碰撞限位,利用软件SAP2000
结合图的k-边形2-因子条件，确定了一类上可嵌入的3-连通图。
造成港湾水体有机污染的污染物有内源性有机污染物和外源性有机污染物。内源性有机污染物的发生量可利用浮游植物的光合作用方程式进行估算外源性有机污染物可以依据现行的规
本文研究一类带Poisson跳的倒向随机微分方程。在方程的系数满足非增长条件和非Lipschitz条件下，讨论方程适应解的存在唯一性和稳定性。为了证明解的存在性，首先通过函数变换，构
设计一种长孔螺栓板式摩擦耗能器,通过低周往复荷载试验重点研究了螺栓预紧力、滑动位移幅值和摩擦片等因素对摩擦耗能器滞回性能的影响.试验结果表明:长孔螺栓板式摩擦耗能
提出一种基于有效值反馈的大功率可调数字电源设计方案．给出了恒压和恒流两种设计方案：恒压方案适用于低压大电流负载；恒流方案适用于高压小电流负载．恒压与恒流方案均能实现标称