Atomicity failure and the retrenchment atomicity pattern

The issues surrounding the question of atomicity, both in the past and nowadays, are briefly reviewed, and a picture of an ACID (atomic, consistent, isolated, durable) transaction as a refinement problem is presented. An example of a simple air traffic control system is introduced, and the discrepancies that can arise when read-only operations examine the state at atomic and finegrained levels are handled by retrenchment. Non-ACID timing aspects of the ATC example are also handled by retrenchment, and the treatment is generalised to yield the Retrenchment Atomicity Pattern. The utility of the pattern is confirmed against a number of different case studies. One is the Mondex Electronic Purse, its protocol treated as a conventional atomic transaction. Another is the recovery protocol of Mondex, viewed as a compensated transaction (leading to the view that compensated transactions in general fit the pattern). A final one comprises various unruly phenomena occurring in the implementations of software transactional memory systems, which can frequently display non-ACID behaviour. In all cases the Atomicity Pattern is seen to perform well.     

Instrumental variables for nonlinearity recovering in block-oriented systems driven by correlated signals

The goal of the paper is to identify the Hammerstein-type systems excited and disturbed by correlated random processes. The problem is semi-parametric in the sense that the nonlinear static characteristic is recovered without prior knowledge about the linear dynamic block, i.e. when its order is unknown. The method is based on the instrumental variables technique, with the instruments generated by input inverse filtering. It is proved that, in contrast to the least-squares-based approach, the proposed algorithm leads to an asymptotically unbiased, strongly consistent estimate. Constructive procedures of instrumental variables generation are given for some popular cases.     

Convective cooling optimization of a blade for a supercritical steam turbine

This paper discusses the problem of blade cooling system optimization connected with conjugate heat transfer (CHT) analysis for reliable thermal field prediction within a steam cooled component. Since the full CHT solution, which involves the main flow, blade material and the coolant flow domains is computationally expensive from the point of view of optimization process, it was decided to reduce the problem by fixing the boundary conditions at the blade surface and solving the task for the interior only (both solid material and coolant). Such assumption, on one hand, makes the problem computationally feasible, and on the other, provides more reliable thermal field prediction than it used to be with the empirical relationships.The analysis involves shape optimization of internal cooling passages within an airfoil. The cooling passages are modeled with a set of four Bezier splines joined together to compose a closed contour. Each passage is fed with cooling steam of constant parameters at the inlet. In the present study the airfoil profile is taken as aerodynamically optimal. The search problem is solved with evolutionary algorithm and the final configuration is to be found among the Pareto optimal cooling candidates.     

Carbon materials modified by plasma treatment as electrodes for supercapacitors

The carbon material was modified by RF plasma with various reactive gases: O₂, Ar and CO₂. Physicochemical properties of the final carbon products were characterized using different techniques such as gas adsorption method and XPS. Plasma modified materials enriched in oxygen functionalities were investigated as electrodes for supercapacitors in acidic medium. The electrochemical measurements have been carried out using cyclic voltammetry, galvanostatic charge/discharge and impedance spectroscopy. The electrochemical measurements have confirmed that capacity characteristics are closely connected with a type of plasma exposition. Modification processes have an influence on the kind and amount of surface functional groups in the carbon matrix. The moderate increase of capacity of carbon materials modified by plasma has been observed using symmetric two-electrode systems. Whereas investigations made in three-electrode system proved that the suitable selection of plasma modification parameters allows to obtain promising negative and positive electrode materials for supercapacitor application.     

Anti‐corrosion additive for concrete

The Building Research Institute in Warsaw has developed an organic concrete additive, known as Dikszopt, which is derived from tanning oak extract. Tests, mostly in the laboratory but some in application trials, show that it has a remarkable ability to protect reinforcing steel against corrosion, notably in carbonized concrete. It also appears to improve the consistency of the concrete mix and retard the setting time, as discussed in this article from the Institute.     

Calcium Ions Regulate K+ Uptake into Brain Mitochondria: The Evidence for a Novel Potassium Channel

The mitochondrial response to changes of cytosolic calcium concentration has a strong impact on neuronal cell metabolism and viability. We observed that Ca²⁺ additions to isolated rat brain mitochondria induced in potassium ion containing media a mitochondrial membrane potential depolarization and an accompanying increase of mitochondrial respiration. These Ca²⁺ effects can be blocked by iberiotoxin and charybdotoxin, well known inhibitors of large conductance potassium channel (BK_Ca channel). Furthermore, NS1619 – a BK_Ca channel opener – induced potassium ion–specific effects on brain mitochondria similar to those induced by Ca²⁺. These findings suggest the presence of a calcium-activated, large conductance potassium channel (sensitive to charybdotoxin and NS1619), which was confirmed by reconstitution of the mitochondrial inner membrane into planar lipid bilayers. The conductance of the reconstituted channel was 265 pS under gradient (50/450 mM KCl) conditions. Its reversal potential was equal to 50 mV, which proved that the examined channel was cation-selective. We also observed immunoreactivity of anti-β₄ subunit (of the BK_Ca channel) antibodies with ~26 kDa proteins of rat brain mitochondria. Immunohistochemical analysis confirmed the predominant occurrence of β₄ subunit in neuronal mitochondria. We hypothesize that the mitochondrial BK_Ca channel represents a calcium sensor, which can contribute to neuronal signal transduction and survival.     

