The plasma instrumentation for the Galileo Mission

The plasma instrumentation (PLS) for the Galileo Mission comprises a nested set of four spherical-plate electrostatic analyzers and three miniature, magnetic mass spectrometers. The three-dimensional velocity distributions of positive ions and electrons, separately, are determined for the energy-per-unit charge (E/Q) range of 0.9 V to 52 kV. A large fraction of the 4-steradian solid angle for charged particle velocity vectors is sampled by means of the fan-shaped field-of-view of 160°, multiple sensors, and the rotation of the spacecraft spinning section. The fields-of-view of the three mass spectrometers are respectively directed perpendicular and nearly parallel and anti-parallel to the spin axis of the spacecraft. These mass spectrometers are used to identify the composition of the positive ion plasmas, e.g., H⁺, O⁺, Na⁺, and S⁺, in the Jovian magnetosphere. The energy range of these three mass spectrometers is dependent upon the species. The maximum temporal resolutions of the instrument for determining the energy (E/Q) spectra of charged particles and mass (M/Q) composition of positive ion plasmas are 0.5 s. Three-dimensional velocity distributions of electrons and positive ions require a minimum sampling time of 20 s, which is slightly longer than the spacecraft rotation period. The two instrument microprocessors provide the capability of inflight implementation of operational modes by ground-command that are tailored for specific plasma regimes, e.g., magnetosheath, plasma sheet, cold and hot tori, and satellite wakes, and that can be improved upon as acquired knowledge increases during the tour of the Jovian magnetosphere. Because the instrument is specifically designed for measurements in the environs of Jupiter with the advantages of previous surveys with the Voyager spacecraft, first determinations of many plasma phenomena can be expected. These observational objectives include field-aligned currents, three-dimensional ion bulk flows, pickup ions from the Galilean satellites, the spatial distribution of plasmas throughout most of the magnetosphere and including the magnetotail, and ion and electron flows to and from the Jovian ionosphere.     

Design for validation

An approach is outlined for the development of ultrareliable avionics for civil air transports using a design-for-validation philosophy that includes rigorous application of formal methods. The basic concept of the methodology is introduced, and the role of formal methods is explored. The impact of the design-for-validation philosophy on the system design process is then demonstrated by two simple examples. More details about the design-for-validation methodology are then given     

Modification of the SAR step transform algorithm

When the basic step transform algorithm is used to compress synthetic-aperture radar (SAR) signals in azimuth, the linear FM rate and sampling rate must satisfy certain tight constraints. In practice, these constraints cannot be satisfied and errors are introduced into the compressed SAR image. A modification is described of the basic step transform which incorporates interpolation and resampling into the algorithm. These changes allow the removal of the constraints and make the step transform more useful for the compression of real data. An autofocusing capability is also included, without introducing much additional complexity     

Land mobile satellite propagation experiments in Kyoto City

In February of 1990, land mobile satellite propagation experiments were conducted in Kyoto City, Japan, using the Engineering Test Satellite V (ETS-V). The signal transmitted from the satellite was received and recorded at a mobile unit moving in different streets of the downtown area. The streets chosen have typical downtown medium and high rise buildings, electric utility poles, trees, etc., which caused obstruction to the satellite line of sight. The propagation characteristics such as fade/nonfade distribution, joint fade and nonfade distribution, phase distribution, and their dependence on the antenna type are discussed for the measured link. Error characteristics in digital communication for the above link have been qualitatively analyzed on the basis of the measured signal level fluctuation. Effect of interleaving and coding to improve the communication link is also discussed     

An experimental investigation of three eigen DF techniques

The comparative direction-finding (DF) performance of multiple signal classification (MUSIC), ROOT-MUSIC, and estimation of signal parameters via rotational invariance techniques (ESPRIT) is considered. Data were collected from two target transmitters operating simultaneously. The objective of the experiment was to evaluate multipath resolution capability using measurement precision equivalent to that found in modern radio direction-finding systems     

Rational placement and required number of information unmanned aerial systems for on-line monitoring of large territories

An urgent problem of organizing the on-line monitoring of large territories using the information unmanned aerial systems (UAS) is considered. We determine the UAS placement and their necessary number by solving a two-criteria problem on rational covering of the territory by these systems. A man-machine algorithm and an example of the problem solution are presented.     

Practical stabilization in attitude thruster control

The attitude stabilization of a spacecraft using thrusters is considered from a practical point of view, i.e., when actuator constraints, uncertainties and failures, measurement noise, fuel consumption, and inertia matrix uncertainty are considered. A variable structure controller based on sliding modes is obtained first, which guarantees global exponential stability under actuator constraints, uncertainties, and failures. The design is based on a continuous average-proportional torque selection function and a set of feasible sliding surfaces, which may be adapted to improve performance. Exponential convergence towards ultimate bounds is guaranteed when all other practical issues arise.     

Possible shock wave in the local interstellar plasma, very close to the heliosphere

We show, using the HST — GHRS data on velocity and temperature in the nearby interstellar medium, that the observed 3 – 4 km s^–1 relative velocity between the Local Interstellar Cloud (LIC) and the so-called G-cloud located in the Galactic Center hemisphere can be quite naturally explained assuming that the two clouds do interact with each other. In the proposed interpretation the two media are separated by a (quasiperpendicular) MHD shock front propagating from the LIC into the G-cloud. The LIC plasma is then nothing else but the shocked (compression 1.3 – 1.4) gas of the G-cloud. A 1-D single-fluid solution of the Rankine — Hugoniot equations can fit the most probable observed values of the relative velocity (3.75 km/s), LIC (6700 K) and G-cloud (5400 K) kinetic temperatures, if the plasma-beta of the LIC plasma is in the range 1.3 – 1.5 (Table 1). This corresponds to a super — fast magnetosonic motion of the heliosphere through the LIC, independently of LIC density. The LIC magnetic field strength is 1.9 (3.1) G for the LIC electron density n_e = 0.04 (0.10) cm^–3. In this case the shock is less than 30 000 AU away and moves at about 10 km s^–1 relative to the LIC plasma. The Sun is chasing the shock and should catch up with it in about 10⁴ years. If the heliospheric VLP emissions cutoff at 1.8 kHz is indicative of n_e (LIC) = 0.04 cm^–3 (Gurnett et al., 1993), the (pure plasma) bowshock ahead of the heliopause could be the source of quasi-continuous heliospheric 2-kHz emission band. We believe that with the expected increase in the performance of modern spectroscopic instrumentation the proposed method of magnetic field evaluation may in the future find wider application in the studies of the interstellar medium.