Kinetics of baculovirus replication and release using real-time quantitative polymerase chain reaction

The study of viral-based processes is hampered by (a) their complex, transient nature, (b) the instability of products, and (c) the lack of accurate diagnostic assays. Here, we describe the use of real-time quantitative polymerase chain reaction to characterize baculoviral infection. Baculovirus DNA content doubles every 1.7 h from 6 h post-infection until replication is halted at the onset of budding. No dynamic equilibrium exists between replication and release, and the kinetics are independent of the cell density at the time of infection. No more than 16% of the intracellular virus copies bud from the cell. (C) 2002 John Wiley & Sons, Inc. Biotechnol Bioeng 77: 476-480, 2002; DOI 10.1002/bit.10126.

Quantitative PCR-ELAHA for the determination of retroviral vector transduction efficiency

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.

Detection of human respiratory syncytial virus in respiratory samples by LightCycler reverse transcriptase PCR

Laboratory diagnosis of human respiratory syncytial virus (hRSV) infections has traditionally been performed by virus isolation in cell culture and the direct fluorescent-antibody assay (DFA). Reverse transcriptase PCR (RT-PCR) is now recognized as a sensitive and specific alternative for detection of hRSV in respiratory samples. Using the LightCycler instrument, we developed a rapid RT-PCR assay for the detection of hRSV (the LC-RT-PCR) with a pair of hybridization probes that target the hRSV L gene. In the present study, 190 nasopharyngeal aspirate samples from patients with clinically recognized respiratory tract infections were examined for hRSV. The results were then compared to the results obtained with a testing algorithm that combined DFA and a culture-augmented DFA (CA-DFA) assay developed in our laboratory. hRSV was detected in 77 (41%) specimens by LC-RT-PCR and in 75 (39%) specimens by the combination of DFA and CA-DFA. All specimens that were positive by the DFA and CA-DFA testing algorithm were positive by the LC-RT-PCR. The presence of hRSV RNA in the two additional LC-RT-PCR-positive specimens was confirmed by a conventional RT-PCR method that targets the hRSV N gene. The sensitivity of LC-RT-PCR was 50 PFU/ml; and this, together with its high specificity and rapid turnaround time, makes the LC-RT-PCR suitable for the detection of hRSV in clinical specimens.

Detection of Influenza type A virus by LightCycler RT-PCR

Using the Roche LightCycler we developed a real-time reverse transcriptase polymerase chain reaction (RT-PCR) assay using the Influenza A LightCycler RT-PCR (FA-LC-RTPCR) for the rapid detection of Influenza A. The assay was used to examine 178 nasopharyngeal aspirate (NPA) samples, from patients with clinically recognised respiratory tract infection, for the presence of Influenza A RNA. The results were then compared to a testing algorithm combining direct immunofluorescent assy (DFA) and a culture augmented DFA (CA-DFA) assay. In total, 76 (43%) specimens were positive and 98 (55%) specimens were negative by both the FA-LC-RTPCR and the DFA and CA-DFA algorithm. In addition, the FA-LC-RTPCR detected a further 4 (2%) positive specimens, which were confirmed by a conventional RT-PCR method. The high level of sensitivity and specificity, combined with the rapid turnaround time for results, makes the LC-RT-PCR assay suitable for the detection of Influenza A in clinical specimens.

A sensitive, specific, and cost-effective multiplex reverse transcriptase-PCR assay for the detection of seven common respiratory viruses in respiratory samples

Cell culture and direct fluorescent antibody (DFA) assays have been traditionally used for the laboratory diagnosis of respiratory viral infections. Multiplex reverse transcriptase polymerase chain reaction (m-RT-PCR) is a sensitive, specific, and rapid method for detecting several DNIA and RNA viruses in a single specimen. We developed a m-RT-PCR assay that utilizes multiple virus-specific primer pairs in a single reaction mix combined with an enzyme-linked amplicon hybridization assay (ELAHA) using virus-specific probes targeting unique gene sequences for each virus. Using this m-RT-PCR-ELAHA, we examined the presence of seven respiratory viruses in 598 nasopharyngeal aspirate (NPA) samples from patients with suspected respiratory infection. The specificity of each assay was 100%. The sensitivity of the DFA was 79.7% and the combined DFA/culture amplified-DFA (CA-DFA) was 88.6% when compared to the m-RT-PCR-ELAHA. Of the 598 NPA specimens screened by m-RT-PCR-ELAHA, 3% were positive for adenovirus (ADM), 2% for influenza A (Flu A) virus, 0.3% for influenza B (Flu B) virus, 1% for parainfluenza type I virus (PIV1), 1% for parainfluenza type 2 virus (PIV2), 5.5% for parainfluenza type 3 virus (PIV3), and 21% for respiratory syncytial virus (RSV). The enhanced sensitivity, specificity, rapid result turnaround time and reduced expense of the m-RT-PCR-ELAHA compared to DFA and CA-DFA, suggests that this assay would be a significant improvement over traditional assays for the detection of respiratory viruses in a clinical laboratory.

Structuring real-time Object-Z specifications

This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes using inheritance and composition of classes to form multi-component systems are examined. Two approaches to the latter are considered: using Object-Z's notion of object instantiation and introducing a parallel composition operator similar to those found in process algebras. The parallel composition operator approach is both more concise and allows more general modelling of concurrency. Its incorporation into the existing semantics of real-time Object-Z is presented.

An agent-based approach to modelling driver route choice behaviour under the influence of real-time information

This paper presents an agent-based approach to modelling individual driver behaviour under the influence of real-time traffic information. The driver behaviour models developed in this study are based on a behavioural survey of drivers which was conducted on a congested commuting corridor in Brisbane, Australia. Commuters' responses to travel information were analysed and a number of discrete choice models were developed to determine the factors influencing drivers' behaviour and their propensity to change route and adjust travel patterns. Based on the results obtained from the behavioural survey, the agent behaviour parameters which define driver characteristics, knowledge and preferences were identified and their values determined. A case study implementing a simple agent-based route choice decision model within a microscopic traffic simulation tool is also presented. Driver-vehicle units (DVUs) were modelled as autonomous software components that can each be assigned a set of goals to achieve and a database of knowledge comprising certain beliefs, intentions and preferences concerning the driving task. Each DVU provided route choice decision-making capabilities, based on perception of its environment, that were similar to the described intentions of the driver it represented. The case study clearly demonstrated the feasibility of the approach and the potential to develop more complex driver behavioural dynamics based on the belief-desire-intention agent architecture. (C) 2002 Elsevier Science Ltd. All rights reserved.

Reasoning about real-time repetitions: terminating and nonterminating

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.