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 central nervous system (CNS) is the most complex structure in the body, consisting of multiple cell types with distinct morphology and function. Development of the neuronal circuit and its function rely on a continuous crosstalk between neurons and non-neural cells. It has been widely accepted that extracellular vesicles (EVs), mainly exosomes, are effective entities responsible for intercellular CNS communication. They contain membrane and cytoplasmic proteins, lipids, non-coding RNAs, microRNAs and mRNAs. Their cargo modulates gene and protein expression in recipient cells. Several lines of evidence indicate that EVs play a role in modifying signal transduction with subsequent physiological changes in neurogenesis, gliogenesis, synaptogenesis and network circuit formation and activity, as well as synaptic pruning and myelination. Several studies demonstrate that neural and non-neural EVs play an important role in physiological and pathological neurodevelopment. The present review discusses the role of EVs in various neurodevelopmental disorders and the prospects of using EVs as disease biomarkers and therapeutics. 相似文献
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. 相似文献
In order to improve the process effectiveness and joint quality, ultrasonic vibrations were integrated with friction stir lap welding. Effect of ultrasonic exertion on the process and joint quality of AA 6061-T6 were investigated. Upon ultrasonic exertion, joints owned larger effective lap width, shorter hooks and improved strength. Weld fracture mode changed from a ductile–brittle mixed mode to a more ductile mode while the fracture path shifted from lap interface to beyond the stir zone. Material flow and interface defects were characterised using lap welded dissimilar aluminium alloy joints. Ultrasonic vibration improved the material flow and reduced the interfacial defects. Variations in failure load of joints were found in accordance with the variations in material flow and interfacial defects. 相似文献
Nano crystalline pure and Mg doped ceriaparticles were synthesized by simple chemical co-precipitation method using cerium nitrate hexahydrate as a source material and magnesium nitrate as doping precursor at room temperature. The effect of doping were investigated by X-ray diffraction pattern(XRD), FT-Raman,fourier transform infrared spectroscopy(FTIR), Ultraviolet spectroscopy(UV), photoluminescence spectroscopy(PL), field emission scanning electron microscope(FESEM) and high resolution transmission electron microscopy with energy dispersive spectroscopy (HRTEM &EDS). The X-ray diffraction pattern and FT-Raman studies showed that the prepared samples were nano particulates with cubic fluorite structure. The XRD pattern analysis showed that the size of the particles ranged from 13 to 20?nm, however 4?wt% Mg doping results in reduction of particle size compared with other doping concentrations. The effects of Mg concentration on various structural parameters of the prepared samples were also determined. The slight blue shift observed upon doping in UV–Vis absorption region around 330–360nmrecorded for reduction in particle size. The FTIR unveils the presence of Metal oxygen bonds below 700?cm?1in the prepared samples. All samples showed a broad emission band at 430?nm with linearly increasing intensity with respect to dopant concentrations. The Spherical morphology with weak agglomeration was identified through FESEM and HRTEM analysis. The elemental analysis of Ce, O and Mg were confirmed through EDS analysis. 相似文献
Biological environments use ions in charge transport for information transmission. The properties of mixed electronic and ionic conductivity in organic materials make them ideal candidates to transduce physiological information into electronically processable signals. A device proven to be highly successful in measuring such information is the organic electrochemical transistor (OECT). Previous electrophysiological measurements performed using OECTs show superior signal-to-noise ratios than electrodes at low frequencies. Subsequent development has significantly improved critical performance parameters such as transconductance and response time. Here, interdigitated-electrode OECTs are fabricated on flexible substrates, with one such state-of-the-art device achieving a peak transconductance of 139 mS with a 138 µs response time. The devices are implemented into an array with interconnects suitable for micro-electrocorticographic application and eight architecture variations are compared. The two best-performing arrays are subject to the full electrophysiological spectrum using prerecorded signals. With frequency filtering, kHz-scale frequencies with 10 µV-scale voltages are resolved. This is supported by a novel quantification of the noise, which compares the gate voltage input and drain current output. These results demonstrate that high-performance OECTs can resolve the full electrophysiological spectrum and suggest that superior signal-to-noise ratios could be achieved in high frequency measurements of multiunit activity. 相似文献