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 649 records · Page 36

Determination of Thermal State of Charge in Solar Heat Receivers

The research project at Howard University seeks to develop analytical and numerical capabilities to study heat transfer and fluid flow characteristics, and the prediction of the performance of solar heat receivers for space applications. Specifically, the study seeks to elucidate the effects of internal and external thermal radiation, geometrical and applicable dimensionless parameters on the overall heat transfer in space solar heat receivers. Over the last year, a procedure for the characterization of the state-of-charge (SOC) in solar heat receivers for space applications has been developed. By identifying the various factors that affect the SOC, a dimensional analysis is performed resulting in a number of dimensionless groups of parameters. Although not accomplished during the first phase of the research, data generated from a thermal simulation program can be used to determine values of the dimensionless parameters and the state-of-charge and thereby obtain a correlation for the SOC. The simulation program selected for the purpose is HOTTube, a thermal numerical computer code based on a transient time-explicit, axisymmetric model of the total solar heat receiver. Simulation results obtained with the computer program are presented the minimum and maximum insolation orbits. In the absence of any validation of the code with experimental data, results from HOTTube appear reasonable qualitatively in representing the physical situations modeled.

Glakpe, E. K.↗

STS-103 Discovery Launch Scrub Press Conference

A press conference held on December 16, 1999, to explain the reason behind NASA's decision to delay the Discovery's launching by a period of 24 hrs is presented. According to Ron Dittemore, Space Shuttle Program Manager, the STS-103 team delayed the launch because they need extra time to check one vendor's manufacturing processes, after an x-ray inspection revealed that an improper weld rod was used to weld one of the pressuring lines (called NPS lines) in the ET (external tank). Mr. Dittemore explained that since it is in the ET (not a major load carrying structure and rebuild after each flight), it did not pose any danger to the STS-103 flight. However, the same vendor also manufactured some parts of the orbiter and the team wanted to make sure that the quality of the vendor's manufacturing processes is robust before launching the orbiter to space. He also answered some reporters' questions.

Source record↗

Abstraction and Assume-Guarantee Reasoning for Automated Software Verification

Compositional verification and abstraction are the key techniques to address the state explosion problem associated with model checking of concurrent software. A promising compositional approach is to prove properties of a system by checking properties of its components in an assume-guarantee style. This article proposes a framework for performing abstraction and assume-guarantee reasoning of concurrent C code in an incremental and fully automated fashion. The framework uses predicate abstraction to extract and refine finite state models of software and it uses an automata learning algorithm to incrementally construct assumptions for the compositional verification of the abstract models. The framework can be instantiated with different assume-guarantee rules. We have implemented our approach in the COMFORT reasoning framework and we show how COMFORT out-performs several previous software model checking approaches when checking safety properties of non-trivial concurrent programs.

Chaki, S.↗

Pressure Effects on the Self-Extinguishment Limits of Aerospace Materials

The Orion Crew Exploration Vehicle Module (CM) is being designed to operate in an atmosphere of up to 30% oxygen at a pressure of 10.2 psia for lunar missions. Spacecraft materials selection is based on an upward flammability test conducted in a closed chamber under the worst expected conditions of pressure and oxygen concentration. Material flammability depends on both oxygen concentration and pressure but, since oxygen concentration is the primary driver, all materials are certified in the 30% oxygen, 10.2 psia environment. Extensive data exist from the Shuttle Program at this condition which used relatively the same test methodology as currently used in the Constellation Program. When the CM returns to Earth, a snorkel device will be activated after splashdown to provide outside air to the crew; however, for operational reasons, it is desirable to maximize the time the crew is able to breathe cabin air before the snorkel device is activated. To maximize this time, it has been proposed to raise the partial pressure of oxygen in the CM immediately before reentry while maintaining the total cabin pressure at 14.7 psia. In addition, it has been proposed to leak-test the Orion CM with ambient air at a maximum pressure of 17.3 psia. No data exist to assess how high the cabin oxygen concentration can be at 14.7 psia or 17.3 psia. One is to re-test a large number of materials at these pressures at a significant cost. However, since the maximum oxygen concentration (MOC) at which a material will self-extinguish has been determined for a variety of spacecraft materials as a function of pressure, a second alternative is to use existing data to estimate the MOC at 14.7 psia and 17.3 psia. This data will be examined in this paper and an analysis presented to determine the oxygen concentrations at the increased pressures that will result in self-extinguishment of a material. This analysis showed that the oxygen concentration for the Orion CM at 14.7 psia cannot be set higher than 25.6% without potentially invalidating the materials flammability certification in 30% oxygen at 10.2 psia for some materials. Materials certified under these conditions would still be self-extinguishing in ambient air at 17.3 psia. alternative

