A survey and taxonomy on energy efficient resource allocation techniques for cloud computing systems

In a cloud computing paradigm, energy efficient allocation of different virtualized ICT resources (servers, storage disks, and networks, and the like) is a complex problem due to the presence of heterogeneous application (e.g., content delivery networks, MapReduce, web applications, and the like) workloads having contentious allocation requirements in terms of ICT resource capacities (e.g., network bandwidth, processing speed, response time, etc.). Several recent papers have tried to address the issue of improving energy efficiency in allocating cloud resources to applications with varying degree of success. However, to the best of our knowledge there is no published literature on this subject that clearly articulates the research problem and provides research taxonomy for succinct classification of existing techniques. Hence, the main aim of this paper is to identify open challenges associated with energy efficient resource allocation. In this regard, the study, first, outlines the problem and existing hardware and software-based techniques available for this purpose. Furthermore, available techniques already presented in the literature are summarized based on the energy-efficient research dimension taxonomy. The advantages and disadvantages of the existing techniques are comprehensively analyzed against the proposed research dimension taxonomy namely: resource adaption policy, objective function, allocation method, allocation operation, and interoperability.     

A Unified Variational Volume Registration Method Based on Automatically Learned Brain Structures

We introduce a new volumetric registration technique that effectively combines active surfaces with the finite element method. The method simultaneously aligns multi-label automatic structural segmentation results, which can be obtained by the application of existing segmentation software, to produce an anatomically accurate 3D registration. This registration is obtained by the minimization of a single energy functional. Just like registering raw images, obtaining a 3D registration this way still requires solving a fundamentally ill-posed problem. We explain through academic examples as well as an MRI dataset with manual anatomical labels, which are hidden from the registration method, how the quality of a registration method can be measured and the advantages our approach offers.     

Tri‐band composite cylindrical dielectric resonator antenna with hybrid mode excitation and cross‐polarization suppression

This communication investigates composite cylindrical dielectric resonator antenna (CDRA) for various wireless applications. Three important features of proposed antenna design are (i) realization of two different hybrid modes, that is, HEM_11δ and HEM_12δ mode in CDRA with the help of modified annular ring printed line (work as both magnetic dipole and electric dipole), both the hybrid modes support broadside radiation characteristics (ii) suppression of HEM_21δ mode, in order to reduce the cross‐polarization level in H‐plane of other hybrid modes (HEM_11δ and HEM_12δ mode) by an amount of 8‐10 dB (iii) creation of triple‐band attribute using the concept of composite antenna. The proposed antenna design has been fabricated and practically tested. Simulated outcomes show good agreement with measured outcomes. It works in three frequency bands, that is, 2.25‐2.79 GHz, 3.1‐4.0 GHz, and 5.05‐5.6 GHz. The designed antenna structure is appropriate for WLAN and WiMAX applications.     

A novel bacterial foraging technique for edge detection

A new approach for edge detection using a combination of bacterial foraging algorithm (BFA) and probabilistic derivative technique derived from Ant Colony Systems, is presented in this paper. The foraging behavior of some species of bacteria like Escherichia coli can be hypothetically modeled as an optimization process. A group of bacteria search for nutrients in a way that maximizes the energy obtained per unit time spent during the foraging. The proposed approach aims at driving the bacteria through the edge pixels. The direction of movement of the bacteria is found using a direction probability matrix, computed using derivatives along the possible directions. Rules defining the derivatives are devised to ensure that the variation of intensity due to noise is discarded. Quantitative analysis of the feasibility of the proposed approach and its comparison with other standard edge detection operators in terms of kappa and entropy are given. The effect of initial values of parameters of BFA on the edge detection is discussed.     

Towards the development of a virtual environment-based training system for mechanical assembly operations

In this paper, we discuss the development of Virtual Training Studio (VTS), a virtual environment-based training system that allows training supervisors to create training instructions and allows trainees to learn assembly operations in a virtual environment. Our system is mainly focused on the cognitive side of training so that trainees can learn to recognize parts, remember assembly sequences, and correctly orient the parts during assembly operations. Our system enables users to train using the following three training modes: (1) Interactive Simulation, (2) 3D Animation, and (3) Video. Implementing these training modes required us to develop several new system features. This paper presents an overview of the VTS system and describes a few main features of the system. We also report user test results that show how people train using our system. The user test results indicate that the system is able to support a wide variety of training preferences and works well to support training for assembly operations.

---

