Search NASA⌕ Search

SEARCH · Search NASA

Results for “reasoning about programs”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Rooftop Photovoltaics and Electric Vehicle Co-Adoption: Attitudes, Norms, Diffusion, and Economics

The overall objectives of the project were to (1) Identify personal and social norms, peer effects, demographics and contextual factors (such as household energy expenditures, experience with outages, charging infrastructure availability) that may facilitate or hinder Solar-EV co-adoption; (2) outline strategies for the design of programs and practices that will enable reasoned RPV and EV adoption and their co-adoption; and (3) assemble a dataset comprised of survey responses of RPV-EV co-adopters, RPV-only adopters, EV-only adopters, and non-adopters. These objectives were only partially fulfilled given the decision to terminate the project. The research team was able to complete the semi-structured interviews, the core BY1 task and summarize the results below. As well, once the team learned of the research project’s fate, it sought and obtained the DOE SETO Technical Manager’s approval to repurpose funds for BY2 tasks to the extent feasible. Rather than invest further resources in expanding the pool of potential survey respondents and having no budget to survey, the research team repurposed funds subject and undertook a more limited (geographically) survey, but also expanded to it to include contingent valuation questions. The analysis of the survey data will necessarily be delayed given the lack of budget support, although some information on the respondent sample is in the results. Given a lack of attention to co-adoption previously, the insights generated in this project should assist decision-makers and industry actors in the development of programs and practices that enable reasoned RPV adoption and EV adoption and their co-adoption.

14 SOLAR ENERGY↗
NASA NTRS2020

History and Logic Model NASA Goddard Space Flight Center Instrument and Payload Systems Engineering Technical Performance Study

Historically, some NASA missions have exceeded schedule and cost commitments. Studies suggest technical performance is a contributor. The 1980 NASA Project Management Study concluded, "one of the most significant contributors to cost and schedule growth is inadequate definition of technical and management aspects of a program..." (as cited in GAO/NSIAD-93-97, p. 11). The 1991 NASA Roles and Missions Report identified a "need for increased emphasis on technological readiness and requirements on the front end of a program" (as cited in GAO/NSIAD-93-97, p. 11). The 1992 NASA Program Costs Report stated that NASA officials identified, among other things, "insufficient definition studies... [and] program redesigns and technical complexities" as reasons for cost and schedule overruns (GAO/NSAID-93-97, p. 11). The 2002 Task Force on Acquisition of National Security Space Programs found "requirements definition and control issues, unhealthy cost bias in proposal evaluation, widespread lack of budget reserves required to implement high risk programs on schedule, and an overall underappreciation of the importance of appropriately staffed and trained system engineering staff to manage the technologically demanding and unique aspects of space programs" (DoD, 2003, p.i.) In 2007, The NASA Office of the Chief Engineer chartered the NASA Instrument Capability Study (NICS) “to determine whether NASA instrument developers are facing challenges that impact the capability to design and build quality instruments or whether there are flaws in the acquisition strategy evidenced by schedule delays, cost overruns, and increased technical risk via design deficiencies. The... team was also chartered to determine if occurrences [are]... isolated cases or if there are generic issues... If the issues [are] found to be generic, the team [is] to offer solutions to recover such capability" (NICS Report, 2008, p. vi). The 2008 NICS Report, led by Goddard Space Flight Center (GSFC), identified challenges to instrument technical performance consistent with findings from previous reports. In 2017, the Instrument Project Division (IPD) Implementation Study was initiated to determine if there was a change in meeting schedule and cost commitments after implementing certain NICS recommendations. In 2018, the Instrument Technical Performance Study was initiated to determine the current state of Instrument Technical Performance in the GSFC Payload & Instrument Systems Engineering Branch. The purpose of the combined studies is to answer the question, "Is there a relationship between meeting NASA scientific instrument technical success and meeting schedule and cost commitments? If yes, what is the relationship?" References Department of Defense Office of the Under Secretary of Defense for Acquisition, Technology, and Logistics. (2003). The report of the defense science board/ air force scientific advisory board joint task force on acquisition of national security space programs. Washington DC. Government Accounting Office. (1992). NASA program costs: Space missions require substantially more funding than initially estimated. GAO/NSIAD-93-97. Washington DC. National Aeronautics and Space Administration, National Oceanic and Atmospheric Agency, Department of Defense. (2008). The NASA instrument capability study final report. NP-2008-11-058-GSFC. Washington DC.

Robbins, Geraldine↗
NASA NTRS2000

Autonomy Architectures for a Constellation of Spacecraft

