无线网络中具有移动性的时间演算

Proceedings of the 2023 4th International Conference on Computing, Networks and Internet of Things Pub Date : 2023-05-26 DOI:10.1145/3603781.3603896

Wanling Xie, Huibiao Zhu, Xi Wu

{"title":"无线网络中具有移动性的时间演算","authors":"Wanling Xie, Huibiao Zhu, Xi Wu","doi":"10.1145/3603781.3603896","DOIUrl":null,"url":null,"abstract":"Unreliability of communication links is a very common problem in wireless networks, and node mobility as one of significant features may importantly affect the reliability of communication links. In this paper, we present a Timed Calculus with Mobility for Wireless Networks called MTCWN to capture mobility in wireless networks. In our calculus, we introduce a random direction mobility model to depict node movement. With time passing, the mobility function and its timeout will be changed by this mobility model. Our calculus also describe local broadcast communication in wireless networks. Moreover, we study the operational semantics of the MTCWN calculus and illustrate the applications of the semantics rules by examples.","PeriodicalId":391180,"journal":{"name":"Proceedings of the 2023 4th International Conference on Computing, Networks and Internet of Things","volume":"35 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A Timed Calculus with Mobility for Wireless Networks\",\"authors\":\"Wanling Xie, Huibiao Zhu, Xi Wu\",\"doi\":\"10.1145/3603781.3603896\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Unreliability of communication links is a very common problem in wireless networks, and node mobility as one of significant features may importantly affect the reliability of communication links. In this paper, we present a Timed Calculus with Mobility for Wireless Networks called MTCWN to capture mobility in wireless networks. In our calculus, we introduce a random direction mobility model to depict node movement. With time passing, the mobility function and its timeout will be changed by this mobility model. Our calculus also describe local broadcast communication in wireless networks. Moreover, we study the operational semantics of the MTCWN calculus and illustrate the applications of the semantics rules by examples.\",\"PeriodicalId\":391180,\"journal\":{\"name\":\"Proceedings of the 2023 4th International Conference on Computing, Networks and Internet of Things\",\"volume\":\"35 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-05-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 2023 4th International Conference on Computing, Networks and Internet of Things\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3603781.3603896\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 2023 4th International Conference on Computing, Networks and Internet of Things","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3603781.3603896","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

通信链路的不可靠性是无线网络中非常普遍的问题，节点的移动性作为无线网络的一个重要特征，对通信链路的可靠性有着重要的影响。在本文中，我们提出了一种具有无线网络移动性的时间微积分，称为MTCWN，用于捕获无线网络中的移动性。在我们的微积分中，我们引入了一个随机方向迁移模型来描述节点的移动。随着时间的推移，迁移函数及其超时会被迁移模型改变。我们的演算也描述了无线网络中的本地广播通信。此外，我们研究了MTCWN演算的运算语义，并举例说明了语义规则的应用。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A Timed Calculus with Mobility for Wireless Networks

Unreliability of communication links is a very common problem in wireless networks, and node mobility as one of significant features may importantly affect the reliability of communication links. In this paper, we present a Timed Calculus with Mobility for Wireless Networks called MTCWN to capture mobility in wireless networks. In our calculus, we introduce a random direction mobility model to depict node movement. With time passing, the mobility function and its timeout will be changed by this mobility model. Our calculus also describe local broadcast communication in wireless networks. Moreover, we study the operational semantics of the MTCWN calculus and illustrate the applications of the semantics rules by examples.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the 2023 4th International Conference on Computing, Networks and Internet of Things

自引率

0.00%

发文量