Search NASA⌕ Search

SEARCH · Search NASA

Results for “Computational thinking”

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 19 records

Fostering Computational Thinking within Elementary Classrooms through a Research-Practice Partnership: A Strategy for Broadening Participation in Computer Science

This paper describes a research-practice partnership involving twenty elementary teachers and a support team of university researchers and K-12 learning specialists. Over five years, the partnership explored ways to highlight and to expand computational thinking within math and science instruction. The project sought to increase student awareness, confidence, and fluency with computational thinking as a problem-solving approach, with particular attention to students from groups historically underrepresented in computer science. Based on feedback from across the partnership – together with analysis of student attitude and problem-solving data – this experience report identifies successes, challenges, and recommendations for future study.

Broadening participation↗

Is thinking computable?

Strong artificial intelligence claims that conscious thought can arise in computers containing the right algorithms even though none of the programs or components of those computers understand which is going on. As proof, it asserts that brains are finite webs of neurons, each with a definite function governed by the laws of physics; this web has a set of equations that can be solved (or simulated) by a sufficiently powerful computer. Strong AI claims the Turing test as a criterion of success. A recent debate in Scientific American concludes that the Turing test is not sufficient, but leaves intact the underlying premise that thought is a computable process. The recent book by Roger Penrose, however, offers a sharp challenge, arguing that the laws of quantum physics may govern mental processes and that these laws may not be computable. In every area of mathematics and physics, Penrose finds evidence of nonalgorithmic human activity and concludes that mental processes are inherently more powerful than computational processes.

Denning, Peter J.↗

Compute as Fast as the Engineers Can Think! ULTRAFAST COMPUTING TEAM FINAL REPORT

This report documents findings and recommendations by the Ultrafast Computing Team (UCT). In the period 10-12/98, UCT reviewed design case scenarios for a supersonic transport and a reusable launch vehicle to derive computing requirements necessary for support of a design process with efficiency so radically improved that human thought rather than the computer paces the process. Assessment of the present computing capability against the above requirements indicated a need for further improvement in computing speed by several orders of magnitude to reduce time to solution from tens of hours to seconds in major applications. Evaluation of the trends in computer technology revealed a potential to attain the postulated improvement by further increases of single processor performance combined with massively parallel processing in a heterogeneous environment. However, utilization of massively parallel processing to its full capability will require redevelopment of the engineering analysis and optimization methods, including invention of new paradigms. To that end UCT recommends initiation of a new activity at LaRC called Computational Engineering for development of new methods and tools geared to the new computer architectures in disciplines, their coordination, and validation and benefit demonstration through applications.

Biedron, R. T.↗

Efficiently modeling neural networks on massively parallel computers

Neural networks are a very useful tool for analyzing and modeling complex real world systems. Applying neural network simulations to real world problems generally involves large amounts of data and massive amounts of computation. To efficiently handle the computational requirements of large problems, we have implemented at Los Alamos a highly efficient neural network compiler for serial computers, vector computers, vector parallel computers, and fine grain SIMD computers such as the CM-2 connection machine. This paper describes the mapping used by the compiler to implement feed-forward backpropagation neural networks for a SIMD (Single Instruction Multiple Data) architecture parallel computer. Thinking Machines Corporation has benchmarked our code at 1.3 billion interconnects per second (approximately 3 gigaflops) on a 64,000 processor CM-2 connection machine (Singer 1990). This mapping is applicable to other SIMD computers and can be implemented on MIMD computers such as the CM-5 connection machine. Our mapping has virtually no communications overhead with the exception of the communications required for a global summation across the processors (which has a sub-linear runtime growth on the order of O(log(number of processors)). We can efficiently model very large neural networks which have many neurons and interconnects and our mapping can extend to arbitrarily large networks (within memory limitations) by merging the memory space of separate processors with fast adjacent processor interprocessor communications. This paper will consider the simulation of only feed forward neural network although this method is extendable to recurrent networks.

Farber, Robert M.↗

Female and Male Interns and Their Mentors? Perception of Workforce Skill Development

Participants in this study were student interns and mentors taking part in the 2012, 10- week Langley Aerospace Research Student Scholars (LARSS) summer internship program in Hampton, Virginia. The study examined mentors and student interns' ratings of their preparedness in basic knowledge and skills. The study focused on three primary areas: 1) overall evaluation of knowledge and skills by mentors and interns; 2) male and female interns' perceptions of their own skills in these key areas; and 3) mentors' perceptions of their student interns' knowledge and skills in the same areas by gender. Overall mentors were more positive about their interns' improvement in 12 of 17 areas assessed than were the student interns. There were no significant gender differences in how mentors rated their male and female interns' abilities in these workforce skills, but there were four key areas where female interns rated their own abilities lower than did their male peers: analytical thinking, computational skills, computer skills and technical skills. Implications of these findings are discussed.

