Temporal Logics of Repeating Values

Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecidability. In this article, we study a linear-time temporal logic with past-time operators such that the freeze operator is only used to express that some value from an infinite set is repeated in the future or in the past. Such a restriction has been inspired by a recent work on spatio-temporal logics that suggests such a restricted use of the freeze operator. We show decidability of finitary and infinitary satisfiability by reduction into the verification of temporal properties in Petri nets by proposing a symbolic representation of models. This is a quite surprising result in view of the expressive power of the logic since the logic is closed under negation, contains future-time and past-time temporal operators and can express the nonce property and its negation. These ingredients are known to lead to undecidability with a more liberal use of the freeze quantifier. The article also contains developments about the relationships between temporal logics with the freeze operator and counter automata as well as reductions into first-order logics over data words.

Impact of pit-toilet leachate on groundwater chemistry and role of vadose zone in removal of nitrate and E-coli pollutants in Kolar District, Karnataka, India

Assessment of chemistry of groundwater infiltrated by pit-toilet leachate and contaminant removal by vadose zone form the focus of this study. The study area is Mulbagal Town in Karnataka State, India. Groundwater level measurements and estimation of unsaturated permeability indicated that the leachate recharged the groundwater inside the town at the rate of 1 m/day. The average nitrate concentration of groundwater inside the town (148 mg/L) was three times larger than the permissible limit (45 mg/L), while the average nitrate concentration of groundwater outside the town (30 mg/L) was below the permissible limit. The groundwater inside the town exhibited E. coli contamination, while groundwater outside the town was free of pathogen contamination. Infiltration of alkalis (Na+, K+) and strong acids (Cl-, SO4 (2-)) caused the mixed Ca-Mg-Cl type (60 %) and Na-Cl type (28 %) facies to predominate groundwater inside the town, while, Ca-HCO3 (35 %), mixed Ca-Mg-Cl type (35 %) and mixed Ca-Na-HCO3 type (28 %) facies predominated groundwater outside/periphery of town. Reductions in E. coli and nitrate concentrations with vadose zone thickness indicated its participation in contaminant removal. A 4-m thickness of unsaturated sand + soft, disintegrated weathered rock deposit facilitates the removal of 1 log of E. coli pathogen. The anoxic conditions prevailing in the deeper layers of the vadose zone (> 19 m thickness) favor denitrification resulting in lower nitrate concentrations (28-96 mg/L) in deeper water tables (located at depths of -29 to -39 m).

Effect of composition on thermoelectric properties of polycrystalline CrSi2

Ingots with compositions CrSi2-x (with 0 < x < 0.1) were synthesized by vacuum arc melting followed by uniaxial hot pressing for densification. This paper reports the temperature and composition dependence of the electrical resistivity, Seebeck coefficient, and thermal conductivity of CrSi2-x samples in the temperature range of 300 K to 800 K. The silicon-deficient samples exhibited substantial reductions in resistivity and Seebeck coefficient over the measured temperature range due to the formation of metallic secondary CrSi phase embedded in the CrSi2 matrix phase. The thermal conductivity was seen to exhibit a U-shaped curve with respect to x, exhibiting a minimum value at the composition of x = 0.04. However, the limit of the homogeneity range of CrSi2 suppresses any further decrease of the lattice thermal conductivity. As a consequence, the maximum figure of merit of ZT = 0.1 is obtained at 650 K for CrSi1.98.

A strategy-proof and budget-balanced mechanism for carbon footprint reduction by global companies

