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 847 records · Page 47

Establishing the isolated standard model

The goal of this article is to initiate a discussion on what it takes to claim “there is no new physics at the weak scale,” namely that the Standard Model (SM) is “isolated.” The lack of discovery of beyond the SM (BSM) physics suggests that this may be the case. But to truly establish this statement requires proving all “connected” BSM theories are false, which presents a significant challenge. We propose a general approach to quantitatively assess the current status and future prospects of establishing the isolated SM (ISM), which we give a reasonable definition of. We consider broad elements of BSM theories, and show many examples where current experimental results are not sufficient to verify the ISM. In some cases, there is a clear roadmap for the future experimental program, which we outline, while in other cases, further efforts—both theoretical and experimental—are needed in order to robustly claim the establishment of the ISM in the absence of new physics discoveries.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Effect of misalignment on mechanical behavior of metals in creep

Application of the endochronic theory of viscoplasticity to creep, creep recovery, and stress relaxation at the small strain and short time range produced the following results: (1) The governing constitutive equations for constant-strain-rate stress-strain behavior, creep, creep recovery, and stress relaxation were derived by imposing appropriate constraints on the general constitutive equation of the endochronic theory. (2) A set of material constants was found which correlate strain-hardening, creep, creep recovery, and stress relaxation. (3) The theory predicts with reasonable accuracy the creep and creep recovery behaviors at short time. (4) The initial strain history prior to the creep stage affects the subsequent creep significantly. (5) A critical stress was established for creep recovery. A computer program, written for the misalignment problem is reported.

Wu, H. C.↗

Active plasma release experiments

A pulse code modulator (PCM) encoder capable of storing data onboard into the mass memory in the encoder at up to 12 megabits per second was designed and constructed. This telemetry system was programed for two successful flights. All parts of the electronic system functioned perfectly during both previous flights and the detectors performed perfectly. However, in the first flight in Pokerflat, Alaska, an electron arm did not deploy for reasons as yet unkown. The ion arm deployed perfectly and good data was acquired.

Source record↗

Automatic derivation of formal software specifications from informal descriptions

SPECIFIER, an interactive system which derives formal specifications of data types and programs from their informal descriptions, is described. The process of deriving formal specifications is viewed as a problem-solving process. The system uses common problem-solving techniques such as schemas, analogy, and difference-based reasoning to derive formal specifications. If an informal description is a commonly occurring operation for which the system has a schema, then the formal specification is derived by instantiating the schema. If there is no such schema, SPECIFIER tries to find a previously solved problem which is analogous to the current problem. If the problem found is directly analogous to the current problem, it applies an analogy mapping to obtain a formal specification. On the other hand, if the analogy found is only approximate, it solves the directly analogous part of the problem by analogy and performs difference-based reasoning using the remaining (unmatched) parts to transform the formal specification obtained by analogy to a formal specification for the entire original problem.

Miriyala, Kanth↗

Global tropospheric ozone investigations

Ozone (O3) is one of the most important trace gases in the troposphere, and it is responsible for influencing many critical chemical and radiative processes. Ozone contributes to the formation of the hydroxyl radical (OH), which is central to most chemical reactions in the lower atmosphere, and it absorbs UV, visible, and infrared radiation which affects the energy budget and atmospheric temperatures. In addition, O3 can be used as a tracer of atmospheric pollution and stratosphere troposphere exchange. At elevated concentrations, O3 can also produce detrimental biological and human health effects. The US National Research Council (NRC) Board on Sustainable Development reviewed the US Global Change Research Program (USGCRP) [NRC, 1995], and it identified tropospheric chemistry as one of the high priority areas for the USGCRP in the next decade. The NRC identified the following specific challenges in tropospheric chemistry. Although we understand the reason for the high levels of 03 over several regions of the world, we need to better establish the distribution of O3 in the troposphere in order to document and understand the changes in the abundance of global tropospheric O3. This information is needed to quantify the contribution of O3 to the Earth' s radiative balance and to understand potential impacts on the health of the biosphere. Having recognized the importance of particles in the chemistry of the stratosphere, we must determine how aerosols and clouds affect the chemical processes in the troposphere. This understanding is essential to predict the chemical composition of the atmosphere and to assess the resulting forcing effects in the climate system. We must determine if the self-cleansing chemistry of the atmosphere is changing as a result of human activities. This information is required to predict the rate at which pollutants are removed from the atmosphere. Over nearly two decades, airborne Differential Absorption Lidar (DIAL) systems have been used in over fifteen major field experiments conducted all over the world to address important atmospheric processes affecting the amount and distribution of 03 and aerosols across the troposphere. This paper discusses some of these wide-ranging field experiments and their results and presents a direction for future global studies of O3 and aerosols from space.

