Search NASA⌕ Search

SEARCH · Search NASA

Results for “program implementation”

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 937 records · Page 52
All sourcesNASA NTRSDOE OSTI
NASA NTRS2002

A Rewriting-Based Approach to Trace Analysis

We present a rewriting-based algorithm for efficiently evaluating future time Linear Temporal Logic (LTL) formulae on finite execution traces online. While the standard models of LTL are infinite traces, finite traces appear naturally when testing and/or monitoring red applications that only run for limited time periods. The presented algorithm is implemented in the Maude executable specification language and essentially consists of a set of equations establishing an executable semantics of LTL using a simple formula transforming approach. The algorithm is further improved to build automata on-the-fly from formulae, using memoization. The result is a very efficient and small Maude program that can be used to monitor program executions. We furthermore present an alternative algorithm for synthesizing probably minimal observer finite state machines (or automata) from LTL formulae, which can be used to analyze execution traces without the need for a rewriting system, and can hence be used by observers written in conventional programming languages. The presented work is part of an ambitious runtime verification and monitoring project at NASA Ames, called PATHEXPLORER, and demonstrates that rewriting can be a tractable and attractive means for experimenting and implementing program monitoring logics.

Havelund, Klaus↗
NASA NTRS1976

Evaluation of HAL/S language compilability using SAMSO's Compiler Writing System (CWS)

NASA/Langley is engaged in a program to develop an adaptable guidance and control software concept for spacecraft such as shuttle-launched payloads. It is envisioned that this flight software be written in a higher-order language, such as HAL/S, to facilitate changes or additions. To make this adaptable software transferable to various onboard computers, a compiler writing system capability is necessary. A joint program with the Air Force Space and Missile Systems Organization was initiated to determine if the Compiler Writing System (CWS) owned by the Air Force could be utilized for this purpose. The present study explores the feasibility of including the HAL/S language constructs in CWS and the effort required to implement these constructs. This will determine the compilability of HAL/S using CWS and permit NASA/Langley to identify the HAL/S constructs desired for their applications. The study consisted of comparing the implementation of the Space Programming Language using CWS with the requirements for the implementation of HAL/S. It is the conclusion of the study that CWS already contains many of the language features of HAL/S and that it can be expanded for compiling part or all of HAL/S. It is assumed that persons reading and evaluating this report have a basic familiarity with (1) the principles of compiler construction and operation, and (2) the logical structure and applications characteristics of HAL/S and SPL.

Feliciano, M.↗
NASA NTRS2011

TraceContract: A Scala DSL for Trace Analysis

In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the best weapon is a high level programming language augmented with constructs for temporal reasoning. A trace is a sequence of events, which may for example be generated by a running program, instrumented appropriately to generate events. The API supports writing properties in a notation that combines an advanced form of data parameterized state machines with temporal logic. The implementation utilizes SCALA's support for defining internal Domain Specific Languages (DSLs). Furthermore SCALA's combination of object oriented and functional programming features, including partial functions and pattern matching, makes it an ideal host language for such an API.

log file analysis↗
NASA NTRS1980

Logic synthesis from DDL description

The implementation of DDLTRN and DDLSIM programs on SEL-2 computer system is reported. These programs were tested with DDL descriptions of various complexity. An algorithm to synthesize the combinational logic using the cells available in the standard IC cell library was formulated. The algorithm is implemented as a FORTRAN program and a description of the program is given.

Shiva, S. G.↗
NASA NTRS1974

System support software for the Space Ultrareliable Modular Computer (SUMC)

The highly transportable programming system designed and implemented to support the development of software for the Space Ultrareliable Modular Computer (SUMC) is described. The SUMC system support software consists of program modules called processors. The initial set of processors consists of the supervisor, the general purpose assembler for SUMC instruction and microcode input, linkage editors, an instruction level simulator, a microcode grid print processor, and user oriented utility programs. A FORTRAN 4 compiler is undergoing development. The design facilitates the addition of new processors with a minimum effort and provides the user quasi host independence on the ground based operational software development computer. Additional capability is provided to accommodate variations in the SUMC architecture without consequent major modifications in the initial processors.

Hill, T. E.↗
NASA NTRS1987

A computer code to process and plot laser altimetry data interactively on a microcomputer

A computer program, written in FORTRAN, is described which uses a microcomputer to interactively process and plot laser altimetry data taken with a laser altimeter currently under development at the Goddard Space Flight Center. The program uses a plot routine written for a particular microcomputer, so that the program could only be implemented on a different computer by replacing the plot routine. The altimetry data are taken from an aircraft flying over mountainous terrain. The program unpacks the raw data, processes it into along-track distance and ground height and creates plots of the terrain profile. A zoom capability is provided to expand the plot to show greater detail, along either axis, and provision is made to interactively edit out spurious data points.

Safren, H. G.↗
NASA NTRS1991

Photographic Image Restoration

