SEARCH · Search NASA

Results for “Compiler Validation”

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.

SourceResearch connectionFrom yearThrough year

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

At least 73 records · Page 4

All sources NASA NTRS DOE OSTI

NASA NTRS2008

An Overview of Starfish: A Table-Centric Tool for Interactive Synthesis

Engineering is an interactive process that requires intelligent interaction at many levels. My thesis [1] advances an engineering discipline for high-level synthesis and architectural decomposition that integrates perspicuous representation, designer interaction, and mathematical rigor. Starfish, the software prototype for the design method, implements a table-centric transformation system for reorganizing control-dominated system expressions into high-level architectures. Based on the digital design derivation (DDD) system a designer-guided synthesis technique that applies correctness preserving transformations to synchronous data flow specifications expressed as co- recursive stream equations Starfish enhances user interaction and extends the reachable design space by incorporating four innovations: behavior tables, serialization tables, data refinement, and operator retiming. Behavior tables express systems of co-recursive stream equations as a table of guarded signal updates. Developers and users of the DDD system used manually constructed behavior tables to help them decide which transformations to apply and how to specify them. These design exercises produced several formally constructed hardware implementations: the FM9001 microprocessor, an SECD machine for evaluating LISP, and the SchemEngine, garbage collected machine for interpreting a byte-code representation of compiled Scheme programs. Bose and Tuna, two of DDD s developers, have subsequently commercialized the design derivation methodology at Derivation Systems, Inc. (DSI). DSI has formally derived and validated PCI bus interfaces and a Java byte-code processor; they further executed a contract to prototype SPIDER-NASA's ultra-reliable communications bus. To date, most derivations from DDD and DRS have targeted hardware due to its synchronous design paradigm. However, Starfish expressions are independent of the synchronization mechanism; there is no commitment to hardware or globally broadcast clocks. Though software back-ends for design derivation are limited to the DDD stream-interpreter, targeting synchronous or real-time software is not substantively different from targeting hardware.

Tsow, Alex↗

NASA NTRS1989

Initial Ada components evaluation

The SAIC has the responsibility for independent test and validation of the SSE. They have been using a mathematical functions library package implemented in Ada to test the SSE IV and V process. The library package consists of elementary mathematical functions and is both machine and accuracy independent. The SSE Ada components evaluation includes code complexity metrics based on Halstead's software science metrics and McCabe's measure of cyclomatic complexity. Halstead's metrics are based on the number of operators and operands on a logical unit of code and are compiled from the number of distinct operators, distinct operands, and total number of occurrences of operators and operands. These metrics give an indication of the physical size of a program in terms of operators and operands and are used diagnostically to point to potential problems. McCabe's Cyclomatic Complexity Metrics (CCM) are compiled from flow charts transformed to equivalent directed graphs. The CCM is a measure of the total number of linearly independent paths through the code's control structure. These metrics were computed for the Ada mathematical functions library using Software Automated Verification and Validation (SAVVAS), the SSE IV and V tool. A table with selected results was shown, indicating that most of these routines are of good quality. Thresholds for the Halstead measures indicate poor quality if the length metric exceeds 260 or difficulty is greater than 190. The McCabe CCM indicated a high quality of software products.

Moebes, Travis↗

NASA NTRS2014

Using Lunar Observations to Validate Pointing Accuracy and Geolocation, Detector Sensitivity Stability and Static Point Response of the CERES Instruments

Validation of in-orbit instrument performance is a function of stability in both instrument and calibration source. This paper describes a method using lunar observations scanning near full moon by the Clouds and Earth Radiant Energy System (CERES) instruments. The Moon offers an external source whose signal variance is predictable and non-degrading. From 2006 to present, these in-orbit observations have become standardized and compiled for the Flight Models -1 and -2 aboard the Terra satellite, for Flight Models-3 and -4 aboard the Aqua satellite, and beginning 2012, for Flight Model-5 aboard Suomi-NPP. Instrument performance measurements studied are detector sensitivity stability, pointing accuracy and static detector point response function. This validation method also shows trends per CERES data channel of 0.8% per decade or less for Flight Models 1-4. Using instrument gimbal data and computed lunar position, the pointing error of each detector telescope, the accuracy and consistency of the alignment between the detectors can be determined. The maximum pointing error was 0.2 Deg. in azimuth and 0.17 Deg. in elevation which corresponds to an error in geolocation near nadir of 2.09 km. With the exception of one detector, all instruments were found to have consistent detector alignment from 2006 to present. All alignment error was within 0.1o with most detector telescopes showing a consistent alignment offset of less than 0.02 Deg.