Hall, Cathy W.↗

From biological neural networks to thinking machines: Transitioning biological organizational principles to computer technology

The three-dimensional organization of the vestibular macula is under study by computer assisted reconstruction and simulation methods as a model for more complex neural systems. One goal of this research is to transition knowledge of biological neural network architecture and functioning to computer technology, to contribute to the development of thinking computers. Maculas are organized as weighted neural networks for parallel distributed processing of information. The network is characterized by non-linearity of its terminal/receptive fields. Wiring appears to develop through constrained randomness. A further property is the presence of two main circuits, highly channeled and distributed modifying, that are connected through feedforward-feedback collaterals and biasing subcircuit. Computer simulations demonstrate that differences in geometry of the feedback (afferent) collaterals affects the timing and the magnitude of voltage changes delivered to the spike initiation zone. Feedforward (efferent) collaterals act as voltage followers and likely inhibit neurons of the distributed modifying circuit. These results illustrate the importance of feedforward-feedback loops, of timing, and of inhibition in refining neural network output. They also suggest that it is the distributed modifying network that is most involved in adaptation, memory, and learning. Tests of macular adaptation, through hyper- and microgravitational studies, support this hypothesis since synapses in the distributed modifying circuit, but not the channeled circuit, are altered. Transitioning knowledge of biological systems to computer technology, however, remains problematical.

Ross, Muriel D.↗

Heterotrophic respiration by soil microbes in a changing climate

Soil microbes strongly influence the soil organic carbon (SOC) pool, which globally stores ~2,000 PgC. Specifically, the balance between microbial heterotrophic respiration (R H ), which degrades SOC, and plant–microbe interactions that stabilize SOC determines whether terrestrial ecosystems are a net source or sink of CO 2 to the atmosphere. Here, in this Review, we evaluate how climate change alters these competing processes. R H is approximately half of total soil respiration, at ~50 PgC yr −1 , with 70% occurring in topsoils. Warming accelerates microbial metabolism, with a 10 °C temperature increase estimated to raise R H by ~50%, an effect that is particularly strong in Arctic soils. Warming also reduces soil moisture, further modulating R H , which responds nonlinearly to soil moisture, being limited by saturation and desiccation and meeting a maximum at intermediate levels. Consequently, R H is highly sensitive to future precipitation changes and drought. However, soil management strategies could enhance SOC stocks and persistence under climate change. Bacterial and fungal inoculants can promote SOC production and stabilization, while deep-rooting plants increase SOC inputs to deeper layers that experience lower R H . Agricultural practices and biochar amendments can also enhance SOC and reduce R H . Expanding field trials across regions, climates and soil types would improve empirical understanding of these responses and support better representation of R H in predictive models, enabling more accurate assessments of climate impacts on SOC storage.

