Rapid quantification of hepatitis B virus DNA by real-time PCR using efficient TaqMan probe and extraction of virus DNA

Aim: To rapidly quantify hepatitis B virus (HBV) DNA by real-time PCR using efficient TaqMan probe and extraction methods of virus DNA. Methods: Three standards were prepared by cloning PCR products which targeted S, C and X region of HBV genome into pGEM-T vector respectively. A pair of primers and matched TaqMan probe were selected by comparing the copy number and the Ct values of HBV serum samples derived from the three different standard curves using certain serum DNA. Then the efficiency of six HBV DNA extraction methods including guanidinium isothiocyanate, proteinase K, NaI, NaOH lysis, alkaline lysis and simple boiling was analyzed in sample A, B and C by real-time PCR. Meanwhile, 8 clinical HBV serum samples were quantified. Results: The copy number of the same HBV serum sample originated from the standard curve of S, C and X regions was 5.7 × 104/ mL, 6.3 × 102/mL and 1.6 × 103/mL respectively. The relative Ct value was 26.6, 31.8 and 29.5 respectively. Therefore, primers and matched probe from S region were chosen for further optimization of six extraction methods. The copy number of HBV serum samples A, B and C was 3.49 × 109/mL, 2.08 × 106/mL and 4.40 × 107/mL respectively, the relative Ct value was 19.9, 30 and 26.2 in the method of NaOH lysis, which was the efficientest among six methods. Simple boiling showed a slightly lower efficiency than NaOH lysis. Guanidinium isothiocyanate, proteinase K and NaI displayed that the copy number of HBV serum sample A, B and C was around 105/ mL, meanwhile the Ct value was about 30. Alkaline failed to quantify the copy number of three HBV serum samples, Standard deviation (SD) and coefficient variation (CV) were very low in all 8 clinical HBV serum samples, showing that quantification of HBV DNA in triplicate was reliable and accurate. Conclusion: Real-time PCR based on optimized primers and TaqMan probe from S region in combination with NaOH lysis is a simple, rapid and accurate method for quantification of HBV serum DNA. © 2006 The WJG Press. All rights reserved.

Approximate Model Checking of Real-Time Systems for Linear Duration Invariants

Real-time systems are usually modelled with timed automata and real-time requirements relating to the state durations of the system are often specifiable using Linear Duration Invariants, which is a decidable subclass of Duration Calculus formulas. Various algorithms have been developed to check timed automata or real-time automata for linear duration invariants, but each needs complicated preprocessing and exponential calculation. To the best of our knowledge, these algorithms have not been implemented. In this paper, we present an approximate model checking technique based on a genetic algorithm to check real-time automata for linear durration invariants in reasonable times. Genetic algorithm is a good optimization method when a problem needs massive computation and it works particularly well in our case because the fitness function which is derived from the linear duration invariant is linear. ACM Computing Classification System (1998): D.2.4, C.3.

Power and thermal aware scheduling for real-time computing systems

Over the past few decades, we have been enjoying tremendous benefits thanks to the revolutionary advancement of computing systems, driven mainly by the remarkable semiconductor technology scaling and the increasingly complicated processor architecture. However, the exponentially increased transistor density has directly led to exponentially increased power consumption and dramatically elevated system temperature, which not only adversely impacts the system's cost, performance and reliability, but also increases the leakage and thus the overall power consumption. Today, the power and thermal issues have posed enormous challenges and threaten to slow down the continuous evolvement of computer technology. Effective power/thermal-aware design techniques are urgently demanded, at all design abstraction levels, from the circuit-level, the logic-level, to the architectural-level and the system-level. ^ In this dissertation, we present our research efforts to employ real-time scheduling techniques to solve the resource-constrained power/thermal-aware, design-optimization problems. In our research, we developed a set of simple yet accurate system-level models to capture the processor's thermal dynamic as well as the interdependency of leakage power consumption, temperature, and supply voltage. Based on these models, we investigated the fundamental principles in power/thermal-aware scheduling, and developed real-time scheduling techniques targeting at a variety of design objectives, including peak temperature minimization, overall energy reduction, and performance maximization. ^ The novelty of this work is that we integrate the cutting-edge research on power and thermal at the circuit and architectural-level into a set of accurate yet simplified system-level models, and are able to conduct system-level analysis and design based on these models. The theoretical study in this work serves as a solid foundation for the guidance of the power/thermal-aware scheduling algorithms development in practical computing systems.^

