Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$

International Journal on Software Tools for Technology Transfer - Current real-time embedded systems development frameworks lack support for the verification of properties using explicit time where...     

α-Alumina and spinel react into single-phase high-alumina spinel in <3 seconds during flash sintering

In situ X-ray diffraction measurements at the Advanced Photon Source show that α-Al₂O₃ and MgAl₂O₄ react nearly instantaneously and completely, and nearly completely to form single-phase high-alumina spinel during voltage-to-current type of flash sintering experiments. The initial sample was constituted from powders of α-Al₂O₃, MgAl₂O₄ spinel, and cubic 8 mol% Y₂O₃-stabilized ZrO₂ (8YSZ) mixed in equal volume fractions, the spinel to alumina molar ratio being 1:1.5. Specimen temperature was measured by thermal expansion of the platinum standard. These measurements correlated well with a black-body radiation model, using appropriate values for the emissivity of the constituents. Temperatures of 1600-1736°C were reached during the flash, which promoted the formation of alumina-rich spinel. In a second set of experiments, the flash was induced in a current-rate method where the current flowing through the specimen is controlled and increased at a constant rate. In these experiments, we observed the formation of two different compositions of spinel, MgO•3Al₂O₃ and MgO•1.5Al₂O₃, which evolved into a single composition of MgO•2.5Al₂O₃ as the current continued to increase. In summary, flash sintering is an expedient way to create single-phase, alumina-rich spinel.     

Stability of microencapsulated lactic acid bacteria under acidic and bile juice conditions

The probiotic strains Lactobacillus brevis CCMA1284 and Lactobacillus plantarum CCMA0359 were microencapsulated by spray drying using different matrices – whey powder (W), whey powder with inulin (WI) and whey powder with maltodextrin (WM). Viability of the microencapsulated strains in acid and bile juices and during 90 days of storage (seven and 25 °C) was evaluated. The two strains exhibited high encapsulation efficiency (> 86%) by spray drying. The different matrices maintained L. plantarum viability above six log CFU g⁻¹ at 7 °C for 90 days, whereas similar results for L. brevis were observed only for W. The use of inulin as matrix of encapsulation did not enhance bacterial viability in the evaluated conditions. In general, the use of W and WM as matrices was effective for L. plantarum viability. However, only W was effective for L. brevis in the evaluated conditions. The spray drying technique was successfully adopted for the encapsulation of L. plantarum CCMA0359 and L. brevis CCMA1284 strains.     

Prediction models for multiphase-flow-induced corrosion of API X80 steel in CO2/H2S environment

In the offshore oil and gas industry, mainly focusing on the use of rigid or flexible pipes of subsea infrastructure applied to risers or flowlines, one of the greatest difficulties is the interpretation of the combined effects of the various correlated phenomena (hydrodynamic effects of intermittent flow, the effects of corrosivity of the environment in addition to variations in pressure, temperature, and dynamic loading). On the basis of this scenario, defining the degree of severity of each of the correlated system variables becomes of fundamental importance for establishing reliable criteria for selecting materials for subsea application. The established flow pattern directly affects the corrosion rate (or the pipe material mass loss), but the balance of other variables including possible changes in the physical and transported fluid chemical properties may increase the damage up to an order of magnitude, which is a piece of information normally not foreseen in design criteria. Therefore, to improve the understanding of the corrosion study influenced by multiphase flow, a testing loop was designed and assembled at the Corrosion and Protection Laboratory of the Institute for Technological Research, in which API X80 steel coupons were positioned in locations with a 0° and 45° inclinations. Tests were conducted by varying the partial pressure of the gaseous phase containing blends of CO₂ and H₂S with N₂ balance, mixed with the liquid phase containing light oil and heavy oil in water with salinity (NaCl)-simulating oil well conditions with 80% water cut. The main objective of this study is to establish models that can predict the corrosion intensity in conditions close to those obtained experimentally. To achieve results, the multiple regression and Box–Cox transformation methods were applied. These models will make possible damage prediction and optimization of matrix parameters for the multiphase-loop test.     

