Search NASA⌕ Search

SEARCH · Search NASA

Results for “arraying algorithms”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 577 records · Page 32

Application of a single area array detector for acquistion, tracking and point-ahead in space optical communications

Functions of acquisition, tracking, and point-ahead in space optical communications are being combined into a single system utilizing an area array detector. An analysis is presented of the feasibility concept. The key parameters are: optical power less than 1 pW at 0.86 micrometer, acquisition in less than 30 seconds in an acquisition field of view (FOV) of 1 mrad, tracking with 0.5 microrad rms noise at 1000 Hz update rate, and point ahead transfer function precision of 0.25 microrad over a region of 150 microrad. Currently available array detectors were examined. The most demanding specifications are low output noise, a high detection efficiency, a large number of pixels, and frame rates over 1kHz. A proof of concept (POC) demonstration system is currently being built utilizing the Kodak HS-40 detector (a 128 x 128 photodiode array with a 64 channel CCD readout architecture which can be operated at frame rates as high as 40,000/sec). The POC system implements a windowing scheme and special purpose digital signal processing electronic for matched filter acquisition and tracking algorithms.

Clark, D. L.↗

Application of a single area array detector for acquisition, tracking and point-ahead in space optical communications

Functions of acquisition, tracking, and point-ahead in space optical communications are being combined into a single system utilizing an area array detector. An analysis is presented of the feasibility concept. The key parameters are: optical power less than 1 pW at 0.86 micrometer, acquisition in less than 30 seconds in an acquisition field of view (FOV) of 1 mrad, tracking with 0.5 microrad rms noise at 1000 Hz update rate, and point ahead transfer function precision of 0.25 microrad over a region of 150 microrad. Currently available array detectors were examined. The most demanding specifications are low output noise, a high detection efficiency, a large number of pixels, and frame rates over 1kHz. A proof of concept (POC) demonstration system is currently being built utilizing the Kodak HS-40 detector (a 128 x 128 photodiode array with a 64 channel CCD readout architecture which can be operated at frame rates as high as 40,000/sec). The POC system implements a windowing scheme and special purpose digital signal processing electronic for matched filter acquisition and tracking algorithms.

Clark, D. L.↗

The paradigm compiler: Mapping a functional language for the connection machine

The Paradigm Compiler implements a new approach to compiling programs written in high level languages for execution on highly parallel computers. The general approach is to identify the principal data structures constructed by the program and to map these structures onto the processing elements of the target machine. The mapping is chosen to maximize performance as determined through compile time global analysis of the source program. The source language is Sisal, a functional language designed for scientific computations, and the target language is Paris, the published low level interface to the Connection Machine. The data structures considered are multidimensional arrays whose dimensions are known at compile time. Computations that build such arrays usually offer opportunities for highly parallel execution; they are data parallel. The Connection Machine is an attractive target for these computations, and the parallel for construct of the Sisal language is a convenient high level notation for data parallel algorithms. The principles and organization of the Paradigm Compiler are discussed.

Dennis, Jack B.↗

On resolving 2M - 1 narrow-band signals with an M sensor uniform linear array

Length 2M real signal vectors are used to address the problem of determining the maximum number of narrow-band signals whose parameters can be estimated with a linear array of M equally spaced sensors. It is shown that 2M of these real vectors are linearly independent with probability one, and, thus in the presence of additive white noise, the parameters of 2M - 1 signals can be estimated. An algorithm for determining directions and amplitudes is presented.

Williams, Douglas B.↗

Practical aspects of on-orbit modal identification using free-decay data

Future large space structures such as Space Station Freedom can be tested as a total structure on Earth. Size, zero g design, and the existing atmosphere conflict with traditional structural dynamic testing. On-orbit modal identification will become necessary. Practical aspects of performing such tests using time domain analysis of free decay data are discussed. The effects of environmental constraints, structural characteristics, and excitation and sensing are reviewed. A recent laboratory application and sensing are reviewed. In this test, an on-orbit experiment is simulated using free decay data and a limited number of excitation and measurement points. The test article is dynamically similar to the truss/solar arrays of Space Station. The identified modal parameters from this simulation correlate well, though not uniquely, with those obtained in a complete modal survey. Practical difficulties in performing the correlation are illustrated. Model parameters are identified with the Eigensystem Realization Algorithm.

