Search NASA⌕ Search

SEARCH · Search NASA

Results for “Compilation”

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 523 records · Page 29

Applying Standard Interfaces to a Process-Control Language

A method of applying open-operating-system standard interfaces to the NASA User Interface Language (UIL) has been devised. UIL is a computing language that can be used in monitoring and controlling automated processes: for example, the Timeliner computer program, written in UIL, is a general-purpose software system for monitoring and controlling sequences of automated tasks in a target system. In providing the major elements of connectivity between UIL and the target system, the present method offers advantages over the prior method. Most notably, unlike in the prior method, the software description of the target system can be made independent of the applicable compiler software and need not be linked to the applicable executable compiler image. Also unlike in the prior method, it is not necessary to recompile the source code and relink the source code to a new executable compiler image. Abstraction of the description of the target system to a data file can be defined easily, with intuitive syntax, and knowledge of the source-code language is not needed for the definition.

Berthold, Richard T.↗

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↗

Imaging for Hypersonic Experimental Aeroheating Testing (IHEAT) Version 4.0: User Manual

The IHEAT v4.0 software is a data reduction code for global thermography data acquired in the NASA Langley Aerothermodynamics Laboratory (LAL) hypersonic wind tunnels. IHEAT uses red and green color-intensity data from two-dimensional images of wind tunnel models to compute temperatures and heat-transfer rates using a semi-infinite, one-dimensional heat transfer approximation at each image pixel. Multiple automated tools in IHEAT v4.0 decrease the time required to reduce the data from a phosphor thermography wind tunnel run. Data at one or all of the image pixel locations can be exported to computer files for further analysis. The prior version of IHEAT, v3.2, was written in PV-WAVE® (now owned by Rogue Wave® Software) in 1994 and was limited in functionality to fit within the memory constraints of the available computers at the time. IHEAT v4.0 is written in MATLAB® by MathWorks® and contains several new features that leverage the increase in available memory of the current computers. A Piecewise tool permits the user to extract data along a segmented line cut that can follow interesting features in the image better than the single, straight line cuts that were possible with the legacy Length and Profile tools. The new Load Run and Batch tools facilitate batch processing by loading in all of the input files and images for a run at the same time. Load Run permits the user to process the available run images manually, while Batch automatically saves heat transfer data from all of the images based on the analysis previously performed on a single frame. IHEAT v4.0 also can automatically calculate the temporal collapse of reference line cuts from the time history heating data for a run to indicate the appropriate frame to reduce for each run. The IHEAT v4.0 source code was compiled into a standalone executable file that can be accessed remotely from several computers with different operating systems, simultaneously. The software is run through the MATLAB® Compiler Runtime engine, and therefore, IHEAT does not require a software license to run. Any software commands executed in the IHEAT v4.0 code will not affect other similar applications running on the same machine. Similarly, changes to the parent software do not affect a compiled code. These features of IHEAT v4.0 are improvements over the legacy v3.2 code, which required regular maintenance to avoid losing functionality as the PVWAVE ® programming language was upgraded.

Mason, Michelle L.↗

Julia Programming Language Benchmark Using a Flight Simulation

Julia’s goal to provide scripting language ease-of-coding with compiled language speed is explored. The runtime speed of the relatively new Julia programming language is assessed against other commonly used languages including Python, Java, and C++. An industry-standard missile and rocket simulation, coded in multiple languages, was used as a test bench for runtime speed. All language versions of the simulation, including Julia, were coded to a highly-developed object-oriented simulation architecture tailored specifically for time-domain flight simulation. A “speed-of-coding” second-dimension is plotted against runtime for each language to portray a space that characterizes Julia’s scripting language efficiencies in the context of the other languages. With caveats, Julia runtime speed was found to be in the class of compiled or semi-compiled languages. However, some factors that affect runtime speed at the cost of ease-of-coding are shown. Julia’s built-in functionality for multi-core processing is briefly examined as a means for obtaining even faster runtime speed. The major contribution of this research to the extensive language benchmarking body-of-work is comparing Julia to other mainstream languages using a complex flight simulation as opposed to benchmarking with single algorithms.

Sells, Ray↗

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↗

Global earth mineral inventory: A data legacy

