Phase locked loop-based clock synthesizer for reconfigurable analog-to-digital converters

Analog Integrated Circuits and Signal Processing - This paper presents the complete design of a phase locked loop-based clock synthesizer for reconfigurable analog-to-digital converters. The...     

Formalization of Ring Theory in PVS

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 CD40-CD154 system in anti-infective host defense

Research in the past few years has documented significant advances in our understanding of the CD40-CD40 ligand (CD154) system in diverse immune functions. This system influences many T cell mediated inflammatory immune responses and effector functions, unmasking a previously unexpected role for CD40-CD154 in cell mediated immunity. Manipulation of CD154 in animal models of infection by the use of CD154-deficient mice or anti-CD154 antibodies has shown the importance of this system in the initiation of the inflammatory response, in the activation of antigen-presenting cells and in resistance to infections.     

Massive transformation and absolute stability

Under carefully chosen conditions, solidification theory may be applied to solid-state transformations, and this has been done here for composition-invariant diffusion transformations. The predictions of the modeling are compared with isovelocity experiments in two iron systems, Fe-7.29 wt pct Cr and Fe-3.1 wt pct Ni. The ferrite to austenite phase transformation is used to demonstrate that stabilization of a planar transformation front at absolute stability is the natural lower velocity limit for a composition-invariant (massive) transformation. The results of the model, which includes nonequilibrium effects, clearly show that steady-state plane-front growth leading to composition invariance can be obtained at various temperatures depending on the growth velocity. In the lower velocity range, at the limit of absolute stability (of the order of 10 μm/s in the systems studied), the transformation interface moves under conditions of local equilibrium, and the temperature corresponds to the lower solvus temperature. At higher velocity (of the order of the interface diffusion rate, which in these systems is of the order of cm/s), the transformation is predicted to proceed at temperatures close to T ₀. At even higher rates, atom attachment kinetic undercooling will decrease the transformation temperature with respect to T ₀. In some cases, this temperature might even drop below the lower solvus. This article is based on a presentation made at the symposium entitled “The Mechanisms of the Massive Transformation,” a part of the Fall 2000 TMS Meeting held October 16–19, 2000, in St. Louis, Missouri, under the auspices of the ASM Phase Transformations Committee.     

The function of the reproductive system in x-ray-irradiated male rats after the transplantation of a culture of testicular cells from newborn piglets

The effect exerted by transplantation of the 5 day culture of testicles from newly born piglets on the hypogonadal state of mature X-ray irradiated (3 Gy) rats was studied. It has been found that a month after transplantation (two months after irradiation) the hypogonadal state disappeared for a while, which is confirmed by normalization of the weight of seminal vesicles, content of testosterone and biologically active lutropine, restoration of the reproductive function of rats. No significant changes in steroidogenesis activity have been found, which proves a substituent character of transplantation. The effect disappears three months later but certain restoration of the content of nucleic acids in the testicles is observed.     

Stochastic model for a wavelike exothermal reaction in condensed heterogeneous systems

The labile protons of two 32-base-pair, four-arm models of immobile Holliday junctions have been studied by two-dimensional 1H nuclear magnetic resonance (NMR) spectroscopy. Overlap of resonances in the imino-imino region of two-dimensional nuclear Overhauser enhancement (NOE) spectra necessitates the use of a multi-pathway approach for obtaining sequence-specific assignments wherein all possible NOE connectivities to the labile protons are utilized, including those from the 2H of adenine, 5CH3 of thymine, and 5H of cytosine. Resonance assignments are obtained for all slowly exchanging imino and cytosine amino protons. Base-pairing up to and including the junction point is found in all four arms of both Holliday junctions. Several cross-arm NOE connectivities are identified and can be used to infer the geometry of the helical stacking domains. The two Holliday junctions studied, which differ only by the exchange of two base pairs at the branch point, appear to have opposite arm stacking geometries. These assignments form an important part of the critical background for detailed NMR analysis of Holliday junction structure and dynamics.