Browell, Edward V.↗

Neutral Mass Spectrometry for Venus Atmosphere and Surface

The nature of the divergent evolution of the terrestrial planets Venus, Earth, and Mars is a fundamental problem in planetary science that is most relevant to understanding the characteristics of small planets we are likely to discover in extrasolar systems and the number of such systems that may support habitable environments. For this reason, the National Research Council's Decadal Survey gives Venus exploration high priority. That report was the basis of the NASA selection of Venus as one of four prime mission targets for the recently initiated New Frontiers Program. If the Decadal Survey priorities are to be realized, in situ Venus exploration must remain a high priority. Remote sensing orbital and in situ atmospheric measurements from entry probe or balloon platforms might be realized under the low cost Discovery missions while both atmospheric and landed surface measurements are envisioned with the intermediate class missions of the New Frontiers Program.

Mahaffy, Paul↗

Ares I-X Upper Stage Simulator Compartment Pressure Comparisons During Ascent

Predictions of internal compartment pressures are necessary in the design of interstage regions, systems tunnels, and protuberance covers of launch vehicles to assess potential burst and crush loading of the structure. History has proven that unexpected differential pressure loads can lead to catastrophic failure. Pressures measured in the Upper Stage Simulator (USS) compartment of Ares I-X during flight were compared to post-flight analytical predictions using the CHCHVENT chamber-to-chamber venting analysis computer program. The measured pressures were enveloped by the analytical predictions for most of the first minute of flight but were outside of the predictions thereafter. This paper summarizes the venting system for the USS, discusses the probable reasons for the discrepancies between the measured and predicted pressures, and provides recommendations for future flight vehicles.

Downs. William J.↗

Spatial and Temporal Variability of Trace Gas Columns Derived from WRF/Chem Regional Model Output: Planning for Geostationary Observations of Atmospheric Composition

We quantify both the spatial and temporal variability of column integrated O3, NO2, CO, SO2, and HCHO over the Baltimore / Washington, DC area using output from the Weather Research and Forecasting model with on-line chemistry (WRF/Chem) for the entire month of July 2011, coinciding with the first deployment of the NASA Earth Venture program mission Deriving Information on Surface conditions from Column and Vertically Resolved Observations Relevant to Air Quality (DISCOVER-AQ). Using structure function analyses, we find that the model reproduces the spatial variability observed during the campaign reasonably well, especially for O3. The Tropospheric Emissions: Monitoring of Pollution (TEMPO) instrument will be the first NASA mission to make atmospheric composition observations from geostationary orbit and partially fulfills the goals of the Geostationary Coastal and Air Pollution Events (GEO-CAPE) mission. We relate the simulated variability to the precision requirements defined by the science traceability matrices of these space-borne missions. Results for O3 from 0- 2 km altitude indicate that the TEMPO instrument would be able to observe O3 air quality events over the Mid-Atlantic area, even on days when the violations of the air quality standard are not widespread. The results further indicated that horizontal gradients in CO from 0-2 km would be observable over moderate distances (≥ 20 km). The spatial and temporal results for tropospheric column NO2 indicate that TEMPO would be able to observe not only the large urban plumes at times of peak production, but also the weaker gradients between rush hours. This suggests that the proposed spatial and temporal resolutions for these satellites as well as their prospective precision requirements are sufficient to answer the science questions they are tasked to address.

TEMPO↗

HEP Community White Paper on Software Trigger and Event Reconstruction