The problem addressed in this paper is concerned with an important issue faced by any green aware global company to keep its emissions within a prescribed cap. The specific problem is to allocate carbon reductions to its different divisions and supply chain partners in achieving a required target of reductions in its carbon reduction program. The problem becomes a challenging one since the divisions and supply chain partners, being autonomous, may exhibit strategic behavior. We use a standard mechanism design approach to solve this problem. While designing a mechanism for the emission reduction allocation problem, the key properties that need to be satisfied are dominant strategy incentive compatibility (DSIC) (also called strategy-proofness), strict budget balance (SBB), and allocative efficiency (AE). Mechanism design theory has shown that it is not possible to achieve the above three properties simultaneously. In the literature, a mechanism that satisfies DSIC and AE has recently been proposed in this context, keeping the budget imbalance minimal. Motivated by the observation that SBB is an important requirement, in this paper, we propose a mechanism that satisfies DSIC and SBB with slight compromise in allocative efficiency. Our experimentation with a stylized case study shows that the proposed mechanism performs satisfactorily and provides an attractive alternative mechanism for carbon footprint reduction by global companies.

First-Principles Study of Structure, Vibrational, and Elastic Properties of Stoichiometric and Calcium-Deficient Hydroxyapatite

Hydroxyapatite (HAp), a primary constituent of human bone, is usually nonstoichiometric with varying Ca/P molar ratios, with the well-known fact that Ca deficiency can cause marked reductions in its mechanical properties. To gain insights into the mechanism of this degradation, we employ first-principles calculations based on density functional theory and determine the effects of Ca deficiency on structure, vibrational, and elastic properties of HAp. Our simulation results confirm a considerable reduction in the elastic constants of HAp due to Ca deficiency, which was experimentally reported earlier. Stress-induced transformation of the Ca-deficient defected structure into a metastable state upon the application of stress could be a reason for this. Local structural stability of HAp and Ca-deficient HAp structures is assessed with full phonon dispersion studies. Further, specific signatures in the computed vibrational spectra for Ca deficiency in HAp can be utilized in experimental characterization of different types of defected HAp.

Loss of frugivore seed dispersal services under climate change

The capacity of species to track shifting climates into the future will strongly influence outcomes for biodiversity under a rapidly changing climate. However, we know remarkably little about the dispersal abilities of most species and how these may be influenced by climate change. Here we show that climate change is projected to substantially reduce the seed dispersal services provided by frugivorous vertebrates in rainforests across the Australian Wet Tropics. Our model projections show reductions in both median and long-distance seed dispersal, which may markedly reduce the capacity of many rainforest plant species to track shifts in suitable habitat under climate change. However, our analyses suggest that active management to maintain the abundances of a small set of important frugivores under climate change could markedly reduce the projected loss of seed dispersal services and facilitate shifting distributions of rainforest plant species.

Texture transition in cold-rolled nickel-40 wt.% cobalt alloy

The micromechanical aspects of rolling texture development in Ni-40 wt.% Co alloy during very large reductions (up to epsilon(t) = 3.9) have been studied. The alloy showed a typical Cu-type texture up to a true strain of epsilon(t) = 3; however, the texture undergoes an abrupt transition to Bs-type on further rolling to epsilon(t) approximate to 4. (The Bs-type texture, here, comprises almost equal fractions of Goss and Bs components.) Microstructural observations, at early stages, show that deformation is accommodated entirely by slip, and very little presence of deformation twinning is observed to explain the texture transition. However, at much higher reduction levels, micrographs show a high fraction of Cu-type shear bands. These bands are predominantly found in Cu-oriented grains and the crystallites inside the shear bands are preferentially oriented towards Goss, which could explain the final texture evolution. (C) 2014 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.

Influence of yttria and zirconia additions on spark plasma sintering of alumina composites

The mechanisms of densification and creep were examined during spark plasma sintering (SPS) of alumina doped with a low and high level of zirconia or yttria, over a temperature range of 1173-1573 K and stresses between 25 and 100 MPa. Large additions of yttria led clearly to in situ reactions during SPS and the formation of a yttrium-aluminum garnet phase. Dopants generally lead to a reduction in the densification rate, with substantial reductions noted in samples with similar to 5.5 vol% second phase. In contrast to a stress exponent of n similar to 1 for pure alumina, the doped aluminas displayed n similar to 2 corresponding to an interface-controlled diffusion process. The higher activation energies in the composites are consistent with previous data on creep and changes in the interfacial energies. The results reveal a compensation effect, such that an increase in the activation energy is accompanied by a corresponding increase in the pre-exponential term for diffusion.