Daniels, Janet L.↗

NASA NTRS2004

Validation of CFD/Heat Transfer Software for Turbine Blade Analysis

I am an intern in the Turbine Branch of the Turbomachinery and Propulsion Systems Division. The division is primarily concerned with experimental and computational methods of calculating heat transfer effects of turbine blades during operation in jet engines and land-based power systems. These include modeling flow in internal cooling passages and film cooling, as well as calculating heat flux and peak temperatures to ensure safe and efficient operation. The branch is research-oriented, emphasizing the development of tools that may be used by gas turbine designers in industry. The branch has been developing a computational fluid dynamics (CFD) and heat transfer code called GlennHT to achieve the computational end of this analysis. The code was originally written in FORTRAN 77 and run on Silicon Graphics machines. However the code has been rewritten and compiled in FORTRAN 90 to take advantage of more modem computer memory systems. In addition the branch has made a switch in system architectures from SGI's to Linux PC's. The newly modified code therefore needs to be tested and validated. This is the primary goal of my internship. To validate the GlennHT code, it must be run using benchmark fluid mechanics and heat transfer test cases, for which there are either analytical solutions or widely accepted experimental data. From the solutions generated by the code, comparisons can be made to the correct solutions to establish the accuracy of the code. To design and create these test cases, there are many steps and programs that must be used. Before a test case can be run, pre-processing steps must be accomplished. These include generating a grid to describe the geometry, using a software package called GridPro. Also various files required by the GlennHT code must be created including a boundary condition file, a file for multi-processor computing, and a file to describe problem and algorithm parameters. A good deal of this internship will be to become familiar with these programs and the structure of the GlennHT code. Additional information is included in the original extended abstract.

Kiefer, Walter D.↗

NASA NTRS2017

The HITRAN2016 Molecular Spectroscopic Database

This paper describes the contents of the 2016 edition of the HITRAN molecular spectroscopic compilation. The new edition replaces the previous HITRAN edition of 2012 and its updates during the intervening years. The HITRAN molecular absorption compilation is composed of five major components: the traditional line-by-line spectroscopic parameters required for high-resolution radiative-transfer codes, infrared absorption cross-sections for molecules not yet amenable to representation in a line-by-line form, collision-induced absorption data, aerosol indices of refraction, and general tables such as partition sums that apply globally to the data. The new HITRAN is greatly extended in terms of accuracy, spectral coverage, additional absorption phenomena, added line-shape formalisms, and validity. Moreover, molecules, isotopologues, and perturbing gases have been added that address the issues of atmospheres beyond the Earth. Of considerable note, experimental IR cross-sections for almost 300 additional molecules important in different areas of atmospheric science have been added to the database. The compilation can be accessed through www.hitran.org. Most of the HITRAN data have now been cast into an underlying relational database structure that offers many advantages over the long-standing sequential text-based structure. The new structure empowers the user in many ways. It enables the incorporation of an extended set of fundamental parameters per transition, sophisticated line-shape formalisms, easy user-defined output formats, and very convenient searching, filtering, and plotting of data. A powerful application programming interface making use of structured query language (SQL) features for higher-level applications of HITRAN is also provided.

HITRAN↗

NASA NTRS2011

Potential Alternatives Report for Validation of Alternatives to Aliphatic Isocyanate Polyurethanes

