High-Energy Electron Beam Relaxation in a Stationary Plasma Thruster

In the paper, processes of high-energy electron beam interaction with plasma particles in a discharge channel of a stationary plasma thruster are analyzed and the results are presented.     

Grain Surface Models and Data for Astrochemistry

The cross-disciplinary field of astrochemistry exists to understand the formation, destruction, and survival of molecules in astrophysical environments. Molecules in space are synthesized via a large variety of gas-phase reactions, and reactions on dust-grain surfaces, where the surface acts as a catalyst. A broad consensus has been reached in the astrochemistry community on how to suitably treat gas-phase processes in models, and also on how to present the necessary reaction data in databases; however, no such consensus has yet been reached for grain-surface processes. A team of \({\sim}25\) experts covering observational, laboratory and theoretical (astro)chemistry met in summer of 2014 at the Lorentz Center in Leiden with the aim to provide solutions for this problem and to review the current state-of-the-art of grain surface models, both in terms of technical implementation into models as well as the most up-to-date information available from experiments and chemical computations. This review builds on the results of this workshop and gives an outlook for future directions.     

Potential Effects of Surface Temperature Variations and Disturbances and Thermal Convection on the Mars InSight HP<Superscript>3</Superscript> Heat-Flow Determination

The HP³ instrument on the InSight lander mission will measure subsurface temperatures and thermal conductivities from which heat flow in the upper few meters of the regolith at the landing site will be calculated. The parameter to be determined is steady-state conductive heat flow, but temperatures may have transient perturbations resulting from surface temperature changes and there could be a component of thermal convection associated with heat transport by vertical flow of atmospheric gases over the depth interval of measurement. The experiment is designed so that it should penetrate to a depth below which surface temperature perturbations are smaller than the required measurement precision by the time the measurements are made. However, if the measurements are delayed after landing, and/or the probe does not penetrate to the desired depth, corrections may be necessary for the transient perturbations. Thermal convection is calculated to be negligible, but these calculations are based on unknown physical properties of the Mars regolith. The effects of thermal convection should be apparent at shallow depths where transient thermal perturbations would be observed to deviate from conductive theory. These calculations were required during proposal review and their probability of predicting a successful measurement a prerequisite for mission approval. However, their uncertainties lies in unmeasured physical parameters of the Mars regolith.     

The Juno Waves Investigation

Jupiter is the source of the strongest planetary radio emissions in the solar system. Variations in these emissions are symptomatic of the dynamics of Jupiter’s magnetosphere and some have been directly associated with Jupiter’s auroras. The strongest radio emissions are associated with Io’s interaction with Jupiter’s magnetic field. In addition, plasma waves are thought to play important roles in the acceleration of energetic particles in the magnetosphere, some of which impact Jupiter’s upper atmosphere generating the auroras. Since the exploration of Jupiter’s polar magnetosphere is a major objective of the Juno mission, it is appropriate that a radio and plasma wave investigation is included in Juno’s payload. This paper describes the Waves instrument and the science it is to pursue as part of the Juno mission.     

The IMF pile-up regions near the Earth and Venus: lessons for the solar wind - Mars interaction

The Mars Global Surveyor mission has revealed that localized crustal paleomagnetic anomalies are a common feature of the Southern Hemisphere of Mars. The magnetometer measured small-scale magnetic fields associated with many individual magnetic anomalies have magnitudes ranging from hundreds to thousands nT at altitude above 120 km. That makes Mars globally different from both Venus and Earth. The data collected by Lunar Prospector near the Moon were interpreted as evidence that above regions of inferred strong surface magnetic fields on the Moon the SW flow is deflected, and a small-scale mini-magnetosphere exists under some circumstances. With a factor of 100 stronger magnetic fields at Mars and a lower SW dynamic pressure, those conditions offer the opportunity for a larger size of small `magnetospheres' which can be formed by the crustal magnetic fields. Outside the regions of the magnetic anomalies, the SW/Mars interaction is Venus-like. Thus, at Mars the distinguishing feature of the magnetic field pile-up boundary most likely varies from Venus-like to Earth-like above the crustal magnetic field regions. The observational data regarding the IMF pile-up regions near Venus and the Earth are initially reviewed. As long as the SW/Mars interaction remains like that at Venus, the IMF penetrates deep into the Martian ionosphere under the `overpressure' conditions. Results of numerical simulations and theoretical expectations regarding the temporal evolution of the IMF inside the Venus ionosphere and appearance of superthermal electrons are also reviewed and assessed.     

Climate Observations - The Instrumental Record

