Supervisory Control for Real-Time Systems Based on Conflict-Tolerant Controllers

This paper addresses the problem of detecting and resolving conflicts due to timing constraints imposed by features in real-time and hybrid systems. We consider systems composed of a base system with multiple features or controllers, each of which independently advise the system on how to react to input events so as to conform to their individual specifications. We propose a methodology for developing such systems in a modular manner based on the notion of conflict-tolerant features that are designed to continue offering advice even when their advice has been overridden in the past. We give a simple priority-based scheme forcomposing such features. This guarantees the maximal use of each feature. We provide a formal framework for specifying such features, and a compositional technique for verifying systems developed in this framework.

Selective dissemination of XML documents based on genetically learned user model and Support Vector Machines

Extensible Markup Language ( XML) has emerged as a medium for interoperability over the Internet. As the number of documents published in the form of XML is increasing, there is a need for selective dissemination of XML documents based on user interests. In the proposed technique, a combination of Adaptive Genetic Algorithms and multi class Support Vector Machine ( SVM) is used to learn a user model. Based on the feedback from the users, the system automatically adapts to the user's preference and interests. The user model and a similarity metric are used for selective dissemination of a continuous stream of XML documents. Experimental evaluations performed over a wide range of XML documents, indicate that the proposed approach significantly improves the performance of the selective dissemination task, with respect to accuracy and efficiency.

Optimal Resource Partitioning in a Military Conflict based on Lanchester Attrition Models

This paper develops a model for military conflicts where the defending forces have to determine an optimal partitioning of available resources to counter attacks from an adversary in two different fronts. The Lanchester attrition model is used to develop the dynamical equations governing the variation in force strength. Three different allocation schemes - Time-Zero-Allocation (TZA), Allocate-Assess-Reallocate (AAR), and Continuous Constant Allocation (CCA) - are considered and the optimal solutions are obtained in each case. Numerical examples are given to support the analytical results.

Characteristics of field-effect transistors based on undoped and B-and N-doped few-layer graphenes

Field-effect transistor characteristics of few-layer graphenes prepared by several methods have been investigated in comparison with those of single-layer graphene prepared by the in situ reduction of single-layer graphene oxide. Ambipolar features have been observed with single-layer graphene and n-type behaviour with all the few-layer graphenes, the best characteristics being found with the graphene possessing 2-3 layers prepared by arc-discharge of graphite in hydrogen. FETs based on boron and nitrogen doped graphene show n-type and p-type behaviour respectively. (C) 2010 Elsevier Ltd. All rights reserved.

Optimal Resource Partitioning in a Military Conflict based on Lanchester Attrition Models

This paper develops a model for military conflicts where the defending forces have to determine an optimal partitioning of available resources to counter attacks from an adversary in two different fronts. The Lanchester attrition model is used to develop the dynamical equations governing the variation in force strength. Three different allocation schemes - Time-Zero-Allocation (TZA), Allocate-Assess-Reallocate (AAR), and Continuous Constant Allocation (CCA) - are considered and the optimal solutions are obtained in each case. Numerical examples are given to support the analytical results.

Performance Analysis of Guidance Laws Based on Timescale Gap

An analytical treatment of performance analysis of guidance laws is possible only in simplistic scenarios. As the complexity of the guidance system increases, a search for analytical solutions becomes quite impractical. In this paper, a new performance measure, based upon the notion of a timescale gap that can be computed through numerical simulations, is developed for performance analysis of guidance laws. Finite time Lyapunov exponents are used to define the timescale gap. It is shown that the timescale gap can be used for quantification of the rate of convergence of trajectories to the collision course. Comparisonbetween several guidance laws, based on the timescale gap, is presented. Realistic simulations to study the effect of aerodynamicsand atmospheric variations on the timescale gap of these guidance laws are also presented.

Site characterization model using least-square support vector machine and relevance vector machine based on corrected SPT data (N-c)