Minerals contain important clues to understanding the complex geologic history of Earth and other planetary bodies. Therefore, geologists have been collecting mineral samples and compiling data about these samples for centuries. These data have been used to better understand the movement of continental plates, the oxidation of Earth's atmosphere and the water regime of ancient martian landscapes. Datasets found at ‘RRUFF.info/Evolution’ and ‘mindat.org’ have documented a wealth of mineral occurrences around the world. One of the main goals in geoinformatics has been to facilitate discovery by creating and merging datasets from various scientific fields and using statistical methods and visualization tools to inspire and test hypotheses applicable to modelling Earth's past environments. To help achieve this goal, we have compiled physical, chemical and geological properties of minerals and linked them to the above-mentioned mineral occurrence datasets. As a part of the Deep Time Data Infrastructure, funded by the W.M. Keck Foundation, with significant support from the Deep Carbon Observatory (DCO) and the A.P. Sloan Foundation, GEMI (‘Global Earth Mineral Inventory’) was developed from the need of researchers to have all of the required mineral data visible in a single portal, connected by a robust, yet easy to understand schema. Our data legacy integrates these resources into a digestible format for exploration and analysis and has allowed researchers to gain valuable insights from mineralogical data. GEMI can be considered a network, with every node representing some feature of the datasets, for example, a node can represent geological parameters like colour, hardness or lustre. Exploring subnetworks gives the researcher a specific view of the data required for the task at hand. GEMI is accessible through the DCO Data Portal (https://dx.deepcarbon.net/11121/6200-6954-6634-8243-CC). We describe our efforts in compiling GEMI, the Data Policies for usage and sharing, and the evaluation metrics for this data legacy.

data legacy↗

Space Communications: Theory and Applications. Volume 3: Information Processing and Advanced Techniques. A Bibliography, 1958 - 1963

Space Communications: Theory and Applications is a four-volume bibliography compiled by the Federal Systems Division, IBM under contract to the National Aeronautics and Space Administration. It contains an extensive listing of references to reports, articles, and books on several subjects directly pertinent to the field of space communications. The compilers have endeavored to provide maximum coverage of the literature for the period 1958 through 1963. However, references to publications of unusual significance that appeared before 1958, as well as a limited number of 1964 references, have also been included. The bibliography has been prepared primarily for use by communications specialists engaged in technical activities related to the aerospace program. Each of the four volumes is complete in its coverage of specific subjects and is being published separately.

INFORMATION PROCESSING↗

Ballistocardiography, a Bibliography <1877 - 1964<

The publication of this bibliography on Ballistocardiography, NASA SP-7021 (FAA AM 65-15) fulfills a long-standing requirement for a comprehensive and retrospective collection of references on a subject that is of particular interest to medical investigators and cardiovascular physiologists engaged in aerospace studies. Ballistocardiography is a technique for producing a graphical representation of repetitive motions of the human body arising from the sudden ejection of blood into the great vessels with each heart beat. Standard ballistocardiographic techniques are emphasized in the references included in the bibliography, but attention is also given to several related methods that are used to record these phenomena and to the equipment and instrumentation employed in such investigations. The format of the citations in NASA SP-7021 (FAA AM 65-15) was chosen to resemble, as closely as possible, the format that is now being used in the Index Medicwl published by the National Library of Medicine, except that English titles of foreign language articles appear in parentheses instead of in brackets as they do in Index Medicus. In each case, an attempt was made to identify the language of the article, or the place of publication of the foreign language journal. Since the citations were gathered over a period of years and occasionally from sources which do not appear in standard indexes, complete information was not always available. Citations are arranged alphabetically by personal author. In a large measure, the comprehensivenes of this collection of references is due to information obtained from card files compiled and maintained by Dr. William R. Scarborough of the Georgetown Clinical Research Institute, Office of Aviation Medicine, FAA, supplemented by the private collections of Drs. Isaac Starr, Abraham Noordergraaf, and John L. Nickerson. Selection and preparation of individual references and general editing of the material was done by Dr. Scarborough, who received valuable assistance from Mrs. Claire Tedesco of the Medical Library Branch of the FAA Library. Final compilation and printing were completed under the supervision of NASA.

AEROSPACE MEDICINE↗

Computer enhancement through interpretive techniques

The improvement in the usage of the digital computer through the use of the technique of interpretation rather than the compilation of higher ordered languages was investigated by studying the efficiency of coding and execution of programs written in FORTRAN, ALGOL, PL/I and COBOL. FORTRAN was selected as the high level language for examining programs which were compiled, and A Programming Language (APL) was chosen for the interpretive language. It is concluded that APL is competitive, not because it and the algorithms being executed are well written, but rather because the batch processing is less efficient than has been admitted. There is not a broad base of experience founded on trying different implementation strategies which have been targeted at open competition with traditional processing methods.

Foster, G.↗

Further developments in cloud statistics for computer simulations

This study is a part of NASA's continued program to provide global statistics of cloud parameters for computer simulation. The primary emphasis was on the development of the data bank of the global statistical distributions of cloud types and cloud layers and their applications in the simulation of the vertical distributions of in-cloud parameters such as liquid water content. These statistics were compiled from actual surface observations as recorded in Standard WBAN forms. Data for a total of 19 stations were obtained and reduced. These stations were selected to be representative of the 19 primary cloud climatological regions defined in previous studies of cloud statistics. Using the data compiled in this study, a limited study was conducted of the hemogeneity of cloud regions, the latitudinal dependence of cloud-type distributions, the dependence of these statistics on sample size, and other factors in the statistics which are of significance to the problem of simulation. The application of the statistics in cloud simulation was investigated. In particular, the inclusion of the new statistics in an expanded multi-step Monte Carlo simulation scheme is suggested and briefly outlined.

Chang, D. T.↗

Recently published protein sequences. I.

Some polypeptide sequences that have been published in the 1972 scientific literature are listed. Only selected sequences are included. The compilation has two objectives. Current information between periods when more comprehensive compilations are published is to be assembled and the use of data that do not include arrangements of unsequenced peptides for 'maximum homology' is to be encouraged.

Jukes, T. H.↗

FGRAAL: Technical documentation

Implementation of FGRAAL, a FORTRAN-extended graph algorithmic language for the Univac 1108 is described. The report contains the description of the implemented data structures for sets, lists and graphs. It summarizes the changes made for the RALPH compiler to accommodate the special statements of FGRAAL; gives the calling sequences generated by the changed compiler; and describes the object time subroutine package.

Mesztenyi, C. K.↗

Investigation using data in Alabama from ERTS-A

There are no author-identified significant results in this report. Brief summaries are presented of accomplishments by the state of Alabama in the areas of: (1) investigation of environmental factors; (2) land use compilation; (3) data processing for land use compilation; (4) photo-reproduction and unsupervised land use classification from digital tape; (5) data collection buoys; and (6) activities of the Geological Survey of Alabama.

Henry, H. R.↗

Application of remote sensor data to geologic analysis of the Bonanza Test Site Colorado

A geologic map of the Bonanza Test Site is nearing completion. Using published large scale geologic maps from various sources, the geology of the area is being compiled on a base scaled at 1:250,000. Sources of previously published geologic mapping include: (1) USGS Bulletins; (2) professional papers and geologic quadrangle maps; (3) Bureau of Mines reports; (4) Colorado School of Mines quarterlies; and (5) Rocky Mountain Association of Geologist Guidebooks. This compilation will be used to evaluate ERTS, Skylab, and remote sensing underflight data.

Lee, K.↗

The cartographic application of ERTS/RBV imagery in polar regions

The author has identified the following significant results. Experiments have demonstrated the feasibility of revising coastlines on maps of Antarctica, detected gross changes in the northern limits of the three largest ice shelves in the world, and led to the discovery of uncharted mountain ranges. A strip photomosaic compiled at a scale of 1:1,000,000 along the Victoria Land Coast between Cape Adare and Harboard Glacier shows obvious changes in size, shape, and position of such features as glaciers, ice tongues, ice shelves, and fast ice. Similar changes to features in the Thwaites Glacier Tongue area were also discovered. Comparison of existing maps and photographs with ERTS-1 imagery over portions of the Ross and Filchner-Ronne Ice Shelves reveals that their northern limits have advanced about 6 and 15 km respectively in 7 years. Imagery also revealed new and unmapped geographical features, of which some are mountains, in the area of the recently published Australian 1:1,000,000 IMW sheet SS 40-42 and USGS IMW sheet ST 57-60 which is presently in final stages of compilation. Comparison of one ERTS-1 scene with a recently published USGS map disclosed a unique change in the Erebus Glacier Tongue. Indications are that its present position is about the same as it was in 1910.

Macdonald, W. R.↗

Celescope catalog of ultraviolet stellar observations

The catalog contains the observational results obtained by the Celescope Experiment during the first 16 months of operation of NASA's Orbiting Astronomical Observatory (OAO-2). It lists the results of the stellar observations, along with selected ground-based information obtained from the available literature. Lunar observations (Ahmad and Deutschman, 1972), as well as other analyses of the data, are being published as separate papers. These data are available in two forms: (1) magnetic tapes and the necessary utility programs for reading and printing the contents of the tapes; and (2) this catalog, transcribed from the magnetic-tape catalog. The magnetic tape version contains not only the compiled results but also the results of the individual observations from which these averaged data were compiled.

Davis, R. J.↗

A bibliography of the theory and application of the phase-lock principle

A literature search was conducted in an effort to collect and compile as many references on the phase-locked loop as possible. Although not all inclusive, a comprehensive listing of approximately 800 references covering the past two decades of work reported throughout the world are presented. The compilation is given in two parts: first by categories, and then alphabetically by authors.

Lindsey, W. C.↗