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     

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.     

Antideuterons as an indirect dark matter signature: Si(Li) detector development and a GAPS balloon mission

The General AntiParticle Spectrometer (GAPS) is a novel approach for indirect dark matter searches that exploits cosmic antideuterons. GAPS complements existing and planned direct dark matter searches as well as other indirect techniques, probing a different and unique region of parameter space in a variety of proposed dark matter models. The GAPS method involves capturing antiparticles into a target material with the subsequent formation of an excited exotic atom. The exotic atom decays with the emission of atomic X-rays and pions from the nuclear annihilation, which uniquely identifies the captured antiparticle. This technique has been verified through the accelerator testing at KEK in 2004 and 2005. The prototype flight is scheduled from Hokkaido, Japan in 2011, preparatory for a long duration balloon flight from the Antarctic in 2014.     

Simulation of the flow around a stationary circular cylinder taking into account laminar-turbulent transition

We consider a problem of a stationary incompressible viscous fluid flow around a flat circular cylinder. In the vicinity of the critical Reynolds number Re _cr a stepwise drop of the cylinder drag takes place, which is called the drag crisis.     

Local fracture of the burning solid propellant

The problem of fracture mechanics for the solid propellant deteriorated by a crack-shaped cavity, the surface of which burns is considered. It is assumed that the propellant reagents are uniformly distributed in the solid phase while the combustion products are gaseous. The sufficient condition for the “combustion -fracture” stability regime is obtained.     

Pareto-optimal solution of a two-objective problem in choosing conditions of monoimpeller milling

A problem of optimization of cutting parameters with respect to the criteria of maximum efficiency and maximum tool resistance is formulated. To solve the problem, a method is developed and applied for determining the Pareto-optimal values of machining conditions in milling the present-day GTE monoimpeller blade passages with a circular milling cutter.