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 199 records · Page 11
All sourcesNASA NTRSDOE OSTI
NASA NTRS1983

An analysis of new techniqes for radiometric correction of LANDSAT-4 Thematic Mapper images

The utility of methods for generating TM RLUTS which can improve the quality of the resultant images was investigated. The TM-CCT-ADDS tape was changed to account for a different collection window for the calibration data. Several scenes of Terrebonne Bay, Louisiana and the Grand Bahamas were analyzed to evaluate the radiometric corrections operationally applied to the image data and to investigate several techniques for reducing striping in the images. Printer plots for the TM shutter data were produced and detector statistics were compiled and plotted. These statistics included various combinations of the average shutter counts for each scan before and after DC restore for forward and reverse scans. Results show that striping is caused by the detectors becoming saturated when they view a bright cloud and depress the DC restore level.

Kogut, J.↗
NASA NTRS1990

Aspects of the interstellar medium in starburst galaxies

Researchers are engaged in a multifaceted program to investigate the stellar content and star formation history of actively star-forming galaxies. A large body of stellar spectra have been examined to identify spectral features characteristic of specific stellar types. These spectral diagnostics are then calibrated in terms of temperature (spectral type), gravity (luminosity class) and metallicity. The spectral data is compiled into a stellar library whose members represent specific locations in the HR diagram. Through the use of population synthesis techniques, both optimizing and evolutionary approaches, the stellar luminosity function in composite populations can be determined by analysis of their integrated light. Researchers have concentrated on the ultraviolet wavelength region (lambda lambda 1200 to 3200), utilizing the International Ultraviolet Explorer (IUE) archives supplemented by additional observations. In the optical, virtually all stars will contribute to the integrated light. In the ultraviolet however, cool stars will produce negligible flux due to their steep ultraviolet-to-visual continua, greatly simplifying the investigation of the hot component in a composite population. The researchers' initial stellar library has been applied to several blue compact galaxies, (BCGs), a class of starburst galaxy which is UV luminous. BCGs possess a complex interstellar medium which affects the emergent stellar continuum in several ways. This presents a challenge to the stellar analysis but affords insight into the properties of the gas and dust from which the massive OB stars have formed. The optimizing synthesis method solves for the stellar luminosity function and extinction simultaneously. This therefore provides an independent measure of the extinction affecting the hot population component. Despite the rise of the reddening law towards the ultraviolet, BCGs are found to be brighter in the ultraviolet than expected.

Fanelli, Michael N.↗
NASA NTRS2003

Traceability Through Automatic Program Generation

Program synthesis is a technique for automatically deriving programs from specifications of their behavior. One of the arguments made in favour of program synthesis is that it allows one to trace from the specification to the program. One way in which traceability information can be derived is to augment the program synthesis system so that manipulations and calculations it carries out during the synthesis process are annotated with information on what the manipulations and calculations were and why they were made. This information is then accumulated throughout the synthesis process, at the end of which, every artifact produced by the synthesis is annotated with a complete history relating it to every other artifact (including the source specification) which influenced its construction. This approach requires modification of the entire synthesis system - which is labor-intensive and hard to do without influencing its behavior. In this paper, we introduce a novel, lightweight technique for deriving traceability from a program specification to the corresponding synthesized code. Once a program has been successfully synthesized from a specification, small changes are systematically made to the specification and the effects on the synthesized program observed. We have partially automated the technique and applied it in an experiment to one of our program synthesis systems, AUTOFILTER, and to the GNU C compiler, GCC. The results are promising: 1. Manual inspection of the results indicates that most of the connections derived from the source (a specification in the case of AUTOFILTER, C source code in the case of GCC) to its generated target (C source code in the case of AUTOFILTER, assembly language code in the case of GCC) are correct. 2. Around half of the lines in the target can be traced to at least one line of the source. 3. Small changes in the source often induce only small changes in the target.

Richardson, Julian↗
NASA NTRS2013

Region Spherical Harmonic Magnetic Modeling from Near-Surface and Satellite-Altitude Anomlaies