Realizing the physics programs of the planned and upgraded high-energy physics (HEP) experiments over the next 10 years will require the HEP community to address a number of challenges in the area of software and computing. For this reason, the HEP software community has engaged in a planning process over the past two years, with the objective of identifying and prioritizing the research and development required to enable the next generation of HEP detectors to fulfill their full physics potential. The aim is to produce a Community White Paper which will describe the community strategy and a roadmap for software and computing research and development in HEP for the 2020s. The topics of event reconstruction and software triggers were considered by a joint working group and are summarized together in this document.

Albrecht, Johannes↗

HEP Community White Paper on Software Trigger and Event Reconstruction: Executive Summary

Realizing the physics programs of the planned and upgraded high-energy physics (HEP) experiments over the next 10 years will require the HEP community to address a number of challenges in the area of software and computing. For this reason, the HEP software community has engaged in a planning process over the past two years, with the objective of identifying and prioritizing the research and development required to enable the next generation of HEP detectors to fulfill their full physics potential. The aim is to produce a Community White Paper which will describe the community strategy and a roadmap for software and computing research and development in HEP for the 2020s. The topics of event reconstruction and software triggers were considered by a joint working group and are summarized together in this document.

Albrecht, Johannes↗

Implementing High Performance Remote Method Invocation in CCA

We report our effort in engineering a high performance remote method invocation (RMI) mechanism for the Common Component Architecture (CCA). This mechanism provides a highly efficient and easy-to-use mechanism for distributed computing in CCA, enabling CCA applications to effectively leverage parallel systems to accelerate computations. This work is built on the previous work of Babel RMI. Babel is a high performance language interoperability tool that is used in CCA for scientific application writers to share, reuse, and compose applications from software components written in different programming languages. Babel provides a transparent and flexible RMI framework for distributed computing. However, the existing Babel RMI implementation is built on top of TCP and does not provide the level of performance required to distribute fine-grained tasks. We observed that the main reason the TCP based RMI does not perform well is because it does not utilize the high performance interconnect hardware on a cluster efficiently. We have implemented a high performance RMI protocol, HPCRMI. HPCRMI achieves low latency by building on top of a low-level portable communication library, Aggregated Remote Message Copy Interface (ARMCI), and minimizing communication for each RMI call. Our design allows a RMI operation to be completed by only two RDMA operations. We also aggressively optimize our system to reduce copying. In this paper, we discuss the design and our experimental evaluation of this protocol. Our experimental results show that our protocol can improve RMI performance by an order of magnitude.

99 GENERAL AND MISCELLANEOUS↗

Considerations for GPU SEE Testing

This presentation will discuss the considerations an engineer should take to perform Single Event Effects (SEE) testing on GPU devices. Notable topics will include setup complexity, architecture insight which permits cross platform normalization, acquiring a reasonable detail of information from the test suite, and a few lessons learned from preliminary testing.

NASA Electronic Parts and Packaging (NEPP) Program↗

Cockpit voice recognition program at Princeton University

Voice recognition technology (VRT) is applied to aeronautics, particularly on the pilot workload alleviation. The VRT does not have to prove its maturity any longer. The feasibility of voice tuning of radio and DME are demonstrated since there are immediate advantages to the pilot and can be completed in a reasonable time.

Huang, C. Y.↗

Analysis of AP1000 Small-Break Loss-of-Coolant Accident Using Reactor Transient Simulator

