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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
NASA NTRS1992

Knowledge-based design of generate-and-patch problem solvers that solve global resource assignment problems

We present MENDER, a knowledge based system that implements software design techniques that are specialized to automatically compile generate-and-patch problem solvers that satisfy global resource assignments problems. We provide empirical evidence of the superior performance of generate-and-patch over generate-and-test: even with constrained generation, for a global constraint in the domain of '2D-floorplanning'. For a second constraint in '2D-floorplanning' we show that even when it is possible to incorporate the constraint into a constrained generator, a generate-and-patch problem solver may satisfy the constraint more rapidly. We also briefly summarize how an extended version of our system applies to a constraint in the domain of 'multiprocessor scheduling'.

Voigt, Kerstin↗
NASA NTRS2016

Constructing the 'Best' Reliability Data for the Job - Developing Generic Reliability Data from Alternative Sources Early in a Product's Development Phase

Reliability practitioners advocate getting reliability involved early in a product development process. However, when assigned to estimate or assess the (potential) reliability of a product or system early in the design and development phase, they are faced with lack of reasonable models or methods for useful reliability estimation. Developing specific data is costly and time consuming. Instead, analysts rely on available data to assess reliability. Finding data relevant to the specific use and environment for any project is difficult, if not impossible. Instead, analysts attempt to develop the "best" or composite analog data to support the assessments. Industries, consortia and vendors across many areas have spent decades collecting, analyzing and tabulating fielded item and component reliability performance in terms of observed failures and operational use. This data resource provides a huge compendium of information for potential use, but can also be compartmented by industry, difficult to find out about, access, or manipulate. One method used incorporates processes for reviewing these existing data sources and identifying the available information based on similar equipment, then using that generic data to derive an analog composite. Dissimilarities in equipment descriptions, environment of intended use, quality and even failure modes impact the "best" data incorporated in an analog composite. Once developed, this composite analog data provides a "better" representation of the reliability of the equipment or component. It can be used to support early risk or reliability trade studies, or analytical models to establish the predicted reliability data points. It also establishes a baseline prior that may updated based on test data or observed operational constraints and failures, i.e., using Bayesian techniques. This tutorial presents a descriptive compilation of historical data sources across numerous industries and disciplines, along with examples of contents and data characteristics. It then presents methods for combining failure information from different sources and mathematical use of this data in early reliability estimation and analyses.

Kleinhammer, Roger K.↗
NASA NTRS1984

Advanced smoke meter development survey and analysis

Ideal smoke meter characteristics are determined to provide a basis for evaluation of candidate systems. Five promising techniques are analyzed in detail to evaluate compilance with the practical smoke meter requirements. Four of the smoke measurement concepts are optical methods: Modulated Transmission (MODTRAN), Cross Beam Absorption Counter (CBAC), Laser Induced Incandescence (LIN), and Photoacoustic Spectroscopy (PAS). A rapid response filter instrument called a Taper Element Oscillating Microbalance (TEOM) is also evaluated. For each technique, the theoretical principles are described, the expected performance is determined, and the advantages and disadvantages are discussed The expected performance is evaluated against each of the smoke meter specifications, and the key questions for further study are given. The most promising smoke meter technique analyzed was MODTRAN, which is a variation on a direct transmission measurement. The soot-laden gas is passed through a transmission cell, and the gas pressure is modulated by a speaker.

Pitz, R. W.↗
NASA NTRS2006

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.↗
NASA NTRS1975

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.↗
DOE OSTI2025

OpenARC

OpenARC is an open-sourced, very High-Level Intermediate Representation (HLIR)-based, extensible compiler framework, where various performance optimizations, traceability mechanisms, fault tolerance techniques, etc., can be built for better debuggability/performance/resilience on the complex accelerator computing. OpenARC is the first OpenACC compiler supporting Altera FPGAs, in addition to NVIDIA GPUs, AMD GPUs, and Intel Xeon Phis.

Lee, Seyong [Oak Ridge National Laboratory (ORNL),↗
NASA NTRS1991

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.↗
DOE OSTI2025

The Surface-Topography Challenge: A Multi-Laboratory Benchmark Study to Advance the Characterization of Topography

Surface performance is critically influenced by topography in virtually all real-world applications. The current standard practice is to describe topography using one of a few industry-standard parameters. The most commonly reported number is Ra, the average absolute deviation of the height from the mean line (at some, not necessarily known or specified, lateral length scale). However, other parameters, particularly those that are scale-dependent, influence surface and interfacial properties; for example the local surface slope is critical for visual appearance, friction, and wear. The present Surface-Topography Challenge was launched to raise awareness for the need of a multi-scale description, but also to assess the reliability of different metrology techniques. In the resulting international collaborative effort, 153 scientists and engineers from 64 research groups and companies across 20 countries characterized statistically equivalent samples from two different surfaces: a “rough” and a “smooth” surface. The results of the 2088 measurements constitute the most comprehensive surface description ever compiled. We find wide disagreement across measurements and techniques when the lateral scale of the measurement is ignored. Consensus is established through scale-dependent parameters while removing data that violates an established resolution criterion and deviates from the majority measurements at each length scale. Our findings suggest best practices for characterizing and specifying topography. The public release of the accumulated data and presented analyses enables global reuse for further scientific investigation and benchmarking.

42 ENGINEERING↗
NASA NTRS1974

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↗
NASA NTRS1978

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↗
NASA NTRS1978

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.↗
NASA NTRS1994

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.↗
NASA NTRS2012

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↗
NASA NTRS1987

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.↗
NASA NTRS2008

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↗
DOE OSTI2024

The Intraplate Stress Field of West Africa

West Africa continues to host a growing number of low and intermediate-magnitude earthquakes (M2-5) along its passive margins, and its continental interior. Earthquake activity in these regions raises the need to comprehend the causes and the tectonic controls of the seismicity. Unfortunately, such studies are rare. Here, we apply single-station inversion techniques to constrain fourteen focal mechanisms, computed after compiling a set of high-quality waveforms. We describe the connection between seismicity, the contemporary stress field, anthropogenic activity and Holocene fault scarps in the region. Our results indicate transpressive stresses acting on the inherited brittle structures in the passive margins. We also observe a compressive regime in the intracontinental failed rifts. We attribute the seismicity to the reactivation of “weak” faults in the Neoproterozoic and Mesozoic failed rifts, the passive transform structures, and the intracratonic Precambrian brittle shear zones.

58 GEOSCIENCES↗
NASA NTRS1975

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.↗