Decentralized Constraint Satisfaction

We show that several important resource allocation problems in wireless networks fit within the common framework of Constraint Satisfaction Problems (CSPs). Inspired by the requirements of these applications, where variables are located at distinct network devices that may not be able to communicate but may interfere, we define natural criteria that a CSP solver must possess in order to be practical. We term these algorithms decentralized CSP solvers. The best known CSP solvers were designed for centralized problems and do not meet these criteria. We introduce a stochastic decentralized CSP solver and prove that it will find a solution in almost surely finite time, should one exist, also showing it has many practically desirable properties. We benchmark the algorithm's performance on a well-studied class of CSPs, random k-SAT, illustrating that the time the algorithm takes to find a satisfying assignment is competitive with stochastic centralized solvers on problems with order a thousand variables despite its decentralized nature. We demonstrate the solver's practical utility for the problems that motivated its introduction by using it to find a non-interfering channel allocation for a network formed from data from downtown Manhattan

A thin rivulet or ridge subject to a uniform transverse shear stress at its free surface due to an external airflow

We use the lubrication approximation to analyse three closely related problems involving a thin rivulet or ridge (i.e. a two-dimensional droplet) of fluid subject to a prescribed uniform transverse shear stress at its free surface due to an external airflow, namely a rivulet draining under gravity down a vertical substrate, a rivulet driven by a longitudinal shear stress at its free surface, and a ridge on a horizontal substrate, and find qualitatively similar behaviour for all three problems. We show that, in agreement with previous numerical studies, the free surface profile of an equilibrium rivulet/ridge with pinned contact lines is skewed as the shear stress is increased from zero, and that there is a maximum value of the shear stress beyond which no solution with prescribed semi-width is possible. In practice, one or both of the contact lines will de-pin before this maximum value of the shear stress is reached, and so we consider situations in which the rivulet/ridge de-pins at one or both contact lines. In the case of de-pinning only at the advancing contact line, the rivulet/ridge is flattened and widened as the shear stress is increased from its critical value, and there is a second maximum value of the shear stress beyond which no solution with a prescribed advancing contact angle is possible. In contrast, in the case of de-pinning only at the receding contact line, the rivulet/ridge is thickened and narrowed as the shear stress is increased from its critical value, and there is a solution with a prescribed receding contact angle for all values of the shear stress. In general, in the case of de-pinning at both contact lines there is a critical “yield” value of the shear stress beyond which no equilibrium solution is possible and the rivulet/ridge will evolve unsteadily. In an Appendix we show that an equilibrium rivulet/ridge with prescribed flux/area is quasi-statically stable to two-dimensional perturbations

A thin rivulet or ridge subject to a uniform transverse\ud shear stress at its free surface due to an external airflow

We use the lubrication approximation to analyse three closely related problems involving a thin rivulet or ridge (i.e. a two-dimensional droplet) of fluid subject to a prescribed uniform transverse shear stress at its free surface due to an external airflow, namely a rivulet draining under gravity down a vertical substrate, a rivulet driven by a longitudinal shear stress at its free surface, and a ridge on a horizontal substrate, and find qualitatively similar behaviour for all three problems. We show that, in agreement with previous numerical studies, the free surface profile of an equilibrium rivulet/ridge with pinned contact lines is skewed as the shear stress is increased from zero, and that there is a maximum value of the shear stress beyond which no solution with prescribed semi-width is possible. In practice, one or both of the contact lines will de-pin before this maximum value of the shear stress is reached, and so we consider situations in which the rivulet/ridge de-pins at one or both contact lines. In the case of de-pinning only at the advancing contact line, the rivulet/ridge is flattened and widened as the shear stress is increased from its critical value, and there is a second maximum value of the shear stress beyond which no solution with a prescribed advancing contact angle is possible. In contrast, in the case of de-pinning only at the receding contact line, the rivulet/ridge is thickened and narrowed as the shear stress is increased from its critical value, and there is a solution with a prescribed receding contact angle for all values of the shear stress. In general, in the case of de-pinning at both contact lines there is a critical “yield” value of the shear stress beyond which no equilibrium solution is possible and the rivulet/ridge will evolve unsteadily. In an Appendix we show that an equilibrium rivulet/ridge with prescribed flux/area is quasi-statically stable to two-dimensional perturbations

