Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic

A framework based on the notion of "conflict-tolerance" was proposed in as a compositional methodology for developing and reasoning about systems that comprise multiple independent controllers. A central notion in this framework is that of a "conflict-tolerant" specification for a controller. In this work we propose a way of defining conflict-tolerant real-time specifications in Metric Interval Temporal Logic (MITL). We call our logic CT-MITL for Conflict-Tolerant MITL. We then give a clock optimal "delay-then-extend" construction for building a timed transition system for monitoring past-MITL formulas. We show how this monitoring transition system can be used to solve the associated verification and synthesis problems for CT-MITL.

Examining the effects of species richness on community stability: an assembly model approach

We build dynamic models of community assembly by starting with one species in our model ecosystem and adding colonists. We find that the number of species present first increases, then fluctuates about some level. We ask: how large are these fluctuations and how can we characterize them statistically? As in Robert May's work, communities with weaker interspecific interactions permit a greater number of species to coexist on average. We find that as this average increases, however, the relative variation in the number of species and return times to mean community levels decreases. In addition, the relative frequency of large extinction events to small extinction events decreases as mean community size increases. While the model reproduces several of May's results, it also provides theoretical support for Charles Elton's idea that diverse communities such as those found in the tropics should be less variable than depauperate communities such as those found in arctic or agricultural settings.

Phase diagram of a two-species lattice model with a linear instability

We discuss the properties of a one-dimensional lattice model of a driven system with two species of particles in which the mobility of one species depends on the density of the other. This model was introduced by Lahiri and Ramaswamy (Phys. Rev. Lett., 79, 1150 (1997)) in the context of sedimenting colloidal crystals, and its continuum version was shown to exhibit an instability arising from linear gradient couplings. In this paper we review recent progress in understanding the full phase diagram of the model. There are three phases. In the first, the steady state can be determined exactly along a representative locus using the condition of detailed balance. The system shows phase separation of an exceptionally robust sort, termed strong phase separation, which survives at all temperatures. The second phase arises in the threshold case where the first species evolves independently of the second, but the fluctuations of the first influence the evolution of the second, as in the passive scalar problem. The second species then shows phase separation of a delicate sort, in which long-range order coexists with fluctuations which do not damp down in the large-size limit. This fluctuation-dominated phase ordering is associated with power law decays in cluster size distributions and a breakdown of the Porod law. The third phase is one with a uniform overall density, and along a representative locus the steady state is shown to have product measure form. Density fluctuations are transported by two kinematic waves, each involving both species and coupled at the nonlinear level. Their dissipation properties are governed by the symmetries of these couplings, which depend on the overall densities. In the most interesting case,, the dissipation of the two modes is characterized by different critical exponents, despite the nonlinear coupling.

The diatom genus Gomphonema Ehrenberg in India: Checklist and description of three new species

We have compiled a checklist of Gomphonema Ehrenberg taxa reported previously from India. From forty-nine references, over 100 Gomphonema taxa have been reported, including 39 new taxon descriptions. In addition to these previous reports of Gomphonema taxa, we describe three new species. G. gandhii Karthick & Kociolek, sp. nov., G. difformum Karthick & Kociolek, sp. nov. and G. diminutum Karthick & Kociolek, sp. nov., all from hill streams of Western Ghats, India. Frustule morphology, as studied in light and scanning electron microscopy, is compared with that of other recently described Gomphonema species from Africa and Asia. All three Indian species have distinctly dilated proximal raphe ends, in addition to differentiated apical pore fields, septa, pseudosepta and a round external stigma! opening. Gomphonema gandhii is linear-lanceolate-clavate, has a wide axial area, and is 19-51 mu m long, 3-7 mu m broad. Gomphonema difformum is smaller than G. gandhii, and has a hyaline area around the headpole. Gomphonema diminuta is much smaller and narrower than the other two species. These species are distinct from their closest congeners by their sizes, shape and structure of the head pole, and striae densities. All these species were described from low nutrient, neutral, low ionic content streams of Western Ghats. As most other species described from tropical region these three species appear to be endemic to India. Moreover, within India they have hitherto only been found in Western Ghats, one of the twelve biodiversity hotspots of the World.

