The KlaperSuite framework for model-driven reliability analysis of component-based systems

Automatic prediction tools play a key role in enabling the application of non-functional requirements analysis, to simplify the selection and the assembly of components for component-based software systems, and in reducing the need for strong mathematical skills for software designers. By exploiting the paradigm of Model-Driven Engineering (MDE), it is possible to automatically transform design models into analytical models, thus enabling formal property verification. MDE is the core paradigm of the KlaperSuite framework presented in this paper, which exploits the KLAPER pivot language to fill the gap between design and analysis of component-based systems for reliability properties. KlaperSuite is a family of tools empowering designers with the ability to capture and analyze quality of service views of their systems, by building a one-click bridge towards a number of established verification instruments. In this article, we concentrate on the reliability-prediction capabilities of KlaperSuite and we evaluate them with respect to several case studies from literature and industry.     

Time-Temperature-Transformation Curves for Kaolinite-α-Alumina

The C-shaped time-temperature-transformation curves (T-T-T curves) of cristobalite formation and the L-shaped T-T-T curves of α-alumina reaction were established for a high-purity kaolinite-α-alumina mixture during heating. The results revealed that cristobalite formation in kaolinite was retarded by the presence of α-alumina between 1250° and 1350°C and was totally prohibited above 1380°C due to the reaction of kaolinite with α-alumina to form secondary mullite. The reaction of α-alumina with kaolinite was initiated at about 1250°C. It became quite extensive above 1380°C and was extremely fast at 1600°C and above, indicating the strong effect of the eutectic liquid formation at ∼1587°C in silica-alumina. The effectiveness of the established T-T-T curves was demonstrated and discussed.     

New sesquiterpenes fromMaytenus species (Celastraceae). Taxonomic and chemotaxonomic considerations concerning chileanMaytenus

Three new dihydro--agarofuran sesquiterpenes from two species ofMaytenus were isolated and their structures were elucidated by means of¹H and¹³C NMR studies. The differences and similarities noted in the chemical content of the dihydro--agarofuran sesquiterpenes from the fourMaytenus species from Chile are in line with the taxonomic characterization of these species; their geographical distribution is also given.     

Thermodynamic Modeling of Alkali Metal Oxide-Silica Binary Melts

The evaluation of the thermodynamic properties as well as the phase diagrams for the binary Na₂O–SiO₂, K₂O–SiO₂, and Li₂O–SiO₂ systems are carried out with a structural model for silicate melts and glasses. This thermodynamic model is based on the assumption that each metallic oxide produces the depolymerization reaction of silica network with a characteristic free-energy change. A least squares optimization program permits all available thermodynamic and phase diagram data to be optimized simultaneously. In this manner, data for these binary systems have been analyzed and represented with a small number of parameters. The resulting equations represent the thermodynamic and phase diagram data for these alkali metal oxide–silica systems within experimental error limits. In particular, the measured limiting liquidus slope at     is well reproduced.     

Solid/liquid extraction and isolation by molecular distillation of hydroxytyrosol from Olea europaea L. leaves

Molecular distillation, or short‐path distillation (SPD), is particularly appropriate for processing of low‐volatility compounds, which are easily altered at high temperature. Olea europaea L. leaves constitute an olive tree by‐product very interesting for their natural antioxidants content. In this research, molecular distillation technology has been applied to obtain high‐value‐added compounds by the SPD fractionation of an olive tree leaf extract. The process consists of two stages: (a) ethanolic extraction of the olive leaves, followed by incorporation of the extract into glycerine and (b) molecular distillation of the glycerine enriched in olive leaf extract compounds (terpenic and phenolic compounds). Four molecular distillation tests under different conditions were carried out. Results showed that 80.9% 3,4‐dihydroxy‐phenylethanol (hydroxytyrosol) was recovered from the glycerine admixture under a pressure of 1.50–2.00 mbar, a temperature of 190 °C and a feed rate of 15 mL/min.     

Synthesis of nanodispersed oxides of vanadium, titanium, molybdenum, and tungsten on mesoporous silica using atomic layer deposition

