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 991 records · Page 55

Science observed: The mass-extinction debates

The upheaval triggered in 1980 by the Alvarez-Berkeley group impact hypothesis transformed the literature of mass extinctions from an unfocused, sporadic collection of papers that virtually ignored extraterrestrial causes and treated endogenous ones only sparingly better to an integrated, diverse body of literature. Research programs organized seemingly overnight spawned collaborative teams whose members, often from distant, isolated disciplines, redirected their careers in order to address the captivating, high-stakes issues. The initial, generally skeptical, cool reception of the impact hypothesis might have been predicted for any of a number of reasons: such an instantaneous catastrophe contravened earth science's reigning philosophy of uniformitarianism; it was formulated from a form of evidence - siderophile element anomalies - alien to the community charged with its appraisal; it advanced a causal mechanism that was improbable in terms of canonical knowledge; and it was proffered mainly by specialists alien to earth and biological science, especially paleobiology. Early on it became clear that irrespective of which causal hypothesis was chosen, the chosen one would be the strongest predictor of how the chooser would select and apply standards in assessing evidence bearing on all such hypothesis. Less strong correlation also appeared between disciplinary speciality and the assessment of evidence. Such correlations varied with the level of specialization; the most robust correlations appeared in the broadest areas of science practice. The gestalt (mindset) seemingly engendered by the embrace of an extinction hypothesis overrode, or was stronger than, the intellectual predispositions attributable to disciplinary specialty.

Glen, W.↗

