Modelling biological processes under anaerobic conditions through integrating titrimetric and off-gas measurements-applied to EBPR systems.

An innovative method for modelling biological processes under anaerobic conditions is presented and discussed. The method is based on titrimetric and off-gas measurements. Titrimetric data is recorded as the addition rate of hydroxyl ions or protons that is required to maintain pH in a bioreactor at a constant level. An off-gas analysis arrangement measures, among other things, the transfer rate of carbon dioxide. The integration of these signals results in a continuous signal which is solely related to the biological reactions. When coupled with a mathematical model of the biological reactions, the signal allows a detailed characterisation of these reactions, which would otherwise be difficult to achieve. Two applications of the method to the enhanced biological phosphorus removal processes are presented and discussed to demonstrate the principle and effectiveness of the method.     

Inference of message sequence charts

Software designers draw message sequence charts for early modeling of the individual behaviors they expect from the concurrent system under design. Can they be sure that precisely the behaviors they have described are realizable by some implementation of the components of the concurrent system? If so, can we automatically synthesize concurrent state machines realizing the given MSCs? If, on the other hand, other unspecified and possibly unwanted scenarios are "implied" by their MSCs, can the software designer be automatically warned and provided the implied MSCs? In this paper, we provide a framework in which all these questions are answered positively. We first describe the formal framework within which one can derive implied MSCs and then provide polynomial-time algorithms for implication, realizability, and synthesis.     

Itemset trees for targeted association querying

Association mining techniques search for groups of frequently co-occurring items in a market-basket type of data and turn these groups into business-oriented rules. Previous research has focused predominantly on how to obtain exhaustive lists of such associations. However, users often prefer a quick response to targeted queries. For instance, they may want to learn about the buying habits of customers that frequently purchase cereals and fruits. To expedite the processing of such queries, we propose an approach that converts the market-basket database into an itemset tree. Experiments indicate that the targeted queries are answered in a time that is roughly linear in the number of market baskets, N. Also, the construction of the itemset tree has O(N) space and time requirements. Some useful theoretical properties are proven.     

The X-HPD—conceptual study of a large spherical hybrid photodetector

We present the results of a conceptual study demonstrating the feasibility of a large spherical hybrid photodetector with central anode. A prototype tube with 208 mm diameter and an anode in form of a metallic cube has been fabricated. In the final version of the so-called X-HPD concept the anode will be a scintillator cube with plated faces and a small photodetector to readout the bottom. The bialkali photocathode covers three quarters of the sphere surface. Combined use of this cathode in transmissive and reflective mode leads to effective quantum efficiency values exceeding those obtained in conventional hemispherical PMT designs. Further features of the concept are a photoelectron collection efficiency approaching 100% and a photon amplification in the scintillator crystal leading to a distinct single photoelectron signal.

Using a custom built electron accelerator based on a CsI transmissive photocathode, LSO and YAP block crystals in geometries adapted to the anode of an X-HPD have been tested with single photoelectrons in the 10–30 keV energy range. The scintillation light was readout with a conventional PMT or a Si-PM. More than 30 photoelectrons per incident electron could be detected with the PMT.     

Critical Infrastructure in the Face of a Predatory Future: Preparing for Untoward Surprise

The editors of this special issue asked Todd LaPorte to reflect on the issues that emerge from the discussions in this special issue and, more in general, from the discussions that have proliferated in the wake of recent crises and disasters. In his contribution, Professor LaPorte contemplates what political leaders can do to prepare for catastrophic surprises. A crucial initiative, he argues, would be the initiation of a public discussion about the level of distress that a society is willing to accept in the pursuit of efficient, reliable critical infrastructures.     

Characterization of strength properties of thin polycrystalline silicon films for MEMS applications

The aim of this work is to characterize the strength properties of polycrystalline silicon (polysilicon) with the use of tensile and bending test specimens. The strength of thin polysilicon films with different geometry, size and stress concentrations has been measured and correlated with the effective size of the specimen and its stress distribution. The test results are evaluated using a probabilistic strength approach based on the weakest link theory with the use of STAU software. The use of statistic methods of strength prediction of polysilicon test structures with a complex geometry and loading based on test values for standard material tests specimen has been evaluated.     

Elastoplastic modelling of subsurface crack growth in rail/wheel contact problems

Propagation of small subsurface cracks subjected to shear under repeated rolling contact load is studied. An analytical crack model (Dugdale) with plastic strips at the two crack tips is employed. Compressive stresses promoting crack closure and friction between crack faces are considered. The triaxial stress state is used in the yield criterion. A damage criterion is suggested based on experimental LCF data. In a numerical study, critical crack lengths are found below which propagation of an existing crack should be effectively suppressed.     

Brittle fracture of high-strength steels at very low temperatures

High-strength steels are used to increase the load carrying capacity of components. However, to guarantee a safe design, it is also necessary to combine high strength with adequate fracture toughness. In this paper, fracture toughness of three high-strength steels with yield strengths ranging from 460 to 890 MPa has been studied at very low temperatures. Taking into account experimental evidence, a new mechanism of cleavage at very low temperatures is proposed. This mechanism considers the possibility of reaching the ideal strength (the stress at which the lattice of a single crystal losses its stability) in the immediate vicinity of the fatigue crack tip. Moreover, a computational model able to calculate the external load needed to produce a catastrophic failure of these steels has been developed.