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

The multi-fuzzy N-soft set and its applications to decision-making

Neural Computing and Applications - The goal of this paper is to introduce a novel hybrid model called multi-fuzzy N-soft set, and to design an adjustable decision-making methodology for solving...     

Study on wax precipitation characteristics of wax deposit in pipes

Wax deposit properties are a significant concern in pipeline pigging during waxy crude oil transportation. In the present work, the impacts of flow conditions and oil properties on the wax precipitation characteristics of wax deposits are investigated. A flow loop apparatus was developed to conduct wax deposition experiments using four crude oils collected from different field pipes. The differential scanning calorimetry (DSC) technique was employed to observe the wax precipitation characteristics of crude oil and wax deposit. The results show that the wax content and the wax appearance temperature (WAT) of the deposits increase with shear stress and radial temperature gradient, and decrease with radial wax molecule concentration gradient near the pipe wall. The DSC tests on the wax deposits revealed that the deposit wax content is strongly correlated to the oil wax content. Furthermore, an empirical correlation was developed to predict the wax content and the WAT of the wax deposit. Verification of the empirical correlation using the different oils indicated that the average relative error of the wax content prediction and average absolute error of WAT prediction were 13.2% and 3.6°C, respectively.     

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

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.

     

General Decay Synchronization and H ∞ Synchronization of Multi-weighted Coupled Reaction-diffusion Neural Networks

This paper investigates the general decay synchronization and general decay H∞ synchronization problems of multi-weighted coupled reaction-diffusion     

Genes Identification,Molecular Docking and Dynamics Simulation Analysis of Laccases from Amylostereum areolatum Provides Molecular Basis of Laccase Bound to Lignin

An obligate mutualistic relationship exists between the fungus Amylostereum areolatum and woodwasp Sirex noctilio. The fungus digests lignin in the host pine, providing essential nutrients for the growing woodwasp larvae. However, the functional properties of this symbiosis are poorly described. In this study, we identified, cloned, and characterized 14 laccase genes from A. areolatum. These genes encoded proteins of 508 to 529 amino acids and contained three typical copper-oxidase domains, necessary to confer laccase activity. Besides, we performed molecular docking and dynamics simulation of the laccase proteins in complex with lignin compounds (monomers, dimers, trimers, and tetramers). AaLac2, AaLac3, AaLac6, AaLac8, and AaLac10 were found that had low binding energies with all lignin model compounds tested and three of them could maintain stability when binding to these compounds. Among these complexes, amino acid residues ALA, GLN, LEU, PHE, PRO, and SER were commonly present. Our study reveals the molecular basis of A. areolatum laccases interacting with lignin, which is essential for understanding how the fungus provides nutrients to S. noctilio. These findings might also provide guidance for the control of S. noctilio by informing the design of enzyme mutants that could reduce the efficiency of lignin degradation.