×
安娜·科列斯尼琴科;瓦莱里奥·塞尼;Alireza Pourranjabar公司;安妮·雷姆克

将平均场近似应用于连续时间马尔可夫链。 （英语） 兹比尔1426.68011

Remke，Anne（编辑）等人，《随机模型检验》。使用随机系统的模型检查技术进行严格的可靠性分析。2012年10月22日至26日，意大利瓦尔恩2012年ROCKS国际秋季学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8453, 242-280 (2014).
小结：平均场分析技术用于对含有大量组件的系统进行分析，以确定紧急确定性行为以及当参数受到扰动时该行为如何修改。计算机科学性能建模和分析社区发现，平均场方法对大型计算机和通信网络建模非常有用。从计算机科学的角度应用平均场分析需要以下主要步骤：（1）通过微分方程系统描述主体种群如何进化，（2）通过求解此类微分方程来发现系统的突发确定性行为，以及（3）分析这种行为的性质。根据所分析的系统，执行这些步骤可能会变得困难。通常，需要修改总体思路。在本教程中，我们考虑举例说明平均场方法如何在不同的应用领域中使用。从经典技术的应用开始，转到必须使用附加步骤的情况，例如具有本地通信的系统。最后，我们举例说明了现有模型检查分析技术的应用。
关于整个系列，请参见[Zbl 1298.68033号].

MSC公司：

68M10个 计算机系统中的网络设计和通信
60J27型 离散状态空间上的连续时间马尔可夫过程
第68季度第60季度 规范和验证（程序逻辑、模型检查等）
87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等）

软件：

莫比乌斯;数学软件;生物-PEPA
PDF格式BibTeX公司 XML格式引用
\textit{A.Kolesnichenko}等人，Lect。注释计算。科学。8453、242--280（2014年；Zbl 1426.68011）
全文： 内政部 链接

参考文献：