A survey is given of the available instrumental data for monitoring and analysis of climatic variations. We focus on temperature measurements, both over land and ocean, at the surface and aloft.Over land, the older observations were subject to exposure changes which may not have been fully compensated. The effects of urbanization have been largely avoided in studies of climatic change over the last 150 years. There are few records for pre-1850 outside Europe and eastern North America, and the global network shows a recent decline. Over the ocean, sea surface temperature (SST) has been measured using buckets, engine intakes, hull sensors, buoys, and satellites. Many of these data have been effectively homogenized, but new challenges arise as observing systems evolve. Available SST and marine air temperature datasets begin in the 1850s. The data are concentrated in shipping lanes especially before 1900, and very sparse during the world wars, but additional historical data are being digitized.The radiosonde record is short (40 years) and has major gaps over the oceans, tropics and Southern Hemisphere. Instrumental heterogeneities are beginning to be assessed and removed using physical and statistical techniques. The MSU record is complete but only began in 1979, and is not highly resolved in the vertical: major biases, mainly affecting the lower-tropospheric retrieval, have been reduced as a result of recent analyses.Advanced interpolation or data-assimilation techniques are being applied to these data, but the results must be interpreted with care.     

Programmable, multi-purpose opto-electronic sensor system

Optical fibre sensing is becoming increasingly attractive in both the smart structure sphere of interest as well as the medical and industrial concerns. Fibre-optic interferometric sensors can be designed as compact and robust transducers. In general, the transduction mechanism involves the phase modulation of coherent or monochromatic light propagating through a fibre-optic cable, and detecting the changes in the energy associated with this phase change. Sensors based on this technique can generally be configured to be quite sensitive and measurements of a wide variety of physical parameters are achievable. Intrinsic features of optical fibres, such as immunity to electromagnetic interference, flexibility, thinness, strength and weight, make this ideal for sensor technology. In the process of developing fibre-optic sensors for laboratory experimentation, as well as generalised research, an appropriate, easy to use opto-electronic drive and measurement system is required. This paper discusses the operation of a programmable opto-electronic drive and measurement system     

Independent validation and verification of the TCAS II collisionavoidance subsystem

This paper describes the specification-based testing, analysis tools, and associated processes used to independently validate, verify, and ultimately, provide for certifying safety-critical software developed for the Traffic Alert and Collision Avoidance System (TCAS II) program. These tools and processes comprise an effective and Independent Validation and Verification (IV and V) activity applied to the Collision Avoidance Subsystem (GAS) software development process. A requirements specification language called the Requirements State Machine Language (RSML), originally developed by the University of California, Irvine (UCI), was employed for the specification of GAS. The end result is the next generation of TCAS II collision avoidance logic, referred to as Version 7, that is of a higher quality than its predecessors, meets the certification requirements of DO-178B Level B (Ref. 1), and can be shown to satisfy the new operational requirements it was developed to address     

Embedded information system re-engineering

Currently fielded embedded information systems face readiness challenges imposed by evolving missions and extended service lifespans. The ability to overcome these challenges is constrained by such factors as shrinking budgets, limited computational capacity and diminished manufacturing sources effects that impact both hardware and software options. Wholesale redevelopment is often cost prohibitive, particularly since large portions of embedded applications continue to fulfil mission requirements. Solutions must preserve prior investments while providing efficient pathways for continued technology refresh. A technology solution for affordable modernization of legacy system software is being development. The Embedded Information System Re-engineering (EISR) project is developing an automation-assisted JOVIAL-to-C re-engineering capability that permits simultaneous modernization of both the structure and source language of legacy embedded applications. Engineers will be able to apply the proven labor-saving visualization and analysis features of modern CASE tools to legacy JOVIAL applications. EISR will thus allow the DoD to recapture previous investments in proven legacy algorithms and mission capabilities while permitting the full exploitation of COTS economies of scale. This paper describes in brief the goals and objectives of the EISR project, and provides the current status of the EISR capability.     

Fast converging adaptive processor or a structured covariance matrix

The use of adaptive linear techniques to solve signal processing problems is needed particularly when the interference environment external to the signal processor (such as for a radar or communication system) is not known a priori. Due to this lack of knowledge of an external environment, adaptive techniques require a certain amount of data to cancel the external interference. The number of statistically independent samples per input sensor required so that the performance of the adaptive processor is close (nominally within 3 dB) to the optimum is called the convergence measure of effectiveness (MOE) of the processor. The minimization of the convergence MOE is important since in many environments the external interference changes rapidly with time. Although there are heuristic techniques in the literature that provide fast convergence for particular problems, there is currently not a general solution for arbitrary interference that is derived via classical theory. A maximum likelihood (ML) solution (under the assumption that the input interference is Gaussian) is derived here for a structured covariance matrix that has the form of the identity matrix plus an unknown positive semi-definite Hermitian (PSDH) matrix. This covariance matrix form is often valid in realistic interference scenarios for radar and communication systems. Using this ML estimate, simulation results are given that show that the convergence is much faster than the often-used sample matrix inversion method. In addition, the ML solution for a structured covariance matrix that has the aforementioned form where the scale factor on the identity matrix is arbitrarily lower-bounded, is derived. Finally, an efficient implementation is presented.