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     

Large-scale Coronal Heating, Clustering of Coronal Bright Points, and Concentration of Magnetic Flux

By combining quiet-region Fe XII coronal images from SOHO/EIT with magnetograms from NSO/Kitt Peak and from SOHO/MDI, we show that the population of network coronal bright points and the magnetic flux content of the network are both markedly greater under the bright half of the large-scale quiet corona than under the dim half. These results (1) support the view that the heating of the entire corona in quiet regions and coronal holes is driven by fine-scale magnetic activity (microflares, explosive events, spicules) seated low in the magnetic network, and (2) suggest that this large-scale modulation of the magnetic flux and coronal heating is a signature of giant convection cells. This revised version was published online in June 2006 with corrections to the Cover Date.     

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.     

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.     

Energy Release and Particle Acceleration in Flares: Summary and Future Prospects

RHESSI measurements relevant to the fundamental processes of energy release and particle acceleration in flares are summarized. RHESSI??s precise measurements of hard X-ray continuum spectra enable model-independent deconvolution to obtain the parent electron spectrum. Taking into account the effects of albedo, these show that the low energy cut-off to the electron power-law spectrum is typically ?tens of keV, confirming that the accelerated electrons contain a large fraction of the energy released in flares. RHESSI has detected a high coronal hard X-ray source that is filled with accelerated electrons whose energy density is comparable to the magnetic-field energy density. This suggests an efficient conversion of energy, previously stored in the magnetic field, into the bulk acceleration of electrons. A new, collisionless (Hall) magnetic reconnection process has been identified through theory and simulations, and directly observed in space and in the laboratory; it should occur in the solar corona as well, with a reconnection rate fast enough for the energy release in flares. The reconnection process could result in the formation of multiple elongated magnetic islands, that then collapse to bulk-accelerate the electrons, rapidly enough to produce the observed hard X-ray emissions. RHESSI??s pioneering ??-ray line imaging of energetic ions, revealing footpoints straddling a flare loop arcade, has provided strong evidence that ion acceleration is also related to magnetic reconnection. Flare particle acceleration is shown to have a close relationship to impulsive Solar Energetic Particle (SEP) events observed in the interplanetary medium, and also to both fast coronal mass ejections and gradual SEP events. New instrumentation to provide the high sensitivity and wide dynamic range hard X-ray and ??-ray measurements, plus energetic neutral atom (ENA) imaging of SEPs above ??2 R_??, will enable the next great leap forward in understanding particle acceleration and energy release is large solar eruptions??solar flares and associated fast coronal mass ejections (CMEs).     

Ceres: Its Origin, Evolution and Structure and Dawn��s Potential Contribution

Ceres appears likely to be differentiated and to have experienced planetary evolution processes. This conclusion is based on current geophysical observations and thermodynamic modeling of Ceres?? evolution. This makes Ceres similar to a small planet, and in fact it is thought to represent a class of objects from which the inner planets formed. Verification of Ceres?? state and understanding of the many steps in achieving it remains a major goal. The Dawn spacecraft and its instrument package are on a mission to observe Ceres from orbit. Observations and potential results are suggested here, based on number of science questions.     

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.