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.

SourceResearch connectionFrom yearThrough year

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

At least 145 records · Page 8

All sources NASA NTRS DOE OSTI

DOE OSTI2015

Design and testing of the first 2D Prototype Vertically Integrated Pattern Recognition Associative Memory

An associative memory-based track finding approach has been proposed for a Level 1 tracking trigger to cope with increasing luminosities at the LHC. The associative memory uses a massively parallel architecture to tackle the intrinsically complex combinatorics of track finding algorithms, thus avoiding the typical power law dependence of execution time on occupancy and solving the pattern recognition in times roughly proportional to the number of hits. This is of crucial importance given the large occupancies typical of hadronic collisions. The design of an associative memory system capable of dealing with the complexity of HL-LHC collisions and with the short latency required by Level 1 triggering poses significant, as yet unsolved, technical challenges. For this reason, an aggressive R&D program has been launched at Fermilab to advance state of-the-art associative memory technology, the so called VIPRAM (Vertically Integrated Pattern Recognition Associative Memory) project. The VIPRAM leverages emerging 3D vertical integration technology to build faster and denser Associative Memory devices. The first step is to implement in conventional VLSI the associative memory building blocks that can be used in 3D stacking, in other words, the building blocks are laid out as if it is a 3D design. In this paper, we report on the first successful implementation of a 2D VIPRAM demonstrator chip (protoVIPRAM00). The results show that these building blocks are ready for 3D stacking.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

NASA NTRS1972

Evaluation of human engineering design standard (MSFC-STD-267A) in the design of manned space vehicles

The major conclusion of the detailed examination of the human factors engineering design standard is that it is unsuitable for future spacecraft design. The standard, published in 1966, was not intended to be a zero or reduced gravity standard and was directed primarily toward ground support equipment and technology. Futhermore, ambiguities, conflicts, and unenforceable requirements contribute to the difficulty. The role of man in future space missions and its impact on human engineering standards are also discussed, and it is concluded that greater standardization is vital to the success of future missions. A survey of NASA/MSFC contractors was made, and it was found that MSFC-STD-267A is largely ignored and the most significant problems are inaccessibility and nonspecificity of the data. The resistance of contract management and designer and of program managers is a primary reason for poor human engineering design. Specific recommendations for improvement of format and organization, including an interim solution, are given.

Rogers, J. G.↗

NASA NTRS1983

Assessment of the environmental aspects of the DOE phosphoric acid fuel cell program

The likely facets of a nationwide phosphoric acid fuel cell (PAFC) power plant commercial system are described. The beneficial and adverse environmental impacts produced by the system are assessed. Eleven specific system activities are characterized and evaluated. Also included is a review of fuel cell technology and a description of DOE's National Fuel Cell Program. Based on current and reasonably foreseeable PAFC characteristics, no environmental or energy impact factor was identified that would significantly inhibit the commercialization of PAFC power plant technology.

Lundblad, H. L.↗

NASA NTRS1991

Slave finite element for non-linear analysis of engine structures. Volume 2: Programmer's manual and user's manual

The programming aspects of SFENES are described in the User's Manual. The information presented is provided for the installation programmer. It is sufficient to fully describe the general program logic and required peripheral storage. All element generated data is stored externally to reduce required memory allocation. A separate section is devoted to the description of these files thereby permitting the optimization of Input/Output (I/O) time through efficient buffer descriptions. Individual subroutine descriptions are presented along with the complete Fortran source listings. A short description of the major control, computation, and I/O phases is included to aid in obtaining an overall familiarity with the program's components. Finally, a discussion of the suggested overlay structure which allows the program to execute with a reasonable amount of memory allocation is presented.

Witkop, D. L.↗

NASA NTRS1991

Putting time into proof outlines

A logic for reasoning about timing of concurrent programs is presented. The logic is based on proof outlines and can handle maximal parallelism as well as resource-constrained execution environments. The correctness proof for a mutual exclusion protocol that uses execution timings in a subtle way illustrates the logic in action.

Schneider, Fred B.↗

NASA NTRS1989

User interface support

