Multi-objective adaptive evolutionary strategy for tuning compilations

Tuning compilations is the process of adjusting the values of a compiler options to improve some features of the final application. In this paper, a strategy based on the use of a genetic algorithm and a multi-objective scheme is proposed to deal with this task. Unlike previous works, we try to take advantage of the knowledge of this domain to provide a problem-specific genetic operation that improves both the speed of convergence and the quality of the results. The evaluation of the strategy is carried out by means of a case of study aimed to improve the performance of the well-known web server Apache. Experimental results show that a 7.5% of overall improvement can be achieved. Furthermore, the adaptive approach has shown an ability to markedly speed-up the convergence of the original strategy

Tuning compilations by multi-objective optimization: Application to Apache web server

Modern compilers present a great and ever increasing number of options which can modify the features and behavior of a compiled program. Many of these options are often wasted due to the required comprehensive knowledge about both the underlying architecture and the internal processes of the compiler. In this context, it is usual, not having a single design goal but a more complex set of objectives. In addition, the dependencies between different goals are difficult to be a priori inferred. This paper proposes a strategy for tuning the compilation of any given application. This is accomplished by using an automatic variation of the compilation options by means of multi-objective optimization and evolutionary computation commanded by the NSGA-II algorithm. This allows finding compilation options that simultaneously optimize different objectives. The advantages of our proposal are illustrated by means of a case study based on the well-known Apache web server. Our strategy has demonstrated an ability to find improvements up to 7.5% and up to 27% in context switches and L2 cache misses, respectively, and also discovers the most important bottlenecks involved in the application performance

Engineering failure analysis and design optimisation with HiP-HOPS

The scale and complexity of computer-based safety critical systems, like those used in the transport and manufacturing industries, pose significant challenges for failure analysis. Over the last decade, research has focused on automating this task. In one approach, predictive models of system failure are constructed from the topology of the system and local component failure models using a process of composition. An alternative approach employs model-checking of state automata to study the effects of failure and verify system safety properties. In this paper, we discuss these two approaches to failure analysis. We then focus on Hierarchically Performed Hazard Origin & Propagation Studies (HiP-HOPS) - one of the more advanced compositional approaches - and discuss its capabilities for automatic synthesis of fault trees, combinatorial Failure Modes and Effects Analyses, and reliability versus cost optimisation of systems via application of automatic model transformations. We summarise these contributions and demonstrate the application of HiP-HOPS on a simplified fuel oil system for a ship engine. In light of this example, we discuss strengths and limitations of the method in relation to other state-of-the-art techniques. In particular, because HiP-HOPS is deductive in nature, relating system failures back to their causes, it is less prone to combinatorial explosion and can more readily be iterated. For this reason, it enables exhaustive assessment of combinations of failures and design optimisation using computationally expensive meta-heuristics. (C) 2010 Elsevier Ltd. All rights reserved

Multi-Objective Constraint Satisfaction for Mobile Robot Area Defense

In developing multi-robot cooperative systems, there are often competing objectives that need to be met. For example in automating area defense systems, multiple robots must work together to explore the entire area, and maintain consistent communications to alert the other agents and ensure trust in the system. This research presents an algorithm that tasks robots to meet the two specific goals of exploration and communication maintenance in an uncoordinated environment reducing the need for a user to pre-balance the objectives. This multi-objective problem is defined as a constraint satisfaction problem solved using the Non-dominated Sorting Genetic Algorithm II (NSGA-II). Both goals of exploration and communication maintenance are described as fitness functions in the algorithm that would satisfy their corresponding constraints. The exploration fitness was described in three ways to diversify the way exploration was measured, whereas the communication maintenance fitness was calculated as the number of independent clusters of agents. Applying the algorithm to the area defense problem, results show exploration and communication without coordination are two diametrically opposed goals, in which one may be favored, but only at the expense of the other. This work also presents suggestions for anyone looking to take further steps in developing a physically grounded solution to this area defense problem

