Applying XP Ideas Formally: The Story Card and Extreme X-Machines

By gathering requirements on story cards extreme programming (XP) makes requirements collection easy. However it is less clear how the story cards are translated into a �finished product. We propose that a formal specification method based on X-Machines can be used to direct this transition. Extreme X-Machines �t in to the XP method well, without large overheads in design and maintenance. We also investigate how such machines adapt to change in the story cards and propose how this could be further enhanced

Interpretation of combined wind profiler and aircraft-measured tropospheric winds and clear air turbulence

In the first experiment, it was found that wind profilers are far better suited for the detailed examination of jet stream structure than are weather balloons. The combination of good vertical resolution with not previously obtained temporal resolution reveals structural details not seen before. Development of probability-derived shear values appears possible. A good correlation between pilot reports of turbulence and wind shear was found. In the second experiment, hourly measurements of wind speed and direction obtained using two wind profiling Doppler radars during two prolonged jet stream occurrences over western Pennsylvania were analyzed. In particular, the time-variant characteristics of derived shear profiles were examined. Profiler data dropouts were studied in an attempt to determine possible reasons for the apparently reduced performance of profiling radar operating beneath a jet stream. Richardson number and wind shear statistics were examined along with pilot reports of turbulence in the vicinity of the profiler

Network ST radar and related measurements at Pennsylvania State University

Mesoscale meteorological measurements, analysis and prediction are some of the principal areas of research in the Department of Meteorology at Penn State. In anticipation of a staged turn-on of the three systems during the Summer and Fall of 1984, the nonconstruction-related efforts have focused on the software development necessary to allow essentially immediate use of network data. A 16-bit microcomputer has been programmed to serve as the network controller, communications interface and, at least for real-time purposes, the operational display system. Insofar as possible we have in this task built upon our substantial accumulated experience in working with the processing and display of Doppler sodar system signals. Once the radar-derived wind and turbulence profiles are communicated to the various interconnected Departmental computers they become just one component of a comprehensive data base which can be applied to a diverse set of ongoing basic and operational research programs

Mesoscale variability of free tropospheric humidity near San Nicolas Island during FIRE

Humidity variability at the top of the marine boundary layer (MBL) and in the free troposphere was examined using a variety of measurements taken on and around San Nicolas Island (SNI) during the FIRE IFO in July, 1987. Doppler wind profiler reflectivity recorded at two minute time resolution has provided the most continuous record and detail of small scale humidity fluctuations. Rawinsonde data were available from both an island site and the research vessel Point Sur. The information extractable from these sources is somewhat limited due to the frequency of launches (3 to 4/day at SNI and 6/day on the Point Sur). Some additional data were available from instrumented aircraft although scheduling flights in the neighborhood of the island was difficult due to restrictions on the air space. Other relevant data were collected at SNI near the radar and rawinsonde launch sites. A continuous record of cloud base altitude was logged by a ceilometer. Doppler acoustic sounder (sodar) reflectivity data provided a good record of inversion height. The sodar also monitored turbulent temperature fluctuations in the MBL. A small ground station recorded hourly averages of solar irradiance and downward longwave irradiance. The analysis in progress of the various data sets for two adjacent two day periods from 11 July to 14 July is described. The earlier period was chosen because the marine inversion was unusually high and there was increased frequency of rawinsonde launches at SNI. The later period was chosen because of the significant descent with time of an elevated inversion indicated by the radar data. Throughout the four day period, but especially in the first half, the turbulent humidity structure calculated from Doppler radar reflectivity shows excellent agreement with humidity profiles evaluated from rawinsonde data

The effects of reinforcement interval on the acquisition of paired-associate responses

Effects of reinforcement interval on acquisition of paired-associate response

Perturbative behaviour of a vortex in a trapped Bose-Einstein condensate

We derive a set of equations that describe the shape and behaviour of a single perturbed vortex line in a Bose-Einstein condensate. Through the use of a matched asymptotic expansion and a unique coordinate transform a relation for a vortex's velocity, anywhere along the line, is found in terms of the trapping, rotation, and distortion of the line at that location. This relation is then used to find a set of differential equations that give the line's specific shape and motion. This work corrects a previous similar derivation by Anatoly A. Svidzinsky and Alexander L. Fetter [Phys. Rev. A \textbf{62}, 063617 (2000)], and enables a comparison with recent numerical results.Comment: 12 pages with 3 figure

Wind measurement system

A system for remotely measuring vertical and horizontal winds present in discrete volumes of air at selected locations above the ground is described. A laser beam is optically focused in range by a telescope, and the output beam is conically scanned at an angle about a vertical axis. The backscatter, or reflected light, from the ambient particulates in a volume of air, the focal volume, is detected for shifts in wavelength, and from these, horizontal and vertical wind components are computed

Detection of a Moving Rigid Solid in a Perfect Fluid

In this paper, we consider a moving rigid solid immersed in a potential fluid. The fluid-solid system fills the whole two dimensional space and the fluid is assumed to be at rest at infinity. Our aim is to study the inverse problem, initially introduced in [3], that consists in recovering the position and the velocity of the solid assuming that the potential function is known at a given time. We show that this problem is in general ill-posed by providing counterexamples for which the same potential corresponds to different positions and velocities of a same solid. However, it is also possible to find solids having a specific shape, like ellipses for instance, for which the problem of detection admits a unique solution. Using complex analysis, we prove that the well-posedness of the inverse problem is equivalent to the solvability of an infinite set of nonlinear equations. This result allows us to show that when the solid enjoys some symmetry properties, it can be partially detected. Besides, for any solid, the velocity can always be recovered when both the potential function and the position are supposed to be known. Finally, we prove that by performing continuous measurements of the fluid potential over a time interval, we can always track the position of the solid.Comment: 19 pages, 14 figure

Quantum Analogue Computing

We briefly review what a quantum computer is, what it promises to do for us, and why it is so hard to build one. Among the first applications anticipated to bear fruit is quantum simulation of quantum systems. While most quantum computation is an extension of classical digital computation, quantum simulation differs fundamentally in how the data is encoded in the quantum computer. To perform a quantum simulation, the Hilbert space of the system to be simulated is mapped directly onto the Hilbert space of the (logical) qubits in the quantum computer. This type of direct correspondence is how data is encoded in a classical analogue computer. There is no binary encoding, and increasing precision becomes exponentially costly: an extra bit of precision doubles the size of the computer. This has important consequences for both the precision and error correction requirements of quantum simulation, and significant open questions remain about its practicality. It also means that the quantum version of analogue computers, continuous variable quantum computers (CVQC) becomes an equally efficient architecture for quantum simulation. Lessons from past use of classical analogue computers can help us to build better quantum simulators in future.Comment: 10 pages, to appear in the Visions 2010 issue of Phil. Trans. Roy. Soc.