9,549 research outputs found

    Optimal fault-tolerant placement of relay nodes in a mission critical wireless network

    Get PDF
    The operations of many critical infrastructures (e.g., airports) heavily depend on proper functioning of the radio communication network supporting operations. As a result, such a communication network is indeed a mission-critical communication network that needs adequate protection from external electromagnetic interferences. This is usually done through radiogoniometers. Basically, by using at least three suitably deployed radiogoniometers and a gateway gathering information from them, sources of electromagnetic emissions that are not supposed to be present in the monitored area can be localised. Typically, relay nodes are used to connect radiogoniometers to the gateway. As a result, some degree of fault-tolerance for the network of relay nodes is essential in order to offer a reliable monitoring. On the other hand, deployment of relay nodes is typically quite expensive. As a result, we have two conflicting requirements: minimise costs while guaranteeing a given fault-tolerance. In this paper address the problem of computing a deployment for relay nodes that minimises the relay node network cost while at the same time guaranteeing proper working of the network even when some of the relay nodes (up to a given maximum number) become faulty (fault-tolerance). We show that the above problem can be formulated as a Mixed Integer Linear Programming (MILP) as well as a Pseudo-Boolean Satisfiability (PB-SAT) optimisation problem and present experimental results com- paring the two approaches on realistic scenarios

    Guest Editorial: Nonlinear Optimization of Communication Systems

    Get PDF
    Linear programming and other classical optimization techniques have found important applications in communication systems for many decades. Recently, there has been a surge in research activities that utilize the latest developments in nonlinear optimization to tackle a much wider scope of work in the analysis and design of communication systems. These activities involve every “layer” of the protocol stack and the principles of layered network architecture itself, and have made intellectual and practical impacts significantly beyond the established frameworks of optimization of communication systems in the early 1990s. These recent results are driven by new demands in the areas of communications and networking, as well as new tools emerging from optimization theory. Such tools include the powerful theories and highly efficient computational algorithms for nonlinear convex optimization, together with global solution methods and relaxation techniques for nonconvex optimization

    Network Lifetime Maximization With Node Admission in Wireless Multimedia Sensor Networks

    Get PDF
    Wireless multimedia sensor networks (WMSNs) are expected to support multimedia services such as delivery of video and audio streams. However, due to the relatively stringent quality-of-service (QoS) requirements of multimedia services (e.g., high transmission rates and timely delivery) and the limited wireless resources, it is possible that not all the potential sensor nodes can be admitted into the network. Thus, node admission is essential for WMSNs, which is the target of this paper. Specifically, we aim at the node admission and its interaction with power allocation and link scheduling. A cross-layer design is presented as a two-stage optimization problem, where at the first stage the number of admitted sensor nodes is maximized, and at the second stage the network lifetime is maximized. Interestingly, it is proved that the two-stage optimization problem can be converted to a one-stage optimization problem with a more compact and concise mathematical form. Numerical results demonstrate the effectiveness of the two-stage and one-stage optimization frameworks

    Euclidean distance geometry and applications

    Full text link
    Euclidean distance geometry is the study of Euclidean geometry based on the concept of distance. This is useful in several applications where the input data consists of an incomplete set of distances, and the output is a set of points in Euclidean space that realizes the given distances. We survey some of the theory of Euclidean distance geometry and some of the most important applications: molecular conformation, localization of sensor networks and statics.Comment: 64 pages, 21 figure

    Modelling and Analysis for Cyber-Physical Systems: An SMT-based approach

    Get PDF

    Energy-efficient task assignment of wireless sensor network with the application to agriculture

    Get PDF
    Wireless sensor networks have attracted considerable attention from academia as well as industry. The applications of wireless sensor networks encompass the domains of industrial process monitoring and control, machine health monitoring, environment and habitat monitoring, healthcare applications, home automation, traffic control, etc. In this research we focus on the application of wireless sensor networks to agriculture in which sensors are distributed in a field to monitor the environment and soil of certain interested areas in the field. Given a set of measurement requests and tasks, it is critical to develop a formal, automatic and energy-efficient approach to assign the set of measurement tasks among the given wireless sensor network to fulfill the measurement requests subject to the restrictions such as sensor locations, sensing abilities and the expected number of samplings. In this work, we model the measurement requests and tasks as tuples and formulate the task assignment problem of wireless sensor networks with the application to agriculture as an instance of Integer Linear Programming (ILP) problem. We also develop a task assignment system using Java, SAT4J and TinyOS to implement the proposed {em formal} and {em automatic} task assignment approach. The proposed ILP formulation and developed task assignment system are applied to the simulations on small and middle-sized wireless sensor networks. The simulation results show that the proposed ILP formulation is correct and it is feasible to apply the proposed ILP formulation to resolve task assignment problems for small and middle-sized (consisting of at most 100 sensors) wireless sensor networks with a small number of measurement requests (consisting of at most 5 requests)
    • 

    corecore