A methodological approach to fully automated highly accelerated life tests

Microsystem Technologies - Highly accelerated life test (HALT) is a test methodology to evaluate reliability of mechanical and electromechanical devices. HALT is often used on devices that must be...     

Nanoporous microtubes obtained from a Cu-Ni metallic wire

Nanoporous microtubes of a nickel-copper alloy were obtained from a Cu-44Ni-1Mn (wt%) commercial wire (200 μm diameter). A new synthesis method was established through three steps: 1) partial oxidation of the wire at 1173 K in air, 2) removal of the inner unoxidized core by chemical etching, 3) reduction in 10 bar hydrogen atmosphere. During oxidation, the segregation of Cu and Ni occurred because of their different diffusion coefficients in the corresponding oxides. As a consequence, pores were formed by Kirkendall effect and due to selective chemical etching of the different oxides. Additional porosity formed because of volume contraction during reduction with hydrogen. After reduction, the microtube shows a composition gradient from the inner wall (almost pure nickel) to the outer wall (almost pure copper). The process allowed to obtain microtubes with tuneable wall thickness and inner pores around 180 ± 80 nm. The morphological features developed suggest improved capillarity properties for applications in MEMS.     

A distributed command governor based on graph colorability theory

In this paper, a distributed command governor (CG) strategy is introduced that, by the use of graph colorability theory, improves the scalability property and the performance of recently introduced distributed noncooperative sequential CG strategies. The latter are characterized by the fact that only 1 agent at a decision time is allowed to update its command, whereas all the others keep applying their previously computed commands. The scalability of these early CG distributed schemes and their performance are limited because the structure of the constraints is not taken into account in their implementation. Here, by exploiting the idea that agents that are not directly coupled by the constraints can simultaneously update their control actions, the agents in the network are grouped into particular subsets (turns). At each time instant, on the basis of a round‐robin policy, all agents belonging to a turn are allowed to update simultaneously their commands, whereas agents in other turns keep applying their previous commands. Then, a turn‐based distributed CG strategy is proposed and its main properties are analyzed. Graph colorability theory is used to determine the minimal number of turns and to distribute each agent in at least a turn. A novel graph colorability problem that allows one to maximize the frequency at which agents can update their commands is proposed and discussed. A final example is presented to illustrate the effectiveness of the proposed strategy.     

Silica nanoparticles functionalized with a thermochromic dye for textile applications

The aim of this work was the fabrication of mesoporous silica nanoparticles functionalized with thermochromic dye for further incorporation onto textiles. The nanosilicas were prepared under alkaline conditions in the presence of the surfactant hexadecyltrimethylammonium chloride and functionalized with the organosilane dimethyloctadecyl[3-(trimethoxysilyl)propyl]ammonium chloride (C18-NTMS). The dye was incorporated onto the mesoporous silica nanoparticles by two different methods: co-condensation and post-grafting, i.e. by adding the dye during or after the synthesis of the nanosilica, respectively. The morphology, particle and pore size, chemical composition, and textural properties of the silica nanoparticles were characterized by scanning electron microscopy (SEM), dynamic light scattering, N₂ adsorption isotherms at ?196 °C, Fourier transform infrared spectroscopy and thermogravimetry. The silica nanoparticles prepared with and without dye presented spherical shape (by SEM) and particle size ranging from 15 to 40 nm. The infrared spectra revealed the characteristic bands of silica and organosilane (in the cases where it was used). The prepared materials presented colour change when submitted to different conditions. The thermochromic dye-functionalized nanosilicas were efficiently immobilized into cotton fabric and tests were performed to verify the washing fastness. After washing, a slight decrease on the amount of silica was noticed, but much of it remained on the textile. The functionalized textiles presented a colour change within different conditions.