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

Mass windborne migrations extend the range of the migratory locust in East China

This is the final version. Available on open access from Wiley via the DOI in this recordMigratory insect pests pose a substantial challenge to global food security. These issues are particularly acute when pest incursions occur considerably beyond the expected range, through natural migration or human-aided transport, because the lack of species-specific control strategies and a potential absence of species-specific natural enemies in the newly-invaded area may lead to rapid establishment of a new pest. One such threat is posed by the Oriental migratory locust Locusta migratoria manilensis in China, which, historically, has been restricted to eastern China from the Bohai Gulf southwards, and now threatens to expand its range into the agriculturally important region of northeast China. We analyzed data from a recent outbreak of migratory locusts in Heilongjiang Province (extreme northeast China), > 700 km north of its current known range, and identified the source region, timing of arrival and probable migratory routes of this incursion. We further show that warming temperatures in this region will likely allow subsequent invasions to establish permanent populations in northeast China, and thus authorities in this important crop-producing region of East Asia should be vigilant to the threat posed by this species.China Agriculture Research SystemChinese Academy of SciencesNational Natural Science Foundation of ChinaNatural Science Foundation of Jiangsu ProvinceScience and Technology Facilities Council (STFC

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

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

Digenean parasites of Chinese marine fishes: a list of species, hosts and geographical distribution

In the literature, 630 species of Digenea (Trematoda) have been reported from Chinese marine fishes. These belong to 209 genera and 35 families. The names of these species, along with their hosts, geographical distribution and records, are listed in this paper

The FPR2-induced rise in cytosolic calcium in human neutrophils relies on an emptying of intracellular calcium stores and is inhibited by a gelsolin-derived PIP2-binding peptide

<p>Abstract</p> <p>Background</p> <p>The molecular basis for neutrophil recognition of chemotactic peptides is their binding to specific G-protein-coupled cell surface receptors (GPCRs). Human neutrophils express two pattern recognition GPCRs, FPR1 and FPR2, which belong to the family of formyl peptide receptors. The high degree of homology between these two receptors suggests that they share many functional and signal transduction properties, although they exhibit some differences with respect to signaling. The aims of this study were to determine whether FPR2 triggers a unique signal that allows direct influx of extracellular calcium without the emptying of intracellular calcium stores, and whether the gelsolin-derived PIP₂-binding peptide, PBP10, selectively inhibits FPR2-mediated transient rise in intracellular Ca²⁺.</p> <p>Results</p> <p>The transient rise in intracellular Ca²⁺induced by agonists for FPR1 or FPR2 in human neutrophils occurred also in the presence of a chelator of Ca²⁺(EGTA). PBP10 inhibited not only FPR2-induced oxidase activity, but also the transient rise in intracellular Ca²⁺.</p> <p>Conclusions</p> <p>Ca²⁺signaling mediated <it>via </it>FPR2 follows the same route as FPR1, which involves initial emptying of the intracellular stores. PBP10 inhibits selectively the signals generated by FPR2, both with respect to NADPH-oxidase activity and the transient rise in intracellular Ca²⁺induced by agonist exposure.</p