Search NASA⌕ Search

SEARCH · Search NASA

Results for “coding standards”

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 163 records · Page 9

Linearized form of implicit TVD schemes for the multidimensional Euler and Navier-Stokes equations

Linearized alternating direction implicit (ADI) forms of a class of total variation diminishing (TVD) schemes for the Euler and Navier-Stokes equations have been developed. These schemes are based on the second-order-accurate TVD schemes for hyperbolic conservation laws developed by Harten (1983, 1984). They have the property of not generating spurious oscillations across shocks and contact discontinuities. In general, shocks can be captured within 1-2 grid points. These schemes are relatively simple to understand and easy to implement into a new or existing computer code. One can modify a standard three-point central-difference code by simply changing the conventional numerical dissipation term into the one designed for the TVD scheme. For steady-state applications, the only difference in computation is that the current schemes require a more elaborate dissipation term for the explicit operator; no extra computation is required for the implicit operator. Numerical experiments with the proposed algorithms on a variety of steady-state airfoil problems illustrate the versatility of the schemes.

Yee, H. C.↗

Error coding simulations in C

When data is transmitted through a noisy channel, errors are produced within the data rendering it indecipherable. Through the use of error control coding techniques, the bit error rate can be reduced to any desired level without sacrificing the transmission data rate. The Astrionics Laboratory at Marshall Space Flight Center has decided to use a modular, end-to-end telemetry data simulator to simulate the transmission of data from flight to ground and various methods of error control. The simulator includes modules for random data generation, data compression, Consultative Committee for Space Data Systems (CCSDS) transfer frame formation, error correction/detection, error generation and error statistics. The simulator utilizes a concatenated coding scheme which includes CCSDS standard (255,223) Reed-Solomon (RS) code over GF(2(exp 8)) with interleave depth of 5 as the outermost code, (7, 1/2) convolutional code as an inner code and CCSDS recommended (n, n-16) cyclic redundancy check (CRC) code as the innermost code, where n is the number of information bits plus 16 parity bits. The received signal-to-noise for a desired bit error rate is greatly reduced through the use of forward error correction techniques. Even greater coding gain is provided through the use of a concatenated coding scheme. Interleaving/deinterleaving is necessary to randomize burst errors which may appear at the input of the RS decoder. The burst correction capability length is increased in proportion to the interleave depth. The modular nature of the simulator allows for inclusion or exclusion of modules as needed. This paper describes the development and operation of the simulator, the verification of a C-language Reed-Solomon code, and the possibility of using Comdisco SPW(tm) as a tool for determining optimal error control schemes.

Noble, Viveca K.↗

On the Trellis structure of a (64,40,8) subcode of the (64,42,8) third-order Reed-Muller code

A (64,40,8) subcode of the (64,42,8) third-order Reed-Muller code is proposed to NASA for high-speed satellite communications. This code can be either used alone or used as an inner-code in a concatenated coding system with the NASA standard (255,223,33) Reed-Solomon code as the outer code to achieve high performance with reduced decoding complexity. This Reed-Muller subcode has a relatively simple and parallel trellis structure and consequently can be decoded with a group of identical and relatively simple Viterbi decoders in parallel to achieve high-speed decoding. In this report, the complexities of various sectionalized trellis diagrams are analyzed. Based on this analysis, the trellis diagram with the smallest overall complexity will be used for the implementation of a high-speed decoder.

Moorthy, Hari T.↗

The fast decoding of Reed-Solomon codes using fermat theoretic transforms and continued fractions

It is shown that Reed-Solomon (RS) codes can be decoded by using a fast Fourier transform algorithm over finite fields GF(F sub n) where F sub n is a Fermat prime, and continued fractions. This new transform decoding method is simpler than the standard method for RS codes. The computing time of this new decoding algorithm in software can be faster than the standard decoding method for RS codes.

Welch, L. R.↗

The fast decoding of Reed-Solomon codes using Fermat theoretic transforms and continued fractions

It is shown that Reed-Solomon (RS) codes can be decoded by using a fast Fourier transform (FFT) algorithm over finite fields GF(F sub n), where F sub n is a Fermat prime, and continued fractions. This new transform decoding method is simpler than the standard method for RS codes. The computing time of this new decoding algorithm in software can be faster than the standard decoding method for RS codes.