Identifying and selecting alternative materials and technologies that have the potential to reduce the identified HazMats and hazardous air pollutants (HAPs), while incorporating sound corrosion prevention and control technologies, is a complicated task due to the fast pace at which new technologies emerge and rules change. The alternatives are identified through literature searches, electronic database and Internet searches, surveys, and/or personal and professional contacts. Available test data was then compiled on the proposed alternatives to determine if the materials meet the test objectives or if further)laboratory or field-testing will be required. After reviewing technical information documented in the PAR, government representatives, technical representatives from the affected facilities, and other stakeholders involved in the process will select the list of viable alternative coatings for consideration and testing under the project's Joint Test Protocol entitled Joint Test Protocol for Validation of Alternatives to Aliphatic Isocyanate Polyurethanes and Field Test Plan entitled Field Evaluations Test Plan for Validation of Alternatives to Aliphatic Isocyanate Polyurethanes, both prepared by ITB. Test results will be reported in a Joint Test Report upon completion oftesting. The selection rationale and conclusions are documented in this PAR. A cost benefit analysis will be prepared to quantify the estimated capital and process costs of coating alternatives and cost savings relative to the current coating processes, however, some initial cost data has been included in this PAR. For this coatings project, isocyanates, as found in aliphatic isocyanate polyurethanes, were identified as the target HazMat to be eliminated. Table 1-1 lists the target HazMats, the related process and application, current specifications, and affected programs.

Lewis, pattie↗

NASA NTRS2007

Cost-Benefit Analysis For Alternative Low-Emission Surface Preparation/ Depainting Technologies for Structural Steel

Stennis Space Center (SSC), Kennedy Space Center (KSC) and Air Force Space Command (AFSPC) identified particulate emissions and waste generated from the depainting process of steel structures as hazardous materials to be eliminated or reduced. A Potential Alternatives Report, Potential Alternatives Report for Validation of Alternative Low Emission Surface Preparation/Depainting Technologies for Structural Steel, provided a technical analyses of identified alternatives to the current coating removal processes, criteria used to select alternatives for further analysis, and a list of those alternatives recommended for testing. The initial coating removal alternatives list was compiled using literature searches and stakeholder recommendations. The involved project participants initially considered approximately 13 alternatives. In late 2003, core project members selected the following depainting processes to be further evaluated: (1) Plastic Blast Media-Quickstrip(R)-A. (2) Hard Abrasive-Steel-Magic(R). (3) Sponge Blasting-Sponge-Jet(R). (4) Liquid Nitrogen-NItroJet(R). (5) Mechanical Removal with Vacuum Attachment-DESCO and OCM Clean-Air (6) Laser Coating Removal Alternatives were tested in accordance with the Joint Test Protocol for Validation of Alternative Low-Emission Surface Preparation/Depainting Technologies for Structural Steel, and the Field Evaluation Test Plan for Validation of Alternative Low-Emission Surface Preparation/Depainting Technologies for Structural Steel. Results of the testing are documented in the Joint Test Report. This Cost-Benefit Analysis (CBA) focuses on the three alternatives (Quickstrip(R)-A, SteelMagic (R), and Sponge-Jet(R)) that were considered viable alternatives for large area operations based on the results of the field demonstration and lab testing. This CBA was created to help participants determine if implementation of the candidate alternatives is economically justified. Each of the alternatives examined reduced Environmental Activity (EA) Costs-those costs associated with complying with environmental regulations. One alternative, Steel-Magic(R), also showed reduced Direct Costs and reduced total costs.

Lewis, Pattie↗

NASA NTRS2017

Development and Validation of NDE Standards for NASA’s Advanced Composites Project

The adoption of composite materials in aircraft manufacturing for use in structural applications continues to increase but is still relatively new to the industry. Composite components have large development and certification costs in comparison to metallic structures. Traditional methods of nondestructive evaluation (NDE) used for isotropic materials such as metals may not be adequate for composite applications and therefore is a contributing factor to the cost and complexity of developing new structural composites. Additionally, the defects of interest in composite materials are significantly different from metals. Thus, good quality composite reference standards are essential to obtaining reliable and quantifiable NDE results. Ideally, reference standards contain flaws or damage whose NDE indications most closely represent those created by actual flaws/damage. They should also be easy to duplicate and inexpensive to manufacture. NASA’s Advanced Composites Project, working with industry partners, developed a set of composite standards that contain a range of validated defects representing those typically found in aerospace composite materials. This paper will provide an overview of the standards fabricated, the manufacturing plans used to fabricate them, the types of defects included, and validation testing that has performed. Also discussed is an inter-laboratory “round-robin” test that is being performed on these standards. The paper will describe a guidance document being compiled to outline relevant inspection procedures for challenging and critical defects unique to composites where conventional techniques may not be appropriate.

