Search NASA⌕ Search

SEARCH · Search NASA

Results for “Source Code”

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 1,117 records · Page 62

Digitized synchronous demodulator

A digitized synchronous demodulator is constructed entirely of digital components including timing logic, an accumulator, and means to digitally filter the digital output signal. Indirectly, it accepts, at its input, periodic analog signals which are converted to digital signals by traditional analog-to-digital conversion techniques. Broadly, the input digital signals are summed to one of two registers within an accumulator, based on the phase of the input signal and medicated by timing logic. At the end of a predetermined number of cycles of the inputted periodic signals, the contents of the register that accumulated samples from the negative half cycle is subtracted from the accumulated samples from the positive half cycle. The resulting difference is an accurate measurement of the narrow band amplitude of the periodic input signal during the measurement period. This measurement will not include error sources encountered in prior art synchronous demodulators using analog techniques such as offsets, charge injection errors, temperature drift, switching transients, settling time, analog to digital converter missing code, and linearity errors.

Woodhouse, Christopher E.↗

An X-Ray Analysis Database of Photoionization Cross Sections Including Variable Ionization

Results of research efforts in the following areas are discussed: review of the major theoretical and experimental data of subshell photoionization cross sections and ionization edges of atomic ions to assess the accuracy of the data, and to compile the most reliable of these data in our own database; detailed atomic physics calculations to complement the database for all ions of 17 cosmically abundant elements; reconciling the data from various sources and our own calculations; and fitting cross sections with functional approximations and incorporating these functions into a compact computer code.Also, efforts included adapting an ionization equilibrium code, tabulating results, and incorporating them into the overall program and testing the code (both ionization equilibrium and opacity codes) with existing observational data. The background and scientific applications of this work are discussed. Atomic physics cross section models and calculations are described. Calculation results are compared with available experimental data and other theoretical data. The functional approximations used for fitting cross sections are outlined and applications of the database are discussed.

Wang, Ping↗

Modeling of Radiative Heating in Base Region of Jovian Entry Probe

A theoretical model is derived to determine the average thermodynamic properties in the expanding region, recirculating region, recompression region, and neck region through application of one-dimensional conservation equations. Radiative transfer is calculated using spectrally detailed computer codes accounting for nonequilibrium. The results show that the most severe heating occurs immediately behind the frustum, and that the recompression and neck regions are the major sources of radiation that heats the base stagnation point, The radiation flux to the base point is slightly stronger with ablation than without. Its value is 0.11(43 P(sub b)/P(sub s))(sup 2) times that to the front stagnation point where the base pressure P(sub b) is defined as the average pressure in the recirculating region and P(sub s) is the front stagnation-point pressure. The time-integrated heat load to the base point is 18(43 P(sub b)/P(sub s))(sup 2) kJ/sq cm.

Park, Chul↗

Transformation Systems at NASA Ames

In this paper, we describe the experiences of the Automated Software Engineering Group at the NASA Ames Research Center in the development and application of three different transformation systems. The systems span the entire technology range, from deductive synthesis, to logic-based transformation, to almost compiler-like source-to-source transformation. These systems also span a range of NASA applications, including solving solar system geometry problems, generating data analysis software, and analyzing multi-threaded Java code.

Buntine, Wray↗

Mathematical Inversion of Lightning Data: Techniques and Applications

A survey of some interesting mathematical inversion studies dealing with radio, optical, and electrostatic measurements of lightning are presented. A discussion of why NASA is interested in lightning, what specific physical properties of lightning are retrieved, and what mathematical techniques are used to perform the retrievals are discussed. In particular, a relatively new multi-station VHF time-of-arrival (TOA) antenna network is now on-line in Northern Alabama and will be discussed. The network, called the Lightning Mapping Array (LMA), employs GPS timing and detects VHF radiation from discrete segments (effectively point emitters) that comprise the channel of lightning strokes within cloud and ground flashes. The LMA supports on-going ground-validation activities of the low Earth orbiting Lightning Imaging Sensor (LIS) satellite developed at NASA Marshall Space Flight Center (MSFC) in Huntsville, Alabama. The LMA also provides detailed studies of the distribution and evolution of thunderstorms and lightning in the Tennessee Valley, and offers interesting comparisons with other meteorological/geophysical datasets. In order to take full advantage of these benefits, it is essential that the LMA channel mapping accuracy (in both space and time) be fully characterized and optimized. A new channel mapping retrieval algorithm is introduced for this purpose. To characterize the spatial distribution of retrieval errors, the algorithm has been applied to analyze literally tens of millions of computer-simulated lightning VHF point sources that have been placed at various ranges, azimuths, and altitudes relative to the LMA network. Statistical results are conveniently summarized in high-resolution, color-coded, error maps.

