Playing with Maude

This paper is an introduction to rule-based programming in Maude. We illustrate in particular the use of operator attributes to structure the state of a system, and the difference between equations and rules. We use well-known mathematical games and puzzles for our examples illustrating the expressive power of Maude.     

Determination of peroxide value by conventional difference and difference-derivative spectrophotometry

The spectrophotometric behavior of the system iodide-iodine-iodate-oxygen was studied, and a simple iodometric method to determine peroxide value by conventional, difference or difference-derivative spectrophotometry was developed. The procedures are carried out inside standard photometric cells containing iodide solution to which the sample is added. Absorbance or its first derivative with respect to wavelength is measured to determine iodine concentration by means of calibration curves. No special care to avoid iodide oxidation by atmospheric oxygen is necessary. The method is applicable even to lipids that give emulsions with water, such as phosphatides, and precise results are obtained even at low peroxide values. The use of a digital spectrophotometer with data processing and programming facilities allowed development of an interactive program for automatic operation, which is outlined.     

Stress and the immune system: preliminary observations in rheumatoid arthritis using an in vivo marker of immune activity

This study measured volumetric liver blood flow and galactose clearance concurrently during orthotopic liver transplant in human subjects. Ultrasound transit time flowmeters measured hepatic artery and portal vein flow 1-3 h after reperfusion. Galactose (100 mg/min) was infused over 45-60 min to steady state for calculation of clearance. Mean +/- S.D. total volumetric flow was 1966 +/- 831 ml/min with portal flow contributing 86%. Mean galactose clearance was 1988 +/- 641 ml/min. There was a significant correlation (p < 0.05, r = 0.61) between volumetric total liver blood flow and galactose clearance. The data show that: (i) the newly transplanted liver is capable of metabolizing galactose within 1-3 h of reperfusion; and (ii) liver blood flow is high in the newly implanted liver. The clinical importance of this observation is that there is increased clearance of high first pass substances by the transplanted liver which may be of importance in patient management.     

Hydrocarbon exploration risk evaluation through uncertainty and sensitivity analyses techniques

The evaluation of the exploration risk in the oil industry is a fundamental component of the decision process related to the exploratory phase. In this paper the two basic components of the exploratory risk: trap geometry and trapped hydrocarbon quantities (fluid), are compounded in a single coherent uncertainty and sensitivity approach. The results clarify that the model geometry influences each Petroleum System Modeling step and that the geometric uncertainty is correlated with the fluid uncertainty. The geometric uncertainty evaluation makes use of geostatistical techniques that produce a number of possible realizations of the trap geometry, all compatible with available data. The evaluation of the fluid uncertainty, through a Monte Carlo methodology, allows us to compute the possible quantities of oil and gas, generated in a basin and migrated from the hydrocarbon source location to each single trap. The final result is the probability distribution of oil and gas for each trap in the basin, together with other useful indicators like: the hydrocarbon filling probability map, the closure probability map, the drainage area probability map, the spilling paths probabilities, the trap-filling scenarios.     

Hydrodechlorination of 3-chloropyridine and chlorobenzene in methanol solution over alkali-modified zirconia-supported palladium catalysts

The liquid-phase hydrodechlorination of 3-chloropyridine and chlorobenzene has been studied over alkali-modified zirconia-supported palladium catalysts. The modification of the ZrO₂ with alkali metal carbonates improves the catalytic activity of the final palladium catalyst. Therefore, the larger the ionic radii (Li⁺ < Na⁺ < K⁺), the greater the catalytic activity (TOF) of the palladium catalyst. For 3-chloropyridine, hydrodechlorination proceeds without catalyst deactivation. This is explained as the result of the interaction of reaction products (pyridine and HCl) forming pyridinium chloride, thus avoiding the detrimental effect of HCl on the palladium particles. Catalytic hydrodechlorination of chlorobenzene over Pd catalysts exhibits an initial catalytic activity (TOF) much lower than that of 3-chloropyridine and the Pd catalysts deactivate as the reaction proceeds. Finally, chlorobenzene hydrodehalogenation has also been carried out in the presence of an equimolecular amount of pyridine resulting in a decrease in the initial reaction rate on the one hand, but also in an increase in final conversion on the other.     