Reed, I. S.↗

Field-Programmable Gate Array Implementation of a Single Photon-Counting Receive Modem

We present a field-programmable gate array (FPGA) implementation of a single photon-counting receive modem for a pulse position modulated signal. The modem is compliant with the Consultative Committee for Space Data Systems (CCSDS) High Photon Efficiency (HPE) Optical Communications Coding and Synchronization standard and is capable of a maximum data rate of 267 Mbps. The system is designed on a commercial off-the-shelf FPGA platform and utilizes superconducting nanowire single photon counting detectors, analog to digital converters (ADC s) to sample the detectors, and two FPGAs. Symbol timing recovery, photon counting, convolutional deinterleaving, and codeword synchronization areis performed in the first FPGA. The second FPGA performs iterative decoding on each codeword of the serially concatenated pulse position modulated (SCPPM) signal. A digital filter is included to compensate for timing jitter of the detector, and the decoder throughput can be modified adjusted through reconfigurable parallelization. The decoder also implements a resource-efficient, algorithmic polynomial interleaver and deinterleaver. Both FPGAs can be reconfigured to switch between pulse position modulation (PPM)-16 and PPM-32 with code rates 1/3, 1/2, and 2/3. In this paper, we describe the receiver architecture and FPGA implementation of the timing recovery loop and SCPPM decoder, FPGA utilization for the different modes, and receive modem characterization test results.

Field-programmable Gate Array↗

The universe in a box - Thermal effects in the standard cold dark matter scenario

An attempt is made to compute the evolution of a representative piece of the universe at a minimal resolution of a flux-based mesh code coupled with a standard particle-mesh dark matter code. It is found that, on scales greater than 1/h Mpc, dark matter is more clumped than gas. Bremsstrahlung and Compton cooling are unimportant on scales of 1 Mpc or greater. Shocks gradually heat the gas, leaving most of it in voids at T = 10 exp 3.5 K or less, but with a small fraction reaching T = 10 million K or more. Ultraviolet and soft X-ray emission from the heated gas is significant, providing an important part of the background radiation field and significant ionizing of the intergalactic medium. The mean induced Delta T/T for microwave background radiation in the Rayleigh-Jeans part of the spectrum is 1.1 x 10 to the -6th with fluctuation of 5.6 x 10 to the -7th on arcmin scales and a mean y parameter of 5.5 x 10 to the -7th, which is potentially detectable by the COBE satellite.

Cen, R. Y.↗

Software Model Checking of ARINC-653 Flight Code with MCP

The ARINC-653 standard defines a common interface for Integrated Modular Avionics (IMA) code. In particular, ARINC-653 Part 1 specifies a process- and partition-management API that is analogous to POSIX threads, but with certain extensions and restrictions intended to support the implementation of high reliability flight code. MCP is a software model checker, developed at NASA Ames, that provides capabilities for model checking C and C++ source code. In this paper, we present recent work aimed at implementing extensions to MCP that support ARINC-653, and we discuss the challenges and opportunities that consequentially arise. Providing support for ARINC-653 s time and space partitioning is nontrivial, though there are implicit benefits for partial order reduction possible as a consequence of the API s strict interprocess communication policy.

Thompson, Sarah J.↗

Carbon detonation supernovae

Arguments aimed at linking main sequence stars in the mass range 4-8 solar masses with type II supernovae and pulsars are presented. In this regard, the problematic evolution of the growing carbon cores before ignition is found to be best rationalized in terms of convective Urca losses. Some calculations on the parameters of carbon detonation models are listed, and the use of a standard numerical hydrodynamic code to deal with these models is discussed.

Buchler, J.-R.↗

Determination of strains in optical windows of a high-pressure chamber by holographic interferometry and finite element analysis

Holographic interferometry and finite element analysis have been applied to determine the strain in a large optical window installed in a high-pressure chamber. Two different shapes of windows were chosen, and the outside and inside surface strains of the windows were followed as a function of internal pressure by taking double exposed holograms at 69-bar intervals up to 483 bars. The results were compared with the values calculated by a standard finite element code with an assumption of no displacement at the load-bearing edge. The agreement between two results was found to be good for both cases.

Soga, N.↗

Timesharing without synchronization

