Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic

A framework based on the notion of "conflict-tolerance" was proposed in as a compositional methodology for developing and reasoning about systems that comprise multiple independent controllers. A central notion in this framework is that of a "conflict-tolerant" specification for a controller. In this work we propose a way of defining conflict-tolerant real-time specifications in Metric Interval Temporal Logic (MITL). We call our logic CT-MITL for Conflict-Tolerant MITL. We then give a clock optimal "delay-then-extend" construction for building a timed transition system for monitoring past-MITL formulas. We show how this monitoring transition system can be used to solve the associated verification and synthesis problems for CT-MITL.

Data rectification and detection of trend shifts in jet engine path measurements using median filters and fuzzy logic

Filtering methods are explored for removing noise from data while preserving sharp edges that many indicate a trend shift in gas turbine measurements. Linear filters are found to be have problems with removing noise while preserving features in the signal. The nonlinear hybrid median filter is found to accurately reproduce the root signal from noisy data. Simulated faulty data and fault-free gas path measurement data are passed through median filters and health residuals for the data set are created. The health residual is a scalar norm of the gas path measurement deltas and is used to partition the faulty engine from the healthy engine using fuzzy sets. The fuzzy detection system is developed and tested with noisy data and with filtered data. It is found from tests with simulated fault-free and faulty data that fuzzy trend shift detection based on filtered data is very accurate with no false alarms and negligible missed alarms.

Performance analysis of the random early detection algorithm

In this article we consider a finite queue with its arrivals controlled by the random early detection algorithm. This is one of the most prominent congestion avoidance schemes in the Internet routers. The aggregate arrival stream from the population of transmission control protocol sources is locally considered stationary renewal or Markov modulated Poisson process with general packet length distribution. We study the exact dynamics of this queue and provide the stability and the rates of convergence to the stationary distribution and obtain the packet loss probability and the waiting time distribution. Then we extend these results to a two traffic class case with each arrival stream renewal. However, computing the performance indices for this system becomes computationally prohibitive. Thus, in the latter half of the article, we approximate the dynamics of the average queue length process asymptotically via an ordinary differential equation. We estimate the error term via a diffusion approximation. We use these results to obtain approximate transient and stationary performance of the system. Finally, we provide some computational examples to show the accuracy of these approximations.

Prevalence of, and antigenic variation in, serotype G10 rotaviruses and detection of serotype G3 strains in diarrheic calves: Implications for the origin of G10P11 or P11 type reassortant asymptomatic strains in newborn children in India

Previous studies have shown predominant association of G10P11 type bovine rotavirus-derived reassortant strains with asymptomatic infections in newborn children in India. To understand the epidemiological and genetic basis for the origin of these strains in humans, the relative frequencies of different serotypes among bovine rotaviruses (BRVs) isolated from southern, western and central regions of the country were determined by subgroup and serotype analysis as well as nucleotide (nt) sequence analysis of the genes encoding the outer capsid proteins VP4 and VP7. Since the human G10P11 asymptomatic neonatal strain I321 possessed NSP1 from a human rotavirus, to determine its genetic origin in the bovine strains, comparative analysis of partial gene sequences from representative G10P11 strains was also carried out. The following observations were of great epidemiological significance, (i) G10P11 strains predominated in all the three regions with frequencies ranging between 55.6% and 85.2%. In contrast to the high prevalence of G6 strains in other countries, only one G6 strain was detected in this study and G8 strains represented 5.8% of the isolates, (ii) among the G10 strains, in serotyping ELISA, four patterns of reactivity were observed that appeared to correlate with the differences in electropherotypic patterns and amino acid (aa) sequence of the VP7, (iii) surprisingly, strains belonging to serotype G3 were detected more frequently (10.7%) than those of serotypes G6 and G8 combined, while strains representing the new serotype (G15) were observed in a single farm in Bangalore, and (iv) about 3.9% of the isolates were nontypeable as they exhibited high cross-reactivity to the serotyping MAbs used in the study. Comparative analysis of the VP7 gene sequence from the prototype G3 MAb-reactive bovine strain J63 revealed greatest sequence relatedness (87.6% nt and 96.0% aa) with that of serotype G3 rhesus-monkey strain RRV. It also exhibited high sequence homology with the VP7 from several animal and animal rotavirus-related human G3 strains (Simian SA11; equine ERV316 and FI-14. canine CU-1 and K9; porcine 4F; Feline Cat2 and human HCR3, YO and AU1). Partial nucleotide sequence analysis of the NSP1 gene of J63 showed greatest nt sequence homology (95.9%) to the NSP1 gene allele of the Indian G8 strain, isolated from a diarrheic child, which is likely to have been transmitted directly from cattle and 92.6% homology to that of the bovine G8 strain A5-10 suggesting the likely origin of J63 by gene reassortment between a bovine G8 strain and a G3 animal strain. Prevalence of G10P11 strains in cattle and G10P11 or P11 type reassortant strains in asymptomatic neonates as well as detection of G8P[1] strains in diarrheic children support our hypothesis for bidirectional transmission of rotaviruses between humans and cattle and origin of novel strains catalyzed by the age-old traditions and socio-economic conditions in India.