The advantages of the atomic layer deposition (ALD) method for preparation of tungsten, vanadium, titanium, and molybdenum oxide catalyst supported on mesoporous silica are discussed, with emphasis on the importance of synthesis conditions on dispersion, structure and activity of the resulting materials. A suite of complementary techniques such as DRS-UV/Vis, BET, ¹H-NMR, XRD, and TEM were used to study the structural properties of the supported metal oxides, and probe reactions such as 2-butanol dehydration and ethanol partial oxidation were used to demonstrate the potential advantages of the ALD-prepared catalysts. Specifically, highly dispersed oxides of titanium, molybdenum, and tungsten oxide on mesoporous silica were synthesized using the ALD method. It is also demonstrated that attainment of high dispersions of vanadium oxide on mesoporous silica requires the presence of at least a single layer of titanium oxide due to the well-known poor interaction between vanadia and silica. The highly dispersed catalysts prepared here by ALD methods exhibited superior catalytic performance relative to those prepared using conventional incipient wetness impregnation.     

Twin-image suppression in digital in-line holography based on wave-front filtering

Pattern Analysis and Applications - Digital holography is an imaging process able to recreate three-dimensional representations of objects from recording pattern interference among distinct waves....     

How the risk of failure in lifetime of tempered glass depends on the size of NiS inclusions and heat soak test duration

The probability of breakage in service lifetime of heat-tempered glass panes contaminated by nickel sulfide inclusions is estimated with a multiscale micromechanically motivated statistical theory, which considers the effects of the heat soak test (HST). Short and long HSTs differently affect the phase transformation of NiS of diverse chemical composition, whose increase in volume can break the glass. The main hypothesis, corroborated by experiments, is that there is a lower limit for the size of NiS stones below which no crack can be initiated from the volumetric expansion. The catastrophic propagation of nucleated fractures in the long term is modeled through a rescaled critical stress intensity factor, which accounts for the subcritical crack propagation and the slow phase transformation of NiS. A parametric analysis evidences how the failure probability is strongly affected by these parameters, depending on the holding time in the HST. Tailored experimental activity is suggested for the proper calibration of the model.     

Mid‐infrared spectroscopy as a tool for real‐time monitoring of ethanol absorption in glycols

Fast, simple, accurate, and inexpensive methods for obtaining analyte concentration data are desirable in the industrial sector. In the present study, the use of Fourier transform mid‐infrared (FT‐MIR) spectroscopy, combined with partial least squares (PLS) regression, was investigated as a tool for real‐time monitoring of processes of ethanol absorption in glycols. Calibration was performed using simple synthetic samples containing ethanol, water, and monoethylene glycol (MEG) or diethylene glycol (DEG). The PLS models presented excellent performance, with correlation coefficients (R²) close to unity and root‐mean‐square errors of cross‐validation (RMSECV) and prediction (RMSEP) lower than 2% of the calibration data ranges for both analytes (ethanol and water) in both absorbents (MEG and DEG). The monitoring technique developed has potential to be applied in absorption processes and could also be used in other large‐scale unit operations, providing information in real time and enhancing process control.     

Mechanochemical tuning of molecular weight distribution of styrene homopolymers as postpolymerization modification in solvent-free solid-state

Mechanochemical degradation by planetary ball milling (PM) is used for postpolymerization modification of styrene homopolymers (PS). A complete factorial design was chosen to study the effect of radical scavengers, milling time, initial molecular weight, and revolution radius (R_p), on the shape of molecular weight distributions (MWDs) of PS. Size-exclusion chromatography analysis shows the feasibility of fine-tuning MWD of PS at up to 40% conversion. Distributions ranged from unimodal to bimodal in a PM with R_p = 150 mm at different stage of milling, whereas in a PM with R_p of 60.8 mm the adjustment of unimodal distributions is achieved. Initial polydispersity is more important to develop bimodal distributions when compared with initial molecular weight. Fourier transform infrared and X-ray electron spectrometry analysis show some suppression of PS degradation and complete oxidation inhibition of macromolecular radicals with the incorporation of radical scavengers, which we considered as additional aids when adjusting the MWDs.