Hirsch, David B.↗

Regional Land Use Mapping: the Phoenix Pilot Project

The Phoenix Pilot Program has been designed to make effective use of past experience in making land use maps and collecting land use information. Conclusions reached from the project are: (1) Land use maps and accompanying statistical information of reasonable accuracy and quality can be compiled at a scale of 1:250,000 from orbital imagery. (2) Orbital imagery used in conjunction with other sources of information when available can significantly enhance the collection and analysis of land use information. (3) Orbital imagery combined with modern computer technology will help resolve the problem of obtaining land use data quickly and on a regular basis, which will greatly enhance the usefulness of such data in regional planning, land management, and other applied programs. (4) Agreement on a framework or scheme of land use classification for use with orbital imagery will be necessary for effective use of land use data.

Anderson, J. R.↗

ADAPTIVE OPTICS IMAGING OF QUASI-STELLAR OBJECTS WITH DOUBLE-PEAKED NARROW LINES: ARE THEY DUAL ACTIVE GALACTIC NUCLEI?

Active galaxies hosting two accreting and merging supermassive black holes (SMBHs)-dual active galactic nuclei (AGNs)-are predicted by many current and popular models of black-hole-galaxy co-evolution. We present here the results of a program that has identified a set of probable dual AGN candidates based on near-infrared laser guide star adaptive optics imaging with the Keck II telescope. These candidates are selected from a complete sample of radio-quiet quasi-stellar objects (QSOs) drawn from the Sloan Digital Sky Survey (SDSS), which show double-peaked narrow AGN emission lines. Of the 12 AGNs imaged, we find 6 with double galaxy structure, of which four are in galaxy mergers. We measure the ionization of the two velocity components in the narrow AGN lines to test the hypothesis that both velocity components come from an active nucleus. The combination of a well-defined parent sample and high-quality imaging allows us to place constraints on the fraction of SDSS QSOs that host dual accreting black holes separated on kiloparsec scales: {approx}0.3%-0.65%. We derive from this fraction the time spent in a QSO phase during a typical merger and find a value that is much lower than estimates that arise from QSO space densities and galaxy merger statistics. We discuss possible reasons for this difference. Finally, we compare the SMBH mass distributions of single and dual AGNs and find little difference between the two within the limited statistics of our program, hinting that most SMBH growth happens in the later stages of a merger process.

79 ASTRONOMY AND ASTROPHYSICS↗

Remote sensing of ocean waves: The Surface Wave Process Program experiment

An airborne synthetic aperture radar (SAR) has been used as an interferometer to obtain direct, calibrated measurements of the ocean wind wave directional spectrum. Flights over the same area from three different directions produced reasonably consistent results. The SAR-derived wave data agree well with simultaneous observations by a conventional wave measuring system and with a novel in situ acoustic Doppler system.

Goldstein, R. M.↗

The gravity probe B relativity gyroscope program

The idea of testing general relativity through observations on Earth orbiting gyroscopes was suggested in 1959 to 1960. The direction, it was noted, of spin of a suitably oriented gyroscope should change with respect to the line of sight to a guide star for two reasons: a geodetic effect from the motion of the gyroscope through the curved space-time around the Earth, and a frame-dragging effect from the Earth's rotation. NASA began supporting laboratory research on the experiment, now called Gravity Probe B, in 1964. Technologies for it were progressively established, and an error analysis demonstrated the potential of measuring frame-dragging to 1 to 2 percent and the geodetic effect to 1 part in 10(exp 4). Later analyses, discussed herein, suggest possibilities for further improving those precisions each by a further factor of 10. In 1984, after technical and scientific reviews by the Space Science Board and other bodies, and completion by NASA Marshall Center of a Phase B Study, the NASA Administrator approved the start of a program known as STORE (Shuttle Test Of the Relativity Experiment). The purpose of STORE is to verify the final Gravity Probe B science payload, perform on the Shuttle a 7-day experiment rehearsal (including sophisticated gyro tests in low gravity), and then return the payload to Earth for refurbishment and integration into the Science Mission spacecraft. The payload comprises four gyroscopes, a telescope, and a drag-free proof mass, all mounted in a quartz block assembly within an evacuated magnetically shielded probe, which in turn is inserted into a 10-ft long, 6-ft diameter liquid helium dewar, operating at 1.8 K and maintaining low temperature for 2 years. STORE is manifested on Shuttle OV-105, for launch MSSN 69 in February 1993. The Science Mission is set tentatively for June 1995.