Predissociation in N2(C'4, 1 Sigma u +) and other N2 states and its importance in the atmospheres of Titan and Triton

The objectives of this program are to further the understanding of the upper atmospheres of Titan, Triton, and the Earth in terms of the observed emissions of the 13-14 eV states of N2. These states are generated at quite high rates, yet very little emission is observed from them. The reasons are complex, involving resonance trapping and predissociation, and it is desired to quantify the effects of predissociation, particularly on the c(sub 4)' 1 Sigma(sub u),(sup +) state of N2. Earlier experiments had indicated that predissociation of the c(sub 4)' state was of little importance, yet over the last two years a growing body of evidence has shown that for levels above v = 2, predissociation is in fact a major process. It is the v = 0 level for which production by electron bombardment and photoexcitation is highest, and so it has been most important to evaluate the effects of predissociation on this particular level. The goal has been to target c(sub 4)' (v = 0) for a thorough analysis, in which both the extent of predissociation as a function of rotational level and the atomic product branching ratio, where the only possible products are N(4S) + N(4S) and N(2D) + N(4S), are determined. For the first year of funding, the intention was to demonstrate two-photon excitation of the intermediate N2(a(sup 1) Pi(sub g)) state, so that the gap to the 13 eV energy region could be bridged, and then use a second laser to reach the c(sub 4)' state itself.

Slanger, Tom G.↗

VSOP Monitoring of the Quasar 1928+738

One limitation of the VSOP (VLBI Space Observatory Program) mission is that several famous superluminal sources such as 3C273 cannot be monitored with good uv-coverage throughout the lifetime of the VSOP Mission at regular intervals that are spaced closely enough to follow the evolution in the fine-scale source-structure. The reason for this is that the HALCA spacecraft cannot#observe sources outside certain restricted ranges of sun angle, defined to be the time variable angle between the source and the sun. However sources that lie within 10 degrees of the ecliptic poles can be observed throughout the year and observations are not restricted to narrow temporal windows. Furthermore, the best ground-based uv-coverages are obtained for circumpolar sources and consequently these will be the sources for which the maximum amount of space VLBI data will be obtained with a given ground array. We have began a VSOP monitoring campaign at 5 GHz on the relatively low redshift (z=0.3) superluminal quasar 1928+738 which is both a circumpolar source and lies 10 degrees away from the ecliptic pole. 1928+738 is in the S5 polar cap sample and has been well studied both on the arsecond-scale and mas-scale. 22 GHz observations have shown that the motion of the VLBI components in 1928+738 is inconsistent with simple linear expansion along a fixed position angle (PA) for all components. Indeed, 1928+738 was one of the first sources for which helical jet motion was proposed and it has been further proposed that a massive binary black hole (MBBH) system is responsible for the sinusoidal jet ridge line observed at 22 GHz over a S year period. our VSOP observations are designed to check this proposal.

Murphy, D. W.↗

Propulsion Health Management System Development for Affordable and Reliable Operation of Space Exploration Systems

The constraints of future Exploration Missions will require unique integrated system health management capabilities throughout the mission. An ambitious launch schedule, human-rating requirements, long quiescent periods, limited human access for repair or replacement, and long communication delays, all require an integrated approach to health management that can span distinct, yet interdependent vehicle subsystems, anticipate failure states, provide autonomous remediation and support the Exploration Mission from beginning to end. Propulsion is a critical part of any space exploration mission, and monitoring the health of the propulsion system is an integral part of assuring mission safety and success. Health management is a somewhat ubiquitous technology that encompasses a large spectrum of physical components and logical processes. For this reason, it is essential to develop a systematic plan for propulsion health management system development. This paper provides a high-level perspective of propulsion health management systems, and describes a logical approach for the future planning and early development that are crucial to planned space exploration programs. It also presents an overall approach, or roadmap, for propulsion health management system development and a discussion of the associated roadblocks and challenges.

Melcher, Kevin J.↗

Leadership in Space: Selected Speeches of NASA Administrator Michael Griffin, May 2005 - October 2008

Speech topics include: Leadership in Space; Space Exploration: Real and Acceptable Reasons; Why Explore Space?; Space Exploration: Filling up the Canvas; Continuing the Voyage: The Spirit of Endeavour; Incorporating Space into Our Economic Sphere of Influence; The Role of Space Exploration in the Global Economy; Partnership in Space Activities; International Space Cooperation; National Strategy and the Civil Space Program; What the Hubble Space Telescope Teaches Us about Ourselves; The Rocket Team; NASA's Direction; Science and NASA; Science Priorities and Program Management; NASA and the Commercial Space Industry; NASA and the Business of Space; American Competitiveness: NASA's Role & Everyone's Responsibility; Space Exploration: A Frontier for American Collaboration; The Next Generation of Engineers; System Engineering and the "Two Cultures" of Engineering; Generalship of Engineering; NASA and Engineering Integrity; The Constellation Architecture; Then and Now: Fifty Years in Space; The Reality of Tomorrow; and Human Space Exploration: The Next 50 Years.

Griffin, Michael↗

Orion Service Module Reaction Control System Plume Impingement Analysis Using PLIMP/RAMP2

The Orion Crew Exploration Vehicle Service Module Reaction Control System engine plume impingement was computed using the plume impingement program (PLIMP). PLIMP uses the plume solution from RAMP2, which is the refined version of the reacting and multiphase program (RAMP) code. The heating rate and pressure (force and moment) on surfaces or components of the Service Module were computed. The RAMP2 solution of the flow field inside the engine and the plume was compared with those computed using GASP, a computational fluid dynamics code, showing reasonable agreement. The computed heating rate and pressure using PLIMP were compared with the Reaction Control System plume model (RPM) solution and the plume impingement dynamics (PIDYN) solution. RPM uses the GASP-based plume solution, whereas PIDYN uses the SCARF plume solution. Three sets of the heating rate and pressure solutions agree well. Further thermal analysis on the avionic ring of the Service Module showed that thermal protection is necessary because of significant heating from the plume.

Wang, Xiao-Yen J.↗

Orion Service Module Reaction Control System Plume Impingement Analysis Using PLIMP/RAMP2

The Orion Crew Exploration Vehicle Service Module Reaction Control System engine plume impingement was computed using the plume impingement program (PLIMP). PLIMP uses the plume solution from RAMP2, which is the refined version of the reacting and multiphase program (RAMP) code. The heating rate and pressure (force and moment) on surfaces or components of the Service Module were computed. The RAMP2 solution of the flow field inside the engine and the plume was compared with those computed using GASP, a computational fluid dynamics code, showing reasonable agreement. The computed heating rate and pressure using PLIMP were compared with the Reaction Control System plume model (RPM) solution and the plume impingement dynamics (PIDYN) solution. RPM uses the GASP-based plume solution, whereas PIDYN uses the SCARF plume solution. Three sets of the heating rate and pressure solutions agree well. Further thermal analysis on the avionic ring of the Service Module was performed using MSC Patran/Pthermal. The obtained temperature results showed that thermal protection is necessary because of significant heating from the plume.

Wang, Xiao-Yen↗

Autonomous Ocean World Exploration: Advancement of a Virtual Testbed

The search for life (extinct or extant) and potentially habitable bodies in our solar system and beyond is one of the 12 priority science questions outlined in the National Acadamies’ 2022 decadal survey [5]. Extraterrestrial destinations containing liquid water present an opportunity to search for life as we know it, and in recent years an increasing number of such locations have been discovered within our solar system. Several Jovian moons—Europa, Ganymede, and Callisto [10]—and the Saturnian moons Enceladus [8] and Titan [9] are known or suspected to harbor massive subsurface oceans. Of these "ocean worlds", Europa is the focus of at least one planned NASA orbiter mission, Europa Clipper [4], and an early lander mission concept, the Europa Lander [2, 3]. Whereas most robotic missions to the Moon and Mars (e.g. orbiters, rovers, landers) to date have had ground controllers on Earth tightly involved in mission operations, missions to more distant worlds will require a high degree of onboard autonomy due to long communication lags and blackouts, harsh environments (radiation, cold), and more limited battery and hardware life. The past decade has seen great advances in both AI technologies and computing scalability and performance that offer promising solutions for spacecraft autonomy and motivate the software system and research programs described in this paper. The Ocean Worlds Autonomy Testbed for Exploration, Research, and Simulation (OceanWATERS) [1], which has been in development at the NASA Ames Research Center since 2018, is a virtual environment for testing lander autonomy solutions. It is built on the Robot Operating System (ROS), runs on consumer-grade Linux workstations, and was released as open source in 2020. OceanWATERS provides a physical and visual simulation of a prototypical lander in a Europa-like environment (Figure 1). The lander was modeled after requirements and specifications made in JPL’s Europa Lander Study of 2016 [3]. Simulated lander systems include stereo cameras and spotlights mounted on an antenna mast that pans and tilts, a 6 degrees of freedom (DoF) robotic arm with a force-torque sensor and two interchangeable end effectors, and a battery pack power system. The environment consists of multiple terrain models including a highly detailed model sourced from the FROST dataset [11], simulation of surrounding planetary bodies based on an ephemeris model, and lighting from the sun with associated surface illumination, reflectance, and shadows. Operations supported by OceanWATERS include panoramic and directed imaging of the environment and lander workspace, Cartesian and joint-level arm commanding, grinding of the terrain surface (e.g. digging a trench), and scooping of ground material (Figure 2) which can be discarded or collected as science samples in a receptacle that can be emptied (science operations themselves are not simulated). These operations are realized as ROS Actions and are complimented by a wide selection of telemetry that is continually produced by each lander subsystem. The power system model is driven by the open-source Generic Software Architecture for Prognostics (GSAP) [11] that predicts the battery’s remaining useful life and other characteristics. As a testbed for high-level autonomy, OceanWATERS provides an execution framework based on PLEXIL [12], an open-source plan specification language and execution engine developed largely at Ames. NASA's initial development of OceanWATERS, as well the Ocean Worlds Lander Autonomy Testbed (OWLAT) [6], a complimentary physical testbed developed at JPL, was the first step in a plan for realizing candidate onboard autonomy solutions for such planetary landers. In 2020 NASA solicited applications for its Autonomous Robotics Research for Ocean Worlds (ARROW) program, and in 2021 the similar Concepts for Ocean worlds Life Detection Technology (COLDTech) program. Collectively six research teams, based in universities and companies across the United States, were awarded grants to develop and demonstrate autonomy solutions on OceanWATERS and OWLAT. These 1–2-year projects have now finished or are nearing completion, and a wide variety of autonomy challenges in ocean world surface missions were addressed. Prototyped and demonstrated solutions have included autonomous discovery, response and adaptation to system faults and unexpected environmental events, world model synthesis through perception, plan synthesis using learned models, methods to optimize sample target selection and prioritize science data transmission, extension of PLEXIL for stochastic decision-making, and an integration of a model of JPL’s mission-ready COLDArm [7]. Technologies used in these projects include many forms of machine learning, causal reasoning, automated planning, Markov decision processes, formal methods, and other advanced techniques. A more detailed summary of the ARROW and COLDTech projects is given herein. OceanWATERS has had significant enhancements since its open-source release in 2020. Many of its new features were driven or shaped by feedback from the ARROW and COLDTech teams and requirements of their projects. In support of enabling autonomous adaptation to spacecraft faults (a specific capability solicited by both programs), a fault injection and detection framework was developed that supports a wide and growing range of fault types such as locked joints, image loss, and battery failures. The power system model was completed and integrated into the simulator, starting as a single-cell battery model and later upgraded to a multi-cell model with associated faults such as cell disconnection. Arm/terrain interaction was improved by adding a force-torque sensor and associated faults, and an analytic dig force model based on the Balovnev bucket force equations. Environment fidelity was increased by modeling terrain deformation resulting from digging and scooping; visual improvements were made in textures, lighting, and shadows. To facilitate interoperation with OWLAT, a unified command and telemetry interface between the testbeds was developed at the ROS level, along with a PLEXIL interface. The number of lander operations was greatly expanded (e.g. with Cartesian-based arm and antenna movement), and a framework was designed for users to build their own lander actions. A GUI for PLEXIL plan selection was created (Figure 3), and an expansive set of plans were added, such as those that illustrate patterns for fault handling. This paper provides a self-contained high-level description of OceanWATERS, focusing on more detailed coverage of the aforementioned enhancements. It provides a high-level summary of the projects undertaken by participants in the ARROW and COLDTech programs and how these efforts have helped shape OceanWATERS. Finally, potential future work and directions for the testbed are listed, as likely informed by the recent planetary science decadal survey [5].

K Michael Dalal↗

Applying ALARA Principles in the Design of New Radiological Facilities

The application of ALARA (As Low As Reasonably Achievable) principles to the design of new radiological facilities at Argonne National Laboratory provides a consistent radiation safety basis for future facility operations. The Department of Energy Rule 10 CFR 835 specifies design objectives to be adopted during the design of new facilities for controlling personal radiation exposure. One is to keep exposure levels below 20% of the applicable standards in 10 CFR 835.202. For a radiation worker 20% of the standard corresponds to 5 µSv hr -1 for a 2,000 hour work year. For a member of the public the DOE design objective corresponds to 0.2 mSv in a calendar year. For a new facility worst case radionuclides and their source strengths are chosen. Local shielding is specified to reduce exposure rates to less than 50 µSv hr -1 at 30 cm from the shielding. The current version MCNP6 of the Los Alamos radiation shielding computer program MCNP is then used to calculate the exposure rates elsewhere. Design modifications are made to meet the criteria. The calculations and resulting facility design modifications are discussed for two new radiological facilities.

61 RADIATION PROTECTION AND DOSIMETRY↗

A Reasoning And Hypothesis-Generation Framework Based On Scalable Graph Analytics

Finding actionable insights from data has always been difficult. As the scale and forms of data increase tremendously, the task of finding value becomes even more challenging. Data scientists at Oak Ridge National Laboratory are leveraging unique leadership infrastructure (e.g. Urika-XA and Urika-GD appliances) to develop scalable algorithms for semantic, logical and statistical reasoning with unstructured Big Data. We present the deployment of such a framework called ORiGAMI (Oak Ridge Graph Analytics for Medical Innovations) on the National Library of Medicine s SEMANTIC Medline (archive of medical knowledge since 1994). Medline contains over 70 million knowledge nuggets published in 23.5 million papers in medical literature with thousands more added daily. ORiGAMI is available as an open-science medical hypothesis generation tool - both as a web-service and an application programming interface (API) at http://hypothesis.ornl.gov . Since becoming an online service, ORIGAMI has enabled clinical subject-matter experts to: (i) discover the relationship between beta-blocker treatment and diabetic retinopathy; (ii) hypothesize that xylene is an environmental cancer-causing carcinogen and (iii) aid doctors with diagnosis of challenging cases when rare diseases manifest with common symptoms. In 2015, ORiGAMI was featured in the Historical Clinical Pathological Conference in Baltimore as a demonstration of artificial intelligence to medicine, IEEE/ACM Supercomputing and recognized as a Centennial Showcase Exhibit at the Radiological Society of North America (RSNA) Conference in Chicago. The final paper will describe the workflow built for the Cray Urika-XA and Urika-GD appliances that is able to reason with the knowledge of every published medical paper every time a clinical researcher uses the tool.

graph analytics↗

Qualitative and quantitative reasoning about thermodynamics

One goal of qualitative physics is to capture the tacit knowledge of engineers and scientists. It is shown how Qualitative Process theory can be used to express concepts of engineering thermodynamics. In particular, it is shown how to integrate qualitative and quantitative knowledge to solve textbook problems involving thermodynamic cycles, such as gas turbine plants and steam power plants. These ideas were implemented in a program called SCHISM. Its analysis of a sample textbook problem is described and plans for future work are discussed.

Skorstad, Gordon↗

Authentication Without Secrets

This work examines a new approach to authentication, which is the most fundamental security primitive that underpins all cyber security protections. Current Internet authentication techniques require the protection of one or more secret keys along with the integrity protection of the algorithms/computations designed to prove possession of the secret without actually revealing it. Protecting a secret requires physical barriers or encryption with yet another secret key. The reason to strive for "Authentication without Secret Keys" is that protecting secrets (even small ones only kept in a small corner of a component or device) is much harder than protecting the integrity of information that is not secret. Promising methods are examined for authentication of components, data, programs, network transactions, and/or individuals. The successful development of authentication without secret keys will enable far more tractable system security engineering for high exposure, high consequence systems by eliminating the need for brittle protection mechanisms to protect secret keys (such as are now protected in smart cards, etc.). This paper is a re-release of SAND2009-7032 with new figures numerous edits.

Pierson, Lyndon G.↗

Technical and Programmatic Consequences of a Hypersonic Vehicle Flight Test Ban

The hypersonic vehicle (HV) is defined as any vehicle capable of traveling at or above five times the local speed of sound (Mach 5). Development of hypersonic flight has been pursued since the late 1950s, especially for reentry of missile warheads and returning orbiting spacecraft. Although considerable progress has been made since then, air- breathing and gliding hypersonic flight remains in the development and testing phase. Concerns have been raised, however, about continued HV flight tests because of HV's potential military use, which has the potential to encourage hair-trigger tactics that would increase crisis instability. In recent years, non-governmental organizations have called for a ban on HV flight testing for the primary purpose of halting continued development of the HV as a weapon. The emphasis on banning flight tests is due to its vital role in aerospace programs. Without it, significant technical uncertainties remain, creating safety and reliability issues that would discourage commercial development. Although the cost and time involved in flight tests have already spurred the use of other test methods, none can completely reproduce the flight test environment. Flight tests are important for reasons such as generating data unique to flight test environments to use in validating models and verifying ground test data, identifying unanticipated problems, and reducing risk. Commercial HV technology development today depends on advancements in four areas: propulsion; aerodynamics; critical guidance, navigation and control; and thermal management. This report summarizes the ramifications on HV technology development if flight tests were banned.

42 ENGINEERING↗

An assessment of the benefits of the use of NASA developed fuel conservative technology in the US commercial aircraft fleet

Cost and benefits of a fuel conservative aircraft technology program proposed by NASA are estimated. NASA defined six separate technology elements for the proposed program: (a) engine component improvement (b) composite structures (c) turboprops (d) laminar flow control (e) fuel conservative engine and (f) fuel conservative transport. There were two levels postulated: The baseline program was estimated to cost $490 million over 10 years with peak funding in 1980. The level two program was estimated to cost an additional $180 million also over 10 years. Discussions with NASA and with representatives of the major commercial airframe manufacturers were held to estimate the combinations of the technology elements most likely to be implemented, the potential fuel savings from each combination, and reasonable dates for incorporation of these new aircraft into the fleet.

Source record↗

A photometric study of the Orion OB 1 association. 1: Observational data

An extensive catalog of observational data is presented for stars in the region of the young stellar association Orion OB 1. In addition to new photoelectric observations obtained on the uvbyB and UBV systems, photoelectric and spectroscopic data were compiled for the stars observed and for several bright members of the association having available photometric indices. Mean weighted values were computed for the uvbyB and UBV data and are tabulated in summary tables which include all references for individual values. These tables are expected to be reasonably complete for association members earlier than spectral type A0. From an analysis of currently available proper motion, radial velocity, and photometric data, membership criteria were derived and qualitative membership probabilities for 526 stars were summarized. A set of charts is included for assistance in identification of the program stars in all regions of the association.

Warren, W. H., Jr.↗

General design method for 3-dimensional, potential flow fields. Part 2: Computer program DIN3D1 for simple, unbranched ducts

The general design method for three-dimensional, potential, incompressible or subsonic-compressible flow developed in part 1 of this report is applied to the design of simple, unbranched ducts. A computer program, DIN3D1, is developed and five numerical examples are presented: a nozzle, two elbows, an S-duct, and the preliminary design of a side inlet for turbomachines. The two major inputs to the program are the upstream boundary shape and the lateral velocity distribution on the duct wall. As a result of these inputs, boundary conditions are overprescribed and the problem is ill posed. However, it appears that there are degrees of compatibility between these two major inputs and that, for reasonably compatible inputs, satisfactory solutions can be obtained. By not prescribing the shape of the upstream boundary, the problem presumably becomes well posed, but it is not clear how to formulate a practical design method under this circumstance. Nor does it appear desirable, because the designer usually needs to retain control over the upstream (or downstream) boundary shape. The problem is further complicated by the fact that, unlike the two-dimensional case, and irrespective of the upstream boundary shape, some prescribed lateral velocity distributions do not have proper solutions.

Stanitz, J. D.↗

Recent developments in high performance planar solar array technology

The NASA-OAST high performance solar array program is described. The rationale for this effort, its objectives and strategy, as well as progress made during the past 5 years, are discussed. It is shown that welded, ultrathin silicon solar cell array blankets are on the verge of technical readiness. It is argued that the most reasonable approach to achieving more significant performance improvements (to about 300 W/kg) involves the development of a higher efficiency (16-18 percent AM0) solar cell and a lightweight, efficient structure.

Scott-Monck, J.↗

Towards automatic Markov reliability modeling of computer architectures

The analysis and evaluation of reliability measures using time-varying Markov models is required for Processor-Memory-Switch (PMS) structures that have competing processes such as standby redundancy and repair, or renewal processes such as transient or intermittent faults. The task of generating these models is tedious and prone to human error due to the large number of states and transitions involved in any reasonable system. Therefore model formulation is a major analysis bottleneck, and model verification is a major validation problem. The general unfamiliarity of computer architects with Markov modeling techniques further increases the necessity of automating the model formulation. This paper presents an overview of the Automated Reliability Modeling (ARM) program, under development at NASA Langley Research Center. ARM will accept as input a description of the PMS interconnection graph, the behavior of the PMS components, the fault-tolerant strategies, and the operational requirements. The output of ARM will be the reliability of availability Markov model formulated for direct use by evaluation programs. The advantages of such an approach are (a) utility to a large class of users, not necessarily expert in reliability analysis, and (b) a lower probability of human error in the computation.

Liceaga, C. A.↗