Design for validation

An approach is outlined for the development of ultrareliable avionics for civil air transports using a design-for-validation philosophy that includes rigorous application of formal methods. The basic concept of the methodology is introduced, and the role of formal methods is explored. The impact of the design-for-validation philosophy on the system design process is then demonstrated by two simple examples. More details about the design-for-validation methodology are then given     

Modification of the SAR step transform algorithm

When the basic step transform algorithm is used to compress synthetic-aperture radar (SAR) signals in azimuth, the linear FM rate and sampling rate must satisfy certain tight constraints. In practice, these constraints cannot be satisfied and errors are introduced into the compressed SAR image. A modification is described of the basic step transform which incorporates interpolation and resampling into the algorithm. These changes allow the removal of the constraints and make the step transform more useful for the compression of real data. An autofocusing capability is also included, without introducing much additional complexity     

On the relation between the mass loss rate and the stellar parameters of OB-type stars

We discuss mass loss relations for OB-type stars as a function of luminosity, effective temperature, and mass. We conclude that a simple first order linear regression relation is as good as any other more sophisticated relation, with the advantage that the simple form consumes much less computer time when used in evolutionary codes.     

Multiple target tracking using products of position measurements

The continued development of the symmetric measurement equation (SME) filter for track maintenance in multiple target tracking (MTT) is considered, focusing on the case in which the SMEs are generated by forming sums of products of the original position measurements. The SME filter is developed for the case of N targets whose motions consist of random perturbations about constant-velocity trajectories. It is assumed that measurements of x-coordinate positions are available, and that the number of measurements is equal to the number of targets. Various analytical properties of the SME filter are studied. It is shown that under a very weak condition, the estimation error equation is locally exponentially stable. The performance of the SME filter is investigated by comparing it with an optimal (minimum-variance) estimator and by generating a computer simulation in the six-target case     

Image texture synthesis-by-analysis using moving-average models

A synthesis-by-analysis model for texture replication or simulation is presented. This model can closely replicate a given textured image or produce another image that although distinct from the original, has the same general visual characteristics and the same first and second-order gray-level statistics as the original image. The texture synthesis algorithm, proposed contains three distinct components: a moving-average (MA) filter, a filter excitation function, and a gray-level histogram. The analysis portion of the texture synthesis algorithm derives the three from a given image. The synthesis portion convolves the MA filter kernel with the excitation function, adds noise, and modifies the histogram of the result. The advantages of this texture model over others include conceptually and computationally simple and robust parameter estimation, inherent stability, parsimony in the number of parameters, and synthesis through convolution. The authors describe a procedure for deriving the correct MA kernel using a signal enhancement algorithm, demonstrate the effectiveness of the model by using it to mimic several diverse textured images, discuss its applicability to the problem of infrared background simulation, and include detailed algorithms for the implementation of the model     

Robust Kalman filter design for predictive wind shear detection

Severe low-altitude wind shear is a threat to aviation safety. Newly developed airborne sensors measure the radial component of wind along a line directly in front of an aircraft. The authors use optimal estimation theory to define a detection algorithm to warn of hazardous wind shear from these sensors. To achieve robustness, a wind shear detection algorithm must distinguish threatening wind shear from less hazardous gustiness, despite variations in wind shear structure. Statistical analysis methods to refine wind shear detection algorithm robustness are presented. Computational methods predict the ability to warn of severe wind shear and avoid false warning. Comparative capability of the detection algorithm as a function of its design parameters is determined, identifying designs that provide robust detection of severe wind shear     

Multitarget detection using Kalman-based average displacementestimator

The anomaly in the displacement estimates obtained from a low-level Kalman-based average displacement estimator is used to detect multiple targets in a forward-looking infrared (FLIR) scene. The displacement estimates originating from the targets could be associated with the detected multiple targets and an updated estimated position of the target could be obtained. This procedure could be repeated for all targets in the scene to obtain multitarget tracking. The behavior of the expected value of the displacement estimates as a function of the number of iterations is investigated. The behavior of the displacement error covariance matrix and the Kalman gain matrix are discussed as functions of the number of iterations     

Multiposition alignment of strapdown inertial navigation system

The authors demonstrate that the stationary alignment of strapdown inertial navigation system (SDINS) can be improved by employing the multiposition/technique. Using an observability analysis, it is shown that an optimal two-position alignment not only satisfies complete observability conditions but also minimizes alignment errors. This is done by analytic rank testing of the stripped observability matrix and numerical calculation of the error covariance. It is also shown that an optimal three-position alignment accelerates the convergence of the alignment error compared with two-position alignment     

The mass and helium discrepancy in massive stars: The case Vela X-1

A NLTE-analysis is presented of high S/N spectra of the optical component of the standard massive X-ray binary Vela X-1. In combination with the orbital parameters we conclude that the optical star is highly helium enriched and is significantly overluminous compared to standard evolutionary tracks of massive accretion stars. We then propose a new accretion model able to explain these features.     

Phase Space Density Analysis of Energy Transport in the Earth’s Magnetotail

Two energetic events in the Earth’s magnetotail detected by Geotail are examined with detailed analysis of three-dimensional velocity phase space density. It is found that the occurrence of multiple ion components is high during these dynamic episodes. Different populations evolve independently of each other, suggesting particles from multiple activity sites contributing to the observed phase space density. The transport properties with consideration of multiple components are evaluated, with the result showing significant differences from those based on a single fluid approach. This comparison indicates that precise evaluation of the energy and magnetic flux transport of energetic events in the magnetotail requires resolving individual populations in the phase space density.