The forward muon detector of the DELPHI experiment at LEP

The layout and construction of the muon drift chambers equipping the end caps of the DELPHI detector are described. The performance of this forward muon detection system, determined from cosmic ray tests and data collected during the first year of LEP operation, is presented.     

Influence of Storage Time and Temperature on Absorption of Flavor Compounds from Solutions by Plastic Packaging Materials

ABSTRACT: Linear low-density polyethylene (LLDPE), oriented polypropylene (OPP), polycarbonate (PC), polyethylene terephthalate (PET film and PET bottle), and polyethylene naphthalate (PEN) were stored in a model solution containing 10 flavor compounds at 4, 20, and 40 °C and flavor absorption by the plastic materials was followed in time. The absorption rate and/or total amount absorbed increased considerably with temperature from 4 to 40 °C. Depending on storage temperature, total flavor absorption by the polyolefins (LLDPE and OPP) was 3 to 2400 times higher than by the polyesters (PC, PET, and PEN). Therefore, in the factor of flavor absorption, polyesters are preferred over polyolefins as packaging material.     

Cyclic variations in the permeability of the cell wall of Saccharomyces cerevisiae.

To study cell-cycle-related variations in wall permeability of Saccharomyces cerevisiae, two approaches were used. First, an asynchronous culture was fractionated by centrifugal elutriation into subpopulations containing cells of increasing size. The subpopulations represented different stages of the cell cycle as judged by light microscopy. Cell wall porosity increased when these subpopulations became enriched with budded cells. Secondly, synchronous cultures were obtained by releasing MATa cells from alpha-factor induced G1-arrest. These cultures grew synchronously for at least two generations. The cell wall porosity increased sharply in these cultures, shortly before buds became visible and was maximal during the initial stages of bud growth. It decreased in cells which had completed nuclear migration and before abscission of the bud had occurred. The porosity reached its lowest value during abscission and in unbudded cells. We examined the incorporation of mannoproteins into the wall during the cell cycle. SDS-extractable mannoproteins were incorporated continuously. However, the incorporation of glucanase-extractable mannoproteins, which are known to affect cell wall porosity, showed cyclic oscillations and reached its maximum after nuclear migration. This coincided with a rapid decrease in cell wall porosity, indicating that glucanase-extractable mannoproteins might contribute to this decrease.     

Longitudinal analysis of semiconductor lasers with low reflectivity facets

An analysis is made of longitudinal effects in semiconductor lasers with low facet reflectivities. For this purpose, a self-consistent model is used based on the beam propagation method, which takes into account both the lateral and longitudinal dimension. The calculations show that longitudinal effects have a significant influence on the output fields in the laser.     

Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.     

The influence of the ion content of whey on the pH-activity profile of the β-galactosidase from Aspergillus oryzae

The pH-dependence of the reaction kinetics of lactase (β-galactosidase) from Aspergillus oryzae in different reaction media is presented in terms of a two-parameter model. The lactase from A. oryzae seems to have replaced the A. niger lactase on the market owing to a better activity/price ratio and may be utilised for lactose hydrolysis in acid as well as in neutral milk products. Its pH optimum is around pH 4.5. However, in the neutral pH-range its activity depended strongly on the salt content of the substrate solution. For example, its activity in whey (pH 6.5) fell to only 30% of its expected activity in a pure lactose solution at the same pH. The whey effect was the same for both soluble and immobilised lactase. The two parameter kinetic model, which included a term for competitive product inhibition gave excellent agreement with experimental data, and may thus be useful for the prediction of reactor performance with this enzyme.     

Formal Analysis of Streaming Downloading Protocol for System Upgrading

For a PC-mobile download system which is embedded with streaming download protocol, there are problems that the data cannot be transmitted correctly from the PC to the mobile, or the transmission is unacceptably slow. To solve these problems, we carry out a formal analysis for the protocol with some timing parameters and a given probability of message loss and unordered data using a probabilistic model checking tool PRISM. We introduce a technique to reduce the state space of the system modeling the protocol which is a network of probabilistic timed automata. The experimental results in PRISM give us a clear explanation to the problems, and are helpful in identifying the optimal parameter settings to meet industrial requirements.     

A variational approach to magnetoelastic buckling problems for systems of superconducting tori

A variational principle for the magnetoelastic stability problem of superconductors is constructed. Independently, a pair of integral equations is derived, from which the initial and the perturbed field can be computed. The integral equations are solved for in-plane buckling of a slender pair of concentric tori, and out-of-plane buckling of a slender pair of equal coaxial tori. By using the variational principle, it is shown that both cases can become unstable when the currents on the two tori are equally directed, and the pertinent buckling values are calculated. The thus obtained buckling values are compared with the results of an alternative, mathematically less rigorous, method. A good correspondence between the two methods is found (at least as long as the two tori are not too near).