Porphyromonas (Bacteroides) endodontalis: its role in endodontal infections

Porphyromonas endodontalis (formerly Bacteroides endodontalis) is a black-pigmented anaerobic Gram-negative rod which is associated with endodontal infections. It has been isolated from infected dental root canals and submucous abscesses of endodontal origin. The presence of P. endodontalis in infected dental root canals has been correlated with symptoms of an acute infection. It is occasionally found on oral mucous membranes and periodontal pockets. P. endodontalis has shown relatively low virulence in experimental monoinfections. In anaerobic mixed infections it can play an essential role. Differences in virulence between strains have been related to capsular material. On the basis of different types of capsules, three serotypes have been described. P. endodontalis is sensitive to a wide range of antibiotics, including the penicillins, the tetracyclines, and metronidazole.     

Investigation of bounds on particle packing in pebble-bed high temperature reactors

Models and methods are presented for determining practical limits of the packing density of TRISO particles in fuel pebbles for a pebble-bed reactor (PBR). These models are devised for designing and interpreting fuel testing experiments. Two processes for particle failure are accounted for: failure of touching particles at the pressing stage in the pebble manufacturing process and failure due to inner pressure buildup during irradiation. The second process gains importance with increasing fuel temperature, which limits the particle packing density and the corresponding fuel enrichment. Suggestions for improvements to the models are presented.     

Upgrading coal-derived liquids to diesel fuel

Distilled fractions of a coal-derived liquid from the H-Coal process were upgraded to diesel fuel by catalytic hydrotreatment. The total hydrotreated products were distilled into naphtha (<180°C) and diesel fuel fractions (>180°C) and the diesel fractions were analysed for hydrocarbon-type composition, hydrogen content and some diesel fuel properties. GC—MS-analyses were carried out on the hydrocarbon-type fractions to identify individual chemical compounds. To investigate the effect of different distillation cut points on diesel fuel yield and properties, cut points for one hydrotreated product were varied. The diesel fuel cetane numbers were correlated with percentage hydrogen, total aromatics and saturates. Cetane numbers above 40 were obtained for diesel fuels containing (i) more than 75% saturates, (ii) less than 15% total aromatics and (iii) a hydrogen content above 12.8%. Compounds identified by GC—MS-analyses (in the diesel fractions) were typical aromatic and cycloparaffin compounds. Normal-and iso-paraffin compounds were not detected. By varying the distillation cut point from 135 to 180°C, the cetane number of the residual diesel fraction improved from 37 to 44. This increase is ascribed to the removal of aromatic compounds in the 135–180°C boiling point range.     

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/.