Search NASA⌕ Search

SEARCH · Search NASA

Results for “program”

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 451 records · Page 25
All sourcesNASA NTRSDOE OSTI
NASA NTRS2005

KSC SBIR/STTR 2004 Program Year Report

The Kennedy Space Center Level III SBIR/STTR management staff is under the Technology Transfer Office within the Spaceport Engineering and Technology Directorate. The SBIR and STTR programs provide an opportunity for small high technology companies and research institutions to participate in Government-sponsored research and development (R&D) programs in key technology areas. The SBIR program was established by Congress in 1982 to provide increased opportunities for small businesses to participate in R&D programs, increase employment, and improve U.S. competitiveness. The program's specific objectives are to stimulate U.S. technological innovation, use small businesses to meet Federal research and development needs, increase private sector commercialization of innovations, and foster and encourage participation by socially disadvantaged businesses. Legislation enacted in December 2000 reauthorized the program and strengthened emphasis on pursuing commercial applications of SBIR projects. An SBIR Phase I contract is the opportunity to establish the feasibility and technical merit of a proposed innovation. Selected competitively, the Phase I contract lasts for 6 months and is funded up to $70,000. SBIR Phase II contracts continue the most promising Phase I projects based on scientific! technical merit, expected value to NASA, company capability, and commercial potential. Phase II contracts are usually for a period of 24 months and may not exceed $600,000. NASA usually selects approximately 40 percent of Phase I projects to continue to the Phase II level. Phase III is the process of furthering the development of a product to make it commercially available. The STTR program awards contracts to small business concerns for cooperative R&D with a nonprofit research institution. Research institutions include nonprofit research organizations, Federal laboratories, or universities. The goal of the program established by Congress is to facilitate the transfer of technology developed by a research institution through the entrepreneurship of a small business. The STIR program is smaller in funding than the SBIR program. While the proposal is submitted by the small business concern, at least 30 percent of the funding and work must originate with the research institution. STTR Phase I projects receive up to $100K for a one-year effort, and a Phase II contract receives up to $600K for two years.

Source record↗
NASA NTRS2012

A Change Impact Analysis to Characterize Evolving Program Behaviors

Change impact analysis techniques estimate the potential effects of changes made to software. Directed Incremental Symbolic Execution (DiSE) is an intraprocedural technique for characterizing the impact of software changes on program behaviors. DiSE first estimates the impact of the changes on the source code using program slicing techniques, and then uses the impact sets to guide symbolic execution to generate path conditions that characterize impacted program behaviors. DiSE, however, cannot reason about the flow of impact between methods and will fail to generate path conditions for certain impacted program behaviors. In this work, we present iDiSE, an extension to DiSE that performs an interprocedural analysis. iDiSE combines static and dynamic calling context information to efficiently generate impacted program behaviors across calling contexts. Information about impacted program behaviors is useful for testing, verification, and debugging of evolving programs. We present a case-study of our implementation of the iDiSE algorithm to demonstrate its efficiency at computing impacted program behaviors. Traditional notions of coverage are insufficient for characterizing the testing efforts used to validate evolving program behaviors because they do not take into account the impact of changes to the code. In this work we present novel definitions of impacted coverage metrics that are useful for evaluating the testing effort required to test evolving programs. We then describe how the notions of impacted coverage can be used to configure techniques such as DiSE and iDiSE in order to support regression testing related tasks. We also discuss how DiSE and iDiSE can be configured for debugging finding the root cause of errors introduced by changes made to the code. In our empirical evaluation we demonstrate that the configurations of DiSE and iDiSE can be used to support various software maintenance tasks

Rungta, Neha Shyam↗
NASA NTRS2016

NASA's Earth Science Flight Program Meets the Challenges of Today and Tomorrow

