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.

     

Regression of severe atherosclerotic plaque in patients with mild elevation of LDL cholesterol

BACKGROUND: Intensive risk factor reduction in patients with dyslipidemias and coronary atherosclerosis has been shown to result in alterations in coronary artery morphology and reduced clinical events. However, the impact of such interventions in populations with relatively normal levels of low-density lipoproteins (LDL) is unclear. METHODS: To test the hypothesis that intensive risk factor reduction results in angiographic regression in patients with only mildly elevated levels of LDL, 14 patients with angiographically proven coronary atherosclerosis were entered into the University of California Davis Coronary Artery Disease Regression Program and intensively treated with pharmacologic and nonpharmacologic interventions for 2 years. Quantitative angiography was performed prior to and after 2 years of therapy to determine changes in coronary artery diameter. RESULTS: As a result of this program, dietary fat intake was reduced by 58% and LDL fell from 120 +/- 7 mg/dL to 104 +/- 6 mg/dL (p = 0.05). The average diameter of the measured arterial locations (including all 53 stenoses and 292 nondiscrete regions) on study entry was 2.74 +/- 0.05 mm. After 24 months, there was a net increase in arterial diameter (regression) of +0.05 +/- 0.04 mm to 2.81 +/- 0.05 mm (p = 0.01). While there was no significant change in the average diameter of discrete stenoses, all 8 lesions > or = 50% initial diameter narrowing regressed, with a mean diameter change of + 0.2 mm. Conversely, only 1 of 8 mild lesions < or = 20% regressed, while 4 progressed. Intermediate lesions (20% to 50%, n = 37) had balanced progression and regression. CONCLUSIONS: When examined as a continuous variable, there was a significant linear correlation between initial lesion severity (% stenosis) and the extent of regression (mm). Therefore, risk factor reduction (dietary therapy, exercise, psycho-social counseling, and lipid lowering therapy) in patients with only mild dyslipidemia results in angiographic regression of more severe lesions (> 50% initial stenosis), but does not prevent progression of mild lesions (< 20%). These findings demonstrate that intensive risk factor reduction in patients with only mild elevation of lipids beneficially influences the morphology of the most severe lesions.     

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.     

Imaging of hippocampal and neocortical neural activity following intravenous cocaine administration in freely behaving cats

We examined spatial-temporal patterns of neural activity, as inferred from 700 nm light reflectance, from the dorsal hippocampus and surrounding neocortex in seven freely behaving cats following 1.5, 2.5, 3.5 and 5.0 mg/kg intravenous cocaine administration. Images were acquired using a new technique which gathered reflected light from cortical and subcortical structures. Cardiac and respiratory patterning, collected simultaneously with optical images, revealed increased rates and diminished variation after intravenous cocaine administration. Cocaine increased reflectance correlates of hippocampal neural activity in a dose-dependent fashion over a 120 min period, with a lengthening time-to-peak effect (22-76 min). The largest dose resulted in an initial decrease, followed by the greatest enhancement in neuronal activity. Correlates of neural activation in the neocortex displayed an inverse dose-response curve to that found in the hippocampus; the time-to-peak effect was shorter (6-43 min) and the maximal change was reduced. Regional patches and bands of activation occurred during the period of the cocaine response, and were more pronounced in the hippocampus than the neocortex. Procaine, administered in a similar dose, slightly increased neural activity for 10 min in both the hippocampus and neocortex, and elicited a small increase in respiration. Cocaine induces a pronounced enhancement of neural activation in the neocortex and dorsal hippocampus; the time course of activation in the hippocampus parallels an increased respiratory pattern and outlasts the neocortical response. We speculate that hippocampal activation may be related to the profound respiratory acceleration found in response to cocaine.