Jansson, Janet K. [Pacific Northwest National Labo↗

Analysis of composite ablators using massively parallel computation

In this work, the feasibility of using massively parallel computation to study the response of ablative materials is investigated. Explicit and implicit finite difference methods are used on a massively parallel computer, the Thinking Machines CM-5. The governing equations are a set of nonlinear partial differential equations. The governing equations are developed for three sample problems: (1) transpiration cooling, (2) ablative composite plate, and (3) restrained thermal growth testing. The transpiration cooling problem is solved using a solution scheme based solely on the explicit finite difference method. The results are compared with available analytical steady-state through-thickness temperature and pressure distributions and good agreement between the numerical and analytical solutions is found. It is also found that a solution scheme based on the explicit finite difference method has the following advantages: incorporates complex physics easily, results in a simple algorithm, and is easily parallelizable. However, a solution scheme of this kind needs very small time steps to maintain stability. A solution scheme based on the implicit finite difference method has the advantage that it does not require very small times steps to maintain stability. However, this kind of solution scheme has the disadvantages that complex physics cannot be easily incorporated into the algorithm and that the solution scheme is difficult to parallelize. A hybrid solution scheme is then developed to combine the strengths of the explicit and implicit finite difference methods and minimize their weaknesses. This is achieved by identifying the critical time scale associated with the governing equations and applying the appropriate finite difference method according to this critical time scale. The hybrid solution scheme is then applied to the ablative composite plate and restrained thermal growth problems. The gas storage term is included in the explicit pressure calculation of both problems. Results from ablative composite plate problems are compared with previous numerical results which did not include the gas storage term. It is found that the through-thickness temperature distribution is not affected much by the gas storage term. However, the through-thickness pressure and stress distributions, and the extent of chemical reactions are different from the previous numerical results. Two types of chemical reaction models are used in the restrained thermal growth testing problem: (1) pressure-independent Arrhenius type rate equations and (2) pressure-dependent Arrhenius type rate equations. The numerical results are compared to experimental results and the pressure-dependent model is able to capture the trend better than the pressure-independent one. Finally, a performance study is done on the hybrid algorithm using the ablative composite plate problem. It is found that there is a good speedup of performance on the CM-5. For 32 CPU's, the speedup of performance is 20. The efficiency of the algorithm is found to be a function of the size and execution time of a given problem and the effective parallelization of the algorithm. It also seems that there is an optimum number of CPU's to use for a given problem.

Shia, David↗

Intelligence Applied to Air Vehicles

The exponential growth in information technology has provided the potential for air vehicle capabilities that were previously unavailable to mission and vehicle designers. The increasing capabilities of computer hardware and software, including new developments such as neural networks, provide a new balance of work between humans and machines. This paper will describe several NASA projects, and review results and conclusions from ground and flight investigations where vehicle intelligence was developed and applied to aeronautical and space systems. In the first example, flight results from a neural network flight control demonstration will be reviewed. Using, a highly-modified F-15 aircraft, a NASA/Dryden experimental flight test program has demonstrated how the neural network software can correctly identify and respond to changes in aircraft stability and control characteristics. Using its on-line learning capability, the neural net software would identify that something in the vehicle has changed, then reconfigure the flight control computer system to adapt to those changes. The results of the Remote Agent software project will be presented. This capability will reduce the cost of future spacecraft operations as computers become "thinking" partners along with humans. In addition, the paper will describe the objectives and plans for the autonomous airplane program and the autonomous rotorcraft project. Technologies will also be developed.

Rosen, Robert↗

Parallel structures in human and computer memory

If one thinks of our experiences as being recorded continuously on film, then human memory can be compared to a film library that is indexed by the contents of the film strips stored in it. Moreover, approximate retrieval cues suffice to retrieve information stored in this library. One recognizes a familiar person in a fuzzy photograph or a familiar tune played on a strange instrument. A computer memory that would allow a computer to recognize patterns and to recall sequences the way humans do is constructed. Such a memory is remarkably similiar in structure to a conventional computer memory and also to the neural circuits in the cortex of the cerebellum of the human brain. It is concluded that the frame problem of artificial intelligence could be solved by the use of such a memory if one were able to encode information about the world properly.

Kanerva, P.↗

Issues for bringing digital libraries into public use

In much the same way that the field of artificial intelligence produced a cult which fervently believed that computers would soon think like human beings, the existence of electronic books has resurrected the paperless society as a utopian vision to some, an apocalyptic horror to others. In this essay we have attempted to provide realistic notions of what digital libraries are likely to become if they are a popular success. E-books are capable of subsuming most of the media we use today and have the potential for added functionality by being interactive. The environmental impact of having millions more computers will be offset to some degree, perhaps even exceeded, by the fact that televisions, stereos, VCR's, CD players, newspapers, magazines, and books will become part of the computer system or be made redundant. On the whole, large-scale use of digital libraries is likely to be a winning proposition. Whether or not this comes to pass depends on the directions taken by today's researchers and software developers. By involving the public, the effort being put into digital libraries can be leveraged into something which is big enough to make a real change for the better. If digital libraries remain the exclusive property of government, universities, and large research firms, then large parts of the world will remain without digital libraries for years to come, just as they have remained without digital phone service for far too long. If software companies try to scuttle the project by patenting crucial algorithms and using proprietary data formats, all of us will suffer. Let us reverse the errors of the past and create a truly open digital library system.

Flater, David W.↗

Parallel computing using a Lagrangian formulation

A new Lagrangian formulation of the Euler equation is adopted for the calculation of 2-D supersonic steady flow. The Lagrangian formulation represents the inherent parallelism of the flow field better than the common Eulerian formulation and offers a competitive alternative on parallel computers. The implementation of the Lagrangian formulation on the Thinking Machines Corporation CM-2 Computer is described. The program uses a finite volume, first-order Godunov scheme and exhibits high accuracy in dealing with multidimensional discontinuities (slip-line and shock). By using this formulation, a better than six times speed-up was achieved on a 8192-processor CM-2 over a single processor of a CRAY-2.

Liou, May-Fun↗

Parallel computing using a Lagrangian formulation

This paper adopts a new Lagrangian formulation of the Euler equation for the calculation of two dimensional supersonic steady flow. The Lagrangian formulation represents the inherent parallelism of the flow field better than the common Eulerian formulation and offers a competitive alternative on parallel computers. The implementation of the Lagrangian formulation on the Thinking Machines Corporation CM-2 Computer is described. The program uses a finite volume, first-order Godunov scheme and exhibits high accuracy in dealing with multidimensional discontinuities (slip-line and shock). By using this formulation, we have achieved better than six times speed-up on a 8192-processor CM-2 over a single processor of a CRAY-2.

Liou, May-Fun↗

3-D Visualization in Support of Advanced Propulsion

Young computer graphics enthusiasts today might think they are pioneers of new technology. On the contrary-computer graphics experimentation began in the 1940s. A rich and eventful history exists in a short timeframe of six decades. The first graphics software was developed as "a tool for scientists and engineers in government and corporate research centers such as Bell Labs and Boeing." Computer graphics software today includes anything from vector-based page layout packages to extremely sophisticated three-dimensional design and animation software and everything in-between. The realm of this summer faculty fellowship project required three-dimensional (3D) digital capabilities. Therefore, the remainder of the paper will focus only on this facet of the graphics industry.

Jan P. Kyzar↗

Numerical simulation of helicopter engine plume in forward flight

Flowfields around helicopters contain complex flow features such as large separated flow regions, vortices, shear layers, blown and suction surfaces and an inherently unsteady flow imposed by the rotor system. Another complicated feature of helicopters is their infrared signature. Typically, the aircraft's exhaust plume interacts with the rotor downwash, the fuselage's complicated flowfield, and the fuselage itself giving each aircraft a unique IR signature at given flight conditions. The goal of this project was to compute the flow about a realistic helicopter fuselage including the interaction of the engine air intakes and exhaust plume. The computations solve the Think-Layer Navier Stokes equations using overset type grids and in particular use the OVERFLOW code by Buning of NASA Ames. During this three month effort, an existing grid system of the Comanche Helicopter was to be modified to include the engine inlet and the hot engine exhaust. The engine exhaust was to be modeled as hot air exhaust. However, considerable changes in the fuselage geometry required a complete regriding of the surface and volume grids. The engine plume computations have been delayed to future efforts. The results of the current work consists of a complete regeneration of the surface and volume grids of the most recent Comanche fuselage along with a flowfield computation.

Dimanlig, Arsenio C. B.↗

Clarification process: Resolution of decision-problem conditions

A model of a general process which occurs in both decisionmaking and problem-solving tasks is presented. It is called the clarification model and is highly dependent on information flow. The model addresses the possible constraints of individual indifferences and experience in achieving success in resolving decision-problem conditions. As indicated, the application of the clarification process model is only necessary for certain classes of the basic decision-problem condition. With less complex decision problem conditions, certain phases of the model may be omitted. The model may be applied across a wide range of decision problem conditions. The model consists of two major components: (1) the five-phase prescriptive sequence (based on previous approaches to both concepts) and (2) the information manipulation function (which draws upon current ideas in the areas of information processing, computer programming, memory, and thinking). The two components are linked together to provide a structure that assists in understanding the process of resolving problems and making decisions.

Dieterly, D. L.↗

To Boldly Go: America's Next Era in Space. Machine Consciousness and the Exploration of Space

Dr. France Cordova, NASA's Chief Scientist, chaired this meeting, another part of the NASA Administrator's Seminar Series. She introduced Administrator Daniel S. Goldin, who welcomed the attendees, and noted that the two speakers have a running feud regarding the possibility of creating robots that can 'think'. Dr. Cordova then introduced the first speaker, Dr. Roger Penrose of the Mathematical Institute at Oxford in the U.K. His primary interests are in mathematics, physics, information systems technology, and artificial intelligence. He thinks that robots cannot be made to 'think' and that consciousness is not computable. Dr. Hans Moravec, who spoke next, has opinions and activities that are related to, but substantially different from those of Dr. Penrose. Dr. Moravec believes that he can build a robot that can act based on the deductions that it will make. To mimic human thinking capabilities, he figures that a robot ultimately will need to be able to handle ten trillion computations per second. He predicts that his goal of building a 'thinking' robot will be met in the 2030-2040 time period. He pointed out that he already has built a car that successfully drove itself from Washington, DC to San Diego, CA. He commented that a human being, was ready to take over driving the car, if necessary, but there was no need. The robots envisioned by Dr. Moravec would not only be able to 'think', but also would have human-like emotions, and ultimately would be able to reproduce. The discussion that followed raised questions about the morality of sending human-like robots into outer space. Also a concern was expressed that human-like robots might perceive humans as a threat and become dangerous to people.

Source record↗

Nanotechnology at NASA Ames

Advanced miniaturization, a key thrust area to enable new science and exploration missions, provides ultrasmall sensors, power sources, communication, navigation, and propulsion systems with very low mass, volume, and power consumption. Revolutions in electronics and computing will allow reconfigurable, autonomous, 'thinking' spacecraft. Nanotechnology presents a whole new spectrum of opportunities to build device components and systems for entirely new space architectures: (1) networks of ultrasmall probes on planetary surfaces; (2) micro-rovers that drive, hop, fly, and burrow; and (3) collections of microspacecraft making a variety of measurements.

Srivastava, Deepak↗