一类PEPA模型流体逼近问题的渐近分析.pdfVIP

第３９卷第３期江苏科技大学学报（自然科学版）Ｖｏｌ３９Ｎｏ３

２０２５年６月ＪｏｕｒｎａｌｏｆＪｉａｎｇｓｕＵｎｉｖｅｒｓｉｔｙｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ（ＮａｔｕｒａｌＳｃｉｅｎｃｅＥｄｉｔｉｏｎ）Ｊｕｎ．２０２５

－

ＤＯＩ：１０．２００６１／ｊ．ｉｓｓｎ２０２５．０３．００４

一类ＰＥＰＡ模型流体逼近问题的渐近分析

诸峰，刘洪池，张芮，丁杰

（江苏科技大学计算机学院，镇江２１２１００）

摘要：基于离散状态的性能建模方法受系统规模和复杂性的限制，在分析过程中极易产生状态空间爆炸问题．针对这一

问题，基于随机进程代数的性能评估进程代数（ｐｅｒｆｏｒｍａｎｃｅｅｖａｌｕｔｉｏｎｐｒｏｃｅｓｓａｌｇｅｂｒａ，ＰＥＰＡ）模型的流体逼近方法，分析了

ＰＥＰＡ模型流体逼近的基本性质：唯一性、有界性、收敛性和正性，证明了ＰＥＰＡ模型导出的常微分方程组解的收敛性，为随

机进程代数流体逼近方法