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     

The origin of the prompt optical emission in GRB 060111B

The detection of a bright optical emission measured with good temporal resolution during the prompt phase makes GRB 060111B a rare event that is especially useful for constraining theories of the prompt optical emission. Comparing this burst with other GRBs with evidence of optical peaks, we find that the optical peak epoch (t_p) is anti-correlated with the high energy burst energetic assuming an isotropic energy release (E_iso) in agreement with Liang et al. (2009), and that the steeper is the post-peak afterglow decay, the less is the agreement with the correlation. GRB 060111B is among the latters and it does not match the correlation. The Cannonball scenario is also discussed and we find that this model cannot be excluded for GRB 060111B.     

An Artificial Neural Network based approach for estimation of rain intensity from spectral moments of a Doppler Weather Radar

By using a Doppler Weather Radar (DWR) at Shriharikota (13.66°N & 80.23°E), an Artificial Neural Network (ANN) based technique is proposed to improve the accuracy of rain intensity estimation. Three spectral moments of a Doppler spectra are utilized as an input data to an ANN. Rain intensity, as measured by the tipping bucket rain gauges around the DWR station, are considered as a target values for the given inputs. Rain intensity as estimated by the developed ANN model is validated by the rain gauges measurements. With the help of a developed technique, reasonable improvement in the estimation of rain intensity is observed. By using the developed technique, root mean square error and bias are reduced in the range of 34–18% and 17–3% respectively, compared to Z–R approach.     

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.     

Surface Composition of Vesta: Issues and Integrated Approach

The instruments on the Dawn spacecraft are exceptionally well suited to characterize and map the surface composition of Vesta in an integrated manner. These include a framing camera with multispectral capabilities, a high spectral resolution near-infrared imaging spectrometer, and a gamma-ray and neutron spectrometer. Three examples of issues addressed at Vesta are: (1) What is the composition of Vesta??s interior and differentiation state as exposed by the Great South Crater? (2) How has space weathering affected Vesta, both globally and at a local scale? and (3) Are volatiles or hydrated material present on Vesta??s surface? We predict that Dawn finds many surprises, such as an olivine-bearing mantle exposed near the south-pole, a weakly or un-weathered surface that has been relatively recently resurfaced, and a very thin layer of surficial volatiles derived from interaction with the solar wind.     

Excitation of Pc5 pulsations of the geomagnetic field and riometric absorption

We consider in detail the intense Pc5 pulsations of the magnetic field, riometric absorption, and electron fluxes occurred on the recovery phase of the strong magnetic storm on November 21, 2003. The global structure of these disturbances is studied using the world network of magnetometers and riometers supplemented by the data of particle detectors onboard the LANL geosynchronous satellites. The local spatial structure is investigated according to data of the regional network of Finnish vertical riometers and of stations of the IMAGE magnetic network. Though a certain similarity is observed in the frequency composition and time evolution of the variations of magnetic field and riometric absorption, the local spatial structure of these oscillations turns out to be different. It is suggested that these variations can be manifestations of oscillatory properties of two weakly connected systems: the magnetospheric MHD waveguide/resonator and the system cyclotron noise + electrons. The recorded Pc5 oscillations are, presumably, a result of excitation of the magnetospheric waveguide on the morning and evening flanks of the magnetosphere. At high velocities of the solar wind this waveguide can appear in a metastable state. Not only jumps in the solar wind density, but injection of electrons into the magnetosphere as well, can serve as a trigger for the waveguide excitation.     

Microperturbations on the <Emphasis Type="Italic">International Space Station</Emphasis> during physical exercises of the crew

The results of a preliminary analysis of microperturbations on the International Space Station during physical exercises of the crew are presented. The goal of this paper is to identify the parameters of perturbations when physical exercises are performed. The results of measurements by sensors of microaccelerations of both Russian and American segments during physical exercises in the service module of the Russian segment are analyzed.