期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
一类连续时间Markov链的灵敏度分析和性能优化
1
作者 李衍杰 殷保群 +1 位作者 奚宏生 代桂平 《中国科学技术大学学报》 CAS CSCD 北大核心 2004年第6期704-709,共6页
从连续时间Markov链(CTMC)性能势的角度,借助于定义的折扣Poisson方程,给出了CTMC基于性能势的灵敏度公式及折扣代价准则(简称折扣准则)下的最优性方程.此外,建立了在折扣准则与无穷时间平均代价准则(简称平均准则)下灵敏度公式及最优... 从连续时间Markov链(CTMC)性能势的角度,借助于定义的折扣Poisson方程,给出了CTMC基于性能势的灵敏度公式及折扣代价准则(简称折扣准则)下的最优性方程.此外,建立了在折扣准则与无穷时间平均代价准则(简称平均准则)下灵敏度公式及最优性方程之间的联系. 展开更多
关键词 连续时间markov 灵敏度分析 最优性方程 性能势 POISSON方程
在线阅读 下载PDF
基于可用度模型的故障预测与健康管理方法 被引量:9
2
作者 王昊天 石健 《系统工程与电子技术》 EI CSCD 北大核心 2010年第12期2584-2589,共6页
为了将故障预测与健康管理(prognostics and health management,PHM)技术应用到工程实践中,提出了基于可用度模型的PHM方法。首先通过广义随机Petri网(generalized stochastic Petri nets,GSPN)和连续马尔科夫链(continuous time Markov... 为了将故障预测与健康管理(prognostics and health management,PHM)技术应用到工程实践中,提出了基于可用度模型的PHM方法。首先通过广义随机Petri网(generalized stochastic Petri nets,GSPN)和连续马尔科夫链(continuous time Markov chain,CTMC)建立基本单元的软硬件可用度模型和健康状态转换图,通过求解微分方程得到基本单元软硬件的可用度数值。然后综合软硬件之间的故障相关性建立基本单元的完整可用度模型,并利用事件调度仿真机制得到其可用度的解。最后将基本单元故障模型同通用的可修系统稳态可用度模型对比,得到"可用度-故障率-维修率"形式的PHM计算模型,并以此作为工程应用中PHM分析的有效手段。 展开更多
关键词 故障预测与健康管理 广义随机PETRI网 连续马尔可夫链 可用度
在线阅读 下载PDF
非理想频谱感知下认知无线电系统性能分析 被引量:1
3
作者 陈松 王盛 +1 位作者 郑娜娥 胡捍英 《计算机工程》 CAS CSCD 北大核心 2016年第4期44-49,共6页
采用连续时间马尔可夫链对多信道非理想感知条件下的认知无线电系统进行建模,构建不同状态间的跳转率、系统检测率以及用户到达率之间的关系方程,并给出系统状态平稳分布的通用求解方法。数值仿真结果表明,在该系统模型下,冲突率、信道... 采用连续时间马尔可夫链对多信道非理想感知条件下的认知无线电系统进行建模,构建不同状态间的跳转率、系统检测率以及用户到达率之间的关系方程,并给出系统状态平稳分布的通用求解方法。数值仿真结果表明,在该系统模型下,冲突率、信道利用率与次用户到达强度呈正比例关系,与信道数、误检率呈反比例关系。在实际认知无线电系统设计过程中可参考上述结论,依据需求折中设定相关参数以获得目标性能。 展开更多
关键词 认知无线电 频谱感知 连续时间马尔可夫链 传输冲突 信道利用率
在线阅读 下载PDF
基于随机Petri网的乘积形式解存在判定
4
作者 方贤文 洪永发 《计算机工程与设计》 CSCD 北大核心 2006年第8期1338-1340,共3页
给出了一个判定基于随机Petri网(SPN)的乘积形式解存在的定理。利用该判定定理,可以发现两部件自动组装生产线模型具有乘积形式解,据此可画出该模型的状态空间图,然后根据局部平衡方程,就可得到此模型任意状态的稳定概率。
关键词 随机PETRI网 乘积形式解 连续时间马尔可夫链 稳定概率
在线阅读 下载PDF
基于随机Petri网的乘积形式解存在的一个充分条件 被引量:1
5
作者 方贤文 吴哲辉 倪丽娜 《系统仿真学报》 CAS CSCD 2003年第z1期32-34,55,共4页
目前,判定一类随机Petri网(SPN)是否具有乘积形式解还没有比较好的方法。在这篇文章里给出了一个基于随机Petri网的乘积形式解存在的判定定理,它对于判定一些SPN模型是非常有用的。利用这个定理,可以发现两部件自动组装生产线模型具有... 目前,判定一类随机Petri网(SPN)是否具有乘积形式解还没有比较好的方法。在这篇文章里给出了一个基于随机Petri网的乘积形式解存在的判定定理,它对于判定一些SPN模型是非常有用的。利用这个定理,可以发现两部件自动组装生产线模型具有乘积形式解,然后画出该模型的状态空间图,根据局部平衡方程,就可以得到此模型任意状态的稳定概率。 展开更多
关键词 随机PETRI网 乘积形式解 连续时间马尔可夫链 稳定概率
在线阅读 下载PDF
基于AADL的IoP系统可靠性评估方法 被引量:2
6
作者 施小东 勉治宝 高亚晴 《计算机工程》 CAS CSCD 北大核心 2022年第1期204-213,共10页
人联网(IoP)系统的架构复杂且存在海量、实时变化的数据,使得基于IoP系统的可靠性分析变得十分困难,目前仍缺乏一种健全的基于IoP系统的可靠性建模及评估方法。提出一种新型的IoP系统可靠性评估方法,利用AADL及其附件语言对IoP系统进行... 人联网(IoP)系统的架构复杂且存在海量、实时变化的数据,使得基于IoP系统的可靠性分析变得十分困难,目前仍缺乏一种健全的基于IoP系统的可靠性建模及评估方法。提出一种新型的IoP系统可靠性评估方法,利用AADL及其附件语言对IoP系统进行可靠性建模,并基于该模型从定性角度评估系统故障的根本原因和风险。此外,结合Ocarina模型转换技术提出一种基于连续时间马尔科夫链(CTMC)的定量评估算法,将AADL可靠性模型转换为CTMC模型,实现对系统动态、实时等特性的评估。在此基础上,设计一个IoP系统通用模型,并以此为案例验证所提方法的可行性。实验结果表明,该方法不仅能对IoP系统建模,而且能自动、准确地对其进行可靠性分析,具有良好的应用价值。 展开更多
关键词 人联网 架构分析与设计语言 可靠性建模及分析 连续时间马尔科夫链 Ocarina模型转换
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部