Race Detection for Android Applications

Programming environments for smartphones expose a concurrency model that combines multi-threading and asynchronous event-based dispatch. While this enables the development of efficient and feature-rich applications, unforeseen thread interleavings coupled with non-deterministic reorderings of asynchronous tasks can lead to subtle concurrency errors in the applications. In this paper, we formalize the concurrency semantics of the Android programming model. We further define the happens-before relation for Android applications, and develop a dynamic race detection technique based on this relation. Our relation generalizes the so far independently studied happens-before relations for multi-threaded programs and single-threaded event-driven programs. Additionally, our race detection technique uses a model of the Android runtime environment to reduce false positives. We have implemented a tool called DROIDRACER. It generates execution traces by systematically testing Android applications and detects data races by computing the happens-before relation on the traces. We analyzed 1 5 Android applications including popular applications such as Facebook, Twitter and K-9 Mail. Our results indicate that data races are prevalent in Android applications, and that DROIDRACER is an effective tool to identify data races.

Long-term effects of Macroternies termites, herbivores and annual early fire on woody undergrowth community in Sudanian woodland, Burkina Faso

Termites, herbivores and fire are recognized as major guilds that structure woody plant communities in African savanna and woodland ecosystems. An understanding of their interaction is crucial to design appropriate management regimes. The aim of this study was to evaluate the long-term impacts of herbivore, fire and termite activities on regeneration of trees. Permanent experimental quadrats were established in 1992 in the Sudanian woodland of Burkina Faso subjected to grazing by livestock and annual early fire and the control. Within the treatment quadrats, an inventory of the woody undergrowth community was conducted on termitaria occupied by Macrotermes subhyalinus, extended termitosphere (within 5 m radius from the mound base) and adjacent area (beyond 5 m from the mound base). Hierarchical analysis was performed to determine significant differences in species richness, abundance and diversity indices among vegetation patches within fire and herbivory treatments. Grazed quadrats had significantly (P < 0.001) more species and stem density of woody undergrowth than non-grazed quadrats but maintained similar level of species richness and stem density of woody undergrowth on termitaria. There were not significant differences (P>0.05) in species richness and stem density between burnt and unburnt quadrats. Termitaria supported a highly diverse woody undergrowth with higher stem density than either the extended termitosphere or rest of quadrats. The density of woody undergrowth was significantly related with mature trees of selected species on termitaria (R-2 = 0.593; P<0.001) than that on the extended termitosphere (R-2 = 0.333; P<0.001) and adjacent area (R-2 = 0.197; P<0.001). It can be concluded that termites facilitate the regeneration of woody species while grazing and annual early fire play a minor role in the regeneration of woody species. The current policy that prohibits grazing should be revised to accommodate the interests of livestock herders. (C) 2014 Elsevier GmbH. All rights reserved.

Regeneration of Juvenile Woody Plants after Fire in a Seasonally Dry Tropical Forest of Southern India

Woody tree species in seasonally dry tropical forests are known to have traits that help them to recover from recurring disturbances such as fire. Two such traits are resprouting and rapid post-fire growth. We compared survival and growth rates of regenerating small-sized individuals (juveniles) of woody tree species after dry season fire (February-March) at eight adjacent pairs of burnt and unburnt transects in a seasonally dry tropical forest in southern India. Juveniles were monitored at 3-mo intervals between August 2009 and August 2010. High juvenile survivorship (>95%) was observed in both burnt and unburnt areas. Growth rates of juveniles, analyzed at the community level as well as for a few species individually (especially fast-growing ones), were distinctly higher in burnt areas compared to unburnt areas after a fire event, particularly during the pre-monsoon season immediately after a fire. Rapid growth by juveniles soon after a fire may be due to lowered competition from other vegetative forms such as grasses, possibly aided by the availability of resources stored belowground. Such an adaptation would allow a juvenile bank to be retained in the understory of a dry forest, from where individuals can grow to a possible fire-tolerant size during favorable conditions.