Very large array detection of radio recombination lines from the radio nucleus of NGC 253: Ionization by a weak active galactic nucleus, an obscured super star cluster, or a compact supernova remnant?

We have imaged the H92alpha and H75alpha radio recombination line (RRL) emissions from the starburst galaxy NGC 253 with a resolution of similar to4 pc. The peak of the RRL emission at both frequencies coincides with the unresolved radio nucleus. Both lines observed toward the nucleus are extremely wide, with FWHMs of similar to200 km s(-1). Modeling the RRL and radio continuum data for the radio nucleus shows that the lines arise in gas whose density is similar to10(4) cm(-3) and mass is a few thousand M., which requires an ionizing flux of (6-20) x 10(51) photons s(-1). We consider a supernova remnant (SNR) expanding in a dense medium, a star cluster, and also an active galactic nucleus (AGN) as potential ionizing sources. Based on dynamical arguments, we rule out an SNR as a viable ionizing source. A star cluster model is considered, and the dynamics of the ionized gas in a stellar-wind driven structure are investigated. Such a model is only consistent with the properties of the ionized gas for a cluster younger than similar to10(5) yr. The existence of such a young cluster at the nucleus seems improbable. The third model assumes the ionizing source to be an AGN at the nucleus. In this model, it is shown that the observed X-ray flux is too weak to account for the required ionizing photon flux. However, the ionization requirement can be explained if the accretion disk is assumed to have a big blue bump in its spectrum. Hence, we favor an AGN at the nucleus as the source responsible for ionizing the observed RRLs. A hybrid model consisting of an inner advection-dominated accretion flow disk and an outer thin disk is suggested, which could explain the radio, UV, and X-ray luminosities of the nucleus.

Development of recombinant coat protein antibody based IC-RT-PCR for detection and discrimination of sugarcane streak mosaic virus isolates from Southern India

Sugarcane streak mosaic virus (SCSMV), causes mosaic disease of sugarcane and is thought to belong to a new undescribed genus in the family Potyviridae. The coat protein (CP) gene from the Andhra Pradesh (AP) isolate of SCSMV (SCSMV AP) was cloned and expressed in Escherichia coli. The recombinant coat protein was used to raise high quality antiserum. The CP antiserum was used to develop an immunocapture reverse transcription-polymerase chain reaction (IC-RT-PCR) based assay for the detection and discrimination of SCSMV isolates in South India. The sequence of the cloned PCR products encoding 3'untranslated region (UTR) and CP regions of the virus isolates from three different locations in South India viz. Tanuku (Coastal Andhra Pradesh), Coimbatore (Tamil Nadu) and Hospet (Karnataka) was compared with that of SCSMV AP The analysis showed that they share 89.4, 89.5 and 90% identity respectively at the nucleotide level. This suggests that the isolates causing mosaic disease of sugarcane in South India are indeed strains of SCSMV In addition, the sensitivity of the IC-RT-PCR was compared with direct antigen coating-enzyme linked immunosorbent assay (DAC-ELISA) and dot-blot immunobinding assays and was found to be more sensitive and hence could be used to detect the presence of virus in sugarcane breeding, germplasm centres and in quarantine programs.

Carbon based materials for low temperature detection