NASA's Earth science flight program is a dynamic undertaking that consists of a large fleet of operating satellites, an array of satellite and instrument projects in various stages of development, a robust airborne science program, and a massive data archiving and distribution system. Each element of the flight program is complex and present unique challenges. NASA builds upon its successes and learns from its setbacks to manage this evolving portfolio to meet NASA's Earth science objectives. NASA fleet of 16 operating missions provide a wide range of scientific measurements made from dedicated Earth science satellites and from instruments mounted to the International Space Station. For operational missions, the program must address issues such as an aging satellites operating well beyond their prime mission, constellation flying, and collision avoidance with other spacecraft and orbital debris. Projects in development are divided into two broad categories: systematic missions and pathfinders. The Earth Systematic Missions (ESM) include a broad range of multi-disciplinary Earth-observing research satellite missions aimed at understanding the Earth system and its response to natural and human-induced forces and changes. Understanding these forces will help determine how to predict future changes, and how to mitigate or adapt to these changes. The Earth System Science Pathfinder (ESSP) program provides frequent, regular, competitively selected Earth science research opportunities that accommodate new and emerging scientific priorities and measurement capabilities. This results in a series of relatively low-cost, small-sized investigations and missions. Principal investigators whose scientific objectives support a variety of studies lead these missions, including studies of the atmosphere, oceans, land surface, polar ice regions, or solid Earth. This portfolio of missions and investigations provides opportunity for investment in innovative Earth science that enhances NASA's capability for better understanding the current state of the Earth system. ESM and ESSP projects often involve partnerships with other US agencies and/or international organizations. This adds to the complexity of mission development, but allows for a greater scientific return on NASA's investments. The Earth Science Airborne Science Program provides manned and unmanned aircraft systems that further science and advance the use of satellite data. NASA uses these assets worldwide in campaigns to investigate extreme weather events, observe Earth system processes, obtain data for Earth science modeling activities, and calibrate instruments flying aboard Earth science spacecraft. The Airborne Science Program has six dedicated aircraft and access to many other platforms. The Earth Science Multi-Mission Operations program acquires, preserves, and distributes observational data from operating spacecraft to support Earth Science research focus areas. The Earth Observing System Data and Information System (EOSDIS), which has been in operations since 1994, primarily accomplishes this. EOSDIS acquires, processes, archives, and distributes Earth Science data and information products. The archiving of NASA Earth Science information happens at eight Distributed Active Archive Centers (DAACs) and four disciplinary data centers located across the United States. The DAACs specialize by topic area, and make their data available to researchers around the world. The DAACs currently house over 9 petabytes of data, growing at a rate of 6.4 terabytes per day. NASA's current Earth Science portfolio is responsive to the National Research Council (NRC) 2007 Earth Science Decadal Survey and well as the 2010 NASA Response to President Obama's Climate Plan. As the program evolves into the future it will leverage the lessons learned from the current missions in operations and development, and plan for adjustments to future objectives in response to the anticipated 2017 NRC Decadal Survey.

Flight Program↗
NASA NTRS2024

Logic Programming with Extensible Types

Logic programming allows structuring code in terms of predicates or relations, rather than functions. Although logic programming languages present advantages in terms of declarativeness and conciseness, the introduction of static types has not become part of most popular logic programming languages, increasing the difficulty of testing and debugging of logic programming code. This paper demonstrates how to implement logic programming in Haskell, thus empowering logic programs with types, and functional programs with relations or predicates. We do so by combining three ideas. First, we use extensible types to generalize a type by a parameter type function. Second, we use a sum type as an argument to introduce optional variables in extensible types. Third, we implement a unification algorithm capable of working with any data structure, provided that certain operations are implemented for the given type. We demonstrate our proposal via a series of increasingly complex examples inspired by educational texts in logic programming, and leverage the host language's features to make new notation convenient for users, showing that the proposed approach is not just technically possible but also practical.

logic programming↗
DOE OSTI2024

The Italian Summer Students Program at Fermilab and other US Laboratories: 40 years of education in particle physics and technology