Schenk, Axel↗

Precise and Efficient Static Array Bound Checking for Large Embedded C Programs

In this paper we describe the design and implementation of a static array-bound checker for a family of embedded programs: the flight control software of recent Mars missions. These codes are large (up to 250 KLOC), pointer intensive, heavily multithreaded and written in an object-oriented style, which makes their analysis very challenging. We designed a tool called C Global Surveyor (CGS) that can analyze the largest code in a couple of hours with a precision of 80%. The scalability and precision of the analyzer are achieved by using an incremental framework in which a pointer analysis and a numerical analysis of array indices mutually refine each other. CGS has been designed so that it can distribute the analysis over several processors in a cluster of machines. To the best of our knowledge this is the first distributed implementation of static analysis algorithms. Throughout the paper we will discuss the scalability setbacks that we encountered during the construction of the tool and their impact on the initial design decisions.

Venet, Arnaud↗

NASA Tech Briefs, September 2006

Topics covered include: Improving Thermomechanical Properties of SiC/SiC Composites; Aerogel/Particle Composites for Thermoelectric Devices; Patches for Repairing Ceramics and Ceramic- Matrix Composites; Lower-Conductivity Ceramic Materials for Thermal-Barrier Coatings; An Alternative for Emergency Preemption of Traffic Lights; Vehicle Transponder for Preemption of Traffic Lights; Automated Announcements of Approaching Emergency Vehicles; Intersection Monitor for Traffic-Light-Preemption System; Full-Duplex Digital Communication on a Single Laser Beam; Stabilizing Microwave Frequency of a Photonic Oscillator; Microwave Oscillators Based on Nonlinear WGM Resonators; Pointing Reference Scheme for Free-Space Optical Communications Systems; High-Level Performance Modeling of SAR Systems; Spectral Analysis Tool 6.2 for Windows; Multi-Platform Avionics Simulator; Silicon-Based Optical Modulator with Ferroelectric Layer; Multiplexing Transducers Based on Tunnel-Diode Oscillators; Scheduling with Automated Resolution of Conflicts; Symbolic Constraint Maintenance Grid; Discerning Trends in Performance Across Multiple Events; Magnetic Field Solver; Computing for Aiming a Spaceborne Bistatic- Radar Transmitter; 4-Vinyl-1,3-Dioxolane-2-One as an Additive for Li-Ion Cells; Probabilistic Prediction of Lifetimes of Ceramic Parts; STRANAL-PMC Version 2.0; Micromechanics and Piezo Enhancements of HyperSizer; Single-Phase Rare-Earth Oxide/Aluminum Oxide Glasses; Tilt/Tip/Piston Manipulator with Base-Mounted Actuators; Measurement of Model Noise in a Hard-Wall Wind Tunnel; Loci-STREAM Version 0.9; The Synergistic Engineering Environment; Reconfigurable Software for Controlling Formation Flying; More About the Tetrahedral Unstructured Software System; Computing Flows Using Chimera and Unstructured Grids; Avoiding Obstructions in Aiming a High-Gain Antenna; Analyzing Aeroelastic Stability of a Tilt-Rotor Aircraft; Tracking Positions and Attitudes of Mars Rovers; Stochastic Evolutionary Algorithms for Planning Robot Paths; Compressible Flow Toolbox; Rapid Aeroelastic Analysis of Blade Flutter in Turbomachines; General Flow-Solver Code for Turbomachinery Applications; Code for Multiblock CFD and Heat-Transfer Computations; Rotating-Pump Design Code; Covering a Crucible with Metal Containing Channels; Repairing Fractured Bones by Use of Bioabsorbable Composites; Kalman Filter for Calibrating a Telescope Focal Plane; Electronic Absolute Cartesian Autocollimator; Fiber-Optic Gratings for Lidar Measurements of Water Vapor; Simulating Responses of Gravitational-Wave Instrumentation; SOFTC: A Software Correlator for VLBI; Progress in Computational Simulation of Earthquakes; Database of Properties of Meteors; Computing Spacecraft Solar-Cell Damage by Charged Particles; Thermal Model of a Current-Carrying Wire in a Vacuum; Program for Analyzing Flows in a Complex Network; Program Predicts Performance of Optical Parametric Oscillators; Processing TES Level-1B Data; Automated Camera Calibration; Tracking the Martian CO2 Polar Ice Caps in Infrared Images; Processing TES Level-2 Data; SmaggIce Version 1.8; Solving the Swath Segment Selection Problem; The Spatial Standard Observer; Less-Complex Method of Classifying MPSK; Improvement in Recursive Hierarchical Segmentation of Data; Using Heaps in Recursive Hierarchical Segmentation of Data; Tool for Statistical Analysis and Display of Landing Sites; Automated Assignment of Proposals to Reviewers; Array-Pattern-Match Compiler for Opportunistic Data Analysis; Pre-Processor for Compression of Multispectral Image Data; Compressing Image Data While Limiting the Effects of Data Losses; Flight Operations Analysis Tool; Improvement in Visual Target Tracking for a Mobile Robot; Software for Simulating Air Traffic; Automated Vectorization of Decision-Based Algorithms; Grayscale Optical Correlator Workbench; "One-Stop Shopping" for Ocean Remote-Sensing and Model Data; State Analysis Database Tool; Generating CAHV and CAHVOmages with Shadows in ROAMS; Improving UDP/IP Transmission Without Increasing Congestion; FORTRAN Versions of Reformulated HFGMC Codes; Program for Editing Spacecraft Command Sequences; Flight-Tested Prototype of BEAM Software; Mission Scenario Development Workbench; Marsviewer; Tool for Analysis and Reduction of Scientific Data; ASPEN Version 3.0; Secure Display of Space-Exploration Images; Digital Front End for Wide-Band VLBI Science Receiver; Multifunctional Tanks for Spacecraft; Lightweight, Segmented, Mostly Silicon Telescope Mirror; Assistant for Analyzing Tropical-Rain-Mapping Radar Data; and Anion-Intercalating Cathodes for High-Energy- Density Cells.

