Multibody Analysis of Controlled Aeroelastic Systems on Parallel Computers

The paper describes the application of parallel techniques to amultibody multidisciplinary formulation. The problem is stated interms of a system of nonlinear Differential-Algebraic Equations(DAE). The parallel solution is obtained using a sub-structuringdomain decomposition method, that is able to exploit thecharacteristic quasi-monodimensional topology that multibodymodels usually present. The presence of explicit constraints inform of algebraic equations requires particular care in thetreatment of the related unknowns, to avoid local singularityproblems. The code has been successfully tested on differentcomputer architectures. Special attention has been dedicated toproduce a code that will efficiently work on a cluster of PCs.Results of three test problems, regarding the simulation of anonlinear beam bending and of complex aeroservomechanical systemsas an helicopter rotor and a tiltrotor aircraft, are presented.     

Neural network pattern recognition by means of differential absorption Mueller matrix spectroscopy

Artificial neural network systems were built for detecting amino acids, sugars, and other solid organic matter by pattern recognition of their polarized light scattering signatures in the form of a Mueller matrix. Backward-error propagation and adaptive gradient descent methods perform network training. The product of the training is a weight matrix that, when applied as a filter, discerns the presence of the analytes on the basis of their cued susceptive Mueller matrix difference elements. This filter function can be implemented as a software or a hardware module to a future differential absorption Mueller matrix spectrometer.     

Preface: Volume 23, Issue 1

This volume contains the Proceedings of A Tutorial Workshop on Realizability Semantics and Applications. The workshop was associated to the 1999 Federated Logic Conference, held in Trento, Italy, from June 30 to July 1, 1999.There has been recently a reawaking of interest in many aspects of realizability interpretations---especially as regards semantics of type theories for constructive reasoning and semantics of programming languages. As the details of realizability can be quite technical, it seemed appropriate to have a tutorial workshop, connected to the Federated Logic Conference, aimed at offering presentations of the various aspects of realizability and directed to a wide audience, not necessarily only for the experts in the field.The Tutorial Workshop on Realizability Semantics and Applications was proposed to the 1999 Federated Logic Conference, Trento, June 29-July 12, 1999, was accepted, and is organized around several tutorial lectures on history, basic definitions and results, recent applications, connections to category theory and then offers a few contributed research talks of 30 minutes each.The Tutorial Presenters are:

Full-size image

     

Enzymatic synthesis of monosaccharide fatty acid esters and their comparison with conventional products

5-O-Acyl-1,2-O-isopropylidene-D-xylofuranose and 6-O-acyl1,2∶3,4-di-O-isopropylidene-D-galactopyranose were enzymatically prepared from the corresponding monosaccharide acetals and commercial (crude) fatty acid mixtures. Subsequent acid-catalyzed hydrolysis of the isopropylidene group(s) gave monosaccharide esters with overall yields of 59–88%, where the monoester content was at least 80% (galactose oleate) and typically 90% for the other preparations. In contrast to sugar fatty acid esters prepared by conventional, high-temperature (trans)esterification, the enzymatically obtained monosaccharide esters contained no appreciable quantities of undersirable side products, and the only contaminants were monosaccharides and fatty acids.     

Influence of fermentation oxygen partial pressure on semicontinuous acetification for wine vinegar production

This paper describes semicontinuous acetic acid fermentations for wine vinegar production carried out with different aerating gas compositions ranging from 21% (air) to 63% oxygen content and using low aeration (3.7 h^–1, vvm), in order to study the influence of the oxygen partial pressure on the aerating gas supplied to the reactor in this industrial biotransformation process. The acetification process was conducted in 6- to 100-l reactors. The overall acetic acid productivity increased from 0.72 g l^–1 h^–1 with air to 1.35 g l^–1 h^–1 when oxygen-rich (36%) air was used. The same behaviour was observed for the maximum acetification rate, and therefore the total process time was reduced in proportion to the increase in productivity, from 65 h using air to 35 h using an aerating gas mixture containing 36% oxygen. The yield of the process was high, 96–99%; the final concentration of acetic acid reached was 116–118 g l^–1; and the substrate yield coefficient based on ethanol metabolised was higher using oxygen-rich air than with air. It was not feasible to carry out semicontinuous acetification cycles with an oxygen content higher than 40%, and when the oxygen content was 63%, the process stopped during the first cycle with very little acetic acid production. Moreover, an inverse relationship between the acetic acid formation rate profile in the course of the acetification process and the amount of dissolved acetaldehyde in the fermentation broth formed by the acetic bacteria was observed.     

Toxicity assessment of common xenobiotic compounds on municipal activated sludge: comparison between respirometry and Microtox

