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... 相似文献
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.
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. 相似文献
The ability voluntarily to stabilize the head in space during lateral rhythmic oscillations (0.59+/-0.09 Hz) of the trunk has been investigated during microgravity (microG) and normal gravity (nG) conditions (parabolic flights). Five healthy young subjects, who gave informed consent, were examined. The movements were performed with eyes open or eyes closed, during phases of either microG or nG. The main result was that head orientation with respect to vertical may be stabilized about the roll axis under microG with, as well as without vision, despite the reduction in vestibular afferent and muscle proprioceptive inputs. Moreover, the absence of head stabilization about the yaw axis confirms that the degrees of freedom of the neck can be independently controlled, as was previously reported. These results seem to indicate that voluntary head stabilization does not depend crucially upon static vestibular afferents. Head stabilization in space may in fact be organized on the basis of either dynamic vestibular afferents or a short-term memorized postural body schema. 相似文献
Previous in vitro analyses have shown that the human immunodeficiency virus type 1 (HIV-1) integrase uses either manganese or magnesium to assemble as a stable complex on the donor substrate and to catalyze strand transfer. We now demonstrate that subsequent to assembly, catalysis of both 3' end processing and strand transfer requires a divalent cation cofactor and that the divalent cation requirements for assembly and catalysis can be functionally distinguished based on the ability to utilize calcium and cobalt, respectively. The different divalent cation requirements manifest by these processes are exploited to uncouple assembly and catalysis, thus staging the reaction. Staged 3' end processing and strand transfer assays are then used in conjunction with exonuclease III protection analysis to investigate the effects of integrase inhibitors on each step in the reaction. Analysis of a series of related inhibitors demonstrates that these types of compounds affect assembly and not either catalytic process, therefore reconciling the apparent disparate results obtained for such inhibitors in assays using isolated preintegration complexes. These studies provide evidence for a distinct role of the divalent cation cofactor in assembly and catalysis and have implications for both the identification and characterization of integrase inhibitors. 相似文献
The purpose of this study was to assess cortical and cancellous bone responses to unilateral limb immobilization and, subsequently, to remobilization with exercise, in a young adult canine model. Right forelimbs of 14 1-2-year old mongrel dogs were immobilized in a non-weight-bearing position by a bandage for 16 weeks. Six control dogs were untreated. At 16 weeks, seven immobilized and three control dogs were euthanized. The remaining seven immobilized dogs began a recovery protocol consisting of 16 weeks of kennel confinement (without the right forelimb bandaged) followed by 16 weeks of treadmill exercise conducted three times per week. These seven dogs and three control dogs were euthanized at 48 weeks. Bone mineral density of the proximal radii was determined with dual-energy X-ray absorptiometry and humeral middiaphyseal cross-sectional areas were determined with computed tomography. Humeri were tested in cranio-caudal three-point bending to failure. Cancellous bone cores from the lateral humeral condyles had wet apparent density determined and were tested to failure in compression. Mechanical properties, bone density, and cross-sectional areas were compared between immobilized (right forelimb), contralateral weight bearing (left forelimb), and control forelimbs with Kruskal-Wallis and post hoc tests. At 16 weeks, bone mineral density, cortical load, yield, and stiffness as well as cancellous bone failure stress, yield stress, and modulus were significantly lower (p < 0.02) for immobilized limbs than control limbs. Immobilized limb cancellous bone mechanical properties were 28%-74% of control values, and cortical bone mechanical properties were 71%-98% of control values. After 32 weeks of remobilization, cortical and cancellous bone mechanical properties were not different from control values except that cortical bone failure stress and modulus were significantly higher (p < 0.01) between remobilized and control limbs. In summary, 16 weeks of forelimb immobilization was associated with significantly lower mechanical properties, and with greater differences in cancellous than cortical bone properties. Mechanical properties were not different from control values after 32 weeks of recovery that included 16 weeks of treadmill exercise. 相似文献