Koshak, William↗

Diffuse Galactic Continuum Gamma Rays. A Model Compatible with EGRET Data and Cosmic-ray Measurements

We present a study of the compatibility of some current models of the diffuse Galactic continuum gamma-rays with EGRET data. A set of regions sampling the whole sky is chosen to provide a comprehensive range of tests. The range of EGRET data used is extended to 100 GeV. The models are computed with our GALPROP cosmic-ray propagation and gamma-ray production code. We confirm that the "conventional model" based on the locally observed electron and nucleon spectra is inadequate, for all sky regions. A conventional model plus hard sources in the inner Galaxy is also inadequate, since this cannot explain the GeV excess away from the Galactic plane. Models with a hard electron injection spectrum are inconsistent with the local spectrum even considering the expected fluctuations; they are also inconsistent with the EGRET data above 10 GeV. We present a new model which fits the spectrum in all sky regions adequately. Secondary antiproton data were used to fix the Galactic average proton spectrum, while the electron spectrum is adjusted using the spectrum of diffuse emission it- self. The derived electron and proton spectra are compatible with those measured locally considering fluctuations due to energy losses, propagation, or possibly de- tails of Galactic structure. This model requires a much less dramatic variation in the electron spectrum than models with a hard electron injection spectrum, and moreover it fits the y-ray spectrum better and to the highest EGRET energies. It gives a good representation of the latitude distribution of the y-ray emission from the plane to the poles, and of the longitude distribution. We show that secondary positrons and electrons make an essential contribution to Galactic diffuse y-ray emission.

Strong, Andrew W.↗

Research Performed within the Non-Destructive Evaluation Team at NASA Glenn Research Center

Non-destructive testing is essential in many fields of manufacturing and research in order to perform reliable examination of potentially damaged materials and parts without destroying the inherent structure of the materials. Thus, the Non-Destructive Evaluation (NDE) Team at NASA Glenn Research Center partakes in various projects to improve materials testing equipment as well as analyze materials, material defects, and material deficiencies. Due to the array of projects within the NDE Team at this time, five research aims were supplemental to some current projects. A literature survey of "DE and testing methodologies as related to rocks was performed. Also, Mars Expedition Rover technology was assessed to understand the requirements for instrumentation in harsh space environments (e.g. temperature). Potential instrumentation and technologies were also considered and documented. The literature survey provided background and potential sources for a proposal to acquire funding for ultrasonic instrumentation on board a future Mars expedition. The laboratory uses a Santec Systems AcousticScope AS200 acoustography system. Labview code was written within the current program in order to improve the current performance of the acoustography system. A sample of Reinforced Carbon/Carbon (RCC) material from the leading edge of the space shuttle underwent various non-destructive tests (guided wave scanning, thermography, computed tomography, real time x-ray, etc.) in order to characterize its structure and examine possible defects. Guided wave scan data of a ceramic matrix composite (CMC) panel was reanalyzed utilizing image correlations and signal processing variables. Additional guided wave scans and thermography were also performed on the CMC panel. These reevaluated data and images will be used in future presentations and publications. An additional axis for the guided wave scanner was designed, constructed, and implemented. This additional axis allowed incremental spacing of the previously fixed transducers for ultrasonic velocity measurements.

Burns, Erin A.↗

Automated Analysis of Stateflow Models

