Towards Patterns for Heaps and Imperative Lambdas

In functional programming, point-free relation calculi have been fruitful for general theories of program construction, but for specific applications pointwise expressions can be more convenient and comprehensible. In imperative programming, refinement calculi have been tied to pointwise expression in terms of state variables, with the curious exception of the ubiquitous but invisible heap. To integrate pointwise with point-free, de Moor and Gibbons extended lambda calculus with non-injective pattern matching interpreted using relations. This article gives a semantics of that language using ``ideal relations'' between partial orders, and a second semantics using predicate transformers. The second semantics is motivated by its potential use with separation algebra, for pattern matching in programs acting on the heap. Laws including lax beta and eta are proved in these models and a number of open problems are posed

Automatic rendezvous system testing at the Flight Robotics Laboratory

The Flight Robotics Laboratory of MSFC provides sophisticated real time simulation capability in the study of human/system interactions of remote systems. This paper will describe the Flight Robotics Facility of NASA/MSFC, the hardware-in-the-loop simulation configuration, and test results

NASA MSFC hardware in the loop simulations of automatic rendezvous and capture systems

Two complementary hardware-in-the-loop simulation facilities for automatic rendezvous and capture systems at MSFC are described. One, the Flight Robotics Laboratory, uses an 8 DOF overhead manipulator with a work volume of 160 by 40 by 23 feet to evaluate automatic rendezvous algorithms and range/rate sensing systems. The other, the Space Station/Station Operations Mechanism Test Bed, uses a 6 DOF hydraulic table to perform docking and berthing dynamics simulations

Postflight analysis of the single-axis acoustic system on SPAR VI and recommendations for future flights

The single axis acoustic levitator that was flown on SPAR VI malfunctioned. The results of a series of tests, analyses, and investigation of hypotheses that were undertaken to determine the probable cause of failure are presented, together with recommendations for future flights of the apparatus. The most probable causes of the SPAR VI failure were lower than expected sound intensity due to mechanical degradation of the sound source, and an unexpected external force that caused the experiment sample to move radially and eventually be lost from the acoustic energy well

Preliminary assessment of the vacuum environment in the wake of large space vehicles

The vacuum environment in the wake region of presently planned large space vehicles is calculated using simplified models of the particle fluxes from the various sources. The fluxes which are calculated come directly from the ambient, are due to ambient particles backscattered from spacecraft emissions, and are due to self scattering of spacecraft emissions. Using nominal values for the surface emissions, the flux density environment behind a large unmanned craft at 550 km altitude is calculated. Calculations indicate that the flux density on a wake vacuum experiment conducted in the vicinity of the shuttle is substantially greater than that behind unmanned craft

Development of High Granulated Straw Chambers of Large Sizes

We have developed the baseline design for the straw drift tube tracking detectors for high rate environment application. The low-mass inner straw elements and the technology of the multianode straws assembly was devised and checked. The prototype chamber was constructed and studied the granularity of similar chambers can be reduced to one cm2. Submitted to Physics of Elementary Particles and Atomic Nuclei, LettersComment: 6 pages, 10 figure