Distributed Symbolic Bounded Property Checking

In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifies larger models and returns results faster than the sequential version.The core algorithm distributes partitions of the state set to computation nodes after reaching a threshold size. The nodes proceed with image computation on the nodes asynchronously. The main scalability problem of this scheme is the overlap of state set partitions. We present static and dynamic overlap reduction techniques.     

Beta-hairpins with native-like and non-native hydrogen bonding patterns could form during the refolding of staphylococcal nuclease

Refolding of staphylococcal nuclease has been studied recently by hydrogen-deuterium exchange and NMR spectroscopy. These studies infer that beta-hairpin formed by strand 2 and strand 3 connected by reverse turn forms early during the refolding of nuclease. Typically, hydrogen-deuterium exchange NMR techniques are usually carried out on a time scale of milliseconds whereas beta-hairpins are known to fold on a much shorter time scale. It follows that in the experiments, the hydrogen-deuterium exchange protection patterns could be arising from a significant population of fully formed hairpins. In order to demonstrate it is the fully formed hairpins which gives rise to the hydrogen-deuterium exchange protection patterns, we have considered molecular dynamics simulation of the peptide (21)DTVKLMYKGQPMTFR(35) from staphylococcal nuclease corresponding to the beta-hairpin region, using GROMOS96 force field under NVT conditions. Starting from unfolded conformational states, the peptide folds into hairpin conformations with native-like and non-native hydrogen bonding patterns. Subsequent to folding, equilibrium conditions prevail. The computed protection factors and atom depth values, at equilibrium, of the various amide protons agree qualitatively with experimental observations. A collection of molecules following the trajectories observed in the simulations can account for experimental observations. These simulations provide a molecular picture of the formed hairpins and their conformational features during the refolding experiments on nuclease, monitored by hydrogen-deuterium exchange.     

Study of variational inequality and equality formulations for elastostatic frictional contact problems

Summary An overview ofvariational inequality andvariational equality formulations for frictionless contact and frictional contact problems is provided. The aim is to discuss the state-of-the-art in these two formulations and clearly point out their advantages and disadvantages in terms of mathematical completeness and practicality. Various terms required to describe the contact configuration are defined.Unilateral contact law and classical Coulomb’s friction law are given.Elastostatic frictional contact boundary value problem is defined. General two-dimensional frictionless and frictional contact formulations for elastostatic problems are investigated. An example problem of a two bar truss-rigid wall frictionless contact system is formulated as an optimization problem based on the variational inequality approach. The problem is solved in a closed form using the Karush-Kuhn-Tucker (KKT) optimality conditions. The example problem is also formulated as a frictional contact system. It is solved in the closed form using a new two-phase analytical procedure. The procedure avoids use of the incremental/iterative techniques and user defined parameters required in a typical implementation based on the variational equality formulation. Numerical solutions for the frictionless and frictional contact problems are compared with the results obtained by using a general-purpose finite element program ANSYS (that uses variational equality formulation). ANSYS results match reasonably well with the solutions of KKT optimality conditions for the frictionless contact problem and the two-phase procedure for the frictional contact problem. The validity of the analytical formulation for frictional contact problems (with one contacting node) is verified. Thevariational equality formulation for frictionless and frictional, contact problems is also studied in detail. The incremental/iterative Newton-Raphson scheme incorporating the penalty approach is utilized. Studies are conducted to provide insights for the numerical solution techniques. Based on the present study it is concluded that alternate formulations and computational procedures need to be developed for analysis of frictional contact problems.     

Effect of impurities (graphite) on the high-temperature creep properties of NiAl

Previous high-temperature compression creep studies of NiAl have shown peculiar behaviour in the temperature range 700 to 900° C, which was perhaps due to precipitation of impurities in the matrix. To isolate the impurity effect, high-purity NiAl samples with 0.15 at% and 0.20 at% carbon (graphite) additions have been creep tested at four temperatures between 700 and 850° C. Addition of graphite has been shown to produce a significant reduction in the creep strength of the alloyS. However, alloys with higher graphite concentrations have shown better creep resistance than those with lower graphite concentrations. Transmission electron microscopy indicates the presence of competing softening and hardening mechanisms in the alloys. Softening is due to the graphite particles acting as a dislocation source. Hardening results from a grain-boundary hardening mechanism due to the graphite particles segregating at grain boundaries and a dislocation-impurity (fine graphite) interaction, developing a Cottrell-like atmosphere.