Improved Real-time State-of-Charge Estimation of LiFePO4 Battery Based on a Novel Thermoelectric Model

Li-ion batteries have been widely used in electric vehicles, and battery internal state estimation plays an important role in the battery management system. However, it is technically challenging, in particular, for the estimation of the battery internal temperature and state-ofcharge (SOC), which are two key state variables affecting the battery performance. In this paper, a novel method is proposed for realtime simultaneous estimation of these two internal states, thus leading to a significantly improved battery model for realtime SOC estimation. To achieve this, a simplified battery thermoelectric model is firstly built, which couples a thermal submodel and an electrical submodel. The interactions between the battery thermal and electrical behaviours are captured, thus offering a comprehensive description of the battery thermal and electrical behaviour. To achieve more accurate internal state estimations, the model is trained by the simulation error minimization method, and model parameters are optimized by a hybrid optimization method combining a meta-heuristic algorithm and the least square approach. Further, timevarying model parameters under different heat dissipation conditions are considered, and a joint extended Kalman filter is used to simultaneously estimate both the battery internal states and time-varying model parameters in realtime. Experimental results based on the testing data of LiFePO4 batteries confirm the efficacy of the proposed method.

Real-time analytics on large dynamic graphs

In today's fast-paced and interconnected digital world, the data generated by an increasing number of applications is being modeled as dynamic graphs. The graph structure encodes relationships among data items, while the structural changes to the graphs as well as the continuous stream of information produced by the entities in these graphs make them dynamic in nature. Examples include social networks where users post status updates, images, videos, etc.; phone call networks where nodes may send text messages or place phone calls; road traffic networks where the traffic behavior of the road segments changes constantly, and so on. There is a tremendous value in storing, managing, and analyzing such dynamic graphs and deriving meaningful insights in real-time. However, a majority of the work in graph analytics assumes a static setting, and there is a lack of systematic study of the various dynamic scenarios, the complexity they impose on the analysis tasks, and the challenges in building efficient systems that can support such tasks at a large scale. In this dissertation, I design a unified streaming graph data management framework, and develop prototype systems to support increasingly complex tasks on dynamic graphs. In the first part, I focus on the management and querying of distributed graph data. I develop a hybrid replication policy that monitors the read-write frequencies of the nodes to decide dynamically what data to replicate, and whether to do eager or lazy replication in order to minimize network communication and support low-latency querying. In the second part, I study parallel execution of continuous neighborhood-driven aggregates, where each node aggregates the information generated in its neighborhoods. I build my system around the notion of an aggregation overlay graph, a pre-compiled data structure that enables sharing of partial aggregates across different queries, and also allows partial pre-computation of the aggregates to minimize the query latencies and increase throughput. Finally, I extend the framework to support continuous detection and analysis of activity-based subgraphs, where subgraphs could be specified using both graph structure as well as activity conditions on the nodes. The query specification tasks in my system are expressed using a set of active structural primitives, which allows the query evaluator to use a set of novel optimization techniques, thereby achieving high throughput. Overall, in this dissertation, I define and investigate a set of novel tasks on dynamic graphs, design scalable optimization techniques, build prototype systems, and show the effectiveness of the proposed techniques through extensive evaluation using large-scale real and synthetic datasets.

Real-time load-side control of electric power systems

Two trends are emerging from modern electric power systems: the growth of renewable (e.g., solar and wind) generation, and the integration of information technologies and advanced power electronics. The former introduces large, rapid, and random fluctuations in power supply, demand, frequency, and voltage, which become a major challenge for real-time operation of power systems. The latter creates a tremendous number of controllable intelligent endpoints such as smart buildings and appliances, electric vehicles, energy storage devices, and power electronic devices that can sense, compute, communicate, and actuate. Most of these endpoints are distributed on the load side of power systems, in contrast to traditional control resources such as centralized bulk generators. This thesis focuses on controlling power systems in real time, using these load side resources. Specifically, it studies two problems.

