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.     

Androgen-dependent protein interactions within an intron 1 regulatory region of the 20-kDa protein gene

The 20-kDa protein gene is androgen regulated in rat ventral prostate. Intron 1 contains a 130-base pair complex response element (D2) that binds androgen (AR) and glucocorticoid receptor (GR) but transactivates only with AR in transient cotransfection assays in CV1 cells using the reporter vector D2-tkCAT. To better understand the function of this androgen-responsive unit, nuclear protein interactions with D2 were analyzed by DNase I footprinting in ventral prostate nuclei of intact or castrated rats and in vitro with ventral prostate nuclear protein extracts from intact, castrated, and testosterone-treated castrated rats. Multiple androgen-dependent protected regions and hypersensitive sites were identified in the D2 region with both methods. Mobility shift assays with 32P-labeled oligonucleotides spanning D2 revealed specific interactions with ventral prostate nuclear proteins. Four of the D2-protein complexes decreased in intensity within 24 h of castration. UV cross-linking of the androgen-dependent DNA binding proteins identified protein complexes of approximately 140 and 55 kDa. The results demonstrate androgen-dependent nuclear protein-DNA interactions within the complex androgen response element D2.     

Long-term effect of lisinopril and atenolol on kidney function in hypertensive NIDDM subjects with diabetic nephropathy

The aim of our study was to evaluate whether inhibition of ACE (lisinopril 10-20 mg/day) can reduce the rate of decline in kidney function more than reducing blood pressure with conventional antihypertensive treatment (atenolol 50-100 mg/day), usually in combination with a diuretic. We performed a prospective, randomized, parallel study for 42 months, double blind for the first 12 months and single blind thereafter. Forty-three (21 lisinopril and 22 atenolol) hypertensive NIDDM patients with diabetic nephropathy were enrolled. Data from 36 patients (17 lisinopril and 19 atenolol, 60 +/- 7 years of age, 27 men) who completed at least 12 months of the study period are presented. At baseline, the two groups were comparable: glomerular filtration rate (51Cr-EDTA plasma clearance) was 75 +/- 6 and 74 +/- 8 ml x min(-1) x 1.73 m(-2), mean 24-h ambulatory blood pressure (A&D TM2420) was 110 +/- 3 and 114 +/- 2 mmHg, and 24-h urinary albumin excretion rate was 961 (range 331-5,727) and 1,578 (476-5,806) mg/24 h in the lisinopril and atenolol groups, respectively. The mean follow-up time was similar, 37 and 35 months in the lisinopril and atenolol groups, respectively. Mean ambulatory blood pressure was equally reduced in the two groups, 12 +/- 2 and 10 +/- 2 mmHg in the lisinopril and atenolol groups, respectively. Glomerular filtration rate declined in a biphasic manner with a faster initial (0 to 6 months) change of 1.25 +/- 0.49 and 0.81 +/- 0.29 ml x min(-1) x month(-1) followed by a slower sustained decline (6 to 42 months) of 0.59 +/- 0.10 and 0.54 +/- 0.13 ml x min(-1) x month(-1) in the lisinopril and atenolol groups, respectively. No significant differences were observed in either initial or sustained decline in glomerular filtration rate between the two groups. Urinary albumin excretion was reduced (% reduction of baseline) more in the lisinopril than in the atenolol group, at 55 (95% CI 29-72) and 15% (-13 to 34), respectively (P = 0.01). In conclusion, the relentless decline in kidney function characteristically found in hypertensive NIDDM patients with diabetic nephropathy can be reduced equally effectively by two antihypertensive treatments, the beta-blocker atenolol and the ACE inhibitor lisinopril.     

Insulin-like growth factors-I and -II stimulate chemotaxis of osteoblasts isolated from fetal rat calvaria

Repair and regeneration of damaged bone is believed to be regulated in part by growth factors stored in the bone matrix. These growth factors are synthesized and secreted by osteoblasts and are incorporated into the developing bone. This pool of stored growth factors is then released into the immediate area following resorption of the matrix. One of the initial steps in bone repair is the recruitment of osteoblasts to the repair site. Growth factors, such as TGF-beta and PDGF, which are present in bone matrix, have been shown to be chemotactic for osteoblasts. In this study, primary cultures of osteoblasts isolated from fetal rat calvaria were examined for chemotaxis in response to IGF-I and IGF-II. IGF-I stimulated a dose-dependent increase in osteoblast chemotaxis, while IGF-II stimulated chemotaxis maximally at the lowest concentration studied (0.1 ng/ml), and had no effect at the highest concentration studied (100 ng/ml). IGF-I and -II had no effect on osteoblast proliferation at any of the concentrations examined. These results indicate that IGFs may be playing an important role in the early stages of bone repair by stimulating osteoblast chemotaxis to the repair site.