Since 1983 the Italian groups collaborating with Fermilab (US) have been running a 2-month summer training program for Master students. While in the first year the program involved only 4 physics students, in the following years it was extended to engineering students. Many students have extended their collaboration with Fermilab with their Master Thesis and PhD. The program has involved almost 600 Italian students from more than 20 Italian universities. Each intern is supervised by a Fermilab Mentor responsible for the training program. Training programs spanned from Tevatron, CMS, Muon (g-2), Mu2e and SBN and DUNE design and data analysis, development of particle detectors, design of electronic and accelerator components, development of infrastructures and software for tera-data handling, quantum computing and research on superconductive elements and accelerating cavities. In 2015 the University of Pisa included the program within its own educational programs. Summer Students are enrolled at the University of Pisa for the duration of the internship and at the end of the internship they write summary reports on their achievements. After positive evaluation by a University of Pisa Examining Board, interns are acknowledged 6 ECTS credits for their Diploma Supplement. In the years 2020 and 2021 the program was canceled due to the sanitary emergency but in 2022 it was restarted and allowed a cohort of 21 students in 2022, and a cohort of 27 students in 2023 to be trained for nine weeks at Fermilab. We are now organizing the 2024 program.

Barzi, Emanuela↗
NASA NTRS1978

Comparison of two computer programs by predicting turbulent mixing of helium in a ducted supersonic airstream

Two parabolic flow computer programs, SHIP (a finite-difference program) and COMOC (a finite-element program), are used for predicting three-dimensional turbulent reacting flow fields in supersonic combustors. The theoretical foundation of the two computer programs are described, and then the programs are applied to a three-dimensional turbulent mixing experiment. The cold (nonreacting) flow experiment was performed to study the mixing of helium jets with a supersonic airstream in a rectangular duct. Surveys of the flow field at an upstream were used as the initial data by programs; surveys at a downstream station provided comparison to assess program accuracy. Both computer programs predicted the experimental results and data trends reasonably well. However, the comparison between the computations from the two programs indicated that SHIP was more accurate in computation and more efficient in both computer storage and computing time than COMOC.

Pan, Y. S.↗
NASA NTRS1981

Laboratory data manipulation tools basic data handling programs. Volume 2: Detailed software/hardware documentation

The set of computer programs described allows for data definition, data input, and data transfer between the LSI-11 microcomputers and the VAX-11/780 minicomputer. Program VAXCOM allows for a simple method of textual file transfer from the LSI to the VAX. Program LSICOM allows for easy file transfer from the VAX to the LSI. Program TTY changes the LSI-11 operators console to the LSI's printing device. Program DICTIN provides a means for defining a data set for input to either computer. Program DATAIN is a simple to operate data entry program which is capable of building data files on either machine. Program LEDITV is an extremely powerful, easy to use, line oriented text editor. Program COPYSBF is designed to print out textual files on the line printer without character loss from FORTRAN carriage control or wide record transfer.

Source record↗
NASA NTRS1987

Systems autonomy technology: Executive summary and program plan

The National Space Strategy approved by the President and Congress in 1984 sets for NASA a major goal of conducting effective and productive space applications and technology programs which contribute materially toward United States leadership and security. To contribute to this goal, OAST supports the Nation's civil and defense space programs and overall economic growth. OAST objectives are to ensure timely provision of new concepts and advanced technologies, to support both the development of NASA missions in space and the space activities of industry and other organizations, to utilize the strengths of universities in conducting the NASA space research and technology program, and to maintain the NASA centers in positions of strength in critical space technology areas. In line with these objectives, NASA has established a new program in space automation and robotics that will result in the development and transfer and automation technology to increase the capabilities, productivity, and safety of NASA space programs including the Space Station, automated space platforms, lunar bases, Mars missions, and other deep space ventures. The NASA/OAST Automation and Robotics program is divided into two parts. Ames Research Center has the lead role in developing and demonstrating System Autonomy capabilities for space systems that need to make their own decisions and do their own planning. The Jet Propulsion Laboratory has the lead role for Telerobotics (that portion of the program that has a strong human operator component in the control loop and some remote handling requirement in space). This program is intended to be a working document for NASA Headquarters, Program Offices, and implementing Project Management.

Bull, John S↗
NASA NTRS1989

The implementation of the graphics of program EAGLE: A numerical grid generation code on NASA Langley SNS computer system