Source record↗

An Algorithm for Synthesizing Mass and Stiffness Matrices from Experimental Vibration Modes

An algorithm is described for synthesizing the mass and stiffness matrices from experimentally derived modal data in a way that preserves the physical significance of the individual mass and stiffness elements. The mass and stiffness matrices are derived for a rollup solar array example, and are then used to define the modal response of a modified array.

Ross, R. G., Jr.↗

PISCES: An environment for parallel scientific computation

The parallel implementation of scientific computing environment (PISCES) is a project to provide high-level programming environments for parallel MIMD computers. Pisces 1, the first of these environments, is a FORTRAN 77 based environment which runs under the UNIX operating system. The Pisces 1 user programs in Pisces FORTRAN, an extension of FORTRAN 77 for parallel processing. The major emphasis in the Pisces 1 design is in providing a carefully specified virtual machine that defines the run-time environment within which Pisces FORTRAN programs are executed. Each implementation then provides the same virtual machine, regardless of differences in the underlying architecture. The design is intended to be portable to a variety of architectures. Currently Pisces 1 is implemented on a network of Apollo workstations and on a DEC VAX uniprocessor via simulation of the task level parallelism. An implementation for the Flexible Computing Corp. FLEX/32 is under construction. An introduction to the Pisces 1 virtual computer and the FORTRAN 77 extensions is presented. An example of an algorithm for the iterative solution of a system of equations is given. The most notable features of the design are the provision for several granularities of parallelism in programs and the provision of a window mechanism for distributed access to large arrays of data.

Pratt, T. W.↗

Reconfigurable Hardware for Compressing Hyperspectral Image Data

