The Space within Fisherman's Folly: Playing with a Puzzle in Mereotopology

Abstract

In this paper we propose a spatial ontology for reasoning about holes, rigid objects and a string, taking a classical puzzle as a motivating example. In this ontology the domain is composed of spatial regions whereby a theory about holes is defined over a mereotopological basis. Within this theory we define a data structure, named chain, that facilitates a clear and efficient representation of the puzzle states and its solution.     

Longitudinal structure of ballooning MHD disturbances in a model magnetosphere

Large-scale toroidal Pc5 pulsations are commonly treated as Alfven oscillations of a magnetic field line. According to observations, their longitudinal structure is described well by theory. At the same time, the longitudinal structure of azimuthal small-scale poloidal Pc5 pulsations is virtually unknown. These pulsations are associated with ballooning disturbances described by a system of coupled equations for Alfvenic and slow magnetosonic (SMS) modes. In this work, the Voigt model is used to describe the equilibrium finite-pressure plasma configuration in an inhomogeneous magnetosphere plasma in a curved magnetic field. Spectral characteristics and the spatial structure of natural ballooning modes are calculated for this model. The model calculations demonstrate the possibility of different longitudinal scales for transverse and longitudinal magnetic components of oscillations near the top of the field line.     

Variations of ionospheric fluctuations of phase delay depending on solar activity: Data of the COSMIC experiment

We present the results of processing and analysis of more than 4500 events of radio occultation sounding of the Earth’s atmosphere observed in the course of the COSMIC experiment on the limb path ‘satellite-ionosphere-satellite’. Events observed in December 2011 (when a number of solar flares occurred) and in January 2012 (when a strong solar proton event took place) were analyzed. It is shown that small-scale variations of electron density increase in polar latitudes, equatorial region, and midlatitudes of the southern hemisphere in January 2012. In the same period, an increase of large-scale variations of electron density is observed during daylight hours in the equatorial region and in the southern hemisphere. No noticeable distinctions in comparison with days of quiet Sun were observed in December 2011.     

Highly mobile space suit material optimization

This paper discusses the factors that control the flexibility of fabric space suit elements by examining a bending model of a pressurized fabric tube. Results from the model are used to evaluate the current direction in highly mobile EVA glove research and suggest that changes are necessary in the suit and glove fabric selection methodology.     

Educating Europe - finding the best way

The subject of space education is attracting increasing attention, but there are diverging views as to how it should be approached, as can be seen from the following two reports of Education Remote Sensing '92, a conference held in Cardiff, Wales, 28–30 June 1992.     

The autocorrelation of m-sequences over nonprime finitefields

Nonbinary m-sequences (maximal length sequences) for spread-spectrum communication systems that have a two-level autocorrelation are presented. The autocorrelation function of an m -sequence over the Galois field of q elements GF(q), where q=p^k, for p a prime and k an integer greater than 1, is developed and shown to be bilevel when the elements of GF(q) are expressed as elements of a vector space over the pth roots of unity     

Telerobotics: problems and research needs

With major emphasis on simulation, a university laboratory telerobotics facility permits problems to be approached by groups of graduate students. Helmet-mounded displays provide realism; the slaving of the display to the human operator's viewpoint gives a sense of `telepresence' that may be useful for prolonged tasks. Using top-down 3-D model control of distant images allows distant images to be reduced to a few parameters to update the model used for display to the human operator in a preview model to circumvent, in part, the communication delay. Also, the model can be used as a format for supervisory control and permit short-term local autonomous operations. Image processing algorithms can be made simpler and faster without trying to construct sensible images from the bottom. Control studies of telerobots lead to preferential manual control modes and, in this university environment, to basic paradigms for human motion and thence, perhaps, to redesign of robotic control, trajectory path planning, and rehabilitation prosthetics. Speculation as to future industrial drives for this telerobotic field suggests efficient roles for government agencies such as NASA     

Time-frequency hop codes based upon extended quadratic congruences

Time-frequency hop codes are developed that can be used for coherent multiuser echolocation and asynchronous spread spectrum communication systems. They represent a compromise between Costas codes, which have nearly ideal autoambiguity but not so good cross-ambiguity properties, and linear congruential codes, which have nearly ideal cross-ambiguity but unattractive autoambiguity properties. Extended quadratic congruential code words are shown to have reasonably good autoambiguity and cross-ambiguity properties across the whole class of code sets considered. A uniform upper bound is placed on the entire cross-ambiguity function surface, and bounds are placed on the position and amplitude of spurious peaks in the autoambiguity function. These bounds depend on the time/bandwidth product and code length exclusively and lead naturally to a discussion of the design tradeoffs for these two parameters. Examples of typical autoambiguity and cross-ambiguity functions are given to illustrate the performance of the new codes     

Improved multilevel quantization for detection of narrowbandsignals

Nearly optimum quantization levels for multileveled quantizers in radar receivers and distributed-detection are calculated for preassigned false-alarm probability Q₀ by maximizing the detection probability Q_d after replacing both Q ₀ and (1-Q_d) by the saddlepoint approximations. Narrowband signals of random phase and with both fixed and Rayleigh-fading amplitudes in Gaussian noise are treated, and the loss in signal detectability incurred by quantization is estimated     

2001 Mars Odyssey Mission Summary

The 2001 Mars Odyssey spacecraft, now in orbit at Mars, will observe the Martian surface at infrared and visible wavelengths to determine surface mineralogy and morphology, acquire global gamma ray and neutron observations for a full Martian year, and study the Mars radiation environment from orbit. The science objectives of this mission are to: (1) globally map the elemental composition of the surface, (2) determine the abundance of hydrogen in the shallow subsurface, (3) acquire high spatial and spectral resolution images of the surface mineralogy, (4) provide information on the morphology of the surface, and (5) characterize the Martian near-space radiation environment as related to radiation-induced risk to human explorers. To accomplish these objectives, the 2001 Mars Odyssey science payload includes a Gamma Ray Spectrometer (GRS), a multi-spectral Thermal Emission Imaging System (THEMIS), and a radiation detector, the Martian Radiation Environment Experiment (MARIE). THEMIS and MARIE are mounted on the spacecraft with THEMIS pointed at nadir. GRS is a suite of three instruments: a Gamma Subsystem (GSS), a Neutron Spectrometer (NS) and a High-Energy Neutron Detector (HEND). The HEND and NS instruments are mounted on the spacecraft body while the GSS is on a 6-m boom. Some science data were collected during the cruise and aerobraking phases of the mission before the prime mission started. THEMIS acquired infrared and visible images of the Earth-Moon system and of the southern hemisphere of Mars. MARIE monitored the radiation environment during cruise. The GRS collected calibration data during cruise and aerobraking. Early GRS observations in Mars orbit indicated a hydrogen-rich layer in the upper meter of the subsurface in the Southern Hemisphere. Also, atmospheric densities, scale heights, temperatures, and pressures were observed by spacecraft accelerometers during aerobraking as the spacecraft skimmed the upper portions of the Martian atmosphere. This provided the first in-situ evidence of winter polar warming in the Mars upper atmosphere. The prime mission for 2001 Mars Odyssey began in February 2002 and will continue until August 2004. During this prime mission, the 2001 Mars Odyssey spacecraft will also provide radio relays for the National Aeronautics and Space Administration (NASA) and European landers in early 2004. Science data from 2001 Mars Odyssey instruments will be provided to the science community via NASA’s Planetary Data System (PDS). The first PDS release of Odyssey data was in October 2002; subsequent releases occur every 3 months.