Stateflow is a widely used modeling framework for embedded and cyber physical systems where control software interacts with physical processes. In this work, we present a framework a fully automated safety verification technique for Stateflow models. Our approach is two-folded: (i) we faithfully compile Stateflow models into hierarchical state machines, and (ii) we use automated logic-based verification engine to decide the validity of safety properties. The starting point of our approach is a denotational semantics of State flow. We propose a compilation process using continuation-passing style (CPS) denotational semantics. Our compilation technique preserves the structural and modal behavior of the system. The overall approach is implemented as an open source toolbox that can be integrated into the existing Mathworks Simulink Stateflow modeling framework. We present preliminary experimental evaluations that illustrate the effectiveness of our approach in code generation and safety verification of industrial scale Stateflow models.

Stateflow↗

The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained

Capturing and analyzing requirements of Cyber-Physical Systems (CPS) can be challenging, since CPS models typically involve time-varying and real-valued variables, physical system dynamics, or even adaptive behavior. MATLAB/Simulinkis a development and simulation framework that is widely used in industry to capture such systems. In this paper, we report on the application of NASA Ames tools to perform end-to-end analysis of the Ten Lockheed Martin Challenge Problems (LMCPS). LMCPS is a set of industrial Simulink model benchmarks and natural language requirements developed by domain experts. Our framework, which integrates the tools FRET and COCOSIM, is used to: 1) elicit, explain, and formalize the semantics of the given natural language requirements; 2) generate verification code and monitors that can be automatically attached to the Simulink models; 3) perform verification by using SMT-based model checkers. FRET and COCOSIM are open source, and can be used by other researchers and practitioners to replicate our case study. We provide a categorization of recurring patterns in the formalization of the requirements and discuss the strengths and weaknesses of our automated verification approach.

Anastasia Mavridou↗

Intercomparing Open Source Surface Water Extent Mapping Products & Software Packages

The open source revolution of Earth Observation (EO) science has resulted in increased openness of EO data, workflows to transform that data into end products (e.g. surface water extent maps), and the products themselves. However, this revolution has oversaturated decision-makers with products that can give conflicting results. Thus, it is increasingly crucial for scientists to communicate their methodologies and assumptions so scientific products can be used accurately. Recognizing this challenge, SERVIR – a joint initiative between NASA, USAID, and geospatial organizations in Asia, Africa, and Latin America – is conducting a regional intercomparison of open source surface water extent products and packages. SERVIR’s Hindu Kush Himalaya and Southeast Asia “hubs” have developed satellite-based surface water mapping services involving customizable code packages that are operationally run at each hub. These services are regionally and locally tailored to inform specific decisions and early actions. Conversely, the scientific community has released surface water products that are global or near-global, but are not customizable. These packages and products employ different methodologies and sensors, causing decision-makers to evaluate trade-offs related to physical sensor characteristics (e.g. spectral, temporal, and spatial resolution, and latency). We will discuss the tradeoffs, strengths, and weaknesses of the sensor characteristics and methodologies associated with each product/package, and provide preliminary results of a validation effort intercomparing products/packages for case studies in South and Southeast Asia. Understanding the strengths and weaknesses of these products is crucial in both the aftermath of a flood event and in preparing for future floods.

Micky Maganini↗

Pseudorandom Noise Code-Based Technique for Thin Cloud Discrimination with CO2 and O2 Absorption Measurements

NASA Langley Research Center is working on a continuous wave (CW) laser based remote sensing scheme for the detection of CO2 and O2 from space based platforms suitable for ACTIVE SENSING OF CO2 EMISSIONS OVER NIGHTS, DAYS, AND SEASONS (ASCENDS) mission. ASCENDS is a future space-based mission to determine the global distribution of sources and sinks of atmospheric carbon dioxide (CO2). A unique, multi-frequency, intensity modulated CW (IMCW) laser absorption spectrometer (LAS) operating at 1.57 micron for CO2 sensing has been developed. Effective aerosol and cloud discrimination techniques are being investigated in order to determine concentration values with accuracies less than 0.3%. In this paper, we discuss the demonstration of a pseudo noise (PN) code based technique for cloud and aerosol discrimination applications. The possibility of using maximum length (ML)-sequences for range and absorption measurements is investigated. A simple model for accomplishing this objective is formulated, Proof-of-concept experiments carried out using SONAR based LIDAR simulator that was built using simple audio hardware provided promising results for extension into optical wavelengths.