Fault-Tolerant Average Execution Time Optimization for General Purpose Multi-Processor System-on Chips

Fault-tolerance is due to the semiconductor technology development important, not only for safety-critical systems but also for general-purpose (non-safety critical) systems. However, instead of guaranteeing that deadlines always are met, it is for general-purpose systems important to minimize the average execution time (AET) while ensuring fault-tolerance. For a given job and a soft (transient) error probability, we define mathematical formulas for AET that includes bus communication overhead for both voting (active replication) and rollback-recovery with checkpointing (RRC). And, for a given multi-processor system-on-chip (MPSoC), we define integer linear programming (ILP) models that minimize AET including bus communication overhead when: (1) selecting the number of checkpoints when using RRC, (2) finding the number of processors and job-to-processor assignment when using voting, and (3) defining fault-tolerance scheme (voting or RRC) per job and defining its usage for each job. Experiments demonstrate significant savings in AET.

Flux Partitioning of Species Approach in Binary Interdiffusion Process

Validation of the flux partitioning of species model has been illustrated. Various combinations of inequality expression for the fluxes of species A and B in two successively grown hypothetical intermetallic phases in the interdiffusion zone have been considered within the constraints of this concept. Furthermore, ratio of intrinsic diffusivities of the species A and B in those two phases has been correlated in four different cases. Moreover, complete and or partial validation or invalidation of this model with respect to both the species, has been proven theoretically and also discussed with the Co-Si system as an example.

Fault-tolerant Video on Demand in RSerPool Architecture

With the advent of Internet, video over IP is gaining popularity. In such an environment, scalability and fault tolerance will be the key issues. Existing video on demand (VoD) service systems are usually neither scalable nor tolerant to server faults and hence fail to comply to multi-user, failure-prone networks such as the Internet. Current research areas concerning VoD often focus on increasing the throughput and reliability of single server, but rarely addresses the smooth provision of service during server as well as network failures. Reliable Server Pooling (RSerPool), being capable of providing high availability by using multiple redundant servers as single source point, can be a solution to overcome the above failures. During a possible server failure, the continuity of service is retained by another server. In order to achieve transparent failover, efficient state sharing is an important requirement. In this paper, we present an elegant, simple, efficient and scalable approach which has been developed to facilitate the transfer of state by the client itself, using extended cookie mechanism, which ensures that there is no noticeable change in disruption or the video quality.

Mini Forest - An experiment to evaluate the adaptability of Western Ghats species for afforestation

Saplings of forty nine species of trees from Western Ghats forests were planted on a 1.5 hectare tract of Deccan plateau (in the campus of Indian Institute of Science, Bangalore) and their performance monitored for 23 years. The objective was to evaluate their adaptability to a habitat and conditions apparently alien to these species. The study was also meant to understand the linkages of these trees with the surrounding environment. Contrary to the belief that tree species are very sensitive to change of location and conditions, the introduced trees have grown as good as they would do in their native habitat and maintained their phenology. Further, they have grown in perfect harmony with trees native to the location. The results show that the introduced species are opportunistic and readily acclimatized and grew well overcoming the need for the edaphic and other factors that are believed to be responsible for their endemicity. Besides ex situ conservation, the creation of miniforest has other accrued ecosystem benefits. For instance, the ground water level has risen and the ambient temperature has come down by two degrees.

Molecular Identification and Phylogeny of Bactrocera Species (Diptera: Tephritidae)

