Counter-free input-determined timed automata

We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal logics in the literature, including MTL. We make use of this characterization to show that MTL+Past satisfies an “ultimate stability” property with respect to periodic sequences of timed words. Our results hold for both the pointwise and continuous semantics. Along the way we generalize the result of McNaughton-Papert to show a counter-free automata characterization of FO-definable finitely varying functions.

Impact of Sulphate counter ion in the migration of sodium ion through soils

Laboratory advection-diffusion tests are performed on two regional soils-Brown Earth and Red Earth-in order to assess their capacity to control contaminant migration with synthetic contaminant solution of sodium sulphate with sodium concentration of 1000 mg/L. The test was designed to study the transport/attenuation behaviour of sodium in the presence of sulphate. Effective diffusion coefficient (De) that takes into consideration of attenuation processes is used. Cation exchange capacity is an important factor for the attenuation of cationic species. Monovalent sodium ion cannot usually replace other cations and the retention of sodium ion is very less. This is particularly true when chloride is anion is solution. However, sulphate is likely to play a role in the attenuation of sodium. Cation exchange capacity and type of exchangeable ions of soils are likely to play an important role. The effect of sulphate ions on the effective diffusion coefficient of sodium, in two different types of soils, of different cation exchange capacity has been studied. The effective diffusion coefficients of sodium ion for both the soils were calculated using Ogata Bank’s equation. It was shown that effective diffusion coefficient of sodium in the presence of sulphate is lower for Brown Earth than for Red Earth due to exchange of sodium with calcium ions from the exchangeable complex of clay. The soil with the higher cation exchange retained more sodium. Consequently, the breakthrough times and the number of pore volumes of sodium ion increase with the cation exchange capacity of soil.

Dye sensitized solar cell based on platinum decorated multiwall carbon nanotubes as catalytic layer on the counter electrode

In this study we have employed multiwall carbon nanotubes (MWCNT), decorated with platinum as catalytic layer for the reduction of tri-iodide ions in dye sensitized solar cell (DSSC). MWCNTs have been prepared by a simple one step pyrolysis method using ferrocene as the catalyst and xylene as the carbon source. Platinum decorated MWCNTs have been prepared by chemical reduction method. The as prepared MWCNTs and Pt/MWCNTs have been characterized by X-ray diffraction (XRD), scanning electron microscopy (SEM) and transmission electron microscopy (TEM). In combination with a dye adsorbed TiO(2) photoanode and an organic liquid electrolyte, Pt/MWCNT composite showed an enhanced short circuit current density of 16.12 mA/cm(2) leading to a cell efficiency of 6.50% which is comparable to that of Platinum. (C) 2011 Elsevier Ltd. All rights reserved.

Unstable m=1 modes of counter-rotating Keplerian discs

We study the linear m= 1 counter-rotating instability in a two-component, nearly Keplerian disc. Our goal is to understand these slow modes in discs orbiting massive black holes in galactic nuclei. They are of interest not only because they are of large spatial scale and can hence dominate observations but also because they can be growing modes that are readily excited by accretion events. Self-gravity being non-local, the eigenvalue problem results in a pair of coupled integral equations, which we derive for a two-component softened gravity disc. We solve this integral eigenvalue problem numerically for various values of mass fraction in the counter-rotating component. The eigenvalues are in general complex, being real only in the absence of the counter-rotating component, or imaginary when both components have identical surface density profiles. Our main results are as follows: (i) the pattern speed appears to be non-negative, with the growth (or damping) rate being larger for larger values of the pattern speed; (ii) for a given value of the pattern speed, the growth (or damping) rate increases as the mass in the counter-rotating component increases; (iii) the number of nodes of the eigenfunctions decreases with increasing pattern speed and growth rate. Observations of lopsided brightness distributions would then be dominated by modes with the least number of nodes, which also possess the largest pattern speeds and growth rates.

Calibration and linearity verification of capacitance type cryo level indicators using cryogenically multiplexed diode array

In space application the precision level measurement of cryogenic liquids in the storage tanks is done using triple redundant capacitance level sensor, for control and safety point of view. The linearity of each sensor element depends upon the cylindricity and concentricity of the internal and external electrodes. The complexity of calibrating all sensors together has been addressed by two step calibration methodology which has been developed and used for the calibration of six capacitance sensors. All calibrations are done using Liquid Nitrogen (LN2) as a cryogenic fluid. In the first step of calibration, one of the elements of Liquid Hydrogen (LH2) level sensor is calibrated using 700mm eleven point discrete diode array. Four wire method has been used for the diode array. Thus a linearity curve for a single element of LH2 is obtained. In second step of calibration, using the equation thus obtained for the above sensor, it is considered as a reference for calibrating remaining elements of the same LH2 sensor and other level sensor (either Liquid Oxygen (LOX) or LH2). The elimination of stray capacitance for the capacitance level probes has been attempted. The automatic data logging of capacitance values through GPIB is done using LabVIEW 8.5.

