Examining the Role of Fairness in High Stakes Allocation Decisions

Recent experimental evidence has led to a debate about the nature of utility functions in which people are concerned about the amount others earn, and what factors heighten or diminish social preference. We explore fairness by examining behavior across three variants of the dictator game. Using data from nearly 200 dictators allocating as much as $100 each, we observe that fairness considerations are very powerful—when subjects could reasonably believe that disproportionately low offers are “fair”, only 8-12 percent of dictators make positive offers. Examining the comparative static results from these allocation decisions, we find that recent theoretical models of inequality do a respectable job of explaining the data patterns.

Reduction in size and unsteadiness of a VTOL ground vortex by ground fences

A ground vortex, produced when a jet impinges on the ground in the presence of cross flow, is encountered by V/STOL aircraft hovering near the ground and is known to be hazardous to the aircraft. The objective of this research was to identify a ground-based technique by which both the mean size and fluctuation in size of the ground vortex could be reduced. A simple passive method was identified and examined in the laboratory. Specifically, one or two fine wire mesh screens (ground fences) bent in a horseshoe shape and located on the ground in front of the jet impingement point proved to be very effective. The ground fences work by decreasing the momentum of the upstream-traveling wall jet, effectively causing a higher freestream-to-jet velocity ratio (V(sub infinity)/V(sub j)) and thus, a ground vortex smaller in size and unsteadiness. At(V(sub infinity)/V(sub j)) = 0.15, the addition of a single ground fence resulted in a 70 percent reduction in mean size of the ground vortex. With two ground fences, the mean size decreased by about 85 percent. Fluctuations in size decreased nearly in proportion to the mean size, for both the single and double fence configurations. These results were consistent over a wide range of jet Reynolds number (10(exp 4) less than Re(sub jet) less than 10(exp 5)); further development and full-scale Reynolds number testing are required, however, to determine if this technique can be made practical for the case of actual VTOL aircraft

The Endogenous Formation of Coalitions to Provide Public Goods: Theory and Experimental Evidence

This paper examines the endogenous formation of coalitions that provide public goods in which players implement a minimum participation requirement before deciding whether to join. We demonstrate theoretically that payoff-maximizing players will vote to implement efficient participation requirements and these coalitions will form. However, we also demonstrate that if some players are averse to inequality they can cause inefficient outcomes. Inequality-averse players can limit free riding by implementing larger than efficient coalitions or by blocking efficient coalitions from forming. We test the theory with experimental methods and observe individual behavior and coalition formation consistent with a model of inequality-averse players.public goods, coalition formation, inequality aversion, participation requirement, experiments

An Approach to Verification and Validation of a Reliable Multicasting Protocol

This paper describes the process of implementing a complex communications protocol that provides reliable delivery of data in multicast-capable, packet-switching telecommunication networks. The protocol, called the Reliable Multicasting Protocol (RMP), was developed incrementally using a combination of formal and informal techniques in an attempt to ensure the correctness of its implementation. Our development process involved three concurrent activities: (1) the initial construction and incremental enhancement of a formal state model of the protocol machine; (2) the initial coding and incremental enhancement of the implementation; and (3) model-based testing of iterative implementations of the protocol. These activities were carried out by two separate teams: a design team and a V&V team. The design team built the first version of RMP with limited functionality to handle only nominal requirements of data delivery. In a series of iterative steps, the design team added new functionality to the implementation while the V&V team kept the state model in fidelity with the implementation. This was done by generating test cases based on suspected errant or offnominal behaviors predicted by the current model. If the execution of a test was different between the model and implementation, then the differences helped identify inconsistencies between the model and implementation. The dialogue between both teams drove the co-evolution of the model and implementation. Testing served as the vehicle for keeping the model and implementation in fidelity with each other. This paper describes (1) our experiences in developing our process model; and (2) three example problems found during the development of RMP

An approach to verification and validation of a reliable multicasting protocol: Extended Abstract

