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.     

Petri net based process scheduling: A model of the control system of flexible manufacturing systems

In this paper, we propose a class of algorithms for the sub-optimal solution of a particular class of problems of process scheduling, particularly focusing on a case study in the area of flexible manufacturing systems (FMSs). The general class of problems we face in our approach is characterized as follows: there is a set of concurrent processes, each formed by a number of temporally related tasks (segments). Tasks are executable by alternate resource sets, different both in performance and costs. Processes and tasks are characterized by release times, due dates, and deadlines. Time constraints are also present in the availability of each resource in resource sets. It has been proven that such a problem does not admit an algorithm for an optimal solution in polynomial time. Our proposed algorithm finds a sub-optimal schedule according to a set of optimization criteria, based on task and process times (earliness, tardiness), and/or time independent costs of resources. Our approach to process scheduling is based on Timed Coloured Petri Nets. We describe the structure of the coordination and scheduling algorithms, concentrating on (i) the general-purpose component, and (ii) the application-dependent component. In particular, the paper focuses on the following issues: (i) theautomatic synthesis of Petri net models of the coordination subsystem, starting from the problem knowledge base; (ii) the dynamic behavior of the coordination subsystem, whose kernel is a High Level Petri net executor, a coordination process based on an original, general purpose algorithm; (iii) the structure of the real-time scheduling subsystem, based on particular heuristic sub-optimal multi-criteria algorithms. Furthermore, the paper defines the interaction mechanisms between the coordination and scheduling subsystems. Our approach clearly distinguishes the mechanism of the net execution from the decision support system. Two conceptually distinct levels, which correspond to two different, interacting implementation modules in the prototype CASE tool, have been defined: theexecutor and thescheduler levels. One of the outstanding differences between these levels is that the executor is conceived as a fast, efficient coordination process, without special-purpose problem-solving capabilities in case of conflicts. The scheduler, on the other hand, is the adaptive, distributed component, whose behavior may heavily depend on the problem class. If the scheduler fails, the executor is, in any case, able to proceed with a general-purpose conflict resolution strategy. Experimental results on the real-time performance of the kernel of the implemented system are finally shown in the paper. The approach described in this paper is at the basis of a joint project with industrial partners for the development of a CASE tool for the simulation of blast furnaces.     

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.     

Analysis of run-in process for PC manufacturing

This paper gives a review of the methodology used to tune the run-in process of a PC manufacturing line. It shows in some detail the analysis carried-out on the test data gathered on the manufacturing line and presents a clear picture of the run-in process in order to choose the best compromise between process efficiency and costs.     

Contact with out-group friends as a predictor of meta-attitudinal strength and accessibility of attitudes toward gay men.

Two studies examined the effects of cross-group friendships on heterosexuals' attitudes toward gay men. In Study 1, the authors tested the effects of cross-group friendships with gay men on out-group attitudes, meta-attitudinal strength, and attitude accessibility. The authors simultaneously explored mediational effects of intergroup anxiety. Path analysis showed that cross-group friendships were associated with meta-attitudinally stronger and more accessible out-group attitudes, and the effects on all 3 criterion variables were mediated by intergroup anxiety. In Study 2, the authors sought to replicate the basic results of Study 1, while additionally exploring mediational effects of closeness of cross-group friendship and moderational effects of perceived group typicality. Structural equation modeling showed that cross-group friendships were associated with meta-attitudinally stronger and more accessible out-group attitudes; friendships had indirect effects on all 3 criterion variables, via closeness of friendship and intergroup anxiety. Closeness of friendship only predicted lower intergroup anxiety, however, when the out-group friend was perceived as highly typical. The authors emphasize the importance of considering the nature of out-group attitudes more completely when evaluating the effectiveness of intergroup contact in reducing prejudice. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Design and development of a multichannel potentiometer for monitoring an electrode array and its application in flow analysis

A versatile potentiometer that works with electrode arrays in flow injection and/or monosegmented flow systems is described. The potentiometer is controlled by a microcomputer that allows individual, sequential multiplexed or random accesses to eight electrodes while employing only one reference electrode. The instrument was demonstrated by monitoring an array of seven flow-through ion-selective electrodes for Ag(+) and for three electrodes for Cl(-), Ca(2+) and K(+). The figures of merit of the individual and multiplexed (summed) readings of the electrode array were compared. The absolute standard deviation of the measurements made by summing the potential of two or more electrodes was maintained constant, thus improving the precision of the measurements. This result shows that an attempt to combine the signals of the electrodes to produce a more intense signal in the Hadamard strategy is feasible and accompanied by a proportional improvement in the precision of individual measurements. The preliminary tests suggest that the system can allow for 270 determinations per hour, with a linear range from 1.0 x 10(-2) to 1.0 x 10(-4) mol l(-1) for the three di inverted exclamation markerent analytes. Detection limits were estimated as 3.1 x 10(-5), 3.0 x 10(-6) and 1.0 x 10(-5) mol l(-1) for Cl(-), Ca(2+) and K(+), respectively.     

Effect of Particle Size on Monometallic and Bimetallic (Au,Pd)/C on the Liquid Phase Oxidation of Glycerol

The influence of metal particle size of monometallic and bimetallic supported catalysts (Au, Pd, Au–Pd)/C was studied using as a model reaction the liquid phase oxidation of glycerol. By tuning the metal particle size from 2 to 16 nm a progressive decrease of activity and simultaneously an increase in the selectivity to sodium glycerate was observed. Moreover, the influence of the temperature was studied and it was found that by increasing the temperature, only with a large particle size the formed glycerate was retained and not over-oxidized to tartronate.