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.

     

Comparative study of monoclonal antibody scan in diagnosing orthopaedic infection

When clinical data are insufficient to diagnose infection of bone or joints, nuclear scanning becomes crucial in making an accurate diagnosis. The efficacy of (99m)technetium antigranulocyte monoclonal antibody Fab' fragment (LeukoScan) is prospectively compared with (111)indium white blood cell and (99m)technetium methylene diphosphonate bone scans in 74 patients with suspected musculoskeletal infections. They were grouped according to site of suspected infection: 33 long bones, 23 prosthetic joints, and 18 diabetic feet. Sixty-two of these 74 patients had surgical verification with histopathology or culture. The remaining 12 patients had clinical followup as proof of absence of infection. The overall sensitivity of LeukoScan, (111)indium white blood cell, and (99m)technetium methylene diphosphonate bone scans was 93%, 85% and 92%, respectively. Specificity was 89%, 75% and 52%, and accuracy was 90%, 79% and 74%, respectively. The conclusion from this study is that LeukoScan is more accurate in detecting osteomyelitis, with better sensitivity and specificity in prosthetic joints. Compared with (111)indium white blood cell scans, LeukoScan++ gives superior images, and results are obtained in 1 to 6 hours without biohazard risk from handling blood products.     

Quantal release at a neuronal nicotinic synapse from rat adrenal gland

The neuronal nicotinic synapse in tissue slices of the adrenal medulla was studied with whole-cell patch-clamp. Excitatory postsynaptic currents (EPSCs) were evoked by local field stimulation or occurred spontaneously especially when external [K+] was increased. EPSCs were carried by channels sharing biophysical and pharmacological properties of neuronal-type nicotinic receptors (nAChRs). A single-channel conductance (gamma) of 43-45 pS was found from nonstationary variance analysis of EPSCs. Spontaneous EPSCs were tetrodotoxin-insensitive and Ca(2+)-dependent and occurred in burst-like clusters. Quantal analysis of spontaneous EPSCs gave a quantal size of 20 pA and amplitude histograms were well described by binomial models with low values of quantal content, consistent with a small number of spontaneously active release sites. However, rare large amplitude EPSCs suggest that the total number of sites is higher and that extrajunctional receptors are involved. Our estimates of quantal content and size at the chromaffin cell neuronal nicotinic synapse may be useful in characterizing central neuronal-type nicotinic receptor-mediated cholinergic synaptic transmission.     

Diagnosis of systemic causes of uveitis; a matter of ophthalmologist and internist

OBJECTIVE: To assess how often the aetiology is established in patients with uveitis, what systemic disease are found and what is the contribution of the internist to the diagnostic process. DESIGN: Retrospective study. SETTING: University Hospital Leiden, the Netherlands. METHOD: From January 1987 to April 1992, 342 patients presented with uveitis. All patients underwent a standard ophthalmological examination. Referral to an internist and individualised laboratory screening followed in patients with recurrent, chronic, bilateral or panuveitis. Recorded were: ophthalmological data, results of laboratory screening, results of analysis by the internist, final diagnosis and presence of systemic disease. RESULTS: 149 (44%) patients were examined by the internist, 18 (5.2%) were seen by another specialist. In 169 (49%) patients a specific diagnosis was made. 74 (22%) had a systemic disease, 74 a primary ocular disease. In 28 (8%) a systemic disease was presumed (5% were HLA-B27 positive, 3% had abnormal laboratory results); 5 (1%) patients had endophthalmitis as a complication of a septic process. CONCLUSION: In approximately 1/3 of the patients with uveitis a systemic disease was found. Examination by the internist tailored to the individual patient is essential in the evaluation of uveitis patients.     

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.