Mathematical description of the NaK model for MASTER-2005

The release of NaK droplets has been modeled for the new version of the European Meteoroid and Space Debris Terrestrial Environment Reference model MASTER-2005. Previously published versions of the model have been revised. The parameters of the model are introduced and discussed. NaK droplets consist of eutectic sodium–potassium alloy and have been released during RORSAT reactor core ejections. They contributed to the space debris environment in the centimeter and millimeter size regime. Sixteen nuclear powered RORSATs launched between 1980 and 1988 activated a reactor core ejection system in Sufficiently High Orbits (SHO), mostly between 900 and 950 km altitude. The core ejection caused an opening of the primary coolant circuit. The liquid coolant has been released into space during these core ejections. The outflow is considered as a discrete event for each of the sixteen core ejections in total. The NaK coolant has been forming droplets up to a diameter of 5.5 cm. NaK releases are restricted to a very narrow region near 65° inclination. This paper gives the parameters of the NaK release model as it is implemented in MASTER-2005. The quantitative values of all model parameters including characteristic diameter and uniformity parameter are presented. The ratio of the characteristic droplet size to the orifice diameter is discussed. It is estimated that altogether 128 kg of NaK-78 (8 kg per RORSAT) was released on orbit. Simulation runs show that there are still 45,000 droplets with a total mass of 97 kg in orbit at the reference epoch 1 May 2005, whereas the smallest droplet has a diameter of 5 mm. Results of orbit propagation simulation runs are presented in terms of spatial density.     

Antiparticle content in the magnetosphere

In the present work we assess the stable and transient antiparticle content of planetary magnetospheres, and subsequently we consider their capture and application to high delta-v space propulsion. We estimate the total antiparticle mass contained within the Earth’s magnetosphere to assess the expediency of such usage. Using Earth’s magnetic field region as an example, we have considered the various source mechanisms that are applicable to a planetary magnetosphere, the confinement duration versus transport processes, and the antiparticle loss mechanisms. We have estimated the content of the trapped population of antiparticles magnetically confined following production in the exosphere due to nuclear interactions between high energy cosmic rays (CR) and constituents of the residual planetary upper atmosphere.The galactic antiprotons that directly penetrate into the Earth’s magnetosphere are themselves secondary by its nature, i.e. produced in nuclear reactions of the cosmic rays passing through the interstellar matter. These antiproton fluxes are modified, dependent on energy, when penetrating into the heliosphere and subsequently into planetary magnetospheres. During its lifetime in the Galaxy, CR pass through the small grammage of the interstellar matter where they produce secondary antiprotons. In contrast to this, antiprotons generated by the same CR in magnetosphere are locally produced at a path length of several tens g/cm² of matter in the ambient planetary upper atmosphere. Due to the latter process, the resulting magnetically confined fluxes significantly exceed the fluxes of the galactic antiprotons in the Earth’s vicinity by up to two orders of magnitude at some energies.The radiation belt antiparticles can possibly be extracted with an electromagnetic-based “scoop” device. The antiparticles could be concentrated by and then stored within the superimposed magnetic field structure of such a device. In future developments, it is anticipated that the energy of the captured antiparticles (both rest energy and kinetic energy) can be adapted for use as a fuel for propelling spacecraft to high velocities for remote solar system missions.     

Application potential of SPOT imagery for topographic mapping

The high resolution and good geometric configuration possible with SPOT gives a high potential for the production of 1:100 000 topographic maps. Studies at University College London have investigated this potential with the aid of a simple instrument which will introduce the necessary corrections to level 1b photographic images and orthophotographs and allow stereoscopic viewing of SPOT images and the ability to compile a line map. Accuracy has been investigated by computing ground co-ordinates from image co-ordinates and pixel positions. The methods used and results obtained in this work are described.Work is now going on to investigate the use of digital image processors in the mapping procedures and the use of analytical plotting instruments, and comments on this work and on future developments are made.     

SAMBO-GEOS: On three-dimensional substorm dynamics — A case study for 4 March 1979

For investigations of the isolated magnetospheric substorm the ground-based and satellite geophysical data are discussed. The active phase of the substorm has two parts: an active-convective phase and a classical active phase. The analysed data show that the breakup of the substorm takes place at closed and not very much stretched magnetic field lines.     

Permanent-Magnet Linear Alternators Part 1: Fundamental Equations

Powered by free-piston Stirling engines, linear alternators are proposed for space power stations as well as for isolated domestic applications, automotive, and on-Earth solar power plants. As the literature on the subject is sparse and base-design oriented, we present the general equations for both three-phase and single-phase winding configurations having permanent-magnet field excitations.     

An Adaptive Multiple-Beam Transmitter for Satellite Communications

A multiple-beam satellite communications system that can adaptbeam power to varying beam traffic is proposed. A new type active-array fed, single reflector antenna design and an S band, 5-beamsystem concept including interbeam exchange are described. Basedon these concepts, a high EIRP multiple-beam system with trafficadaptability similar to a single-beam system is realized.     

Software intensive systems safety analysis

Two important elements in the avionics suite of modern aircraft are: the flight control system (FCS) and the flight management system (FMS). The FCS provides the capability to stabilize and control the aircraft, while the FMS is responsible for flight planning and navigation. A clear trend in the aerospace industry is to place greater reliance on software systems, and many FCS and FMS subsystems are implemented primarily in software. For example, within the FCS is the flight guidance system (FGS) that generates roll and pitch guidance commands. Similarly, within the FMS is the vertical navigation (VNAV) function that acts like a third crew member in the cockpit, ordering mode change requests and resetting target altitude values to enable the aircraft to track the vertical flight plan. We have developed formal, executable models of the requirements for the mode logic of a FGS and for portions of the VNAV functionality. We have also conducted a comprehensive software safety analysis on the FGS mode logic model, and are completing the analysis of the VNAV model. This analysis uses as its starting point several "traditional" safety analysis techniques such as a functional hazard assessment (FHA), a fault tree analysis (FTA), and a failure mode effects analysis (FMEA). However, we are also using formal methods techniques known as model checking and theorem proving to verify the presence of safety properties in the model. This paper summarizes the (now completed) safety analysis that was performed on the FGS model, and highlights the similarities and differences with the (still on-going) safety analysis of the FMS model. In particular, we summarize progress made to date in the use of formal methods to verify the presence of the required safety properties in the models themselves.