Space construction will require heavy investment in the development of a wide variety of user interfaces for the computer-based tools that will be involved at every stage of construction operations. Using today's technology, user interface development is very expensive for two reasons: (1) specialized and scarce programming skills are required to implement the necessary graphical representations and complex control regimes for high-quality interfaces; (2) iteration on prototypes is required to meet user and task requirements, since these are difficult to anticipate with current (and foreseeable) design knowledge. We are attacking this problem by building a user interface development tool based on extensions to the spreadsheet model of computation. The tool provides high-level support for graphical user interfaces and permits dynamic modification of interfaces, without requiring conventional programming concepts and skills.

Lewis, Clayton↗

NASA NTRS2000

The X2000 Program: An Institutional Approach to Enabling Smaller Spacecraft

NASA's X2000 Program is important for many reasons - It develops the technology that will enable new types of deep space space exploration - It is a new, faster and cheaper process for technology infusion into NASA missions - It transfers these capabilities to US industry so they are available for future spacecraft. Many of these new capabilities are relevant to Earth missions as well X2000 will work with the NASA Goddard Space Flight Center (and others) to help make these capabilities available to a larger community.

Deutsch, Les↗

NASA NTRS2003

Origin of Dips in 4U1915-05

This grant supported our participation in a proposal submitted by Didier Barret to conduct a study of the dipping LMXB 4U1915-05. In this Final Report, we summarize the Scientific Objectives of this investigation and the results achieved. Data analysis is still in progress and publication of results will be forthcoming.Our objectives in this work have been to study: 1. Spectra of dips in 4 Ul916-05: This low mass x-ray binary (LMXB) is a 50min binary system and the first to show x-ray dip behaviour. Our XMM observation was proposed to study the x-ray spectra of the dips to better constrain their physical properties. Of primary interest is the variation of the absorbing column density as a function of flux in the dip. We wish to isolate the absorption from Compton scattering components in the dip spectra, and to use the large throughput of XMM to better constrain short timescale variations of the spectrum in the dips. 2. Period of the dips and long-term ephemeris: We also seek to improve upon the long- term ephemeris of the dips by combining these more recent XMM data with earlier RXTE data to update the ephemeris for dips and the determination of the dip period to further test whether the dip period represents the true binary period of this LMXB. We shall extend the ephemeris published by Chou, Grindlay and Bloser 2001, ApJ, 549, 1135) to test the assertion of Retter, Chou et a1 2002, MNRAS, 330, 37 that the dips are indeed the binary period and not a precession period. 1 3 Results Achieved The observations for this program were delayed, presumably for reasons related to the general difficulty of scheduling XMM targets in this region moderately close to the Cygnus region. 4'171916-05 was finally observed (2lksec) on April 24, 2002, but the data have not been delivered. A second observation was conducted on September 9, 2002 (18ksec) and the data are still being analyzed. 4 Papers Presented and Published A paper is in preparation for Astronomy and Astrophysics in which the full results of this investigation will be reported. 1. Barret, D. et a1 2003, Astron. and Astophys.,in press. 2

Grindlay, Jonathan E.↗

NASA NTRS2012

A Proposed Strategy for the U.S. to Develop and Maintain a Mainstream Capability Suite ("Warehouse") for Automated/Autonomous Rendezvous and Docking in Low Earth Orbit and Beyond

The ability of space assets to rendezvous and dock/capture/berth is a fundamental enabler for numerous classes of NASA fs missions, and is therefore an essential capability for the future of NASA. Mission classes include: ISS crew rotation, crewed exploration beyond low-Earth-orbit (LEO), on-orbit assembly, ISS cargo supply, crewed satellite servicing, robotic satellite servicing / debris mitigation, robotic sample return, and robotic small body (e.g. near-Earth object, NEO) proximity operations. For a variety of reasons to be described, NASA programs requiring Automated/Autonomous Rendezvous and Docking/Capture/Berthing (AR&D) capabilities are currently spending an order-of-magnitude more than necessary and taking twice as long as necessary to achieve their AR&D capability, "reinventing the wheel" for each program, and have fallen behind all of our foreign counterparts in AR&D technology (especially autonomy) in the process. To ensure future missions' reliability and crew safety (when applicable), to achieve the noted cost and schedule savings by eliminate costs of continually "reinventing the wheel ", the NASA AR&D Community of Practice (CoP) recommends NASA develop an AR&D Warehouse, detailed herein, which does not exist today. The term "warehouse" is used herein to refer to a toolbox or capability suite that has pre-integrated selectable supply-chain hardware and reusable software components that are considered ready-to-fly, low-risk, reliable, versatile, scalable, cost-effective, architecture and destination independent, that can be confidently utilized operationally on human spaceflight and robotic vehicles over a variety of mission classes and design reference missions, especially beyond LEO. The CoP also believes that it is imperative that NASA coordinate and integrate all current and proposed technology development activities into a cohesive cross-Agency strategy to produce and utilize this AR&D warehouse. An initial estimate indicates that if NASA strategically coordinates the development of a robust AR&D capability across the Agency, the cost of implementing AR&D on a spacecraft could be reduced from roughly $70M per mission to as low as $7M per mission, and the associated development time could be reduced from 4 years to 2 years, after the warehouse is completely developed. Table 1 shows the clear long-term benefits to the Agency in term of costs and schedules for various missions. (The methods used to arrive at the Table 1 numbers is presented in Appendices A and B.)