This paper describes the process of implementing a complex communications protocol that provides reliable delivery of data in multicast-capable, packet-switching telecommunication networks. The protocol, called the Reliable Multicasting Protocol (RMP), was developed incrementally using a combination of formal and informal techniques in an attempt to ensure the correctness of its implementation. Our development process involved three concurrent activities: (1) the initial construction and incremental enhancement of a formal state model of the protocol machine; (2) the initial coding and incremental enhancement of the implementation; and (3) model-based testing of iterative implementations of the protocol. These activities were carried out by two separate teams: a design team and a V&V team. The design team built the first version of RMP with limited functionality to handle only nominal requirements of data delivery. This initial version did not handle off-nominal cases such as network partitions or site failures. Meanwhile, the V&V team concurrently developed a formal model of the requirements using a variant of SCR-based state tables. Based on these requirements tables, the V&V team developed test cases to exercise the implementation. In a series of iterative steps, the design team added new functionality to the implementation while the V&V team kept the state model in fidelity with the implementation. This was done by generating test cases based on suspected errant or off-nominal behaviors predicted by the current model. If the execution of a test in the model and implementation agreed, then the test either found a potential problem or verified a required behavior. However, if the execution of a test was different in the model and implementation, then the differences helped identify inconsistencies between the model and implementation. In either case, the dialogue between both teams drove the co-evolution of the model and implementation. We have found that this interactive, iterative approach to development allows software designers to focus on delivery of nominal functionality while the V&V team can focus on analysis of off nominal cases. Testing serves as the vehicle for keeping the model and implementation in fidelity with each other. This paper describes (1) our experiences in developing our process model; and (2) three example problems found during the development of RMP. Although RMP has provided our research effort with a rich set of test cases, it also has practical applications within NASA. For example, RMP is being considered for use in the NASA EOSDIS project due to its significant performance benefits in applications that need to replicate large amounts of data to many network sites

Future Contingents and the Logic of Temporal Omniscience

At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true that, looking backwards, it was the case that there would be a sea battle? This tension forms, in large part, what might be called the problem of future contingents. A dominant trend in temporal logic and semantic theorizing about future contingents seeks to validate both intuitions. Theorists in this tradition--including some interpretations of Aristotle, but paradigmatically, Thomason (1970), as well as more recent developments in Belnap, et. al (2001) and MacFarlane (2003, 2014)--have argued that the apparent tension between the intuitions is in fact merely apparent. In short, such theorists seek to maintain both of the following two theses: (i) the open future: Future contingents are not true, and (ii) retro-closure: From the fact that something is true, it follows that it was the case that it would be true. It is well-known that reflection on the problem of future contingents has in many ways been inspired by importantly parallel issues regarding divine foreknowledge and indeterminism. In this paper, we take up this perspective, and ask what accepting both the open future and retro-closure predicts about omniscience. When we theorize about a perfect knower, we are theorizing about what an ideal agent ought to believe. Our contention is that there isn’t an acceptable view of ideally rational belief given the assumptions of the open future and retro-closure, and thus this casts doubt on the conjunction of those assumptions

GRTS and Graphs: Monitoring Natural Resources in Urban Landscapes

Environmental monitoring programs are an important tool for providing land managers with a scientific basis for management decisions. However, many ecological processes operate on spatial scales that transcend management boundaries (Schonewald-Cox 1988). For example, adjacent lands may influence protected-area resources via edge effects, source-sink dynamics, or invasion processes (Jones et al. 2009). Hydrologic alterations outside management units also may have profound effects on the integrity of resources being managed (Pringle 2000). The impacts of climate change are presenting challenges to resource management at local-to-global scales (Karl et al. 2009). This potential disparity between ecological and political boundaries presents an interesting dilemma for natural resource monitoring and is readily apparent in urban and agricultural environments, which tend to be dominated by external stressors (Collins et al. 2000). Despite their limited control over external land use, natural resource managers are concerned with processes such as development in the surrounding landscape, as these may lead to habitat loss and degradation that directly impair their resources. As a consequence, the management of the natural resources in and around parks and other areas requires a broad and dynamic understanding of the spatio-temporal patterns of environmental change. If monitoring is to be successful in providing data that inform management, information about regional and landscape context should play a critical role in designing monitoring strategies

Photoelectrochemical Characterization and Durability Analysis of GaInPN Epilayers

Epilayer samples of GaInPN with a stoichiometry of Ga.962In.038P.976N.024 and Ga.95In.05P.975N.025 were grown by metallorganic chemical vapor deposition and were photoelectrochemically characterized to determine their potential to photoelectrolyze water. The materials had direct transition bandgap energies of _2.0 eV, as determined by photocurrent spectroscopy; however, the measured flatband potentials were several hundred millivolts too negative for unbiased water splitting. Stability was assessed by operating the electrodes as photocathodes for 24 h and qualitatively evaluated by probing the amount of surface etching with a stylus profilometer. Quantitative evaluation was done by measuring the concentration of gallium in the corrosion test electrolyte using inductively coupled plasma mass spectrometry. Results were compared to similarly treated GaP and GaInP2 samples for context