The capacity region of a multiple-access channel has recently been identified as the convex hull (barred K) of a certain set (K) of points in the first quadrant of the (R1,R2) plane. For a pair of rates in K, a more or less standard random-coding argument can be used to show the existence of a good pair of codes. But for points in barred K-K, it is apparently necessary for the two senders to use some form of time sharing to achieve the desired rates. However, in order to share time, at least one of the senders must have knowledge of the other's phase; and in many practical situations this knowledge does not exist. This paper investigates the problems which arise in coding for multiple-access channels when the senders cannot synchronize with each other.

Mceliece, R. J.↗

Commercial/industrial photovoltaic module and array requirement study. Low-cost solar array project engineering area

Design requirements for photovoltaic modules and arrays used in commercial and industrial applications were identified. Building codes and referenced standards were reviewed for their applicability to commercial and industrial photovoltaic array installation. Four general installation types were identified - integral (replaces roofing), direct (mounted on top of roofing), stand-off (mounted away from roofing), and rack (for flat or low slope roofs, or ground mounted). Each of the generic mounting types can be used in vertical wall mounting systems. This implies eight mounting types exist in the commercial/industrial sector. Installation costs were developed for these mounting types as a function of panel/module size. Cost drivers were identified. Studies were performed to identify optimum module shapes and sizes and operating voltage cost drivers. The general conclusion is that there are no perceived major obstacles to the use of photovoltaic modules in commercial/industrial arrays.

Source record↗

Modeling of dilution jet flowfields

The present paper will compare temperature field measurements from selected cases in these investigations with distributions calculated with an empirical model based on assumed vertical profile similarity and superposition and with a 3-D elliptic code using a standard K-E turbulence model. The results will show the capability (or lack thereof) of the models to predict the effects of the principle flow and geometric variables.

Holdeman, J. D.↗

On modeling dilution jet flowfields

This paper compares temperature field measurements from selected experiments on a single row, and opposed rows, of jets injected into a ducted crossflow with profiles calculated using an empirical model based on assumed vertical profile similarity and superposition, and distributions calculated with a 3-D elliptic code using a standard K-E turbulence model. The empirical model predictions are very good within the range of the generating experiments, and the numerical model resultings, although exhibiting too little mixing, correctly describe the effects of the principal flow and geometric variables.

Holdeman, J. D.↗

TDA Assessment of Recommendations for Space Data System Standards

NASA is participating in the development of international standards for space data systems. Recommendations for standards thus far developed are assessed. The proposed standards for telemetry coding and packet telemetry provide worthwhile benefit to the DSN; their cost impact to the DSN should be small. Because of their advantage to the NASA space exploration program, their adoption should be supported by TDA, JPL, and OSTDS.

Posner, E. C.↗

On modeling dilution jet flowfields

This paper compares temperature field measurements from selected experiments on a single row, and opposed rows, of jets injected into a ducted crossflow with profiles calculated using an empirical model based on assumed vertical profile similarity and superposition, and distributions calculated with a 3-D elliptic code using a standard K-E turbulence model. The empirical model predictions are very good within the range of the generating experiments, and the numerical model results, although exhibiting too little mixing, correctly describe the effects of the principal flow and geometric variables.

Holdeman, J. D.↗

KBS V and V as related to automation of space station subsystems: Rationale for a KBS lifecycle

The role of verification and validation (V and V) in software has been to support and strengthen the software lifecycle and to ensure that the resultant code meets the standards of the requirements document. Knowledge based systems (KBS) V and V should serve the same role, but the KBS lifecycle is ill-defined. Here, the rationale of the simple form of the KBS lifecycle is explained. Special KBS development requirements are accommodated where possible by modifications to the traditional software lifecycle. Research areas are suggested for those aspects which present new or unusual difficulties for V and V.

Richardson, K.↗

Knowledge based system verification and validation as related to automation of space station subsystems: Rationale for a knowledge based system lifecycle

The role of verification and validation (V and V) in software has been to support and strengthen the software lifecycle and to ensure that the resultant code meets the standards of the requirements documents. Knowledge Based System (KBS) V and V should serve the same role, but the KBS lifecycle is ill-defined. The rationale of a simple form of the KBS lifecycle is presented, including accommodation to certain critical KBS differences from software development.

Richardson, Keith↗