On continuous timed automata with input-determined guards

We consider a general class of timed automata parameterized by a set of “input-determined” operators, in a continuous time setting. We show that for any such set of operators, we have a monadic second order logic characterization of the class of timed languages accepted by the corresponding class of automata. Further, we consider natural timed temporal logics based on these operators, and show that they are expressively equivalent to the first-order fragment of the corresponding MSO logics. As a corollary of these general results we obtain an expressive completeness result for the continuous version of MTL.

On Convergence of Differential Evolution Over a Class of Continuous Functions With Unique Global Optimum

Differential evolution (DE) is arguably one of the most powerful stochastic real-parameter optimization algorithms of current interest. Since its inception in the mid 1990s, DE has been finding many successful applications in real-world optimization problems from diverse domains of science and engineering. This paper takes a first significant step toward the convergence analysis of a canonical DE (DE/rand/1/bin) algorithm. It first deduces a time-recursive relationship for the probability density function (PDF) of the trial solutions, taking into consideration the DE-type mutation, crossover, and selection mechanisms. Then, by applying the concepts of Lyapunov stability theorems, it shows that as time approaches infinity, the PDF of the trial solutions concentrates narrowly around the global optimum of the objective function, assuming the shape of a Dirac delta distribution. Asymptotic convergence behavior of the population PDF is established by constructing a Lyapunov functional based on the PDF and showing that it monotonically decreases with time. The analysis is applicable to a class of continuous and real-valued objective functions that possesses a unique global optimum (but may have multiple local optima). Theoretical results have been substantiated with relevant computer simulations.

Continuous Recording of Retardation and Intensity of Echoes from the Ionosphere

Pulse retardation method of Breit and Tuve has been modified to record continuously the equivalent height as well as the intensity of reflections from the ionosphere. Synchronized pulses are transmitted, and the received ground pulse and the reflected pulses, after amplification and suitable distortion, are applied to the focusing cylinder of a cathode ray tube the horizontal deflecting plates of which are connected to a synchronized linear time base circuit. The pattern on the screen is composed of a bright straight line corresponding to the time base with dark gaps corresponding to the received pulses. The distance between the initial points of the gaps represents retardation while the widths of the gaps correspond to the intensity of the pulses. The pattern is photographed on a vertically moving film. One of the first few records taken at Bangalore on 4 megacycles is reproduced. It shows, among other things, that the less retarded component of magneto-ionic splitting from the F layer is present most of the time. Whenever the longer retardation component does occur, it has stronger intensity than the former. Towards the late evening hours, just before disappearing, when the F layer rises and exhibits magnetoionic splitting, the intensity of the less retarded component is extremely low compared with the other component.

Ultrasonic degradation of butadiene, styrene and their copolymers

Ultrasonic degradation of commercially important polymers, styrene-butadiene (SBR) rubber, acrylonitrile-butadiene (NBR) rubber, styrene-acrylonitrile (SAN), polybutadiene rubber and polystyrene were investigated. The molecular weight distributions were measured using gel permeation chromatography (GPC). A model based on continuous distribution kinetics approach was used to study the time evolution of molecular weight distribution for these polymers during degradation. The effect of solvent properties and ultrasound intensity on the degradation of SBR rubber was investigated using different pure solvents and mixed solvents of varying volatility and different ultrasonic intensities. (C) 2011 Elsevier B.V. All rights reserved.

Continuous phase transition in mixed-valent manganite Nd0.6Pb0.4MnO3

The critical behaviour has been investigated in single crystalline Nd0.6Pb0.4MnO3 near the paramagnetic to ferromagnetic transition temperature (TC) by static magnetic measurements. The values of TC and the critical exponents β, γ and δ are estimated by analysing the data in the critical region. The exponent values are very close to those expected for 3D Heisenberg ferromagnets with short-range interactions. Specific heat measurements show a broad cusp at TC (i.e., exponent α<0) being consistent with Heisenberg-like behaviour.

Sensitive Liquid Chromatography-Tandem Mass Spectrometry Method for the Determination of Olanzapine in Human Urine

A sensitive and selective liquid chromatographic-tandem mass spectrometric (LC-MS-MS) method was developed to determine olanzapine (OLZ) in human urine. After solid-phase extraction with SPE cartridge, the urine sample was analysed on a C-18 column (Symmetry 3.5 mu m, 50 x 4.6 mm i.d) interfaced with a triple quadrupole tandem mass spectrometer. Positive electrospray ionization was employed as the ionization source. The mobile phase consisted of ammonium acetate (pH 7.8)-acetonitrile (10:90, v/v). The method was linear over a concentration range of 1-100 ngml(-1). The lower limit of quantitation was 1 ngml(-1). The intra-day and inter-day relative standard deviation across three validation runs over the entire concentration range was < 11.5 %. The accuracy determined at three concentrations (8.0, 50.0 and 85.0 ngml(-1) OLZ) was within +/- 1.21 % in terms of relative errors.

