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.     

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).     

The Education and Public Outreach Program for NASA��s Dawn Mission

The Dawn mission??s Education and Public Outreach (E/PO) program takes advantage of the length of the mission, an effort to maintain level funding, and the exceptional support of the science and engineering teams to create formal and informal educational materials that bring STEM content and modes of thinking to students of all ages. With materials that are based on researched pedagogical principles and aligned with science education standards, Dawn weaves together many aspects of the mission to engage students, teachers, and the general public. E/PO tells the story of the discovery of the asteroid belt, uncovers principles of physics behind the ion propulsion that powers the spacecraft, and explains what we can learn from the instrumentation and how the mission??s results will expand our understanding of the origins of the solar system. In this way, we not only educate and inform, we build anticipation and expectation in the general public for the spacecraft??s arrival at Vesta in 2011 and three years later at Ceres. This chapter discusses the organization, strategies, formative assessment and dissemination of these materials and activities, and includes a section on lessons learned.     

A DORIS determination of the absolute velocities of the Sorsdal and Mellor glaciers in Antarctica

The Lambert–Amery System is the largest glacier–ice shelf system in East Antarctica, draining a significant portion of the ice sheet. Variation in ice sheet discharge from Antarctica or Greenland has an impact on the rate of change in global mean sea level; which is a manifestation of climate change. In conjunction with a measure of ice thickness change, ice sheet discharge can be monitored by determining the absolute velocities of these glaciers.     

Solar activity dependence of total electron content derived from GPS observations over Mbarara

Vertical total electron content (VTEC) observed at Mbarara (geographic co-ordinates: 0.60°S, 30.74°E; geomagnetic coordinates: 10.22°S, 102.36°E), Uganda, for the period 2001–2009 have been used to study the diurnal, seasonal and solar activity variations. The daily values of the 10.7 cm radio flux (F_10.7) and sunspot number (R) were used to represent Solar Extreme Ultraviolet Variability (EUV). VTEC is generally higher during high solar activity period for all the seasons and increases from 0600 h LT and reaches its maximum value within 1400 h–1500 h LT. All analysed linear and quadratic fits demonstrate positive VTEC-F_10.7 and positive VTEC-R correlation, with all fits at 0000 h and 1400 h LT being significant with a confidence level of 95% when both linear and quadratic models are used. All the fits at 0600 h LT are insignificant with a confidence level of 95%. Generally, over Mbarara, quadratic fit shows that VTEC saturates during all seasons for F_10.7 more than 200 units and R more than 150 units. The result of this study can be used to improve the International Reference Ionosphere (IRI) prediction of TEC around the equatorial region of the African sector.