[1] Baccelli，F.，Karpelevich，F.I.，Kelbert，M.Y.，Puhalskii，A.A.，Rybko，A.N.，Suhov，Y.M.：一类排队网络的平均场极限。《统计物理杂志》66，803–825（1992）·Zbl 0925.60115号 ·doi:10.1007/BF01055703
[2] Baier，C.，Haverkort，B.R.，Hermanns，H.，Katoen，J.P.：连续时间马尔可夫链的模型检验算法。IEEE传输。柔和。工程29（7），524–541（2003）·Zbl 05113886号 ·doi:10.1109/TSE.2003.1205180
[3] Benaím，m.，Le Boudec，J.Y.：计算机和通信系统的一类平均场交互模型。执行。评估。 65(11-12), 823–838 (2008) ·doi:10.1016/j.peva.2008.03.005
[4] Benaïm，m.，Weibull，J.W.：博弈中随机进化的确定性近似。《计量经济学》71（3），873–903（2003）·Zbl 1152.91350号 ·doi:10.1111/1468-0262.00429
[5] Billingsley，P.：《概率与测度》，第三版。威利国际科学（1995）·Zbl 0822.60002号
[6] Bobbio，A.，Gribaudo，M.，Telek，M.：用平均场法分析大规模相互作用系统。收录于：QEST，第215-224页（2008年）·doi:10.1010/QEST.2008.47
[7] Bortolussi，L.：连续时间马尔可夫链的混合极限。摘自：QEST，第3-12页。IEEE计算机学会（2011）·doi:10.1109/QEST.2011.10
[8] Bortolussi，L.，Hillston，J.：流体模型检查。收录：Koutny，M.，Ulidowski，I.（编辑）CONCUR 2012。LNCS，第7454卷，第333–347页。斯普林格，海德堡（2012）·Zbl 1364.68259号 ·doi:10.1007/978-3-642-32940-124
[9] Bortolussi，L.，Hillston，J.，Latella，D.，Massink，M.：集体系统行为的连续近似：教程。绩效评估70（5），317–349（2013）·doi:10.1016/j.peva.2013.01.001
[10] 布点，http://stamen.com/clients/cabsotting
[11] Chaintreau，A.，Le Boudec，J.Y.，Ristanovic，N.：流言蜚语的时代：空间平均场制度。在：SIGMETRICS/Performance，第109–120页。ACM（2009）·数字对象标识代码：10.1145/1555349.1555363
[12] Ciocchetta，F.，Hillston，J.：生物环境保护：生物系统建模和分析框架。理论计算机科学410（33-34），3065-3084（2009）·Zbl 1173.68041号 ·doi:10.1016/j.tcs.2009.02.037
[13] Darling，R.W.R.，Norris，J.R.：马尔可夫链的微分方程近似。概率调查5，37–79（2008）·Zbl 1189.60152号 ·doi:10.1214/07-PS121
[14] Deavors，D.D.、Clark，G.、Courtney，T.、Daly，D.、Derisavi，S.、Doyle，J.M.、Sanders，W.H.、Webster，P.G.：Mobius框架及其实施。IEEE软件工程汇刊28（10），956–969（2002）·Zbl 05114456号 ·doi:10.1109/TSE.2002.1041052
[15] Gast，N.，Gaujal，B.：大规模系统中偷窃工作的平均场模型。摘自：SIGMETRICS，第13-24页。ACM（2010）·数字对象标识代码：10.1145/1811039.1811042
[16] Gillespie，C.S.：质量作用模型的矩闭合近似。IET系统生物学3，52–58（2009）·doi:10.1049/iet-syb:20070031
[17] Gillespie，D.T.：耦合化学反应的精确随机模拟。《物理学杂志》。化学。 81(25), 2340–2361 (1977) ·doi:10.1021/j100540a008
[18] Hayden，R.，Stefanek，A.，Bradley，J.T.：大型马尔可夫模型中通过时间分布的流体计算。理论计算机科学413（1），106–141（2012）·Zbl 1234.68318号 ·doi:10.1016/j.tcs.2011年7月17日
[19] Hayden，R.A.，Bradley，J.T.：马尔科夫过程代数的流体分析框架。理论计算机科学411（22-24），2260–2297（2010）·Zbl 1334.68151号 ·doi:10.1016/j.tcs.2010.02.001
[20] Hillston，J.：性能建模的组合方法。剑桥大学出版社（1996）·Zbl 1080.68003号 ·doi:10.1017/CBO9780511569951
[21] Hillston，J.：pepa模型的流体流动近似。摘自：QEST，第33-43页。IEEE计算机学会（2005）·doi:10.1109/QEST.2005.12
[22] Hillston，J.，Tribastone，M.，Gilmore，S.：随机过程代数：从个体到种群。《计算机杂志》（2011）
[23] 卡丹诺夫：更多是一样的；相变和平均场理论。《统计物理杂志》137777–797（2009）·Zbl 1182.82005年 ·doi:10.1007/s10955-009-9814-1
[24] Kleczkowski，A.，Grenfell，B.T.：流行病传播的Mean-field-type方程：小世界模型。《物理学A：统计力学及其应用》274（12），355–360（1999）·doi:10.1016/S0378-4371（99）00393-3
[25] Kolesnichenko，A.，de Boer，P.T.，Remke，A.K.I.，Haverkort，B.R.：模型选择平均场模型的逻辑。收录于：DSN/PDF，第1-12页。IEEE计算机学会（2013）·doi:10.1109/DSN.2013.6575345
[26] Kolesnichenko，A.，Remke，A.，de Boer，P.-T.，Haverkort，B.R.：对等僵尸网络案例研究中的平均场方法和模拟比较。收录：Thomas，N.（编辑）EPEW 2011。LNCS，第6977卷，第133-147页。斯普林格，海德堡（2011）·Zbl 06070058号 ·文件编号：10.1007/978-3-642-24749-1_11
[27] Kurtz，T.G.：作为纯跳跃马尔可夫过程极限的常微分方程的解。应用概率杂志7（1），49-58（1970）·Zbl 0191.47301号 ·doi:10.1017/S00219000026929
[28] Kurtz，T.G.：人口过程的近似，第36卷。工业数学学会（1981）·Zbl 0465.60078号 ·doi:10.1137/1.9781611970333
[29] Latella，D.，Loreti，M.，Massink，M.：动态快速平均场模型检查：扩展版。技术报告（2013）·Zbl 1348.68144号
[30] Le Boudec，J.Y.，McDonald，D.，Mundinger，J.：相互作用对象系统的通用平均场收敛结果。摘自：QEST，第3-18页。IEEE计算机学会（2007）·doi:10.1109/QEST.2007.8
[31] W.D.McComb：重整化方法：初学者指南。牛津大学出版社（2004）·Zbl 1087.82001
[32] Mitzenmacher，M.：随机负载平衡中两种选择的力量。IEEE传输。平行配送系统。 12(10), 1094–1104 (2001) ·Zbl 05107720号 ·数字对象标识代码：10.1109/71.963420
[33] Pourranjbar，A.，Hillston，J.，Bortolussi，L.：不要随波逐流：流体流动近似的警示故事。收录：Tribastone，M.，Gilmore，S.（编辑）EPEW/UKPEW 2012。LNCS，第7587卷，第156-171页。斯普林格，海德堡（2013）
[34] Silva，M.，Recade，L.：关于petri网的流体化：从离散到混合和连续模型。控制年度审查28（2），253-266（2004）·doi:10.1016/j.arcontrol.2004.05.002
[35] Tribastone，M.：关联分层排队网络和进程代数模型。收录于：WOSP/SIPEW，第183-194页（2010年）·数字对象标识代码：10.1145/1712605.1712634
[36] Tribastone，M.，Gilmore，S.，Hillston，J.：过程代数模型的可缩放微分分析。IEEE传输。软件工程38（1），205-219（2012）·doi:10.1109/TSE.2010.82
[37] Van Kampen，N.G.：物理和化学中的随机过程。北荷兰德个人图书馆。爱思唯尔科学（2011）
[38] van Ruitenbeek，E.，Sanders，W.H.：对等僵尸网络建模。参见：QEST，第307-316页。IEEE CS出版社（2008）·doi:10.10109/QEST.2008.43
[39] Wolfram Research，Inc.数学教程（2010），http://reference.wolfram.com/mathematica/tutorial/IntroductionToManipulate.html
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。