Equation-based object-oriented modeling and simulation of data center cooling systems

In this paper, we introduce a newly developed open source data center package in the Modelica Buildings library to support modeling and simulation of cooling and control systems of data centers. The data center package contains major thermal and control component models, such as Computer Room Air Handler, Computer Room Air Conditioner, models of different subsystem configurations such as chillers with differently configured waterside economizers, as well as templates for different systems. Two case studies based on this package are performed to investigate the performances of the cooling and electrical system under normal conditions and emergency situations such as a blackout: one is for a data center powered by conventional energy, and the other is for a data center powered by renewable energy. Simulation results show that the dynamic modeling and multi-domain simulation in the Modelica-based tool make it convenient for users to investigate both normal and emergent operations for conventional and renewable data centers

Identification of nonlinear kinematic hardening constitutive model parameters using the virtual fields method for advanced high strength steels

In this work, the nonlinear kinematic hardening combined with Voce isotropic hardening was selected to characterize the material behavior of advanced high strength steel sheet samples subjected to a few reverse loading cycles. Multi-components of backstress were considered for the combined nonlinear kinematical hardening model, namely, one, two, and three backstress components. To calibrate the model, an inverse problem solution tool, so-called virtual fields method, which takes full advantage of full-field deformation measurement, was applied to identify the material constitutive parameters. First, finite element simulations of forward-reverse simple shear were performed to validate the proposed identification method. The influence of strain noise on the identification accuracy was also evaluated. Then, the proposed method was applied to three kinds of sheet metals (DP600, TRIP780 and TWIP980) tested under two cycles of forward-reverse simple shear for parameter identification. The identification results obtained with different number of backstress components were critically discussed. (C) 2016 Elsevier Ltd. All rights reserved.1132Ysciescopu

Coinductive soundness of corecursive type class resolution

This work has been supported by the EPSRC grant “Coalgebraic Logic Programming for Type Inference” EP/K031864/1-2, EU Horizon 2020 grant “RePhrase: Refactoring Parallel Heterogeneous Resource-Aware Applications - a Software Engineering Approach” (ICT-644235), and by COST Action IC1202 (TACLe), supported by COST (European Cooperation in Science and Technology)Horn clauses and first-order resolution are commonly used to implement type classes in Haskell. Several corecursive extensions to type class resolution have recently been proposed, with the goal of allowing (co)recursive dictionary construction where resolution does not terminate. This paper shows, for the first time, that corecursive type class resolution and its extensions are coinductively sound with respect to the greatest Herbrand models of logic programs and that they are inductively unsound with respect to the least Herbrand models. We establish incompleteness results for various fragments of the proof system.Postprin

In situ evidence for the structure of the magnetic null in a 3D reconnection event in the Earth's magnetotail

Magnetic reconnection is one of the most important processes in astrophysical, space and laboratory plasmas. Identifying the structure around the point at which the magnetic field lines break and subsequently reform, known as the magnetic null point, is crucial to improving our understanding reconnection. But owing to the inherently three-dimensional nature of this process, magnetic nulls are only detectable through measurements obtained simultaneously from at least four points in space. Using data collected by the four spacecraft of the Cluster constellation as they traversed a diffusion region in the Earth's magnetotail on 15 September, 2001, we report here the first in situ evidence for the structure of an isolated magnetic null. The results indicate that it has a positive-spiral structure whose spatial extent is of the same order as the local ion inertial length scale, suggesting that the Hall effect could play an important role in 3D reconnection dynamics.Comment: 14 pages, 4 figure

One-carbon metabolism in cancer

Cells require one-carbon units for nucleotide synthesis, methylation and reductive metabolism, and these pathways support the high proliferative rate of cancer cells. As such, anti-folates, drugs that target one-carbon metabolism, have long been used in the treatment of cancer. Amino acids, such as serine are a major one-carbon source, and cancer cells are particularly susceptible to deprivation of one-carbon units by serine restriction or inhibition of de novo serine synthesis. Recent work has also begun to decipher the specific pathways and sub-cellular compartments that are important for one-carbon metabolism in cancer cells. In this review we summarise the historical understanding of one-carbon metabolism in cancer, describe the recent findings regarding the generation and usage of one-carbon units and explore possible future therapeutics that could exploit the dependency of cancer cells on one-carbon metabolism

Maternal corticotropin-releasing hormone is associated with LEP DNA methylation at birth and in childhood: an epigenome-wide study in Project Viva

