Layered reasoning for randomized distributed algorithms

This paper adopts the communication closed layer (CCL) concept of Elrad and Francez to the formal reasoning of randomized distributed algorithms. We do so by enriching probabilistic automata (PA) with a layered composition operator, an intermediate between parallel and sequential composition. Layered composition is used to establish probabilistic counterparts of the CCL laws that exploit independence and/or precedence conditions between the constituent PA. The probabilistic CCL laws enable partial order (po-) equivalence when layered composition is replaced by sequential composition. Such po-equivalence induces a purely syntactic partial-order state space reduction via layered separation in compositions of PA while preserving probabilistic next-free linear-time properties. The feasibility of such layered separation is demonstrated on a randomized mutual exclusion algorithm by Kushilevitz and Rabin, complementing an algebraic approach (for analyzing this algorithm) by McIver, Gonzalia, Cohen, and Morgan.     

Conducting carbon/polymer composites as a catalyst support for proton exchange membrane fuel cells

Carbon/poly(3,4‐ethylene dioxythiophene) (C/PEDOT) composites are synthesized by in situ chemical oxidative polymerization of EDOT monomer on carbon black in order to decrease carbon corrosion that occurred in carbon‐supported catalysts used in proton exchange membrane fuel cell. The effects of different dopants including polystyrene sulfonic acid, p‐toluenesulfonic acid and camphorsulfonic acid with the addition of ethylene glycol or dimethyl sulfoxide on the properties of the composites are investigated. The synthesized composites are characterized by X‐ray diffraction, Fourier transform infrared spectroscopy, thermogravimetric analysis, surface area analysis and scanning electron microscope. Electrical conductivity is determined by using the four‐point probe technique. Electrochemical oxidation characteristics of the synthesized C/PEDOT composites are investigated by cyclic voltammetry by applying 1.2 V for 24 h. The composite prepared at 25 °C with p‐toluenesulfonic acid and ethylene glycol shows the best carbon corrosion resistance. Platinum‐supported catalyst by using this composite was prepared using microwave irradiation technique, and it was seen that the prepared catalyst did not significantly lose its hydrogen oxidation and oxygen reduction reaction activities after electrochemical oxidation. Copyright © 2013 John Wiley & Sons, Ltd.     

Quantifying of a dynamic refractory wear test setup for MgO-C products

The induction furnace test is one of the most common used refractory wear testing methods for MgO-C products. Due to the high oxidation rates in the ITO test setup and the significant changes in slag chemistry the test method sometimes gives results which cannot be compared to the field. For a general “Yes or No” decision this test is suitable for testing MgO-C refractories, determination of small differences in performance of MgO-C products, which is especially important for the development of new grades, is hardly possible. Due to that the application of a supplementary testing method was tested at the Chair of Metallurgy (Montanuniversitaet Leoben).     

Structure of the ion-rich phase in DVB cross-linked graft-copolymer proton-exchange membranes

We report on correlations between the proton conductivity, the water swelling and the dry-state morphology of ETFE-g-poly(sulfonated styrene-co-DVB) proton-exchange membranes (PEMs). We focus on the influence of the systematically varied monomer composition. Especially, the impact of the DVB cross-linker on the ion-rich phase aggregated in the dry PEM is studied by small-angle X-ray scattering. A modified hard-sphere fluid model describing the ion-rich phase is applied to interpret the observed scattering function. We find hereby that the size and number density of the ion-rich domains decrease with increasing cross-link level. Consequently, the distance between the ion-rich domains is proportional to the cross-link level. The total volume fraction of water in the hydrated membrane is proportional to the overall volume fraction of the ion-rich phase, and the number of water molecules per ion-rich aggregate is inversely proportional to the level of cross-linking. We show that there is a clear correlation between the structure of the ion-rich phase formed in the dry state and the proton conductivity of the hydrated membrane: beyond a threshold, indicating the onset of percolation of the aqueous network, the conductivity is proportional to the hydration level and inversely proportional to the mean distance between the ion-rich domains.     

Effect of Welding Parameters and Aging Process on the Mechanical Properties of Friction Stir-Welded 6063-T4 Al Alloy

6063-T4 Al alloy was friction stir welded at various tool rotations (800, 1120, and 1600?rpm) and welding speeds (200 and 315?mm/min) using a specially manufactured tool with a height-adjustable and right-hand-threaded pin. The postweld aging process (at 185?°C for 7?h) was applied to a group of the welded plates. In this study, the effects of the welding parameters and the postweld aging treatment on the microstructural and mechanical properties of 6063-T4 Al alloy were studied. The maximum weld temperatures during the welding process were recorded, and the fracture surfaces of tensile specimens were examined using a scanning electron microscope. The homogeneous hardness profiles were obtained for all the weldings with no trace of softening regions. It was observed that the ultimate tensile strengths (UTS) increased slightly (on average by approx. 8%) and the percent elongations decreased (on average by approx. 33%) by the postweld aging treatment. The maximum bending forces (F _max) of all the welds were less than that of the base metal. It was observed that the F _max values increased after the postweld aging process at the welding speed of 315?mm/min and decreased at the welding speed of 200?mm/min.     

Polystyrene Containing Carbinolamine/Azomethine Potentially Useful as Antimicrobial Agent: Synthesis and Biological Evaluation

An investigation of antimicrobial properties of 12 novel modified polymer derived from the condensation reaction of (aminomethyl)polystyrene and four substitute salicylaldehyde (2-hydroxy benzaldehyde, 5-fluoro-2 hydroxy benzaldehyde, 5-fluoro-3-chloro-salicylaldehyde and 5-fluoro-3-methyl-salicylaldehyde) has been carried out and Cr(III) and Ni(II) complexes have been prepared. Modified polymers were characterized by magnetic susceptibility, elemental analyses, and spectral studies. The ¹H NMR and ¹³C NMR spectra analysis of the polymeric carbinolamine/azomethine were determined. In addition, surface morphology and composition were determined by SEM/EDX. Thermo gravimetric analyses of polymers were carried out in nitrogen atmosphere. Antibacterial activities of the polymers attached carbinolamine/azomethine and their complexes were studied by the well-diffusion method against Listeria monocytogenes 4b, Staphylococcus aureus, Escherichia coli, Salmonella typhi H, Brucella abortus, Staphylococcus epidermis sp., Micrococcus luteus, Shigella dysenteria type 10, Bacillus cereus, Pseudomonas putida and antifungal activity against Candida albicans.     

Mechanical flange forming in steel and copper foil

Flange forming is a process which is wide spread in macro range for blanks with thicknesses from less than 1?mm up to several millimeters. Flange formed geometries are used as preforms for threads but also as device to give guidance and contact face to bolts and axles in sheet metal. A great advantage of flange forming compared to other machining processes is low process cycle time combined with high material utilization. Thus, a reasonable repertoire of knowledge has been gained for flange forming in macro range. Due to ongoing miniaturization of today??s products, flange forming is an interesting process applicable in micro range as well whereas size effects do not generally allow transfer of process limits from macro to micro range. Therefore the maximum flaring ratio for flange forming in micro range for sheet metal foil of 10?C25???m for a stainless steel 1.4301 and Copper E-Cu58 is investigated and compared with results in macro range. It is shown that the maximum flaring ratio decreases with decreasing sheet metal thickness. The resulting flange heights of experiments are compared with theoretical estimations which show a good accordance.