SEARCH · Search NASA
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.
The International Space Station Systems Engineering and Integration Office is responsible for the Multilateral International Space Station (ISS) and ISS Visiting Vehicle Jettison Policy, the Partner Program Directive on jettisoning objects from the ISS and Visiting Vehicles to/from the ISS.
Symbolic execution is a program analysis technique that is used for many purposes, one of which is test-case generation. For loop-free programs, this generates a test-set that achieves path coverage. Program loops, however, imply exponential growth of the number of paths in the best case and non-termination in the worst case. In practice, the number of loop unwindings needs to be bounded for analysis. We consider symbolic execution in the context of the tool Symbolic Pathfinder. This tool extends the model-checker Java Pathfinder and relies on its bounded state-space exploration for termination. We present an implementation of k-bounded loop unwinding, which increases the amount of user-control over the symbolic execution of loops. Bounded unwinding can be viewed as a naive way to prune paths through loops. When using symbolic execution for test-case generation, naively pruning paths is likely at the cost of coverage. In order to improve coverage of branches within a loop body, we present a technique that semi-automatically concretizes variables used in a loop. The basic technique is limited and we therefore present annotations to manually steer symbolic execution towards certain branches, as well as ideas on how the technique can be extended to be more widely applicable.
Report presents practical information for incorporating particle impact protection features and average total pressure measurement into probe design while optimizing probe transient response. Computer program calculates probe response, based on Bergh-Tijdeman equation.
Description of an efficient digital computer method for the determination of the propagation of elastic stresses and deformations in certain geometrically nonlinear structures subjected to high impact loading. The finite-element matrix displacement approach utilizing curved quadrilateral shell elements in conjunction with a nodewise predictor-corrector method employing Runge-Kutta extrapolation techniques has been adopted for the present solution. The related computer program written in FORTRAN V for the UNIVAC 1108 computer has proved to be effective for the solution of a range of practical problems including rectangular and cylindrical panels. Numerical results are presented for a relevant structure, the cell container, and the negative electrode of an impact-resistant battery subjected to high impact, simulating its free landing on a planetary surface.
A spectrum of plans has been prepared to illustrate the range of practical sharing possibilities available so as to assist Ames Research Center (ARC) and European Space Research Organization (ESRO) in selection of a program meeting mutual goals. Five plans are described showing increased participation by ESRO WITH ascending plan number. Each of these has sharing properties fulfilling particular requirements such as available ESRO budget level, extent of ESRO program responsibility, matching particular ESRO capability, and cost saving to ARC through sharing. All plans apply to orbiter sharing only. A sharing plan based on the model Plan 4 may offer the most attractive division of Pioneer Venus between ARC and ESRO. This plan allows ESRO to bear primary responsibility for the orbiter and to avoid an extensive financial burden. Savings to ARC are commensurate with ARC loss of program control. Duplication of effort is avoided by using orbiter subsystems that are common to the probe bus and orbiter.
The multispectral scanner capabilities of LANDSAT 1 were tested over California's Monterey Bay area and portions of the San Joaquin Valley. Using both computer aided and image interpretive processing techniques, the LANDSAT 1 data were analyzed to determine their potential application in terms of land use and agriculture. Utilizing LANDSAT 1 data, analysts were able to provide the identifications and areal extent of the individual land use categories ranging from very general to highly specific levels (e.g., from agricultural lands to specific field crop types and even the different stages of growth). It is shown that the LANDSAT system is useful in the identification of major crop species and the delineation of numerous land use categories on a global basis and that repeated surveillance would permit the monitoring of changes in seasonal growth characteristics of crops as well as the assessment of various cultivation practices with a minimum of onsite observation. The LANDSAT system is demonstrated to be useful in the planning and development of resource programs on earth.
The supporting research and technology, and space demonstrations required to support the 1990s operational geostationary platforms are identified. Also the requirements on and interfaces with the Space Transportation System hardware elements supporting the geostationary platform program, including the shuttle, orbital transfer vehicles, teleoperator, etc., are investigated to provide integrated support requirements. Finally, a preliminary evaluation of the practicability and capabilities of an experimental platform from the standpoint of technology, schedule, and cost is given.
The process of connecting task descriptions originating from machine intelligence planning programs to the mechanization of feedback control of robot arms is analyzed. It is shown in this paper that control theories and practices can be extended to a higher level where feedback control of robot arms directly can respond to work space task commands provided that the work space task as a command is given in the form of a closed function of time. A general mathematical procedure using tools from differential geometry is introduced for synthesizing task space motion planning so that the planned motion can be used as a direct input to the robot arm feedback control system to achieve desired robot hand motion. By definition, 'intelligent control' is being manifested through robot performance in the task space relative to task space commands. Thus, the capability of implementing feedback control of robot arms directly driven by appropriate task descriptions in the workspace as commands is a step toward intelligent control.
The first JetStar leading edge flight test was made November 30, 1983. The JetStar was flown for more than 3 years. The titanium leading edge test articles today remain in virtually the same condition as they were in on that first flight. No degradation of laminar flow performance has occurred as a result of service. The JetStar simulated airline service flights have demonstrated that effective, practical leading edge systems are available for future commercial transports. Specific conclusions based on the results of the simulated airline service test program are summarized.
The American Society for Testing and Materials (ASTM) standard E606-80 is the most often used recommended testing practice for low-cycle-fatigue (LCF) testing in the United States. The standard was first adopted in 1977 for LCF testing at room temperature and was modified in 1980 to include high-temperature testing practices. Current activity within ASTM is aimed at extending the E606-80 recommended practices to LCF under thermomechanical conditions, LCF in high-pressure hydrogen, and LCF in metal-matrix composite materials. Interlaboratory testing programs conducted to generate a technical base for modifying E606-80 for the aforementioned LCF test types are discussed.
The American Industrial Hygiene Association (AIHA) is a society of professionals dedicated to the health and safety of workers and community. With more than 10,000 members, the AIHA is the largest international association serving occupational and environmental health professionals practicing industrial hygiene in private industry, academia, government, labor, and independent organizations. In 1973, AIHA developed a National Industrial Hygiene Laboratory Accreditation Program. The purposes of this program are shown.
The present invention is a method, system, and computer program product for implementation of a capable, general purpose compression algorithm that can be engaged on the fly. This invention has particular practical application with time-series data, and more particularly, time-series data obtained form a spacecraft, or similar situations where cost, size and/or power limitations are prevalent, although it is not limited to such applications. It is also particularly applicable to the compression of serial data streams and works in one, two, or three dimensions. The original input data is approximated by Chebyshev polynomials, achieving very high compression ratios on serial data streams with minimal loss of scientific information.
The term Integrated Vehicle Health Management (IVHM) describes a set of capabilities that enable sustainable and safe operation of components and subsystems within aerospace platforms. However, very little guidance exists for the systems engineering aspects of design with IVHM in mind. It is probably because of this that designers have to use knowledge picked up exclusively by experience rather than by established process. This motivated a group of leading IVHM practitioners within the aerospace industry under the aegis of SAE's HM-1 technical committee to author a document that hopes to give working engineers and program managers clear guidance on all the elements of IVHM that they need to consider before designing a system. This proposed recommended practice (ARP6883 [1]) will describe all the steps of requirements generation and management as it applies to IVHM systems, and demonstrate these with a "real-world" example related to designing a landing gear system. The team hopes that this paper and presentation will help start a dialog with the larger aerospace community and that the feedback can be used to improve the ARP and subsequently the practice of IVHM from a systems engineering point-of-view.
Spaceflight computing is a key resource in NASA space missions and a core determining factor of spacecraft capability, with ripple effects throughout the spacecraft, end-to-end system, and mission. Onboard computing can be aptly viewed as a "technology multiplier" in that advances provide direct dramatic improvements in flight functions and capabilities across the NASA mission classes, and enable new flight capabilities and mission scenarios, increasing science and exploration return. Space-qualified computing technology, however, has not advanced significantly in well over ten years and the current state of the practice fails to meet the near- to mid-term needs of NASA missions. Recognizing this gap, the NASA Game Changing Development Program (GCDP), under the auspices of the NASA Space Technology Mission Directorate, commissioned a study on space-based computing needs, looking out 15-20 years. The study resulted in a recommendation to pursue high-performance spaceflight computing (HPSC) for next-generation missions, and a decision to partner with the Air Force Research Lab (AFRL) in this development.
The 15th Electromagnetic and Light Scattering Conference (ELS-XV) was held in Leipzig, Germany from 21 to 26 of June 2015. This conference built on the great success of the previous meetings held in Amsterdam (1995), Helsinki(1997) [2], New York City(1998) [3], Vigo (1999),Halifax (2000), Gainesville (2002), Bremen (2003), Salobreña (2005), St. Petersburg (2006), Bodrum (2007), Hatfield (2008), Helsinki (2010), Taormina (2011), and Lille as well as the workshops held in Bremen (1996,1998) and Moscow (1997). As usual, the main objective of this conference was to bring together scientists, engineers, and PhD students studying various aspects of electromagnetic scattering and to provide a relaxed atmosphere for in-depth discussion of theory, measurements, and applications. Furthermore, ELS-XV supported the United Nations "Year of Light" and celebrated the150th anniversary of Maxwell's electromagnetics. Maxwell's paper on "A Dynamical Theory of the Electromagnetic Field" was published in1865 and has widely been acknowledged as one of the supreme achievements in the history of science. The conference was attended by136 scientists from 22 countries. The scientific program included two plenary lectures, 16 invited reviews, 88 contributed oral talks, and 70 poster presentations. The program and the abstracts of conference presentations are available at the conference website http://www.els-xv-2015.net/home.html. Following the well-established ELS practice and with Elsevier's encouragement, we solicited full-size papers for a topical issue of the Journal of Quantitative Spectroscopy and Radiative Transfer (JQSRT). The result of this collective effort is now in the reader's hands. As always, every invited review and regular paper included in this topical issue has undergone the same rigorous peer review process as any other manuscript published in the JQSRT.
Artificial Intelligence (AI) and Machine Learning (ML) have increasingly become pivotal in biological and biomedical research, largely due to the culture of open data sharing and its associated benefits. The methodologies inherent in AI/ML are particularly adept at identifying and forecasting biological phenotypes from the vast amounts of data generated by next-generation sequencing technologies. These techniques offer substantial promise for advancing research in space biosciences and for the development of automated systems for monitoring space health. Nevertheless, there are crucial aspects to consider when training, validating, and testing machine learning models in both biological research and clinical contexts. It is essential that Open Science principles, including data sharing and the availability of open-source code, are complemented by high-quality, publicly accessible training resources. These resources should focus on best practices and include modules based on real-world scientific cases and data to ensure that future AI/ML practitioners gain practical experience with genuine problems. Addressing this knowledge gap, we have designed, developed, and delivered both interactive and self-paced training programs for citizen scientists worldwide, enabling them to utilize AI/ML for space biology research. This initiative was made possible through generous funding from a Transformation to Open Science Training grant. The interactive training sessions, conducted this summer, utilized AI/ML techniques to analyze data from the Open Science Data Repository, specifically targeting the effects of spaceflight on ocular structure and function. The dataset OSD-583, from the Rodent Research 9 mission, provides experimental data detailing the ocular responses of mice subjected to a 35-day spaceflight, compared with ground control counterparts. Using OSD-583 as observational data, our summer training participants applied AI/ML methods to predict intraocular pressure from RNA-seq data and identify the genes most predictive of the observed responses. Further analysis through pathway enrichment and gene set enrichment revealed that these genes are involved in molecular and cellular processes contributing to retinal degeneration.
This assumed program was developed from several sources of information and is extrapolated over future decades using a set of reasonable assumptions based on incremental growth. The assumptions for the NASA baseline program are as follows: balanced emphasis in four domains; a constant level of activity; low to moderate real budget growth; maximum use of commonality; and realistic and practical technology development. The first domain is low Earth Orbit (LEO). Activities there are concentrated on the space station but extend on one side to Earth-pointing sensors for unmanned platforms and on the other to the launch and staging of unmanned solar system exploration missions. The second domain is geosynchronous Earth orbit (GEO) and cislunar space. Activities here include all GEO missions and operations, both unmanned and manned, and all transport of materials and crews between LEO and the vicinity of the Moon. The third domain is the Moon itself. Lunar activities are to include both orbiting and landing missions; the landings may be either unmanned or manned. The last domain is Mars. Missions to Mars will initially be unmanned but they will eventually be manned. Program elements and descriptions are discussed as are critiques of the NASA baseline.
There is little doubt that humans will attempt to explore and develop the solar system in this century. A large amount of energy will be required for accomplishing this. The need for fusion propulsion is discussed. For a propulsion system, there are three important thermodynamical attributes: (1) The absolute amount of energy available, (2) the propellant exhaust velocity, and (3) the jet power per unit mass of the propulsion system (specific power). For human exploration and development of the solar system, propellant exhaust velocity in excess of 100 km/s and specific power in excess of 10 kW/kg are required. Chemical combustion can produce exhaust velocity up to about 5 km/s. Nuclear fission processes typically result in producing energy in the form of heat that needs to be manipulated at temperatures limited by materials to about 2,800 K. Using the energy to heat a hydrogen propellant increases the exhaust velocity by only a factor of about two. Alternatively the energy can be converted into electricity which is then used to accelerate particles to high exhaust velocity. The necessary power conversion and conditioning equipment, however, increases the mass of the propulsion system for the same jet power by more than two orders of magnitude over chemical system, thus greatly limits the thrust-to-weight ratio attainable. The principal advantage of the fission process is that its development is relatively mature and is available right now. If fusion can be developed, fusion appears to have the best of all worlds in terms of propulsion - it can provide the absolute amount, the propellant exhaust velocity, and the high specific jet power. An intermediate step towards pure fusion propulsion is a bimodal system in which a fission reactor is used to provide some of the energy to drive a fusion propulsion unit. The technical issues related to fusion for space propulsion are discussed. The technical priorities for developing and applying fusion for propulsion are somewhat different from those for terrestrial electrical power generation. Thus fusion schemes that are initially attractive for electrical power generation might not necessarily be attractive also for propulsion and vice versa, though the underlying fusion science and engineering enjoy much overlap. Parallel efforts to develop these qualitatively differently fusion schemes for the two applications could benefit greatly from each other due to the synergy in the underlying physics and engineering. Pulsed approaches to fusion have not been explored to the same degree as steady-state or long-pulse approaches to fusion in the fusion power research program. The concerns early on were several. One was that the pulsed power components might not have the service lifetimes meeting the requirements of a practical power generating plant. Another was that, for many pulsed fusion schemes, it was not clear whether the destruction of hardware per pulse could be minimized or eliminated or recycled to such an extent as to make economical electrical power generation feasible, Significant development of the underlying pulsed power component technologies have occurred in the last two decades because of defense and other energy requirements. The state of development of the pulsed power technologies are sufficiently advanced now to make it compelling to visit or re-visit pulsed fusion approaches for application to propulsion where the cost of energy is not so demanding a factor as in the case of terrestrial power application. For propulsion application, the overall mass of the fusion system is the critical factor. Producing fusion reactions require extreme states of matter. Conceptually, these extreme states of matter are more readily realizable in the pulsed states, at least within appropriate bounds, than in the steady states. Significant saving in system mass may result in such systems. Magnetic fields are effective in confining plasma energy, whereas inertial compression is an effective way of heating and containing the plasma. Intensive research in developing magnetic energy containment and inertial plasma compression are being pursued in distinctively different fusion experiments in the terrestrial fusion power program. Fusion schemes that attempt to combine the favorable attributes of these two aspects into one single integrated fusion scheme appear to have benefits that are worth exploring for propulsion application.