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     

空间卫星目标动态电磁散射特性仿真与分析

给出了空间轨道飞行目标动态宽带散射特性建模方法,重点对某卫星动态宽带电磁散射特性进行了仿真,并通过轨道飞行过程中卫星一维距离像的积累获取了散射中心历程图,提出了由飞行过程中形成的散射中心历程图来判断卫星的结构特点的思路.     

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.     

Spiral evolution applied to legacy avionics systems

The US Department of Defense (DoD), through the Office of the Secretary of Defense (OSD), has determined that evolutionary acquisition is their strategy of choice for future software-intensive systems, and that the spiral development model (SDM) is the preferred method/process for software-intensive development life cycles. Electronic Systems Command (ESC) at Hanscom AFB, Massachusetts, has written a draft handbook on the use of Spiral Development for all future Command and Control (C2) systems, including reference to the DoD 5000 series and Air Force Program Directive 63-1, Acquisition System, which deploys this OSD mandate for future C2 systems. Barry Boehm's continued work on SDM which he conceived in the 1980s, is heavily biased toward development of new systems that are software-intensive, as noted in a workshop he gave at the Software Engineering Institute (SEI) in 2000.     

Automotive-grade MEMS sensors used for general aviation

The attitude heading reference system (AHRS) provides data for primary flight instruments, head-up displays, autopilots, and moving map navigation systems. Advances in solid-state MEMS rate sensors, coupled with Kalman filter algorithms designed to mitigate high drift rates, provide the basis for low-cost, high-performance AHRS for general aviation. This paper describes the performance of a low cost, miniaturized AHRS using automotive-grade MEMS sensors. The performance of the system is detailed. The implications for certification of this class of system and fault tolerance are discussed.     

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.     

Optimal number of phased array faces and signal processors for horizon surveillance

The problem of the optimal number of phased array faces for performing 360/spl deg/ horizon surveillance is considered. Assuming the detection performance is the same in all beam positions and the total number of T/R modules is constant, it is shown that the optimal number of array faces is three. This is true whether the arrays are operating simultaneously or sequentially. A parametric analysis is performed between the number of array faces operating simultaneously and the associated cost of simultaneous operation in terms of the size of the array.     

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.