基于随机Petri网的SPN^2软件建模方法研究

来源 :计算机工程 | 被引量 : 0次 | 上传用户:kaless
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随机PetriN(SPN)在进行系统性能分析时,其状态空间随着系统规模的增大而呈指数性增长,造成系统建模复杂。针对该问题,结合面向对象Petri网理论(OOPN)提出一种SPN^2方法,与传统SPN方法相比,SPN^2方法可进行分层及面向对象网中网建模,并应用该方法仿真高速列车在移动闭塞区间条件下GSM-R铁路无线通信系统的可靠性。
其他文献
煤炭在我国能源体系当中的主体地位和重要作用在中长期内是不会动摇和改变的。因为它不仅是我国最主要的基础能源和重要的工业用原料,也是保证我国能源领域安全的重要基础。
目的:研究不同剂量的补经胶囊对雄激素致无排卵(ASR)大鼠的体重、子宫和卵巢的脏器系数及血清雌激素(E2)、孕激素(P)、卵泡刺激素(FSH)、黄体生成素(LH)水平的影响,探讨该药对肾虚型月
原发性气胸是严重危害人体健康、影响人们工作和学习的疾病之一。东北电力大学校医院在2004—2007年门诊诊治的学生患者中,共确诊18例原发性气胸,现分析如下。
摘要:分析了新型横向磁通永磁电机的无刷直流运行特点,针对常规相电压法应用于该新型电机时会引入附加检测误差问题,深入分析其产生机理,并结合提前换相方式提出了相应的相位补偿
文章通过对粉煤灰进行X射线荧光分析、X射线衍射分析和含水量试验,理论分析了粉煤灰直接用于脱除硫化氢气体的可行性,并对这一理论分析进行了多方面的试验验证,结果表明粉煤
设计和分析一种电动式磁悬浮电机——非磁性次级直线悬浮电机,该电机装置通过在初级绕组中通入三相交变电流产生运动的交变磁场,与其在次级导体中感应出的涡流磁场相互作用产
体育运动意外伤害如同瘟疫一样,避之唯恐不及,学校体育活动开展畏首畏尾,战战兢兢,生怕出现丝毫的闪失。不求有功,但求无过的思想逐渐蔓延开来。 Accidental injury to spor
期权作为一种金融衍生产品,它的定价模型取决于基础资产价格的演化模型,本文考虑在基础资产服从不变弹性方差(CEV)模型下欧式期权的定价问题。通过构造自变量和因变量变换,将