High-speed, low-power, reconfigurable electronic hardware has been developed to implement ICER-3D, an algorithm for compressing hyperspectral-image data. The algorithm and parts thereof have been the topics of several NASA Tech Briefs articles, including Context Modeler for Wavelet Compression of Hyperspectral Images (NPO-43239) and ICER-3D Hyperspectral Image Compression Software (NPO-43238), which appear elsewhere in this issue of NASA Tech Briefs. As described in more detail in those articles, the algorithm includes three main subalgorithms: one for computing wavelet transforms, one for context modeling, and one for entropy encoding. For the purpose of designing the hardware, these subalgorithms are treated as modules to be implemented efficiently in field-programmable gate arrays (FPGAs). The design takes advantage of industry- standard, commercially available FPGAs. The implementation targets the Xilinx Virtex II pro architecture, which has embedded PowerPC processor cores with flexible on-chip bus architecture. It incorporates an efficient parallel and pipelined architecture to compress the three-dimensional image data. The design provides for internal buffering to minimize intensive input/output operations while making efficient use of offchip memory. The design is scalable in that the subalgorithms are implemented as independent hardware modules that can be combined in parallel to increase throughput. The on-chip processor manages the overall operation of the compression system, including execution of the top-level control functions as well as scheduling, initiating, and monitoring processes. The design prototype has been demonstrated to be capable of compressing hyperspectral data at a rate of 4.5 megasamples per second at a conservative clock frequency of 50 MHz, with a potential for substantially greater throughput at a higher clock frequency. The power consumption of the prototype is less than 6.5 W. The reconfigurability (by means of reprogramming) of the FPGAs makes it possible to effectively alter the design to some extent to satisfy different requirements without adding hardware. The implementation could be easily propagated to future FPGA generations and/or to custom application-specific integrated circuits.

Aranki, Nazeeh↗

An Integrated 0-1 Hour First-Flash Lightning Nowcasting, Lightning Amount and Lightning Jump Warning Capability

Lightning one of the most dangerous weather-related phenomena, especially as many jobs and activities occur outdoors, presenting risk from a lightning strike. Cloud-to-ground (CG) lightning represents a considerable safety threat to people at airfields, marinas, and outdoor facilities-from airfield personnel, to people attending outdoor stadium events, on beaches and golf courses, to mariners, as well as emergency personnel. Holle et al. (2005) show that 90% of lightning deaths occurred outdoors, while 10% occurred indoors despite the perception of safety when inside buildings. Curran et al. (2000) found that nearly half of fatalities due to weather were related to convective weather in the 1992-1994 timeframe, with lightning causing a large component of the fatalities, in addition to tornadoes and flash flooding. Related to the aviation industry, CG lightning represents a considerable hazard to baggage-handlers, aircraft refuelers, food caterers, and emergency personnel, who all become exposed to the risk of being struck within short time periods while convective storm clouds develop. Airport safety protocols require that ramp operations be modified or discontinued when lightning is in the vicinity (typically 16 km), which becomes very costly and disruptive to flight operations. Therefore, much focus has been paid to nowcasting the first-time initiation and extent of lightning, both of CG and of any lightning (e.g, in-cloud, cloud-to-cloud). For this project three lightning nowcasting methodologies will be combined: (1) a GOESbased 0-1 hour lightning initiation (LI) product (Harris et al. 2010; Iskenderian et al. 2012), (2) a High Resolution Rapid Refresh (HRRR) lightning probability and forecasted lightning flash density product, such that a quantitative amount of lightning (QL) can be assigned to a location of expected LI, and (3) an algorithm that relates Pseudo-GLM data (Stano et al. 2012, 2014) to the so-called "lightning jump" (LJ) methodology (Shultz et al. 2011) to monitor lightning trends and to anticipate/forecast severe weather (hail > or =2.5 cm, winds > or =25 m/s, tornadoes). The result will be a time-continuous algorithm that uses GOES satellite, radar fields, and HRRR model fields to nowcast first-flash LI and QL, and subsequently monitors lightning trends on a perstorm basis within the LJ algorithm for possible severe weather occurrence out to > or =3 hours. The LI-QL-LJ product will also help prepare the operational forecast community for Geostationary Lightning Mapper (GLM) data expected in late 2015, as these data are monitored for ongoing convective storms. The LI-QL-LJ product will first predict where new lightning is highly probable using GOES imagery of developing cumulus clouds, followed by n analysis of NWS (dual-polarization) radar indicators (reflectivity at the -10 C altitude) of lightning occurrence, to increase confidence that LI is immanent. Once lightning is observed, time-continuous lightning mapping array and Pseudo-GLM observations will be analyzed to assess trends and the severe weather threat as identified by trends in lightning (i.e. LJs). Additionally, 5- and 15-min GOES imagery will then be evaluated on a per-storm basis for overshooting and other cloud-top features known to be associated with severe storms. For the processing framework, the GOES-R 0-1 hour convective initiation algorithm's output will be developed within the Warning Decision Support System - Integrated Information (WDSS-II) tracking tool, and merged with radar and lightning (LMA/Psuedo-GLM) datasets for active storms. The initial focus of system development will be over North Alabama for select lightning-active days in summer 2014, yet will be formed in an expandable manner. The lightning alert tool will also be developed in concert with National Weather Service (NWS) forecasters to meet their needs for real-time, accurate first-flash LI and timing, as well as anticipated lightning trends, amounts, continuation and cessation, so to provide key situational awareness and decision support information. The NASA Short-term Prediction Research and Transition (SPoRT) Center will provide important logistical and collaborative support and training, involving interactions with the NWS and broader user community.

