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.
Two anomeric analogues of glucose labelled with 123 iodine in position 6, proposed as tracers of glucose transport in vivo, have been synthesized: alpha- and beta-methyl-6-deoxy-6-iodo-D-glucopyranoside (alpha MDIG and beta MDIG). The aim of this study was to determine whether these molecules interact with the glucose transporter and whether they could be used as tracers of glucose transport in vivo. The biodistribution of alpha MDIG and beta MDIG was studied in the mouse in vivo. To determine if these two anomers enter the cell via the glucose transporter, their uptake was measured in isolated perfused rat hearts, in human erythrocytes in suspension, and in cardiomyocytes of neonatal rat in culture. Both alpha MDIG and beta MDIG had similar repartitions in the mouse: myocardial uptake averaged 7% of the injected dose/g of organ at 2 min postinjection and alpha MDIG competed with D-glucose to enter the cells. Insulin produced a 123% increase of its uptake in isolated perfused rat hearts and a 100% increase in cardiomyocytes of neonatal rat in culture. alpha MDIG uptake was lowered in the presence of glucose transport inhibitors in each experimental model. An interaction between beta MDIG and glucose transporters was observed only in human erythrocytes in suspension. Only alpha MDIG interacts with the glucose transporter, and thus could be used to estimate glucose transport in vivo. 相似文献
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 T0. At even higher rates, atom attachment kinetic undercooling will decrease the transformation temperature with respect to
T0. 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. 相似文献
Summary The influence of draw ratio on macroscopic and crystallographic density of polyethylene with different initial morphologies, has been investigated by solid-state extrusion. An initial drop followed by an increase in macroscopic density as a function of draw ratio has been observed. Since precision X-ray measurements of unit cell parameters showed no variation of crystallographic density, it was concluded that plastic deformation of polyethylene upon drawing proceeds with a decrease of the degree of crystallinity. This was confirmed by differential scanning calorimetry. 相似文献
OBJECTIVE: To compare the efficacy and toxicity of three patient-controlled analgesia (PCA) morphine regimens. DESIGN: A prospective, randomized, pilot study of three PCA morphine regimens: (1) 1 mg with 6-minute lockout (n = 10), (2) 2 mg with 12-minute lockout (n = 12), and (3) 2 mg with 20-minute lockout (n = 12). SETTING: Large teaching institution. PARTICIPANTS: Thirty-four patients undergoing cholecystectomy or hysterectomy. MAIN OUTCOME MEASURES: Pain scores (0 = no pain, 1 = mild pain, 2 = moderate pain, 3 = severe pain), sedation scores, analgesic consumption, and patient attempts (patient activation of PCA device) and injections (doses actually delivered) were evaluated using analysis of covariance. Distribution of pain and sedation scores and adverse effects were assessed using Fisher's exact test. RESULTS: Data on 24 patients were evaluable. Six patients withdrew for poor pain control (2 in group 1, 1 in group 2, and 3 in group 3). Three other patients withdrew because of adverse effects and 1 withdrew because of pump problems. Mean morphine consumption did not differ significantly among the groups. Distribution of pain and sedation scores and the number of patients with nausea were similar across treatment groups. The mean injection to attempt ratio was significantly smaller in group 3 (0.71 +/- 0.11) compared with groups 1 and 2 (0.9 +/- 0.06 and 0.83 +/- 0.09, respectively; p = 0.001). Adverse events occurred similarly among treatment groups. CONCLUSIONS: No significant differences in the efficacy or toxicity of the three morphine PCA regimens were identified. 相似文献