Fruit flies that belong to the genus Bactrocera (Diptera: Tephritidae) are major invasive pests of agricultural crops in Asia and Australia. Increased transboundary movement of agricultural produce has resulted in the chance introduction of many invasive species that include Bactrocera mainly as immature stages. Therefore quick and accurate species diagnosis is important at the port of entry, where morphological identification has a limited role, as it requires the presence of adult specimens and the availability of a specialist. Unfortunately when only immature stages are present, a lacunae in their taxonomy impedes accurate species diagnosis. At this juncture, molecular species diagnostics based on COX-I have become handy, because diagnosis is not limited by developmental stages. Yet another method of quick and accurate species diagnosis for Bactrocera spp. is based on the development of species-specific markers. This study evaluated the utility of COX-I for the quick and accurate species diagnosis of eggs, larvae, pupae and adults of B. zonata Saunders, B. tau Walker, and B. dorsalis Hendel. Furthermore the utility of species-specific markers in differentiating B. zonata (500bp) and B. tau (220bp) was shown. Phylogenetic relationships among five subgenera, viz., Austrodacus, Bactrocera, Daculus, Notodacus and Zeugodacus have been resolved employing the 5' region of COX-I (1490-2198); where COX-I sequences for B. dorsalis Hendel, B. tau Walker, B. correcta Bezzi and B. zonata Saunders from India were compared with other NCBI-GenBank accessions. Phylogenetic analysis employing Maximum Parsimony (MP) and Bayesian phylogenetic approach (BP) showed that the subgenus Bactrocera is monophyletic.

Testing concordance in species boundaries using acoustic, morphological, and molecular data in the field cricket genus Itaropsis (Orthoptera: Grylloidea, Gryllidae: Gryllinae)

In most taxa, species boundaries are inferred based on differences in morphology or DNA sequences revealed by taxonomic or phylogenetic analyses. In crickets, acoustic mating signals or calling songs have species-specific structures and provide a third data set to infer species boundaries. We examined the concordance in species boundaries obtained using acoustic, morphological, and molecular data sets in the field cricket genus Itaropsis. This genus is currently described by only one valid species, Itaropsis tenella, with a broad distribution in western peninsular India and Sri Lanka. Calling songs of males sampled from four sites in peninsular India exhibited significant differences in a number of call features, suggesting the existence of multiple species. Cluster analysis of the acoustic data, molecular phylogenetic analyses, and phylogenetic analyses combining all data sets suggested the existence of three clades. Whatever the differences in calling signals, no full congruence was obtained between all the data sets, even though the resultant lineages were largely concordant with the acoustic clusters. The genus Itaropsis could thus be represented by three morphologically cryptic incipient species in peninsular India; their distributions are congruent with usual patterns of endemism in the Western Ghats, India. Song evolution is analysed through the divergence in syllable period, syllable and call duration, and dominant frequency.

India's biodiversity hotspot under anthropogenic pressure: A case study of Nilgiri Biosphere Reserve

This paper presents data on the impact of biotic pressure in terms of grazing by livestock and wood cutting by humans on the plant community in the Nilgiri Biosphere Reserve of India. Grass, and herbaceous plant biomass, number of cattle dung piles, number of woody stems available and damaged by human activities and weed biomass were assessed at different proximity along transects radiating from village-forest boundary to forest interior to measure the ecological impact of livestock grazing and fire wood collection. The grass biomass was positively correlated to overgrazing indicating the adverse effect on natural vegetation by cattle. Woodcutting was intense along the forest boundary and significantly declined as distance increased. Similarly, weed biomass and number of thorny species declined positively with proximity from village-forest boundary and the weed biomass was significantly higher in the pastoral sites compared to residential sites. The results suggest that human impact adversely affects natural vegetation and promotes weed proliferation in forest areas adjoining human settlements in the ecologically important Nilgiri Biosphere Reserve. Continued anthropogenic pressure could cause reduction in fodder availability to large herbivores like elephants, which in turn leads to an increase in human-elephant conflict. (C) 2011 Elsevier GmbH. All rights reserved.