Until the past few years, missions typically involved fairly large expensive spacecraft. Such missions have primarily favored using older proven technologies over more recently developed ones, and humans controlled spacecraft by manually generating detailed command sequences with low-level tools and then transmitting the sequences for subsequent execution on a spacecraft controller. This approach toward controlling a spacecraft has worked spectacularly on previous missions, but it has limitations deriving from communications restrictions - scheduling time to communicate with a particular spacecraft involves competing with other projects due to the limited number of deep space network antennae. This implies that a spacecraft can spend a long time just waiting whenever a command sequence fails. This is one reason why the New Millennium program has an objective to migrate parts of mission control tasks onboard a spacecraft to reduce wait time by making spacecraft more robust. The migrated software is called a "remote agent" and has 4 components: a mission manager to generate the high level goals, a planner/scheduler to turn goals into activities while reasoning about future expected situations, an executive/diagnostics engine to initiate and maintain activities while interpreting sensed events by reasoning about past and present situations, and a conventional real-time subsystem to interface with the spacecraft to implement an activity's primitive actions. In addition to needing remote planning and execution for isolated spacecraft, a trend toward multiple-spacecraft missions points to the need for remote distributed planning and execution. The past few years have seen missions with growing numbers of probes. Pathfinder has its rover (Sojourner), Cassini has its lander (Huygens), and the New Millenium Deep Space 3 (DS3) proposal involves a constellation of 3 spacecraft for interferometric mapping. This trend is expected to continue to progressively larger fleets. For example, one mission proposed to succeed DS3 would have 18 spacecraft flying in formation in order to detect earth-sized planets orbiting other stars. A proposed magnetospheric constellation would involve 5 to 500 spacecraft in Earth orbit to measure global phenomena within the magnetosphere. This work describes and compares three autonomy architectures for a system that continuously plans to control a fleet of spacecraft using collective mission goals instead of goals or command sequences for each spacecraft. A fleet of self-commanding spacecraft would autonomously coordinate itself to satisfy high level science and engineering goals in a changing partially-understood environment making feasible the operation of tens or even a hundred spacecraft (such as for interferometry or plasma physics missions). The easiest way to adapt autonomous spacecraft research to controlling constellations involves treating the constellation as a single spacecraft. Here one spacecraft directly controls the others as if they were connected. The controlling "master" spacecraft performs all autonomy reasoning, and the slaves only have real-time subsystems to execute the master's commands and transmit local telemetry/observations. The executive/diagnostics module starts actions and the master's real-time subsystem controls the action either locally or remotely through a slave. While the master/slave approach benefits from conceptual simplicity, it relies on an assumption that the master spacecraft's executive can continuously monitor the slaves' real-time subsystems, and this relies on high-bandwidth highly-reliable communications. Since unintended results occur fairly rarely, one way to relax the bandwidth requirements involves only monitoring unexpected events in spacecraft. Unfortunately, this disables the ability to monitor for unexpected events between spacecraft and leads to a host of coordination problems among the slaves. Also, failures in the communications system can result in losing slaves. The other two architectures improve robustness while reducing communications by progressively distributing more of the other three remote agent components across the constellation. In a teamwork architecture, all spacecraft have executives and real-time subsystems - only the leader has the planner/scheduler and mission manager. Finally, distributing all remote agent components leads to a peer-to-peer approach toward constellation control.

Barrett, Anthony↗
NASA NTRS1985

A Portable Battery for Objective, Nonobtrusive Measures of Human Performance

A need exists for a standardized battery of human performance tests in order to measure the effects of various treatments. The present paper reports on progress in such a program, funded jointly by NASA and the Navy. Three batteries are available which differ in length (7.5, 15, and 30 minutes), and number of tests in the battery (3, 10, and 15). All tests are implemented on a portable, lap-held, briefcase-sized microprocessor (NEC PC 8201A). Performances measured include information processing, memory, visual perception, reasoning, motor skills, etc. Current programs are underway to determine norms, reliabilities, stabilities, factor structure of tests, comparisons with marker tests, apparatus suitability, etc.

Kennedy, Robert S.↗
NASA NTRS1980

A study of the sonic-boom characteristics of a blunt body at a Mach number of 6

An experimental and analytical study of the sonic boom static pressure signatures generated by a blunt body at mach 6 has shown that finite difference computer programs can be used to give reasonable estimates of the signatures. The calculated near field static pressure signature was extrapolated to the far field by a program using the method of characteristics. A comparison of this extrapolated signature with the signature predicted by far field sonic boom theory (linearized) shows that peak overpressures are about the same, at least up to mach, but the far field theory overestimates the length of the signature.