Program EAGLE (Eglin Arbitrary Geometry Implicit Euler) Numerical Grid Generation System is a composite (multi-block) algebraic or elliptic grid generation system designed to discretize the domain in and/or around any arbitrarily shaped three dimensional regions. This system combines a boundary conforming surface generation scheme and includes plotting routines designed to take full advantage of the DISSPLA Graphics Package (Version 9.0). Program EAGLE is written to compile and execute efficiently on any Cray machine with or without solid state disk (SSD) devices. Also, the code uses namelist inputs which are supported by all Cray machines using the FORTRAN compiler CFT77. The namelist inputs makes it easier for the user to understand the inputs and operation of Program EAGLE. EAGLE's numerical grid generator is constructed in the following form: main program, EGG (executive routine); subroutine SURFAC (surface generation routine); subroutine GRID (grid generation routine); and subroutine GRDPLOT (grid plotting routines). The EAGLE code was modified to use on the NASA-LaRC SNS computer (Cray 2S) system. During the modification a conversion program was developed for the output data of EAGLE's subroutine GRID to permit the data to be graphically displayed by IRIS workstations, using Plot3D. The code of program EAGLE was modified to make operational subroutine GRDPLOT (using DI-3000 Graphics Software Packages) on the NASA-LaRC SNS Computer System. How to implement graphically, the output data of subroutine GRID was determined on any NASA-LaRC graphics terminal that has access to the SNS Computer System DI-300 Graphics Software Packages. A Quick Reference User Guide was developed for the use of program EAGLE on the NASA-LaRC SNS Computer System. One or more application program(s) was illustrated using program EAGLE on the NASA LaRC SNS Computer System, with emphasis on graphics illustrations.

Houston, Johnny L.↗
NASA NTRS1990

A small missions program for investigation of near-earth asteroids

Current studies are examining the feasibility and possible content of the Discovery Program, a series of 'Explorer-class' missions to planetary targets. Organized as a multi-layer program with constant funding, the Discovery Program would support lower cost exploration opportunities that are missed in the new start procedure for larger missions. One approach to such a program is to focus on rendezvous missions to several near-Earth asteroids to characterize basic properties of this group of objects. A sample program is presented that visits six different targets over twelve years, using direct low energy trajectories; some of these are newly identified. Each flight in the program delivers a payload capable of addressing science objectives within the expected budget and programmatic constraints of small planetary missions. The key to satisfying the constraints is a disciplined program management philosophy, consistently applied over the entire program, that makes extensive use of hardware designs developed for other programs.

Stancati, M. L.↗
NASA NTRS1992

Menu-Driven Solver Of Linear-Programming Problems

Program assists inexperienced user in formulating linear-programming problems. A Linear Program Solver (ALPS) computer program is full-featured LP analysis program. Solves plain linear-programming problems as well as more-complicated mixed-integer and pure-integer programs. Also contains efficient technique for solution of purely binary linear-programming problems. Written entirely in IBM's APL2/PC software, Version 1.01. Packed program contains licensed material, property of IBM (copyright 1988, all rights reserved).

Viterna, L. A.↗
NASA NTRS1990

Small engine technology programs

Described here is the small engine technology program being sponsored at the Lewis Research Center. Small gas turbine research is aimed at general aviation, commuter aircraft, rotorcraft, and cruise missile applications. The Rotary Engine program is aimed at supplying fuel flexible, fuel efficient technology to the general aviation industry, but also has applications to other missions. The Automotive Gas Turbine (AGT) and Heavy-Duty Diesel Transport Technology (HDTT) programs are sponsored by DOE. The Compound Cycle Engine program is sponsored by the Army. All of the programs are aimed towards highly efficient engine cycles, very efficient components, and the use of high temperature structural ceramics. This research tends to be generic in nature and has broad applications. The HDTT, rotary technology, and the compound cycle programs are all examining approaches to minimum heat rejection, or 'adiabatic' systems employing advanced materials. The AGT program is also directed towards ceramics application to gas turbine hot section components. Turbomachinery advances in the gas turbine programs will benefit advanced turbochargers and turbocompounders for the intermittent combustion systems, and the fundamental understandings and analytical codes developed in the research and technology programs will be directly applicable to the system projects.

Niedzwiecki, Richard W.↗
NASA NTRS1991