Trends in aerosol optical depth over Indian region: Potential causes and impact indicators

The first regional synthesis of long-term (back to similar to 25 years at some stations) primary data (from direct measurement) on aerosol optical depth from the ARFINET (network of aerosol observatories established under the Aerosol Radiative Forcing over India (ARFI) project of Indian Space Research Organization over Indian subcontinent) have revealed a statistically significant increasing trend with a significant seasonal variability. Examining the current values of turbidity coefficients with those reported similar to 50 years ago reveals the phenomenal nature of the increase in aerosol loading. Seasonally, the rate of increase is consistently high during the dry months (December to March) over the entire region whereas the trends are rather inconsistent and weak during the premonsoon (April to May) and summer monsoon period (June to September). The trends in the spectral variation of aerosol optical depth (AOD) reveal the significance of anthropogenic activities on the increasing trend in AOD. Examining these with climate variables such as seasonal and regional rainfall, it is seen that the dry season depicts a decreasing trend in the total number of rainy days over the Indian region. The insignificant trend in AOD observed over the Indo-Gangetic Plain, a regional hot spot of aerosols, during the premonsoon and summer monsoon season is mainly attributed to the competing effects of dust transport and wet removal of aerosols by the monsoon rain. Contributions of different aerosol chemical species to the total dust, simulated using Goddard Chemistry Aerosol Radiation and Transport model over the ARFINET stations, showed an increasing trend for all the anthropogenic components and a decreasing trend for dust, consistent with the inference deduced from trend in Angstrom exponent.

Terbium(III)-cholate functionalized vesicles as luminescent indicators for the enzymatic conversion of dihydroxynaphthalene diesters

The phosphorescence intensity of unilamellar DOPC vesicles with embedded Tb3+-cholate complexes depends on the concentration of dihydroxynaphthalene (DHN) as sensitizer in solution. This was used to monitor the enzymatic conversion of DHN esters or DHN glucosides by enzymes in aqueous buffered solution.

Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis

Counter systems are a well-known and powerful modeling notation for specifying infinite-state systems. In this paper we target the problem of checking liveness properties in counter systems. We propose two semi decision techniques towards this, both of which return a formula that encodes the set of reachable states of the system that satisfy a given liveness property. A novel aspect of our techniques is that they use reachability analysis techniques, which are well studied in the literature, as black boxes, and are hence able to compute precise answers on a much wider class of systems than previous approaches for the same problem. Secondly, they compute their results by iterative expansion or contraction, and hence permit an approximate solution to be obtained at any point. We state the formal properties of our techniques, and also provide experimental results using standard benchmarks to show the usefulness of our approaches. Finally, we sketch an extension of our liveness checking approach to check general CTL properties.

Influence of Surface Texture and Roughness of Softer and Harder Counter Materials on Friction During Sliding

Surface texture influences friction during sliding contact conditions. In the present investigation, the effect of surface texture and roughness of softer and harder counter materials on friction during sliding was analyzed using an inclined scratch testing system. In the experiments, two test configurations, namely (a) steel balls against aluminum alloy flats of different surface textures and (b) aluminum alloy pins against steel flats of different surface textures, are utilized. The surface textures were classified into unidirectionally ground, 8-ground, and randomly polished. For a given texture, the roughness of the flat surfaces was varied using grinding or polishing methods. Optical profilometer and scanning electron microscope were used to characterize the contact surfaces before and after the experiments. Experimental results showed that the surface textures of both harder and softer materials are important in controlling the frictional behavior. The softer material surface textures showed larger variations in friction between ground and polished surfaces. However, the harder material surface textures demonstrated a better control over friction among the ground surfaces. Although the effect of roughness on friction was less significant when compared to textures, the harder material roughness showed better correlations when compared to the softer material roughness.

Ecology of acoustic signalling and the problem of masking interference in insects

