Search NASA⌕ Search

SEARCH · Search NASA

Results for “mathematics”

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
All sourcesNASA NTRSDOE OSTI
NASA NTRS1966

Lectures in Applied Mathematics. Volume 5 - Space Mathematics, Part 1

The present Proceedings should acquaint the reader with the current state of research on the behavior of nonpropulsive space vehicles, indicate the more pressing unsolved problems, and furnish examples of mathematical techniques which are currently useful. It is hoped that the reader will be stimulated to make contributions of his own, either in the way of developing better mathematical techniques, or finding more ingenious uses of existing ones.

Three-Body Problem↗
NASA NTRS2008

A Study of Visualization for Mathematics Education

Graphical representations such as figures, illustrations, and diagrams play a critical role in mathematics and they are equally important in mathematics education. However, graphical representations in mathematics textbooks are static, Le. they are used to illustrate only a specific example or a limited set. of examples. By using computer software to visualize mathematical principles, virtually there is no limit to the number of specific cases and examples that can be demonstrated. However, we have not seen widespread adoption of visualization software in mathematics education. There are currently a number of software packages that provide visualization of mathematics for research and also software packages specifically developed for mathematics education. We conducted a survey of mathematics visualization software packages, summarized their features and user bases, and analyzed their limitations. In this survey, we focused on evaluating the software packages for their use with mathematical subjects adopted by institutions of secondary education in the United States (middle schools and high schools), including algebra, geometry, trigonometry, and calculus. We found that cost, complexity, and lack of flexibility are the major factors that hinder the widespread use of mathematics visualization software in education.

Daugherty, Sarah C.↗
NASA NTRS1998

Making the Learning of Mathematics More Meaningful

In the early 1980's, the National Commission on Excellence in Education responded to the call for reform in the teaching and learning of mathematics. In particular, the Commission developed a document addressing the consensus that all students need to learn more, and often different, mathematics and that instruction in mathematics must be significantly revised. In a response to these calls for mathematics education reform, the National Council of Teachers of Mathematics (NCTM) developed its Curriculum and Evaluation Standards (1989) with a two-fold purpose: 1) to create a coherent vision of what it means to be mathematically literate in a world that relies on calculators and computers, and 2) to create a set of standards to guide the revisions of school mathematics curriculum.

Ward, Robin A.↗
NASA NTRS1997

[Development of New Mathematical Methodology in Air Traffic Control for the Analysis of Hybrid Systems]

The aim of this research is to develop new mathematical methodology for the analysis of hybrid systems of the type involved in Air Traffic Control (ATC) problems. Two directions of investigation were initiated. The first used the methodology of nonlinear generalized functions, whose mathematical foundations were initiated by Colombeau and developed further by Oberguggenberger; it has been extended to apply to ordinary differential. Systems of the type encountered in control in joint work with the PI and M. Oberguggenberger. This involved a 'mixture' of 'continuous' and 'discrete' methodology. ATC clearly involves mixtures of two sorts of mathematical problems: (1) The 'continuous' dynamics of a standard control type described by ordinary differential equations (ODE) of the form: {dx/dt = f(x, u)} and (2) the discrete lattice dynamics involved of cellular automata. Most of the CA literature involves a discretization of a partial differential equation system of the type encountered in physics problems (e.g. fluid and gas problems). Both of these directions requires much thinking and new development of mathematical fundamentals before they may be utilized in the ATC work. Rather than consider CA as 'discretization' of PDE systems, I believe that the ATC applications will require a completely different and new mathematical methodology, a sort of discrete analogue of jet bundles and/or the sheaf-theoretic techniques to topologists. Here too, I have begun work on virtually 'virgin' mathematical ground (at least from an 'applied' point of view) which will require considerable preliminary work.

Hermann, Robert↗
NASA NTRS2004

A Strategy for Improving US Middle School Student Mathematics Word Problem Solving Performance

U.S. middle school students have difficulty understanding and solving mathematics word problems. Their mathematics performance on the Third International Mathematics and Science Study (TIMMS) is far below their international peers, and minority students are less likely than high socioeconomic status (SES) White/Asian students to be exposed to higher-level mathematics concepts. Research literature also indicates that when students use both In-School and Out-of-School knowledge and experiences to create authentic mathematics word problems, student achievement improves. This researcher developed a Strategy for improving mathematics problem solving performance and a Professional Development Model (PDM) to effectively implement the Strategy.

Thomas, Valerie L.↗
NASA NTRS1973

V/STOL tilt rotor study. Volume 5: A mathematical model for real time flight simulation of the Bell model 301 tilt rotor research aircraft