BackgroundCorticotropin-releasing hormone (CRH) plays a central role in regulating the secretion of cortisol which controls a wide range of biological processes. Fetuses overexposed to cortisol have increased risks of disease in later life. DNA methylation may be the underlying association between prenatal cortisol exposure and health effects. We investigated associations between maternal CRH levels and epigenome-wide DNA methylation of cord blood in offsprings and evaluated whether these associations persisted into mid-childhood.MethodsWe investigated mother-child pairs enrolled in the prospective Project Viva pre-birth cohort. We measured DNA methylation in 257 umbilical cord blood samples using the HumanMethylation450 Bead Chip. We tested associations of maternal CRH concentration with cord blood cells DNA methylation, adjusting the model for maternal age at enrollment, education, maternal race/ethnicity, maternal smoking status, pre-pregnancy body mass index, parity, gestational age at delivery, child sex, and cell-type composition in cord blood. We further examined the persistence of associations between maternal CRH levels and DNA methylation in children's blood cells collected at mid-childhood (n = 239, age: 6.7-10.3 years) additionally adjusting for the children's age at blood drawn.ResultsMaternal CRH levels are associated with DNA methylation variability in cord blood cells at 96 individual CpG sites (False Discovery Rate <0.05). Among the 96 CpG sites, we identified 3 CpGs located near the LEP gene. Regional analyses confirmed the association between maternal CRH and DNA methylation near LEP. Moreover, higher maternal CRH levels were associated with higher blood-cell DNA methylation of the promoter region of LEP in mid-childhood (P < 0.05, β = 0.64, SE = 0.30).ConclusionIn our cohort, maternal CRH was associated with DNA methylation levels in newborns at multiple loci, notably in the LEP gene promoter. The association between maternal CRH and LEP DNA methylation levels persisted into mid-childhood

Instability in a marginal coral reef: the shift from natural variability to a human-dominated seascape

As global climate change drives the demise of tropical reef ecosystems, attention is turning to the suitability o refuge habitat. For the Great Barrier Reef, are there historically stable southern refugia where corals from th north might migrate as climate changes? To address this question, we present a precise chronology of margina coral reef development from Moreton Bay, southeast Queensland, Australia. Our chronology shows that ree growth was episodic, responding to natural environmental variation throughout the Holocene, and tha Moreton Bay was inhospitable to corals for about half of the past 7000 years. The only significant change ii coral species composition occurred between similar to 200 and similar to 50 years ago, following anthropogenic alterations of th, bay and its catchments. Natural historical instability of reefs, coupled with environmental degradation sinc, European colonization, suggests that Moreton Bay offers limited potential as refuge habitat for reef species or human time scales

Emergent Phenomena Induced by Spin-Orbit Coupling at Surfaces and Interfaces

Spin-orbit coupling (SOC) describes the relativistic interaction between the spin and momentum degrees of freedom of electrons, and is central to the rich phenomena observed in condensed matter systems. In recent years, new phases of matter have emerged from the interplay between SOC and low dimensionality, such as chiral spin textures and spin-polarized surface and interface states. These low-dimensional SOC-based realizations are typically robust and can be exploited at room temperature. Here we discuss SOC as a means of producing such fundamentally new physical phenomena in thin films and heterostructures. We put into context the technological promise of these material classes for developing spin-based device applications at room temperature

A search for the decay modes B+/- to h+/- tau l

We present a search for the lepton flavor violating decay modes B+/- to h+/- tau l (h= K,pi; l= e,mu) using the BaBar data sample, which corresponds to 472 million BBbar pairs. The search uses events where one B meson is fully reconstructed in one of several hadronic final states. Using the momenta of the reconstructed B, h, and l candidates, we are able to fully determine the tau four-momentum. The resulting tau candidate mass is our main discriminant against combinatorial background. We see no evidence for B+/- to h+/- tau l decays and set a 90% confidence level upper limit on each branching fraction at the level of a few times 10^-5.Comment: 15 pages, 7 figures, submitted to Phys. Rev.

Rapidity and Centrality Dependence of Proton and Anti-proton Production from Au+Au Collisions at sqrt(sNN) = 130GeV

We report on the rapidity and centrality dependence of proton and anti-proton transverse mass distributions from Au+Au collisions at sqrt(sNN) = 130GeV as measured by the STAR experiment at RHIC. Our results are from the rapidity and transverse momentum range of |y|<0.5 and 0.35 <p_t<1.00GeV/c. For both protons and anti-protons, transverse mass distributions become more convex from peripheral to central collisions demonstrating characteristics of collective expansion. The measured rapidity distributions and the mean transverse momenta versus rapidity are flat within |y|<0.5. Comparisons of our data with results from model calculations indicate that in order to obtain a consistent picture of the proton(anti-proton) yields and transverse mass distributions the possibility of pre-hadronic collective expansion may have to be taken into account.Comment: 4 pages, 3 figures, 1 table, submitted to PR