Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints

In recent years, several extensions of tree automata have been considered. Most of them are related with the capability of testing equality or disequality of certain subterms of the term evaluated by the automaton. In particular, tree automata with global constraints are able to test equality and disequality of subterms depending on the state to which they are evaluated. The emptiness problem is known decidable for this kind of automata, but with a non-elementary time complexity, and the finiteness problem remains unknown. In this paper, we consider the particular case of tree automata with global constraints when the constraint is a conjunction of disequalities between states, and the disequality predicate is forced to be reflexive. This restriction is significant in the context of XML definitions with monadic key constraints. We prove that emptiness and finiteness are decidable in triple exponential time for this kind of automata.     

Life-cycle assessment of electricity from biomass: Case studies of two biocrops in Spain

Through the Renewable Energies Plan 2000–2010, Spain has fixed the objective of covering 12% of the primary energy demand from renewable sources. The achievement of this objective implies an annual increase of 22.4% of the energy produced from renewable sources. In this context, the objective of this study is to determine if the electricity from biomass produced in Spain would be environmentally competitive with electricity from natural gas or from the Spanish electricity mix. For that, the environmental impacts associated to the whole life cycle of two energetic crops in Spain, Poplar and Ethiopian mustard, used for power generation were evaluated. The overall assessment includes the cultivation and collection of biomass, its transport and the processes of its energetic transformation. We calculated different scenarios of electricity production from biomass in different capacity power plants (10, 25 or 50 MW), different transport scenarios and different productivities for biomass production. Our results show that, given the assumptions of this study, Ethiopian mustard is more impacting than Poplar when used for electricity production. Also, the transportation of biomass from the field to the power plant is an important stage that has to be carefully planned in order to get the maximum amount of electricity with a minimum environmental impact. Compared to electricity from natural gas or the Spanish electricity mix, the electricity obtained from biomass is more impacting in three from six impact categories we present here.     

Cooperation in capital deposits

The rate of return earned on a deposit can depend on its term, the amount of money invested in it, or both. Most banks, for example, offer a higher interest rate for longer term deposits. This implies that if one individual has capital available for investment now, but needs it in the next period, whereas the opposite holds for another individual, then they can both benefit from cooperation since it allows them to invest in a longer term deposit. A similar situation arises when the rate of return on a deposit depends on the amount of capital invested in it. Although the benefits of such cooperative behavior may seem obvious to all individuals, the actual participation of an individual depends on what part of the revenues he eventually receives. The allocation of the jointly earned benefits to the investors thus plays an important part in the stability of the cooperation. This paper provides a game theoretical analysis of this allocation problem. Several classes of corresponding deposit games are introduced. For each class, necessary conditions for a nonempty core are provided, and allocation rules that yield core-allocations are examined.     

Twin-mass accelerometer optimization to reduce the package stresses

The geometry optimization of a piezoresistive Twin-mass accelerometer is presented. The Twin-mass design is the most sensitive design to the stresses of the package compared to the Cantilever beam and the Quad-beam designs. Finite element simulations are carried out to improve the geometry of the Twin-mass design. Substitution of the perpendicular external beams by lateral external beams reduces the effects of the stresses of the package by a factor of more than 40. Moreover, the sensitivity and the figure of merit of the device can be easily increased.     

Critical assessment of extracellular polymeric substances extraction methods from mixed culture biomass

Extracellular polymeric substances (EPS) have a presumed determinant role in the structure, architecture, strength, filterability, and settling behaviour of microbial solids in biological wastewater treatment processes. Consequently, numerous EPS extraction protocols have recently been published that aim to optimize the trade off between high EPS recovery and low cell lysis. Despite extensive efforts, the obtained results are often contradictory, even when analysing similar biomass samples and using similar experimental conditions, which greatly complicates the selection of an extraction protocol. This study presents a rigorous and critical assessment of existing physical and chemical EPS extraction methods applied to mixed-culture biomass samples (nitrifying, nitritation-anammox, and activated sludge biomass). A novel fluorescence-based method was developed and calibrated to quantify the lysis potential of different EPS extraction protocols. We concluded that commonly used methods to assess cell lysis (DNA concentrations or G6PDH activities in EPS extracts) do not correlate with cell viability. Furthermore, we discovered that the presence of certain chemicals in EPS extracts results in severe underestimation of protein and carbohydrate concentrations by using standard analytical methods. Keeping both maximum EPS extraction yields and minimal biomass lysis as criteria, it was identified a sonication-based extraction method as the best to determine and compare tightly-bound EPS fractions in different biomass samples. Protein was consistently the main EPS component in all analysed samples. However, EPS from nitrifying enrichments was richer in DNA, the activated sludge EPS had a higher content in humic acids and carbohydrates, and the nitritation-anammox EPS, while similar in composition to the nitrifier EPS, had a lower fraction of hydrophobic biopolymers. In general, the easily-extractable EPS fraction was more abundant in carbohydrates and humic substances, while DNA could only be found in tightly bound EPS fractions. In conclusion, the methodology presented herein supports the rational selection of analytical tools and EPS extraction protocols in further EPS characterization studies.     

Countercurrent reactor design and flowsheet for iodine-sulfur thermochemical water splitting process

A conceptual design is presented for the I/S process for the production of hydrogen using a high-temperature nuclear heat source to split water. The process includes a countercurrent reactor being developed by CEA within the framework of an international collaboration (I-NERI project) with DOE at General Atomics (San Diego, CA). A ProsimPlus? model of the flowsheet indicates 600 kJ high-temperature heat and 69 kJ electric power are consumed per mole of H₂ product (with an assumed pressure of 120 bars). The net thermal efficiency would be 38% (HHV basis) if electric power is available at a conversion efficiency of 45%.