Conflict-tolerant specifications for hybrid systems

We propose a framework for developing and reasoning about hybrid systems that are comprised of a plant with multiple controllers, each of which controls the plant intermittently. The framework is based on the notion of a ``conflict tolerant'' specification for a controller, and provides a modular way of developing and reasoning about such systems. We propose a novel mechanism of defining conflict-tolerant specifications for general hybrid systems, using ``acceptor'' and ``advisor'' components. We also give a decision procedure for verifying whether a controller satisfies its conflict-tolerant specification, in the special case when the components are modeled using initialized rectangular hybrid automata.

AIPE-active green phosphorescent iridium(III) complex impregnated test strips for the vapor-phase detection of 2,4,6-trinitrotoluene (TNT)

Detection of explosives, especially trinitrotoluene (TNT), is of utmost importance due to its highly explosive nature and environmental hazard. Therefore, detection of TNT has been a matter of great concern to the scientific community worldwide. Herein, a new aggregation-induced phosphorescent emission (AIPE)-active iridium(III) bis(2-(2,4-difluorophenyl)pyridinato-NC2') (2-(2-pyridyl)benzimidazolato-N,N') complex FIrPyBiz] has been developed and serves as a molecular probe for the detection of TNT in the vapor phase, solid phase, and aqueous media. In addition, phosphorescent test strips have been constructed by impregnating Whatman filter paper with aggregates of FIrPyBiz for trace detection of TNT in contact mode, with detection limits in nanograms, by taking advantage of the excited state interaction of AIPE-active phosphorescent iridium(III) complex with that of TNT and the associated photophysical properties.

Remarkable role of positional isomers in the design of sensors for the ratiometric detection of copper and mercury ions in water

Cation sensing properties of the three positional isomers of rhodamine based sensors (1-3) are studied in water. The sensors differ only in the position of pyridine's nitrogen. The chemosensor 1, with pyridine nitrogen at ortho-position, showed a selective colorimetric detection of Cu(II) ions in water, at physiological pH 7.4 and also in medium containing BSA (bovine serum albumin) and blood serum. Notably the compound 2 and 3, with pyridine end located at meta-and para-positions did not show any color change with Cu(II) ions, although both the compounds showed turn-on change both in color and fluorescence with Hg(II) ions specifically. All the probes showed ratiometric changes with the specific metal ions. The changing position of nitrogen also changed the complexation pattern of the sensors with the metal ions. Probe 1 showed 2 : 1 complexation with Cu(II), whereas 2 and 3 showed 1 : 1 complexation with Hg(II) ions. The mechanism investigation showed that the change in color upon addition of metal ions is due to the ring-opening of the spirolactam ring of the probes. Cu(II) interacted with ligand 1 through a three-point interaction mode comprising carbonyl oxygen, amido nitrogen and pyridine nitrogen end. But in case of 2 and 3, Hg2+ only interacted through pyridine nitrogen ends. Quantitative estimation of Cu2+ and Hg2+ in complex biological media such as bovine albumin protein (BSA) and human blood serum were performed using these sensors. Rapid on-site detection as well as discrimination of these toxic ions was demonstrated using easily prepared portable test-strips.

A novel MCMC algorithm for near-optimal detection in large-scale uplink mulituser MIMO systems

In this paper, we propose a low-complexity algorithm based on Markov chain Monte Carlo (MCMC) technique for signal detection on the uplink in large scale multiuser multiple input multiple output (MIMO) systems with tens to hundreds of antennas at the base station (BS) and similar number of uplink users. The algorithm employs a randomized sampling method (which makes a probabilistic choice between Gibbs sampling and random sampling in each iteration) for detection. The proposed algorithm alleviates the stalling problem encountered at high SNRs in conventional MCMC algorithm and achieves near-optimal performance in large systems with M-QAM. A novel ingredient in the algorithm that is responsible for achieving near-optimal performance at low complexities is the joint use of a randomized MCMC (R-MCMC) strategy coupled with a multiple restart strategy with an efficient restart criterion. Near-optimal detection performance is demonstrated for large number of BS antennas and users (e.g., 64, 128, 256 BS antennas/users).