Grain silo location-allocation problem with dwell time for optimization of food grain supply chain network

In the last few decades, production and procurement of food grain in India have steadily increased, however, storage capacity has not increased proportionally. The government of India (GOI) is establishing the various capacitated silos across the country to bridge this storage capacity gap. This paper presents a novel integrated multi-objective, multi-modal and multiperiod mathematical model for grain silo location-allocation problem with Dwell time to support the decision-making process of GOI. Two conflicting objectives- minimization of total supply chain network cost and total lead time (transit and dwell time) are simultaneously optimized using two Pareto based multi-objective algorithms with calibrated parameters

SENSOR MANAGEMENT FOR LOCALIZATION AND TRACKING IN WIRELESS SENSOR NETWORKS

Wireless sensor networks (WSNs) are very useful in many application areas including battlefield surveillance, environment monitoring and target tracking, industrial processes and health monitoring and control. The classical WSNs are composed of large number of densely deployed sensors, where sensors are battery-powered devices with limited signal processing capabilities. In the crowdsourcing based WSNs, users who carry devices with built-in sensors are recruited as sensors. In both WSNs, the sensors send their observations regarding the target to a central node called the fusion center for final inference. With limited resources, such as limited communication bandwidth among the WSNs and limited sensor battery power, it is important to investigate algorithms which consider the trade-off between system performance and energy cost in the WSNs. The goal of this thesis is to study the sensor management problems in resource limited WSNs while performing target localization or tracking tasks. Most research on sensor management problems in classical WSNs assumes that the number of sensors to be selected is given a priori, which is often not true in practice. Moreover, sensor network design usually involves consideration of multiple conflicting objectives, such as maximization of the lifetime of the network or the inference performance, while minimizing the cost of resources such as energy, communication or deployment costs. Thus, in this thesis, we formulate the sensor management problem in a classical resource limited WSN as a multi-objective optimization problem (MOP), whose goal is to find a set of sensor selection strategies which re- veal the trade-off between the target tracking performance and the number of selected sensors to perform the task. In this part of the thesis, we propose a novel mutual information upper bound (MIUB) based sensor selection scheme, which has low computational complexity, same as the Fisher information (FI) based sensor selection scheme, and gives estimation performance similar to the mutual information (MI) based sensor selection scheme. Without knowing the number of sensors to be selected a priori, the MOP gives a set of sensor selection strategies that reveal different trade-offs between two conflicting objectives: minimization of the number of selected sensors and minimization of the gap between the performance metric (MIUB and FI) when all the sensors transmit measurements and when only the selected sensors transmit their measurements based on the sensor selection strategy. Crowdsourcing has been applied to sensing applications recently where users carrying devices with built-in sensors are allowed or even encouraged to contribute toward the inference tasks. Crowdsourcing based WSNs provide cost effectiveness since a dedicated sensing infrastructure is no longer needed for different inference tasks, also, such architectures allow ubiquitous coverage. Most sensing applications and systems assume voluntary participation of users. However, users consume their resources while participating in a sensing task, and they may also have concerns regarding their privacy. At the same time, the limitation on communication bandwidth requires proper management of the participating users. Thus, there is a need to design optimal mechanisms which perform selection of the sensors in an efficient manner as well as providing appropriate incentives to the users to motivate their participation. In this thesis, optimal mechanisms are designed for sensor management problems in crowdsourcing based WSNs where the fusion center (FC) con- ducts auctions by soliciting bids from the selfish sensors, which reflect how much they value their energy cost. Furthermore, the rationality and truthfulness of the sensors are guaranteed in our model. Moreover, different considerations are included in the mechanism design approaches: 1) the sensors send analog bids to the FC, 2) the sensors are only allowed to send quantized bids to the FC because of communication limitations or some privacy issues, 3) the state of charge (SOC) of the sensors affects the energy consumption of the sensors in the mechanism, and, 4) the FC and the sensors communicate in a two-sided market