Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Compiler techniques”

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 109 records · Page 6

Optical Microscopy Techniques to Inspect for Metallic Whiskers

Metal surface finishes of tin, zinc and cadmium are often applied to electronic components, mechanical hardware and other structures. These finishes sometimes unpredictably may form metal whiskers over periods that can take from hours to months or even many years. The metal whiskers are crystalline structures commonly having uniform cross sectional area along their entire length. Typical whisker dimensions are nominally on the order of only a few microns (um) across while their lengths can extend from a few microns to several millimeters. Metal whiskers pose a reliability hazard to electronic systems primarily as an electrical shorting hazard. The extremely narrow dimensions of metal whiskers can make observation with optical techniques very challenging. The videos herein were compiled to demonstrate the complexities associated with optical microscope inspection of electronic and mechanical components and assemblies for the presence or absence of metal whiskers. The importance of magnification, light source and angle of illumination play critical roles in being able to detect metal whiskers when present. Furthermore, it is demonstrated how improper techniques can easily obscure detection. It is hoped that these videos will improve the probability of detecting metal whiskers with optical inspection techniques.

Brusse, Jay A.↗

Risk management technique for liquefied natural gas facilities

Checklists have been compiled for planning, design, construction, startup and debugging, and operation of liquefied natural gas facilities. Lists include references to pertinent safety regulations. Methods described are applicable to handling of other hazardous materials.

Fedor, O. H.↗

Memory management and compiler support for rapid recovery from failures in computer systems

This paper describes recent developments in the use of memory management and compiler technology to support rapid recovery from failures in computer systems. The techniques described include cache coherence protocols for user transparent checkpointing in multiprocessor systems, compiler-based checkpoint placement, compiler-based code modification for multiple instruction retry, and forward recovery in distributed systems utilizing optimistic execution.

Fuchs, W. K.↗

Computer programs: Special applications. A compilation

Computer programs are reported of technological developments in: management techniques, measurements and testing programs, and navigation and tracking programs. Machine requirements, program language, and the reporting source are included for the dissemination of information.

Source record↗

Application of space remote sensing technology to living marine resources in coastal zones

This paper describes a compilation of new Landsat satellite remote sensing techniques for treatment of Coastal Zone Living Marine Resource problems. The techniques have been developed over the past three to five years using optimized digital analysis procedures and evaluated in limited coastal areas of the United States. However, most of the techniques are directly applicable to other areas of the world, particularly in those areas where Landsat satellite data are available. Each technique presented herein has been documented and published separately as a NASA report within the last three years. The data required to substantiate the conclusion that 'significant new space remote sensing techniques are now available for the treatment of Coastal Zone Living Marine Resource problems' are contained within these reports and are referenced herein.

Tilton, E. L., III↗

Eulusmap - An international land resources map utilizing satellite imagery

The paper describes the European land use map ('Eulusmap') sponsored by the World Land Use Survey Commission and printed in May 1978. The map was compiled on the basis of theme extraction techniques applied to Landsat-1 imagery. Various aspects of Landsat-image analysis are discussed here, and detailed consideration is given to the land-use classification system developed by the World Land Use Survey Commission.

Paludan, T.↗

Computational/experimental investigation of staged injection into a Mach 2 flow

The stage normal injection of two jets of air into a Mach 2 freestream behind a rearward-facing step has been investigated using laser-induced iodine fluorescence and laser doppler anemometry techniques. A detailed data set has been compiled that includes profiles of pressure, temperature, two components of velocity, and mole fraction of the injectant at 44 locations, plus planar surveys of pressure, temperature, velocity, and mole fraction. A companion numerical study was performed using the SPARK Navier-Stokes code. Good overall agreement was observed for this complex, highly three-dimensional flowfield. Discrepancies were observed in the computed and measured total temperatures, turbulent mixing, and shock strengths. The effect of grid resolution was investigated by calculating solutions on grids of 60,000 points, 200,000 points, and 450,000 points. Differences in the solutions on the two finer grids were small. The effect of turbulence modeling was investigated by calculating solutions with three different algebraic models for the jet turbulence. Overall, the turbulence models were found to have the greatest effect on the numerical solutions, followed by the grid resolution and the injectant Mach number.