Krishnakumar, Kalmanje S.↗

DOE OSTI2015

Aging of elastomeric seals for storage casks - 15080

Elastomeric seals are used in many containers, including casks for radioactive waste. However, like all polymers, elastomers are prone to aging, which leads to a loss of sealing force and the ability for recovery which can ultimately result in leakage. Therefore it is important to be able to define an end-of-lifetime criterion and to judge the lifetime of elastomeric seals. For this reason, we started an aging program on three kinds of rubbers (HNBR, EPDM, FKM), monitoring the change of properties at four different aging temperatures over extended periods up to five years. The measured data is used for lifetime prediction by applying a suitable model. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

NASA NTRS1972

The systematic evolution of a NASA software technology, Appendix C

A long range program is described whose ultimate purpose is to make possible the production of software in NASA within predictable schedule and budget constraints and with major characteristics such as size, run-time, and correctness predictable within reasonable tolerances. As part of the program a pilot NASA computer center will be chosen to apply software development and management techniques systematically and determine a set which is effective. The techniques will be developed by a Technology Group, which will guide the pilot project and be responsible for its success. The application of the technology will involve a sequence of NASA programming tasks graduated from simpler ones at first to complex systems in late phases of the project. The evaluation of the technology will be made by monitoring the operation of the software at the users' installations. In this way a coherent discipline for software design, production maintenance, and management will be evolved.

Deregt, M. P.↗

NASA NTRS1978

Space Industrialization. Volume 2: Opportunities, Markets and Programs

The nature of space industrialization and the reasons for its promotion are examined. Increases in space industry activities to be anticipated from 1980 to 2010 are assessed. A variety of future scenarios against which space industrialization could evolve were developed and the various industrial opportunities that might constitute that evolution were defined. The needs and markets of industry activities were quantitatively and qualitatively assessed and messed. The various hardware requirements vs. time (space industry programs) as space industrialization evolves are derived and analyzed.

Source record↗

DOE OSTI2012

Geothermal Brief: Market and Policy Impacts Update

Utility-scale geothermal electricity generation plants have generally taken advantage of various government initiatives designed to stimulate private investment. This report investigates these initiatives to evaluate their impact on the associated cost of energy and the development of geothermal electric generating capacity using conventional hydrothermal technologies. We use the Cost ofRenewable Energy Spreadsheet Tool (CREST) to analyze the effects of tax incentives on project economics. Incentives include the production tax credit, U.S. Department of Treasury cash grant, the investment tax credit, and accelerated depreciation schedules. The second half of the report discusses the impact of the U.S. Department of Energy's (DOE) Loan Guarantee Program on geothermal electricproject deployment and possible reasons for a lack of guarantees for geothermal projects. For comparison, we examine the effectiveness of the 1970s DOE drilling support programs, including the original loan guarantee and industry-coupled cost share programs.

15 GEOTHERMAL ENERGY↗

NASA NTRS1995

Automated Performance Prediction of Message-Passing Parallel Programs

The increasing use of massively parallel supercomputers to solve large-scale scientific problems has generated a need for tools that can predict scalability trends of applications written for these machines. Much work has been done to create simple models that represent important characteristics of parallel programs, such as latency, network contention, and communication volume. But many of these methods still require substantial manual effort to represent an application in the model's format. The NIK toolkit described in this paper is the result of an on-going effort to automate the formation of analytic expressions of program execution time, with a minimum of programmer assistance. In this paper we demonstrate the feasibility of our approach, by extending previous work to detect and model communication patterns automatically, with and without overlapped computations. The predictions derived from these models agree, within reasonable limits, with execution times of programs measured on the Intel iPSC/860 and Paragon. Further, we demonstrate the use of MK in selecting optimal computational grain size and studying various scalability metrics.

