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.
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 association between obesity, cancer and cardiovascular disease (CVD) has been demonstrated in animal and epidemiological studies. However, the specific role of visceral obesity on cancer and CVD remains unclear. Visceral adipose tissue (VAT) is a complex and metabolically active tissue, that can produce different adipokines and hormones, responsible for endocrine-metabolic comorbidities. This review explores the potential mechanisms related to VAT that may also be involved in cancer and CVD. In addition, we discuss the shared pharmacological treatments which may reduce the risk of both diseases. This review highlights that chronic inflammation, molecular aspects, metabolic syndrome, secretion of hormones and adiponectin associated to VAT may have synergistic effects and should be further studied in relation to cancer and CVD. Reductions in abdominal and visceral adiposity improve insulin sensitivity, lipid profile and cytokines, which consequently reduce the risk of CVD and some cancers. Several medications have shown to reduce visceral and/or subcutaneous fat. Further research is needed to investigate the pathophysiological mechanisms by which visceral obesity may cause both cancer and CVD. The role of visceral fat in cancer and CVD is an important area to advance. Public health policies to increase public awareness about VAT’s role and ways to manage or prevent it are needed. 相似文献
In this study, the influence of sonication time on the biogenic amines formation as a critical point in uncured dry-fermented beef manufacturing was studied. Samples of musculus semimembranosus were sonicated at different times (5 and 10 min) using ultrasound cold bath (4 °C) in acid whey (US 40 kHz and acoustic power 480 W). The effect of sonication on biogenic amine (BA) formation was investigated during 93 days of ripening period. Other parameters (pH value, water activity, microbial counts) that might provide further information on the product under study were also determined. The use of ultrasound during beef marinating in acid whey has a positive effect on retarding histamine (HIS), cadaverine (CAD), tyramine (TYR) and putrescine (PUT) formation. Moreover, the sonication treatment did not inhibit the growth of lactic acid bacteria (LAB) in dry-fermented beef during the whole ripening period. The pathogen bacteria (Staphylococcus aureus, Clostridium sp., Listeria monocytogenes) were not detected in all samples neither after 31 nor after 93 days of ripening period. 相似文献
Vivianite, a blue pigment employed in the past practically only in Northern and Central Europe, but with very limited use, was identified in an early sixteenth century painting, stylistically with Flemish features, from a church in Portugal. The identification of this iron phosphate mineral was made by SEM‐EDS based on the atomic ratio between phosphorus and iron in layers of blue paint (area analysis) and in particles of these same layers (spot analysis). This painting, about which there is no document to prove its authorship, becomes the first case, known in detail, of a sixteenth century painting containing vivianite. Moreover, this find and the presence of a chalk ground, also identified, strongly support the hypothesis of being a Flemish painting. 相似文献