Three-degree-of-freedom Parallel Manipulator to Track the Sun for Concentrated Solar Power Systems

In concentrated solar power(CSP) generating stations, incident solar energy is reflected from a large number of mirrors or heliostats to a faraway receiver. In typical CSP installations, the mirror needs to be moved about two axes independently using two actuators in series with the mirror effectively mounted at a single point. A three degree-of-freedom parallel manipulator, namely the 3-RPS parallel manipulator, is proposed to track the sun. The proposed 3-RPS parallel manipulator supports the load of the mirror, structure and wind loading at three points resulting in less deflection, and thus a much larger mirror can be moved with the required tracking accuracy and without increasing the weight of the support structure. The kinematics equations to determine motion of the actuated prismatic joints in the 3-RPS parallel manipulator such that the sun's rays are reflected on to a stationary receiver are developed. Using finite element analysis, it is shown that for same sized mirror, wind loading and maximum deflection requirement, the weight of the support structure is between 15% and 60% less with the 3-RPS parallel manipulator when compared to azimuth-elevation or the target-aligned configurations.

The Mach reflection of a detonation based on soot track measurements

This paper presents a series of soot tracks formed by gaseous detonation waves diffracting around wedges with different wedge angles. These cellular structure patterns describe the Mach-reflection processes of a detonation and reveal some unique characteristics. They can be used to analyze the relationship between the trajectory angle of the triple point, wedge angle, and initial pressure in Mach reflection. Compared to the Mach-reflected one-dimensional shock wave in nonreactive air, all these unique characteristics for a Mach-reflected detonation should be attributed to the transverse-wave structure of the detonation front; meanwhile, the precursor shock wave and transverse wave influence the Mach-reflected detonation, respectively. The experimental results support the recently published numerical simulation of this complex phenomenon.

Can frequency diversity provide performance gains for WSNs at 2.4GHz for the fire hydrant to above ground channel

Wireless Sensor Networks (WSNs) which utilise IEEE 802.15.4 technology offer the potential for low cost deployment and maintenance compared with conventional wired sensor networks, enabling effective and efficient condition monitoring of aged civil engineering infrastructure. We will address wireless propagation for a below to above ground scenario where one of the wireless nodes is located in a below ground fire hydrant chamber to permit monitoring of the local water distribution network. Frequency Diversity (FD) is one method that can be used to combat the damaging effects of multipath fading and so improve the reliability of radio links. However, no quantitative investigation concerning the potential performance gains from the use of FD at 2.4GHz is available for the outlined scenario. In this paper, we try to answer this question by performing accurate propagation measurements using modified and calibrated off-the-shelf 802.15.4 based sensor nodes. These measurement results are also compared with those obtained from simulations that employ our Modified 2D Finite-Difference Time-Domain (FDTD) approach. ©2009 IEEE.

A Bayesian approach to tracking in single molecule fluorescence microscopy

Using fluorescence microscopy with single molecule sensitivity it is now possible to follow the movement of individual fluorophore tagged molecules such as proteins and lipids in the cell membrane with nanometer precision. These experiments are important as they allow many key biological processes on the cell membrane and in the cell, such as transcription, translation and DNA replication, to be studied at new levels of detail. Computerized microscopes generate sequences of images (in the order of tens to hundreds) of the molecules diffusing and one of the challenges is to track these molecules to obtain reliable statistics such as speed distributions, diffusion patterns, intracellular positioning, etc. The data set is challenging because the molecules are tagged with a single or small number of fluorophores, which makes it difficult to distinguish them from the background, the fluorophore bleaches irreversibly over time, the number of tagged molecules are unknown and there is occasional loss of signal from the tagged molecules. All these factors make accurate tracking over long trajectories difficult. Also the experiments are technically difficulty to conduct and thus there is a pressing need to develop better algorithms to extract the maximum information from the data. For this purpose we propose a Bayesian approach and apply our technique to synthetic and a real experimental data set.

