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     

Analysis of an adaptive CFAR detector in non-Gaussian interference

Coherent signal detection in non-Gaussian interference is presently of interest in adaptive array applications. Conventional array detection algorithms inherently model the interference with a multivariate Gaussian random vector. However, non-Gaussian interference models are also under investigation for applications where the Gaussian assumption may not be appropriate. We analyze the performance of an adaptive array receiver for signal detection in interference modeled with a non-Gaussian distribution referred to as a spherically invariant random vector (SIRV). We first motivate this interference model with results from radar clutter measurements collected in the Mountain Top Program. Then we develop analytical expressions for the probability of false alarm and the probability of detection for the adaptive array receiver. Our analysis shows that the receiver has constant false alarm rate (CFAR) performance with respect to all the interference parameters. Some illustrative examples are included that compare the detection performance of this CFAR receiver with a receiver that has prior knowledge of the interference parameters     

Magnetospheric Models and Trajectory Computations

The calculation of particle trajectories in the Earth's magnetic field has been a subject of interest since the time of Störmer. The fundamental problem is that the trajectory-tracing process involves using mathematical equations that have `no solution in closed form'. This difficulty has forced researchers to use the `brute force' technique of numerical integration of many individual trajectories to ascertain the behavior of trajectory families or groups. As the power of computers has improved over the decades, the numerical integration procedure has grown more tractable and while the problem is still formidable, thousands of trajectories can be computed without the expenditure of excessive resources. As particle trajectories are computed and the characteristics analyzed we can determine the cutoff rigidity of a specific location and viewing direction and direction and deduce the direction in space of various cosmic ray anisotropies. Unfortunately, cutoff rigidities are not simple parameters due to the chaotic behavior of the cosmic-ray trajectories in the cosmic ray penumbral region. As the computational problem becomes more manageable, there is still the issue of the accuracy of the magnetic field models. Over the decades, magnetic field models of increasing complexity have been developed and utilized. The accuracy of trajectory calculations employing contemporary magnetic field models is sufficient that cosmic ray experiments can be designed on the basis of trajectory calculations. However, the Earth's magnetosphere is dynamic and the most widely used magnetospheric models currently available are static. This means that the greatest uncertainly in the application of charged particle trajectories occurs at low energies.     

Evaluation of multiple radar target trackers in stressfulenvironments

This paper evaluates the performance of multiple target tracking (MTT) algorithms in real-life stressful radar tracking environments. Real closely spaced maneuver radar data, generated by six F-18 fighters and other targets, were collected jointly by the defence departments of Canada and United States to support this practical MTT algorithm evaluation study. A set of performance metrics was defined here to compare the suboptimal nearest neighbor (SNN), global nearest neighbor (GNN), and various variants of the joint probabilistic data association (JPDA) MTT trackers. Results reveal an interesting result that all these MTT algorithms exhibited very close performance. In addition, the weighted sum approach of the PDA/JPDA trackers which are theoretically effective were observed to perform poorly in tracking closely spaced targets. Overall speaking, the GNN filter based on the Munkres algorithm had the best performance in terms of both tracking performance and robustness     

1. Transport of Mass,Momentum and Energy in Planetary Magnetodisc Regions

The rapid rotation of the gas giant planets, Jupiter and Saturn, leads to the formation of magnetodisc regions in their magnetospheric environments. In these regions, relatively cold plasma is confined towards the equatorial regions, and the magnetic field generated by the azimuthal (ring) current adds to the planetary dipole, forming radially distended field lines near the equatorial plane. The ensuing force balance in the equatorial magnetodisc is strongly influenced by centrifugal stress and by the thermal pressure of hot ion populations, whose thermal energy is large compared to the magnitude of their centrifugal potential energy. The sources of plasma for the Jovian and Kronian magnetospheres are the respective satellites Io (a volcanic moon) and Enceladus (an icy moon). The plasma produced by these sources is globally transported outwards through the respective magnetosphere, and ultimately lost from the system. One of the most studied mechanisms for this transport is flux tube interchange, a plasma instability which displaces mass but does not displace magnetic flux—an important observational constraint for any transport process. Pressure anisotropy is likely to play a role in the loss of plasma from these magnetospheres. This is especially the case for the Jovian system, which can harbour strong parallel pressures at the equatorial segments of rotating, expanding flux tubes, leading to these regions becoming unstable, blowing open and releasing their plasma. Plasma mass loss is also associated with magnetic reconnection events in the magnetotail regions. In this overview, we summarise some important observational and theoretical concepts associated with the production and transport of plasma in giant planet magnetodiscs. We begin by considering aspects of force balance in these systems, and their coupling with the ionospheres of their parent planets. We then describe the role of the interaction between neutral and ionized species, and how it determines the rate at which plasma mass and momentum are added to the magnetodisc. Following this, we describe the observational properties of plasma injections, and the consequent implications for the nature of global plasma transport and magnetodisc stability. The theory of the flux tube interchange instability is reviewed, and the influences of gravity and magnetic curvature on the instability are described. The interaction between simulated interchange plasma structures and Saturn’s moon Titan is discussed, and its relationship to observed periodic phenomena at Saturn is described. Finally, the observation, generation and evolution of plasma waves associated with mass loading in the magnetodisc regions is reviewed.     

MHD Waves and Instabilities in Space Plasma Flows

Shear flow instabilities are an important aspect of hydrodynamic studies. The present review article discusses the role of an ambient magnetic field which both modifies the Kelvin-Helmholtz instability and may introduce new types of magnetohydrodynamic waves and instabilities. A brief overview of magnetospheric pulsations is presented with an emphasis on the long-period resonant Alfv??n waves associated with the high speed solar wind. The spatio-temporal evolution of magnetically modified shear flow instabilities in various space plasma structures is addressed. A distinction between convective and absolute instabilities is necessary for proper understanding of theory and correct interpretation of the observations. Finally, it is shown how incompressible Alfv??nic disturbances may become unstable in a compressible flow in the absence of any shear. An application to coronal loops is presented.     

A method for calculating the resistance of spacecraft design elements under the action of space debris particles

In this paper, the problems of the application and development of models of space debris when designing means of the anti-meteorite spacecraft protection are considered. The developed method enables us to calculate the resistance of design elements based on the conjugation of a modified spatial model of the distribution of space-debris particles and ballistic limit dependences for a calculated element.