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.
Multimedia Tools and Applications - In many real-world classification problems there exist multiple subclasses (or clusters) within a class; in other words, the underlying data distribution is... 相似文献
In this work, ultra-low loss Li2MgTi0.7(Mg1/3Nb2/3)0.3O4 ceramics were successfully prepared via the conventional solid-state method. X-ray photoelectron spectroscopy (XPS), thermally stimulated depolarization current (TSDC) and bond energy were used to determine the distinction between intrinsic and extrinsic dielectric loss in (Mg1/3Nb2/3)4+ ions substituted ceramics. The addition of (Mg1/3Nb2/3)4+ ions enhances the bond energy in unit cell without changing the crystal structure of Li2MgTiO4, which results in high Q·f value as an intrinsic factor. The extrinsic factors such as porosity and grain size influence the dielectric loss at lower sintering temperature, while the oxygen vacancies play dominant role when the ceramics densified at 1400?°C. The Li2MgTi0.7(Mg1/3Nb2/3)0.3O4 ceramics sintered at 1400?°C can achieve an excellent combination of microwave dielectric properties: εr =?16.19, Q·f?=?160,000?GHz and τf =??3.14?ppm/°C. In addition, a certain amount of LiF can effectively lower the sintering temperature of the matrix, and the Li2MgTi0.7(Mg1/3Nb2/3)0.3O4-3?wt% LiF ceramics sintered at 1100?°C possess balanced properties with εr?=?16.32, Q·f?=?145,384?GHz and τf =??16.33?ppm/°C. 相似文献
Point centromeres, found in some ascomycete yeasts such Saccharomyces cerevisiae, are very different in structure from the centromeres of other eukaryotes. They are tiny and nonrepetitive and contain only two short conserved sequence motifs. Until recently, point centromeres were thought to have a single evolutionary origin, in the budding yeast family Saccharomycetaceae. Most yeasts outside this family have centromeres that are many kilobases in size. Some have centromeres consisting of a large inverted repeat sequence, others have centromeric clusters of retrotransposons, and a third group including Candida albicans has centromeres with no conserved sequence features. It was recently reported that Scheffersomyces stipitis has point centromeres with a strongly conserved 125-bp core sequence, which is unexpected because S. stipitis is only distantly related to the known point-centromere species. We show here that the 125-bp core sequence is actually part of the long terminal repeat (LTR) of the Ty5-like retrotransposon Tps5, which forms a cluster in the centromeric region of each S. stipitis chromosome. Thus, the LTR of a centromere-associated retrotransposon confers centromere-like mitotic stability when cloned into a plasmid. The centromeric regions of S. stipitis contain three types of Tps5 element (Tps5a, Tps5b, and Tps5c) and a noncoding nonautonomous large retrotransposon derivative. 相似文献
A novel dual-rotation bobbin tool friction stir welding (DBT-FSW) was developed, in which the upper shoulder (US) and lower shoulder (LS) have different rotational speeds. This process was tried to weld 3.2 mm thick aluminum-lithium alloy sheets. The metallographic analysis and torque measurement were carried out to characterize the weld formability. Experimental results show that compared to conventional bobbin tool friction stir welding, the DBT-FSW has an excellent process stability, and can produce the defect-free joints in a wider range of welding parameters. These can be attributed to the significant improvement of material flow caused by the formation of a staggered layer structure and the unbalanced force between the US and LS during the DBT-FSW process. 相似文献
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. 相似文献
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. 相似文献