Composition of bacterial and archaeal communities in freshwater sediments with different contamination levels (Lake Geneva, Switzerland)

The aim of this study was to compare the composition of bacterial and archaeal communities in contaminated sediments (Vidy Bay) with uncontaminated sediments (Ouchy area) of Lake Geneva using 16S rRNA clone libraries. Sediments of both sites were analysed for physicochemical characteristics including porewater composition, organic carbon, and heavy metals. Results show high concentrations of contaminants in sediments from Vidy. Particularly, high contents of fresh organic matter and nutrients led to intense mineralisation, which was dominated by sulphate-reduction and methanogenesis. The bacterial diversity in Vidy sediments was significantly different from the communities in the uncontaminated sediments. Phylogenetic analysis revealed a large proportion of Betaproteobacteria clones in Vidy sediments related to Dechloromonas sp., a group of dechlorinating and contaminant degrading bacteria. Deltaproteobacteria, including clones related to sulphate-reducing bacteria and Fe(III)-reducing bacteria (Geobacter sp.) were also more abundant in the contaminated sediments. The archaeal communities consisted essentially of methanogenic Euryarchaeota, mainly found in the contaminated sediments rich in organic matter. Multiple factor analysis revealed that the microbial community composition and the environmental variables were correlated at the two sites, which suggests that in addition to environmental parameters, pollution may be one of the factors affecting microbial community structure.     

Model Checking Interactor Specifications

Recent accounts of accidents draw attention to “automation surprises” that arise in safety critical systems. An automation surprise can occur when a system behaves differently from the expectations of the operator. Interface mode changes are one class of such surprises that have significant impact on the safety of a dynamic interactive system. They may take place implicitly as a result of other system action. Formal specifications of interactive systems provide an opportunity to analyse problems that arise in such systems. In this paper we consider the role that an interactor based specification has as a partial model of an interactive system so that mode consequences can be checked early in the design process. We show how interactor specifications can be translated into the SMV model checker input language and how we can use such specifications in conjunction with the model checker to analyse potential for mode confusion in a realistic case. Our final aim is to develop a general purpose methodology for the automated analysis of interactive systems. This verification process can be useful in raising questions that have to be addressed in a broader context of analysis.     

Theoretical considerations on small color differences ascribed to the standard observer made on the basis of individual color‐matching functions

An analytical method to determine how color‐matching functions influence the perception of chromaticity differences is proposed. We show that, as a consequence of the observer metamerism, a metameric color‐match perceived by one observer may appear to be a significant mismatch to a different observer. It is also shown that, on average, the differences between the color‐matchings made by two different observers can be estimated to be in the order of 2 CIELAB units. © 2009 Wiley Periodicals, Inc. Col Res Appl, 34, 194–200, 2009     

Processes with local and global liveness requirements

The deterministic QS model, introduced in in Costa and Sernadas [J.F. Costa, A. Sernadas, Progress assumption in concurrent systems, Formal Aspects Comput. 7 (1) (1995) 18–36], captures (local) liveness properties, commonly specified in Temporal Logic, and not fully captured by non-deterministic process models. Liveness explains how some processes engage spontaneously in some actions and wait passively for the triggering of other actions by other processes. In this paper, we extend the QS model to describe liveness properties, through the introduction of a new operator deeply influenced by Temporal Logic, and denoting a global liveness requirement. The new operator applied to a process term induces a transactional behaviour until the execution of some specified action. We define the suitable denotational, axiomatic, and operational semantic domains to obtain a trinity of semantics in the sense of Hennessy. We prove that this extended model is a conservative extension of the previous one.     

Influence of workpiece hardness on EDM performance

The aim of this research is to show the influence of the hardness of the alloy steel on the material removal rate and on the workpiece surface roughness.The Taguchi methodology was used to study that influence. The result of the verification test for workpiece surface roughness was a strong confirmation. This type of outcome allows the use of the additive model to predict the workpiece surface roughness with an average error of 0.4%.The result of the verification test for material removal rate was a poor confirmation due to an interaction of parameters. This type of outcome does not allow the additive model to predict the material removal rate with accuracy. Therefore, a linear regression model was developed for material removal rate using workpiece hardness and its interactions, among other variables. This model predicts the material removal rate with an average error of 1.06%.These results show that workpiece hardness and its interactions have influence on the material removal rate and on the workpiece surface roughness.     

A model for the position and ring eccentricity in transverse sections of Norway spruce logs

=0.677, when the disc eccentricity is estimated by the model) and excellent (r²=0.923), when the disc eccentricity is measured and integrated as input in the model. This result motivates further studies concerning the automatic detection of the pith position by image analysis.     

A modeling approach to the effect of resin characteristics on parison formation in extrusion blow molding

The most critical stage in the extrusion blow‐molding process is the parison formation, as the dimensions of the blow‐molded part are directly related to the parison dimensions. The swelling due to stress relaxation and sagging due to gravity are strongly influenced by the resin characteristics, die geometry, and operating conditions. These factors significantly affect the parison dimensions. This could lead to a considerable amount of time and cost through trial and error experiments to get the desired parison dimensions based upon variations in the resin characteristics, die geometry, and operating conditions. The availability of a modeling technique ensures a more accurate prediction of the entire blow‐molding process, as the proper prediction of the parison formation is the input for the remaining process phases. This study considers both the simulated and the experimental effects of various high‐density polyethylene resin grades on parison dimensions. The resins were tested using three different sets of die geometries and operating conditions. The target parison length was achieved by adjusting the extrusion time for a preset die gap opening. The finite element software BlowParison® was used to predict the parison formation, taking into account the swell and sag. Good agreements were found between the predicted parison dimensions and the experimental data. POLYM. ENG. SCI., 2009. Published by Society of Plastics Engineers