(1) Distributed load-side frequency control: We establish a mathematical framework to design distributed frequency control algorithms for flexible electric loads. In this framework, we formulate a category of optimization problems, called optimal load control (OLC), to incorporate the goals of frequency control, such as balancing power supply and demand, restoring frequency to its nominal value, restoring inter-area power flows, etc., in a way that minimizes total disutility for the loads to participate in frequency control by deviating from their nominal power usage. By exploiting distributed algorithms to solve OLC and analyzing convergence of these algorithms, we design distributed load-side controllers and prove stability of closed-loop power systems governed by these controllers. This general framework is adapted and applied to different types of power systems described by different models, or to achieve different levels of control goals under different operation scenarios. We first consider a dynamically coherent power system which can be equivalently modeled with a single synchronous machine. We then extend our framework to a multi-machine power network, where we consider primary and secondary frequency controls, linear and nonlinear power flow models, and the interactions between generator dynamics and load control.

(2) Two-timescale voltage control: The voltage of a power distribution system must be maintained closely around its nominal value in real time, even in the presence of highly volatile power supply or demand. For this purpose, we jointly control two types of reactive power sources: a capacitor operating at a slow timescale, and a power electronic device, such as a smart inverter or a D-STATCOM, operating at a fast timescale. Their control actions are solved from optimal power flow problems at two timescales. Specifically, the slow-timescale problem is a chance-constrained optimization, which minimizes power loss and regulates the voltage at the current time instant while limiting the probability of future voltage violations due to stochastic changes in power supply or demand. This control framework forms the basis of an optimal sizing problem, which determines the installation capacities of the control devices by minimizing the sum of power loss and capital cost. We develop computationally efficient heuristics to solve the optimal sizing problem and implement real-time control. Numerical experiments show that the proposed sizing and control schemes significantly improve the reliability of voltage control with a moderate increase in cost.

Validation of reference genes for gene expression studies in the honey bee, Apis mellifera, by quantitative real-time RT-PCR

For obtaining accurate and reliable gene expression results it is essential that quantitative real-time RT-PCR (qRT-PCR) data are normalized with appropriate reference genes. The current exponential increase in postgenomic studies on the honey bee, Apis mellifera, makes the standardization of qRT-PCR results an important task for ongoing community efforts. For this aim we selected four candidate reference genes (actin, ribosomal protein 49, elongation factor 1-alpha, tbp-association factor) and used three software-based approaches (geNorm, BestKeeper and NormFinder) to evaluate the suitability of these genes as endogenous controls. Their expression was examined during honey bee development, in different tissues, and after juvenile hormone exposure. Furthermore, the importance of choosing an appropriate reference gene was investigated for two developmentally regulated target genes. The results led us to consider all four candidate genes as suitable genes for normalization in A. mellifera. However, each condition evaluated in this study revealed a specific set of genes as the most appropriated ones.

Development of Hepatitis C Virus Genotyping by Real-Time PCR Based on the NS5B Region

Background: Hepatitis C virus (HCV) genotyping is the most significant predictor of the response to antiviral therapy. The aim of this study was to develop and evaluate a novel real-time PCR method for HCV genotyping based on the NS5B region. Methodology/Principal Findings: Two triplex reaction sets were designed, one to detect genotypes 1a, 1b and 3a; and another to detect genotypes 2a, 2b, and 2c. This approach had an overall sensitivity of 97.0%, detecting 295 of the 304 tested samples. All samples genotyped by real-time PCR had the same type that was assigned using LiPA version 1 (Line in Probe Assay). Although LiPA v. 1 was not able to subtype 68 of the 295 samples (23.0%) and rendered different subtype results from those assigned by real-time PCR for 12/295 samples (4.0%), NS5B sequencing and real-time PCR results agreed in all 146 tested cases. Analytical sensitivity of the real-time PCR assay was determined by end-point dilution of the 5000 IU/ml member of the OptiQuant HCV RNA panel. The lower limit of detection was estimated to be 125 IU/ml for genotype 3a, 250 IU/ml for genotypes 1b and 2b, and 500 IU/ml for genotype 1a. Conclusions/Significance: The total time required for performing this assay was two hours, compared to four hours required for LiPA v. 1 after PCR-amplification. Furthermore, the estimated reaction cost was nine times lower than that of available commercial methods in Brazil. Thus, we have developed an efficient, feasible, and affordable method for HCV genotype identification.

Real-Time PCR in HIV/Trypanosoma cruzi Coinfection with and without Chagas Disease Reactivation: Association with HIV Viral Load and CD4(+) Level