Low-complexity near-optimal signal detection in underdetermined large-MIMO systems

In this paper, we consider signal detection in nt × nr underdetermined MIMO (UD-MIMO) systems, where i) nt >; nr with a overload factor α = nt over nr >; 1, ii) nt symbols are transmitted per channel use through spatial multiplexing, and iii) nt, nr are large (in the range of tens). A low-complexity detection algorithm based on reactive tabu search is considered. A variable threshold based stopping criterion is proposed which offers near-optimal performance in large UD-MIMO systems at low complexities. A lower bound on the maximum likelihood (ML) bit error performance of large UD-MIMO systems is also obtained for comparison. The proposed algorithm is shown to achieve BER performance close to the ML lower bound within 0.6 dB at an uncoded BER of 10-2 in 16 × 8 V-BLAST UD-MIMO system with 4-QAM (32 bps/Hz). Similar near-ML performance results are shown for 32 × 16, 32 × 24 V-BLAST UD-MIMO with 4-QAM/16-QAM as well. A performance and complexity comparison between the proposed algorithm and the λ-generalized sphere decoder (λ-GSD) algorithm for UD-MIMO shows that the proposed algorithm achieves almost the same performance of λ-GSD but at a significantly lesser complexity.

Chemical vapor detection using nonlinear electrical properties of carbon nanotube bundles

We demonstrate the electrical transport behavior of carbon nanotubes (CNTs) upon exposure to organic analytes (namely ethanol, benzene, acetone and toluene). The resulting nonlinear current-voltage characteristics revealed a power law dependence of the differential conductivity on the applied bias voltage. Moreover, suppression of differential conductivity at zero bias is found to be dependent on different selective analytes. The power law exponent values have been monitored before, during and after exposure to the chemicals, which revealed a reversible change in the number of electron conducting channels. Therefore, the reduction in the number of conductive paths can be attributed to the interaction of the chemical analyte on the CNT surfaces, which causes a decrease in the differential conductivity of the CNT sample. These results demonstrate chemical selectivity of CNTs due to varying electronic interaction with different chemical analytes.

D-A-D-structured conducting polymer-modified electrodes for detection of lead(II) ions in water

Donor-acceptor-donor-structured thiophene derivative-based conducting polymer poly(7,9-dithiophene-2yl-8H-cyclopentaa]acenaphthalene-8-one) was chemically synthesized. This polymer was used to modify both glassy-carbon and carbon-paste electrode, which was used to detect lead(II) ions present in water in the range of 1 mM to 0.1 mu M. Cyclic voltammetry confirms the formation of the co-ordination complex between the soft segment of polymer and the dissolved lead ion. Anodic stripping voltammetry was carried out by the modified electrode to determine the lower limit of detection of dissolved lead(II) species in the solution. Differential adsorptive stripping and impedance measurements were also conducted to find the lowest possible response of the as-synthesized polymer to lead(II) ion in water. The electrochemical performance of the modified electrodes at different pH (4, 7 and 9) environments was carried out by stripping voltammetry, to get optimum sensitivity and stability under these conditions. Finally, interference analysis was carried out to detect the modified electrode's sensitivity towards lead ion affinity in water.

Lamb wave based detection of damage in a stiffener bonded to a plate