The toxicity of four xenobiotic compounds 3,5-dichlorophenol, formaldehyde, 4-nitrophenol and dichloromethane, representative of industrial wastewater contaminants was evaluated by a simple respirometric procedure set up on the basis of OECD Method 209 and by the Microtox bioassay. Very good reproducibility was observed for both methods, the variation coefficients being in the range of 2-10% for the respirometric procedure and 6-15% for Microtox, values that can be considered very good for a biological method. Comparison of EC(50) data obtained with the two methods shows that in both cases 3,5-dichlorophenol is more toxic than other compounds investigated and dichloromethane has a very low toxicity value. Intermediate EC(50) values were found for the two other chemicals, formaldehyde and 4-nitrophenol. Moreover, the Microtox EC(50) values are generally lower (except for dichloromethane) than the respirometric ones: these differences could be explained by the fact that the Microtox method uses a pure culture of marine species and, therefore, should not necessarily be expected to behave like a community of activated sludge bacteria. In conclusion, both methods can be usefully applied for toxicity detection in wastewater treatment plants but it is advisable to take into account that Microtox is more sensitive than respirometry in estimating the acute toxicity effect on the biomass operating in the plant.     

Effects of including silage in the diet on volatile compound profiles in Montasio cheese and their modification during ripening

Effects of including silage in the diet on volatile compound profiles and their modification during ripening of Montasio cheeses were examined. Twelve farms were selected and grouped according the type of forage in the ration: hay-based diets (four farms); hay and corn silage-based diets (four farms); and diets based on hay, corn silage and grass silages (four farms). For cheesemaking, 1000 kg of milk collected from two consecutive milkings was sampled from each farm and processed in the same cheese factory. Cheeses were ripened in the same cellar, in controlled humidity (78-85% relative humidity) and temperature (9-12 degrees C), until analysis. After 68 (62-74), 200 (194-206) and 360 (354-366) d of ripening, a cheese from each batch was analysed for moisture, protein and fat, volatile fatty acids (VFA) and volatile compounds. These latter were analysed by dynamic reverse carrier gas headspace gas chromatographic mass spectrometry (GC-MS) technique, scanning from m/z 29 to m/z 300 at 0.5 s cycle time. Total and individual VFA contents of cheeses did not differ between the different dietary treatments and increased linearly (P<0.01) during ripening, indicating that there were no appreciable defects of fermentation. Sixty-two volatile compounds were identified in the cheese samples: 12 aldehydes, 9 ketones, 16 alcohols, 17 esters, 2 hydrocarbons, 4 sulphur-containing compounds and 2 terpenes. Diet significantly affected the amount of total alcohols, ethanol, isobutanol, 1-penten-3-ol, 2-methyl-1-butanol and the sum of all the volatile compounds. Significant variations of 33 volatile compounds (9 aldehydes, 4 ketones, 6 alcohols, 10 esters, 1 hydrocarbons, 2 sulphur containing compounds, and 1 terpene) were observed during ripening. These results suggest that the influence of diet composition on volatile compounds of matured cheeses are related more to effects on microbial and chemical fermentations in cheese during ripening rather than to a direct transfer of molecules from milk.     

Forensic analysis of poly(ethylene terephthalate) fibers by infrared spectroscopy

Poly(ethylene terephthalate) (PET) is one of the most commonly employed polymers in the textile industry. Its relevance as a source of evidence in the reconstruction of criminal cases is nevertheless very limited because the properties and morphologies of fibers from different producers tend to be very similar. By integrating bands, obtained on single fibers by infrared (IR) microscopy, associated with trans and gauche conformation and to the O-H end-groups of the molecules, a method is proposed that can discriminate otherwise similar PET fibers. The absorbancies at 1370 and at 846 cm(-1) relative, respectively, to the gauche and trans conformation, were measured and ratioed. The end-group content was evaluated by ratioing the absorbancies of the signals at 3440 and at 874 cm(-1). Relative standard deviation (R. S. D.) was 1% for repetitive analyses on the same location of the same single fiber. Precision was reduced if the ratios were measured along the length of a single fiber (R. S. D. = 3%) and even further when different fibers of the same sample were examined (R. S. D. varied from 2 to 10%). This simple method can greatly enhance the evidential value of PET fibers by subclassifying them, thus helping the Court to better assess their significance.     

Exploiting transition locality in automatic verification of finite-state concurrent systems

In this paper we show that statistical properties of the transition graph of a system to be verified can be exploited to improve memory or time performances of verification algorithms.We show experimentally that protocols exhibit transition locality. That is, with respect to levels of a breadth-first state space exploration, state transitions tend to be between states belonging to close levels of the transition graph. We support our claim by measuring transition locality for the set of protocols included in the Mur verifier distribution .We present a cache-based verification algorithm that exploits transition locality to decrease memory usage and a disk-based verification algorithm that exploits transition locality to decrease disk read accesses, thus reducing the time overhead due to disk usage. Both algorithms have been implemented within the Mur verifier.Our experimental results show that our cache-based algorithm can typically save more than 40% of memory with an average time penalty of about 50% when using (Mur) bit compression and 100% when using bit compression and hash compaction, whereas our disk-based verification algorithm is typically more than ten times faster than a previously proposed disk-based verification algorithm and, even when using 10% of the memory needed to complete verification, it is only between 40 and 530% (300% on average) slower than (RAM) Mur with enough memory to complete the verification task at hand. Using just 300 MB of memory our disk-based Mur was able to complete verification of a protocol with about 10⁹ reachable states. This would require more than 5 GB of memory using standard Mur .