A slowdown model for applications executing on time-shared clustersof workstations

Distributed applications executing on clustered environments typically share resources (computers and network links) with other applications. In such systems, application execution may be retarded by the competition for these shared resources. In this paper, we define a model that calculates the slowdown imposed on applications in time-shared multi-user clusters. Our model focuses on three kinds of slowdown: local slowdown, which synthesizes the effect of contention for CPU in a single workstation; communication slowdown, which synthesizes the effect of contention for the workstations and network links on communication costs; and aggregate slowdown, which determines the effect of contention on a parallel task caused by other applications executing on the entire cluster, i.e., on the nodes used by the parallel application. We verify empirically that this model provides an accurate estimate of application performance for a set of compute-intensive parallel applications on different clusters with a variety of emulated loads     

Evolving the Topology and the Weights of Neural Networks Using a Dual Representation

Evolutionary computation is a class of global search techniques based on the learning process of a population of potential solutions to a given problem, that has been successfully applied to a variety of problems. In this paper a new approach to the construction of neural networks based on evolutionary computation is presented. A linear chromosome combined to a graph representation of the network are used by genetic operators, which allow the evolution of the architecture and the weights simultaneously without the need of local weight optimization. This paper describes the approach, the operators and reports results of the application of this technique to several binary classification problems.     

Spin-Resolved Local Density of States for an Anderson Adatom in a Ferromagnetic Island

In this work, we investigate theoretically the spin-resolved local density of states (SR-LDOS) of a ferromagnetic (FM) island hybridized with an adatom, which is described by the Single Impurity Anderson Model (SIAM). Our results are comparable with Scanning Tunneling Microscope (STM) experimental data.     

Hybrid sol–gel coatings for corrosion protection of galvanized steel in simulated concrete pore solution

The aim of this experimental research was to study the electrochemical behavior of organic–inorganic hybrid (OIH) coatings for corrosion protection of hot-dip galvanized steel (HDGS) in the first instants of immersion in simulated concrete pore solution (SCPS) (pH > 12.5). The electrochemical performance of the OIH coatings was assessed by electrochemical impedance spectroscopy, potentiodynamic polarization curves, macrocell current density, and polarization resistance. The OIH coatings were prepared via the sol–gel method and were deposited on HDGS surfaces by dip-coating using one or three dip steps. The electrochemical results obtained for HDGS samples coated with OIH matrices in SCPS showed higher corrosion resistance than bare HDGS; as the molecular weight (MW) of Jeffamine^® increased the barrier protection of the coating decreased. The lowest protection efficiency was found for HDGS samples synthesized with oligopolymers with an MW of 2000. Coatings produced with an oligopolymer of 230 MW conferred the highest protection. The surface morphology of the OIH coatings deposited on HDGS surfaces was studied by atomic force microscopy. The results show that the roughness of the OIH films depends on the MW of Jeffamine^® and on the number of dip-coating steps used. Thermogravimetry results show that the Jeffamine^® MW affected the thermal properties of the prepared OIH samples. The prepared OIH materials are thermally stable within the range of 20–80°C.     

Damage thresholds at metal surfaces for short pulse IR lasers

Measurements of damage to metal surfaces induced by intense nanosecond pulses of IR radiation are reported. Single-shot damage thresholds of Cu, stainless steel, molybdenum, and aluminum surfaces have been measured for various angles of incidence and the predicted increase in damage thresholds for grazing incidence optical components have been experimentally verified for the first time at 10 μm. In addition multiple-shot damage tests have been performed and practical lifetime curves for Cu mirrors have been established. The results are compared with existing theoretical models and shown to be in general agreement.     

Influence of Bacillus subtilis cell walls and EDTA on calcite dissolution rates and crystal surface features

