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...     

Distributed learning consensus control based on neural networks for heterogeneous nonlinear multiagent systems

This paper considers a novel distributed iterative learning consensus control algorithm based on neural networks for the control of heterogeneous nonlinear multiagent systems. The system's unknown nonlinear function is approximated by suitable neural networks; the approximation error is countered by a robust term in the control. Two types of control algorithms, both of which utilize distributed learning laws, are provided to achieve consensus. In the provided control algorithms, the desired reference is considered to be an unknown factor and then estimated using the associated learning laws. The consensus convergence is proven by the composite energy function method. A numerical simulation is ultimately presented to demonstrate the efficacy of the proposed control schemes.     

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.     

Electrocatalytic Reduction of CO2 to Ethylene by Molecular Cu‐Complex Immobilized on Graphitized Mesoporous Carbon

The electrochemical reduction of carbon dioxide (CO₂) to hydrocarbons is a challenging task because of the issues in controlling the efficiency and selectivity of the products. Among the various transition metals, copper has attracted attention as it yields more reduced and C2 products even while using mononuclear copper center as catalysts. In addition, it is found that reversible formation of copper nanoparticle acts as the real catalytically active site for the conversion of CO₂ to reduced products. Here, it is demonstrated that the dinuclear molecular copper complex immobilized over graphitized mesoporous carbon can act as catalysts for the conversion of CO₂ to hydrocarbons (methane and ethylene) up to 60%. Interestingly, high selectivity toward C2 product (40% faradaic efficiency) is achieved by a molecular complex based hybrid material from CO₂ in 0.1 m KCl. In addition, the role of local pH, porous structure, and carbon support in limiting the mass transport to achieve the highly reduced products is demonstrated. Although the spectroscopic analysis of the catalysts exhibits molecular nature of the complex after 2 h bulk electrolysis, morphological study reveals that the newly generated copper cluster is the real active site during the catalytic reactions.     

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.

     

A facile method for preparation of PGS@ZB‐N and gas‐sol alternating synergistic effect for fire resistance of EVA

Through the simple precipitation of palygorskite (PGS) by zinc borate (ZB) (to make PGS@ZB) and the decoration of PGS@ZB by dodecylamine (N), a novel organic‐inorganic@inorganic hybrid flame retardant of PGS@ZB‐N was prepared and was incorporated with ethylene vinyl acetate copolymer (EVA) to improve its flame retardance. The structure and morphology of PGS@ZB‐N were characterized by Fourier transform infrared (FTIR) spectroscopy, X‐ray diffraction (XRD), and scanning electron microscopy (SEM), and it was confirmed that the PGS@ZB‐N hybrid had been successfully prepared. The flame retardancy and burning behavior of EVA/PGS@ZB‐N/EG (EG = expandable graphite) composite were studied through thermogravimetric analysis (TGA), limiting oxygen index (LOI), UL‐94 (by the vertical burning test), and cone calorimeter test (CCT) characterizations. The prepared EVA/PGS@ZB‐N/EG composite obtained an LOI value of 41.2% with the addition of 30 wt% PGS@ZB‐N/EG. It was found that EVA/PGS@ZB‐N/EG was protected through a gas phase and condensed phase alternating synergistic effect mechanism.