An empirical model of electron density for low and middle latitudes below 200 km

Our empirical model of electron density (n_e) for quiet and weakly disturbed geomagnetic conditions (Kp not greater 4) takes account of comparative analysis of existing models and of experimental data obtained by rockets and incoherent scatter radar. The model describes the n_e distribution in the 80 to 200 km height range at low and middle latitudes, and to some extent, in the subauroral region. It is presented in analytical form thus allowing one to calculate electron density profiles for any time. The electron density distribution at 140 km depends on the season (day of the year) and on the solar zenith angle. Profile variations during the day are for one season shown. Different from other models, ours specifies the variations during sunrise and sunset and reflects the particular profile shape at night admitting the occurrence of an intermediate layer.     

Dynamics of a spacecraft and normalization around Lagrangian points in the Neptune–Triton system

The problem of a spacecraft orbiting the Neptune–Triton system is presented. The new ingredients in this restricted three body problem are the Neptune oblateness and the high inclined and retrograde motion of Triton. First we present some interesting simulations showing the role played by the oblateness on a Neptune’s satellite, disturbed by Triton. We also give an extensive numerical exploration in the case when the spacecraft orbits Triton, considering Sun, Neptune and its planetary oblateness as disturbers. In the plane a × I (a = semi-major axis, I = inclination), we give a plot of the stable regions where the massless body can survive for thousand of years. Retrograde and direct orbits were considered and as usual, the region of stability is much more significant for the case of direct orbit of the spacecraft (Triton’s orbit is retrograde). Next we explore the dynamics in a vicinity of the Lagrangian points. The Birkhoff normalization is constructed around L₂, followed by its reduction to the center manifold. In this reduced dynamics, a convenient Poincaré section shows the interplay of the Lyapunov and halo periodic orbits, Lissajous and quasi-halo tori as well as the stable and unstable manifolds of the planar Lyapunov orbit. To show the effect of the oblateness, the planar Lyapunov family emanating from the Lagrangian points and three-dimensional halo orbits are obtained by the numerical continuation method.     

Integration of lessons from recent research for “Earth to Mars” life support systems

Development of reliable and robust strategies for long-term life support for planetary exploration must be built from real-time experimentation to verify and improve system components. Also critical is incorporating a range of viable options to handle potential short-term life system imbalances. This paper revisits some of the conceptual framework for a Mars base prototype which has been developed by the authors along with others previously advanced (“Mars on Earth^®”) in the light of three years of experimentation in the Laboratory Biosphere, further investigation of system alternatives and the advent of other innovative engineering and agri-ecosystem approaches. Several experiments with candidate space agriculture crops have demonstrated the higher productivity possible with elevated light levels and improved environmental controls. For example, crops of sweet potatoes exceeded original Mars base prototype projections by an average of 46% (53% for best crop) ultradwarf (Apogee) wheat by 9% (23% for best crop), pinto bean by 13% (31% for best crop). These production levels, although they may be increased with further optimization of lighting regimes, environmental parameters, crop density etc. offer evidence that a soil-based system can be as productive as the hydroponic systems which have dominated space life support scenarios and research. But soil also offers distinct advantages: the capability to be created on the Moon or Mars using in situ space resources, reduces long-term reliance on consumables and imported resources, and more readily recycling and incorporating crew and crop waste products. In addition, a living soil contains a complex microbial ecosystem which helps prevent the buildup of trace gases or compounds, and thus assist with air and water purification. The atmospheric dynamics of these crops were studied in the Laboratory Biosphere adding to the database necessary for managing the mixed stands of crops essential for supplying a nutritionally adequate diet in space. This paper explores some of the challenges of small bioregenerative life support: air-sealing and facility architecture/design, balance of short-term variations of carbon dioxide and oxygen through staggered plantings, options for additional atmospheric buffers and sinks, lighting/energy efficiency engineering, crop and waste product recycling approaches, and human factor considerations in the design and operation of a Mars base. An “Earth to Mars” project, forging the ability to live sustainably in space (as on Earth) requires continued research and testing of these components and integrated subsystems; and developing a step-by-step learning process.     

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.     

A new model of the ion composition at 75 to 1000 km for IRI

Ion composition of the ionosphere is an important parameter of any ionospheric model. The International Reference Ionosphere-1979 includes a program for the relative ion composition computation. The program was constructed on the basis of the Danilov and Semenov /1/ empirical model, which averaged 42 rocket measurements of the ion composition at middle latitudes below 200 km, on “AEROS” satellite measurements, and on Taylor's data /2/ above that altitude.     

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.     

Neoplastic cell transformation by high-LET radiation: molecular mechanisms.

Experimental data on molecular mechanisms are essential for understanding the bioeffects of radiation and for developing biophysical models, which can help in determining the shape of dose-response curves at very low doses, e.g., doses less than 1 cGy. Although it has been shown that ionizing radiation can cause neoplastic cell transformation directly, that high-LET heavy ions in general can be more effective than photons in transforming cells, and that the radiogenic cell transformation is a multi-step process [correction of processes], we know very little about the molecular nature of lesions important for cell transformation, the relationship between lethal and transformational damages, and the evolution of initial damages into final chromosomal aberrations which alter the growth control of cells. Using cultured mouse embryo cells (C3H10T1/2) as a model system, we have collected quantitative data on dose-response curves for heavy ions with various charges and energies. An analysis of these quantitative data suggested that two DNA breaks formed within 80 angstroms may cause cell transformation and that two DNA breaks formed within 20 angstroms may be lethal. Through studies with restriction enzymes which produce DNA damages at specific sites, we have found that DNA double strand breaks, including both blunt- and cohesive-ended breaks, can cause cell transformation in vitro. These results indicate that DNA double strand breaks can be important primary lesions for radiogenic cell transformation and that blunt-ended double strand breaks can form lethal as well as transformational damages due to misrepair or incomplete repair in the cell. The RBE-LET relationship is similar for HGPRT gene mutation, chromosomal deletion, and cell transformation, suggesting common lesions may be involved in these radiation effects. The high RBE of high-LET radiation for cell killing and neoplastic cell transformation is most likely related to its effectiveness in producing DNA double strand breaks in mammalian cells. At present the role of oncogenes in radiation cell transformation is unclear.     

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.