Deblurring capabilities would significantly improve the Flight Science Support Office's ability to monitor the effects of lift-off on the shuttle and landing on the orbiter. A deblurring program was written and implemented to extract information from blurred images containing a straight line or edge and to use that information to deblur the image. The program was successfully applied to an image blurred by improper focussing and two blurred by different amounts of blurring. In all cases, the reconstructed modulation transfer function not only had the same zero contours as the Fourier transform of the blurred image but the associated point spread function also had structure not easily described by simple parameterizations. The difficulties posed by the presence of noise in the blurred image necessitated special consideration. An amplitude modification technique was developed for the zero contours of the modulation transfer function at low to moderate frequencies and a smooth filter was used to suppress high frequency noise.

Hite, Gerald E.↗
NASA NTRS2002

Crime scene investigations using portable, non-destructive space exploration technology

The National Institute of Justice (NIJ) and the National Aeronautics and Space Administration's (NASAs) Goddard Space Flight Center (GSFC) have teamed up to explore the use of NASA developed technologies to help criminal justice agencies and professionals solve crimes. The objective of the program is to produce instruments and communication networks that have application within both NASA's space program and NIJ programs with state and local forensic laboratories. A working group of NASA scientists and law enforcement professionals has been established to develop and implement a feasibility demonstration program. Specifically, the group has focused its efforts on identifying gunpowder and primer residue, blood, and semen at crime scenes. Non-destructive elemental composition identification methods are carried out using portable X-ray fluorescence (XRF) systems. These systems are similar to those being developed for planetary exploration programs. A breadboard model of a portable XRF system has been constructed for these tests using room temperature silicon and cadmium-zinc telluride (CZT) detectors. Preliminary tests have been completed with gunshot residue (GSR), blood-spatter and semen samples. Many of the element composition lines have been identified. Studies to determine the minimum detectable limits needed for the analyses of GSR, blood and semen in the crime scene environment have been initiated and preliminary results obtained. Furthermore, a database made up of the inorganic composition of GSR is being developed. Using data obtained from the open literature of the elemental composition of barium (Ba) and antimony (Sb) in handswipes of GSR, we believe that there may be a unique GSR signature based on the Sb to Ba ratio.

Firearms↗
NASA NTRS2012

Leveraging Independent Management and Chief Engineer Hierarchy: Vertically and Horizontally-Derived Technical Authority Value

In the development of complex spacecraft missions, project management authority is usually extended hierarchically from NASA's highest agency levels down to the implementing institution's project team level, through both the center and the program. In parallel with management authority, NASA utilizes a complementary, but independent, hierarchy of technical authority (TA) that extends from the agency level to the project, again, through both the center and the program. The chief engineers (CEs) who serve in this technical authority capacity oversee and report on the technical status and ensure sound engineering practices, controls, and management of the projects and programs. At the lowest level, implementing institutions assign project CEs to technically engage projects, lead development teams, and ensure sound technical principles, processes, and issue resolution. At the middle level, programs and centers independently use CEs to ensure the technical success of their projects and programs. At the agency level, NASA's mission directorate CEs maintain technical cognizance over every program and project in their directorate and advise directorate management on the technical, cost, schedule, and programmatic health of each. As part of this vertically-extended CE team, a program level CE manages a continually varying balance between penetration depth and breadth across his or her assigned missions. Teamwork issues and information integration become critical for management at all levels to ensure value-added use of both the synergy available between CEs at the various agency levels, and the independence of the technical authority at each organization.

Barley, Bryan↗
NASA NTRS1972

Organizing, staffing and initiating the program.

This paper describes and discusses those test laboratory management considerations prerequisite to test conduct and test reporting. These considerations are identified as (1) organizational requirements; they have to be determined, not only to implement a successful test program, but to match the communications needs of the other elements of the parent organization: (2) the role of supervision; decision making processes, types of decisions, and charters and role statements are presented: (3) planning; involves establishing objectives, definitions, procedures and the review and appraisal process: (4) delegation; some things cannot be delegated, others have to be.

Van Biene, F. K.↗
NASA NTRS1984

Summer High School Apprenticeship Research Program (SHARP) of the National Aeronautics and Space Administration

A total of 125 talented high school students had the opportunity to gain first hand experience about science and engineering careers by working directly with a NASA scientist or engineer during the summer. This marked the fifth year of operation for NASA's Summer High School Apprenticehsip Research Program (SHARP). Ferguson Bryan served as the SHARP contractor and worked closely with NASA staff at Headquarters and the eight participating sites to plan, implement, and evaluate the Program. The main objectives were to strengthen SHARP and expand the number of students in the Program. These eight sites participated in the Program: Ames Research Center North, Ames' Dryden Flight Research Facility, Goddard Space Flight Center, Goddard's Wallops Flight Facility, Kennedy Space Center, Langley Research Center, Lewis Research Center, and Marshall Space Flight Center.

Source record↗
NASA NTRS1986

The RANDOM computer program: A linear congruential random number generator