Continuous beam of laser-cooled Yb atoms

We demonstrate the launching of laser-cooled Yb atoms in a continuous atomic beam. The continuous cold beam has significant advantages over the more-common pulsed fountain, which was also demonstrated by us recently. The cold beam is formed in the following steps: i) atoms from a thermal beam are first Zeeman-slowed to a small final velocity; ii) the slowed atoms are captured in a two-dimensional magneto-optic trap (2D-MOT); and iii) atoms are launched continuously in the vertical direction using two sets of moving-molasses beams, inclined at +/- 15 degrees to the vertical. The cooling transition used is the strongly allowed S-1(0) -> P-1(1) transition at 399 nm. We capture about 7x10(6) atoms in the 2D-MOT, and then launch them with a vertical velocity of 13m/s at a longitudinal temperature of 125(6) mK. Copyright (C) EPLA, 2013

Single-step synthesis of internally functionalizable hyperbranched polyethers

Radical catalyzed thiol-ene reaction has become a useful alternative to the Huisgen-type azide-yne click reaction as it helps expand the variability in reaction conditions as well as the range of clickable entities. In this study, the direct generation of a hyperbranched polyether (HBPE) having decyl units at the periphery and a pendant allyl group on every repeat unit of the polymer backbone is described; the allyl groups serve as a reactive handle for postpolymerization modifications and permits the generation of a variety of internally functionalized HBPEs. In this design, the AB(2) monomer carries two decylbenzyl ether units (B-functionality), an aliphatic OH (A-functionality) and a pendant allyl group within the spacer segment; polymerization of the monomer readily occurs at 150 degrees C via melt transetherification process by continuous removal of 1-decanol under reduced pressure. The resulting HBPE has a hydrophobic periphery due to the presence of numerous decyl chains, while the allyl groups that remain unaffected during the melt polymerization provides an opportunity to install a variety of functional groups within the interior; thiol-ene click reaction with two different thiols, namely 3-mercaptopropionic acid and mercaptosuccinic acid, generated interesting amphiphilic structures. Preliminary field emission scanning electron microscope (FESEM) and Atomic Force Microscopy (AFM) imaging studies reveal the formation of fairly uniform spherical aggregates in water with sizes ranging from 200 to 400 nm; this suggests that these amphiphilic HBPs is able to reconfigure to generate jellyfish-like conformations that subsequently aggregate in an alkaline medium. The internal allyl functional groups were also used to generate intramolecularly core-crosslinked HBPEs, by the use of dithiol crosslinkers; gel permeation chromatography traces provided clear evidence for reduction in the size after crosslinking. In summary, we have developed a simple route to prepare core-clickable HBPEs and have demonstrated the quantitative reaction of the allyl groups present within the interior of the polymers; such HB polymeric systems that carry numerous functional groups within the core could have interesting applications in analyte sequestration and possibly sensing, especially from organic media. (c) 2013 Wiley Periodicals, Inc. J. Polym. Sci., Part A: Polym. Chem. 2013, 51, 4125-4135

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.

Rapid determination of main constituents of packed juices by reverse phase-high performance liquid chromatography: an insight in to commercial fruit drinks

The present work reports the compositional analysis of thirteen different packed fruit juices using high performance liquid chromatography (HPLC). Vitamin C, organic acids (citric and malic) and sugars (fructose, glucose and sucrose) were separated, analyzed and quantified using different reverse phase methods. A new rapid reverse phase HPLC method was developed for routine analysis of vitamin C in fruit juices. The precision results of the methods showed that the relative standard deviations of the repeatability and reproducibility were < 0.05 and < 0.1 respectively. Correlation coefficient of the calibration models developed was found to be higher than 0.99 in each case. It has been found that the content of Vitamin C was less variable amongst different varieties involved in the study. It is also observed that in comparison to fresh juices, the packed juices contain lesser amounts of vitamin C. Citric acid was found as the major organic acids present in packed juices while maximum portion of sugars was of sucrose. Comparison of the amount of vitamin C, organic acids and sugars in same fruit juice of different commercial brands is also reported.

Risk-sensitive control of continuous time Markov chains

We study risk-sensitive control of continuous time Markov chains taking values in discrete state space. We study both finite and infinite horizon problems. In the finite horizon problem we characterize the value function via Hamilton Jacobi Bellman equation and obtain an optimal Markov control. We do the same for infinite horizon discounted cost case. In the infinite horizon average cost case we establish the existence of an optimal stationary control under certain Lyapunov condition. We also develop a policy iteration algorithm for finding an optimal control.