Hydrogelation of bile acid-peptide conjugates and in situ synthesis of silver and gold nanoparticles in the hydrogel matrix

Fabricating supramolecular hydrogels with embedded metal nanostructures is important for the design of novel hybrid nanocomposite materials for diverse applications such as biosensing and chemosensing platforms, catalytic and antibacterial functional materials etc. Supramolecular self-assembly of bile acid-dipeptide conjugates has led to the formation of new supramolecular hydrogels. Gelation of these molecules depends strongly on the hydrophobic character of the bile acids. The possibility of in situ fabrication of Ag and Au NPs in these supramolecular hydrogels by incorporating Ag+ and Au3+ salts was investigated via photoreduction. Chemical reductions of Ag+ and Au3+ salts in the hydrogels were performed without adding any external stabilizing agents. In this report we have shown that the color, size and shape of silver nanoparticles formed by photoreduction depend on the amino acid residue of the side chain.

Of plants and pikas: evidence for a climate-mediated decline in forage and cache quality

Background: Animals that hoard food to mediate seasonal deficits in resource availability might be particularly vulnerable to climate-mediated reductions in the quality and accessibility of food during the caching season. Central-place foragers might be additionally impacted by climatic constraints on their already restricted foraging range. Aims: We sought evidence for these patterns in a study of the American pika (Ochotona princeps), a territorial, central-place forager sensitive to climate. Methods: Pika food caches and available forage were re-sampled using historical methods at two long-term study sites, to quantify changes over two decades. Taxa that changed in availability or use were analysed for primary and secondary metabolites. Results: Both sites trended towards warmer summers, and snowmelt trended earlier at the lower latitude site. Graminoid cover increased at each site, and caching trends appeared to reflect available forage rather than primary metabolites. Pikas at the lower latitude site preferred species higher in secondary metabolites, known to provide higher-nutrient winter forage. However, caching of lower-nutrient graminoids increased in proportion with graminoid availability at that site. Conclusions: If our results represent trends in climate, cache quality and available forage, we predict that pikas at the lower latitude site will soon face nutritional deficiencies.

Mitigating instability by actuating the swirler in a combustor

Thermoacoustic instability in a lean premixed combustor is a major impediment towards reliable operation of gas turbine engines for both aerospace and land based applications. In this communication, we investigate the following concept: in a laboratory combustor, could the otherwise static swirler be actuated to a rotary motion, such that the higher intensity turbulence and higher swirl number generated in the flame stabilization region might alter the flame position, structure and thereby assist in mitigating thermoacoustic instabilities? Results obtained using microphone and high speed imaging, show prominent reductions in the amplitudes of the first mode of the thermoacoustically unstable flame, with increased rotation rate of the swirler. (C) 2015 The Combustion Institute. Published by Elsevier Inc. All rights reserved.

Theoretical insights on the electro-thermal transport properties of monolayer MoS2 with line defects

Two dimensional (2D) materials demonstrate several novel electrical, mechanical, and thermal properties which are quite distinctive to those of their bulk form. Among many others, one important potential application of the 2D material is its use in the field of energy harvesting. Owing to that, here we present a detailed study on electrical as well as thermal transport of monolayer MoS2, in quasi ballistic regime. Besides the perfect monolayer in its pristine form, we also consider various line defects which have been experimentally observed in mechanically exfoliated MoS2 samples. For calculating various parameters related to the electrical transmission, we employ the non-equilibrium Green's function-density functional theory combination. However, to obtain the phonon transmission, we take help of the parametrized Stillinger-Weber potential which can accurately delineate the inter-atomic interactions for the monolayer MoS2. Due to the presence of line defects, we observed significant reductions in both the charge carrier and the phonon transmissions through a monolayer MoS2 flake. Moreover, we also report a comparative analysis showing the temperature dependency of the thermoelectric figure of merit values, as obtained for the perfect as well as the other defective 2D samples. (C) 2016 AIP Publishing LLC.