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.
The complex tissue-specific physiology that is orchestrated from the nano- to the macroscale, in conjugation with the dynamic biophysical/biochemical stimuli underlying biological processes, has inspired the design of sophisticated hydrogels and nanoparticle systems exhibiting stimuli-responsive features. Recently, hydrogels and nanoparticles have been combined in advanced nanocomposite hybrid platforms expanding their range of biomedical applications. The ease and flexibility of attaining modular nanocomposite hydrogel constructs by selecting different classes of nanomaterials/hydrogels, or tuning nanoparticle-hydrogel physicochemical interactions widely expands the range of attainable properties to levels beyond those of traditional platforms. This review showcases the intrinsic ability of hybrid constructs to react to external or internal/physiological stimuli in the scope of developing sophisticated and intelligent systems with application-oriented features. Moreover, nanoparticle-hydrogel platforms are overviewed in the context of encoding stimuli-responsive cascades that recapitulate signaling interplays present in native biosystems. Collectively, recent breakthroughs in the design of stimuli-responsive nanocomposite hydrogels improve their potential for operating as advanced systems in different biomedical applications that benefit from tailored single or multi-responsiveness. 相似文献
A previously designed and developed 12-step total synthesis that includes [1,1′-biphenyl]-2-amine and carbazole intermediates and that ultimately produces the carbazole alkaloid carbazomycin G was exploited as a screening compound library with the goal of identifying potential lead compound(s) with cytotoxic effect. These compounds were investigated by using in-vitro tests involving the two human cell lines HL-60 and MOLM-13, which both model acute myeloid leukaemia (AML). The in-vitro biological test results were used together with the molecular structures of the various intermediates in a concise SAR analysis. Several of the intermediates revealed cytotoxicity (IC50<10−4 M), although the final natural product carbazomycin G did not reveal cytotoxicity versus the two said human cell lines. 相似文献
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. 相似文献
Handshake circuits form a special class of asynchronous circuits that has enabled the industrial exploitation of the asynchronous potential such as low power, low electromagnetic emission, and increased cryptographic security. In this paper we present a test solution for handshake circuits that brings synchronous test-quality to asynchronous circuits. We add a synchronous mode of operation to handshake circuits that allows full controllability and observability during test. This technique is demonstrated on some industrial examples and gives over 99% stuck-at fault coverage, using test-pattern generators developed for synchronous circuits. The paper describes how such a full-scan mode can be achieved, including an approach to minimize the number of dummy latches in case latches are used in the data path of the handshake circuit. 相似文献
This paper presents a simple alternative for an electronic ballast operating in self-sustained oscillating mode with dimming capability for fluorescent lamps. A simple modification in one of the gate drivers side circuit allows the lamp to dim without compromising the simplicity, reliability, and low cost which characterize the self-oscillating electronic ballast (SOEB). A qualitative analysis is presented to explain the behavior of the proposed self-oscillating electronic ballast with dimming feature. In addition, the stability and the key equations for the design are derived using the extended Nyquist criterion and describing function method. Experimental results from two 40-W electronic ballasts are presented to demonstrate the performance and to validate the analysis carried out. 相似文献