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.     

Inhibition of sulfide on the simultaneous removal of nitrate and p‐cresol by a denitrifying sludge

BACKGROUND: Many industrial discharges, such as those generated from petrochemical refineries, contain large amounts of sulfurous, nitrogenous and organic contaminants. Denitrification has emerged as a suitable technology for the simultaneous removal of these pollutants in a single reactor unit; however, more evidence is demanded to clarify the limitations of denitrification on the simultaneous removal of sulfide and phenolic contaminants and to optimize the biological process. The aim of this study was to evaluate the capacity of a denitrifying sludge to simultaneously convert sulfide and p‐cresol via denitrification. RESULTS: Sulfide was the preferred electron donor over p‐cresol, imposing a 5 h lag phase (required for complete sulfide removal) on organotrophic denitrification. Addition of sulfide (20 mg S^2? L^?1) to p‐cresol‐amended denitrifying cultures also decreased the reduction rate of nitrate and nitrite, as well as the production rate of nitrogen gas. Nitrite reduction rate was the most affected step by sulfide, decreasing from 35 to 21 mg N (g VSS d)^?1. A synergistic inhibitory effect of nitrate and sulfide was also observed on nitrite reduction. Despite the effects of sulfide on the respiratory rates monitored, complete removal of nitrate, sulfide and p‐cresol could be achieved after 48 h of incubation. CONCLUSION: Our results suggest that simultaneous removal of sulfide and p‐cresol could be achieved in denitrifying reactors, but a large hydraulic residence time may be required to sustain an efficient process due to inhibitory effects of sulfide. Copyright © 2008 Society of Chemical Industry     

Development of high-performance liquid chromatography criteria for determination of grades of commercial olive oils. Part I. The normal ranges for the triacylglycerols

Criteria for authentic olive oils were developed from isocratic high-performance liquid chromatography analyses of 99 olive oils from the major Mediterranean producers in the 1983–1986 crop years. Authentic olive oils include extra virgin, virgin and pure or refined oils, but exclude all reesterified and adulterated oils. The extra virgin through pure grades will have a combined area for the LOO (C_18:2C_18:1C_18:1), LOP (C_18:2C_18:1C_16:0), OOO (C_18:1C_18:1C_18:1), POO (C_16:0C_18:1C_18:1), POP (C_16:0C_18:1C_18:1), and SOO (C_18:0C_18:1C_18:1) peaks between 82.0 and 92.6% of the total area (L, linoleic; O, oleic; P, palmitic; S, stearic). Authentic oils will have ratios of LOO/LOP and OOO/POO that coincide with a line defined by OOO/POO=0.7844(LOO/LOP)+0.0968; correlation coefficient is 0.885. Authentic oils will not have a trilinolein (LLL) peak over 0.5% in area. Neither triolein (OOO) nor any other single peak suffices to characterize an olive oil sample as one of the authentic grades.     

Analytic expressions for the isosteric heat of adsorption from adsorption isotherm models and two-dimensional SAFT-VR equation of state

The isosteric heat of adsorption is an important thermodynamic property used to characterize and optimize adsorption processes. In this work, analytic expressions for isosteric heats of adsorption are derived for a collection of commonly used isotherm models and a two-dimensional molecular equation of state based on the SAFT-VR approach. The use of these expressions is presented with an example of adsorption of nitrous oxide, N₂O, on biochar, which is a waste biomass charcoal that exhibits high adsorption potential. The results show that accurate fitting of the adsorption isotherms leads to consistent results obtained with different approaches; however, the predicted isosteric heat of adsorption exhibits strong variations in the regions where experimental data is insufficient such in the region of low pressure/low coverage. Convergence on the prediction of the isosteric heat of adsorption by the different models is only observed in the region where no extrapolation of experimental data is needed.     

An adaptive, real-time, traffic monitoring system

In this paper we describe a computer vision-based traffic monitoring system able to detect individual vehicles in real-time. Our fully integrated system first obtains the main traffic variables: counting, speed and category; and then computes a complete set of statistical variables. The objective is to investigate some of the difficulties impeding existing traffic systems to achieve balanced accuracy in every condition; i.e. day and night transitions, shadows, heavy vehicles, occlusions, slow traffic and congestions. The system we present is autonomous, works for long periods of time without human intervention and adapts automatically to the changing environmental conditions. Several innovations, designed to deal with the above circumstances, are proposed in the paper: an integrated calibration and image rectification step, differentiated methods for day and night, an adaptive segmentation algorithm, a multistage shadow detection method and special considerations for heavy vehicle identification and treatment of slow traffic. A specific methodology has been developed to benchmark the accuracy of the different methods proposed.     

The Impact of Technological Opportunities and Innovative Capabilities on Firms’ Output Innovation

In this study, we analyse the effect that external sources of knowledge and absorptive capacity exert on a firm's output innovation. In addition, we examine the moderating influence of absorptive capacity on the effect that technological opportunities have on output innovation. Empirical research was carried out on a sample of 91 Spanish firms from the ceramic tile industry. Absorptive capacity is operationalized by ‘systematic or continuous R&D’ and output innovation by ‘percentage of sales from new products’. Technological opportunities are divided into several industry and non‐industry related variables. Our results show the positive effect that both the industry's technological opportunities and a systematic approach to R&D exert on output innovation. Moreover, firms with a systematic approach to R&D usually achieve higher innovation output than firms which do not follow this approach. The innovation results of this second group decrease as a result of embedded technology acquisition.     

In vivo remineralization of acid-etched enamel in non-brushing areas as influenced by fluoridated orthodontic adhesive and toothpaste

This study aimed to evaluate the in vivo remineralization of acid-etched enamel in non-brushing areas as influenced by fluoridated orthodontic adhesive and toothpaste. One hundred and twenty teeth from 30 volunteers were selected. The teeth were assigned to four treatments: no treatment (negative control); 37% phosphoric acid-etching (PAE) (positive control); PAE + resin-modified glass ionomer cement (RMGIC); and, PAE + composite resin. Patients brushed teeth with fluoridated (n = 15) or non-fluoridated (n = 15) toothpastes, so that etched enamel was protected with screens and it was not in contact with the brush bristles. Remineralization was evaluated by means of laser fluorescence (LF), environmental scanning electronic microscopy, and energy dispersive spectrometry after extraction. The LF means were compared by means of Wilcoxon and Mann Whitney tests. Environmental scanning electron microscopy scores were compared among the groups using a Kruskal Wallis test, whereas the Ca/P ratio was evaluated by means of an Analysis of Variance with subparcels (treatments) and Tukey's post-hoc test. There were no statistically significant differences between the tooth pastes and between the orthodontic adhesives evaluated. Most teeth presented only partial enamel remineralization. Therefore, the fluoride released by the RMGIC was not enough to cause increased crystal regrowth in the acid-etched enamel. The use of fluoridated toothpaste did not provide positive additional effect.