Asymmetries in Mars' Exosphere

Observations and simulations show that Mars' atmosphere has large seasonal variations. Total atmospheric density can have an order of magnitude latitudinal variation at exobase heights. By numerical simulations we show that these latitude variations in exobase parameters induce asymmetries in the hydrogen exosphere that propagate to large distances from the planet. We show that these asymmetries in the exosphere produce asymmetries in the fluxes of energetic neutral atoms (ENAs) and soft X-rays produced by charge exchange between the solar wind and exospheric hydrogen. This could be an explanation for asymmetries that have been observed in ENA and X-ray fluxes at Mars.     

Almost instant time inference for hybrid partially dynamic Bayesian networks

A Bayesian network (BN) is a compact representation for probabilistic models and inference. They have been used successfully for many military and civilian applications. It is well known that, in general, the inference algorithms to compute the exact a posterior probability of a target node given observed evidence are either computationally infeasible for dense networks or impossible for general hybrid networks. In those cases, one either computes the approximate results using stochastic simulation methods or approximates the model using discretization or a Gaussian mixture model before applying an exact inference algorithm. This paper combines the concept of simulation and model approximation to propose an efficient algorithm for those cases. The main contribution here is a unified treatment of arbitrary (nonlinear non-Gaussian) hybrid (discrete and continuous) BN inference having both computation and accuracy scalability. The key idea is to precompile the high-dimensional hybrid distribution using a hypercube representation and apply it for both static and dynamic BN inference. Since the inference process essentially becomes a combination of table look-up and some simple operations, the method is shown to be extremely efficient. It can also he scaled to achieve any desirable accuracy given sufficient preprocessing time and memory for the cases where exact inference is not possible     

A method for constructing an airfoil using a specified chord velocity diagram

A problem of determining a shape of the airfoil being streamlined by a potential incompressible inviscid flow is solved by the successive approximation method using a specified chord velocity diagram. It is shown that a closed airfoil that possesses a specified chord velocity diagram can be constructed with a sufficient accuracy; if the chord diagram is unsuccessfully specified, the closed airfoil may prove to be not univalent, that is, physically unrealizable.     

Recent Breakthroughs in RF Photonics for Radar Systems

Radar systems require transmission of very high purity signals. Photonics is now mature enough to achieve analog transmission with very low noise, strong immunity, and wide-bandwidth even in harsh environments. We present our recent developments of optimized optical links dedicated to radar and multifunction systems     

Two Methods of Spectral Estimation for SARSAT Signals

Search and rescue satellite aided tracking (SARSAT) depends on the processing of emergency locator transmitter (ELT) signals which are received by a satellite in low polar orbit. Since the signal from a distressed vehicle is normally immersed in a background of other ELT signals (false alarms), interference, and noise, different methods of spectral estimation can provide advantages in estimating carrier frequency. A comparison between average spectrum and minimum spectrum for several real signals is provided here.     

Subspace array processing for the suppression of FM jamming in GPS receivers

The mitigation of FM interference in GPS receivers is considered. In difference to commonly assumed wideband and narrowband interferers, the FM interferers are wideband, but instantaneously narrowband, and as such, have clear time-frequency (TF) signatures that are distinct from the GPS coarse acquisition (C/A) spread spectrum code. In the proposed technique, the estimate of the FM interference instantaneous frequency (IF) and the interference spatial signature are used to construct the spatiotemporal interference subspace. The IF estimates can be provided using existing effective linear or bilinear TF methods. The undesired signal arrival is suppressed by projecting the input data on the interference orthogonal subspace. With a multisensor receiver, the distinctions in both the spatial and TF signatures of signal arrivals allow effective interference suppressions. The deterministic nature of the signal model is considered and the known underlying structure of the GPS C/A code is utilized. We derive the receiver signal-to-interference-plus-noise ratio (SINR) under exact and perturbed IF values. The effect of IF estimation errors on both pseudorange measurements and navigation data recovery is analyzed. Simulation results comparing the receiver performances under IF errors in single and multiantenna GPS receivers are provided.     

Performance evaluation for MAP state estimate fusion

This paper presents a quantitative performance evaluation method for the maximum a posteriori (MAP) state estimate fusion algorithm. Under ideal conditions where data association is assumed to be perfect, it has been shown that the MAP or best linear unbiased estimate (BLUE) fusion formula provides the best linear minimum mean squared estimate (LMMSE) given local estimates under the linear Gaussian assumption for a static system. However, for a dynamic system where fusion is recursively performed by the fusion center on local estimates generated from local measurements, it is not obvious how the MAP algorithm will perform. In the past, several performance evaluation methods have been proposed for various fusion algorithms, including simple convex combination, cross-covariance combination, information matrix, and MAP fusion. However, not much has been done to quantify the steady state behavior of these fusion methods for a dynamic system. The goal of this work is to present analytical fusion performance results for MAP state estimate fusion without extensive Monte Carlo simulations, using an approach developed for steady state performance evaluation for track fusion. Two different communication strategies are considered: fusion with and without feedback to the sensors. Analytic curves for the steady state performance of the fusion algorithm for various communication patterns are presented under different operating conditions.     

Reduced-order multiple model adaptive controller for flexiblespacestructure

The robustness of a moving-bank multiple model adaptive estimator/controller to order reduction in the controller design model is examined. It is shown that the adaptive mechanism and bank-moving logic are not confounded by the effects of unmodeled higher order modes of a large flexible spacestructure. Control characteristics are achieved that are essentially equivalent to those of an artificially informed benchmark controller     

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     

SETI education programs in Australia

This paper discusses and evaluates two innovative SETI education programs conducted at the University of Western Sydney, viz: the SETI Pathways Program and the Life in the Universe Curriculum Project.