Ashby, G. C., Jr.↗
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 NTRS2007

Implementing an Applied Science Program

The work implied in the NASA Applied Science Program requires a delicate balancing act for the those doing it. At the implementation level there are multiple tensions intrinsic to the program. For example each application of an existing product to a decision support process requires deep knowledge about the data and deep knowledge about the decision making process. It is highly probable no one person has this range of knowledge. Otherwise the decision making process would already be using the data. Therefore, a team is required. But building a team usually requires time, especially across agencies. Yet the program mandates efforts of relatively short duration. Further, those who know the data are scientists, which makes them essential to the program. But scientists are evaluated on their publication record. Anything which diverts a scientist from the research for his next publication is an anathema to him and potential death to their career. Trying to get another agency to use NASA data does not strike most scientists as material inherently suitable for publication. Also, NASA wishes to rapidly implement often substantial changes to another agency's process. For many reasons, such as budget and program constraints, speed is important. But the owner of a decision making process is tightly constrained, usually by law, regulation, organization and custom. Changes when made are slow, cautious, even hesitant, and always done according a process specific to the situation. To manage this work MSFC must balance these and other tensions. Some things we have relatively little control over, such as budget. These we try to handle by structural techniques. For example by insisting all of our people work on multiple projects simultaneously we inherently have diversification of funding for all of our people. In many cases we explicitly use some elements of tension to be productive. For example the need for the scientists to constantly publish is motivation to keep tasks short and to the immediate point. As another example, the DSS agency and it personnel are treated as integral to the effort at every step. Thus, their ways of doing things, their problems and their assets become part of the solution. MSFC also manages the Applied Science work' within a strategic framework.' First, the scientists are necessarily at the core of all of this work as well as all of the work within the larger' organization. We therefore strive to keep a roughly 50-50 balance between the work done on tasks funded directly by the research side of NASA's Science Mission Directorate and funding from the applied side. Done at both the organization level and the level of the individual, this keeps the scientist both happy and productive over the long term. We also try diligently to remove as much burden from the scientist as practical by employing people such as the authors and others to do tasks not requiring; scientific knowledge. We also have designed our effort to take full use of external partners. We actively seek and support, including fund, people from multiple organizations to join us as committed collaborators. In this we use today's money and today's problem to help us diversify and strengthen for tomorrow. MSFC also considers the Applied Science work holistically. Each element is viewed as a step in a larger process. At a management level we can chose to emphasize or encourage certain areas which service long term goals. Thus, if we think work in a particular area should be developed, we can start with the smaller, less costly elements and grow.

Rickman, Doug↗
NASA NTRS2003

Automated Environment Generation for Software Model Checking

A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are fundamentally open since their behavior is dependent on patterns of invocation of system components and values defined outside the system but referenced within the system. Whether reasoning about the behavior of whole programs or about program components, an abstract model of the environment can be essential in enabling sufficiently precise yet tractable verification. In this paper, we describe an approach to generating environments of Java program fragments. This approach integrates formally specified assumptions about environment behavior with sound abstractions of environment implementations to form a model of the environment. The approach is implemented in the Bandera Environment Generator (BEG) which we describe along with our experience using BEG to reason about properties of several non-trivial concurrent Java programs.

Tkachuk, Oksana↗
NASA NTRS1978

Computer Program for the Design and Off-Design Performance of Turbojet and Turbofan Engine Cycles

The rapid computer program is designed to be run in a stand-alone mode or operated within a larger program. The computation is based on a simplified one-dimensional gas turbine cycle. Each component in the engine is modeled thermo-dynamically. The component efficiencies used in the thermodynamic modeling are scaled for the off-design conditions from input design point values using empirical trends which are included in the computer code. The engine cycle program is capable of producing reasonable engine performance prediction with a minimum of computer execute time. The current computer execute time on the IBM 360/67 for one Mach number, one altitude, and one power setting is about 0.1 seconds. about 0.1 seconds. The principal assumption used in the calculation is that the compressor is operated along a line of maximum adiabatic efficiency on the compressor map. The fluid properties are computed for the combustion mixture, but dissociation is not included. The procedure included in the program is only for the combustion of JP-4, methane, or hydrogen.

Morris, S. J.↗
DOE OSTI2023

Re-evaluating the Thermal-Spectrum Molten-Salt Breeder Reactor Fuel Cycle in a Modern Context