Statistical learning algorithms provide a viable framework for geotechnical engineering modeling. This paper describes two statistical learning algorithms applied for site characterization modeling based on standard penetration test (SPT) data. More than 2700 field SPT values (N) have been collected from 766 boreholes spread over an area of 220 sqkm area in Bangalore. To get N corrected value (N,), N values have been corrected (Ne) for different parameters such as overburden stress, size of borehole, type of sampler, length of connecting rod, etc. In three-dimensional site characterization model, the function N-c=N-c (X, Y, Z), where X, Y and Z are the coordinates of a point corresponding to N, value, is to be approximated in which N, value at any half-space point in Bangalore can be determined. The first algorithm uses least-square support vector machine (LSSVM), which is related to aridge regression type of support vector machine. The second algorithm uses relevance vector machine (RVM), which combines the strengths of kernel-based methods and Bayesian theory to establish the relationships between a set of input vectors and a desired output. The paper also presents the comparative study between the developed LSSVM and RVM model for site characterization. Copyright (C) 2009 John Wiley & Sons,Ltd.

Ambient temperature, zinc ion-conducting, binary molten electrolyte based on acetamide and zinc perchlorate: Application in rechargeable zinc batteries

Binary room temperature molten electrolytes based on acetamide and zinc perchlorate have been prepared and characterized. The electrolytes are found to be highly zinc ion-conducting with very favorable physicochemical and electrochemical characteristics. Raman and infrared spectroscopic studies reveal the presence of large free-ion concentration in the molten liquid. This is corroborated by the high conductivity observed under ambient conditions. Rechargeable zinc batteries assembled using gamma-MnO2 as the cathode and Zn as the anode with the molten electrolyte show high discharge capacities over several cycles, indicating excellent reversibility. This unique class of acetamide-based, room temperature molten liquids may become viable and green alternative electrolytes for rechargeable zinc-based secondary batteries. (C) 2009 Elsevier Inc. All rights reserved.

Dual-Drug Delivery System Based on In Situ Gel-Forming Nanosuspension of Forskolin to Enhance Antiglaucoma Efficacy

The present study was designed to improve the bioavailability of forskolin by the influence of precorneal residence time and dissolution characteristics. Nanosizing is an advanced approach to overcome the issue of poor aqueous solubility of active pharmaceutical ingredients. Forskolin nanocrystals have been successfully manufactured and stabilized by poloxamer 407. These nanocrystals have been characterized in terms of particle size by scanning electron microscopy and dynamic light scattering. By formulating Noveon AA-1 polycarbophil/poloxamer 407 platforms, at specific concentrations, it was possible to obtain a pH and thermoreversible gel with a pH(gel)/T-gel close to eye pH/temperature. The addition of forskolin nanocrystals did not alter the gelation properties of Noveon AA-1 polycarbophil/poloxamer 407 and nanocrystal properties of forskolin. The formulation was stable over a period of 6 months at room temperature. In vitro release experiments indicated that the optimized platform was able to prolong and control forskolin release for more than 5 h. The in vivo studies on dexamethasone-induced glaucomatous rabbits indicated that the intraocular pressure lowering efficacy for nanosuspension/hydrogel systems was 31% and lasted for 12 h, which is significantly better than the effect of traditional eye suspension (18%, 4-6 h). Hence, our investigations successfully prove that the pH and thermoreversible polymeric in situ gel-forming nanosuspension with ability of controlled drug release exhibits a greater potential for glaucoma therapy.

Probabilistic evaluation of seismic soil liquefaction potential based on SPT data