Campbell, Joel F.↗

Field Encapsulation Library The FEL 2.2 User Guide

This document describes version 2.2 of the Field Encapsulation Library (FEL), a library of mesh and field classes. FEL is a library for programmers - it is a "building block" enabling the rapid development of applications by a user. Since FEL is a library intended for code development, it is essential that enough technical detail be provided so that one can make full use of the code. Providing such detail requires some assumptions with respect to the reader's familiarity with the library implementation language, C++, particularly C++ with templates. We have done our best to make the explanations accessible to those who may not be completely C++ literate. Nevertheless, familiarity with the language will certainly help one's understanding of how and why things work the way they do. One consolation is that the level of understanding essential for using the library is significantly less than the level that one should have in order to modify or extend the library. One more remark on C++ templates: Templates have been a source of both joy and frustration for us. The frustration stems from the lack of mature or complete implementations that one has to work with. Template problems rear their ugly head particularly when porting. When porting C code, successfully compiling to a set of object files typically means that one is almost done. With templated C++ and the current state of the compilers and linkers, generating the object files is often only the beginning of the fun. On the other hand, templates are quite powerful. Used judiciously, templates enable more succinct designs and more efficient code. Templates also help with code maintenance. Designers can avoid creating objects that are the same in many respects, but not exactly the same. For example, FEL fields are templated by node type, thus the code for scalar fields and vector fields is shared. Furthermore, node type templating allows the library user to instantiate fields with data types not provided by the FEL authors. This type of flexibility would be difficult to offer without the support of the language. For users who may be having template-related problems, we offer the consolation that support for C++ templates is destined to improve with time. Efforts such as the Standard Template Library (STL) will inevitably drive vendors to provide more thorough, optimized tools for template code development. Furthermore, the benefits will become harder to resist for those who currently subscribe to the least-common-denominator "code it all in C" strategy. May FEL bring you both increased productivity and aesthetic satisfaction.

Moran, Patrick J.↗

Verification and Validation of the k-kL Turbulence Model in FUN3D and CFL3D Codes

The implementation of the k-kL turbulence model using multiple computational uid dy- namics (CFD) codes is reported herein. The k-kL model is a two-equation turbulence model based on Abdol-Hamid's closure and Menter's modi cation to Rotta's two-equation model. Rotta shows that a reliable transport equation can be formed from the turbulent length scale L, and the turbulent kinetic energy k. Rotta's equation is well suited for term-by-term mod- eling and displays useful features compared to other two-equation models. An important di erence is that this formulation leads to the inclusion of higher-order velocity derivatives in the source terms of the scale equations. This can enhance the ability of the Reynolds- averaged Navier-Stokes (RANS) solvers to simulate unsteady ows. The present report documents the formulation of the model as implemented in the CFD codes Fun3D and CFL3D. Methodology, veri cation and validation examples are shown. Attached and sepa- rated ow cases are documented and compared with experimental data. The results show generally very good comparisons with canonical and experimental data, as well as matching results code-to-code. The results from this formulation are similar or better than results using the SST turbulence model.

Abdol-Hamid, Khaled S.↗

Personal communications via ACTS satellite HBR transponders

The concept of a fully meshed network of briefcase-sized terminals is presented for personal communications over Ka-band satellite transponders. In this concept, undesirable double-hop delays are avoided for voice communications. The bandwidth and power resources of the transponder are efficiently shared by users in a simple demand-assigned manner via code-division multiple access (CDMA). Voice, data, and facsimile are statistically multiplexed at each terminal. In order to minimize terminal costs, frequency-precorrected, and level-preadjusted continuous-wave tones are sent from the central network control station in each beam so that the terminals in each down-link beam can use these pilots as references for antenna acquisition and tracking, as reliable frequency sources, and as indicators of signal fade for up-link power control (ULPC). The potential CDMA 'near-far' problem due to up-link fades is mitigated by using ULPC. Quasi-burst mode transmission is employed to minimize the potential clock and pseudorandom number code synchronization.