Everitt, C. W. Francis↗

Research on blackboard architectures at the Heuristic Programming Project (HPP)

Researchers are entering the second decade of research in the Blackboard problem solving framework with focus in the following areas: (1) extensions to the basic concepts implemented in AGE-1 to address, for example, reasoning with uncertain data; (2) a new architecture and development environment, BB1, that implements methods for explicity controlling the reasoning; and (3) the design of and experimentation with multiprocessor architectures using the Blackboard as an organizing framework. A summary of these efforts is presented.

Nii, H. Penny↗

HSR Propulsion System Studies: A Status Report on the Down-Select Process

When the HSR program began there was widespread belief that a simple and familiar turbojet-like engine coupled to an advanced technology mixer-ejector nozzle was the propulsion system of choice for achieving FAR 36-Stage 3 noise requirements. Our ability to quickly demonstrate a practical 20(+) dB suppression nozzle was confidently presumed by many. Our rate of progress towards that objective, however, has been somewhat humbling. At the moment we are reasonably confident of achieving about 15 dB suppression with a mixer-ejector nozzle designed for a high specific thrust turbojet-like cycle. Therefore, if we make no further suppression progress and conservatively assume no new operational procedures such as programmed lapse rate (PLR), then meeting the Stage 3 goal requires a large amount of engine and/or wing oversizing which is economically prohibitive. The scenario is further aggravated by the possibility of eventually needing to comply with even more stringent regulations (Stage 4). While this status may be somewhat disappointing to some, it must be remembered that the HSR program plan involves two generations of mixer-ejector nozzles beyond the current generation I nozzle designs. It is premature to conclude that we cannot design a practical 20(+) dB mixer-ejector nozzle. On the other hand, it is prudent to consider alternative solutions to the noise problem. Thus, we are investigating four other propulsion system concepts.

Strack, W. C.↗

Polyene phosphatidylcholine overcomes oxaliplatin resistance in human gastric cancer BGC823 cells

Highlights: • Polyene phosphatidylcholine conquers oxaliplatin resistance in gastric cancer cells. • Polyene phosphatidylcholine counteracts stemness programs in resistant cells. • ABCF2 is a new candidate to confer resistance to oxaliplatin. Intrinsic or acquired resistance to oxaliplatin (L-OHP) is a major reason of treatment failure in gastric cancer and limits therapeutic success. Here we generated an oxaliplatin resistant gastric cancer cell line, BGC823/L-OHP, to investigate the effect of a hepatoprotective compound, polyene phosphatidylcholine (PPC), on conquest of oxaliplatin resistance. BGC823/L-OHP cells showed less sensitive to L-OHP directed growth inhibition than the parental BGC823 cells. PPC treatment significantly increased anti-proliferative activity of L-OHP on resistant cells and promoted L-OHP triggered apoptosis, indicating that drug resistance was overcome. Mechanistically, L-OHP incubation stimulated upregulation of an ABC family protein, ABCF2, and the expression was inhibited by PPC. Moreover, expression levels of the stemness factor Nanog and its regulator TLR4 were notably enhanced in BGC823/L-OHP cells and reduced by PPC treatment. To conclude, PPC can overcome oxaliplatin resistance in gastric cancer cells via promoting apoptosis, inhibiting ABCF2, as well via reducing cancer stem cell-like features. The combination therapeutic strategy could serve to increase oxaliplatin effectiveness in the clinic.

60 APPLIED LIFE SCIENCES↗

CO2-Binding Organic Liquids Gas Capture with Polarity-Swing-Assisted Regeneration Full Technology Feasibility Study B1 - Solvent-based Systems