The efficiency of long-distance acoustic signalling of insects in their natural habitat is constrained in several ways. Acoustic signals are not only subjected to changes imposed by the physical structure of the habitat such as attenuation and degradation but also to masking interference from co-occurring signals of other acoustically communicating species. Masking interference is likely to be a ubiquitous problem in multi-species assemblages, but successful communication in natural environments under noisy conditions suggests powerful strategies to deal with the detection and recognition of relevant signals. In this review we present recent work on the role of the habitat as a driving force in shaping insect signal structures. In the context of acoustic masking interference, we discuss the ecological niche concept and examine the role of acoustic resource partitioning in the temporal, spatial and spectral domains as sender strategies to counter masking. We then examine the efficacy of different receiver strategies: physiological mechanisms such as frequency tuning, spatial release from masking and gain control as useful strategies to counteract acoustic masking. We also review recent work on the effects of anthropogenic noise on insect acoustic communication and the importance of insect sounds as indicators of biodiversity and ecosystem health.

Monitoring urbanization and its implications in a mega city from space: Spatiotemporal patterns and its indicators

Rapid and invasive urbanization has been associated with depletion of natural resources (vegetation and water resources), which in turn deteriorates the landscape structure and conditions in the local environment. Rapid increase in population due to the migration from rural areas is one of the critical issues of the urban growth. Urbanisation in India is drastically changing the land cover and often resulting in the sprawl. The sprawl regions often lack basic amenities such as treated water supply, sanitation, etc. This necessitates regular monitoring and understanding of the rate of urban development in order to ensure the sustenance of natural resources. Urban sprawl is the extent of urbanization which leads to the development of urban forms with the destruction of ecology and natural landforms. The rate of change of land use and extent of urban sprawl can be efficiently visualized and modelled with the help of geo-informatics. The knowledge of urban area, especially the growth magnitude, shape geometry, and spatial pattern is essential to understand the growth and characteristics of urbanization process. Urban pattern, shape and growth can be quantified using spatial metrics. This communication quantifies the urbanisation and associated growth pattern in Delhi. Spatial data of four decades were analysed to understand land over and land use dynamics. Further the region was divided into 4 zones and into circles of 1 km incrementing radius to understand and quantify the local spatial changes. Results of the landscape metrics indicate that the urban center was highly aggregated and the outskirts and the buffer regions were in the verge of aggregating urban patches. Shannon's Entropy index clearly depicted the outgrowth of sprawl areas in different zones of Delhi. (C) 2014 Elsevier Ltd. All rights reserved.

New single-source precursor for bismuth sulfide and its use as low-cost counter electrode material for dye-sensitized solar cells

One new homoleptic Bi(dtc)(3)] (1) (dtc = 4-hydroxypiperdine dithiocarbamate) has been synthesized and characterized by microanalysis, IR, UV-Vis, H-1 and C-13 spectroscopy and X-ray crystallography. The photoluminescence spectrum for the compound in DMSO solution was recorded. The crystal structure of 1 displayed distorted octahedral geometry around the Bi(III) center bonded through sulfur atoms of the dithiocarbamate ligands. TGA indicates that the compound decomposes to a Bi and Bi-S phase system. The Bi and Bi-S obtained from decomposition of the compound have been characterized by pXRD, EDAX and SEM. Solvothermal decomposition of 1 in the absence and presence of two different capping agents yielded three morphologically different Bi2S3 systems which were deployed as counter-electrode in dye-sensitized solar cells (DSSCs). (C) 2015 Elsevier B.V. All rights reserved.

Robust, metallic Pd17Se15 and Pd7Se4 phases from a single source precursor and their use as counter electrodes in dye sensitized solar cells

Thin films of conducting palladium selenide phases (Pd17Se15 and Pd7Se4) are prepared using a single source molecular precursor by thermolysis. Varying the mole ratios of palladium and selenium precursors results in palladium organo-selenolate complexes which on thermolysis at different temperatures yield Pd17Se15 and Pd7Se4 phases that are very stable and adherent to the substrate. The organo-selenolate complexes are characterized using small angle XRD, Se-77 NMR and thermogravimetric analysis (TGA). The palladium selenide films are characterized by various techniques such as XRD, XPS, TEM and SEM. Electrical conductivities of the films are determined using the four probe method. The strong adherence of the films to glass substrates coupled with high corrosion resistant behavior towards strong acid and alkaline environments render them to be very effective as electrocatalysts. The catalytic activity towards the I-3(-)/I- redox couple, which is an important reaction in the regeneration of the dye in a dye-sensitized solar cell, is studied. Between the two phases, the Pd17Se15 film shows superior activity as the counter electrode for dye sensitized solar cells with a photocurrent conversion efficiency of 7.45%.