Hierarchical micro-nanostructured albite-based glass-ceramic for high dielectric strength insulators

A novel glass-ceramic material based on albite type Na-rich feldspar has been synthesized by conventional ceramic process. High crystallinity, >94%?Vol.% is obtained by fast sintering which allows energy saving processing. Albite is the main crystalline phase and tetragonal SiO₂ is a secondary phase. Electrical properties were examined by complex impedance, DC measurements, and dielectric breakdown test. Dielectric characterization shows a non-Debye type dielectric behavior with low dielectric constant, 4.6 at 1?MHz, low dielectric losses, (～10^?3 at 1?MHz, and a large dielectric strength, ～60?kV/mm), that it is the largest value reported in ceramic insulators. Those dielectric properties are attained by the low glassy phase content in the samples and their unique micro-nanostructure. All these properties make this novel material a very promising candidate in the market of ceramic electrical insulator, highlighting for high-voltage applications.     

Alloy optimisation of bainitic steel for large plastic mould

Based on the phase transformation theories, especially the T₀ concept of bainite transformation, alloy optimisation of bainitic steel with carbides has been carried out aiming at the produce of plastic mould with large cross-section. The effect of manganese and silicon on proeutectoid ferrite and bainite transformation is explored by dilatometric analysis, XRD and different microscopy techniques. The results show that after the alloy optimisation, the transformation of proeutectoid ferrite is suppressed and when the cooling rate is lower than 0·1°C?s^??1, the new lower bainite transformation appears by decreasing carbon capacity of austenite and promoting carbide precipitation. Industrial production proves that the optimised alloy SDP1 can meet the demand for the plastic mould with the thickness of 1050?mm.     

Design and evaluation of a mobile smart home interactive system with elderly users in Brazil

Personal and Ubiquitous Computing - This article presents a study concerning the evaluation of a smart home control system for elderly people with a sample of 10 users in a city in the interior of...     

Inferring kinetic dissolution of NaCl in aqueous glycol solution using a low-cost apparatus and population balance model

An experimental methodology for inferring brine dissolution rate in monoethylene glycol (MEG) solutions at different temperatures using a webcam combined with a mathematical model is presented. The measurement system is designed to track the RGB (red, green, and blue) colour variations during the dissolution process. A dynamic model augmented with the population balance equation is applied to describe the dissolution process. Moreover, the dissolution rate is consistently related to the temperature and MEG concentration through the driving force based on the Gibbs energy and chemical affinity. The applied low-cost measurement apparatus proved to be a useful resource for tracking the dissolution dynamics in a wide range of undersaturation.     

Formalization of Ring Theory in PVS

This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.