Eklund, D. R.↗

Copilot: Monitoring Embedded Systems

Runtime verification (RV) is a natural fit for ultra-critical systems, where correctness is imperative. In ultra-critical systems, even if the software is fault-free, because of the inherent unreliability of commodity hardware and the adversity of operational environments, processing units (and their hosted software) are replicated, and fault-tolerant algorithms are used to compare the outputs. We investigate both software monitoring in distributed fault-tolerant systems, as well as implementing fault-tolerance mechanisms using RV techniques. We describe the Copilot language and compiler, specifically designed for generating monitors for distributed, hard real-time systems. We also describe two case-studies in which we generated Copilot monitors in avionics systems.

Pike, Lee↗

Progress in compilation of the 1:2,000,000-scale topographic map

The application of special photogrammetric techniques has enabled the systematic mapping of Mars' topography at a scale of 1:2,000,000, using high-altitude Viking Orbiter pictures. In fiscal 86, compilation was completed of the 24 subquadrangles that make up the quadrangles MC-12, MC-13, MC-14, MC-15, MC-20, and MC-21. This work completes compilation of the 60 topographic maps covering the equatorial belt (lat. + or - 30 deg). The remaining 80 subquadrangles of Mars are planned to be completed within 3 years (27, 27 and 26 subquadrangles, in fiscal 87, 88, and 89, respectively). Elevations on all topographic maps are relative to the Mars topographic datum. The maps have a contour interval of 1 km and a precision of + or - 1 km. The equatorial-belt maps are Mercator projections having true scale at lat. + or - 27.476 deg. These maps provide more precise information than do those previously available and they will help in understanding the geologic processes that have shaped the Martian surface.

Wu, Sherman S. C.↗

Generating Customized Verifiers for Automatically Generated Code

Program verification using Hoare-style techniques requires many logical annotations. We have previously developed a generic annotation inference algorithm that weaves in all annotations required to certify safety properties for automatically generated code. It uses patterns to capture generator- and property-specific code idioms and property-specific meta-program fragments to construct the annotations. The algorithm is customized by specifying the code patterns and integrating them with the meta-program fragments for annotation construction. However, this is difficult since it involves tedious and error-prone low-level term manipulations. Here, we describe an annotation schema compiler that largely automates this customization task using generative techniques. It takes a collection of high-level declarative annotation schemas tailored towards a specific code generator and safety property, and generates all customized analysis functions and glue code required for interfacing with the generic algorithm core, thus effectively creating a customized annotation inference algorithm. The compiler raises the level of abstraction and simplifies schema development and maintenance. It also takes care of some more routine aspects of formulating patterns and schemas, in particular handling of irrelevant program fragments and irrelevant variance in the program structure, which reduces the size, complexity, and number of different patterns and annotation schemas that are required. The improvements described here make it easier and faster to customize the system to a new safety property or a new generator, and we demonstrate this by customizing it to certify frame safety of space flight navigation code that was automatically generated from Simulink models by MathWorks' Real-Time Workshop.

Denney, Ewen↗

Educational planning for utilization of space shuttle (ED-PLUSS). Executive summary: Identification and evaluation of educational uses and users for the STS

The development and application of educational programs to improve public awareness of the space shuttle/space lab capabilities are reported. Special efforts were made to: identify the potential user, identify and analyze space education programs, plan methods for user involvement, develop techniques and programs to encourage new users, and compile follow-on ideas.

Engle, H. A.↗

Workshop on Cosmogenic Nuclides

Abstracts of papers presented at the Workshop on Cosmogenic Nuclides are compiled. The major topic areas covered include: new techniques for measuring nuclides such as tandem accelerator and resonance mass spectrometry; solar modulation of cosmic rays; pre-irradiation histories of extraterrestrial materials; terrestrial studies; simulations and cross sections; nuclide production rate calculations; and meteoritic nuclides.

Reedy, R. C.↗

Ozone reference models for the middle atmosphere

