SGER: Integer Linear Programming Models for Mobility in Wireless Networks

拟议的研究旨在使用整数线性规划（ILP）技术来探索无线网络中的受控移动性。 我们认为多跳无线网络是大量的节点是静态放置，只有其中一些可以移动。通过使用ILP技术，我们希望表明，路由和调度的移动的节点可以找到优化关键的网络性能指标，如网络的生命周期和端到端的数据包延迟。拟议研究的贡献是多方面的。我们希望在无线网络中的一些节点是移动的先进的状态。此外，我们将测试和推动ILP建模和解决方案技术的当前功能。在拟议的研究的预期成果，我们将定义复杂的模型的现实（在大小，参数等）。网络场景;我们将开发和测试启发式算法，使ILP公式更具可扩展性; 2我们将确定无线网络的可证明性能边界，并将启发式解决方案与这些边界进行比较，以进行严格的基准测试和协议设计与优化。

The proposed research is aimed at using the technology of Integer Linear Programming (ILP) for exploring controlled mobility in wireless networks. We consider multi-hop wireless networks were a large number of nodes are statically placed and only some of them can move. By using ILP techniques we want to show that routes and schedules for the mobile nodes can be found that optimize crucial network performance metrics, such as the network lifetime and the end-to-end data packet latency. Contributions of the proposed research are multifold. We expect to advance the state of the art in wireless networks where some nodes are mobile. Furthermore, we will test and push the current capabilities in ILP modeling and solution technology. Among the expected outcome of the proposed research we will define complex models of realistic (in size, parameters, etc.) network scenarios; we will develop and test heuristics to make the ILP formulations more scalable; we will determine provable performance bounds on metrics of interests for wireless network, and we will compare heuristic solutions to these bounds for rigorous benchmarking and protocol design and optimization.