Stiffener is one of the major components of aircraft structures to increase the load carrying capacity. Damage in the stiffener, mostly in the form of crack is an unavoidable problem in aerospace structures. Stiffener is bonded to the inner side of the aircraft panel which is not accessible for immediate inspection. A sensor-actuator network can be placed on the outer side of the panel that is accessible. Ultrasonic lamb waves are transmitted through stiffener using the sensoractuator network for detecting the presence of damages. The sensor-actuator network is placed on both halves of the stiffened section on the accessible surface of the plate. Detecting damage in stiffener by using this technique has significant potential for SHM technology. One of the major objectives of the present work is to determine the smallest detectable crack on the stiffener using the proposed technique. Wavelet based damage parameter correlation studies are carried out. In the proposed scheme, with increase in the damage size along the stiffener, it is found that the amplitude of the received signal decreases monotonically. The advantage of this technique is that the stiffened panels need not be disassembled in a realistic deployment of SHM system.

Fractal dimension method for delamination detection in composite beams

A new delaminated composite beam element is formulated for Timoshenko as well as Euler-Bernoulli beam models. Shape functions are derived from Timoshenko functions; this provides a unified formulation for slender to moderately deep beam analyses. The element is simple and easy to implement, results are on par with those from free mode delamination models. Katz fractal dimension method is applied on the mode shapes obtained from finite element models, to detect the delamination in the beam. The effect of finite element size on fractal dimension method of delamination detection is quantified.

Approximate Nearest Neighbour Field based Optic Disk Detection

Approximate Nearest Neighbour Field maps are commonly used by computer vision and graphics community to deal with problems like image completion, retargetting, denoising, etc. In this paper, we extend the scope of usage of ANNF maps to medical image analysis, more specifically to optic disk detection in retinal images. In the analysis of retinal images, optic disk detection plays an important role since it simplifies the segmentation of optic disk and other retinal structures. The proposed approach uses FeatureMatch, an ANNF algorithm, to find the correspondence between a chosen optic disk reference image and any given query image. This correspondence provides a distribution of patches in the query image that are closest to patches in the reference image. The likelihood map obtained from the distribution of patches in query image is used for optic disk detection. The proposed approach is evaluated on five publicly available DIARETDB0, DIARETDB1, DRIVE, STARE and MESSIDOR databases, with total of 1540 images. We show, experimentally, that our proposed approach achieves an average detection accuracy of 99% and an average computation time of 0.2 s per image. (C) 2013 Elsevier Ltd. All rights reserved.

Detection of the closure-burst transitions of stops and affricates in continuous speech using the plosion index

Automatic and accurate detection of the closure-burst transition events of stops and affricates serves many applications in speech processing. A temporal measure named the plosion index is proposed to detect such events, which are characterized by an abrupt increase in energy. Using the maxima of the pitch-synchronous normalized cross correlation as an additional temporal feature, a rule-based algorithm is designed that aims at selecting only those events associated with the closure-burst transitions of stops and affricates. The performance of the algorithm, characterized by receiver operating characteristic curves and temporal accuracy, is evaluated using the labeled closure-burst transitions of stops and affricates of the entire TIMIT test and training databases. The robustness of the algorithm is studied with respect to global white and babble noise as well as local noise using the TIMIT test set and on telephone quality speech using the NTIMIT test set. For these experiments, the proposed algorithm, which does not require explicit statistical training and is based on two one-dimensional temporal measures, gives a performance comparable to or better than the state-of-the-art methods. In addition, to test the scalability, the algorithm is applied on the Buckeye conversational speech corpus and databases of two Indian languages. (C) 2014 Acoustical Society of America.

Selective and Efficient Detection of Nitro-Aromatic Explosives in Multiple Media including Water, Micelles, Organogel, and Solid Support

Selective detection of nitro-aromatic compounds (NACs) at nanomolar concentration is achieved for the first time in multiple media including water, micelles or in organogels as well as using test strips. Mechanism of interaction of NACs with highly fluorescent p-phenylenevinylene-based molecules has been described as the electron transfer phenomenon from the electron-rich chromophoric probe to the electron deficient NACs. The selectivity in sensing is guided by the pK(a) of the probes as well as the NACs under consideration. TNP-induced selective gel-to-sol transition in THF medium is also observed through the reorganization of molecular self-assembly and the portable test trips are made successfully for rapid on-site detection purpose.