A mathematical model for real-time flight simulation of a tilt rotor research aircraft was developed. The mathematical model was used to support the aircraft design, pilot training, and proof-of-concept aspects of the development program. The structure of the mathematical model is indicated by a block diagram. The mathematical model differs from that for a conventional fixed wing aircraft principally in the added requirement to represent the dynamics and aerodynamics of the rotors, the interaction of the rotor wake with the airframe, and the rotor control and drive systems. The constraints imposed on the mathematical model are defined.

P B Harendra↗
NASA NTRS1994

Preparation of course materials: Elementary mathematics of powered flight

Non-science students at William and Mary will soon be required to take a mathematics course in order to earn a bachelor's degree. A standard menu of technique courses is the usual way in which universities provide for this requirement: Trigonometry, probability, geometry for teachers, and the like. In this work, we attempt to break away from these largely unsuccessful choices. Our intent is to prepare material that sets a variety of simple mathematical procedures in the context of a commonly experienced part of students' lives: riding in commercial airplanes. The work, begun last summer at Langley, is now close to completion and trial in upcoming fall term at William and Mary. As of this writing, the narrative is complete for 12 to 14 projected sections. We have prepared material on wind triangles, wind roses, navigation maps, drag induced loss of velocity for unpowered missiles (tennis balls), luggage and its effect on center of gravity, localized magnetic declination and VOR orientation, geometry of great circles, terminal velocity for falling bodies, pressure vessels: tires and balloons and blimps, global structure of declination lines, map projections (mercator, azimuthal equidistant, Lambert), ears and their reaction to altitude change. The next section will treat lift, drag and thrust. The last will treat control surfaces. The entire approach avoids any effort to investigate mathematical topics that arise in the solution of problems. And by the same token, we avoid any organized attempt to explain aeronautical engineering, even on an elementary level. We look only at enough mathematics to do a problem and we select only engineering topics that permit some kind of (elementary) mathematical analysis. In the end, we will think of the material as successful if two things happen: Students must come away with some confidence that even lay people can quantify parts of their surroundings. Other potential instructors must be willing to gain enough familiarity with the physical content of the material so that it can be used at other universities.

Rublein, George T.↗
NASA NTRS1996

Computer-Based Mathematics Instructions for Engineering Students

Almost every engineering course involves mathematics in one form or another. The analytical process of developing mathematical models is very important for engineering students. However, the computational process involved in the solution of some mathematical problems may be very tedious and time consuming. There is a significant amount of mathematical software such as Mathematica, Mathcad, and Maple designed to aid in the solution of these instructional problems. The use of these packages in classroom teaching can greatly enhance understanding, and save time. Integration of computer technology in mathematics classes, without de-emphasizing the traditional analytical aspects of teaching, has proven very successful and is becoming almost essential. Sample computer laboratory modules are developed for presentation in the classroom setting. This is accomplished through the use of overhead projectors linked to graphing calculators and computers. Model problems are carefully selected from different areas.

Khan, Mustaq A.↗
NASA NTRS1998

Towards a Theory for Integration of Mathematical Verification and Empirical Testing

From the viewpoint of a project manager responsible for the V&V (verification and validation) of a software system, mathematical verification techniques provide a possibly useful orthogonal dimension to otherwise standard empirical testing. However, the value they add to an empirical testing regime both in terms of coverage and in fault detection has been difficult to quantify. Furthermore, potential cost savings from replacing testing with mathematical verification techniques cannot be realized until the tradeoffs and synergies can be formulated. Integration of formal verification with empirical testing is also difficult because the idealized view of mathematical verification providing a correctness proof with total coverage is unrealistic and does not reflect the limitations imposed by computational complexity of mathematical techniques. This paper first describes a framework based on software reliability and formalized fault models for a theory of software design fault detection - and hence the utility of various tools for debugging. It then describes a utility model for integrating mathematical and empirical techniques with respect to fault detection and coverage analysis. It then considers the optimal combination of black-box testing, white-box (structural) testing, and formal methods in V&V of a software system. Using case studies from NASA software systems, it then demonstrates how this utility model can be used in practice.

Lowry, Michael↗
NASA NTRS2005

Mathematical Metaphors: Problem Reformulation and Analysis Strategies

This paper addresses the critical need for the development of intelligent or assisting software tools for the scientist who is working in the initial problem formulation and mathematical model representation stage of research. In particular, examples of that representation in fluid dynamics and instability theory are discussed. The creation of a mathematical model that is ready for application of certain solution strategies requires extensive symbolic manipulation of the original mathematical model. These manipulations can be as simple as term reordering or as complicated as discovery of various symmetry groups embodied in the equations, whereby Backlund-type transformations create new determining equations and integrability conditions or create differential Grobner bases that are then solved in place of the original nonlinear PDEs. Several examples are presented of the kinds of problem formulations and transforms that can be frequently encountered in model representation for fluids problems. The capability of intelligently automating these types of transforms, available prior to actual mathematical solution, is advocated. Physical meaning and assumption-understanding can then be propagated through the mathematical transformations, allowing for explicit strategy development.