The compiled near-surface data and satellite crustal magnetic measured data are modeled with a regionally concentrated spherical harmonic presentation technique over Australia and Antarctica. Global crustal magnetic anomaly studies have used a spherical harmonic analysis to represent the Earth's magnetic crustal field. This global approach, however is best applied where the data are uniformly distributed over the entire Earth. Satellite observations generally meet this requirement, but unequally distributed data cannot be easily adapted in global modeling. Even for the satellite observations, due to the errors spread over the globe, data smoothing is inevitable in the global spherical harmonic presentations. In addition, global high-resolution modeling requires a great number of global spherical harmonic coefficients for the regional presentation of crustal magnetic anomalies, whereas a lesser number of localized spherical coefficients will satisfy. We compared methods in both global and regional approaches and for a case where the errors were propagated outside the region of interest. For observations from the upcoming Swarm constellation, the regional modeling will allow the production a lesser number of spherical coefficients that are relevant to the region of interest

Modeling↗
NASA NTRS1987

Exploiting loop level parallelism in nonprocedural dataflow programs

Discussed are how loop level parallelism is detected in a nonprocedural dataflow program, and how a procedural program with concurrent loops is scheduled. Also discussed is a program restructuring technique which may be applied to recursive equations so that concurrent loops may be generated for a seemingly iterative computation. A compiler which generates C code for the language described below has been implemented. The scheduling component of the compiler and the restructuring transformation are described.

Gokhale, Maya B.↗
NASA NTRS1971

Machine tools and fixtures: A compilation

As part of NASA's Technology Utilizations Program, a compilation was made of technological developments regarding machine tools, jigs, and fixtures that have been produced, modified, or adapted to meet requirements of the aerospace program. The compilation is divided into three sections that include: (1) a variety of machine tool applications that offer easier and more efficient production techniques; (2) methods, techniques, and hardware that aid in the setup, alignment, and control of machines and machine tools to further quality assurance in finished products: and (3) jigs, fixtures, and adapters that are ancillary to basic machine tools and aid in realizing their greatest potential.

Source record↗
NASA NTRS1973

Analysis of ERTS-1 imagery of Wyoming and its application to evaluation of Wyoming's natural resources

The author has identified the following significant results. The Wyoming investigation has progressed according to schedule during the Jan. - Feb., 1973 report period. A map of the maximum extent of Pleistocene glaciation was compiled for northwest Wyoming from interpretations of glacial features seen on ERTS-1 imagery. Using isodensitometry as a tool for image enhancement, techniques were developed which allowed accurate delineation of small urban areas and provided distinction of broad classifications within these small urban centers.

Marrs, R. W.↗
NASA NTRS1982

Physiological responses to prolonged bed rest and fluid immersion in man: A compendium of research (1974 - 1980)

Water immersion and prolonged bed rest reproduce nearly all the physiological responses observed in astronauts in the weightless state. Related to actual weightlessness, given responses tend to occur sooner in immersion and later in bed rest. Much research was conducted on humans using these two techniques, especially by Russian scientists. Abstracts and annotations of reports that appeared in the literature from January 1974 through December 1980 are compiled and discussed.

Greenleaf, J. E.↗
NASA NTRS1986

Impact dynamics instrumentation

One of the tasks specified in the NASA Langley controlled impact demonstration (CID) work package was to furnish dynamic instrumentation sensors. The types of instrumentation sensors required were accelerometers for aircraft structural loads measurements, seat belt load cells to measure anthropomorphic dummy responses to the aircraft impact, and strain gage bending bridges to measure the aircraft fuselage and wing bending during impact. The objective in the selection of dynamic instrumentation for the CID was to provide 352 of the highest quality transducers and remain within budget allocation. The transducers that were selected for the CID evaluation process were each subjected to rigorous laboratory acceptance tests and to aircraft fuselage section drop tests at the LaRC Impact Dynamics Research Facility. Data compiled from this series of tests showed the selected transducers to be best suited for the CID mission requirement. The transducers installation technique on the airframe proved successful. The transducer quality assurance was guaranteed through rigorous acceptance testing. Data acquired was 97.0%.