Fang, Russell J. F.↗

Theoretical light curve of a Type 2p supernova

The light curve and other observable diagnostics are presented for what should be a typical Type II 'plateau' supernova, the explosion of a 15 solar mass red supergiant. The calculations are carried out using a multi-frequency radiation transport code that includes opacity from all important mechanisms-bound-bound, bound-free, free-free, and electron scattering. It is found that the inclusion of opacity sources besides electron scattering increases the computed lenght of the plateau in the 15 solar mass model by approximately 30 days. Especially important is the ultraviolet cutoff caused by a thick forest of lines. Deposition and escape of gamma-rays from radioactive decay are also accurately simulated. We find that the presence of 0.06 solar mass of ejected Ni-56 extends the length of the plateau from approximately 100 days to approximately 140 dys. Because of the large hydrogen envleope and radius in this model, mixing does not appreciably alter the bolometric light curve, although it does change the gamma-ray light curve significantly. With 0.06 solar mass of ejected Ni-56, the unmixed (mixed) model peaks in escaping gamma-rays at 576 (466) days with gamma-ray luminosity of 3 x 10(exp 38) ergs/s. Except for the local group, the gamma-rays from an extragalactic 15 solar mass SNe IIp will be too faint to detect with any exsiting detectors. However, a Galactic SNe IIp would be quite bright and easily detectable.

Eastman, Ronald G.↗

An Analysis of Water Line Profiles in Star Formation Regions Observed by SWAS

We present spectral line profiles for the 557 GHz 1(sub 1,0) yields 1(sub 0,1) ground-state rotational transition of ortho-H2(16)O for 18 galactic star formation regions observed by SWAS. 2 Water is unambiguously detected in every source. The line profiles exhibit a wide variety of shapes, including single-peaked spectra and self-reversed profiles. We interpret these profiles using a Monte Carlo code to model the radiative transport. The observed variations in the line profiles can be explained by variations in the relative strengths of the bulk flow and small-scale turbulent motions within the clouds. Bulk flow (infall, outflow) must be present in some cloud cores, and in certain cases this bulk flow dominates the turbulent motions.

Ashby, Matthew L. N.↗

Flat Lens Focusing Demonstrated With Left-Handed Metamaterial

Left-handed metamaterials (LHM's) are a new media engineered to possess an effective negative index of refraction over a selected frequency range. This characteristic enables LHM's to exhibit physical properties never before observed. In particular, a negative index of refraction should cause electromagnetic radiation to refract or bend at a negative angle when entering an LHM, as shown in the figure above on the left. The figure on the right shows that this property could be used to bring radiation to a focus with a flat LHM lens. The advantage of a flat lens in comparison to a conventional curved lens is that the focal length could be varied simply by adjusting the distance between the lens and the electromagnetic wave source. In this in-house work, researchers at the NASA Glenn Research Center developed a computational model for LHM's with the three-dimensional electromagnetic commercial code Microwave Studio, constructed an LHM flat lens, and used it to experimentally demonstrate the reversed refraction and flat lens focusing of microwave radiation.

Wilson, Jeffrey D.↗

ISS Destiny Laboratory Smoke Detection Model

Smoke transport and detection were modeled numerically in the ISS Destiny module using the NIST, Fire Dynamics Simulator code. The airflows in Destiny were modeled using the existing flow conditions and the module geometry included obstructions that simulate the currently installed hardware on orbit. The smoke source was modeled as a 0.152 by 0.152 m region that emitted smoke particulate ranging from 1.46 to 8.47 mg/s. In the module domain, the smoke source was placed in the center of each Destiny rack location and the model was run to determine the time required for the two smoke detectors to alarm. Overall the detection times were dominated by the circumferential flow, the axial flow from the intermodule ventilation and the smoke source strength.

Brooker, John E.↗