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.     

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.     

Constraints on the FIP Mechanisms from Solar Wind Abundance Data

In the slow solar wind, elements with (first) ionisation potential (FIP) between ∼10 eV and 22 eV are depleted by a factor of about 4 relative to their abundances in the Outer Convective Zone (OCZ), and helium (FIP = 24.5 eV) is further depleted by a factor of ∼1.8. This depletion, called the FIP effect, is much less pronounced in the high speed streams coming out of coronal holes. The systematics of element depletion suggests that the FIP effect is produced at a temperature ∼104 K and that it is controlled by the time of ionisation at the solar surface. At the boundary of the polar coronal holes, the transition from a strong to a weak FIP effect is relatively sharp and coincides with the change in coronal electron temperature, indicating a profound change in coronal as well as chromospheric properties at this boundary. This revised version was published online in June 2006 with corrections to the Cover Date.     

Space-borne technology and inversion techniques for radar

This presents recent progress of the state-of-the-art of space-borne radar technology in case of either earth-orbiting or planetary-orbiting satellites and space probes, respectively. In addition to that, recent progress is also discussed concerning specific inversion techniques to evaluate radar measurements; i.e., the art of deriving the relevant physical quantities to be determined such as terrain and depth profiles for planetary surface and/or subsurface structures ((3D)-profiles) from radar data measured depending on signal frequency, aspect angle, polarization, etc., as a function of time.     

An Automatic Timing Receiver System Based on the Loran-C Navigational Network

This paper describes some new concepts in dealing with the circuitry for Loran-C automatic timing systems. The conventional analog techniques associated with phase-adjusting networks have been replaced by an incremental digital phase-shifting device. The Loran-C period generator includes facilities for delay compensation by means of an epoch monitor producing a 1-Hz output coincident with the master station TOC (time of coincidence). The required initial time information has to be accurate within ± 20 ms. The automatic format identification and decoding equipment together form a system which takes into account the information of every Loran-C pulse. Owing to the use of digital signal treatment, the synchronization accuracy is limited only by the resolution of the incremental phase shift. The automatic cycle selection device is based on sampling techniques where the derivative of the envelope is calculated. The time of coincidence has to be precalculated and fed into the thumbwheel memory of the epoch monitor, which is automatically initiated when the synchronizing operations are concluded. For VLBI purposes and transcontinental use, the accuracy of this system will be better than 1 ?s when post corrections, supplied by the U.S. Naval Observatory, are taken into account.