Mccormck, R. F.↗
NASA NTRS2020

Riley County Water Resources Project Summary - Comparing Runoff Curve Calculation Methods to Inform Local Resiliency Initiatives in Riley County, Kansas

Riley County, Kansas, has observed increased levels of flooding, potentially due to changes in land use/land cover (LULC) and seasonal vegetation variation. This study contrasts two methods of generating runoff curve numbers (CN) from 2006-2020. (1) The traditional Soil Conservation Service CN calculation method uses a look-up table and tracked LULC to determine runoff changes. These tables allow for land cover-specific CN and account for various farming techniques but lack flexibility in calculations for various seasons or plant health. (2) A dynamic method employs normalized difference vegetation index (NDVI) compiled over the rainy season each year to calculate CN using seasonal vegetation. This method allows for a more precise analysis of runoff variability within and between rainy seasons because it can be updated with greater temporal detail and captures higher spatial resolutions by using NDVI as a proxy for LULC. This study further uses inputs from the United States Geological Survey (USGS) National Land Cover Database (NLCD), the United States Department of Agriculture (USDA) Cropland Data Layer, and Landsat imagery to create more precise LULC raster datasets including both urban cover and crop-specific land use and curve number maps of the area. Results can guide decision makers in the City of Manhattan, Riley County Department of Planning and Development, Riley County Conservation District, the Kansas Forest Service, and the Kansas Department of Health and Environment toward informed decisions on resiliency strategies to address future flooding.

DEVELOP Project Summary↗
NASA NTRS2021

TESS Hunt for Young and Maturing Exoplanets (THYME). V. A Sub-Neptune Transiting a Young Star in a Newly Discovered 250 Myr Association

The detection and characterization of young planetary systems offer a direct path to study the processes that shape planet evolution. We report on the discovery of a sub-Neptune-sized planet orbiting the young star HD 110082 (TOI-1098). Transit events we initially detected during TESS Cycle 1 are validated with time-series photometry from Spitzer. High-contrast imaging and high-resolution, optical spectra are also obtained to characterize the stellar host and confirm the planetary nature of the transits. The host star is a late-F dwarf (M⁎ = 1.2Mꙩ) with a low-mass, M dwarf binary companion (M⁎ = 0.26Mꙩ) separated by nearly one arcminute (∼6200 au). Based on its rapid rotation and Lithium absorption, HD 110082 is young, but is not a member of any known group of young stars (despite proximity to the Octans association). To measure the age of the system, we search for coeval, phase-space neighbors and compile a sample of candidate siblings to compare with the empirical sequences of young clusters and to apply quantitative age-dating techniques. In doing so, we find that HD 110082 resides in a new young stellar association we designate MELANGE-1, with an age of 250(+50, -70) Myr. Jointly modeling the TESS and Spitzer light curves, we measure a planetary orbital period of 10.1827 days and radius of R(p) = 3.2 ± 0.1Rꚛ. HD 110082 b’s radius falls in the largest 12% of field-age systems with similar host-star mass and orbital period. This finding supports previous studies indicating that young planets have larger radii than their field-age counterparts.

TESS↗
NASA NTRS2021

TESS Hunt for Young and Maturing Exoplanets (THYME). V. A Sub-Neptune Transiting a Young Star in a Newly Discovered 250 Myr Association

The detection and characterization of young planetary systems offer a direct path to study the processes that shape planet evolution. We report on the discovery of a sub-Neptune-sized planet orbiting the young star HD 110082(TOI-1098). Transit events we initially detected during TESS Cycle 1 are validated with time-series photometry from Spitzer. High-contrast imaging and high-resolution, optical spectra are also obtained to characterize the stellar host and confirm the planetary nature of the transits. The host star is a late-F dwarf(Må=1.2Me)with a low-mass,M dwarf binary companion(Må=0.26Me)separated by nearly one arc minute(∼6200 au). Based on its rapid rotation and Lithium absorption, HD 110082 is young, but is not a member of any known group of young stars(despite proximity to the Octans association). To measure the age of the system, we search for coeval, phase-space neighbors and compile a sample of candidate siblings to compare with the empirical sequences of young clusters and to apply quantitative age-dating techniques. In doing so, we find that HD 110082 resides in a new young stellar association we designate MELANGE-1, with an age of -+ 2507050 Myr. Jointly modeling the TESS and Spitzer light curves, we measure a planetary orbital period of 10.1827 days and radius of Rp=3.2±0.1R⊕. HD 110082 b’s radius falls in the largest 12% of field age systems with similar host-star mass and orbital period. This finding supports previous studies indicating that young planets have larger radii than their field-age counterparts