The NASA Scientific and Technical Information Program: Prologue to the Future

The NASA STI Program offers researchers an infrastructure of people and systems that facilitates access to STI; worldwide. The Program is also NASA's institutional mechanism for disseminating the results of its research and developing activities. Through discussions in 1991, the STI Program formulated its Strategic Plan. The plan gives the Program a renewed sense of direction by focusing on future opportunities, customer requirements and Program goals, along with the changes needed to achieve those goals. The Program provides users access to a massive flow of STI which, in fact, represents the largest collection of aeronautical and space science information in the world. The STI Program products and services are outlined, along with the NASA centers, international operations, and the fact that total quality management drives NASA wide program developments. As is detailed, the NASA STI Program is using its resources as effectively as possible to meet the missing needs of NASA.

Source record↗
NASA NTRS1992

Life prediction and constitutive models for engine hot section anisotropic materials program

This report presents the results from a 35 month period of a program designed to develop generic constitutive and life prediction approaches and models for nickel-based single crystal gas turbine airfoils. The program is composed of a base program and an optional program. The base program addresses the high temperature coated single crystal regime above the airfoil root platform. The optional program investigates the low temperature uncoated single crystal regime below the airfoil root platform including the notched conditions of the airfoil attachment. Both base and option programs involve experimental and analytical efforts. Results from uniaxial constitutive and fatigue life experiments of coated and uncoated PWA 1480 single crystal material form the basis for the analytical modeling effort. Four single crystal primary orientations were used in the experiments: (001), (011), (111), and (213). Specific secondary orientations were also selected for the notched experiments in the optional program. Constitutive models for an overlay coating and PWA 1480 single crystal material were developed based on isothermal hysteresis loop data and verified using thermomechanical (TMF) hysteresis loop data. A fatigue life approach and life models were selected for TMF crack initiation of coated PWA 1480. An initial life model used to correlate smooth and notched fatigue data obtained in the option program shows promise. Computer software incorporating the overlay coating and PWA 1480 constitutive models was developed.

Nissley, D. M.↗
NASA NTRS1992

Life prediction and constitutive models for engine hot section anisotropic materials program

This report presents a summary of results from a 7 year program designed to develop generic constitutive and life prediction approaches and models for nickel-based single crystal gas turbine airfoils. The program was composed of a base program and an optional program. The base program addressed the high temperature coated single crystal regime above the airfoil root platform. The optional program investigated the low temperature uncoated single crystal regime below the airfoil root platform including the notched conditions of the airfoil attachment. Both base and option programs involved experimental and analytical efforts. Results from uniaxial constitutive and fatigue life experiments of coated and uncoated PWA 1480 single crystal material formed the basis for the analytical modeling effort. Four single crystal primary orientations were used in the experiments: group of zone axes (001), group of zone axes (011), group of zone axes (111), and group of zone axes (213). Specific secondary orientations were also selected for the notched experiments in the optional program. Constitutive models for an overlay coating and PWA 1480 single crystal materials were developed based on isothermal hysteresis loop data and verified using thermomechanical (TMF) hysteresis loop data. A fatigue life approach and life models were developed for TMF crack initiation of coated PWA 1480. A life model was developed for smooth and notched fatigue in the option program. Finally, computer software incorporating the overlay coating and PWA 1480 constitutive and life models was developed.

Nissley, D. M.↗
NASA NTRS1991

Computer aided reliability, availability, and safety modeling for fault-tolerant computer systems with commentary on the HARP program