PNNL, Fluor Corporation and Queens University (Kingston, ON) successfully completed a three year comprehensive study of the CO2BOL water-lean solvent platform with Polarity Swing Assisted Regeneration (PSAR). This study encompassed solvent synthesis, characterization, environmental toxicology, physical, thermodynamic and kinetic property measurements, Aspen Plus™ modeling and bench-scale testing of a candidate CO2BOL solvent molecule. Key Program Findings The key program findings are summarized as follows: • PSAR favorably reduced stripper duties and reboiler temperatures with little/no impact to absorption column • >90% CO2 capture was achievable at reasonable liquid-gas ratios in the absorber • High rich solvent viscosities (up to 600 cP) were successfully demonstrated in the bench-scale system. However, the projected impacts of high viscosity to capital cost and operational limits compromised the other levelized cost of electricity benefits. • Low thermal conductivity of organics significantly increased the required cross exchanger surface area, and potentially other heat exchange surfaces. • CO2BOL had low evaporative losses during bench-scale testing • There was no evidence of foaming during bench scale testing • Current CO2BOL formulation costs project to be $35/kg • Ecotoxicity (Water Daphnia) was comparable between CO2BOL and MEA (169.47 versus 103.63 mg/L) • Full dehydration of the flue gas was determined to not be economically feasible. However, modest refrigeration (13 MW for the 550 MW reference system) was determined to be potentially economically feasible, and still produce a water-lean condition for the CO2BOLs (5 wt% steady-state water loading). • CO2BOLs testing with 5 wt% water loading did not compromise anhydrous performance behavior, and showed actual enhancement of CO2 capture performance. • Mass transfer of CO2BOLs was not greatly impeded by viscosity • Facile separation of antisolvent from lean CO2BOL was demonstrated on the bench cart • No measurable solvent degradation was observed over 4 months of testing – even with 5 wt% water present

Heldebrant, David J↗

Status of Wrought FeCrAl-UO 2 Capsules Irradiated in the Advanced Test Reactor

Candidate cladding materials for accident tolerant fuel applications require extensive testing and validation prior to commercial deployment within the nuclear power industry. One class of cladding materials, FeCrAl alloys, is currently undergoing such effort. Within these activities is a series of irradiation programs within the Advanced Test Reactor. These programs are developed to aid in commercial maturation and understand the fundamental mechanisms controlling the cladding performance during normal operation of a typical light water reactor. Three different irradiation programs are on-going; one designed as a simple proof-of-principle concept, the other to evaluate the susceptibility of FeCrAl to fuel-cladding chemical interaction, and the last to fully simulate the conditions of a pressurized water reactor experimentally. To date, nondestructive post-irradiation examination has been completed on the rodlet deemed FCA-L3 from the simple proof-of-concept irradiation program. Initial results show possible breach of the rodlet under irradiation but further studies are needed to conclusively determine whether breach has occurred and the underlying reasons for such a possible failure. Further work includes characterizing additional rodlets following irradiation.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

Intelligent Monitoring Systems and Advanced Well Integrity and Mitigation

Long-term seismic monitoring of carbon capture and storage projects is needed to verify that the injected gas is safely stored in the subsurface until permanence can be assured. Conventional surface seismic monitoring techniques are usually expensive, require highly invasive surface operations, and need significant time investments on the part of personnel for both the field effort and processing the acquired data. For these reasons, permanent reservoir monitoring technologies are preferred, as they can offer a cost-effective solution for long-term monitoring. As part of the monitoring program of the Archer Daniels Midland’s large-scale injection of CO 2 in Decatur, Illinois, USA, a continuous seismic monitoring array was installed using a combination of surface orbital vibrator (SOV) sources and fiber-optic cables for distributed acoustic sensing (DAS) acquisition with the objective to build a continuous monitoring array. The aim of the presented project was to build a monitoring array and platform that integrates real-time seismic data with conventional data streams and provides continuous data analysis using dynamic computational models to deliver a comprehensive real-time assessment of subsurface conditions. It is in this context that the Intelligent Monitoring Systems and Advanced Well Integrity and Mitigation project was proposed with the objective to develop an integrated architecture that utilizes a permanent seismic monitoring network, combines the real-time geophysical and process data with reservoir flow and geomechanical models to create a comprehensive monitoring, visualization, and control system that delivers critical information for process surveillance and optimization.

54 ENVIRONMENTAL SCIENCES↗

Alternative Method for Performing As-Built, As-Irradiated Neutronics Analyses

