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     

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.     

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.     

Gasodynamic characteristics of a combustion chamber in the integrated power plant with an asymmetric air intake

The results of experimental investigations of gasodynamic characteristics of a combustion chamber model in the integrated power plant (IPP) with an asymmetric air intake are presented. The influence of an angle of air supply into the chamber model on hydraulic losses and the flow structure is shown at different air flowrates, relative values of the minimal flow section area of the feeding air intake pipes, under changes of the flowrate of gas simulating gas generation products and geometric model parameters. A technique for measuring the concentration of carbon dioxide simulating IPP gas generation products in the combustion chamber air flow and the results of experimental investigations of a mixture formation process in the combustion chamber model are described.     

Approaches in the determination of plant nutrient uptake and distribution in space flight conditions.

The effective growth and development of vascular plants rely on the adequate availability of water and nutrients. Inefficiency in either the initial absorption, transportation, or distribution of these elements are factors which impinge on plant structure and metabolic integrity. The potential effect of space flight and microgravity conditions on the efficiency of these processes is unclear. Limitations in the available quantity of space-grown plant material and the sensitivity of routine analytical techniques have made an evaluation of these processes impractical. However, the recent introduction of new plant cultivating methodologies supporting the application of radionuclide elements and subsequent autoradiography techniques provides a highly sensitive investigative approach amenable to space flight studies. Experiments involving the use of gel based 'nutrient packs' and the radionuclides calcium-45 and iron-59 were conducted on the Shuttle mission STS-94. Uptake rates of the radionuclides between ground and flight plant material appeared comparable.     

Programmable, multi-purpose opto-electronic sensor system

Optical fibre sensing is becoming increasingly attractive in both the smart structure sphere of interest as well as the medical and industrial concerns. Fibre-optic interferometric sensors can be designed as compact and robust transducers. In general, the transduction mechanism involves the phase modulation of coherent or monochromatic light propagating through a fibre-optic cable, and detecting the changes in the energy associated with this phase change. Sensors based on this technique can generally be configured to be quite sensitive and measurements of a wide variety of physical parameters are achievable. Intrinsic features of optical fibres, such as immunity to electromagnetic interference, flexibility, thinness, strength and weight, make this ideal for sensor technology. In the process of developing fibre-optic sensors for laboratory experimentation, as well as generalised research, an appropriate, easy to use opto-electronic drive and measurement system is required. This paper discusses the operation of a programmable opto-electronic drive and measurement system     

Advantageous Properties of Frequency Division

The performance of a wideband frequency divider with two independent sinusoidal input signals present is analyzed. Both the case of a relative low-level spurious signal and the case of a relative high-level spurious signal are considered. It is ascertained that a considerable reduction of the spurious signal is achieved and the exact nature of the improvement is dependent on the relative strength of the spurious signal.