Application transfer activity in Missouri

Experimental demonstrations and workshop instructional courses were conducted to transfer the technology of satellite remote sensing to a wide audience of resource managers. This audience included planning commissions, state agencies, federal agencies, and special councils of the Governor. Some of the experiments and workshops are outlined

Applying remote sensing and GIS techniques in solving rural county information needs

The project designed was to acquaint county government officials and their clientele with remote sensing and GIS products that contain information about land conditions and land use. Other users determined through the course of this project were federal agencies working at the county level, agricultural businesses and others in need of spatial information. The specific project objectives were: (1) to investigate the feasibility of using remotely sensed data to identify and quantify specific land cover categories and conditions for purposes of tax assessment, cropland area measurements and land use evaluation; (2) to investigate the use of satellite remote sensing data as an aid in assessing soil management practices; and (3) to evaluate the use of remotely sensed data to assess soil resources and conditions which affect productivity

Mapping land cover from satellite images: A basic, low cost approach

Simple, inexpensive methodologies developed for mapping general land cover and land use categories from LANDSAT images are reported. One methodology, a stepwise, interpretive, direct tracing technique was developed through working with university students from different disciplines with no previous experience in satellite image interpretation. The technique results in maps that are very accurate in relation to actual land cover and relative to the small investment in skill, time, and money needed to produce the products

The Right Mutation Strength for Multi-Valued Decision Variables

The most common representation in evolutionary computation are bit strings. This is ideal to model binary decision variables, but less useful for variables taking more values. With very little theoretical work existing on how to use evolutionary algorithms for such optimization problems, we study the run time of simple evolutionary algorithms on some OneMax-like functions defined over $\Omega = \{0, 1, \dots, r-1\}^n$. More precisely, we regard a variety of problem classes requesting the component-wise minimization of the distance to an unknown target vector $z \in \Omega$. For such problems we see a crucial difference in how we extend the standard-bit mutation operator to these multi-valued domains. While it is natural to select each position of the solution vector to be changed independently with probability $1/n$, there are various ways to then change such a position. If we change each selected position to a random value different from the original one, we obtain an expected run time of $\Theta(nr \log n)$. If we change each selected position by either $+1$ or $-1$ (random choice), the optimization time reduces to $\Theta(nr + n\log n)$. If we use a random mutation strength $i \in \{0,1,\ldots,r-1\}^n$ with probability inversely proportional to $i$ and change the selected position by either $+i$ or $-i$ (random choice), then the optimization time becomes $\Theta(n \log(r)(\log(n)+\log(r)))$, bringing down the dependence on $r$ from linear to polylogarithmic. One of our results depends on a new variant of the lower bounding multiplicative drift theorem.Comment: an extended abstract of this work is to appear at GECCO 201

Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+

We develop a sound, complete and practically implementable tableaux-based decision method for constructive satisfiability testing and model synthesis in the fragment ATL+ of the full Alternating time temporal logic ATL*. The method extends in an essential way a previously developed tableaux-based decision method for ATL and works in 2EXPTIME, which is the optimal worst case complexity of the satisfiability problem for ATL+ . We also discuss how suitable parametrizations and syntactic restrictions on the class of input ATL+ formulae can reduce the complexity of the satisfiability problem.Comment: 45 page

Experimental Setup for Splash Erosion Monitoring—Study of Silty Loam Splash Characteristics

An experimental laboratory setup was developed and evaluated in order to investigate detachment of soil particles by raindrop splash impact. The soil under investigation was a silty loam Cambisol, which is typical for agricultural fields in Central Europe. The setup consisted of a rainfall simulator and soil samples packed into splash cups (a plastic cylinder with a surface area of 78.5 cm2) positioned in the center of sediment collectors with an outer diameter of 45 cm. A laboratory rainfall simulator was used to simulate rainfall with a prescribed intensity and kinetic energy. Photographs of the soil’s surface before and after the experiments were taken to create digital models of relief and to calculate changes in surface roughness and the rate of soil compaction. The corresponding amount of splashed soil ranged between 10 and 1500 g m−2 h−1. We observed a linear relationship between the rainfall kinetic energy and the amount of the detached soil particles. The threshold kinetic energy necessary to initiate the detachment process was 354 J m−2 h−1. No significant relationship between rainfall kinetic energy and splashed sediment particle-size distribution was observed. The splash erosion process exhibited high variability within each repetition, suggesting a sensitivity of the process to the actual soil surface microtopography

NASA applications project in Miami County, Indiana

The study site selection is intended to serve all of the different research areas within the project, i.e., soil conditions, soil management, etc. There are seven major soil associations or soils formed on similar landscapes in the Miami Co., and over 38 soil series that were mapped. Soil sampling was conducted in some sites because of its variability in soils and cover types, variable topography, and presence of erosion problems. Results from analysis of these soil data is presented

Does German development aid promote German exports and German employment? A sectoral-level analysis

This paper uses an augmented gravity model of trade to investigate the link between German development aid and sectoral exports from Germany to the aid recipient countries. The findings indicate that in the long run each dollar of German aid is associated with an average increase of 0.83 US dollars of German exports of goods. The effect varies by sector and the sectors that gain the most are machinery, electrical equipment and transport equipment. By using German input-output tables and according to our estimates, the aid-induced gains in exports generate a total employment effect of about 216,000 jobs of which 52,000 jobs are created in machinery, 20,000 in transport equipment, 24,000 in electrical equipment, 23,000 in basic metals, 10,000 in food, beverages and tobacco and 78,000 in business-related services

A Metric for Rapidly Spinning Black Holes Suitable for Strong-Field Tests of the No-Hair Theorem

According to the no-hair theorem, astrophysical black holes are uniquely characterized by their masses and spins and are described by the Kerr metric. Several parametric deviations from the Kerr metric have been suggested to study observational signatures in both the electromagnetic and gravitational-wave spectra that differ from the expected Kerr signals. Due to the no-hair theorem, however, such spacetimes cannot be regular everywhere outside the event horizons, if they are solutions to the Einstein field equations; they are often characterized by naked singularities or closed time-like loops in the regions of the spacetime that are accessible to an external observer. For observational tests of the no-hair theorem that involve phenomena in the vicinity of the circular photon orbit or the innermost stable circular orbit around a black hole, these pathologies limit the applicability of the metrics only to compact objects that do not spin rapidly. In this paper, we construct a Kerr-like metric which depends on a set of free parameters in addition to its mass and spin and which is regular everywhere outside of the event horizon. We derive expressions for the energy and angular momentum of a particle on a circular equatorial orbit around the black hole and compute the locations of the innermost stable circular orbit and the circular photon orbit. We demonstrate that these orbits change significantly for even moderate deviations from the Kerr metric. The properties of our metric make it an ideally suited spacetime to carry out strong-field tests of the no-hair theorem in the electromagnetic spectrum using the properties of accretion flows around astrophysical black holes of arbitrary spin.Comment: 11 pages, 7 figures, accepted for publication in PR