Development of a prototype kinestatic platform for application to space and ground servicing tasks. Phase 1: Concept Modeling

The Center for Intelligent Machines and Robotics (CIMAR) of the University of Florida, in conjunction with Rockwell International is developing an electro-mechanical device called a Kinestatic Platform (KP) for aerospace applications. The goal of the current project is to develop a prototype KP which is capable of manipulating a 50 lb. payload. This prototype will demonstrate the feasibility of implementing a scaled up version to perform high precision manipulation of distributed systems and to control contact forces and allowable motions (rotations and translations), which is defined here as Kinestatic Control, in a six dimensional, partially constrained environment, simultaneously and independently. The objectives of the Phase 1 effort were as follows: (1) Identify specific NASA applications where the KP technology can be applied. (2) Select one application for development. (3) Develop a conceptual design of the KP specifically for the selected application. This includes the steps of developing a set of detailed performance criteria, establishing and making selection of the mechanism design parameters, and evaluating the expected system response. (4) Develop a computer graphics animation of the KP as it performs the selected application. This report will proceed by providing a technical description of the KP followed by how each of these objectives was addressed

Using overview style tables on small devices

Users increasingly expect access to data from a wide range of devices, both wired and wireless. The long term goal of our research is to inform the design of applications that support data access by providing reasonably seamless migration of data among internet-compatible devices with minimal loss of effectiveness and efficiency. In this paper we focus on design issues related to the use of tables of data on small mobile devices. In particular we are concerned with tables presented in an overview or focus + context style to maintain the consistency of their structure on all devices to support users who have already used the data on larger devices. We report on the results of two user studies related to two techniques, cascade and auto column expansion, that support the use of tables in such a display. We show that for a range of tasks from simple lookup to complex comparisons, both techniques provide benefit to the users

Learning, forecasting and optimizing: an experimental study

Rational Expectations (RE) models have two crucial dimensions: 1) agents correctly forecast future prices given all available information, and 2) given expectations, agents solve optimization problems and these solutions in turn determine actual price realizations. Experimental testing of such models typically focuses on only one of these two dimensions. In this paper we consider both forecasting and optimization decisions in an experimental cobweb economy. We report results from four experimental treatments: 1) subjects form forecasts only, 2) subjects determine quantity only (solve an optimization problem), 3) they do both and 4) they are paired in teams and one member is assigned the forecasting role while the other is assigned the optimization task. All treatments converges to Rational Expectation Equilibrium (REE), but the at very different speed. We observe that performance is the best in treatment 1) and worst in the treatment 3). Most forecasters use an adaptive expectations rule. Subjects are less likely to make conditionally optimal production decision for given forecasts in treatment 3) where the forecast is made by themselves, than treatment 4) where the forecast is made by the other member of the team, which confirms ``two heads are better than one" in finding REE

Contact line motion for partially wetting fluids

We study the flow close to an advancing contact line in the limit of small capillary number. To take into account wetting effects, both long and short-ranged contributions to the disjoining pressure are taken into account. In front of the contact line, there is a microscopic film corresponding to a minimum of the interaction potential. We compute the parameters of the contact line solution relevant to the matching to a macroscopic problem, for example a spreading droplet. The result closely resembles previous results obtained with a slip model

Nonlinear atom-optical delta-kicked harmonic oscillator using a Bose-Einstein condensate

We experimentally investigate the atom-optical delta-kicked harmonic oscillator for the case of nonlinearity due to collisional interactions present in a Bose-Einstein condensate. A Bose condensate of rubidium atoms tightly confined in a static harmonic magnetic trap is exposed to a one-dimensional optical standing-wave potential that is pulsed on periodically. We focus on the quantum anti-resonance case for which the classical periodic behavior is simple and well understood. We show that after a small number of kicks the dynamics is dominated by dephasing of matter wave interference due to the finite width of the condensate's initial momentum distribution. In addition, we demonstrate that the nonlinear mean-field interaction in a typical harmonically confined Bose condensate is not sufficient to give rise to chaotic behavior.Comment: 4 pages, 3 figure