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.
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. 相似文献
In this study, we have proposed an automated classification approach to identify meaningful patterns in wind field data. Utilizing an extensive simulated wind database, we have demonstrated that the proposed approach can identify low‐level jets, near‐uniform profiles, and other patterns in a reliable manner. We have studied the dependence of these wind profile patterns on locations (eg, offshore vs onshore), seasons, and diurnal cycles. Furthermore, we have found that the probability distributions of some of the patterns depend on the underlying planetary boundary layer schemes in a significant way. The future potential of the proposed approach in wind resource assessment and, more generally, in mesoscale model parameterization improvement is touched upon in this paper. 相似文献
The qualitative properties of processed cheese (PC) fortified with different levels of asparagus powder (AP) (0.5%, 1% and 1.5% wt/wt) were evaluated during storage. AP decreased the pH and lipolysis indexes and increased the phenolic content, antioxidant activity and proteolysis of the processed cheeses. AP made the structure of the cheese more elastic, increased the rigidity and decreased the spreadability compared with the control sample, which corresponded to the results obtained using dynamic oscillatory rheometry. The results showed that AP as a rich source of bioactive components could be used for the fortification of processed cheeses. 相似文献
The fission yeast Schizosaccharomyces pombe is an important model organism for the study of fundamental questions in eukaryotic cell and molecular biology. A plethora of cellular processes are membrane associated and/or dependent on the proper functioning of cellular membranes. Phospholipids are not only the basic building blocks of cellular membranes; they also serve as precursors to numerous signaling molecules. In this review, we describe the biosynthetic pathways leading to major S. pombe phospholipids, how these pathways are regulated, and what is known about degradation and turnover of fission yeast phospholipids. This review also addresses the synthesis, regulation and the role of water-soluble phospholipid precursors. The last chapter of the review is devoted to the use of S. pombe for the biotechnological production of value-added lipid molecules. 相似文献