XML schema, tree logic and sheaves automata

XML documents may be roughly described as unranked, ordered trees and it is therefore natural to use tree automata to process or validate them. This idea has already been successfully applied in the context of Document Type Definition (DTD), the simplest standard for defining document validity, but additional work is needed to take into account XML Schema, a more advanced standard, for which regular tree automata are not satisfactory. In this paper, we introduce Sheaves Logic (SL), a new tree logic that extends the syntax of the – recursion-free fragment of – W3C XML Schema Definition Language (WXS). Then, we define a new class of automata for unranked trees that provides decision procedures for the basic questions about SL: model-checking; satisfiability; entailment. The same class of automata is also used to answer basic questions about WXS, including recursive schemas: decidability of type-checking documents; testing the emptiness of schemas; testing that a schema subsumes another one.This work was partially supported by the French government research grant ACI TRALALA and by IST Global Computing Profundis.     

Performance calculations of residential cooling systems for simplified energy analysis

The seasonal performance of space cooling systems generally depends on indoor and outdoor temperatures and humidities and on the ratio between actual cooling loads and cooling equipment size. In principle, any given weather condition and desired indoor dry-bulb temperature calls for an interactive application of psychrometrics and equipment performance curves until satisfactory indoor conditions are derived for which both sensible and latent cooling loads equal sensible and latent heat removal rates. This paper presents a simplified approach that derives the indoor wet-bulb temperature in close form for both cases when the cooling system condenses water from the space and when it does not. This approach relies on a local linearization of the psychrometric chart in the region of interest for indoor comfort conditions. Performance curves for total and sensible capacity and for the electric power input were derived for several different residential air-to-air reciprocating compressive cooling systems. The performance curves are empirical fits to manufacturer's data or to laboratory results. The predictions of the simplified method were compared with DOE-2 when calculating space cooling consumption for a residence in both a hot arid and in a hot humid climate. The comparison showed excellent agreement both for hour-by-hour calculations and for monthly calculation of this method are sufficiently simple to be applicable to micro-computers and pocket calculators.     

Distinct Expression Patterns of Cxcl12 in Mesenchymal Stem Cell Niches of Intact and Injured Rodent Teeth

Specific stem cell populations within dental mesenchymal tissues guarantee tooth homeostasis and regeneration throughout life. The decision between renewal and differentiation of stem cells is greatly influenced by interactions with stromal cells and extracellular matrix molecules that form the tissue specific stem cell niches. The Cxcl12 chemokine is a general marker of stromal cells and plays fundamental roles in the maintenance, mobilization and migration of stem cells. The aim of this study was to exploit Cxcl12-GFP transgenic mice to study the expression patterns of Cxcl12 in putative dental niches of intact and injured teeth. We showed that endothelial and stromal cells expressed Cxcl12 in the dental pulp tissue of both intact molars and incisors. Isolated non-endothelial Cxcl12⁺ dental pulp cells cultured in different conditions in vitro exhibited expression of both adipogenic and osteogenic markers, thus suggesting that these cells possess multipotent fates. Taken together, our results show that Cxcl12 is widely expressed in intact and injured teeth and highlight its importance as a key component of the various dental mesenchymal stem cell niches.     

Optimisation of the throttling system in a CO2 refrigerating machine

This paper is an answer to the need of finding the optimal solution for the throttling system in refrigerating machines using CO₂ as working fluid; such a solution must combine reliability, low installation cost and high energy efficiency. To this purpose, different expansion systems are compared by means of a simulation programme, including a new one, operating with a differential valve, a liquid receiver and a thermostatic valve. The typical compression refrigerating cycle performed by CO₂ involves transcritical operations and therefore the upper pressure needs to be adjusted to the optimal value, that, unlike the traditional cycle, is not determined by heat transfer. The innovative system here proposed shows an intrinsic self-adjusting capability that leads to COP values quite close to the maximum ones when a fixed suitable value of the differential pressure is chosen, even if the temperature of the secondary fluid varies to a large extent.     

Analysis of an absorption machine driven by the heat recovery on an I.C. reciprocating engine

The present work studies an absorption machine driven by the heat recovery on an internal combustion (i.c.) reciprocating engine. The thermal energy recovered from the i.c. engine exhaust is used to drive a double‐effect water–lithium bromide cycle, while the heat recovered from the cooling jacket of the engine drives a single‐effect water–lithium bromide cycle. The two absorption cycles are integrated into a single unit with a common evaporator and absorber. The absorption unit was first evaluated by a cycle analysis determining the sensitivity to the main boundary conditions and to the internal parameters. Then a specific simulation code of all the different devices of the absorption machine was developed to evaluate the real performance and size of the unit together with its operating condition limits. The absorption machine shows a coefficient of performance around 1, very close to the performance of a traditional double‐effect absorption chiller driven by steam or by a gas burner. The absorption unit could operate with cooling water inlet temperature lower than 35–36°C and refrigerated outlet temperature higher than 3°C. Copyright © 2005 John Wiley & Sons, Ltd.     

Pressure drop during air flow in aluminum foams

This paper aims at investigating experimentally the pressure drop during air flow in six different aluminum open-cell foam samples with different number of pores per inch (PPI) and different porosity under a wide range of air mass flow rate. Three imposed heat fluxes are considered for each foam sample. The collected pressure drop data are analysed with reference to models available in the literature. A new simple pressure drop model, based on present data, has then been developed. The consistency of the proposed model is finally checked by comparison to data available in the literature from different laboratories.