91 resultados para Fuzzy real number,
Resumo:
Current methods to detect transduction efficiency during the routine use of integrating retroviral vectors in gene therapy applications may require the use of radioactivity and usually rely upon subjective determination of the results. We have developed two competitive quantitative assays that use an enzyme-linked, amplicon hybridization assay (ELAHA) to detect the products of PCR-amplified regions of transgene from cells transduced with Moloney murine leukemia virus vectors. The quantitative assays (PCR-ELAHA) proved to be simple, rapid, and sensitive, avoiding the need for Southern hybridization, complex histochemical stains, or often subjective and time-consuming tissue culture and immunofluorescence assays. The PCR-ELAHA systems can rapidly detect proviral DNA from any retroviral vector carrying the common selective and marker genes neomycin phosphotransferase and green fluorescent protein, and the methods described are equally applicable to other sequences of interest, providing a cheaper alternative to the evolving real-time PCR methods. The results revealed the number of copies of retrovector provirus present per stably transduced cell using vectors containing either one or both qPCR targets.
Resumo:
Males of Helicoverpa punctigera (Wallengren) show considerable variation in the number of femoral scales on the prothoracic legs. Such intraspecific variation in adult morphology could indicate the presence of undetected sibling species, or it may be related to larval diet. Helicoverpa putactigera is polyphagous, and different host plant species are likely to represent diets of different quality. Femoral lengths and the numbers of femoral scales on the prothoracic legs were therefore determined from: (i) individuals that had been collected as larvae from various host species in the field; and (ii) individuals that had been laboratory-reared, in split-family tests, on different diets, namely cotton, lucerne, sowthistle and artificial diet. Host plant species (and therefore presumably diet quality) influenced femoral length of H. punctigera males and, perhaps in conjunction with this, the number of femoral scales on the fore leg. The rearing experiment indicated, in addition, that the effect of host plant quality varies with larval stage, and that the pattern of this variation across the immature stages is dependent on host plant species. The recorded variation in the morphology of field-collected H. punctigera males is therefore most readily explained as a consequence of different individuals developing (at least for most of their larval life) on different host plant species, with diet quality varying significantly with species. The relevance of these results for insect developmental studies and evolutionary interpretations of host relationships is outlined.
Resumo:
This note gives a theory of state transition matrices for linear systems of fuzzy differential equations. This is used to give a fuzzy version of the classical variation of constants formula. A simple example of a time-independent control system is used to illustrate the methods. While similar problems to the crisp case arise for time-dependent systems, in time-independent cases the calculations are elementary solutions of eigenvalue-eigenvector problems. In particular, for nonnegative or nonpositive matrices, the problems at each level set, can easily be solved in MATLAB to give the level sets of the fuzzy solution. (C) 2002 Elsevier Science B.V. All rights reserved.
Resumo:
The mechanism of generation of memory cytotoxic T cells (CTL) following immunization remains controversial. Using tumor protection and IFN-gamma ELISPOT assays in mice to detect functional CTL, we show that the initial effector CTL burst size after immunization is not directly related to the amount of functional memory CTL formed, suggesting that memory CTL are unlikely to arise stochastically from effector CTL. Induction of MHC class II-restricted T helper cells at the time of immunization by inclusion of a T helper peptide or protein in the immunogen, is necessary to generate memory CTL, although no T helper cell induction is required to generate effector CTL to a strong MHC class I-binding peptide. Host protective T cell memory correlates with the number of CTL epitope responsive IFN-gamma-secreting memory T cells as measured in an ELISPOT assay at the time of tumor challenge. We conclude that a different antigen presenting environment is required to induce long-lasting functional memory CTL, and non-cognate stimulation of the immune system is essential to allow generation of a long-lasting host protective memory CTL response.
Resumo:
We introduce a model for the dynamics of a patchy population in a stochastic environment and derive a criterion for its persistence. This criterion is based on the geometric mean (GM) through time of the spatial-arithmetic mean of growth rates. For the population to persist, the GM has to be greater than or equal to1. The GM increases with the number of patches (because the sampling error is reduced) and decreases with both the variance and the spatial covariance of growth rates. We derive analytical expressions for the minimum number of patches (and the maximum harvesting rate) required for the persistence of the population. As the magnitude of environmental fluctuations increases, the number of patches required for persistence increases, and the fraction of individuals that can be harvested decreases. The novelty of our approach is that we focus on Malthusian local population dynamics with high dispersal and strong environmental variability from year to year. Unlike previous models of patchy populations that assume an infinite number of patches, we focus specifically on the effect that the number of patches has on population persistence. Our work is therefore directly relevant to patchily distributed organisms that are restricted to a small number of habitat patches.
Resumo:
Formulations of fuzzy integral equations in terms of the Aumann integral do not reflect the behavior of corresponding crisp models. Consequently, they are ill-adapted to describe physical phenomena, even when vagueness and uncertainty are present. A similar situation for fuzzy ODEs has been obviated by interpretation in terms of families of differential inclusions. The paper extends this formalism to fuzzy integral equations and shows that the resulting solution sets and attainability sets are fuzzy and far better descriptions of uncertain models involving integral equations. The investigation is restricted to Volterra type equations with mildly restrictive conditions, but the methods are capable of extensive generalization to other types and more general assumptions. The results are illustrated by integral equations relating to control models with fuzzy uncertainties.
Resumo:
Form factors are derived for a model describing the coherent Josephson tunneling between two coupled Bose-Einstein condensates. This is achieved by studying the exact solution of the model within the framework of the algebraic Bethe ansatz. In this approach the form factors are expressed through determinant representations which are functions of the roots of the Bethe ansatz equations.
Resumo:
The detection of Neisseria gonorrhoeae by the polymerase chain reaction (PCR) is now recognized as a sensitive and specific method of diagnosing infection by the organism. In this Study 152 urine specimens were examined for N. gonorrhoeae by a real-time PCR method using the LightCycler platform and results were compared to an in-house PCR assay using an ELISA-based detection method. N. gonorrhoeae DNA was detected in 29 (19%) specimens by LightCycler PCR (LC-PCR) and in 31 (20%) specimens by the in house PCR method. The LightCycler assay proved to be specific and 94% sensitive when compared to the in house PCR method. These features combined with the rapid turn-around time for results makes the LC-PCR particularly suitable for the detection of N. gonorrhoeae in a routine clinical laboratory. (C) 2002 Elsevier Science Inc. All rights reserved.
Resumo:
It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to support nonterminating repetitions. In this paper we develop a general proof rule for reasoning about possibly nonterminating repetitions. The rule makes use of a Floyd-Hoare-style loop invariant that is maintained by each iteration of the repetition, a Jones-style relation between the pre- and post-states on each iteration, and a deadline specifying an upper bound on the starting time of each iteration. The general rule is proved correct with respect to a predicative semantics. In the case of a terminating repetition the rule reduces to the standard rule extended to handle real time. Other special cases include repetitions whose bodies are guaranteed to terminate, nonterminating repetitions with the constant true as a guard, and repetitions whose termination is guaranteed by the inclusion of a fixed deadline. (C) 2002 Elsevier Science B.V. All rights reserved.
Resumo:
Read-only-memory-based (ROM-based) quantum computation (QC) is an alternative to oracle-based QC. It has the advantages of being less magical, and being more suited to implementing space-efficient computation (i.e., computation using the minimum number of writable qubits). Here we consider a number of small (one- and two-qubit) quantum algorithms illustrating different aspects of ROM-based QC. They are: (a) a one-qubit algorithm to solve the Deutsch problem; (b) a one-qubit binary multiplication algorithm; (c) a two-qubit controlled binary multiplication algorithm; and (d) a two-qubit ROM-based version of the Deutsch-Jozsa algorithm. For each algorithm we present experimental verification using nuclear magnetic resonance ensemble QC. The average fidelities for the implementation were in the ranges 0.9-0.97 for the one-qubit algorithms, and 0.84-0.94 for the two-qubit algorithms. We conclude with a discussion of future prospects for ROM-based quantum computation. We propose a four-qubit algorithm, using Grover's iterate, for solving a miniature real-world problem relating to the lengths of paths in a network.