PICES-GLOBEC International Program on Climate Change and Carrying Capacity: Report of the PICES 2002 Volunteer Observing Ship Workshop.

On April 4-5, 2002, the PICES MONITOR Task Team, the PICES Continuous Plankton Recorder (CPR) Advisory Panel, and the Exxon Valdez Oil Spill Trustee Council’s Gulf Ecosystem Monitoring (GEM) program convened a workshop in Seattle, U.S.A., to consider enhanced instrumentation for volunteer observing ships (VOS), particularly instruments to complement CPR data. (PDF contains 44 pages)

Dynamic optimization of track components to minimize rail corrugation

In this paper, the influence on corrugation of the most significant track parameters has been examined. After this parametric study, the optimization of the track parameters to minimize the undulatory wear growth has been achieved. Finally, the influence of the dispersion of the track and contact parameters on corrugation growth has been studied. A method has been developed to obtain an optimal solution of the track parameters which minimizes corrugation growth, thus ensuring that this solution remains optimum despite dispersion of track parameters and wheel-rail contact uncertainties. This work is based on the computer application RACING (RAil Corrugation INitiation and Growth) which has been developed by the authors to predict rail corrugation features.

System requirement report for ‘Level 2’: national management institutions, Fisheries Department in Cambodia

(51 p.)

Channel Islands marine protected areas first 5 years of monitoring: 2003-2008 [Report produced by the California Department of Fish and Game in collaboration with the Partnership for Interdisciplinary Studies of Coastal Oceans (PISCO), Channel Islands National Marine Sanctuary, and Channel Islands National Park]

The Channel Islands—sometimes called the Galapagos of North America—are known for their great beauty, rich biodiversity, cultural heritage, and recreational opportunities. In 1980, in recognition of the islands’ importance, the United States Congress established a national park encompassing 5 of California’s Channel Islands (Santa Barbara, Anacapa, Santa Cruz, Santa Rosa, and San Miguel Islands) and waters within 1 nautical mile of the islands. In the same year, Congress declared a national marine sanctuary around each of these islands, including waters up to 6 nautical miles offshore. Approximately 60,000 people visit the Channel Islands each year for aquatic recreation such as fishing, sailing, kayaking, wildlife watching, surfing, and diving. Another 30,000 people visit the islands for hiking, camping, and sightseeing. Dozens of commercial fishing boats based in Santa Barbara, Ventura, Oxnard, and other ports go to the Channel Islands to catch squid, spiny lobster, sea urchin, rockfish, crab, sheephead, flatfish, and sea cucumber, among other species. In the past few decades, advances in fishing technology and the rising number of fishermen, in conjunction with changing ocean conditions and diseases, have contributed to declines in some marine fishes and invertebrates at the Channel Islands. In 1998, citizens from Santa Barbara and Ventura proposed establishment of no-take marine reserves at the Channel Islands, beginning a 4-year process of public meetings, discussions, and scientific analyses. In 2003, the California Fish and Game Commission designated a network of marine protected areas (MPAs) in state waters around the northern Channel Islands. In 2006 and 2007, the National Oceanic and Atmospheric Administration (NOAA) extended the MPAs into the national marine sanctuary’s deeper, federal waters. To determine if the MPAs are protecting marine species and habitats, scientists are monitoring ecological changes. They are studying changes in habitats; abundance and size of species of interest; the ocean food web and ecosystem; and movement of fish and invertebrates from MPAs to surrounding waters. Additionally, scientists are monitoring human activities such as commercial and recreational fisheries, and compliance with MPA regulations. This booklet describes some results from the first 5 years of monitoring the Channel Islands MPAs. Although 5 years is not long enough to determine if the MPAs will accomplish all of their goals, this booklet offers a glimpse of the changes that are beginning to take place and illustrates the types of information that will eventually be used to assess the MPAs’ effectiveness. (PDF contains 24 pages.)