Mecikalski, John↗

Digital and optical shape representation and pattern recognition; Proceedings of the Meeting, Orlando, FL, Apr. 4-6, 1988

The present conference discusses topics in pattern-recognition correlator architectures, digital stereo systems, geometric image transformations and their applications, topics in pattern recognition, filter algorithms, object detection and classification, shape representation techniques, and model-based object recognition methods. Attention is given to edge-enhancement preprocessing using liquid crystal TVs, massively-parallel optical data base management, three-dimensional sensing with polar exponential sensor arrays, the optical processing of imaging spectrometer data, hybrid associative memories and metric data models, the representation of shape primitives in neural networks, and the Monte Carlo estimation of moment invariants for pattern recognition.

Juday, Richard D.↗

Recursive least squares estimation and Kalman filtering by systolic arrays

One of the most promising new directions for high-throughput-rate problems is that based on systolic arrays. In this paper, using the matrix-decomposition approach, a systolic Kalman filter is formulated as a modified square-root information filter consisting of a whitening filter followed by a simple least-squares operation based on the systolic QR algorithm. By proper skewing of the input data, a fully pipelined time and measurement update systolic Kalman filter can be achieved with O(n squared) processing cells, resulting in a system throughput rate of O (n).

Chen, M. J.↗

A temperature and pressure controlled calibration system for pressure sensors

A data acquisition and experiment control system capable of simulating temperatures from -184 to +220 C and pressures either absolute or differential from 0 to 344.74 kPa is developed to characterize silicon pressure sensor response to temperature and pressure. System software is described that includes sensor data acquisition, algorithms for numerically derived thermal offset and sensitivity correction, and operation of the environmental chamber and pressure standard. This system is shown to be capable of computer interfaced cryogenic testing to within 1 C and 34.47 Pa of single channel or multiplexed arrays of silicon pressure sensors.

Chapman, John J.↗

Real time thermal imaging for analysis and control of crystal growth by the Czochralski technique

A real time thermal imaging system with temperature resolution better than +/- 0.5 C and spatial resolution of better than 0.5 mm has been developed. It has been applied to the analysis of melt surface thermal field distributions in both Czochralski and liquid encapsulated Czochralski growth configurations. The sensor can provide single/multiple point thermal information; a multi-pixel averaging algorithm has been developed which permits localized, low noise sensing and display of optical intensity variations at any location in the hot zone as a function of time. Temperature distributions are measured by extraction of data along a user selectable linear pixel array and are simultaneously displayed, as a graphic overlay, on the thermal image.

Wargo, M. J.↗

Acquisition and tracking performance measurements for a high speed area array detector system