The RANDOM Computer Program is a FORTRAN program for generating random number sequences and testing linear congruential random number generators (LCGs). The linear congruential form of random number generator is discussed, and the selection of parameters of an LCG for a microcomputer described. This document describes the following: (1) The RANDOM Computer Program; (2) RANDOM.MOD, the computer code needed to implement an LCG in a FORTRAN program; and (3) The RANCYCLE and the ARITH Computer Programs that provide computational assistance in the selection of parameters for an LCG. The RANDOM, RANCYCLE, and ARITH Computer Programs are written in Microsoft FORTRAN for the IBM PC microcomputer and its compatibles. With only minor modifications, the RANDOM Computer Program and its LCG can be run on most micromputers or mainframe computers.

Miles, R. F., Jr.↗
NASA NTRS1991

Interferometry

The following recommended programs are reviewed: (1) infrared and optical interferometry (a ground-based and space programs); (2) compensation for the atmosphere with adaptive optics (a program for development and implementation of adaptive optics); and (3) gravitational waves (high frequency gravitational wave sources (LIGO), low frequency gravitational wave sources (LAGOS), a gravitational wave observatory program, laser gravitational wave observatory in space, and technology development during the 1990's). Prospects for international collaboration and related issues are also discussed.

Ridgway, Stephen↗
NASA NTRS1990

Expendable launch vehicles technology: A report to the US Senate and the US House of Representatives

As directed in Public Law 100-657, Commercial Space Launch Act Amendments of 1988, and consistent with National Space Policy, NASA has prepared a report on a potential program of research on technologies to reduce the initial and recurring costs, increase reliability, and improve performance of expendable launch vehicles for the launch of commercial and government spacecraft into orbit. The report was developed in consultation with industry and in recognition of relevant ongoing and planned NASA and DoD technology programs which will provide much of the required launch systems technology for U.S. Government needs. Additional efforts which could be undertaken to strengthen the technology base are identified. To this end, focus is on needs for launch vehicle technology development and, in selected areas, includes verification to permit private-sector new technology application at reduced risk. If such a program were to be implemented, it would entail both government and private-sector effort and resources. The additional efforts identified would augment the existing launch vehicle technology programs. The additional efforts identified have not been funded, based upon agency assessments of relative priority vis-a-vis the existing programs. Throughout the consultation and review process, the industry representatives stressed the overriding importance of continuing the DoD/NASA Advanced Launch Development activity and other government technology programs as a primary source of essential launch vehicle technology.

Source record↗
NASA NTRS2002

A Quantitative Reliability, Maintainability and Supportability Approach for NASA's Second Generation Reusable Launch Vehicle

The United States National Aeronautics and Space Administration (NASA) is in the midst of a 10-year Second Generation Reusable Launch Vehicle (RLV) program to improve its space transportation capabilities for both cargo and crewed missions. The objectives of the program are to: significantly increase safety and reliability, reduce the cost of accessing low-earth orbit, attempt to leverage commercial launch capabilities, and provide a growth path for manned space exploration. The safety, reliability and life cycle cost of the next generation vehicles are major concerns, and NASA aims to achieve orders of magnitude improvement in these areas. To get these significant improvements, requires a rigorous process that addresses Reliability, Maintainability and Supportability (RMS) and safety through all the phases of the life cycle of the program. This paper discusses the RMS process being implemented for the Second Generation RLV program.

Fayssal M. Safie↗
DOE OSTI2025

Data Center Energy Efficiency

Fact sheet describes how the Federal Energy Management Program helps federal agencies implement data center energy efficiency projects.

Kam, Kendall [US Department of Energy (USDOE) Fede↗
NASA NTRS2011

Identifying Geographic Areas at Risk of Soil-transmitted Helminthes Infection Using Remote Sensing and Geographical Information Systems: Boaco, Nicaragua as a Case Study

Several types of intestinal nematodes, that can infect humans and specially school-age children living in poverty, develop part of their life cycle in soil. Presence and survival of these parasites in the soil depend on given environmental characteristics like temperature and moisture that can be inferred with remote sensing (RS) technology. Prevalence of diseases caused by these parasitic worms can be controlled and even eradicated with anthelmintic drug treatments and sanitation improvement. Reliable and updated identification of geographic areas at risk is required to implement effective public health programs; to calculate amount of drug required and to distribute funding for sanitation projects. RS technology and geographical information systems (GIS) will be used to analyze for associations between in situ prevalence and remotely sensed data in order to establish RS proxies of environmental parameters that indicate the presence of these parasits. In situ data on helminthisasis will be overlaid over an ecological map derived from RS data using ARC Map 9.3 (ESRI). Temperature, vegetation, and distance to bodies of water will be inferred using data from Moderate-Resolution Imaging Spectroradiometer (MODIS) and Landsat TM and ETM+. Elevation will be estimated with data from The Shuttle Radar Topography Mission (SRTM). Prevalence and intensity of infections are determined by parasitological survey (Kato Katz) of children enrolled in rural schools in Boaco, Nicaragua, in the communities of El Roblar, Cumaica Norte, Malacatoya 1, and Malacatoya 2). This study will demonstrate the importance of an integrated GIS/RS approach to define clusters and areas at risk. Such information will help to the implementation of time and cost efficient control programs and sanitation efforts.

Moreno, Max J.↗