Functional analysis: a system conceptual design tool [andapplication to ATC system]

Functional analysis is a methodology for analyzing the mission and performance requirements of a system, and translating them into discrete activities or tasks which must be performed by the system. Determination of the system's functionality is the first step in obtaining a conceptual view of a system that is to be designed. The methodology for conducting functional analysis is developed, some of the tools used to support the activity are described, including examples to help solidify the concepts presented     

Real-Time Specifications of the Geospace Environment

We report the recent progress in our joint program of real-time mapping of ionospheric electric fields and currents and field-aligned currents through the Geospace Environment Data Analysis System (GEDAS) at the Solar-Terrestrial Environment Laboratory and similar computer systems in the world. Data from individual ground magnetometers as well as from the solar wind are collected by these systems and are used as input for the KRM and AMIE magnetogram-inversion algorithms, which calculate the two-dimensional distribution of the ionospheric parameters. One of the goals of this program is to specify the solar-terrestrial environment in terms of ionospheric processes, providing the scientific community with more than what geomagnetic activity indices and statistical models provide. This revised version was published online in August 2006 with corrections to the Cover Date.     

An interior point linear programming approach to two-scan dataassociation

We present an efficient two-scan data association method (TSDA) based on an interior point linear programming (LP) approach. In this approach, the TSDA problem is first formulated as a 3-dimensional assignment problem, and then relaxed to a linear program; the latter is subsequently solved by the highly efficient homogeneous, self-dual interior point LP algorithm. When the LP algorithm generates a fractional optimal solution, we use a technique similar to the joint probabilistic data association method (JPDA) to compute a weighted average of the resulting fractional assignments, and use it to update the states of the existing tracks generated by Kalman filters. Unlike the traditional single scan JPDA method, our TSDA method provides an explicit mechanism for track initiation. Extensive computer simulations have demonstrated that the new TSDA method is not only far more efficient in terms of low computational complexity, but also considerably more accurate than the existing single-scan JPDA method