Guided-wave-based damage detection in a composite T-joint using 3D scanning laser Doppler vibrometer

Composite T-joints are commonly used in modern composite airframe, pressure vessels and piping structures, mainly to increase the bending strength of the joint and prevents buckling of plates and shells, and in multi-cell thin-walled structures. Here we report a detailed study on the propagation of guided ultrasonic wave modes in a composite T-joint and their interactions with delamination in the co-cured co-bonded flange. A well designed guiding path is employed wherein the waves undergo a two step mode conversion process, one is due to the web and joint filler on the back face of the flange and the other is due to the delamination edges close to underneath the accessible surface of the flange. A 3D Laser Doppler Vibrometer is used to obtain the three components of surface displacements/velocities of the accessible face of the flange of the T-joint. The waves are launched by a piezo ceramic wafer bonded on to the back surface of the flange. What is novel in the proposed method is that the location of any change in material/geometric properties can be traced by computing a frequency domain power flow along a scan line. The scan line can be chosen over a grid either during scan or during post-processing of the scan data off-line. The proposed technique eliminates the necessity of baseline data and disassembly of structure for structural interrogation.

Filling-in Void and Sparse Regions in Protein Sequence Space by Protein-Like Artificial Sequences Enables Remarkable Enhancement in Remote Homology Detection Capability

Protein functional annotation relies on the identification of accurate relationships, sequence divergence being a key factor. This is especially evident when distant protein relationships are demonstrated only with three-dimensional structures. To address this challenge, we describe a computational approach to purposefully bridge gaps between related protein families through directed design of protein-like ``linker'' sequences. For this, we represented SCOP domain families, integrated with sequence homologues, as multiple profiles and performed HMM-HMM alignments between related domain families. Where convincing alignments were achieved, we applied a roulette wheel-based method to design 3,611,010 protein-like sequences corresponding to 374 SCOP folds. To analyze their ability to link proteins in homology searches, we used 3024 queries to search two databases, one containing only natural sequences and another one additionally containing designed sequences. Our results showed that augmented database searches showed up to 30% improvement in fold coverage for over 74% of the folds, with 52 folds achieving all theoretically possible connections. Although sequences could not be designed between some families, the availability of designed sequences between other families within the fold established the sequence continuum to demonstrate 373 difficult relationships. Ultimately, as a practical and realistic extension, we demonstrate that such protein-like sequences can be ``plugged-into'' routine and generic sequence database searches to empower not only remote homology detection but also fold recognition. Our richly statistically supported findings show that complementary searches in both databases will increase the effectiveness of sequence-based searches in recognizing all homologues sharing a common fold. (C) 2013 Elsevier Ltd. All rights reserved.

An Efficient Probe for Rapid Detection of Cyanide in Water at Parts per Billion Levels and Naked-Eye Detection of Endogenous Cyanide

A new molecular probe based on an oxidized bis-indolyl skeleton has been developed for rapid and sensitive visual detection of cyanide ions in water and also for the detection of endogenously bound cyanide. The probe allows the naked-eye detection of cyanide ions in water with a visual color change from red to yellow ((max)=80nm) with the immediate addition of the probe. It shows high selectivity towards the cyanide ion without any interference from other anions. The detection of cyanide by the probe is ratiometric, thus making the detection quantitative. A Michael-type addition reaction of the probe with the cyanide ion takes place during this chemodosimetric process. In water, the detection limit was found to be at the parts per million level, which improved drastically when a neutral micellar medium was employed, and it showed a parts-per-billion-level detection, which is even 25-fold lower than the permitted limits of cyanide in water. The probe could also efficiently detect the endogenously bound cyanide in cassava (a staple food) with a clear visual color change without requiring any sample pretreatment and/or any special reaction conditions such as pH or temperature. Thus the probe could serve as a practical naked-eye probe for in-field experiments without requiring any sophisticated instruments.