Cramer, K. Elliott↗

NASA NTRS2014

On Parametric Sensitivity of Reynolds-Averaged Navier-Stokes SST Turbulence Model: 2D Hypersonic Shock-Wave Boundary Layer Interactions

Examined is sensitivity of separation extent, wall pressure and heating to variation of primary input flow parameters, such as Mach and Reynolds numbers and shock strength, for 2D and Axisymmetric Hypersonic Shock Wave Turbulent Boundary Layer interactions obtained by Navier-Stokes methods using the SST turbulence model. Baseline parametric sensitivity response is provided in part by comparison with vetted experiments, and in part through updated correlations based on free interaction theory concepts. A recent database compilation of hypersonic 2D shock-wave/turbulent boundary layer experiments extensively used in a prior related uncertainty analysis provides the foundation for this updated correlation approach, as well as for more conventional validation. The primary CFD method for this work is DPLR, one of NASA's real-gas aerothermodynamic production RANS codes. Comparisons are also made with CFL3D, one of NASA's mature perfect-gas RANS codes. Deficiencies in predicted separation response of RANS/SST solutions to parametric variations of test conditions are summarized, along with recommendations as to future turbulence approach.

Hypersonic↗

NASA NTRS1989

Void statistics, scaling, and the origins of large-scale structure

The probability that a volume of the universe of given size and shape spaced at random will be void of galaxies is used here to study various models of the origin of cosmological structures. Numerical simulations are conducted on hot-particle and cold-particle-modulated inflationary models with and without biasing, on isothermal or initially Poisson models, and on models where structure is seeded by loops of cosmic string. For the Pisces-Perseus redshift compilation of Giovanelli and Haynes (1985), it is found that hierarchical scaling is obeyed for subsamples constructed with different limiting magnitudes and subsamples taken at random. This result confirms that the hierarchical ansatz holds valid to high order and supports the idea that structure in the observed universe evolves by a regular process from an almost Gaussian primordial state. Neutrino models without biasing show the effect of a strong feature in the initial power spectrum. Cosmic string models do not agree well with the galaxy data.

Fry, J. N.↗

NASA NTRS1997

Ion Engine Service Life Validation by Analysis and Testing

Assessment of the NSTAR ion engine service life is being accomplished through a combination of long duration testing and probabilistic analyses of the credible failure modes. A literature review that examined 65 ion engine endurance tests perfromed over the past 35 years was conducted to compile a list of possible ion engine failure modes.

Ion Engine↗

NASA NTRS1996

Ion Engine Service Life Validation by Analysis and Testing

Ion Engine↗

NASA NTRS2009

The 50 Constellation Priority Sites

The Constellation program (CxP) has developed a list of 50 sites of interest on the Moon which will be targeted by the LRO narrow angle camera. The list has also been provided to the M~ team to supplement their targeting list. This list does not represent a "site selection" process; rather the goal was to find "representative" sites and terrains to understand the range of possible surface conditions for human lunar exploration to aid engineering design and operational planning. The list compilers leveraged heavily on past site selection work (e.g. Geoscience and a Lunar Base Workshop - 1988, Site Selection Strategy for a Lunar Outpost - 1990, Exploration Systems Architecture Study (ESAS) - 2005). Considerations included scientific, resource utilization, and operational merits, and a desire to span lunar terrain types. The targets have been organized into two "tiers" of 25 sites each to provide a relative priority ranking in the event of mutual interference. A LEAG SAT (special action team) was established to validate and recommend modifications to the list. This SAT was chaired by Dr. Paul Lucey. They provided their final results to CxP in May. Dr. Wendell Mendell will organize an on-going analysis of the data as they come down to ensure data quality and determine if and when a site has sufficient data to be retired from the list. The list was compiled using the best available data, however, it is understood that with the flood of new lunar data, minor modifications or adjustments may be required.

Noble, S.↗

NASA NTRS1977

As-built design specification for the digital derivation of daily and monthly data bases from synoptic observations of temperature and precipitation for the People's Republic of China