Background: Reactivation of chronic Chagas disease, which occurs in approximately 20% of patients coinfected with HIV/Trypanosoma cruzi (T. cruzi), is commonly characterized by severe meningoencephalitis and myocarditis. The use of quantitative molecular tests to monitor Chagas disease reactivation was analyzed. Methodology: Polymerase chain reaction (PCR) of kDNA sequences, competitive (C-) PCR and real-time quantitative (q) PCR were compared with blood cultures and xenodiagnosis in samples from 91 patients (57 patients with chronic Chagas disease and 34 with HIV/T. cruzi coinfection), of whom 5 had reactivation of Chagas disease and 29 did not. Principal Findings: qRT-PCR showed significant differences between groups; the highest parasitemia was observed in patients infected with HIV/T. cruzi with Chagas disease reactivation (median 1428.90 T. cruzi/mL), followed by patients with HIV/T. cruzi infection without reactivation (median 1.57 T. cruzi/mL) and patients with Chagas disease without HIV (median 0.00 T. cruzi/mL). Spearman's correlation coefficient showed that xenodiagnosis was correlated with blood culture, C-PCR and qRT-PCR. A stronger Spearman correlation index was found between C-PCR and qRT-PCR, the number of parasites and the HIV viral load, expressed as the number of CD4(+) cells or the CD4(+)/CD8(+) ratio. Conclusions: qRT-PCR distinguished the groups of HIV/T. cruzi coinfected patients with and without reactivation. Therefore, this new method of qRT-PCR is proposed as a tool for prospective studies to analyze the importance of parasitemia (persistent and/or increased) as a criterion for recommending pre-emptive therapy in patients with chronic Chagas disease with HIV infection or immunosuppression. As seen in this study, an increase in HIV viral load and decreases in the number of CD4(+) cells/mm(3) and the CD4(+)/CD8(+) ratio were identified as cofactors for increased parasitemia that can be used to target the introduction of early, pre-emptive therapy.

Detection of dengue virus in saliva and urine by real time RT-PCR

Early diagnosis of dengue virus (DENV) infection is important for patient management and control of dengue outbreaks. The objective of this study was to analyze the usefulness of urine and saliva samples for early diagnosis of DENV infection by real time RT-PCR. Two febrile patients, who have been attended at the General Hospital of the School of Medicine of Ribeirao Preto, Sao Paulo University were included in the study. Serum, urine and saliva samples collected from both patients were subjected to real time RT-PCR for DENV detection and quantification. Dengue RNA was detected in serum, urine and saliva samples of both patients. Patient 1 was infected with DENV-2 and patient 2 with DENV-3. Data presented in this study suggest that urine and saliva could be used as alternative samples for early diagnosis of dengue virus infection when blood samples are difficult to obtain, e.g.,in newborns and patients with hemorrhagic syndromes.

Incorporation of Real-Time PCR into Routine Public Health Surveillance of Culture Negative Bacterial Meningitis in Sao Paulo, Brazil

Real-time (RT)-PCR increases diagnostic yield for bacterial meningitis and is ideal for incorporation into routine surveillance in a developing country. We validated a multiplex RT-PCR assay for Streptococcus pneumoniae, Neisseria meningitidis, and Haemophilus influenzae in Brazil. Risk factors for being culture-negative, RT-PCR positive were determined. The sensitivity of RT-PCR in cerebrospinal fluid (CSF) was 100% (95% confidence limits, 96.0%-100%) for N. meningitidis, 97.8% (85.5%-99.9%) for S. pneumoniae, and 66.7% (9.4%-99.2%) for H. influenzae. Specificity ranged from 98.9% to 100%. Addition of RT-PCR to routine microbiologic methods increased the yield for detection of S. pneumoniae, N. meningitidis, and H. influenzae cases by 52%, 85%, and 20%, respectively. The main risk factor for being culture negative and RT-PCR positive was presence of antibiotic in CSF (odds ratio 12.2, 95% CI 5.9-25.0). RT-PCR using CSF was highly sensitive and specific and substantially added to measures of meningitis disease burden when incorporated into routine public health surveillance in Brazil.

Real-Time Voltage Regulation in Power Distribution System Using Fuzzy Control

Two different fuzzy approaches to voltage control in electric power distribution systems are introduced in this paper. The real-time controller in each case would act on power transformers equipped with under-load tap changers. Learning systems are employed to turn the voltage-control relays into adaptive devices. The scope of this study has been limited to the power distribution substation, and the voltage measurements and control actions are carried out on the secondary bus. The capacity of fuzzy systems to handle approximate data, together with their unique ability to interpret qualitative information, make it possible to design voltage-control strategies that satisfy the requirements of the Brazilian regulatory bodies and the real concerns of the electric power distribution companies. Fuzzy control systems based on these two strategies have been implemented and the test results were highly satisfactory.