Resistance temperature detectors (RTDs) are being widely used to detect low temperature, while thermocouples (TCs) are being used to detect high temperature. The materials suitable for RTDs are platinum, germanium, carbon, carbon-glass, cernox, etc. Here, we have reported the possible application of another form of carbon i.e. carbon nanotubes in low temperature thermometry. It has been shown the resistance R and the sensitivity of carbon nanotube bundles can be tuned and made suitable for ultralow temperature detection. We report on the R-T measurement of carbon nanotube bundles from room temperature down to 1 K to felicitate the possible application of bundles in low temperature RTDs. ©2008 American Institute of Physics

Antigen detection assay with parasite specific monoclonal antibodies for diagnosis of lymphatic filariasis

Background: Lymphatic filariasis is a painful and profoundly disfiguring disease. Infection is usually acquired in childhood but its visible manifestations occur later in life, causing temporary or permanent disability. The importance of developing effective assays to diagnose, monitor and evaluate human lymphatic filariasis has been emphasized by the WHO. Methods: High-affinity monoclonal antibodies (mAbs) specific for recombinant filarial antigen WbSXP-1 were developed. An ELISA based capture assay using monoclonal and polyclonal antibodies for WbSXP-1 was used for detection of circulating filarial antigen. Results: High-affinity monoclonal antibodies (mAbs) were developed that specifically binds both W. bancrofti and B. malayi mf antigens. Two mAbs (1F6H3 and 2E12E3) of subclass IgG2a and IgM showed high affinity, avidity and reactivity to recombinant and mf native antigen. Both the mAbs were used in combination as capture antibodies and polyclonal as detection antibody to develop the assay. The assay showed very high sensitivity towards W. bancrofti mf positive samples compared to endemic normal samples (P<0.0001). Conclusion: A capture assay using high-affinity monoclonal antibodies for WbSXP-1 was developed for the detection of filarial circulating antigen in clinical samples from bancroftian infection. Besides, this would also help in epidemiological studies in endemic areas of filarial infections. (C) 2011 Elsevier B.V. All rights reserved.

CUSUM Based Distributed Detection in WSNs

We are concerned with the situation in which a wireless sensor network is deployed in a region, for the purpose of detecting an event occurring at a random time and at a random location. The sensor nodes periodically sample their environment (e.g., for acoustic energy),process the observations (in our case, using a CUSUM-based algorithm) and send a local decision (which is binary in nature) to the fusion centre. The fusion centre collects these local decisions and uses a fusion rule to process the sensors’ local decisions and infer the state of nature, i.e., if an event has occurred or not. Our main contribution is in analyzing two local detection rules in combination with a simple fusion rule. The local detection algorithms are based on the nonparametric CUSUMprocedure from sequential statistics. We also propose two ways to operate the local detectors after an alarm. These alternatives when combined in various ways yield several approaches. Our contribution is to provide analytical techniques to calculate false alarm measures, by the use of which the local detector thresholds can be set. Simulation results are provided to evaluate the accuracy of our analysis. As an illustration we provide a design example. We also use simulations to compare the detection delays incurred in these algorithms.

Optimal Sleep-Wake Scheduling for Quickest Intrusion Detection using wireless sensor Networks

We consider the problem of quickest detection of an intrusion using a sensor network, keeping only a minimal number of sensors active. By using a minimal number of sensor devices,we ensure that the energy expenditure for sensing, computation and communication is minimized (and the lifetime of the network is maximized). We model the intrusion detection (or change detection) problem as a Markov decision process (MDP). Based on the theory of MDP, we develop the following closed loop sleep/wake scheduling algorithms: 1) optimal control of Mk+1, the number of sensors in the wake state in time slot k + 1, 2) optimal control of qk+1, the probability of a sensor in the wake state in time slot k + 1, and an open loop sleep/wake scheduling algorithm which 3) computes q, the optimal probability of a sensor in the wake state (which does not vary with time),based on the sensor observations obtained until time slot k.Our results show that an optimum closed loop control onMk+1 significantly decreases the cost compared to keeping any number of sensors active all the time. Also, among the three algorithms described, we observe that the total cost is minimum for the optimum control on Mk+1 and is maximum for the optimum open loop control on q.