The current need to rapidly and substantially expand clean power production combined with limited capability for domestic uranium enrichment results in a U.S. nuclear power production planning environment similar to that of the first nuclear era. The U.S. thermal-spectrum molten-salt breeder reactor (TS-MSBR) program emerged during the first nuclear era as means to support rapid nuclear power expansion while minimizing demand on fissile resources. The primary reasons that the TS-MSBR program was discontinued in the 1970s were the comparatively large amount of required effort to mature its technology sufficiently for commercial deployment and the access to separated fissile material provided by the design of its integrated fuel cycle. The slowdown in U.S. electrical load growth after 1980 and the abundance of inexpensive fossil fuels inhibited reconsideration of TS-MSBR development for decades. The purpose of this discussion is to re-examine the value and technical challenges of TS-MSBRs with integrated fuel salt chemical processing considering the renewed need for rapid expansion of clean energy production worldwide, the current state of technology, the challenge of actinide wastes, and the continuing need to maintain a high degree of proliferation resistance and to integrate safeguards into the design.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2021

Performance of solar leasing for low- and middle-income customers in Connecticut

Policymakers are increasingly interested in expanding access to rooftop photovoltaic systems. This study analyzes the financial performance of a Connecticut Green Bank (CGB) solar leasing program, run in partnership with PosiGen, that targets low- and moderate-income customers. We show that this program has successfully reached underserved customers and has reasonable repayment rates given the credit characteristics of the participants. The CGB/PosiGen program reaches many more underserved customers than other PV financing programs in Connecticut.For example, the majority of CGB/PosiGen participants (58%) live in census tracts that have a median income of less than 80% of the area median income (AMI). In contrast, only 9% of participants in the other CGB solar financing programs live in these census tracts. Furthermore, the majority of CGB/PosiGen participants (56%) have FICO scores that would generally be considered non-prime (<670), whereas only 2% of participants in the other programs have similarly low scores. Credit, not income, is the primary factor that explains participants’ financial performance. Overall, we find that delinquency and annualized losses are higher for PosiGen (2.3% and 0.9%) than for other CGB programs (1.4% and 0.1%). Across the CGB programs, lower credit scores are associated with higher rates of delinquency and loss. Therefore, participants’ lower credit scores explain much of the program’s higher rates of delinquency and annualized losses. PosiGen leases perform competitively with market-rate solar and non-solar leases and loans. When compared to securities backed by market-rate PV loans and leases with similar amounts of seasoning, we find that the PosiGen leases have higher delinquency rates but comparable gross loss rates. The similarity in losses is notable given that loss rates for PosiGen leases were higher than those of the other CGB leases and loans. Rather than the PosiGen leases having high loss rates, other CGB leases and loans have unusually low loss rates. We also compare PosiGen to non-solar benchmarks, including indices of auto and consumer loans. We find that the PosiGen leases have significantly less delinquency than non-prime auto loans and have performance comparable to many consumer loans. The U.S. Department of Energy’s Solar Energy Technologies Office supported this research.

14 SOLAR ENERGY↗
NASA NTRS1990

Design knowledge capture for a corporate memory facility

Currently, much of the information regarding decision alternatives and trade-offs made in the course of a major program development effort is not represented or retained in a way that permits computer-based reasoning over the life cycle of the program. The loss of this information results in problems in tracing design alternatives to requirements, in assessing the impact of change in requirements, and in configuration management. To address these problems, the problem was studied of building an intelligent, active corporate memory facility which would provide for the capture of the requirements and standards of a program, analyze the design alternatives and trade-offs made over the program's lifetime, and examine relationships between requirements and design trade-offs. Early phases of the work have concentrated on design knowledge capture for the Space Station Freedom. Tools are demonstrated and extended which helps automate and document engineering trade studies, and another tool is being developed to help designers interactively explore design alternatives and constraints.

Boose, John H.↗
NASA NTRS1993

OSHA Bloodborne Pathogens Standards Exposure Control Plan

The Hummer Associates Exposure Control Plan is designed to reduce significant occupational exposure to bloodborne pathogens and infectious materials for Hummer Associates health care personnel. Under universal precautions, all patients and all body fluids are considered potentially infectious for bloodborne pathogens. Medical personnel need not be at increased risk if universal precautions are correctly understood and followed. This program covers all employees who could reasonably anticipate contact with blood or other potentially infectious materials during the performance of their job responsibilities. Although HIV and hepatitis B are mentioned most often, this program applies to all bloodborne diseases. The two main components needed to implement this program are universal precautions and engineering/work practice controls. This program covers all employees who may have occupational exposure to blood or other potentially infectious materials. Other aspects of this program are discussed.

Luhrs, Caro Elise↗
DOE OSTI2013

Evidence of Progress - Measurement of Impacts of Australia's S&L Program from 1990-2010