A proof-of-concept (POC) demonstration system has been developed which demonstrates acquisition, tracking and point-ahead angle sensing for a space optical communications terminal utilizing a single high speed area array detector. The detector is the 128 x 128 pixel Kodak HS-40 photodiode array. It has 64 parallel readout channels and can operate at frames rates up to 40,000 frames/sec with rms readout noise of 20 photoelectrons. A windowing scheme and special purpose digital signal processing electronics are employed to implement acquisition and tracking algorithms. The system operates at greater than 1 kHz sample (frame) rates. Acquisition can be performed in as little as 30 milliseconds with less than 1 picowatt of 0.85 micron beacon power on the detector. At the same power level, the rms tracking accuracy is approximately 1/16 pixel. Results of system analysis and measurements using the POC system are presented.

Short, R. C.↗

Digital Signal Processing Techniques for the GIFTS SM EDU

The Geosynchronous Imaging Fourier Transform Spectrometer (GIFTS) Sensor Module (SM) Engineering Demonstration Unit (EDU) is a high resolution spectral imager designed to measure infrared (IR) radiance using a Fourier transform spectrometer (FTS). The GIFTS instrument employs three Focal Plane Arrays (FPAs), which gather measurements across the long-wave IR (LWIR), short/mid-wave IR (SMWIR), and visible spectral bands. The raw interferogram measurements are radiometrically and spectrally calibrated to produce radiance spectra, which are further processed to obtain atmospheric profiles via retrieval algorithms. This paper describes several digital signal processing (DSP) techniques involved in the development of the calibration model. In the first stage, the measured raw interferograms must undergo a series of processing steps that include filtering, decimation, and detector nonlinearity correction. The digital filtering is achieved by employing a linear-phase even-length FIR complex filter that is designed based on the optimum equiripple criteria. Next, the detector nonlinearity effect is compensated for using a set of pre-determined detector response characteristics. In the next stage, a phase correction algorithm is applied to the decimated interferograms. This is accomplished by first estimating the phase function from the spectral phase response of the windowed interferogram, and then correcting the entire interferogram based on the estimated phase function. In the calibration stage, we first compute the spectral responsivity based on the previous results and the ideal Planck blackbody spectra at the given temperatures, from which, the calibrated ambient blackbody (ABB), hot blackbody (HBB), and scene spectra can be obtained. In the post-calibration stage, we estimate the Noise Equivalent Spectral Radiance (NESR) from the calibrated ABB and HBB spectra. The NESR is generally considered as a measure of the instrument noise performance, and can be estimated as the standard deviation of calibrated radiance spectra from multiple scans. To obtain an estimate of the FPA performance, we developed an efficient method of generating pixel performance assessments. In addition, a random pixel selection scheme is developed based on the pixel performance evaluation. This would allow us to perform the calibration procedures on a random pixel population that is a good statistical representation of the entire FPA. The design and implementation of each individual component will be discussed in details.

Tian, Jialin↗

A Survey of New Trends in Symbolic Execution for Software Testing and Analysis

Symbolic execution is a well-known program analysis technique which represents values of program inputs with symbolic values instead of concrete (initialized) data and executes the program by manipulating program expressions involving the symbolic values. Symbolic execution has been proposed over three decades ago but recently it has found renewed interest in the research community, due in part to the progress in decision procedures, availability of powerful computers and new algorithmic developments. We provide a survey of some of the new research trends in symbolic execution, with particular emphasis on applications to test generation and program analysis. We first describe an approach that handles complex programming constructs such as input data structures, arrays, as well as multi-threading. We follow with a discussion of abstraction techniques that can be used to limit the (possibly infinite) number of symbolic configurations that need to be analyzed for the symbolic execution of looping programs. Furthermore, we describe recent hybrid techniques that combine concrete and symbolic execution to overcome some of the inherent limitations of symbolic execution, such as handling native code or availability of decision procedures for the application domain. Finally, we give a short survey of interesting new applications, such as predictive testing, invariant inference, program repair, analysis of parallel numerical programs and differential symbolic execution.

Pasareanu, Corina S.↗