Data on monthly latitudinal variations in middle-atmosphere vertical ozone profiles are presented, based on extensive Nimbus-7, AE-2, and SME satellite measurements from the period 1978-1982. The coverage of the data sets, the characteristics of the sensors, and the analysis techniques applied are described, and the results are compiled in tables and graphs. These ozone data are intended to supplement the models of the 1986 COSPAR International Reference Atmosphere.

Keating, G. M.↗

Extracting a representative loading spectrum from recorded flight data

One of the more important ingredients when computing the life of a structure is the loading environment. This paper describes the development of an aircraft loading spectrum that closely matches the service experience, thus allowing a more accurate assessment of the structural life. The paper outlines the flight loads data collection system, the procedures developed to compile and interpret the service records and the techniques used to define a spectrum suitable for structural life analysis. The areas where the procedures were tailored to suit the special situation of the USAF B-1B bomber are also discussed. the results of the methodology verification, achieved by comparing the generated spectra with the results of strain gage monitoring during service operations, are also presented.

Denyer, Anthony G.↗

Implementation of a 3D mixing layer code on parallel computers

This paper summarizes our progress and experience in the development of a Computational-Fluid-Dynamics code on parallel computers to simulate three-dimensional spatially-developing mixing layers. In this initial study, the three-dimensional time-dependent Euler equations are solved using a finite-volume explicit time-marching algorithm. The code was first programmed in Fortran 77 for sequential computers. The code was then converted for use on parallel computers using the conventional message-passing technique, while we have not been able to compile the code with the present version of HPF compilers.

Roe, K.↗

Applied photo interpretation for airbrush cartography

New techniques of cartographic portrayal have been developed for the compilation of maps of lunar and planetary surfaces. Conventional photo interpretation methods utilizing size, shape, shadow, tone, pattern, and texture are applied to computer processed satellite television images. The variety of the image data allows the illustrator to interpret image details by inter-comparison and intra-comparison of photographs. Comparative judgements are affected by illumination, resolution, variations in surface coloration, and transmission or processing artifacts. The validity of the interpretation process is tested by making a representational drawing by an airbrush portrayal technique. Production controls insure the consistency of a map series. Photo interpretive cartographic portrayal skills are used to prepare two kinds of map series and are adaptable to map products of different kinds and purposes.

Inge, J. L.↗

An expert system shell for inferring vegetation characteristics: Interface for the addition of techniques (Task H)

All the NASA VEGetation Workbench (VEG) goals except the Learning System provide the scientist with several different techniques. When VEG is run, rules assist the scientist in selecting the best of the available techniques to apply to the sample of cover type data being studied. The techniques are stored in the VEG knowledge base. The design and implementation of an interface that allows the scientist to add new techniques to VEG without assistance from the developer were completed. A new interface that enables the scientist to add techniques to VEG without assistance from the developer was designed and implemented. This interface does not require the scientist to have a thorough knowledge of Knowledge Engineering Environment (KEE) by Intellicorp or a detailed knowledge of the structure of VEG. The interface prompts the scientist to enter the required information about the new technique. It prompts the scientist to enter the required Common Lisp functions for executing the technique and the left hand side of the rule that causes the technique to be selected. A template for each function and rule and detailed instructions about the arguments of the functions, the values they should return, and the format of the rule are displayed. Checks are made to ensure that the required data were entered, the functions compiled correctly, and the rule parsed correctly before the new technique is stored. The additional techniques are stored separately from the VEG knowledge base. When the VEG knowledge base is loaded, the additional techniques are not normally loaded. The interface allows the scientist the option of adding all the previously defined new techniques before running VEG. When the techniques are added, the required units to store the additional techniques are created automatically in the correct places in the VEG knowledge base. The methods file containing the functions required by the additional techniques is loaded. New rule units are created to store the new rules. The interface that allow the scientist to select which techniques to use is updated automatically to include the new techniques. Task H was completed. The interface that allows the scientist to add techniques to VEG was implemented and comprehensively tested. The Common Lisp code for the Add Techniques system is listed in Appendix A.

Harrison, P. Ann↗