Australia first put categorical energy efficiency labels on residential appliances in the mid-1980s, and the first Minimum Energy Performance Standards (MEPS) for refrigerators was implemented in 1999. Updated in 2005, these MEPS were aligned with US 2001 levels. Considered together, these actions set Australia apart as having one of the most aggressive appliance efficiency programs in the world. For these reasons, together with good data on product sales over time, Australia represents a potentially fruitful case study for understanding the dynamics energy efficiency standards and labeling (EES&L) programs impacts on appliance markets. This analysis attempts to distinguish between the impacts of labeling alone as opposed to MEPS, and to probe the time-dependency of such impacts. Fortunately, in the Australian case, detailed market sales data and a comprehensive registration system provides a solid basis for the empirical evaluation of these questions. This paper analyzes Australian refrigerator efficiency data covering the years 1993-2009. Sales data was purchased from a commercial market research organization (in this case, the GfK Group) and includes sales and average price in each year for each appliance model; this can be used to understand broader trends by product class and star rating category, even where data is aggregated. Statistical regression analysis is used to model market introduction and adoption of high efficiency refrigerators according to logistic adoption model formalism, and parameterizes the way in which the Australian programs accelerated adoption of high-efficiency products and phased out others. Through this analysis, the paper presents a detailed, robust and quantitative picture of the impacts of EES&L in the Australian case, but also demonstrates a methodology of the evaluation of program impacts that could form the basis of an international evaluation framework for similar programs in other countries.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗
NASA NTRS1990

Analysis of pressure-broadened ozone spectra in the 3 micron region

The Molecular Spectroscopy Lab at NASA-Langley has been involved in a long term effort to carefully characterize the infrared spectra of small molecules of atmospheric interest, including methane, water vapor, ozone, and their isotopic counterparts. High resolution gas phase infrared spectra are obtained using both a tunable diode laser system, and the McMath Fourier transform spectrometer at the Kitt Peak Solar Observatory. Spectra are obtained at various pressures and temperatures for pure gas samples, and for samples containing mixtures of the species of interest in nitrogen, oxygen, or air. From these spectra, using a nonlinear least squares fitting technique, spectral parameters of position, intensity, and half-width were determined for varying laboratory conditions that approximate atmospheric conditions experienced in remote sensing situations. These parameters are of interest in theoretical studies of these species, as well as in allowing more accurate interpretation of remote sensing data. The current work involves the analysis of a series of McMath FTIR spectra of ozone broadened by mixing with air, nitrogen, or oxygen. Each spectrum covers the region from 2396 to 4057/cm. Each vibrational band is analyzed by first diving its region into small intervals containing a few well isolated absorption lines of reasonable intensity. Each of these small intervals is fit by multiple iterations of the nonlinear least square program until residuals are minimized to a reasonable value which corresponds to the noise level of the measured spectrum. Intervals for the 3 nu(sub 3) ozone band in the region from 3000 to 3060 wavenumbers are being examined.

Prochaska, Eleanor S.↗
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↗
DOE OSTI2013

Evidence of progress. Measurement of impacts of Australia's S and L program from 1990-2010

Australia first put categorical energy efficiency labels on residential appliances in the mid-1980s, and the first Minimum Energy Performance Standards (MEPS) for refrigerators was implemented in 1999. Updated in 2005, these MEPS were aligned with US 2001 levels. Considered together, these actions set Australia apart as having one of the most aggressive appliance efficiency programs in the world. For these reasons, together with good data on product sales over time, Australia represents a potentially fruitful case study for understanding the dynamics energy efficiency standards and labeling (EES and L) programs impacts on appliance markets. This analysis attempts to distinguish between the impacts of labeling alone as opposed to MEPS, and to probe the time-dependency of such impacts. Fortunately, in the Australian case, detailed market sales data and a comprehensive registration system provides a solid basis for the empirical evaluation of these questions. This paper analyzes Australian refrigerator efficiency data covering the years 1993-2009. Sales data was purchased from a commercial market research organization (in this case, the GfK Group) and includes sales and average price in each year for each appliance model – this can be used to understand broader trends by product class and star rating category, even where data is aggregated. Statistical regression analysis is used to model market introduction and adoption of high efficiency refrigerators according to logistic adoption model formalism, and parameterizes the way in which the Australian programs accelerated adoption of high-efficiency products and phased out others. Through this analysis, the paper presents a detailed, robust and quantitative picture of the impacts of EES and L in the Australian case, but also demonstrates a methodology of the evaluation of program impacts that could form the basis of an international evaluation framework for similar programs in other countries.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