A data base of synoptic meteorological information was compiled for the People's Republic of China, as an integral part of the Large Area Crop Inventory Experiment. A system description is provided, including hardware and software specifications, computation algorithms and an evaluation of output validity. Operations are also outlined, with emphasis placed on least squares interpolation.

Jeun, B. H.↗

NASA NTRS1995

Diagnostic Statistics for the Assessment and Characterization of Complex Turbulent Flows

A simple parameterization scheme for a complex turbulent flow using nondimensional parameters coming from the Reynolds stress equations is given. Definitions and brief descriptions of the physical significance of several nondimensional parameters that are used to characterize turbulence from the viewpoint of single-point turbulence closures are given. These nondimensional parameters reflect measures of (1) the spectral band width of the turbulence; (2) deviations from the ideal Kolmogorov behavior; (3) the relative magnitude, orientation, and temporal duration of the deformation to which the turbulence is subjected; (4) one and two-point measures of the large and small scale anisotropy of the turbulence; and (5) inhomogeneity. This is an attempt to create a more systematic methodology for the diagnosis and classification of turbulent flows as well as in the development, validation, and application of turbulence model strategies. The parameters serve also to indicate the adequacy of various assumptions made in single-point turbulence models and in suggesting the appropriate turbulence strategy for a particular complex flow. The compilation will be of interest to experimentalists and to those involved in either computing turbulent flows or whose interests lies in verifying the adequacy of the phenomenological beliefs used in turbulence closures.

Ristorcelli, J. R.↗

NASA NTRS2000

Modeling Chandra Space Environment

This paper describes the development of an environmental risk-mitigation tool for the Chandra X-ray Observatory's Advanced CCD Imaging Spectrometer (ACIS). Because exposure to 100-200 keV protons appears to have degraded the front-illuminated CCD's charge transfer inefficiency (CTI), an accurate tool for predicting encounters with magnetospheric regions rich in these particles is required. We implement standard models to predict bow-shock, magnetopause, and plasma-sheet boundaries. Using these models and solar-wind databases compiled from IMP-8 and ACE measurements, we then calculate the probability that Chandra is located in one of these regions, along with predicted particle flux, to arrive at appropriate safing times for the ACIS detector. Finally, we validate this tool by comparing the model's boundary-crossing and proton flux predictions with measurements from Chandra's on-board particle detector and with data from other spacecraft operating in the Earth's magnetosphere.

Blackwell, W. C.↗

NASA NTRS2012

System Verification of MSL Skycrane Using an Integrated ADAMS Simulation

Mars Science Laboratory (MSL) will use the Skycrane architecture to execute final descent and landing maneuvers. The Skycrane phase uses closed-loop feedback control throughout the entire phase, starting with rover separation, through mobility deploy, and through touchdown, ending only when the bridles have completely slacked. The integrated ADAMS simulation described in this paper couples complex dynamical models created by the mechanical subsystem with actual GNC flight software algorithms that have been compiled and linked into ADAMS. These integrated simulations provide the project with the best means to verify key Skycrane requirements which have a tightly coupled GNC-Mechanical aspect to them. It also provides the best opportunity to validate the design of the algorithm that determines when to cut the bridles. The results of the simulations show the excellent performance of the Skycrane system.

White, Christopher↗

NASA NTRS1983

Slotted waveguide array antennas for spaceborne SAR applications

Starting with mission definitions and constraints for the NASA proposed Shuttle Active Microwave Experiments (SAMEX) and Free Flying Imaging Radar Experiment (FIREX), Hughes Aircraft Company has compiled and studied the technology available for slotted waveguide planar array antennas suitable for spaceborne SAR application. Antenna performance is derived, and fabrication techniques are discussed. Mission requirements will always lead to an aperture subdivided into waveguide modules, thereby validating a module definition for other mission building blocks. Finally, a specific design is proposed for a SAMEX mission using the modules as RF aperture building blocks, resulting in a (nominal) 15.1 meter by 5.5 meter extensile dual polarized L-, C-, and X-band planar array with an associated extensile graphite/epoxy support structure. Antenna development begin with a fabrication method development study involving a representative portion of an antenna module.

Bostrom, D. E.↗