The performance-based liquefaction potential analysis was carried out in the present study to estimate the liquefaction return period for Bangalore, India, through a probabilistic approach. In this approach, the entire range of peak ground acceleration (PGA) and earthquake magnitudes was used in the evaluation of liquefaction return period. The seismic hazard analysis for the study area was done using probabilistic approach to evaluate the peak horizontal acceleration at bed rock level. Based on the results of the multichannel analysis of surface wave, it was found that the study area belonged to site class D. The PGA values for the study area were evaluated for site class D by considering the local site effects. The soil resistance for the study area was characterized using the standard penetration test (SPT) values obtained from 450 boreholes. These SPT data along with the PGA values obtained from the probabilistic seismic hazard analysis were used to evaluate the liquefaction return period for the study area. The contour plot showing the spatial variation of factor of safety against liquefaction and the corrected SPT values required for preventing liquefaction for a return period of 475 years at depths of 3 and 6 m are presented in this paper. The entire process of liquefaction potential evaluation, starting from collection of earthquake data, identifying the seismic sources, evaluation of seismic hazard and the assessment of liquefaction return period were carried out, and the entire analysis was done based on the probabilistic approach.

From cages to wedges and clefts : Design of some novel hosts based on Image , Image , Image -triquinane framework

Annulation of aromatic rings on the folded Image ,Image ,Image -triquinane backbone has led to the design of potential host systems Image and Image whose crystal structures have been determined.

Syntheses based on cyclohexadienes. Part 2. Convenient synthesis of 6-alkylsalicylates, 6-alkyl 2,4-dihydroxybenzoate, and 2,5-dialkylresorcinols

A one pot synthesis of 6-alkylsalicylates and 6-alkyl-2,4- dihydroxybenzoates is described. Cycloaddition of 1-methoxycyclohexa-1,4- or 1,3-dienes with alkylpropiolic esters results in the regio-specific formation of 2-alkyl-6-methoxybenzoates. Thus, methyl 2-methoxy-6-methyl benzoate, methyl 2,4-dimethoxy-6-methylbenzoate, methyl 2,5-dimethoxy-6-methylbenzoate, methyl 2-methoxy-4,6-dimethylbenzoate, and ethyl 2-butyl-4,6-dimethoxybenzoate, have been prepared. By making use of this method, the synthesis of two dihydroisocoumarins namely (±)-mellein (12) and (±)-6-methoxy- mellein (14) is described. Employing a similar strategy, a novel route to 2,5-dialkylresorcinols has been developed. Stemphol (24b) and the antibiotic DB2073 (24d) have been synthesized.

Rotation sensitivity of Lau fringes: an analysis based on coherence theory

An analysis based on coherence theory is presented, which explains the experimentally observed rotation sensitivity of the contrast of Lau fringes obtained under spatially incoherent illumination.

Estimation of signals in colored non gaussian noise based on Gaussian Mixture models

Non-Gaussianity of signals/noise often results in significant performance degradation for systems, which are designed using the Gaussian assumption. So non-Gaussian signals/noise require a different modelling and processing approach. In this paper, we discuss a new Bayesian estimation technique for non-Gaussian signals corrupted by colored non Gaussian noise. The method is based on using zero mean finite Gaussian Mixture Models (GMMs) for signal and noise. The estimation is done using an adaptive non-causal nonlinear filtering technique. The method involves deriving an estimator in terms of the GMM parameters, which are in turn estimated using the EM algorithm. The proposed filter is of finite length and offers computational feasibility. The simulations show that the proposed method gives a significant improvement compared to the linear filter for a wide variety of noise conditions, including impulsive noise. We also claim that the estimation of signal using the correlation with past and future samples leads to reduced mean squared error as compared to signal estimation based on past samples only.

Optimal reactive power dispatch based on voltage stability criteria in a large power system with AC/DC and FACTs devices

An algorithm for optimal allocation of reactive power in AC/DC system using FACTs devices, with an objective of improving the voltage profile and also voltage stability of the system has been presented. The technique attempts to utilize fully the reactive power sources in the system to improve the voltage stability and profile as well as meeting the reactive power requirements at the AC-DC terminals to facilitate the smooth operation of DC links. The method involves successive solution of steady-state power flows and optimization of reactive power control variables with Unified Power Flow Controller (UPFC) using linear programming technique. The proposed method has been tested on a real life equivalent 96-bus AC and a two terminal DC system under normal and contingency conditions.