Abstrakt. I detta dokument presenterar vi en probabilistisk utsändningskalkyl för mobila och trådlösa nätverk vars anslutningar är opålitliga. I vår kalkyl kan sända meddelanden förloras med en viss sannolikhet, och på grund av rörlighet kan anslutningsannolikheterna ändras. Om ett nätverk sänder ett meddelande från en plats, kommer det att utvecklas till en nätverksdistribution beroende på om noder på andra platser tar emot meddelandet eller inte. Rörlighet av noder är inte godtycklig utan bevakas av en probabilistisk rörlighet funktion (PMF), och vi definierar också begreppet en svag bisimulation ges en PMF. Det är möjligt att ha svaga bisimulära nätverk som har olika probabilistisk information om konnektivitet. Vi undersöker dessutom relationen mellan vår svaga bisimulering och en mindre variant av PCTL * [1]. Slutligen tillämpar vi vår beräkning på ett litet exempel som kallas Zeroconf-protokollet [2].
Sång och Godskesen REF föreslog en probabilistisk utsändningskalkyl för mobila och trådlösa nätverk vars anslutningar är opålitliga.
Probabilistic Mobility Models for Mobile and Wireless Networks
{'venue': 'IFIP TCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}