Numerical modelling of radiative heat transfer in an internal indirect reforming-type SOFC

The present paper describes numerical modelling of the radiative heat transfer process in the module chamber of an internal indirect reforming-type SOFC. The ability to do internal reforming is one of the characteristics of high-temperature fuel cells, SOFC. As in any high-temperature system, radiative heat transfer is important. In this article, heat transfer between the fuel reformer surface and all other surfaces facing the reformer surfaces is modelled. Governing equations for radiative heat transfer are described using Hottel's zone method. The resulting radiation–conduction conjugate heat transfer problems are numerically solved with a combination of Gauss–Seidel and Newton–Raphson methods. The steam reforming reaction occurring inside the fuel reformer is described using Achenbach model. The obtained results indicate that, for the development of effective indirect internal reforming, the position of the reformer in the module chamber and emissivity of the surfaces of the reformer, cell and other elements in the SOFC module all play a key role.     

Structure and properties of 6061 + 26 mass% Si aluminum alloy produced via coupled rapid solidification and KOBO-extrusion of powder

Experiments on mechanical consolidation of rapidly solidified (RS) powder of 6061 + 26 mass% Si alloy were performed using the oscillating-die extrusion method. The RS powder was wrapped in thin-wall 6061-alloy cup 35 mm in diameter and vacuum-compressed by means of 100 ton press. Bars 8 mm in diameter were extruded with cross-section reduction of λ = 19 without any preheating of the charge. Tubes with a diameter/wall thickness of 14 mm/1 mm and cross-section reduction of λ = 33 were also manufactured with success. TEM/STEM observations revealed a very fine structure of as-extruded material and bimodal distribution of quasi-spherical silicon particles. Statistical analysis revealed a silicon fine fraction of 0.1–0.7 μm and a coarse fraction 2.1–2.5 μm in diameter. Examination by means of TEM did not reveal any significant changes in the morphology of the silicon particles, even when a high extrusion ratio and the material annealing after deformation were used. Hot compression tests on as-extruded rods (λ = 19) and preliminary annealed samples were performed at a constant true strain rate of 5 × 10^?3 s^?1 within the temperature range of 293–823 K. High strength of the material and relatively high ductility of samples deformed by compression up to ?_t ? 0.4 were observed. The maximum flow stress value for as-extruded material was reduced with deformation temperature from ～390 to ～3.5 MPa for 293 and 823 K, respectively. Annealing of the samples at 773 K/30 min was found to reduce the maximum flow stress by 30–40%. Tensile strengths of similar as-cast alloys and materials manufactured by means of other powder metallurgy methods were shown for the purpose of comparison.     

Wetting Behavior and Reactivity of Molten Silicon with h-BN Substrate at Ultrahigh Temperatures up to 1750 °C

For a successful implementation of newly proposed silicon-based latent heat thermal energy storage systems, proper ceramic materials that could withstand a contact heating with molten silicon at temperatures much higher than its melting point need to be developed. In this regard, a non-wetting behavior and low reactivity are the main criteria determining the applicability of ceramic as a potential crucible material for long-term ultrahigh temperature contact with molten silicon. In this work, the wetting of hexagonal boron nitride (h-BN) by molten silicon was examined for the first time at temperatures up to 1750 °C. For this purpose, the sessile drop technique combined with contact heating procedure under static argon was used. The reactivity in Si/h-BN system under proposed conditions was evaluated by SEM/EDS examinations of the solidified couple. It was demonstrated that increase in temperature improves wetting, and consequently, non-wetting-to-wetting transition takes place at around 1650 °C. The contact angle of 90° ± 5° is maintained at temperatures up to 1750 °C. The results of structural characterization supported by a thermodynamic modeling indicate that the wetting behavior of the Si/h-BN couple during heating to and cooling from ultrahigh temperature of 1750 °C is mainly controlled by the substrate dissolution/reprecipitation mechanism.     

Nafion‐115/aromatic poly(etherimide) with isopropylidene groups/imidazole membranes for polymer fuel cells

Proton exchange membrane fuel cells (PEMFCs) with Pt/C gas diffusion electrodes and graphite single‐serpentine monopolar plates were constructed based on an aromatic poly(etherimide) with isopropylidene groups (PI)/imidazole (Im) and a popular Nafion‐115 matrix. The electrochemical properties of PEMFCs were tested at 25 and 60°C. The maximum power density of 171 mW/cm² and the maximum current density of 484 mA/cm² were detected for Nafion‐115/PI membrane. For both constructed PEMFCs the efficiency at 0.6 V was found about 41%. Immersion of Nafion‐115 in PI or PI/Im increased the thermal stability and mechanical properties of membranes. Thermal, mechanical properties and morphology of membranes were characterized by TGA, and AFM techniques including force spectroscopy. Interactions between the components in composite membranes were established by FT‐IR. © 2015 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2015 , 132, 42436.