Development of an airborne laser bathymeter

An airborne laser depth sounding system was built and taken through a complete series of field tests. Two green laser sources were tried: a pulsed neon laser at 540 nm and a frequency-doubled Nd:YAG transmitter at 532 nm. To obtain a depth resolution of better than 20 cm, the pulses had a duration of 5 to 7 nanoseconds and could be fired up to at rates of 50 pulses per second. In the receiver, the signal was detected by a photomultiplier tube connected to a 28 cm diameter Cassegrainian telescope that was aimed vertically downward. Oscilloscopic traces of the signal reflected from the sea surface and the ocean floor could either be recorded by a movie camera on 35 mm film or digitized into 500 discrete channels of information and stored on magnetic tape, from which depth information could be extracted. An aerial color movie camera recorded the geographic footprint while a boat crew of oceanographers measured depth and other relevant water parameters. About two hundred hours of flight time on the NASA C-54 airplane in the area of Chincoteague, Virginia, the Chesapeake Bay, and in Key West, Florida, have yielded information on the actual operating conditions of such a system and helped to optimize the design. One can predict the maximum depth attainable in a mission by measuring the effective attenuation coefficient in flight. This quantity is four times smaller than the usual narrow beam attenuation coefficient. Several square miles of a varied underwater landscape were also mapped

Disparity of attitudes and practices on a concept of productivity of water in agriculture in the Great Ruaha River Sub-Basin

River basinsWater useProductivityAssessmentIrrigation programs

Formal water rights in rural Tanzania: Deepening the dichotomy?

Water rights / Water law / Water scarcity / Water use / Water users’ associations / Irrigation water / Cost recovery

Disparity of attitudes and practices on a concept of productivity of water in agriculture in the Great Ruaha River sub-basin

StakeholdersWater use efficiencyProductivityIrrigation programs

Simulating Foodborne Pathogens in Poultry Production and Processing to Defend Against Intentional Contamination

There is a lack of data in recent history of food terrorism attacks, and as such, it is difficult to predict its impact. The food supply industry is one of the most vulnerable industries for terrorist threats while the poultry industry is one of the largest food industries in the United States. A small food terrorism attack against a single poultry processing center has the potential to affect a much larger human population than its immediate consumers. In this work, the spread of foodborne pathogens is simulated in a poultry production and processing system to defend against intentional contamination. An agent-based simulated environment that represents the farm, processing plant, homes, and restaurants is developed, which contains both poultry and human agents that move through the system and possibly infect each other. The simulation is run by varying several parameters that include probability of infection if exposed for both poultry and humans. The simulation predicts the number of infected poultry and humans over time

A fatigue multi-site cracks model using coalescence, short and long crack growth laws, for anodized aluminum alloys

It has been shown that decrease of the fatigue life of aluminium alloys treated with anodization can be explained by the degradation of surface condition due to pickling. In order to predict fatigue life of anodized aluminium alloys, a multi-site crack growth model is developed by considering the pickling pits sites as initial flaws from which fatigue cracks develop. A map of the pickled surface is built from topography measurement with a contact profilometer. Then the pits are detected and their sizes are defined (depth, length and width). At the beginning of the calculation, a short crack growth law is used for crack having depths less than grain size. Then Paris long crack growth law is used. The coalescence of cracks is considered when their lengths increased by its crack tip plastic zone are large enough to interact with other neighbouring short cracks. The fatigue life is calculated for Kmax achieving 70 % KIC

Loops under Strategies ... Continued

While there are many approaches for automatically proving termination of term rewrite systems, up to now there exist only few techniques to disprove their termination automatically. Almost all of these techniques try to find loops, where the existence of a loop implies non-termination of the rewrite system. However, most programming languages use specific evaluation strategies, whereas loop detection techniques usually do not take strategies into account. So even if a rewrite system has a loop, it may still be terminating under certain strategies. Therefore, our goal is to develop decision procedures which can determine whether a given loop is also a loop under the respective evaluation strategy. In earlier work, such procedures were presented for the strategies of innermost, outermost, and context-sensitive evaluation. In the current paper, we build upon this work and develop such decision procedures for important strategies like leftmost-innermost, leftmost-outermost, (max-)parallel-innermost, (max-)parallel-outermost, and forbidden patterns (which generalize innermost, outermost, and context-sensitive strategies). In this way, we obtain the first approach to disprove termination under these strategies automatically.Comment: In Proceedings IWS 2010, arXiv:1012.533

Climate and southern Africa's water-energy-food nexus

In southern Africa, the connections between climate and the water-energy-food nexus are strong. Physical and socioeconomic exposure to climate is high in many areas and in crucial economic sectors. Spatial interdependence is also high, driven for example, by the regional extent of many climate anomalies and river basins and aquifers that span national boundaries. There is now strong evidence of the effects of individual climate anomalies, but associations between national rainfall and Gross Domestic Product and crop production remain relatively weak. The majority of climate models project decreases in annual precipitation for southern Africa, typically by as much as 20% by the 2080s. Impact models suggest these changes would propagate into reduced water availability and crop yields. Recognition of spatial and sectoral interdependencies should inform policies, institutions and investments for enhancing water, energy and food security. Three key political and economic instruments could be strengthened for this purpose; the Southern African Development Community, the Southern African Power Pool, and trade of agricultural products amounting to significant transfers of embedded water