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.

     

Gonadal steroids have paradoxical effects on brain oxytocin receptors

Specific brain receptors for oxytocin have been described in several mammalian species. The distribution of these receptors differs greatly across species and in the rat, receptor binding in specific brain regions appears to depend upon gonadal steroids. This study used in vitro receptor autoradiography to examine the effects of testosterone on oxytocin receptor binding in the mouse forebrain. Three groups of male mice were compared: castrates treated with blank capsules, castrates treated with testosterone filled capsules, and intact males. Irrespective of steroid treatment, the distribution of oxytocin receptors in mouse forebrain differed markedly from patterns previously described in the rat. In addition to these species differences in receptor distribution, testosterone had effects in the mouse which differed from the induction of receptors previously reported in the rat. In the mouse ventromedial nucleus of the hypothalamus, binding in the untreated castrate males was approximately double that observed in either the intact or the testosterone-treated castrates. In other regions of the mouse brain, such as the intermediate zone of the lateral septum, binding to oxytocin receptors was increased with testosterone treatment. These results suggest that the brain oxytocin receptor varies across species not only in its distribution but also in its regional regulation by gonadal steroids. These apparently paradoxical changes in oxytocin receptor binding may result from either direct or indirect effects of gonadal steroids in mouse brain.     

Molecular mechanisms in the control of limb regeneration: the role of homeobox genes

The Ca2+ sensitivity of cardiac myofibrillar force production can be decreased by acidosis or inorganic phosphate (P(i)) and increased by caffeine. To investigate whether the source of tissue influences the potency of these agents, we compared the actions of acidosis (change of pH from 7.0 to 6.2), P(i) and caffeine (both 20 mM) on force production of skinned cardiac muscles from adult ventricle, adult atrium and neonate ventricle of the rat. Maximum Ca(2+)-activated force was reduced by all three interventions and the responses of the different muscle types to a given intervention were similar. Acidosis reduced myofibrillar Ca2+ sensitivity by 1.09 and 1.04 pCa units in adult ventricle and atrium, respectively, and P(i) reduced it by 0.19 and 0.22 pCa units. However, each effect was only one-third as great in the neonate ventricle, which showed falls of 0.33 pCa units for acidosis and 0.06 for P(i). In contrast, caffeine raised the Ca2+ sensitivity by the same amount (approximately 0.4 pCa units) in all three muscle types. The differential effect between adult and neonate seen with both acidosis and P(i) suggests some similarity in the mechanisms by which these factors decrease Ca2+ sensitivity. In contrast, the equal effects of caffeine on neonate and adult suggests that caffeine acts by a completely different mechanism. The lower pH- and P(i)-sensitivity of the neonatal ventricle can help to explain why neonatal and adult myocardium exhibit differential force responses to ischaemia (or hypoxia alone).     

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.