Comments on “Is the cause of size effect on structural strength fractal or energetic-statistical?” by Ba?ant & Yavari [Engng Fract Mech 2005;72:1-31]

Aim of this letter to the Editor is at replying to the criticisms raised by Ba?ant and Yavari [Ba?ant ZP, Yavari A. Is the cause of size effect on structural strength fractal or energetic - statistical? Engng Fract Mech 2005;72:1-31] against the fractal approach to the size-scale effects on the mechanical properties of materials and the concept of the Multi-Fractal Scaling Law presented by Carpinteri [Carpinteri A. Scaling laws and renormalization groups for strength and toughness of disordered materials. Int J Solids Struct 1994;31:291-302]. These criticisms will be analysed thoroughly, showing how they also contain some mistakes and misunderstandings. The presented elucidations should redirect the discussion to a more correct scientific debate.     

Hydrogenation of canola oil in the presence of nickel and the methyl benzoate-chrome carbonyl complex

Canola oil was hydrogenated using a mixture of homogeneous methyl benzoate-Cr(CO)₃ and heterogeneous nickel catalysts. The effect of the methyl benzoate-Cr(CO)₃_to-nickel ratio on the activity, specific isomerization index, linoleate and linolenate selectivities, and fatty acid composition was evaluated, and the results compared with those obtained with commercial nickel catalyst and methyl benzoate-Cr(CO)₃ used individually. At higher chromium-to-nickel ratios the activity of nickel was inhibited and the system behaved essentially like the pure chrome complex, while at low chromium-to-nickel ratios the characteristics of the nickel predominated. In a short transition zone relatively high reaction rates were obtained with significantly reducedtrans-isomer levels in the product. In a broader sense, it may be possible to combine a homogeneous and heterogeneous catalyst while retaining the advantages of both. We may thus be able to design catalyst systems for specific applications.     

Effect of ethanol on platelet phospholipase A2

Platelet aggregation is known to be inhibited by ethanol, and this has been suggested to be one of the attenuating effects of ethanol in cardiovascular disease. Recent studies have implicated an inhibition of phospholipase A₂ induced arachidonic acid release, since the production of prostanoids that are formed from arachidonic acid and are involved in the aggregation process has been shown to be diminished by ethanol. Phospholipase A₂ is found in platelets in both a cytosolic form, from where it may translocate to the plasma membrane to release arachidonic acid, and in a secretory form which is released extracellularly upon activition. In the present study, the effect of ethanol on the secretion of phospholipase A₂ and on its activity was determined. It was found that ethanol inhibited trast, the activity of the cytosolic form of phospholipase A₂ was inhibited by ethanol.     

Nitrone spin-traps block calcium channels and induce pulmonary artery relaxation independent of free radicals

Free radicals react with nitrones to form stable nitroxides which can be identified by ESR spectroscopy. Unfortunately, little is known regarding the pharmacological properties of these compounds. In this study, three commonly used nitrones, 5,5-dimethylpyrroline-N-oxide (DMPO), alpha-phenyl-tert-butylnitrone (PBN), and alpha-(4-pyridyl 1-oxide)-N-tert-butylnitrone (POBN), were found to induce relaxation of preconstricted isolated rat pulmonary artery rings. Additional experiments with PBN indicated that vasorelaxation could not be attributed to production of endothelial derived factors, prostaglandins, or free radicals. Patch-clamp techniques revealed reversible calcium channel blockade with PBN at a concentration below that needed to detect free radicals. Calcium channel blockade probably accounts for the vasorelaxation observed in the isolated ring preparations described here, and should be considered when using nitrone spin-traps both in in vivo and clinical studies.     

Plenty of questions still remain on Clinton''s approach to health care reform

The authors did not detect any differences in the efficacies and tolerance of praziquantel analogs manufactured by various firms (azinox, Russia; pikitor, China; cesol, cisticide, biltricide, Bayer, Merk, Germany, India). These drugs were found highly effective in opisthorchiasis (87.8%) and schistosomiasis (91.7%) and ineffective in fascioliasis. The efficacy and tolerance of azinox, a drug manufactured in this country, was similar to those of its foreign analogs.