随机过程代数的速率提升:利用结构性质

摘要:确定随机过程代数模型顺序过程中未知速率的算法,在给定合并平坦模型中的速率的条件下。这种速率增加对模型重构和模型修复非常有用。从技术上讲,该算法通过求解非线性方程组,并在必要时调整模型的同步结构,而不改变其转移系统。本报告包含了该算法的完整伪代码。算法采用的方法利用了随机过程代数系统的一些结构特性,这些特性在这里首次提出,并且在其他情境中也可能非常有益。

作者:Markus Siegle, Amin Soltanieh

论文ID:2206.14505

分类:Performance

分类简称:cs.PF

提交时间:2022-06-30

PDF 下载: 英文版 中文版pdf翻译中