Neutronics analyses have been used to assist in the design, development, and qualification of miniature fuel (MiniFuel) experiments irradiated in the High Flux Isotope Reactor (HFIR) at Oak Ridge National Laboratory (ORNL) since their conception almost a decade ago. In recent years, upon completion of a MiniFuel target’s irradiation, neutronics analyses that reflect the as-built, as-irradiated conditions of an experiment have also been performed to validate postirradiation examination (PIE) efforts. Several radiation transport and depletion/activation software wrapper programs have been developed to increase the fidelity of these calculations; at ORNL, a program called HFIRCON is the primary software method employed. However, the utilization of these wrapper programs comes at a cost. To produce accurate results, the radiation transport portion of these analyses requires significant time and resources to execute. Therefore, this report discusses an alternative methodology for calculating some of the desired output for PIE validation—specifically, the output used in evaluating the experiment’s fuel burnup—without complete reliance on ORNL’s wrapper program. The alternative method is not a new software but rather a procedure for utilizing the depletion/activation software, SCALE, in conjunction with limited input data and reasonable assumptions to bypass most of the radiation transport calculations and thereby reduce the time required for the completion of a standard analysis.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Systematically tracking the hourly progression of large wildfires using GOES satellite observations

Abstract. In the western United States, prolonged drought, a warming climate, and historical fuel buildup have contributed to larger and more intense wildfires as well as to longer fire seasons. As these costly wildfires become more common, new tools and methods are essential for improving our understanding of the evolution of fires and how extreme weather conditions, including heat waves, windstorms, droughts, and varying levels of active-fire suppression, influence fire spread. Here, we develop the Geostationary Operational Environmental Satellites (GOES)-Observed Fire Event Representation (GOFER) algorithm to derive the hourly fire progression of large wildfires and create a product of hourly fire perimeters, active-fire lines, and fire spread rates. Using GOES-East and GOES-West geostationary satellite detections of active fires, we test the GOFER algorithm on 28 large wildfires in California from 2019 to 2021. The GOFER algorithm includes parameter optimizations for defining the burned-to-unburned boundary and correcting for the parallax effect from elevated terrain. We evaluate GOFER perimeters using 12 h data from the Visible Infrared Imaging Radiometer Suite (VIIRS)-derived Fire Event Data Suite (FEDS) and final fire perimeters from the California's Fire and Resource Assessment Program (FRAP). Although the GOES imagery used to derive GOFER has a coarser resolution (2 km at the Equator), the final fire perimeters from GOFER correspond reasonably well to those obtained from FRAP, with a mean Intersection-over-Union (IoU) of 0.77, in comparison to 0.83 between FEDS and FRAP; the IoU indicates the area of overlap over the area of the union relative to the reference perimeters, in which 0 is no agreement and 1 is perfect agreement. GOFER fills a key temporal gap present in other fire tracking products that rely on low-Earth-orbit imagery, where perimeters are available at intervals of 12 h or longer or at ad hoc intervals from aircraft overflights. This is particularly relevant when a fire spreads rapidly, such as at maximum hourly spread rates of over 5 km h−1. Our GOFER algorithm for deriving the hourly fire progression using GOES can be applied to large wildfires across North and South America and reveals considerable variability in the rates of fire spread on diurnal timescales. The resulting GOFER product has a broad set of potential applications, including the development of predictive models for fire spread and the improvement of atmospheric transport models for surface smoke estimates. The resulting GOFER product has a broad set of potential applications, including the development of predictive models for fire spread and the improvement of atmospheric transport models for surface smoke estimates (https://doi.org/10.5281/zenodo.8327264, Liu et al., 2023).

Geology↗

A parametric determination of transport aircraft price

Cost per unit weight and other airframe and engine cost relations are given. Power equations representing these relations are presented for six airplane groups: general aircraft, turboprop transports, small jet transports, conventional jet transports, wide-body transports, supersonic transports, and for reciprocating, turboshaft, and turbothrust engines. Market prices calculated for a number of aircraft by use of the equations together with the aircraft characteristics are in reasonably good agreement with actual prices. Such price analyses are of value in the assessment of new aircraft devices and designs and potential research and development programs.

Anderson, J. L.↗

Electrostatic analysis of charge-coupled structures

An analysis is presented which is based upon a numerical solution of Gauss's law for the multiple dielectric semiconductor and electrode structure. The formulation resulted in a large set of equations, usually nonlinear, which were solved by an iterative scheme based upon the Gauss-Seidel method employing a relaxation parameter. Proper consideration of the nonlinearity of the space-charge in the semiconductor allowed convergent solutions which can give reasonable approximations to the channel potential profiles though not as good for estimating the space charge itself. The results of this work, which are three computer programs, are listed. None of the programs give the electric field explicitly as output data. However, when this information is desired, the programs can be expanded to include field estimations based on a polynominal fit to the potential field, or they may serve as subprograms for main programs dealing with general aspects of charge transfer.

Gassaway, J. D.↗