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.

     

Viral dynamics of primary viremia and antiretroviral therapy in simian immunodeficiency virus infection

Mathematical modeling of viral replication dynamics, based on sequential measurements of levels of virion-associated RNA in plasma during antiretroviral treatment, has led to fundamental new insights into human immunodeficiency virus type 1 pathogenesis. We took advantage of the simian immunodeficiency virus (SIV)-infected macaque model to perform detailed measurements and mathematical modeling during primary infection and during treatment of established infection with the antiretroviral drug (R)-9-(2-phosphonylmethoxypropyl)adenine (PMPA). The calculated clearance half-life for productively infected cells during resolution of the peak viremia of primary infection was on the order of 1 day, with slightly shorter clearance half-lives calculated during PMPA treatment. Viral reproduction rates upon discontinuation of PMPA treatment after 2 weeks were approximately twofold greater than those obtained just prior to initiation of treatment in the same animals, likely reflecting accumulation of susceptible target cells during treatment. The basic reproductive ratio (R0) for the spread of SIV infection in vivo, which represents the number of productively infected cells derived from each productively infected cell at the beginning of infection, was also estimated. This parameter quantifies the extent to which antiviral therapy or vaccination must limit the initial spread of virus to prevent establishment of chronic disseminated infection. The results thus provide an important guide for efforts to develop vaccines against SIV and, by extension, human immunodeficiency virus.     

Structure and stability of an immunoglobulin superfamily domain from twitchin, a muscle protein of the nematode Caenorhabditis elegans

The NMR solution structure of an immunoglobulin superfamily module of twitchin (Ig 18') has been determined and the kinetic and equilibrium folding behaviour characterised. Thirty molecular coordinates were calculated using a hybrid distance geometry-simulated annealing protocol based on 1207 distance and 48 dihedral restraints. The atomic rms distributions about the mean coordinate for the ensemble of structures is 0.55( +/- 0.09) A for backbone atoms and 1.10( +/- 0.08) A for all heavy atoms. The protein has a topology very similar to that of telokin and the titin Ig domains and thus it falls into the I set of the immunoglobulin superfamily. The close agreement between the predicted and observed structures of Ig 18' demonstrates clearly that the I set profile can be applied in the structure prediction of immunoglobulin-like domains of diverse modular proteins. Folding studies reveal that the protein has relatively low thermodynamic stability, deltaG(H2O)U-F = 4.0 kcal mol(-1) at physiological pH. Unfolding studies suggest that the protein has considerable kinetic stability, the half life of the unfolding is greater than 40 minutes in the absence of denaturant.     

Evidence for the presence of sodium- and potassium-dependent adenosine triphosphatase alpha1 and beta1 subunit isoforms and their probable role in blastocyst expansion in the preattachment horse conceptus

Two Caribbean hair sheep breeds, the St. Croix (SC) and Barbados Blackbelly (BB), are found in the United States, and the SC has led to the development of the Katahdin (K), a synthetic breed of hair sheep. These breeds have mature ewe BW ranging from 32 to 54 kg (for BB and SC) and from 55 to 73 kg (K). Hair sheep and hair sheep crosses have lower rectal temperatures and respiration rates than wool breeds and a lower DMI and water intake. There are indications of increased resistance to internal parasites in hair sheep. Although hair sheep are seasonal breeders under U.S. photoperiodic conditions, they tend to perform better under accelerated lambing systems than traditional wool breeds. Fertility, prolificacy, and lamb survival is high in BB and SC, but hair x wool crossbred ewes tend to have a higher level of fertility than hair and wool parent breeds. Ewe productivity is also higher in hair x wool crosses than in wool crosses, particularly when adjusted for ewe BW or under accelerated lambing systems. Hair sheep have a lower ADG and intake of high-energy diets, as well as a lower gain/feed ratio, than wool breeds. Growth rates tend to be higher in SC than in BB. Differences in carcass characteristics are inconsistent between hair and wool breeds. Production characteristics of hair sheep, particularly hair x wool crosses, make them suitable for low-input, sustainable production systems that do not require high growth rates and large carcasses. There is a need to preserve the existing U.S. hair sheep germplasm base in support of such systems.     

Korsakoff's syndrome, cognition and clonidine

Eighteen patients suffering from Alcoholic Korsakoff's Syndrome participated in a placebo-controlled double-blind cross-over trial of clonidine 0.3 mg b.d. for two weeks versus matched placebo for two weeks. A detailed neuropsychological assessment was carried out at the end of each treatment phase and staff ratings of behaviour were also obtained. Clonidine treatment resulted in no significant improvement over placebo on any of the cognitive measures employed. The results contradict previous smaller studies which had suggested that chronic treatment with clonidine had a memory-enhancing effect in Korsakoff's syndrome.     

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.