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.

     

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.     

Pigeon perception and discrimination of rapidly changing texture stimuli

The perception and discrimination of rapidly changing texture stimuli by pigeons was examined in a target localization task. Five experienced pigeons were rewarded for finding and pecking at a randomly placed odd target block of small repeated elements embedded in a larger rectangular array of contrasting distractor elements. On dynamic color test trials, the color of the target, distractor, or both of these regions changed at rates of 100, 250, 500, or 1000 ms per frame. The number of colors appearing within such trials also varied. Pigeons performed well above chance in all test conditions, with target-associated changes producing the best discrimination. The results suggest: (a) global relational information can exclusively guide target localization behavior, (b) pigeons can perceptually group and segregate colored textured differences quite rapidly (< or = 100 ms), and (c) pigeons may possess automatic search control processes that can be captured by stimulus-driven changes in the display.     

Dantrolene inhibition of sarcoplasmic reticulum Ca2+ release by direct and specific action at skeletal muscle ryanodine receptors

The skeletal muscle relaxant dantrolene inhibits the release of Ca2+ from the sarcoplasmic reticulum during excitation-contraction coupling and suppresses the uncontrolled Ca2+ release that underlies the skeletal muscle pharmacogenetic disorder malignant hyperthermia; however, the molecular mechanism by which dantrolene selectively affects skeletal muscle Ca2+ regulation remains to be defined. Here we provide evidence of a high-affinity, monophasic inhibition by dantrolene of ryanodine receptor Ca2+ channel function in isolated sarcoplasmic reticulum vesicles prepared from malignant hyperthermia-susceptible and normal pig skeletal muscle. In media simulating resting myoplasm, dantrolene increased the half-time for 45Ca2+ release from both malignant hyperthermia and normal vesicles approximately 3.5-fold and inhibited sarcoplasmic reticulum vesicle [3H]ryanodine binding (Ki approximately 150 nM for both malignant hyperthermia and normal). Inhibition of vesicle [3H]ryanodine binding by dantrolene was associated with a decrease in the extent of activation by both calmodulin and Ca2+. Dantrolene also inhibited [3H]ryanodine binding to purified skeletal muscle ryanodine receptor protein reconstituted into liposomes. In contrast, cardiac sarcoplasmic reticulum vesicle 45Ca2+ release and [3H]ryanodine binding were unaffected by dantrolene. Together, these results demonstrate selective effects of dantrolene on skeletal muscle ryanodine receptors that are consistent with the actions of dantrolene in vivo and suggest a mechanism of action in which dantrolene may act directly at the skeletal muscle ryanodine receptor complex to limit its activation by calmodulin and Ca2+. The potential implications of these results for understanding how dantrolene and malignant hyperthermia mutations may affect the voltage-dependent activation of Ca2+ release in intact skeletal muscle are discussed.     

Anatomical suitability of abdominal aortic aneurysms for endovascular repair

BACKGROUND: Aortic aneurysm anatomy is crucial when considering patients for endovascular repair. The aim of this study was to determine the proportion of patients with aortic aneurysm suitable for endovascular repair with three different graft-stent systems. METHODS: Spiral computed tomographic angiography was used to assess the anatomy of 154 abdominal aortic aneurysms. Measurements were made of aneurysm neck length and diameter, renal artery to aortic bifurcation length, common iliac artery diameter and length, and external iliac artery diameter. Aneurysms were assessed for anatomical suitability for currently available aortoaortic, aortobi-iliac and aortouni-iliac devices. RESULTS: Six patients (4 per cent) had a distal aortic neck suitable for implantation of a straight aortic graft. Fifteen patients (10 per cent) had arterial anatomy suitable for implantation of a bifurcated graft and 85 (55 per cent) patients were suitable for endovascular repair with an aortouni-iliac graft. The primary reasons for unsuitability were: proximal neck length less than 1.5 cm (44 patients), proximal neck diameter greater than 3.0 cm (12), and angulation of the proximal neck (three). A further ten patients were considered unsuitable for an aortouni-iliac graft because of bilateral common iliac artery aneurysms (four), tortuous iliac arteries (four) and narrow external iliac arteries (two). CONCLUSION: The aortouni-iliac device has the widest applicability of the currently available endovascular systems but open repair remains the only option for a large proportion of patients.