CIF: Small: An Analytical Framework for Comprehensive Study of Intermittently-Connected Mobile Ad-Hoc Networks

间歇连接移动自组网（ICMANET）是无线通信领域的一个新兴领域。此类网络可能部署在具有挑战性的环境中，使用资源有限的孤立移动设备。在野生动物管理、军事监视、水下网络和车载网络等应用中，它们正成为一种有前途的技术。最近对这些网络的关注自然产生了分析性理解它们的努力。与传统的移动自组织网络（manet）相比，icmanet中端到端路径上的链路不同时存在。这使得对这类网络的分析更加复杂。该研究为icmanet的性能建模提供了第一步。这对于在不同的移动场景中提供良好性能的实际方案的设计是非常重要的。目前的分析研究大多采用泊松-接触模型等简单的迁移率模型，这是不现实的。在很大程度上背离了这一趋势，研究者在非常一般的一类固定移动模型下开发了性能分析。这为分析理解迁移率参数对性能的影响铺平了道路。特别是，该研究回答了以下问题：移动性模型的哪些参数会影响icmanet的性能？如何提取必要的信息？研究目标是开发icmanet性能建模的新方法，从马尔可夫链和排队理论中汲取关键思想。该研究试图得出一个新的框架，该框架能够在有限带宽、随机接触持续时间和有限节点缓冲区等实际约束下捕获关键网络特征。关键性能指标，如吞吐量，将探讨各种通信场景，路由协议，网络编码和缓冲区管理方案。

Intermittently-Connected Mobile Ad-hoc Networks (ICMANET) are one of the new areas in the field of wireless communication. Networks under this class are potentially deployed in challenged environments using isolated mobile devices with limited resources. They are emerging as a promising technology in applications such as in wildlife management, military surveillance, underwater networks, and vehicular networks. Recent focus on these networks has naturally generated efforts to analytically understand them. In contrast to conventional Mobile Ad-hoc Networks (MANETs), links on an end-to-end path in ICMANETs do not exist contemporaneously. This compounds the analysis of such networks. The research provides one of the first steps for performance modeling of ICMANETs. This is very crucial in the design of practical schemes targeted to offer good performance across different mobility scenarios.Most current analytical research employs simple mobility models such as the Poisson-contact model, which are unrealistic. Departing heavily from this trend, the investigator has developed performance analysis under the very general class of stationary mobility models. This paves the way to analytically understand the effect of mobility parameters on performance. In particular, the research answers questions of the following nature: What parameters of the mobility model affect ICMANETs performance? How does one extract the necessary information? The research objective is to develop novel approaches in performance modeling of ICMANETs, drawing out key ideas from Markov-chain- and queuing- theory. The research attempts to arrive at a novel framework which is capable of capturing key network characteristics under practical constraints such as finite bandwidth, random contact durations, and finite node buffers. Key performance measures such as throughput will be explored for various communication scenarios, routing protocols, network coding and buffer management schemes.