Real-time Polymerase Chain Reaction Quantification of Porphyromonas gingivalis and Tannerella forsythia in Primary Endodontic Infections

Introduction: Porphyromonas gingivalis and Tannerella forsythia are anaerobic bacteria commonly involved in root canal infections. Although previous investigations have assessed these species by strictly qualitative approaches, accurate determination of their cell levels by a sensitive quantitative technique may contribute with additional information regarding relevance in pain of endodontic origin. Method: The root canal levels of P gingivalis, T forsythia, and total bacteria were investigated by a quantitative polymerase chain reaction (PCR) assay based on unique copy molecular markers. A total of 32 symptomatic (n = 14) and asymptomatic (n = 18) cases of endodontic infections were analyzed. Root canal samples were collected; genomic DNA was extracted and submitted to SYBR Green I real-time PCR targeting the rgpB (P gingivalis), bspA (T forsythia), and rpoB (total bacteria) single copy genes. Results: Overall, R gingivalis, T forsythia, and the coexistence of both species were encountered in 28%, 66%, and 22% of the subjects, respectively. P gingivalis and T forsythia levels ranged from 5.65 x 10(-6) to 1.20 x 10(-2) and from 5.76 x 10(-6) to 1.35 x 10(-1). T forsythia was highly prevalent and numerous in the study groups, whereas P gingivalis was moderately frequent and less abundant, displaying 19-fold lower average levels than the former. Conclusions: The endodontic levels of P gingivalis and T forsythia, individually or in conjunction, did not display significant associations with the manifestation of pain of endodontic origin. (J Endod 2009,35:1518-1524)

Quantification of Listeria monocytogenes in minimally processed leafy vegetables using a combined method based on enrichment and 16S rRNA real-time PCR

Modern lifestyle markedly changed eating habits worldwide, with an increasing demand for ready-to-eat foods, such as minimally processed fruits and leafy greens. Packaging and storage conditions of those products may favor the growth of psychrotrophic bacteria, including the pathogen Listeria monocytogenes. In this work, minimally processed leafy vegetables samples (n = 162) from retail market from Ribeirao Preto, Sao Paulo, Brazil, were tested for the presence or absence of Listeria spp. by the immunoassay Listeria Rapid Test, Oxoid. Two L. monocytogenes positive and six artificially contaminated samples of minimally processed leafy vegetables were evaluated by the Most Probable Number (MPN) with detection by classical culture method and also culture method combined with real-time PCR (RTi-PCR) for 16S rRNA genes of L monocytogenes. Positive MPN enrichment tubes were analyzed by RTi-PCR with primers specific for L. monocytogenes using the commercial preparation ABSOLUTET (TM) QPCR SYBR (R) Green Mix (ABgene, UK). Real-time PCR assay presented good exclusivity and inclusivity results and no statistical significant difference was found in comparison with the conventional culture method (p < 0.05). Moreover, RTi-PCR was fist and easy to perform, with MPN results obtained in ca. 48 h for RTi-PCR in comparison to 7 days for conventional method. (C) 2009 Elsevier Ltd. All rights reserved.

PMCA1 mRNA expression in rat aortic myocytes: A real-time RT-PCR study

The plasmalemmal Ca2+ adenosine triphosphatase (PMCA) is a key regulator of Ca2+ efflux in vascular smooth muscle. In these studies are developed a realtime reverse transcriptase-polymerase chain reaction (real-time RT-PCR) assay for assessing PMCA1 mRNA levels in rat primary cultured aortic myocytes. This assay detected fetal bovine serum-induced increases in PMCA1 mRNA (relative to 18S rRNA) 4, 8, and 24 h after stimulation. Early fetal bovine serum-induced increases in PMCA1 mRNA were insensitive to the Ca2+ channel blockers nifedipine, flunarizine, and SKF-96365. These studies demonstrate the feasibility of real-time RT-PCR to assess mRNA levels of PMCA1 and illustrate dynamic regulation of this Ca2+ pump isoform in rat primary cultured aortic myocytes, (C) 2000 Academic Press.