UPR: deadlock-free dynamic network reconfiguration by exploiting channel dependency graph compatibility

The Journal of Supercomputing - Deadlock-free dynamic network reconfiguration process is usually studied from the routing algorithm restrictions and resource reservation perspective. The dynamic...     

Solar light-driven reduction of crystal violet by a composite of g-C3N4, β-Ag2Se, γ-Fe2O3 and graphite

Abstract

In this work, a new g-C₃N₄-based Z-scheme with γ-Fe₂O₃ and β-Ag₂Se both n-type semiconductors, and graphite to favor electron exchange is presented. The composite material was studied by XRD, FTIR, UV-Vis, TEM, XPS, TGA, DSC and TOF-SIMS, and the ability of this photocatalytic system to act as a photo-reductant was assessed using crystal violet (CV⁺) dye. Solar light driven photo-reduction of CV⁺ in the presence of tri-sodium citrate evidenced a synergistic enhancement of the activity of the composite toward reduction, with ～20 times higher conversion rates per unit of surface area than those of g-C₃N₄. Photo-oxidation experiments under Xe lamp irradiation in the presence of H₂O₂ also showed that the AgFeCN composite featured a higher activity (～8×) than g-C₃N₄. This Z-scheme may deserve further study as a photo-reductant to obtain hydrogen or hydrogenated compounds. Moreover, the use of CV⁺ may represent a facile procedure that can aid in the selection of new photocatalysts to be used in hydrogen production.     

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.     

Eu@C86 isomers: Calculated relative populations

Abstract

Relative populations of four energy-lowest IPR (isolated-pentagon-rule) isomers of Eu@C₈₆ are computed using the Gibbs energy based on characteristics from density functional theory calculations (M06-2X/3-21G?～?SDD entropy term, M06-2X/6-31G*～SDD or B2PLYP(D)/6-31G*～SDD energetics). The calculations confirm that the recently isolated Eu@C₁(7)-C₈₆ species is a major isomer in a relevant temperature region. Relationship to the empty C₈₆ cages is discussed, too.     

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.