Biodegradation of poly(lactic acid)—cassava bagasse composites produced by injection molding

Neat poly (lactic acid) (PLA) and PLA/cassava bagasse (CB) composites were used to produce seedling tubes by extrusion and injection molding. The tubes were buried in simulated soil, and their biodegradation was investigated by weight loss, scanning electron microscopy (SEM), and Fourier transform infrared spectroscopy (FTIR). After 180 days, the composites' biodegradation was higher than neat PLA material, and the higher the CB content, the higher the biodegradation, which caused fissures and voids in the material. The biodegradation of PLA/CB composites increased the phosphorus content in the soil after 180 days. Composites of PLA with CB, an abundant agro-industrial residue in Brazil, are promising because they can reduce the environmental impact due to CB's proper destination, and the composites' costs and biodegradation are faster than pure PLA material. Both the faster biodegradation of the tube and the higher P content are advantageous for seedling tubes.     

Polyetherimide-LaNi5 composite films for hydrogen storage applications

This study investigates the preparation of polyetherimide (PEI) – LaNi₅ composites films for hydrogen storage. Prior to the polymer addition, LaNi₅ was ball-milled at different conditions (250, 350, and 450 RPM) and annealed at 500 °C for 1 h under vacuum. The composites were produced with BM-LaNi₅-350 (PEI/LaNi₅-350) and annealed BM-LaNi₅-350 (PEI/LaNi₅-350-TT). Membranes were successfully produced through solvent casting assisted by an ultrasonic bath. The particles dispersion and the film morphology did not change after hydrogenation cycles. In the H₂ sorption experiments at 43 °C and 20 bar, the films stored H₂ without incubation time; both samples reached a capacity of ~0.6 wt%. The H₂ sorption kinetics of PEI/LaNi₅-350 was comparable to that of BM-LaNi₅-350, whereas PEI/LaNi₅-350-TT presented significantly slower kinetics. LaNi₅ oxidation was hindered by PEI, showing that it can be explored to improve metal hydrides air resistance. The results demonstrated that PEI films filled with LaNi₅ are promising materials for hydrogen storage.     

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.