The Westinghouse Electric Company’s Advanced Passive Reactor (AP1000) is characterized by the incorporation of passive safety systems (PSSs) designed to ensure core cooling during transient events. The assessment of PSSs requires evaluation of their performance through a combination of experiments and simulations employing various thermal-hydraulic codes. In addition, detailed evaluation of PSSs for a specific reactor system transient analysis such as loss-of-coolant-accident analysis supports understanding representative integral effects test facility development and the further evolution model development and assessment process. Developing a reactor system code is a complex and time-consuming process that requires significant engineering expertise and effort. It can take several months to even years to complete in the early stages of reactor system design and analysis. However, this process can be expedited through the use of transient simulator models for similar reactor systems, which can be used for lesson learning and training purposes. This study uses the Personal Computer Transient Analyzer (PCTRAN) code. The main advantage of PCTRAN is its ease of use and ability to run faster than real time. This study presents the results obtained for a small-break loss-of-coolant accident (SBLOCA) for two breaks using the full version (licensed) of PCTRAN. The purpose of this investigation is to evaluate the overall system behavior during the postulated SBLOCA event as well as assess the capability of the PCTRAN code to reproduce the system response during transient events. The obtained results were compared with the Westinghouse NOTRUMP system code. The PCTRAN code proved to be reliable in predicting the qualitative behavior of the system in both transient cases. As for the system response, it was found that it is contingent on the activation time of the PSSs. The differences in reactor coolant system pressure between the two codes were attributed to the critical flow model and simplification of mass and energy balance. Despite PCTRAN’s limitations, it can still provide a reasonable prediction of various reactor parameters such as pressure, mass flow rate, and void fraction during a SBLOCA scenario. It is worth noting that PCTRAN currently employs a bulk approach similar to that of the Modular Accident Analysis Program (MAAP) and MELCOR codes. However, the upcoming version of PCTRAN will include an artificial intelligence–based detection and accident prevention system, as well as different models for different reactor components. Consequently, PCTRAN has the potential to be upgraded to match the system thermal-hydraulic codes of the U.S. Nuclear Regulatory Commission and become more widely used in cybersecurity to safeguard nuclear power plants from cyberattacks.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

Field Assessment of Energy Audit Tools for Retrofit Programs

This project focused on the use of home energy ratings as a tool to promote energy retrofits in existing homes. A home energy rating provides a quantitative appraisal of a home's asset performance, usually compared to a benchmark such as the average energy use of similar homes in the same region. Home rating systems can help motivate homeowners in several ways. Ratings can clearly communicate a home's achievable energy efficiency potential, provide a quantitative assessment of energy savings after retrofits are completed, and show homeowners how they rate compared to their neighbors, thus creating an incentive to conform to a social standard. An important consideration is how rating tools for the retrofit market will integrate with existing home energy service programs. For residential programs that target energy savings only, home visits should be focused on key efficiency measures for that home. In order to gain wide adoption, a rating tool must be easily integrated into the field process, demonstrate consistency and reasonable accuracy to earn the trust of home energy technicians, and have a low monetary cost and time hurdle for homeowners. Along with the Home Energy Score, this project also evaluated the energy modeling performance of SIMPLE and REM/Rate.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Stable White Coatings

In a previous research program for the Jet Propulsion- Laboratory, extensive studies led to the development and specifications of three zinc oxide-pigmented thermal-control coatings. The principal objectives of this program are: improvement of the three paints (as engineering materials), determination of the validity of our accelerated space-simulation testing, and continuation of the zinc oxide photolysis studies begun in the preceding program. Specific tasks that are discussed include: improvement of potassium silicate coatings as engineering materials and elucidation of their storage and handling problems; improvement of methyl silicone coatings as engineering materials; studies of zinc oxide photolysis to establish reasons for the observed stability of zinc oxide; and determination of space-simulation parameters such as long-term stability (to 8000 ESH), effect of coating surface temperature on the rate of degradation, and validity of accelerated testing (by reciprocity and wavelength dependency studies).

COATING↗

Diagnosis: Reasoning from first principles and experiential knowledge

Completeness, efficiency and autonomy are requirements for suture diagnostic reasoning systems. Methods for automating diagnostic reasoning systems include diagnosis from first principles (i.e., reasoning from a thorough description of structure and behavior) and diagnosis from experiential knowledge (i.e., reasoning from a set of examples obtained from experts). However, implementation of either as a single reasoning method fails to meet these requirements. The approach of combining reasoning from first principles and reasoning from experiential knowledge does address the requirements discussed above and can possibly ease some of the difficulties associated with knowledge acquisition by allowing developers to systematically enumerate a portion of the knowledge necessary to build the diagnosis program. The ability to enumerate knowledge systematically facilitates defining the program's scope, completeness, and competence and assists in bounding, controlling, and guiding the knowledge acquisition process.

Williams, Linda J. F.↗

Mini-dome Fresnel lens photovoltaic concentrator development

Since 1986 work on a new high-performance, light-weight space photovoltaic concentration array has been conducted. An update on the mini-dome lens concentrator array development program is provided. Recent prototype cell and lens test results indicate that near-term array performance goals of 300 w/sq m and 100 w/kg are feasible, and that a longer-term goal of 200 w/kg is reasonable.

Oneill, Mark J.↗