Block, Robert J.↗

NASA NTRS2007

The Need for an Aerospace Pharmacy Residency

This viewgraph poster presentation reviews the rationale for a call for a new program in residency for aerospace pharmacy. Aerospace medicine provides a unique twist on traditional medicine, and a specialty has evolved to meet the training for physicians, and it is becoming important to develop such a program for training in pharmacy designed for aerospace. The reasons for this specialist training are outlined and the challenges of developing a program are reviewed.

Bayuse, T.↗

NASA NTRS1989

LOX/Hydrocarbon Combustion Instability Investigation

The LOX/Hydrocarbon Combustion Instability Investigation Program was structured to determine if the use of light hydrocarbon combustion fuels with liquid oxygen (LOX) produces combustion performance and stability behavior similar to the LOX/hydrogen propellant combination. In particular methane was investigated to determine if that fuel can be rated for combustion instability using the same techniques as previously used for LOX/hydrogen. These techniques included fuel temperature ramping and stability bomb tests. The hot fire program probed the combustion behavior of methane from ambient to subambient temperatures. Very interesting results were obtained from this program that have potential importance to future LOX/methane development programs. A very thorough and carefully reasoned documentation of the experimental data obtained is contained. The hot fire test logic and the associated tests are discussed. Subscale performance and stability rating testing was accomplished using 40,000 lb. thrust class hardware. Stability rating tests used both bombs and fuel temperature ramping techniques. The test program was successful in generating data for the evaluation of the methane stability characteristics relative to hydrogen and to anchor stability models. Data correlations, performance analysis, stability analyses, and key stability margin enhancement parameters are discussed.

Jensen, R. J.↗

NASA NTRS1996

Active Control of Fan Noise: Feasibility Study: Numerical Computation of Acoustic Mode Reflection Coefficients for an Unflanged Cylindrical Duct - Volume 5

A computational method to predict modal reflection coefficients in cylindrical ducts has been developed based on the work of Homicz, Lordi, and Rehm, which uses the Wiener-Hopf method to account for the boundary conditions at the termination of a thin cylindrical pipe. The purpose of this study is to develop a computational routine to predict the reflection coefficients of higher order acoustic modes impinging on the unflanged termination of a cylindrical duct. This effort was conducted wider Task Order 5 of the NASA Lewis LET Program, Active Noise Control of aircraft Engines: Feasibility Study, and will be used as part of the development of an integrated source noise, acoustic propagation, ANC actuator coupling, and control system algorithm simulation. The reflection coefficient prediction will be incorporated into an existing cylindrical duct modal analysis to account for the reflection of modes from the duct termination. This will provide a more accurate, rapid computation design tool for evaluating the effect of reflected waves on active noise control systems mounted in the duct, as well as providing a tool for the design of acoustic treatment in inlet ducts. As an active noise control system design tool, the method can be used preliminary to more accurate but more numerically intensive acoustic propagation models such as finite element methods. The resulting computer program has been shown to give reasonable results, some examples of which are presented. Reliable data to use for comparison is scarce, so complete checkout is difficult, and further checkout is needed over a wider range of system parameters. In future efforts the method will be adapted as a subroutine to the GEAE segmented cylindrical duct modal analysis program.

Kraft, R. E.↗

NASA NTRS2005

Software for Optimizing Plans Involving Interdependent Goals

A computer program enables construction and optimization of plans for activities that are directed toward achievement of goals that are interdependent. Goal interdependence is defined as the achievement of one or more goals affecting the desirability or priority of achieving one or more other goals. This program is overlaid on the Automated Scheduling and Planning Environment (ASPEN) software system, aspects of which have been described in a number of prior NASA Tech Briefs articles. Unlike other known or related planning programs, this program considers interdependences among goals that can change between problems and provides a language for easily specifying such dependences. Specifications of the interdependences can be formulated dynamically and provided to the associated planning software as part of the goal input. Then an optimization algorithm provided by this program enables the planning software to reason about the interdependences and incorporate them into an overall objective function that it uses to rate the quality of a plan under construction and to direct its optimization search. In tests on a series of problems of planning geological experiments by a team of instrumented robotic vehicles (rovers) on new terrain, this program was found to enhance plan quality.

Estlin, Tara↗