Thompson, David E.↗
NASA NTRS2005

Software Template for Instruction in Mathematics

Intelligent Math Tutor (IMT) is a software system that serves as a template for creating software for teaching mathematics. IMT can be easily connected to artificial-intelligence software and other analysis software through input and output of files. IMT provides an easy-to-use interface for generating courses that include tests that contain both multiple-choice and fill-in-the-blank questions, and enables tracking of test scores. IMT makes it easy to generate software for Web-based courses or to manufacture compact disks containing executable course software. IMT also can function as a Web-based application program, with features that run quickly on the Web, while retaining the intelligence of a high-level language application program with many graphics. IMT can be used to write application programs in text, graphics, and/or sound, so that the programs can be tailored to the needs of most handicapped persons. The course software generated by IMT follows a "back to basics" approach of teaching mathematics by inducing the student to apply creative mathematical techniques in the process of learning. Students are thereby made to discover mathematical fundamentals and thereby come to understand mathematics more deeply than they could through simple memorization.

Shelton, Robert O.↗
NASA NTRS1973

V/STOL tilt rotor aircraft study mathematical model for a real time simulation of a tilt rotor aircraft (Boeing Vertol Model 222), volume 8

This report documents the development of a real time mathematical model of a tilt rotor aircraft. This mathematical model is to be used in conjunction with the NASA Flight Simulator for Advanced Aircraft (FSAA) at Ames Research Center for evaluation of aircraft performance and handling qualities. In addition to developing the mathematical model, a parallel programming effort was conducted utilizing Boeing-Vertol's Hybrid Simulation Laboratory for the purpose of developing and evaluating model simplification. The mathematical model is an eleven degree of freedom total force model. This model includes the basic six degree of freedom rigid body .outer loop equations written about the instantaneous center of gravity with the inertial and aerodynamic terms included. The rotor is treated as a point source of forces and moments with appropriate response time lags and actuator dynamics. The wing has one vertical bending and one wing torsion degree of freedom. These structural degrees of freedom are treated on a "quasistatic" basis; i.e., the natural frequencies of vibration of the structure are much higher than the· frequencies of the rigid body motion, and the coupling is in the aerodynamic terms. Each nacelle has an independent pitch degree of freedom about the wing pivot. The aerodynamics of the wing, tail, rotors, landing gear and fuselage are included. Wing and tail mutual interference effects and turbine engine performance and dynamic responses' are represented.

H Rosenstein↗
NASA NTRS1974

Mathematical estimation of the level of microbial contamination on spacecraft surfaces by volumetric air sampling

Microbiological sampling methods presently used for enumeration of microorganisms on spacecraft surfaces require contact with easily damaged components. Estimation of viable particles on surfaces using air sampling methods in conjunction with a mathematical model would be desirable. Parameters necessary for the mathematical model are the effect of angled surfaces on viable particle collection and the number of viable cells per viable particle. Deposition of viable particles on angled surfaces closely followed a cosine function, and the number of viable cells per viable particle was consistent with a Poisson distribution. Other parameters considered by the mathematical model included deposition rate and fractional removal per unit time. A close nonlinear correlation between volumetric air sampling and airborne fallout on surfaces was established with all fallout data points falling within the 95% confidence limits as determined by the mathematical model.

Oxborrow, G. S.↗
NASA NTRS1980

Mathematical modeling of the aerodynamics of high-angle-of-attack maneuvers

This paper is a review of the current state of aerodynamic mathematical modeling for aircraft motions at high angles of attack. The mathematical model serves to define a set of characteristic motions from whose known aerodynamic responses the aerodynamic response to an arbitrary high angle-of-attack flight maneuver can be predicted. Means are explored of obtaining stability parameter information in terms of the characteristic motions, whether by wind-tunnel experiments, computational methods, or by parameter-identification methods applied to flight-test data. A rationale is presented for selecting and verifying the aerodynamic mathematical model at the lowest necessary level of complexity. Experimental results describing the wing-rock phenomenon are shown to be accommodated within the most recent mathematical model by admitting the existence of aerodynamic hysteresis in the steady-state variation of the rolling moment with roll angle. Interpretation of the experimental results in terms of bifurcation theory reveals the general conditions under which aerodynamic hysteresis must exist.

Schiff, L. B.↗