Many of the most challenging reliability problems of our present decade involve complex distributed systems such as interconnected telephone switching computers, air traffic control centers, aircraft and space vehicles, and local area and wide area computer networks. In addition to the challenge of complexity, modern fault-tolerant computer systems require very high levels of reliability, e.g., avionic computers with MTTF goals of one billion hours. Most analysts find that it is too difficult to model such complex systems without computer aided design programs. In response to this need, NASA has developed a suite of computer aided reliability modeling programs beginning with CARE 3 and including a group of new programs such as: HARP, HARP-PC, Reliability Analysts Workbench (Combination of model solvers SURE, STEM, PAWS, and common front-end model ASSIST), and the Fault Tree Compiler. The HARP program is studied and how well the user can model systems using this program is investigated. One of the important objectives will be to study how user friendly this program is, e.g., how easy it is to model the system, provide the input information, and interpret the results. The experiences of the author and his graduate students who used HARP in two graduate courses are described. Some brief comparisons were made with the ARIES program which the students also used. Theoretical studies of the modeling techniques used in HARP are also included. Of course no answer can be any more accurate than the fidelity of the model, thus an Appendix is included which discusses modeling accuracy. A broad viewpoint is taken and all problems which occurred in the use of HARP are discussed. Such problems include: computer system problems, installation manual problems, user manual problems, program inconsistencies, program limitations, confusing notation, long run times, accuracy problems, etc.

Shooman, Martin L.↗
NASA NTRS1996

Constraints in Genetic Programming

Genetic programming refers to a class of genetic algorithms utilizing generic representation in the form of program trees. For a particular application, one needs to provide the set of functions, whose compositions determine the space of program structures being evolved, and the set of terminals, which determine the space of specific instances of those programs. The algorithm searches the space for the best program for a given problem, applying evolutionary mechanisms borrowed from nature. Genetic algorithms have shown great capabilities in approximately solving optimization problems which could not be approximated or solved with other methods. Genetic programming extends their capabilities to deal with a broader variety of problems. However, it also extends the size of the search space, which often becomes too large to be effectively searched even by evolutionary methods. Therefore, our objective is to utilize problem constraints, if such can be identified, to restrict this space. In this publication, we propose a generic constraint specification language, powerful enough for a broad class of problem constraints. This language has two elements -- one reduces only the number of program instances, the other reduces both the space of program structures as well as their instances. With this language, we define the minimal set of complete constraints, and a set of operators guaranteeing offspring validity from valid parents. We also show that these operators are not less efficient than the standard genetic programming operators if one preprocesses the constraints - the necessary mechanisms are identified.

Janikow, Cezary Z.↗
NASA NTRS1996

Planning an Effective Speakers Outreach Program

The National Aeronautics and Space Administration (NASA) and, in particular, the Marshall Space Flight Center (MSFC) have played pivotal roles in the advancement of space exploration and space-related science and discovery since the early 1960's. Many of the extraordinary accomplishments and advancements of NASA and MSFC have gone largely unheralded to the general public, though they often border on the miraculous. This lack of suitable and deserved announcement of these "miracles" seems to have occurred because NASA engineers and scientists are inclined to regard extraordinary accomplishment as a normal course of events. The goal in this project has been to determine an effective structure and mechanism for communicating to the general public the extent to which our investment in our US civilian space program, NASA, is, in fact, a very wise investment. The project has involved discerning important messages of truth which beg to be conveyed to the public. It also sought to identify MSFC personnel who are particularly effective as messengers or communicators. A third aspect of the project was to identify particular target audiences who would appreciate knowing the facts about their NASA investment. The intent is to incorporate the results into the formation of an effective, proactive MSFC speakers bureau. A corollary accomplishment for the summer was participation in the formation of an educational outreach program known as Nasa Ambassadors. Nasa Ambassadors are chosen from the participants in the various MSFC summer programs including: Summer Faculty Fellowship Program (SFFP), Science Teacher Enrichment Program (STEP), Community College Enrichment Program (CCEP), Joint Venture (JOVE) program, and the NASA Academy program. NASA Ambassadors agree to make pre-packaged NASA-related presentations to non-academic audiences in their home communities. The packaged presentations were created by a small cadre of participants from the 1996 MSFC summer programs, volunteering their time beyond their normal NASA summer research commitment. A total of eight presentations were created and made available for use by NASA Ambassadors. A major segment of the research effort during the summer has been devoted to verifying and documenting certain "spinoff' contributions of NASA technology and in determining their relevance and impact to our society and our nation's economy. The purpose behind the verification/documentation research has been to shed light on the question of whether or not our NASA investment is a wise investment. It has revealed that NASA is a wise investment.

McDonald, Malcolm W.↗