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.

     

An image encryption scheme based on precision limited chaotic system

Multimedia Tools and Applications - In recent years, various chaotic maps have been used for image encryption. However, most of these image encryption algorithms entail a lot of floating-point...     

D-limonene Inhibits Pentylenetetrazole-Induced Seizure via Adenosine A2A Receptor Modulation on GABAergic Neuronal Activity

Background: Epilepsy is a chronic neurological disorder characterized by the recurrence of seizures. One-third of patients with epilepsy may not respond to antiseizure drugs. Purpose: We aimed to examine whether D-limonene, a cyclic monoterpene, exhibited any antiseizure activity in the pentylenetetrazole (PTZ)-induced kindling mouse model and in vitro. Methods: PTZ kindling mouse model was established by administering PTZ (30 mg/kg) intraperitoneally to mice once every 48 h. We performed immunoblot blots, immunohistochemistry (IHC), and high-performance liquid chromatography (HPLC) analysis after the behavioral study. Results: An acute injection of PTZ (60 mg/kg) induced seizure in mice, while pretreatment with D-limonene inhibited PTZ-induced seizure. Repeated administration of PTZ (30 mg/kg) increased the seizure score gradually in mice, which was reduced in D-limonene (10 mg/kg)-pretreated group. In addition, D-limonene treatment increased glutamate decarboxylase-67 (GAD-67) expression in the hippocampus. Axonal sprouting of hippocampal neurons after kindling was inhibited by D-limonene pretreatment. Moreover, D-limonene reduced the expression levels of Neuronal PAS Domain Protein 4 (Npas4)-induced by PTZ. Furthermore, the adenosine A2A antagonist {"type":"entrez-protein","attrs":{"text":"SCH58261","term_id":"1052882304","term_text":"SCH58261"}}SCH58261 and ZM241385 inhibited anticonvulsant activity and gamma-aminobutyric acid (GABA)ergic neurotransmission-induced by D-limonene. Conclusion: These results suggest that D-limonene exhibits anticonvulsant activity through modulation of adenosine A2A receptors on GABAergic neuronal function.     

Bioinformatic characterization of the extracellular lipases from Kluyveromyces marxianus

Lipases are hydrolytic enzymes that break the ester bonds of triglycerides, generating free fatty acids and glycerol. Extracellular lipase activity has been reported for the nonconventional yeast Kluyveromyces marxianus, grown in olive oil as a substrate, and the presence of at least eight putative lipases has been detected in its genome. However, to date, there is no experimental evidence on the physiological role of the putative lipases nor their structural and catalytic properties. In this study, a bioinformatic analysis of the genes of the putative lipases from K. marxianus L-2029 was performed, particularly identifying and characterizing the extracellular expected enzymes, due to their biotechnological relevance. The amino acid sequence of 10 putative lipases, obtained by in silico translation, ranged between 389 and 773 amino acids. Two of the analysed putative proteins showed a signal peptide, 25 and 33 amino acids long for KmYJR107Wp and KmLIP3p, and a molecular weight of 44.53 and 58.23 kDa, respectively. The amino acid alignment of KmLIP3p and KmYJR107Wp with the crystallized lipases from a patatin and the YlLip2 lipase from Yarrowia lipolytica, respectively, revealed the presence of the hydrolase characteristic motifs. From the 3D models of putative extracellular K. marxianus L-2029 lipases, the conserved pentapeptide of each was determined, being GTSMG for KmLIP3p and GHSLG for KmYJR107Wp; besides, the genes of these two enzymes (LIP3 and YJR107W) are apparently regulated by oleate response elements. The phylogenetic analysis of all K. marxianus lipases revealed evolutionary affinities with lipases from abH15.03, abH23.01, and abH23.02 families.     

Tribological behaviour of a 3Y-TZP/Ta ceramic-metal biocomposite against ultrahigh molecular weight polyethylene (UHMWPE)

This study aims to evaluate the tribological behaviour of 3Y-TZP/Ta (20 vol%) ceramic-metal composites and 3Y-TZP monolithic ceramic prepared by spark plasma sintering (SPS) against ultrahigh molecular weight polyethylene (UHMWPE). According to the results of pin (UHMWPE)-on-flat wear test under dry conditions, the UHMWPE – 3Y-TZP/Ta system exhibited lower volume loss and friction coefficient than the UHMWPE – monolithic ceramic combination due to the presence of an autolubricating layer that provides sufficient lubrication for reducing the friction. Owing to the lubrication of the liquid media, under wet conditions obtained using simulated body fluid (SBF), similar behaviour is observed in both cases. Additionally, the ceramic and biocomposite materials were subjected to a low temperature degradation (LTD) process (often referred to as “ageing”) to evaluate the changes in the tribological behaviour after this treatment. In this particular case, the wear properties of the UHMWPE-biocomposite system were found to be less influenced by ageing in contrast to the case of the UHMWPE-zirconia monolithic material. In addition to their exceptional mechanical performance, 3Y-TZP/Ta composites also showed high resistance to low temperature degradation and good tribological properties, making them promising candidates for biomedical applications, especially for orthopaedic implants.     

Crosslinked quaternized poly(arylene ether sulfone) copolymer membrane applied in an electric double-layer capacitor for high energy density

The low energy density of supercapacitors, especially supercapacitors based on aqueous electrolytes, is the main factor limiting their application, and the energy density is closely related to the operating potential window of the supercapacitor. The polymer electrolyte is the main contributor to the safe operation and good ion conductivity of the supercapacitor. In this study, a crosslinked quaternized poly(arylene ether sulfone) (PAES) membrane was prepared via crosslinking during membrane formation with a thermal-only treatment and applied in an electric double-layer capacitor (EDLC). The pre-prepared PAES membrane formed a polymer electrolyte with 1 mol/L Li₂SO₄ and was then fabricated into an EDLC single cell. The properties of both the membrane and ELDC were investigated. The preferred cPAES-N-0.2 polymer electrolyte showed an ionic conductivity of 1.18 mS/cm. The optimized EDLC exhibited a single-electrode gravimetric capacitance of 104.92 F/g at a current density of 1.0 A/g and a high operating potential window (1.5 V); it, thereby, achieved a high energy density of 8.20 W h/kg. The EDLC also exhibited excellent cycling properties over 3000 charge–discharge cycles. The crosslinked structures promoted the tensile strength and thermal stability of the PAES membranes; this was accompanied by a slight decrease in the ionic conductivity. © 2019 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2019 , 136, 47759.