Benjamin M. Tofflemire↗
NASA NTRS1972

A Computer Aided Broad Band Impedance Matching Technique Using a Comparison Reflectometer

An improved broadband impedance matching technique was developed. The technique is capable of resolving points in the waveguide which generate reflected energy. A version of the comparison reflectometer was developed and fabricated to determine the mean amplitude of the reflection coefficient excited at points in the guide as a function of distance, and the complex reflection coefficient of a specific discontinuity in the guide as a function of frequency. An impedance matching computer program was developed which is capable of impedance matching the characteristics of each disturbance independent of other reflections in the guide. The characteristics of four standard matching elements were compiled, and their associated curves of reflection coefficient and shunt susceptance as a function of frequency are presented. It is concluded that an economical, fast, and reliable impedance matching technique has been established which can provide broadband impedance matches.

Gordy, R. S.↗
NASA NTRS1993

Application of compiler-assisted multiple instruction rollback recovery to speculative execution

Speculative execution is a method to increase instruction level parallelism which can be exploited by both super-scalar and VLIW architectures. The key to a successful general speculation strategy is a repair mechanism to handle mispredicted branches and accurate reporting of exceptions for speculated instructions. Multiple instruction rollback is a technique developed for recovery from transient processor failure. Many of the difficulties encountered during recovery from branch misprediction or from instruction re-execution due to exception in a speculative execution architecture are similar to those encountered during multiple instruction rollback. The applicability of a recently developed compiler-assisted multiple instruction rollback scheme to aid in speculative execution repair is investigated. Extensions to the compiler-assisted scheme to support branch and exception repair are presented along with performance measurements across ten application programs.

Alewine, N. J.↗
NASA NTRS1993

Application of compiler-assisted multiple instruction rollback recovery to speculative execution

Speculative execution is a method to increase instruction level parallelism which can be exploited by both super-scalar and VLIW architectures. The key to a successful general speculation strategy is a repair mechanism to handle mispredicted branches and accurate reporting of exceptions for speculated instructions. Multiple instruction rollback is a technique developed for recovery from transient processor failure. Many of the difficulties encountered during recovery from branch misprediction or from instruction re-execution due to exception in a speculative execution architecture are similar to those encountered during multiple instruction rollback. The applicability of a recently developed compiler-assisted multiple instruction rollback scheme to aid in speculative execution repair is investigated. Extensions to the compiler-assisted scheme to support branch and exception repair are presented along with performance measurements across ten application programs.

Alewine, N. J.↗
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.↗
NASA NTRS1990

Graphical explanation in an expert system for Space Station Freedom rack integration

The rationale and methodology used to incorporate graphics into explanations provided by an expert system for Space Station Freedom rack integration is examined. The rack integration task is typical of a class of constraint satisfaction problems for large programs where expertise from several areas is required. Graphically oriented approaches are used to explain the conclusions made by the system, the knowledge base content, and even at more abstract levels the control strategies employed by the system. The implemented architecture combines hypermedia and inference engine capabilities. The advantages of this architecture include: closer integration of user interface, explanation system, and knowledge base; the ability to embed links to deeper knowledge underlying the compiled knowledge used in the knowledge base; and allowing for more direct control of explanation depth and duration by the user. The graphical techniques employed range from simple statis presentation of schematics to dynamic creation of a series of pictures presented motion picture style. User models control the type, amount, and order of information presented.

Craig, F. G.↗