This study investigates the influence of EDTA and the Gram-positive cell walls of Bacillus subtilis on the dissolution rates and development of morphological features on the calcite [1014] surface. The calcite dissolution rates are compared at equivalent saturation indicies (SI) and relative to its dissolution behavior in distilled water (DW). Results indicate that the presence of metabolically inactive B. subtilis does not affect the dissolution rates significantly. Apparent increases in dissolution rates in the presence of the dead bacterial cells can be accounted for by a decrease of the saturation state of the solution with respect to calcite resulting from bonding of dissolved Ca2+ by functional groups on the cell walls. In contrast, the addition of EDTA to the experimental solutions results in a distinct increase in dissolution rates relative to those measured in DW and the bacterial cell suspensions. These results are partly explained by the 6.5-8 orders of magnitude greater stability of the Ca-EDTA complex relative to the Ca-B. subtilis complexes as well as its free diffusion to and direct attack of the calcite surface. Atomic force microscopy images of the [1014] surface of calcite crystals exposed to our experimental solutions reveal the development of dissolution pits with different morphologies according to the nature and concentration of the ligand. Highly anisotropic dissolution pits develop in the early stages of the dissolution reaction at low B. subtilis concentrations (0.004 mM functional group sites) and in DW. In contrast, at high functional group concentrations (4.0 mM EDTA or equivalent B. subtilis functional group sites), dissolution pits are more isotropic. These results suggest that the mechanism of calcite dissolution is modified by the presence of high concentrations of organic ligands. Since all the pits that developed on the calcite surfaces display some degree of anisotropy and dissolution rates are strongly SI dependent, the rate-limiting step is most likely a surface reaction for all systems investigated in this study. Results of this study emphasize the importance of solution chemistry and speciation in determining calcite reaction rates and give a more accurate and thermodynamically sound representation of dead bacterial cell wall-mineral interactions. In studies of natural aquatic systems, the presence of organic ligands is most often ignored in speciation calculations. This study clearly demonstrates that this oversight may lead to an overestimation of the saturation state of the solutions with respect to calcite and thermodynamic inconsistencies.     

A hybrid VNS approach for the short-term production planning and scheduling: A case study in the pulp and paper industry

Mathematical formulations for production planning are increasing complexity, in order to improve their realism. In short-term planning, the desirable level of detail is particularly high. Exact solvers fail to generate good quality solutions for those complex models on medium- and large-sized instances within feasible time. Motivated by a real-world case study in the pulp and paper industry, this paper provides an efficient solution method to tackle the short-term production planning and scheduling in an integrated mill. Decisions on the paper machine setup pattern and on the production rate of the pulp digester (which is constrained to a maximum variation) complicate the problem. The approach is built on top of a mixed integer programming (MIP) formulation derived from the multi-stage general lotsizing and scheduling problem. It combines a Variable Neighbourhood Search procedure which manages the setup-related variables, a specific heuristic to determine the digester's production speeds and an exact method to optimize the production and flow movement decisions. Different strategies are explored to speed-up the solution procedure and alternative variants of the algorithm are tested on instances based on real data from the case study. The algorithm is benchmarked against exact procedures.     

Linear conductance through parallel coupled quantum dots

We study the electronic transport through two parallel coupled quantum dots (QDs), employing the X-boson treatment for the single impurity Anderson model. We compute the linear conductance (LC) and transmission coefficient for different regimes of the system, as function of the QDs energy; our results show a suppression of the linear conductance at low temperatures; when the coupling between the QDs is significant, a drop in the transmission coefficient is evident, at the energy value of the side-coupled QD. We also obtain the temperature dependence of the LC, for different hybridizations between the QDs and the energy of one of them. Our results are consistent with those obtained by other theoretical treatments and recovers what is expected when the coupling between the QDs is weak.     

On the formal semantics of IF-like logics

In classical logics, the meaning of a formula is invariant with respect to the renaming of bound variables. This property, normally taken for granted, has been shown not to hold in the case of Independence Friendly (IF) logics. In this paper we argue that this is not an inherent characteristic of these logics but a defect in the way in which the compositional semantics given by Hodges for the regular fragment was generalized to arbitrary formulas. We fix this by proposing an alternative formalization, based on a variation of the classical notion of valuation. Basic metatheoretical results are proven. We present these results for Hodges' slash logic (from which these can be easily transferred to other IF-like logics) and we also consider the flattening operator, for which we give novel game-theoretical semantics.