Mathematical programming formulations for satellite synthesis

NASA Technical Reports Server (NTRS)

Bhasin, Puneet; Reilly, Charles H.

1987-01-01

The problem of satellite synthesis can be described as optimally allotting locations and sometimes frequencies and polarizations, to communication satellites so that interference from unwanted satellite signals does not exceed a specified threshold. In this report, mathematical programming models and optimization methods are used to solve satellite synthesis problems. A nonlinear programming formulation which is solved using Zoutendijk's method and a gradient search method is described. Nine mixed integer programming models are considered. Results of computer runs with these nine models and five geographically compatible scenarios are presented and evaluated. A heuristic solution procedure is also used to solve two of the models studied. Heuristic solutions to three large synthesis problems are presented. The results of our analysis show that the heuristic performs very well, both in terms of solution quality and solution time, on the two models to which it was applied. It is concluded that the heuristic procedure is the best of the methods considered for solving satellite synthesis problems.

A University Admissions System

ERIC Educational Resources Information Center

Ittig, Peter T.

1977-01-01

Presents a mathematical programming model that will make admit/reject decisions for freshman university applicants. The model is intended to aid reviewers in producing better, more consistent decisions. The author shows that a linear programming formulation will provide an efficient and practical solution for all but a very few applicants.…

Computer program for analysis of high speed, single row, angular contact, spherical roller bearing, SASHBEAN. Volume 2: Mathematical formulation and analysis

NASA Technical Reports Server (NTRS)

Aggarwal, Arun K.

1993-01-01

Spherical roller bearings have typically been used in applications with speeds limited to about 5000 rpm and loads limited for operation at less than about 0.25 million DN. However, spherical roller bearings are now being designed for high load and high speed applications including aerospace applications. A computer program, SASHBEAN, was developed to provide an analytical tool to design, analyze, and predict the performance of high speed, single row, angular contact (including zero contact angle), spherical roller bearings. The material presented is the mathematical formulation and analytical methods used to develop computer program SASHBEAN. For a given set of operating conditions, the program calculates the bearings ring deflections (axial and radial), roller deflections, contact areas stresses, depth and magnitude of maximum shear stresses, axial thrust, rolling element and cage rotational speeds, lubrication parameters, fatigue lives, and rates of heat generation. Centrifugal forces and gyroscopic moments are fully considered. The program is also capable of performing steady-state and time-transient thermal analyses of the bearing system.

Pyomo v5.0

DOE Office of Scientific and Technical Information (OSTI.GOV)

Woodruff, David; Hackebeil, Gabe; Laird, Carl Damon

Pyomo supports the formulation and analysis of mathematical models for complex optimization applications. This capability is commonly associated with algebraic modeling languages (AMLs), which support the description and analysis of mathematical models with a high-level language. Although most AMLs are implemented in custom modeling languages, Pyomo's modeling objects are embedded within Python, a full- featured high-level programming language that contains a rich set of supporting libraries.

A study of the dynamics of rotating space stations with elastically connected counterweight and attached flexible appendages. Volume 1: Theory

NASA Technical Reports Server (NTRS)

Austin, F.; Markowitz, J.; Goldenberg, S.; Zetkov, G. A.

1973-01-01

The formulation of a mathematical model for predicting the dynamic behavior of rotating flexible space station configurations was conducted. The overall objectives of the study were: (1) to develop the theoretical techniques for determining the behavior of a realistically modeled rotating space station, (2) to provide a versatile computer program for the numerical analysis, and (3) to present practical concepts for experimental verification of the analytical results. The mathematical model and its associated computer program are described.

The Capability Portfolio Analysis Tool (CPAT): A Mixed Integer Linear Programming Formulation for Fleet Modernization Analysis (Version 2.0.2).

DOE Office of Scientific and Technical Information (OSTI.GOV)

Waddell, Lucas; Muldoon, Frank; Henry, Stephen Michael

In order to effectively plan the management and modernization of their large and diverse fleets of vehicles, Program Executive Office Ground Combat Systems (PEO GCS) and Program Executive Office Combat Support and Combat Service Support (PEO CS&CSS) commis- sioned the development of a large-scale portfolio planning optimization tool. This software, the Capability Portfolio Analysis Tool (CPAT), creates a detailed schedule that optimally prioritizes the modernization or replacement of vehicles within the fleet - respecting numerous business rules associated with fleet structure, budgets, industrial base, research and testing, etc., while maximizing overall fleet performance through time. This paper contains a thor-more » ough documentation of the terminology, parameters, variables, and constraints that comprise the fleet management mixed integer linear programming (MILP) mathematical formulation. This paper, which is an update to the original CPAT formulation document published in 2015 (SAND2015-3487), covers the formulation of important new CPAT features.« less

A non-linear programming approach to the computer-aided design of regulators using a linear-quadratic formulation

NASA Technical Reports Server (NTRS)

Fleming, P.

1985-01-01

A design technique is proposed for linear regulators in which a feedback controller of fixed structure is chosen to minimize an integral quadratic objective function subject to the satisfaction of integral quadratic constraint functions. Application of a non-linear programming algorithm to this mathematically tractable formulation results in an efficient and useful computer-aided design tool. Particular attention is paid to computational efficiency and various recommendations are made. Two design examples illustrate the flexibility of the approach and highlight the special insight afforded to the designer.

Main rotor free wake geometry effects on blade air loads and response for helicopters in steady maneuvers. Volume 2: Program listings

NASA Technical Reports Server (NTRS)

Sadler, S. G.

1972-01-01

A mathematical model and computer program was implemented to study the main rotor free wake geometry effects on helicopter rotor blade air loads and response in steady maneuvers. Volume 1 (NASA CR-2110) contains the theoretical formulation and analysis of results. Volume 2 contains the computer program listing.

High Speed Cylindrical Roller Bearing Analysis, SKF Computer Program CYBEAN. Volume 1: Analysis

NASA Technical Reports Server (NTRS)

Kleckner, R. J.; Pirvics, J.

1978-01-01

The CYBEAN (CYlindrical BEaring ANalysis) program was created to detail radially loaded, aligned and misaligned Cylindrical roller bearing performance under a variety of operating conditions. The models and associated mathematics used within CYBEAN are described. The user is referred to the material for formulation assumptions and algorithm detail.

Problem solving in the borderland between mathematics and physics

NASA Astrophysics Data System (ADS)

Jensen, Jens Højgaard; Niss, Martin; Jankvist, Uffe Thomas

2017-01-01

The article addresses the problématique of where mathematization is taught in the educational system, and who teaches it. Mathematization is usually not a part of mathematics programs at the upper secondary level, but we argue that physics teaching has something to offer in this respect, if it focuses on solving so-called unformalized problems, where a major challenge is to formalize the problems in mathematics and physics terms. We analyse four concrete examples of unformalized problems for which the formalization involves different order of mathematization and applying physics to the problem, but all require mathematization. The analysis leads to the formulation of a model by which we attempt to capture the important steps of the process of solving unformalized problems by means of mathematization and physicalization.

Spatial-Operator Algebra For Robotic Manipulators

NASA Technical Reports Server (NTRS)

Rodriguez, Guillermo; Kreutz, Kenneth K.; Milman, Mark H.

1991-01-01

Report discusses spatial-operator algebra developed in recent studies of mathematical modeling, control, and design of trajectories of robotic manipulators. Provides succinct representation of mathematically complicated interactions among multiple joints and links of manipulator, thereby relieving analyst of most of tedium of detailed algebraic manipulations. Presents analytical formulation of spatial-operator algebra, describes some specific applications, summarizes current research, and discusses implementation of spatial-operator algebra in the Ada programming language.

Formulation of image quality prediction criteria for the Viking lander camera

NASA Technical Reports Server (NTRS)

Huck, F. O.; Jobson, D. J.; Taylor, E. J.; Wall, S. D.

1973-01-01

Image quality criteria are defined and mathematically formulated for the prediction computer program which is to be developed for the Viking lander imaging experiment. The general objective of broad-band (black and white) imagery to resolve small spatial details and slopes is formulated as the detectability of a right-circular cone with surface properties of the surrounding terrain. The general objective of narrow-band (color and near-infrared) imagery to observe spectral characteristics if formulated as the minimum detectable albedo variation. The general goal to encompass, but not exceed, the range of the scene radiance distribution within single, commandable, camera dynamic range setting is also considered.

A mathematical programming method for formulating a fuzzy regression model based on distance criterion.

PubMed

Chen, Liang-Hsuan; Hsueh, Chan-Ching

2007-06-01

Fuzzy regression models are useful to investigate the relationship between explanatory and response variables with fuzzy observations. Different from previous studies, this correspondence proposes a mathematical programming method to construct a fuzzy regression model based on a distance criterion. The objective of the mathematical programming is to minimize the sum of distances between the estimated and observed responses on the X axis, such that the fuzzy regression model constructed has the minimal total estimation error in distance. Only several alpha-cuts of fuzzy observations are needed as inputs to the mathematical programming model; therefore, the applications are not restricted to triangular fuzzy numbers. Three examples, adopted in the previous studies, and a larger example, modified from the crisp case, are used to illustrate the performance of the proposed approach. The results indicate that the proposed model has better performance than those in the previous studies based on either distance criterion or Kim and Bishu's criterion. In addition, the efficiency and effectiveness for solving the larger example by the proposed model are also satisfactory.

The flow of plasma in the solar terrestrial environment

NASA Technical Reports Server (NTRS)

Schunk, R. W.

1992-01-01

The overall goal of our NASA Theory Program is to study the coupling, time delays, and feedback mechanisms between the various regions of the solar-terrestrial system in a self-consistent, quantitative manner. To accomplish this goal, it will eventually be necessary to have time-dependent macroscopic models of the different regions of the solar-terrestrial system and we are continually working toward this goal. However, our immediate emphasis is on the near-earth plasma environment, including the ionosphere, the plasmasphere, and the polar wind. In this area, we have developed unique global models that allow us to study the coupling between the different regions. Another important aspect of our NASA Theory Program concerns the effect that localized structure has on the macroscopic flow in the ionosphere, plasmasphere, thermosphere, and polar wind. The localized structure can be created by structured magnetospheric inputs (i.e., structured plasma convection, particle precipitation or Birkeland current patterns) or time variations in these inputs due to storms and substorms. Also, some of the plasma flows that we predict with our macroscopic models may be unstable, and another one of our goals is to examine the stability of our predicted flows. Because time-dependent, three-dimensional numerical models of the solar-terrestrial environment generally require extensive computer resources, they are usually based on relatively simple mathematical formulations (i.e., simple MHD or hydrodynamic formulation). Therefore, another long-range goal of our NASA Theory Program is to study the conditions under which various mathematical formulations can be applied to specific solar-terrestrial regions. This may involve a detailed comparison of kinetic, semikinetic, and hydrodynamic predictions for a given polar wind scenario or it may involve the comparison of a small-scale particle-in-cell (PIC) simulation of a plasma expansion event with a similar macroscopic expansion event. The different mathematical formulations have different strengths and weaknesses and a careful comparison of model predictions for similar geophysical situations will provide insight into when the various models can be used with confidence.

Program for computer aided reliability estimation

NASA Technical Reports Server (NTRS)

Mathur, F. P. (Inventor)

1972-01-01

A computer program for estimating the reliability of self-repair and fault-tolerant systems with respect to selected system and mission parameters is presented. The computer program is capable of operation in an interactive conversational mode as well as in a batch mode and is characterized by maintenance of several general equations representative of basic redundancy schemes in an equation repository. Selected reliability functions applicable to any mathematical model formulated with the general equations, used singly or in combination with each other, are separately stored. One or more system and/or mission parameters may be designated as a variable. Data in the form of values for selected reliability functions is generated in a tabular or graphic format for each formulated model.

Mathematic modeling of the Earth's surface and the process of remote sensing

NASA Technical Reports Server (NTRS)

Balter, B. M.

1979-01-01

It is shown that real data from remote sensing of the Earth from outer space are not best suited to the search for optimal procedures with which to process such data. To work out the procedures, it was proposed that data synthesized with the help of mathematical modeling be used. A criterion for simularity to reality was formulated. The basic principles for constructing methods for modeling the data from remote sensing are recommended. A concrete method is formulated for modeling a complete cycle of radiation transformations in remote sensing. A computer program is described which realizes the proposed method. Some results from calculations are presented which show that the method satisfies the requirements imposed on it.

The flow of plasma in the solar terrestrial environment

NASA Technical Reports Server (NTRS)

Schunk, Robert W.; Banks, P.; Barakat, A. R.; Crain, D. J.; Demars, H. G.; Lemaire, J.; Ma, T.-Z.; Rasmussen, C. E.; Richards, P.; Sica, R.

1990-01-01

The overall goal of our NASA Theory Program was to study the coupling, time delays, and feedback mechanisms between the various regions of the solar-terrestrial system in a self-consistent, quantitative manner. To accomplish this goal, it will eventually be necessary to have time-dependent macroscopic models of the different regions of the solar-terrestrial system and we are continually working toward this goal. However, with the funding from this NASA program, we concentrated on the near-earth plasma environment, including the ionosphere, the plasmasphere, and the polar wind. In this area, we developed unique global models that allowed us to study the coupling between the different regions. These results are highlighted in the next section. Another important aspect of our NASA Theory Program concerned the effect that localized 'structure' had on the macroscopic flow in the ionosphere, plasmasphere, thermosphere, and polar wind. The localized structure can be created by structured magnetospheric inputs (i.e., structured plasma convection, particle precipitation or Birkland current patterns) or time variations in these input due to storms and substorms. Also, some of the plasma flows that we predicted with our macroscopic models could be unstable, and another one of our goals was to examine the stability of our predicted flows. Because time-dependent, three-dimensional numerical models of the solar-terrestrial environment generally require extensive computer resources, they are usually based on relatively simple mathematical formulations (i.e., simple MHD or hydrodynamic formulations). Therefore, another goal of our NASA Theory Program was to study the conditions under which various mathematical formulations can be applied to specific solar-terrestrial regions. This could involve a detailed comparison of kinetic, semi-kinetic, and hydrodynamic predictions for a given polar wind scenario or it could involve the comparison of a small-scale particle-in-cell (PIC) simulation of a plasma expansion event with a similar macroscopic expansion event. The different mathematical formulations have different strengths and weaknesses and a careful comparison of model predictions for similar geophysical situations provides insight into when the various models can be used with confidence.

An application of nonlinear programming to the design of regulators of a linear-quadratic formulation

NASA Technical Reports Server (NTRS)

Fleming, P.

1983-01-01

A design technique is proposed for linear regulators in which a feedback controller of fixed structure is chosen to minimize an integral quadratic objective function subject to the satisfaction of integral quadratic constraint functions. Application of a nonlinear programming algorithm to this mathematically tractable formulation results in an efficient and useful computer aided design tool. Particular attention is paid to computational efficiency and various recommendations are made. Two design examples illustrate the flexibility of the approach and highlight the special insight afforded to the designer. One concerns helicopter longitudinal dynamics and the other the flight dynamics of an aerodynamically unstable aircraft.

Integrating Technology, Pedagogy and Content in Mathematics Education

ERIC Educational Resources Information Center

Handal, Boris; Campbell, Chris; Cavanagh, Michael; Petocz, Peter; Kelly, Nick

2012-01-01

The need for appraising the effective integration of technologies into teaching and learning within a disciplinary context is crucial for upholding quality teaching standards in schools and formulating professional development programs. This paper describes the development and validation of an instrument aimed at characterising the integration of…

Numerical Modeling of Saturated Boiling in a Heated Tube

NASA Technical Reports Server (NTRS)

Majumdar, Alok; LeClair, Andre; Hartwig, Jason

2017-01-01

This paper describes a mathematical formulation and numerical solution of boiling in a heated tube. The mathematical formulation involves a discretization of the tube into a flow network consisting of fluid nodes and branches and a thermal network consisting of solid nodes and conductors. In the fluid network, the mass, momentum and energy conservation equations are solved and in the thermal network, the energy conservation equation of solids is solved. A pressure-based, finite-volume formulation has been used to solve the equations in the fluid network. The system of equations is solved by a hybrid numerical scheme which solves the mass and momentum conservation equations by a simultaneous Newton-Raphson method and the energy conservation equation by a successive substitution method. The fluid network and thermal network are coupled through heat transfer between the solid and fluid nodes which is computed by Chen's correlation of saturated boiling heat transfer. The computer model is developed using the Generalized Fluid System Simulation Program and the numerical predictions are compared with test data.

Steerability Analysis of Tracked Vehicles: Theory and User’s Guide for Computer Program TVSTEER

DTIC Science & Technology

1986-08-01

Baladi , Donald E. Barnes, Rebecca P. BergerC oStructures Laboratory NDEPARTMENT OF THE ARMY ___ Waterways Experiment Station, Corps of Engineers . U P0 Box...Analysis of Tracked Vehicles: Theory and User’s Guide for Computer Program TVSTEER - 12 PERSONAL AUTHOR(S) Baladi , George Y., Barnes, Donald E...mathematical model was formulated by Drs. George Y. Baladi and Behzad Rohani. The logic and computer programming were accomplished by Dr. Baladi and

Approaching mathematical model of the immune network based DNA Strand Displacement system.

PubMed

Mardian, Rizki; Sekiyama, Kosuke; Fukuda, Toshio

2013-12-01

One biggest obstacle in molecular programming is that there is still no direct method to compile any existed mathematical model into biochemical reaction in order to solve a computational problem. In this paper, the implementation of DNA Strand Displacement system based on nature-inspired computation is observed. By using the Immune Network Theory and Chemical Reaction Network, the compilation of DNA-based operation is defined and the formulation of its mathematical model is derived. Furthermore, the implementation on this system is compared with the conventional implementation by using silicon-based programming. From the obtained results, we can see a positive correlation between both. One possible application from this DNA-based model is for a decision making scheme of intelligent computer or molecular robot. Copyright © 2013 Elsevier Ireland Ltd. All rights reserved.

A Mathematical Optimization Problem in Bioinformatics

ERIC Educational Resources Information Center

Heyer, Laurie J.

2008-01-01

This article describes the sequence alignment problem in bioinformatics. Through examples, we formulate sequence alignment as an optimization problem and show how to compute the optimal alignment with dynamic programming. The examples and sample exercises have been used by the author in a specialized course in bioinformatics, but could be adapted…

Segregation effects during solidification in weightless melts

NASA Technical Reports Server (NTRS)

Li, C.; Gershinsky, M.

1974-01-01

The generalized problem of determining the temperature and solute concentration profiles during directional solidification of binary alloys with surface evaporation was mathematically formulated. Realistic initial and boundary conditions were defined, and a computer program was developed and checked out. The programs computes the positions of two moving boundaries, evaporation and solidification, and their velocities. Temperature and solute concentration profiles in the semiinfinite material body at selected instances of time are also computed.

The flow of plasma in the solar terrestrial environment

NASA Technical Reports Server (NTRS)

Schunk, Robert W.

1991-01-01

The overall goal of our NASA Theory Program is to study the coupling, time delays, and feedback mechanisms between the various regions of the solar-terrestrial system in a self-consistent, quantitative, manner. To accomplish this goal, it will eventually be necessary to have time-dependent macroscopic models of the different regions of the solar-terrestrial system and we are continually working toward this goal. However, our immediate emphasis is on the near-earth plasma environment, including the ionosphere, the plasmasphere, and the polar wind. In this area, we have developed unique global models that allow us to study the coupling between the different regions. These results are highlighted. Another important aspect of our NASA Theory Program concerns the effect that localized structure has on the macroscopic flow in the ionosphere, plasmasphere, thermosphere and polar wind. The localized structure can be created by structured magnetospheric inputs (i.e., structured plasma convection, particle precipitation or Birkeland current patterns) or time variations in these inputs due to storms and substorms. Also, some of the plasma flows that we predict with our macroscopic models may be unstable. Another one of our goals is to examine the stability of our predicted flows. Because time-dependent three-dimensional numerical models of the solar-terrestrial environment generally require extensive computer resources, they are usually based on relatively simple mathematical formulations (i.e., simple MHD or hydrodynamic formulations). Therefore, another long-range goal of our NASA Theory Program is to study the conditions under which various mathematical formulations can be applied to specific solar-terrestrial regions. This may involve a detailed comparison of kinetic, semikinetic, and hydrodynamic predictions for a given polar wind scenario or it may involve the comparison of a small-scale particle-in-cell (PIC) simulation of a plasma expansion event with a similar macroscopic expansion event. The different mathematical formulations have different strengths and weaknesses and a careful comparison of model predictions for similar geophysical situations will provide insight into when the various models can be used with confidence.

Using MathCad to Evaluate Exact Integral Formulations of Spacecraft Orbital Heats for Primitive Surfaces at Any Orientation

NASA Technical Reports Server (NTRS)

Pinckney, John

2010-01-01

With the advent of high speed computing Monte Carlo ray tracing techniques has become the preferred method for evaluating spacecraft orbital heats. Monte Carlo has its greatest advantage where there are many interacting surfaces. However Monte Carlo programs are specialized programs that suffer from some inaccuracy, long calculation times and high purchase cost. A general orbital heating integral is presented here that is accurate, fast and runs on MathCad, a generally available engineering mathematics program. The integral is easy to read, understand and alter. The integral can be applied to unshaded primitive surfaces at any orientation. The method is limited to direct heating calculations. This integral formulation can be used for quick orbit evaluations and spot checking Monte Carlo results.

Mathematical Modeling of Diverse Phenomena

NASA Technical Reports Server (NTRS)

Howard, J. C.

1979-01-01

Tensor calculus is applied to the formulation of mathematical models of diverse phenomena. Aeronautics, fluid dynamics, and cosmology are among the areas of application. The feasibility of combining tensor methods and computer capability to formulate problems is demonstrated. The techniques described are an attempt to simplify the formulation of mathematical models by reducing the modeling process to a series of routine operations, which can be performed either manually or by computer.

Optimization Techniques for Analysis of Biological and Social Networks

DTIC Science & Technology

2012-03-28

analyzing a new metaheuristic technique, variable objective search. 3. Experimentation and application: Implement the proposed algorithms , test and fine...alternative mathematical programming formulations, their theoretical analysis, the development of exact algorithms , and heuristics. Originally, clusters...systematic fashion under a unifying theoretical and algorithmic framework. Optimization, Complex Networks, Social Network Analysis, Computational

Rocket injector anomalies study. Volume 1: Description of the mathematical model and solution procedure

NASA Technical Reports Server (NTRS)

Przekwas, A. J.; Singhal, A. K.; Tam, L. T.

1984-01-01

The capability of simulating three dimensional two phase reactive flows with combustion in the liquid fuelled rocket engines is demonstrated. This was accomplished by modifying an existing three dimensional computer program (REFLAN3D) with Eulerian Lagrangian approach to simulate two phase spray flow, evaporation and combustion. The modified code is referred as REFLAN3D-SPRAY. The mathematical formulation of the fluid flow, heat transfer, combustion and two phase flow interaction of the numerical solution procedure, boundary conditions and their treatment are described.

The mathematical modeling of rapid solidification processing. Ph.D. Thesis. Final Report

NASA Technical Reports Server (NTRS)

Gutierrez-Miravete, E.

1986-01-01

The detailed formulation of and the results obtained from a continuum mechanics-based mathematical model of the planar flow melt spinning (PFMS) rapid solidification system are presented and discussed. The numerical algorithm proposed is capable of computing the cooling and freezing rates as well as the fluid flow and capillary phenomena which take place inside the molten puddle formed in the PFMS process. The FORTRAN listings of some of the most useful computer programs and a collection of appendices describing the basic equations used for the modeling are included.

Analytical evaluation of ILM sensors. Volume 2: Appendices

NASA Technical Reports Server (NTRS)

Kirk, R. J.

1975-01-01

The applicability of various sensing concepts to independent landing monitor systems was analyzed. Microwave landing system MLS accuracy requirements are presented along with a description of MLS airborne equipment. Computer programs developed during the analysis are described and include: a mathematical computer model for use in the performance assessment of reconnaissance sensor systems; a theoretical formulation of electromagnetic scattering to generate data at high incidence angles; atmospheric attenuation of microwaves; and microwave radiometry, programs

Forest management and economics

DOE Office of Scientific and Technical Information (OSTI.GOV)

Buongiorno, J.; Gilless, J.K.

1987-01-01

This volume provides a survey of quantitative methods, guiding the reader through formulation and analysis of models that address forest management problems. The authors use simple mathematics, graphics, and short computer programs to explain each method. Emphasizing applications, they discuss linear, integer, dynamic, and goal programming; simulation; network modeling; and econometrics, as these relate to problems of determining economic harvest schedules in even-aged and uneven-aged forests, the evaluation of forest policies, multiple-objective decision making, and more.

Finding optimal vaccination strategies under parameter uncertainty using stochastic programming.

PubMed

Tanner, Matthew W; Sattenspiel, Lisa; Ntaimo, Lewis

2008-10-01

We present a stochastic programming framework for finding the optimal vaccination policy for controlling infectious disease epidemics under parameter uncertainty. Stochastic programming is a popular framework for including the effects of parameter uncertainty in a mathematical optimization model. The problem is initially formulated to find the minimum cost vaccination policy under a chance-constraint. The chance-constraint requires that the probability that R(*)

Opportunities to Pose Problems Using Digital Technology in Problem Solving Environments

ERIC Educational Resources Information Center

Aguilar-Magallón, Daniel Aurelio; Fernández, Willliam Enrique Poveda

2017-01-01

This article reports and analyzes different types of problems that nine students in a Master's Program in Mathematics Education posed during a course on problem solving. What opportunities (affordances) can a dynamic geometry system (GeoGebra) offer to allow in-service and in-training teachers to formulate and solve problems, and what type of…

The focal plane reception pattern calculation for a paraboloidal antenna with a nearby fence

NASA Technical Reports Server (NTRS)

Schmidt, Richard F.; Cheng, Hwai-Soon; Kao, Michael W.

1987-01-01

A computer simulation program is described which is used to estimate the effects of a proximate diffraction fence on the performance of paraboloid antennas. The computer program is written in FORTRAN. The physical problem, mathematical formulation and coordinate references are described. The main control structure of the program and the function of the individual subroutines are discussed. The Job Control Language set-up and program instruction are provided in the user's instruction to help users execute the present program. A sample problem with an appropriate output listing is made available as an illustration of the usage of the program.

Mathematics Ab Ovo: Hans Driesch and Entwicklungsmechanik.

PubMed

Priven, Silvia Waisse; Alfonso-Goldfarb, Ana M

2009-01-01

One of the factors leading to the creation of embryology as a modern discipline at the end of the 19th century was Wilhelm Roux's formulation of the program of Entwicklungsmechanik (developmental mechanics). A look into the work of Hans Driesch, an equal contributor to developmental mechanics, may shed further light on this process. For Roux, developmental mechanics was an anatomical science, but for Driesch it was associated with a mathematical and physical approach to the natural world. Likewise, Roux used the concept of mechanics as an analogy, but Driesch used it literally. Driesch's generation had been trained in a pedagogic context that emphasized mathematics and physics, which may explain why he went a step further than Roux to state that a true "mechanics" of development required the reduction of morphogenetic problems to the known laws of physics. It is argued here that this difference in background is behind the enthusiastic adoption and further development of Roux's program by Driesch's generation, a generation that conceived Entwicklungsmechanik to be the reduction of embryological processes to "the laws of matter in motion." This same mathematical and physical mindset would underscore Driesch's later construction of entelechy as a regulating factor in embryogenesis, through mathematical analysis grounded on the notion of mathematical functions.

Simulation of a manual electric-arc welding in a working gas pipeline. 1. Formulation of the problem

NASA Astrophysics Data System (ADS)

Baikov, V. I.; Gishkelyuk, I. A.; Rus', A. M.; Sidorovich, T. V.; Tonkonogov, B. A.

2010-11-01

Problems of mathematical simulation of the temperature stresses arising in the wall of a pipe of a cross-country gas pipeline in the process of electric-arc welding of defects in it have been considered. Mathematical models of formation of temperatures, deformations, and stresses in a gas pipe subjected to phase transformations have been developed. These models were numerically realized in the form of algorithms representing a part of an application-program package. Results of verification of the computational complex and calculation results obtained with it are presented.

Computing Linear Mathematical Models Of Aircraft

NASA Technical Reports Server (NTRS)

Duke, Eugene L.; Antoniewicz, Robert F.; Krambeer, Keith D.

1991-01-01

Derivation and Definition of Linear Aircraft Model (LINEAR) computer program provides user with powerful, and flexible, standard, documented, and verified software tool for linearization of mathematical models of aerodynamics of aircraft. Intended for use in software tool to drive linear analysis of stability and design of control laws for aircraft. Capable of both extracting such linearized engine effects as net thrust, torque, and gyroscopic effects, and including these effects in linear model of system. Designed to provide easy selection of state, control, and observation variables used in particular model. Also provides flexibility of allowing alternate formulations of both state and observation equations. Written in FORTRAN.

Proposal for Development of EBM-CDSS (Evidence-Based Clinical Decision Support System) to Aid Prognostication in Terminally Ill Patients

DTIC Science & Technology

2010-10-01

Mathematics , Indiana University Northwest, Gary, IN 3Department of Epidemiology and Biostatistics, Memorial Sloan-Kettering Cancer Center, NY 4H...however, is mathematically more parsimonious. The original DCA formulation required several mathematical manipulations making the simplicity of regret...into treatment administration examples; IH developed the mathematical formulation of the model; AV is the author of DCA; BD proposed the regret theory

A Comparative Analysis of the Minuteman Education Programs as Currently Offered at Six SAC Bases.

DTIC Science & Technology

1980-06-01

Principles of Marketing 3 Business Statistics 3 Business Law 3 Management Total... Principles of Marketing 3 Mathematics Methods I Total prerequisite hours 26 Required Graduate Courses Policy Formulation and Administration 3 Management...Business and Economic Statistics 3 Intermediate Business and Economic Statistics 3 Principles of Management 3 Corporation Finance 3 Principles of Marketing

Study of propellant dynamics in a shuttle type launch vehicle

NASA Technical Reports Server (NTRS)

Jones, C. E.; Feng, G. C.

1972-01-01

A method and an associated digital computer program for evaluating the vibrational characteristics of large liquid-filled rigid wall tanks of general shape are presented. A solution procedure was developed in which slosh modes and frequencies are computed for systems mathematically modeled as assemblages of liquid finite elements. To retain sparsity in the assembled system mass and stiffness matrices, a compressible liquid element formulation was incorporated in the program. The approach taken in the liquid finite element formulation is compatible with triangular and quadrilateral structural finite elements so that the analysis of liquid motion can be coupled with flexible tank wall motion at some future time. The liquid element repertoire developed during the course of this study consists of a two-dimensional triangular element and a three-dimensional tetrahedral element.

Power processing methodology. [computerized design of spacecraft electric power systems

NASA Technical Reports Server (NTRS)

Fegley, K. A.; Hansen, I. G.; Hayden, J. H.

1974-01-01

Discussion of the interim results of a program to investigate the feasibility of formulating a methodology for the modeling and analysis of aerospace electrical power processing systems. The object of the total program is to develop a flexible engineering tool which will allow the power processor designer to effectively and rapidly assess and analyze the tradeoffs available by providing, in one comprehensive program, a mathematical model, an analysis of expected performance, simulation, and a comparative evaluation with alternative designs. This requires an understanding of electrical power source characteristics and the effects of load control, protection, and total system interaction.

PAN AIR: A computer program for predicting subsonic or supersonic linear potential flows about arbitrary configurations using a higher order panel method. Volume 1: Theory document (version 1.1)

NASA Technical Reports Server (NTRS)

Magnus, A. E.; Epton, M. A.

1981-01-01

Panel aerodynamics (PAN AIR) is a system of computer programs designed to analyze subsonic and supersonic inviscid flows about arbitrary configurations. A panel method is a program which solves a linear partial differential equation by approximating the configuration surface by a set of panels. An overview of the theory of potential flow in general and PAN AIR in particular is given along with detailed mathematical formulations. Fluid dynamics, the Navier-Stokes equation, and the theory of panel methods were also discussed.

Crazing in Polymeric and Composite Systems

DTIC Science & Technology

1990-04-23

these physical variations into consideration in any mathematical modeling and formulation in analyzing the stresses from the time when crazes incept to...as boundary tractions with great strength; any governing mathematical formulation must include this feature for any adequate analysis. Crazes of...constants the mathematical model describing the crazing mechanism have been successful [25-29]. References 1 J. A. Sauer, J. Marin and C. C. Hsiao, J. App

Transport of reacting solutes in porous media: Relation between mathematical nature of problem formulation and chemical nature of reactions

USGS Publications Warehouse

Rubin, Jacob

1983-01-01

Examples involving six broad reaction classes show that the nature of transport-affecting chemistry may have a profound effect on the mathematical character of solute transport problem formulation. Substantive mathematical diversity among such formulations is brought about principally by reaction properties that determine whether (1) the reaction can be regarded as being controlled by local chemical equilibria or whether it must be considered as being controlled by kinetics, (2) the reaction is homogeneous or heterogeneous, (3) the reaction is a surface reaction (adsorption, ion exchange) or one of the reactions of classical chemistry (e.g., precipitation, dissolution, oxidation, reduction, complex formation). These properties, as well as the choice of means to describe them, stipulate, for instance, (1) the type of chemical entities for which a formulation's basic, mass-balance equations should be written; (2) the nature of mathematical transformations needed to change the problem's basic equations into operational ones. These and other influences determine such mathematical features of problem formulations as the nature of the operational transport-equation system (e.g., whether it involves algebraic, partial-differential, or integro-partial-differential simultaneous equations), the type of nonlinearities of such a system, and the character of the boundaries (e.g., whether they are stationary or moving). Exploration of the reasons for the dependence of transport mathematics on transport chemistry suggests that many results of this dependence stem from the basic properties of the reactions' chemical-relation (i.e., equilibrium or rate) equations.

A generalized network flow model for the multi-mode resource-constrained project scheduling problem with discounted cash flows

NASA Astrophysics Data System (ADS)

Chen, Miawjane; Yan, Shangyao; Wang, Sin-Siang; Liu, Chiu-Lan

2015-02-01

An effective project schedule is essential for enterprises to increase their efficiency of project execution, to maximize profit, and to minimize wastage of resources. Heuristic algorithms have been developed to efficiently solve the complicated multi-mode resource-constrained project scheduling problem with discounted cash flows (MRCPSPDCF) that characterize real problems. However, the solutions obtained in past studies have been approximate and are difficult to evaluate in terms of optimality. In this study, a generalized network flow model, embedded in a time-precedence network, is proposed to formulate the MRCPSPDCF with the payment at activity completion times. Mathematically, the model is formulated as an integer network flow problem with side constraints, which can be efficiently solved for optimality, using existing mathematical programming software. To evaluate the model performance, numerical tests are performed. The test results indicate that the model could be a useful planning tool for project scheduling in the real world.

A numerically efficient finite element hydroelastic analysis. Volume 2: Implementation in NASTRAN, part 1

NASA Technical Reports Server (NTRS)

Coppolino, R. N.

1974-01-01

Details are presented of the implementation of the new formulation into NASTRAN including descriptions of the DMAP statements required for conversion of the program and details pertaining to problem definition and bulk data considerations. Details of the current 1/8-scale space shuttle external tank mathematical model, numerical results and analysis/test comparisons are also presented. The appendices include a description and listing of a FORTRAN program used to develop harmonic transformation bulk data (multipoint constraint statements) and sample bulk data information for a number of hydroelastic problems.

How students process equations in solving quantitative synthesis problems? Role of mathematical complexity in students' mathematical performance

NASA Astrophysics Data System (ADS)

Ibrahim, Bashirah; Ding, Lin; Heckler, Andrew F.; White, Daniel R.; Badeau, Ryan

2017-12-01

We examine students' mathematical performance on quantitative "synthesis problems" with varying mathematical complexity. Synthesis problems are tasks comprising multiple concepts typically taught in different chapters. Mathematical performance refers to the formulation, combination, and simplification of equations. Generally speaking, formulation and combination of equations require conceptual reasoning; simplification of equations requires manipulation of equations as computational tools. Mathematical complexity is operationally defined by the number and the type of equations to be manipulated concurrently due to the number of unknowns in each equation. We use two types of synthesis problems, namely, sequential and simultaneous tasks. Sequential synthesis tasks require a chronological application of pertinent concepts, and simultaneous synthesis tasks require a concurrent application of the pertinent concepts. A total of 179 physics major students from a second year mechanics course participated in the study. Data were collected from written tasks and individual interviews. Results show that mathematical complexity negatively influences the students' mathematical performance on both types of synthesis problems. However, for the sequential synthesis tasks, it interferes only with the students' simplification of equations. For the simultaneous synthesis tasks, mathematical complexity additionally impedes the students' formulation and combination of equations. Several reasons may explain this difference, including the students' different approaches to the two types of synthesis problems, cognitive load, and the variation of mathematical complexity within each synthesis type.

A multi-objective programming model for assessment the GHG emissions in MSW management

DOE Office of Scientific and Technical Information (OSTI.GOV)

Mavrotas, George, E-mail: mavrotas@chemeng.ntua.gr; Skoulaxinou, Sotiria; Gakis, Nikos

2013-09-15

Highlights: • The multi-objective multi-period optimization model. • The solution approach for the generation of the Pareto front with mathematical programming. • The very detailed description of the model (decision variables, parameters, equations). • The use of IPCC 2006 guidelines for landfill emissions (first order decay model) in the mathematical programming formulation. - Abstract: In this study a multi-objective mathematical programming model is developed for taking into account GHG emissions for Municipal Solid Waste (MSW) management. Mathematical programming models are often used for structure, design and operational optimization of various systems (energy, supply chain, processes, etc.). The last twenty yearsmore » they are used all the more often in Municipal Solid Waste (MSW) management in order to provide optimal solutions with the cost objective being the usual driver of the optimization. In our work we consider the GHG emissions as an additional criterion, aiming at a multi-objective approach. The Pareto front (Cost vs. GHG emissions) of the system is generated using an appropriate multi-objective method. This information is essential to the decision maker because he can explore the trade-offs in the Pareto curve and select his most preferred among the Pareto optimal solutions. In the present work a detailed multi-objective, multi-period mathematical programming model is developed in order to describe the waste management problem. Apart from the bi-objective approach, the major innovations of the model are (1) the detailed modeling considering 34 materials and 42 technologies, (2) the detailed calculation of the energy content of the various streams based on the detailed material balances, and (3) the incorporation of the IPCC guidelines for the CH{sub 4} generated in the landfills (first order decay model). The equations of the model are described in full detail. Finally, the whole approach is illustrated with a case study referring to the application of the model in a Greek region.« less

Flexible rotor dynamics analysis

NASA Technical Reports Server (NTRS)

Shen, F. A.

1973-01-01

A digital computer program was developed to analyze the general nonaxisymmetric and nonsynchronous transient and steady-state rotor dynamic performance of a bending- and shear-wise flexible rotor-bearing system under various operating conditions. The effects of rotor material mechanical hysteresis, rotor torsion flexibility, transverse effects of rotor axial and torsional loading and the anisotropic, in-phase and out-of-phase bearing stiffness and damping force and moment coefficients were included in the program to broaden its capability. An optimum solution method was found and incorporated in the computer program. Computer simulation of experimental data was made and qualitative agreements observed. The mathematical formulations, computer program verification, test data simulation, and user instruction was presented and discussed.

Mathematical aspects of finite element methods for incompressible viscous flows

NASA Technical Reports Server (NTRS)

Gunzburger, M. D.

1986-01-01

Mathematical aspects of finite element methods are surveyed for incompressible viscous flows, concentrating on the steady primitive variable formulation. The discretization of a weak formulation of the Navier-Stokes equations are addressed, then the stability condition is considered, the satisfaction of which insures the stability of the approximation. Specific choices of finite element spaces for the velocity and pressure are then discussed. Finally, the connection between different weak formulations and a variety of boundary conditions is explored.

The Construction of Mathematical Literacy Problems for Geometry

NASA Astrophysics Data System (ADS)

Malasari, P. N.; Herman, T.; Jupri, A.

2017-09-01

The students of junior high school should have mathematical literacy ability to formulate, apply, and interpret mathematics in problem solving of daily life. Teaching these students are not enough by giving them ordinary mathematics problems. Teaching activities for these students brings consequence for teacher to construct mathematical literacy problems. Therefore, the aim of this study is to construct mathematical literacy problems to assess mathematical literacy ability. The steps of this study that consists of analysing, designing, theoretical validation, revising, limited testing to students, and evaluating. The data was collected with written test to 38 students of grade IX at one of state junior high school. Mathematical literacy problems consist of three essays with three indicators and three levels at polyhedron subject. The Indicators are formulating and employing mathematics. The results show that: (1) mathematical literacy problems which are constructed have been valid and practical, (2) mathematical literacy problems have good distinguishing characteristics and adequate distinguishing characteristics, (3) difficulty levels of problems are easy and moderate. The final conclusion is mathematical literacy problems which are constructed can be used to assess mathematical literacy ability.

Review: Optimization methods for groundwater modeling and management

NASA Astrophysics Data System (ADS)

Yeh, William W.-G.

2015-09-01

Optimization methods have been used in groundwater modeling as well as for the planning and management of groundwater systems. This paper reviews and evaluates the various optimization methods that have been used for solving the inverse problem of parameter identification (estimation), experimental design, and groundwater planning and management. Various model selection criteria are discussed, as well as criteria used for model discrimination. The inverse problem of parameter identification concerns the optimal determination of model parameters using water-level observations. In general, the optimal experimental design seeks to find sampling strategies for the purpose of estimating the unknown model parameters. A typical objective of optimal conjunctive-use planning of surface water and groundwater is to minimize the operational costs of meeting water demand. The optimization methods include mathematical programming techniques such as linear programming, quadratic programming, dynamic programming, stochastic programming, nonlinear programming, and the global search algorithms such as genetic algorithms, simulated annealing, and tabu search. Emphasis is placed on groundwater flow problems as opposed to contaminant transport problems. A typical two-dimensional groundwater flow problem is used to explain the basic formulations and algorithms that have been used to solve the formulated optimization problems.

A vectorized algorithm for 3D dynamics of a tethered satellite

NASA Technical Reports Server (NTRS)

Wilson, Howard B.

1989-01-01

Equations of motion characterizing the three dimensional motion of a tethered satellite during the retrieval phase are studied. The mathematical model involves an arbitrary number of point masses connected by weightless cords. Motion occurs in a gravity gradient field. The formulation presented accounts for general functions describing support point motion, rate of tether retrieval, and arbitrary forces applied to the point masses. The matrix oriented program language MATLAB is used to produce an efficient vectorized formulation for computing natural frequencies and mode shapes for small oscillations about the static equilibrium configuration; and for integrating the nonlinear differential equations governing large amplitude motions. An example of time response pertaining to the skip rope effect is investigated.

Numerical, analytical, experimental study of fluid dynamic forces in seals

NASA Technical Reports Server (NTRS)

Shapiro, William; Artiles, Antonio; Aggarwal, Bharat; Walowit, Jed; Athavale, Mahesh M.; Preskwas, Andrzej J.

1992-01-01

NASA/Lewis Research Center is sponsoring a program for providing computer codes for analyzing and designing turbomachinery seals for future aerospace and engine systems. The program is made up of three principal components: (1) the development of advanced three dimensional (3-D) computational fluid dynamics codes, (2) the production of simpler two dimensional (2-D) industrial codes, and (3) the development of a knowledge based system (KBS) that contains an expert system to assist in seal selection and design. The first task has been to concentrate on cylindrical geometries with straight, tapered, and stepped bores. Improvements have been made by adoption of a colocated grid formulation, incorporation of higher order, time accurate schemes for transient analysis and high order discretization schemes for spatial derivatives. This report describes the mathematical formulations and presents a variety of 2-D results, including labyrinth and brush seal flows. Extensions of 3-D are presently in progress.

Combinatorial optimization games

DOE Office of Scientific and Technical Information (OSTI.GOV)

Deng, X.; Ibaraki, Toshihide; Nagamochi, Hiroshi

1997-06-01

We introduce a general integer programming formulation for a class of combinatorial optimization games, which immediately allows us to improve the algorithmic result for finding amputations in the core (an important solution concept in cooperative game theory) of the network flow game on simple networks by Kalai and Zemel. An interesting result is a general theorem that the core for this class of games is nonempty if and only if a related linear program has an integer optimal solution. We study the properties for this mathematical condition to hold for several interesting problems, and apply them to resolve algorithmic andmore » complexity issues for their cores along the line as put forward in: decide whether the core is empty; if the core is empty, find an imputation in the core; given an imputation x, test whether x is in the core. We also explore the properties of totally balanced games in this succinct formulation of cooperative games.« less

A Depolarization and Attenuation Experiment Using the CTS and COMSTAR Satellites. Mathematical Formulations and Definitions for Dual Polarized Reception of a Wave Passing Through a Depolarizing Medium (A Polarization Primer)

NASA Technical Reports Server (NTRS)

Stutzman, W. L.

1977-01-01

The theoretical fundamentals and mathematical definitions for calculations involved with dual polarized radio links are given. Detailed derivations and results are discussed for several formulations applied to a general dual polarized radio link.

Mathematical literacy skills of students' in term of gender differences

NASA Astrophysics Data System (ADS)

Lailiyah, Siti

2017-08-01

Good mathematical literacy skills will hopefully help maximize the tasks and role of the prospective teacher in activities. Mathematical literacy focus on students' ability to analyze, justify, and communicate ideas effectively, formulate, solve and interpret mathematical problems in a variety of forms and situations. The purpose of this study is to describe the mathematical literacy skills of the prospective teacher in term of gender differences. This research used a qualitative approach with a case study. Subjects of this study were taken from two male students and two female students of the mathematics education prospective teacher who have followed Community Service Program (CSP) in literacy. Data were collected through methods think a loud and interviews. Four prospective teachers were asked to fill mathematical literacy test and video taken during solving this test. Students are required to convey loud what he was thinking when solving problems. After students get the solution, researchers grouped the students' answers and results think aloud. Furthermore, the data are grouped and analyzed according to indicators of mathematical literacy skills. Male students have good of each indicator in mathematical literacy skills (the first indicator to the sixth indicator). Female students have good of mathematical literacy skills (the first indicator, the second indicator, the third indicator, the fourth indicator and the sixth indicator), except for the fifth indicators that are enough.

Modifications to give HOPE/MDC 2.0 the capability to solve for or consider vent forces: Mission planning, mission analysis, and software formulation

NASA Technical Reports Server (NTRS)

Zyla, L. V.

1979-01-01

The modifications are described as necessary to give the Houston Operations Predictor/Estimator (HOPE) program the capability to solve for or consider vent forces for orbit determination. The model implemented in solving for vent forces is described along with the integrator problems encountered. A summary derivation of the mathematical principles applicable to solve/consider methodology is provided.

Discrete Applied Mathematics

DTIC Science & Technology

1993-05-31

program. In paper [28], we give a brief and elementary proof of a result of Hoffman [1952) about approximate solutions to systems, of linear inequalities...UCLA, Vestvood, CA, February 1993. " Linear Problems: Formulation and Solution," International Linear Algebra Society, Pensacola, FL, May 1993. Denise S...thresAold If there is a number h and a linear k-separator w assigning a real number to each vertex so that for any subset S of vertices, the sum of w

Cournot games with network effects for electric power markets

NASA Astrophysics Data System (ADS)

Spezia, Carl John

The electric utility industry is moving from regulated monopolies with protected service areas to an open market with many wholesale suppliers competing for consumer load. This market is typically modeled by a Cournot game oligopoly where suppliers compete by selecting profit maximizing quantities. The classical Cournot model can produce multiple solutions when the problem includes typical power system constraints. This work presents a mathematical programming formulation of oligopoly that produces unique solutions when constraints limit the supplier outputs. The formulation casts the game as a supply maximization problem with power system physical limits and supplier incremental profit functions as constraints. The formulation gives Cournot solutions identical to other commonly used algorithms when suppliers operate within the constraints. Numerical examples demonstrate the feasibility of the theory. The results show that the maximization formulation will give system operators more transmission capacity when compared to the actions of suppliers in a classical constrained Cournot game. The results also show that the profitability of suppliers in constrained networks depends on their location relative to the consumers' load concentration.

Development of spectral analysis math models and software program and spectral analyzer, digital converter interface equipment design

NASA Technical Reports Server (NTRS)

Hayden, W. L.; Robinson, L. H.

1972-01-01

Spectral analyses of angle-modulated communication systems is studied by: (1) performing a literature survey of candidate power spectrum computational techniques, determining the computational requirements, and formulating a mathematical model satisfying these requirements; (2) implementing the model on UNIVAC 1230 digital computer as the Spectral Analysis Program (SAP); and (3) developing the hardware specifications for a data acquisition system which will acquire an input modulating signal for SAP. The SAP computational technique uses extended fast Fourier transform and represents a generalized approach for simple and complex modulating signals.

How Students Process Equations in Solving Quantitative Synthesis Problems? Role of Mathematical Complexity in Students' Mathematical Performance

ERIC Educational Resources Information Center

Ibrahim, Bashirah; Ding, Lin; Heckler, Andrew F.; White, Daniel R.; Badeau, Ryan

2017-01-01

We examine students' mathematical performance on quantitative "synthesis problems" with varying mathematical complexity. Synthesis problems are tasks comprising multiple concepts typically taught in different chapters. Mathematical performance refers to the formulation, combination, and simplification of equations. Generally speaking,…

An integer programming formulation of the parsimonious loss of heterozygosity problem.

PubMed

Catanzaro, Daniele; Labbé, Martine; Halldórsson, Bjarni V

2013-01-01

A loss of heterozygosity (LOH) event occurs when, by the laws of Mendelian inheritance, an individual should be heterozygote at a given site but, due to a deletion polymorphism, is not. Deletions play an important role in human disease and their detection could provide fundamental insights for the development of new diagnostics and treatments. In this paper, we investigate the parsimonious loss of heterozygosity problem (PLOHP), i.e., the problem of partitioning suspected polymorphisms from a set of individuals into a minimum number of deletion areas. Specifically, we generalize Halldórsson et al.'s work by providing a more general formulation of the PLOHP and by showing how one can incorporate different recombination rates and prior knowledge about the locations of deletions. Moreover, we show that the PLOHP can be formulated as a specific version of the clique partition problem in a particular class of graphs called undirected catch-point interval graphs and we prove its general $({\\cal NP})$-hardness. Finally, we provide a state-of-the-art integer programming (IP) formulation and strengthening valid inequalities to exactly solve real instances of the PLOHP containing up to 9,000 individuals and 3,000 SNPs. Our results give perspectives on the mathematics of the PLOHP and suggest new directions on the development of future efficient exact solution approaches.

Profile of male-field dependent (FD) prospective teacher's reflective thinking in solving contextual mathematical problem

NASA Astrophysics Data System (ADS)

Agustan, S.; Juniati, Dwi; Siswono, Tatag Yuli Eko

2017-08-01

Reflective thinking is an important component in the world of education, especially in professional education of teachers. In learning mathematics, reflective thinking is one way to solve mathematical problem because it can improve student's curiosity when student faces a mathematical problem. Reflective thinking is also a future competence that should be taught to students to face the challenges and to respond of demands of the 21st century. There are many factors which give impact toward the student's reflective thinking when student solves mathematical problem. One of them is cognitive style. For this reason, reflective thinking and cognitive style are important things in solving contextual mathematical problem. This research paper describes aspect of reflective thinking in solving contextual mathematical problem involved solution by using some mathematical concept, namely linear program, algebra arithmetic operation, and linear equations of two variables. The participant, in this research paper, is a male-prospective teacher who has Field Dependent. The purpose of this paper is to describe aspect of prospective teachers' reflective thinking in solving contextual mathematical problem. This research paper is a descriptive by using qualitative approach. To analyze the data, the researchers focus in four main categories which describe prospective teacher's activities using reflective thinking, namely; (a) formulation and synthesis of experience, (b) orderliness of experience, (c) evaluating the experience and (d) testing the selected solution based on the experience.

Designing single- and multiple-shell sampling schemes for diffusion MRI using spherical code.

PubMed

Cheng, Jian; Shen, Dinggang; Yap, Pew-Thian

2014-01-01

In diffusion MRI (dMRI), determining an appropriate sampling scheme is crucial for acquiring the maximal amount of information for data reconstruction and analysis using the minimal amount of time. For single-shell acquisition, uniform sampling without directional preference is usually favored. To achieve this, a commonly used approach is the Electrostatic Energy Minimization (EEM) method introduced in dMRI by Jones et al. However, the electrostatic energy formulation in EEM is not directly related to the goal of optimal sampling-scheme design, i.e., achieving large angular separation between sampling points. A mathematically more natural approach is to consider the Spherical Code (SC) formulation, which aims to achieve uniform sampling by maximizing the minimal angular difference between sampling points on the unit sphere. Although SC is well studied in the mathematical literature, its current formulation is limited to a single shell and is not applicable to multiple shells. Moreover, SC, or more precisely continuous SC (CSC), currently can only be applied on the continuous unit sphere and hence cannot be used in situations where one or several subsets of sampling points need to be determined from an existing sampling scheme. In this case, discrete SC (DSC) is required. In this paper, we propose novel DSC and CSC methods for designing uniform single-/multi-shell sampling schemes. The DSC and CSC formulations are solved respectively by Mixed Integer Linear Programming (MILP) and a gradient descent approach. A fast greedy incremental solution is also provided for both DSC and CSC. To our knowledge, this is the first work to use SC formulation for designing sampling schemes in dMRI. Experimental results indicate that our methods obtain larger angular separation and better rotational invariance than the generalized EEM (gEEM) method currently used in the Human Connectome Project (HCP).

Optimal Diet Planning for Eczema Patient Using Integer Programming

NASA Astrophysics Data System (ADS)

Zhen Sheng, Low; Sufahani, Suliadi

2018-04-01

Human diet planning is conducted by choosing appropriate food items that fulfill the nutritional requirements into the diet formulation. This paper discusses the application of integer programming to build the mathematical model of diet planning for eczema patients. The model developed is used to solve the diet problem of eczema patients from young age group. The integer programming is a scientific approach to select suitable food items, which seeks to minimize the costs, under conditions of meeting desired nutrient quantities, avoiding food allergens and getting certain foods into the diet that brings relief to the eczema conditions. This paper illustrates that the integer programming approach able to produce the optimal and feasible solution to deal with the diet problem of eczema patient.

Secondary electron generation, emission and transport: Effects on spacecraft charging and NASCAP models

NASA Technical Reports Server (NTRS)

Katz, Ira; Mandell, Myron; Roche, James C.; Purvis, Carolyn

1987-01-01

Secondary electrons control a spacecraft's response to a plasma environment. To accurately simulate spacecraft charging, the NASA Charging Analyzer Program (NASCAP) has mathematical models of the generation, emission and transport of secondary electrons. The importance of each of the processes and the physical basis for each of the NASCAP models are discussed. Calculations are presented which show that the NASCAP formulations are in good agreement with both laboratory and space experiments.

An electromagnetism-like metaheuristic for open-shop problems with no buffer

NASA Astrophysics Data System (ADS)

Naderi, Bahman; Najafi, Esmaeil; Yazdani, Mehdi

2012-12-01

This paper considers open-shop scheduling with no intermediate buffer to minimize total tardiness. This problem occurs in many production settings, in the plastic molding, chemical, and food processing industries. The paper mathematically formulates the problem by a mixed integer linear program. The problem can be optimally solved by the model. The paper also develops a novel metaheuristic based on an electromagnetism algorithm to solve the large-sized problems. The paper conducts two computational experiments. The first includes small-sized instances by which the mathematical model and general performance of the proposed metaheuristic are evaluated. The second evaluates the metaheuristic for its performance to solve some large-sized instances. The results show that the model and algorithm are effective to deal with the problem.

Continuum mechanics and thermodynamics in the Hamilton and the Godunov-type formulations

NASA Astrophysics Data System (ADS)

Peshkov, Ilya; Pavelka, Michal; Romenski, Evgeniy; Grmela, Miroslav

2018-01-01

Continuum mechanics with dislocations, with the Cattaneo-type heat conduction, with mass transfer, and with electromagnetic fields is put into the Hamiltonian form and into the form of the Godunov-type system of the first-order, symmetric hyperbolic partial differential equations (SHTC equations). The compatibility with thermodynamics of the time reversible part of the governing equations is mathematically expressed in the former formulation as degeneracy of the Hamiltonian structure and in the latter formulation as the existence of a companion conservation law. In both formulations the time irreversible part represents gradient dynamics. The Godunov-type formulation brings the mathematical rigor (the local well posedness of the Cauchy initial value problem) and the possibility to discretize while keeping the physical content of the governing equations (the Godunov finite volume discretization).

Mathematical model for dynamic cell formation in fast fashion apparel manufacturing stage

NASA Astrophysics Data System (ADS)

Perera, Gayathri; Ratnayake, Vijitha

2018-05-01

This paper presents a mathematical programming model for dynamic cell formation to minimize changeover-related costs (i.e., machine relocation costs and machine setup cost) and inter-cell material handling cost to cope with the volatile production environments in apparel manufacturing industry. The model is formulated through findings of a comprehensive literature review. Developed model is validated based on data collected from three different factories in apparel industry, manufacturing fast fashion products. A program code is developed using Lingo 16.0 software package to generate optimal cells for developed model and to determine the possible cost-saving percentage when the existing layouts used in three factories are replaced by generated optimal cells. The optimal cells generated by developed mathematical model result in significant cost saving when compared with existing product layouts used in production/assembly department of selected factories in apparel industry. The developed model can be considered as effective in minimizing the considered cost terms in dynamic production environment of fast fashion apparel manufacturing industry. Findings of this paper can be used for further researches on minimizing the changeover-related costs in fast fashion apparel production stage.

Overview of Aro Program on Network Science for Human Decision Making

NASA Astrophysics Data System (ADS)

West, Bruce J.

This program brings together researchers from disparate disciplines to work on a complex research problem that defies confinement within any single discipline. Consequently, not only are new and rewarding solutions sought and obtained for a problem of importance to society and the Army, that is, the human dimension of complex networks, but, in addition, collaborations are established that would not otherwise have formed given the traditional disciplinary compartmentalization of research. This program develops the basic research foundation of a science of networks supporting the linkage between the physical and human (cognitive and social) domains as they relate to human decision making. The strategy is to extend the recent methods of non-equilibrium statistical physics to non-stationary, renewal stochastic processes that appear to be characteristic of the interactions among nodes in complex networks. We also pursue understanding of the phenomenon of synchronization, whose mathematical formulation has recently provided insight into how complex networks reach accommodation and cooperation. The theoretical analyses of complex networks, although mathematically rigorous, often elude analytic solutions and require computer simulation and computation to analyze the underlying dynamic process.

Aeroelastic analysis for helicopter rotors with blade appended pendulum vibration absorbers. Mathematical derivations and program user's manual

NASA Technical Reports Server (NTRS)

Bielawa, R. L.

1982-01-01

Mathematical development is presented for the expanded capabilities of the United Technologies Research Center (UTRC) G400 Rotor Aeroelastic Analysis. This expanded analysis, G400PA, simulates the dynamics of teetered rotors, blade pendulum vibration absorbers and the higher harmonic excitations resulting from prescribed vibratory hub motions and higher harmonic blade pitch control. Formulations are also presented for calculating the rotor impedance matrix appropriate to these higher harmonic blade excitations. This impedance matrix and the associated vibratory hub loads are intended as the rotor blade characteristics elements for use in the Simplified Coupled Rotor/Fuselage Vibration Analysis (SIMVIB). Sections are included presenting updates to the development of the original G400 theory, and material appropriate to the user of the G400PA computer program. This material includes: (1) a general descriptionof the tructuring of the G400PA FORTRAN coding, (2) a detaild description of the required input data and other useful information for successfully running the program, and (3) a detailed description of the output results.

Applied Mathematics in the Undergraduate Curriculum.

ERIC Educational Resources Information Center

Committee on the Undergraduate Program in Mathematics, Berkeley, CA.

After considering the growth in the use of mathematics in the past 25 years, this report makes four major recommendations regarding the undergraduate curriculum: (1) The mathematics department should offer a course or two in applied mathematics which treat some realistic situations completely, including the steps of problem formulation, model…

Optimal cure cycle design of a resin-fiber composite laminate

NASA Technical Reports Server (NTRS)

Hou, Jean W.; Sheen, Jeenson

1987-01-01

A unified computed aided design method was studied for the cure cycle design that incorporates an optimal design technique with the analytical model of a composite cure process. The preliminary results of using this proposed method for optimal cure cycle design are reported and discussed. The cure process of interest is the compression molding of a polyester which is described by a diffusion reaction system. The finite element method is employed to convert the initial boundary value problem into a set of first order differential equations which are solved simultaneously by the DE program. The equations for thermal design sensitivities are derived by using the direct differentiation method and are solved by the DE program. A recursive quadratic programming algorithm with an active set strategy called a linearization method is used to optimally design the cure cycle, subjected to the given design performance requirements. The difficulty of casting the cure cycle design process into a proper mathematical form is recognized. Various optimal design problems are formulated to address theses aspects. The optimal solutions of these formulations are compared and discussed.

PSQP: Puzzle Solving by Quadratic Programming.

PubMed

Andalo, Fernanda A; Taubin, Gabriel; Goldenstein, Siome

2017-02-01

In this article we present the first effective method based on global optimization for the reconstruction of image puzzles comprising rectangle pieces-Puzzle Solving by Quadratic Programming (PSQP). The proposed novel mathematical formulation reduces the problem to the maximization of a constrained quadratic function, which is solved via a gradient ascent approach. The proposed method is deterministic and can deal with arbitrary identical rectangular pieces. We provide experimental results showing its effectiveness when compared to state-of-the-art approaches. Although the method was developed to solve image puzzles, we also show how to apply it to the reconstruction of simulated strip-shredded documents, broadening its applicability.

STABCAR: A program for finding characteristic root systems having transcendental stability matrices

NASA Technical Reports Server (NTRS)

Adams, W. M., Jr.; Tiffany, S. H.; Newsom, J. R.; Peele, E. L.

1984-01-01

STABCAR can be used to determine the characteristic roots of flexible, actively controlled aircraft, including the effects of unsteady aerodynamics. A modal formulation and a transfer-matrix representation of the control system are employed. Operable in either a batch or an interactive mode, STABCAR can provide graphical or tabular output of the variation of the roots with velocity, density, altitude, dynamic pressure or feedback gains. Herein the mathematical model, program structure, input requirements, output capabilities, and a series of sample cases are detailed. STABCAR was written for use on CDC CYBER 175 equipment; modification would be required for operation on other machines.

Spherical roller bearing analysis. SKF computer program SPHERBEAN. Volume 1: Analysis

NASA Technical Reports Server (NTRS)

Kleckner, R. J.; Pirvics, J.

1980-01-01

The models and associated mathematics used within the SPHERBEAN computer program for prediction of the thermomechanical performance characteristics of high speed lubricated double row spherical roller bearings are presented. The analysis allows six degrees of freedom for each roller and three for each half of an optionally split cage. Roller skew, free lubricant, inertial loads, appropriate elastic and friction forces, and flexible outer ring are considered. Roller quasidynamic equilibrium is calculated for a bearing with up to 30 rollers per row, and distinct roller and flange geometries are specifiable. The user is referred to the material contained here for formulation assumptions and algorithm detail.

A method of building of decision trees based on data from wearable device during a rehabilitation of patients with tibia fractures

DOE Office of Scientific and Technical Information (OSTI.GOV)

Kupriyanov, M. S., E-mail: mikhail.kupriyanov@gmail.com; Shukeilo, E. Y., E-mail: eyshukeylo@gmail.com; Shichkina, J. A., E-mail: strange.y@mail.ru

2015-11-17

Nowadays technologies which are used in traumatology are a combination of mechanical, electronic, calculating and programming tools. Relevance of development of mobile applications for an expeditious data processing which are received from medical devices (in particular, wearable devices), and formulation of management decisions increases. Using of a mathematical method of building of decision trees for an assessment of a patient’s health condition using data from a wearable device considers in this article.

A method of building of decision trees based on data from wearable device during a rehabilitation of patients with tibia fractures

NASA Astrophysics Data System (ADS)

Kupriyanov, M. S.; Shukeilo, E. Y.; Shichkina, J. A.

2015-11-01

Nowadays technologies which are used in traumatology are a combination of mechanical, electronic, calculating and programming tools. Relevance of development of mobile applications for an expeditious data processing which are received from medical devices (in particular, wearable devices), and formulation of management decisions increases. Using of a mathematical method of building of decision trees for an assessment of a patient's health condition using data from a wearable device considers in this article.

Modeling of transient heat pipe operation

NASA Technical Reports Server (NTRS)

Colwell, Gene T.

1989-01-01

Mathematical models and an associated computer program for heat pipe startup from the frozen state have been developed. Finite element formulations of the governing equations are written for each heat pipe region for each operating condition during startup from the frozen state. The various models were checked against analytical and experimental data available in the literature for three specific types of operation. Computations using the methods developed were made for a space shuttle reentry mission where a heat pipe cooled leading edge was used on the wing.

Thermodynamic investigation of the interaction between cyclodextrins and preservatives - Application and verification in a mathematical model to determine the needed preservative surplus in aqueous cyclodextrin formulations.

PubMed

Holm, René; Olesen, Niels Erik; Alexandersen, Signe Dalgaard; Dahlgaard, Birgitte N; Westh, Peter; Mu, Huiling

2016-05-25

Preservatives are inactivated when added to conserve aqueous cyclodextrin (CD) formulations due to complex formation between CDs and the preservative. To maintain the desired conservation effect the preservative needs to be added in apparent surplus to account for this inactivation. The purpose of the present work was to establish a mathematical model, which defines this surplus based upon knowledge of stability constants and the minimal concentration of preservation to inhibit bacterial growth. The stability constants of benzoic acid, methyl- and propyl-paraben with different frequently used βCDs were determined by isothermal titration calorimetry. Based upon this knowledge mathematical models were constructed to account for the equilibrium systems and to calculate the required concentration of the preservations, which was evaluated experimentally based upon the USP/Ph. Eur./JP monograph. The mathematical calculations were able to predict the needed concentration of preservation in the presence of CDs; it clearly demonstrated the usefulness of including all underlying chemical equilibria in a mathematical model, such that the formulation design can be based on quantitative arguments. Copyright © 2015 Elsevier B.V. All rights reserved.

Space Trajectories Error Analysis (STEAP) Programs. Volume 1: Analytic manual, update

NASA Technical Reports Server (NTRS)

1971-01-01

Manual revisions are presented for the modified and expanded STEAP series. The STEAP 2 is composed of three independent but related programs: NOMAL for the generation of n-body nominal trajectories performing a number of deterministic guidance events; ERRAN for the linear error analysis and generalized covariance analysis along specific targeted trajectories; and SIMUL for testing the mathematical models used in the navigation and guidance process. The analytic manual provides general problem description, formulation, and solution and the detailed analysis of subroutines. The programmers' manual gives descriptions of the overall structure of the programs as well as the computational flow and analysis of the individual subroutines. The user's manual provides information on the input and output quantities of the programs. These are updates to N69-36472 and N69-36473.

Mathematical formulation and numerical simulation of bird flu infection process within a poultry farm

NASA Astrophysics Data System (ADS)

Putri, Arrival Rince; Nova, Tertia Delia; Watanabe, M.

2016-02-01

Bird flu infection processes within a poultry farm are formulated mathematically. A spatial effect is taken into account for the virus concentration with a diffusive term. An infection process is represented in terms of a traveling wave solutions. For a small removal rate, a singular perturbation analysis lead to existence of traveling wave solutions, that correspond to progressive infection in one direction.

Numerical implementation of the S-matrix algorithm for modeling of relief diffraction gratings

NASA Astrophysics Data System (ADS)

Yaremchuk, Iryna; Tamulevičius, Tomas; Fitio, Volodymyr; Gražulevičiūte, Ieva; Bobitski, Yaroslav; Tamulevičius, Sigitas

2013-11-01

A new numerical implementation is developed to calculate the diffraction efficiency of relief diffraction gratings. In the new formulation, vectors containing the expansion coefficients of electric and magnetic fields on boundaries of the grating layer are expressed by additional constants. An S-matrix algorithm has been systematically described in detail and adapted to a simple matrix form. This implementation is suitable for the study of optical characteristics of periodic structures by using modern object-oriented programming languages and different standard mathematical software. The modeling program has been developed on the basis of this numerical implementation and tested by comparison with other commercially available programs and experimental data. Numerical examples are given to show the usefulness of the new implementation.

Nine formulations of quantum mechanics

NASA Astrophysics Data System (ADS)

Styer, Daniel F.; Balkin, Miranda S.; Becker, Kathryn M.; Burns, Matthew R.; Dudley, Christopher E.; Forth, Scott T.; Gaumer, Jeremy S.; Kramer, Mark A.; Oertel, David C.; Park, Leonard H.; Rinkoski, Marie T.; Smith, Clait T.; Wotherspoon, Timothy D.

2002-03-01

Nine formulations of nonrelativistic quantum mechanics are reviewed. These are the wavefunction, matrix, path integral, phase space, density matrix, second quantization, variational, pilot wave, and Hamilton-Jacobi formulations. Also mentioned are the many-worlds and transactional interpretations. The various formulations differ dramatically in mathematical and conceptual overview, yet each one makes identical predictions for all experimental results.

Mathematical properties and bounds on haplotyping populations by pure parsimony.

PubMed

Wang, I-Lin; Chang, Chia-Yuan

2011-06-01

Although the haplotype data can be used to analyze the function of DNA, due to the significant efforts required in collecting the haplotype data, usually the genotype data is collected and then the population haplotype inference (PHI) problem is solved to infer haplotype data from genotype data for a population. This paper investigates the PHI problem based on the pure parsimony criterion (HIPP), which seeks the minimum number of distinct haplotypes to infer a given genotype data. We analyze the mathematical structure and properties for the HIPP problem, propose techniques to reduce the given genotype data into an equivalent one of much smaller size, and analyze the relations of genotype data using a compatible graph. Based on the mathematical properties in the compatible graph, we propose a maximal clique heuristic to obtain an upper bound, and a new polynomial-sized integer linear programming formulation to obtain a lower bound for the HIPP problem. Copyright © 2011 Elsevier Inc. All rights reserved.

Experimenting with Mathematical Biology

ERIC Educational Resources Information Center

Sanft, Rebecca; Walter, Anne

2016-01-01

St. Olaf College recently added a Mathematical Biology concentration to its curriculum. The core course, Mathematics of Biology, was redesigned to include a wet laboratory. The lab classes required students to collect data and implement the essential modeling techniques of formulation, implementation, validation, and analysis. The four labs…

An overview of the formulation, existence and uniqueness issues for the initial value problem raised by the dynamics of discrete systems with unilateral contact and dry friction

NASA Astrophysics Data System (ADS)

Ballard, Patrick; Charles, Alexandre

2018-03-01

In the end of the seventies, Schatzman and Moreau undertook to revisit the venerable dynamics of rigid bodies with contact and dry friction in the light of more recent mathematics. One claimed objective was to reach, for the first time, a mathematically consistent formulation of an initial value problem associated with the dynamics. The purpose of this article is to make a review of the today state-of-art concerning not only the formulation, but also the issues of existence and uniqueness of solution. xml:lang="fr"

H-theorem in quantum physics.

PubMed

Lesovik, G B; Lebedev, A V; Sadovskyy, I A; Suslov, M V; Vinokur, V M

2016-09-12

Remarkable progress of quantum information theory (QIT) allowed to formulate mathematical theorems for conditions that data-transmitting or data-processing occurs with a non-negative entropy gain. However, relation of these results formulated in terms of entropy gain in quantum channels to temporal evolution of real physical systems is not thoroughly understood. Here we build on the mathematical formalism provided by QIT to formulate the quantum H-theorem in terms of physical observables. We discuss the manifestation of the second law of thermodynamics in quantum physics and uncover special situations where the second law can be violated. We further demonstrate that the typical evolution of energy-isolated quantum systems occurs with non-diminishing entropy.

Dual Treatments as Starting Point for Integrative Perceptions in Teaching Mathematics

ERIC Educational Resources Information Center

Kërënxhi, Svjetllana; Gjoci, Pranvera

2015-01-01

In this paper, we recommend mathematical teaching through dual treatments. The dual treatments notion, classified in dual interpretations, dual analyses, dual solutions, and dual formulations, is explained through concrete examples taken from mathematical textbooks of elementary education. Dual treatments provide opportunities for creating…

A survey on the measure of combat readiness

NASA Astrophysics Data System (ADS)

Wen, Kwong Fook; Nor, Norazman Mohamad; Soon, Lee Lai

2014-09-01

Measuring the combat readiness in military forces involves the measures of tangible and intangible elements of combat power. Though these measures are applicable, the mathematical models and formulae used focus mainly on either the tangible or the intangible elements. In this paper, a review is done to highlight the research gap in the formulation of a mathematical model that incorporates tangible elements with intangible elements to measure the combat readiness of a military force. It highlights the missing link between the tangible and intangible elements of combat power. To bridge the gap and missing link, a mathematical model could be formulated that measures both the tangible and intangible aspects of combat readiness by establishing the relationship between the causal (tangible and intangible) elements and its effects on the measure of combat readiness. The model uses multiple regression analysis as well as mathematical modeling and simulation which digest the capability component reflecting its assets and resources, the morale component reflecting human needs, and the quality of life component reflecting soldiers' state of satisfaction in life. The results of the review provide a mean to bridge the research gap through the formulation of a mathematical model that shows the total measure of a military force's combat readiness. The results also significantly identify parameters for each of the variables and factors in the model.

Mathematical modeling of radiative-conductive heat transfer in semitransparent medium with phase change

NASA Astrophysics Data System (ADS)

Savvinova, Nadezhda A.; Sleptsov, Semen D.; Rubtsov, Nikolai A.

2017-11-01

A mathematical phase change model is a formulation of the Stefan problem. Various formulations of the Stefan problem modeling of radiative-conductive heat transfer during melting or solidification of a semitransparent material are presented. Analysis of numerical results show that the radiative heat transfer has a significant effect on temperature distributions during melting (solidification) of the semitransparent material. In this paper conditions for application of various statements of the Stefan problem are analyzed.

On Double-Entry Bookkeeping: The Mathematical Treatment

ERIC Educational Resources Information Center

Ellerman, David

2014-01-01

Double-entry bookkeeping (DEB) implicitly uses a specific mathematical construction, the group of differences using pairs of unsigned numbers ("T-accounts"). That construction was only formulated abstractly in mathematics in the nineteenth century, even though DEB had been used in the business world for over five centuries. Yet the…

Mathematical Problem Solving. Issues in Research.

ERIC Educational Resources Information Center

Lester, Frank K., Jr., Ed.; Garofalo, Joe, Ed.

This set of papers was originally developed for a conference on Issues and Directions in Mathematics Problem Solving Research held at Indiana University in May 1981. The purpose is to contribute to the clear formulation of the key issues in mathematical problem-solving research by presenting the ideas of actively involved researchers. An…

Why physics needs mathematics

NASA Astrophysics Data System (ADS)

Rohrlich, Fritz

2011-12-01

Classical and the quantum mechanical sciences are in essential need of mathematics. Only thus can the laws of nature be formulated quantitatively permitting quantitative predictions. Mathematics also facilitates extrapolations. But classical and quantum sciences differ in essential ways: they follow different laws of logic, Aristotelian and non-Aristotelian logics, respectively. These are explicated.

Connecting Dynamic Representations of Simple Mathematical Objects with the Construction and Exploration of Conic Sections

ERIC Educational Resources Information Center

Santos-Trigo, Manuel; Espinosa-Perez, Hugo; Reyes-Rodriguez, Aaron

2008-01-01

Different technological artefacts may offer distinct opportunities for students to develop resources and strategies to formulate, comprehend and solve mathematical problems. In particular, the use of dynamic software becomes relevant to assemble geometric configurations that may help students reconstruct and examine mathematical relationships. In…

Variable thickness transient ground-water flow model. Volume 1. Formulation

DOE Office of Scientific and Technical Information (OSTI.GOV)

Reisenauer, A.E.

1979-12-01

Mathematical formulation for the variable thickness transient (VTT) model of an aquifer system is presented. The basic assumptions are described. Specific data requirements for the physical parameters are discussed. The boundary definitions and solution techniques of the numerical formulation of the system of equations are presented.

Use of RORA for Complex Ground-Water Flow Conditions

USGS Publications Warehouse

Rutledge, A.T.

2004-01-01

The RORA computer program for estimating recharge is based on a condition in which ground water flows perpendicular to the nearest stream that receives ground-water discharge. The method, therefore, does not explicitly account for the ground-water-flow component that is parallel to the stream. Hypothetical finite-difference simulations are used to demonstrate effects of complex flow conditions that consist of two components: one that is perpendicular to the stream and one that is parallel to the stream. Results of the simulations indicate that the RORA program can be used if certain constraints are applied in the estimation of the recession index, an input variable to the program. These constraints apply to a mathematical formulation based on aquifer properties, recession of ground-water levels, and recession of streamflow.

Computer Program for Analysis of High Speed, Single Row, Angular Contact, Spherical Roller Bearing, SASHBEAN. Volume 2: Mathematical Formulation and Analysis

DTIC Science & Technology

1993-09-01

conformity of roller and raceway spherical crowns, while lending the bearing its self -aligning and high load capacity, also results in relative sliding...thus in the negative direction. A positive axial load, acting along the X-axis is also shown in Figure 1. Due to the self -aligning ability of a...34Pubdic irevmln bude tI thui cftlction of mntorniaton e =-mtmiaed to =,..iage 1 hour per respose . incuding the tme for rewiwng Insruc.tions

EChem++--an object-oriented problem solving environment for electrochemistry. 2. The kinetic facilities of Ecco--a compiler for (electro-)chemistry.

PubMed

Ludwig, Kai; Speiser, Bernd

2004-01-01

We describe a modeling software component Ecco, implemented in the C++ programming language. It assists in the formulation of physicochemical systems including, in particular, electrochemical processes within general geometries. Ecco's kinetic part then translates any user defined reaction mechanism into an object-oriented representation and generates the according mathematical model equations. The input language, its grammar, the object-oriented design of Ecco, based on design patterns, and its integration into the open source software project EChem++ are discussed. Application Strategies are given.

DOE Office of Scientific and Technical Information (OSTI.GOV)

Stottmeister, Alexander, E-mail: alexander.stottmeister@gravity.fau.de; Thiemann, Thomas, E-mail: thomas.thiemann@gravity.fau.de

In this article, the third of three, we analyse how the Weyl quantisation for compact Lie groups presented in the second article of this series fits with the projective-phase space structure of loop quantum gravity-type models. Thus, the proposed Weyl quantisation may serve as the main mathematical tool to implement the program of space adiabatic perturbation theory in such models. As we already argued in our first article, space adiabatic perturbation theory offers an ideal framework to overcome the obstacles that hinder the direct implementation of the conventional Born-Oppenheimer approach in the canonical formulation of loop quantum gravity.

A design optimization process for Space Station Freedom

NASA Technical Reports Server (NTRS)

Chamberlain, Robert G.; Fox, George; Duquette, William H.

1990-01-01

The Space Station Freedom Program is used to develop and implement a process for design optimization. Because the relative worth of arbitrary design concepts cannot be assessed directly, comparisons must be based on designs that provide the same performance from the point of view of station users; such designs can be compared in terms of life cycle cost. Since the technology required to produce a space station is widely dispersed, a decentralized optimization process is essential. A formulation of the optimization process is provided and the mathematical models designed to facilitate its implementation are described.

Students’ Mathematical Literacy in Solving PISA Problems Based on Keirsey Personality Theory

NASA Astrophysics Data System (ADS)

Masriyah; Firmansyah, M. H.

2018-01-01

This research is descriptive-qualitative research. The purpose is to describe students’ mathematical literacy in solving PISA on space and shape content based on Keirsey personality theory. The subjects are four junior high school students grade eight with guardian, artisan, rational or idealist personality. Data collecting methods used test and interview. Data of Keirsey Personality test, PISA test, and interview were analysed. Profile of mathematical literacy of each subject are described as follows. In formulating, guardian subject identified mathematical aspects are formula of rectangle area and sides length; significant variables are terms/conditions in problem and formula of ever encountered question; translated into mathematical language those are measurement and arithmetic operations. In employing, he devised and implemented strategies using ease of calculation on area-subtraction principle; declared truth of result but the reason was less correct; didn’t use and switch between different representations. In interpreting, he declared result as area of house floor; declared reasonableness according measurement estimation. In formulating, artisan subject identified mathematical aspects are plane and sides length; significant variables are solution procedure on both of daily problem and ever encountered question; translated into mathematical language those are measurement, variables, and arithmetic operations as well as symbol representation. In employing, he devised and implemented strategies using two design comparison; declared truth of result without reason; used symbol representation only. In interpreting, he expressed result as floor area of house; declared reasonableness according measurement estimation. In formulating, rational subject identified mathematical aspects are scale and sides length; significant variables are solution strategy on ever encountered question; translated into mathematical language those are measurement, variable, arithmetic operation as well as symbol and graphic representation. In employing, he devised and implemented strategies using additional plane forming on area-subtraction principle; declared truth of result according calculation process; used and switched between symbol and graphic representation. In interpreting, he declared result as house area within terrace and wall; declared reasonableness according measurement estimation. In formulating, idealist subject identified mathematical aspects are sides length; significant variables are terms/condition in problem; translated into mathematical language those are measurement, variables, arithmetic operations as well as symbol and graphic representation. In employing, he devised and implemented strategies using trial and error and two design in process of finding solutions; declared truth of result according the use of two design of solution; used and switched between symbol and graphic representation. In interpreting, he declared result as floor area of house; declared reasonableness according measurement estimation.

Bi-Objective Modelling for Hazardous Materials Road–Rail Multimodal Routing Problem with Railway Schedule-Based Space–Time Constraints

PubMed Central

Sun, Yan; Lang, Maoxiang; Wang, Danzhu

2016-01-01

The transportation of hazardous materials is always accompanied by considerable risk that will impact public and environment security. As an efficient and reliable transportation organization, a multimodal service should participate in the transportation of hazardous materials. In this study, we focus on transporting hazardous materials through the multimodal service network and explore the hazardous materials multimodal routing problem from the operational level of network planning. To formulate this problem more practicably, minimizing the total generalized costs of transporting the hazardous materials and the social risk along the planned routes are set as the optimization objectives. Meanwhile, the following formulation characteristics will be comprehensively modelled: (1) specific customer demands; (2) multiple hazardous material flows; (3) capacitated schedule-based rail service and uncapacitated time-flexible road service; and (4) environmental risk constraint. A bi-objective mixed integer nonlinear programming model is first built to formulate the routing problem that combines the formulation characteristics above. Then linear reformations are developed to linearize and improve the initial model so that it can be effectively solved by exact solution algorithms on standard mathematical programming software. By utilizing the normalized weighted sum method, we can generate the Pareto solutions to the bi-objective optimization problem for a specific case. Finally, a large-scale empirical case study from the Beijing–Tianjin–Hebei Region in China is presented to demonstrate the feasibility of the proposed methods in dealing with the practical problem. Various scenarios are also discussed in the case study. PMID:27483294

The Relationship between Scores of Mathematics Knowledge and Teaching Practice of Diploma Mathematics Students: A Quest for Quality Assurance

ERIC Educational Resources Information Center

Adamu, L. E.

2015-01-01

The purpose of the study was to determine the relationship between scores in mathematics knowledge and teaching practice of Diploma mathematics students. A sample of 39 students was used. Two research questions and two hypotheses were asked and formulated respectively. An ex-post facto correlation design was used. The data were analyzed using…

H-theorem in quantum physics

DOE Office of Scientific and Technical Information (OSTI.GOV)

Lesovik, G. B.; Lebedev, A. V.; Sadovskyy, I. A.

Remarkable progress of quantum information theory (QIT) allowed to formulate mathematical theorems for conditions that data-transmitting or data-processing occurs with a non-negative entropy gain. However, relation of these results formulated in terms of entropy gain in quantum channels to temporal evolution of real physical systems is not thoroughly understood. Here we build on the mathematical formalism provided by QIT to formulate the quantum H-theorem in terms of physical observables. We discuss the manifestation of the second law of thermodynamics in quantum physics and uncover special situations where the second law can be violated. Lastly, we further demonstrate that the typicalmore » evolution of energy-isolated quantum systems occurs with non-diminishing entropy.« less

H-theorem in quantum physics

PubMed Central

Lesovik, G. B.; Lebedev, A. V.; Sadovskyy, I. A.; Suslov, M. V.; Vinokur, V. M.

2016-01-01

Remarkable progress of quantum information theory (QIT) allowed to formulate mathematical theorems for conditions that data-transmitting or data-processing occurs with a non-negative entropy gain. However, relation of these results formulated in terms of entropy gain in quantum channels to temporal evolution of real physical systems is not thoroughly understood. Here we build on the mathematical formalism provided by QIT to formulate the quantum H-theorem in terms of physical observables. We discuss the manifestation of the second law of thermodynamics in quantum physics and uncover special situations where the second law can be violated. We further demonstrate that the typical evolution of energy-isolated quantum systems occurs with non-diminishing entropy. PMID:27616571

H-theorem in quantum physics

DOE PAGES

Lesovik, G. B.; Lebedev, A. V.; Sadovskyy, I. A.; ...

2016-09-12

Remarkable progress of quantum information theory (QIT) allowed to formulate mathematical theorems for conditions that data-transmitting or data-processing occurs with a non-negative entropy gain. However, relation of these results formulated in terms of entropy gain in quantum channels to temporal evolution of real physical systems is not thoroughly understood. Here we build on the mathematical formalism provided by QIT to formulate the quantum H-theorem in terms of physical observables. We discuss the manifestation of the second law of thermodynamics in quantum physics and uncover special situations where the second law can be violated. Lastly, we further demonstrate that the typicalmore » evolution of energy-isolated quantum systems occurs with non-diminishing entropy.« less

Cross-Cultural Predictors of Mathematical Talent and Academic Productivity

ERIC Educational Resources Information Center

Nokelainen, Petri; Tirri, Kirsi; Campbell, James Reed

2004-01-01

The main goal of this paper is to investigate cross-cultural factors that predict academic ability among mathematically gifted Olympians in Finland and the United States. The following two research problems are formulated: (1) What factors contribute to or impede the development of the Olympians' mathematic talent? and (2) Do the Olympians fulfill…

GENERAL REPORT OF MATHEMATICS CONFERENCE AND TWO SPECIFIC REPORTS. (TITLE SUPPLIED).

ERIC Educational Resources Information Center

Educational Services, Inc., Watertown, MA.

THE FIRST PAPER, "REPORT OF MATHEMATICS CONFERENCE," IS A SUMMARY OF DISCUSSIONS BY 29 PARTICIPANTS IN A CONFERENCE ON CURRENT PROBLEMS IN MATHEMATICS EDUCATION RESEARCH. REPORTED ARE (1) RECENT PROGRESS, PROBLEMS, AND PLANS OF CURRICULUM DEVELOPMENT GROUPS, (2) GENERAL FORMULATION OF CURRICULUM AND METHODS, (3) TEACHER TRAINING, (4)…

Formulating the Fibonacci Sequence: Paths or Jumps in Mathematical Understanding.

ERIC Educational Resources Information Center

Kieren, Thomas; And Others

In dynamical theory, mathematical understanding is considered to be that of a person (or group) of a topic (or problem) in a situation or setting. This paper compares the interactions between the situations and the mathematical understandings of two students by comparing the growth in understanding within a Fibonacci sequence setting in which…

Mathematical Metaphors: Problem Reformulation and Analysis Strategies

NASA Technical Reports Server (NTRS)

Thompson, David E.

2005-01-01

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.

A mathematical theorem as the basis for the second law: Thomson's formulation applied to equilibrium

NASA Astrophysics Data System (ADS)

Allahverdyan, A. E.; Nieuwenhuizen, Th. M.

2002-03-01

There are several formulations of the second law, and they may, in principle, have different domains of validity. Here a simple mathematical theorem is proven which serves as the most general basis for the second law, namely the Thomson formulation (“cyclic changes cost energy”), applied to equilibrium. This formulation of the second law is a property akin to particle conservation (normalization of the wave function). It has been strictly proven for a canonical ensemble, and made plausible for a micro-canonical ensemble. As the derivation does not assume time-inversion invariance, it is applicable to situations where persistent currents occur. This clear-cut derivation allows to revive the “no perpetuum mobile in equilibrium” formulation of the second law and to criticize some assumptions which are widespread in literature. The result puts recent results devoted to foundations and limitations of the second law in proper perspective, and structurizes this relatively new field of research.

Integration of fuzzy analytic hierarchy process and probabilistic dynamic programming in formulating an optimal fleet management model

NASA Astrophysics Data System (ADS)

Teoh, Lay Eng; Khoo, Hooi Ling

2013-09-01

This study deals with two major aspects of airlines, i.e. supply and demand management. The aspect of supply focuses on the mathematical formulation of an optimal fleet management model to maximize operational profit of the airlines while the aspect of demand focuses on the incorporation of mode choice modeling as parts of the developed model. The proposed methodology is outlined in two-stage, i.e. Fuzzy Analytic Hierarchy Process is first adopted to capture mode choice modeling in order to quantify the probability of probable phenomena (for aircraft acquisition/leasing decision). Then, an optimization model is developed as a probabilistic dynamic programming model to determine the optimal number and types of aircraft to be acquired and/or leased in order to meet stochastic demand during the planning horizon. The findings of an illustrative case study show that the proposed methodology is viable. The results demonstrate that the incorporation of mode choice modeling could affect the operational profit and fleet management decision of the airlines at varying degrees.

Developing Student-Centered Learning Model to Improve High Order Mathematical Thinking Ability

ERIC Educational Resources Information Center

Saragih, Sahat; Napitupulu, Elvis

2015-01-01

The purpose of this research was to develop student-centered learning model aiming to improve high order mathematical thinking ability of junior high school students of based on curriculum 2013 in North Sumatera, Indonesia. The special purpose of this research was to analyze and to formulate the purpose of mathematics lesson in high order…

Fuzzy Energy and Reserve Co-optimization With High Penetration of Renewable Energy

DOE Office of Scientific and Technical Information (OSTI.GOV)

Liu, Cong; Botterud, Audun; Zhou, Zhi

In this study, we propose a fuzzy-based energy and reserve co-optimization model with consideration of high penetration of renewable energy. Under the assumption of a fixed uncertainty set of renewables, a two-stage robust model is proposed for clearing energy and reserves in the first stage and checking the feasibility and robustness of re-dispatches in the second stage. Fuzzy sets and their membership functions are introduced into the optimization model to represent the satisfaction degree of the variable uncertainty sets. The lower bound of the uncertainty set is expressed as fuzzy membership functions. The solutions are obtained by transforming the fuzzymore » mathematical programming formulation into traditional mixed integer linear programming problems.« less

Fuzzy Energy and Reserve Co-optimization With High Penetration of Renewable Energy

DOE PAGES

Liu, Cong; Botterud, Audun; Zhou, Zhi; ...

2016-10-21

In this study, we propose a fuzzy-based energy and reserve co-optimization model with consideration of high penetration of renewable energy. Under the assumption of a fixed uncertainty set of renewables, a two-stage robust model is proposed for clearing energy and reserves in the first stage and checking the feasibility and robustness of re-dispatches in the second stage. Fuzzy sets and their membership functions are introduced into the optimization model to represent the satisfaction degree of the variable uncertainty sets. The lower bound of the uncertainty set is expressed as fuzzy membership functions. The solutions are obtained by transforming the fuzzymore » mathematical programming formulation into traditional mixed integer linear programming problems.« less

Optimal starting conditions for the rendezvous maneuver: Analytical and computational approach

NASA Astrophysics Data System (ADS)

Ciarcia, Marco

The three-dimensional rendezvous between two spacecraft is considered: a target spacecraft on a circular orbit around the Earth and a chaser spacecraft initially on some elliptical orbit yet to be determined. The chaser spacecraft has variable mass, limited thrust, and its trajectory is governed by three controls, one determining the thrust magnitude and two determining the thrust direction. We seek the time history of the controls in such a way that the propellant mass required to execute the rendezvous maneuver is minimized. Two cases are considered: (i) time-to-rendezvous free and (ii) time-to-rendezvous given, respectively equivalent to (i) free angular travel and (ii) fixed angular travel for the target spacecraft. The above problem has been studied by several authors under the assumption that the initial separation coordinates and the initial separation velocities are given, hence known initial conditions for the chaser spacecraft. In this paper, it is assumed that both the initial separation coordinates and initial separation velocities are free except for the requirement that the initial chaser-to-target distance is given so as to prevent the occurrence of trivial solutions. Two approaches are employed: optimal control formulation (Part A) and mathematical programming formulation (Part B). In Part A, analyses are performed with the multiple-subarc sequential gradient-restoration algorithm for optimal control problems. They show that the fuel-optimal trajectory is zero-bang, namely it is characterized by two subarcs: a long coasting zero-thrust subarc followed by a short powered max-thrust braking subarc. While the thrust direction of the powered subarc is continuously variable for the optimal trajectory, its replacement with a constant (yet optimized) thrust direction produces a very efficient guidance trajectory. Indeed, for all values of the initial distance, the fuel required by the guidance trajectory is within less than one percent of the fuel required by the optimal trajectory. For the guidance trajectory, because of the replacement of the variable thrust direction of the powered subarc with a constant thrust direction, the optimal control problem degenerates into a mathematical programming problem with a relatively small number of degrees of freedom, more precisely: three for case (i) time-to-rendezvous free and two for case (ii) time-to-rendezvous given. In particular, we consider the rendezvous between the Space Shuttle (chaser) and the International Space Station (target). Once a given initial distance SS-to-ISS is preselected, the present work supplies not only the best initial conditions for the rendezvous trajectory, but simultaneously the corresponding final conditions for the ascent trajectory. In Part B, an analytical solution of the Clohessy-Wiltshire equations is presented (i) neglecting the change of the spacecraft mass due to the fuel consumption and (ii) and assuming that the thrust is finite, that is, the trajectory includes powered subarcs flown with max thrust and coasting subarc flown with zero thrust. Then, employing the found analytical solution, we study the rendezvous problem under the assumption that the initial separation coordinates and initial separation velocities are free except for the requirement that the initial chaser-to-target distance is given. The main contribution of Part B is the development of analytical solutions for the powered subarcs, an important extension of the analytical solutions already available for the coasting subarcs. One consequence is that the entire optimal trajectory can be described analytically. Another consequence is that the optimal control problems degenerate into mathematical programming problems. A further consequence is that, vis-a-vis the optimal control formulation, the mathematical programming formulation reduces the CPU time by a factor of order 1000. Key words. Space trajectories, rendezvous, optimization, guidance, optimal control, calculus of variations, Mayer problems, Bolza problems, transformation techniques, multiple-subarc sequential gradient-restoration algorithm.

Modeling Electromagnetic Scattering From Complex Inhomogeneous Objects

NASA Technical Reports Server (NTRS)

Deshpande, Manohar; Reddy, C. J.

2011-01-01

This software innovation is designed to develop a mathematical formulation to estimate the electromagnetic scattering characteristics of complex, inhomogeneous objects using the finite-element-method (FEM) and method-of-moments (MoM) concepts, as well as to develop a FORTRAN code called FEMOM3DS (Finite Element Method and Method of Moments for 3-Dimensional Scattering), which will implement the steps that are described in the mathematical formulation. Very complex objects can be easily modeled, and the operator of the code is not required to know the details of electromagnetic theory to study electromagnetic scattering.

A formulation of the foundations of genetics and evolution.

PubMed

Bahr, Brian Edward

2016-05-01

This paper proposes a formulation of theories of the foundations of genetics and evolution that can be used to mathematically simulate phenotype expression, reproduction, mutation, and natural selection. It will be shown that Mendelian inheritance can be mathematically simulated with expressions involving matrices and that these expressions can also simulate phenomena that are modifications to Mendel's basic principles, like alleles that give rise to quantitative effects and traits that are the expression of multiple alleles and/or multiple genetic loci. Copyright © 2016 Elsevier Inc. All rights reserved.

Stress, deformation, conservation, and rheology: a survey of key concepts in continuum mechanics

USGS Publications Warehouse

Major, J.J.

2013-01-01

This chapter provides a brief survey of key concepts in continuum mechanics. It focuses on the fundamental physical concepts that underlie derivations of the mathematical formulations of stress, strain, hydraulic head, pore-fluid pressure, and conservation equations. It then shows how stresses are linked to strain and rates of distortion through some special cases of idealized material behaviors. The goal is to equip the reader with a physical understanding of key mathematical formulations that anchor continuum mechanics in order to better understand theoretical studies published in geomorphology.

Sustainability in Supply Chain Management: Aggregate Planning from Sustainability Perspective.

PubMed

Türkay, Metin; Saraçoğlu, Öztürk; Arslan, Mehmet Can

2016-01-01

Supply chain management that considers the flow of raw materials, products and information has become a focal issue in modern manufacturing and service systems. Supply chain management requires effective use of assets and information that has far reaching implications beyond satisfaction of customer demand, flow of goods, services or capital. Aggregate planning, a fundamental decision model in supply chain management, refers to the determination of production, inventory, capacity and labor usage levels in the medium term. Traditionally standard mathematical programming formulation is used to devise the aggregate plan so as to minimize the total cost of operations. However, this formulation is purely an economic model that does not include sustainability considerations. In this study, we revise the standard aggregate planning formulation to account for additional environmental and social criteria to incorporate triple bottom line consideration of sustainability. We show how these additional criteria can be appended to traditional cost accounting in order to address sustainability in aggregate planning. We analyze the revised models and interpret the results on a case study from real life that would be insightful for decision makers.

Sustainability in Supply Chain Management: Aggregate Planning from Sustainability Perspective

PubMed Central

Türkay, Metin; Saraçoğlu, Öztürk; Arslan, Mehmet Can

2016-01-01

Supply chain management that considers the flow of raw materials, products and information has become a focal issue in modern manufacturing and service systems. Supply chain management requires effective use of assets and information that has far reaching implications beyond satisfaction of customer demand, flow of goods, services or capital. Aggregate planning, a fundamental decision model in supply chain management, refers to the determination of production, inventory, capacity and labor usage levels in the medium term. Traditionally standard mathematical programming formulation is used to devise the aggregate plan so as to minimize the total cost of operations. However, this formulation is purely an economic model that does not include sustainability considerations. In this study, we revise the standard aggregate planning formulation to account for additional environmental and social criteria to incorporate triple bottom line consideration of sustainability. We show how these additional criteria can be appended to traditional cost accounting in order to address sustainability in aggregate planning. We analyze the revised models and interpret the results on a case study from real life that would be insightful for decision makers. PMID:26807848

Systems, methods and apparatus for modeling, specifying and deploying policies in autonomous and autonomic systems using agent-oriented software engineering

NASA Technical Reports Server (NTRS)

Sterritt, Roy (Inventor); Hinchey, Michael G. (Inventor); Penn, Joaquin (Inventor)

2011-01-01

Systems, methods and apparatus are provided through which in some embodiments, an agent-oriented specification modeled with MaCMAS, is analyzed, flaws in the agent-oriented specification modeled with MaCMAS are corrected, and an implementation is derived from the corrected agent-oriented specification. Described herein are systems, method and apparatus that produce fully (mathematically) tractable development of agent-oriented specification(s) modeled with methodology fragment for analyzing complex multiagent systems (MaCMAS) and policies for autonomic systems from requirements through to code generation. The systems, method and apparatus described herein are illustrated through an example showing how user formulated policies can be translated into a formal mode which can then be converted to code. The requirements-based programming systems, method and apparatus described herein may provide faster, higher quality development and maintenance of autonomic systems based on user formulation of policies.

Simulation of superconducting tapes and coils with convex quadratic programming method

NASA Astrophysics Data System (ADS)

Zhang, Yan; Song, Yuntao; Wang, Lei; Liu, Xufeng

2015-08-01

Second-generation (2G) high-temperature superconducting coated conductors are playing an increasingly important role in power applications due to their large current density under high magnetic fields. In this paper, we conclude and explore the ability and possible potential of J formulation from the mathematical modeling point of view. An equivalent matrix form of J formulation has been presented and a relation between electromagnetic quantities and Karush-Kuhn-Tucker (KKT) conditions in optimization theory has been discovered. The use of the latest formulae to calculate inductance in a coil system and the primal-dual interior-point method algorithm is a trial to make the process of modeling stylized and build a bridge to commercial optimization solvers. Two different dependences of the critical current density on the magnetic field have been used in order to make a comparison with those published papers.

Models, Data, and War: a Critique of the Foundation for Defense Analyses.

DTIC Science & Technology

1980-03-12

scientific formulation 6 An "objective" solution 8 Analysis of a squishy problem 9 A judgmental formulation 9 A potential for distortion 11 A subjective...inextricably tied to those judgments. Different analysts, with apparently identical knowledge of a real world problem, may develop plausible formulations ...configured is a concrete theoretical statement." 2/ The formulation of a computer model--conceiving a mathematical representation of the real world

A Variational Formulation for the Finite Element Analysis of Sound Wave Propagation in a Spherical Shell

NASA Technical Reports Server (NTRS)

Lebiedzik, Catherine

1995-01-01

Development of design tools to furnish optimal acoustic environments for lightweight aircraft demands the ability to simulate the acoustic system on a workstation. In order to form an effective mathematical model of the phenomena at hand, we have begun by studying the propagation of acoustic waves inside closed spherical shells. Using a fully-coupled fluid-structure interaction model based upon variational principles, we have written a finite element analysis program and are in the process of examining several test cases. Future investigations are planned to increase model accuracy by incorporating non-linear and viscous effects.

A case study of cost-efficient staffing under annualized hours.

PubMed

van der Veen, Egbert; Hans, Erwin W; Veltman, Bart; Berrevoets, Leo M; Berden, Hubert J J M

2015-09-01

We propose a mathematical programming formulation that incorporates annualized hours and shows to be very flexible with regard to modeling various contract types. The objective of our model is to minimize salary cost, thereby covering workforce demand, and using annualized hours. Our model is able to address various business questions regarding tactical workforce planning problems, e.g., with regard to annualized hours, subcontracting, and vacation planning. In a case study for a Dutch hospital two of these business questions are addressed, and we demonstrate that applying annualized hours potentially saves up to 5.2% in personnel wages annually.

NLINEAR - NONLINEAR CURVE FITTING PROGRAM

NASA Technical Reports Server (NTRS)

Everhart, J. L.

1994-01-01

A common method for fitting data is a least-squares fit. In the least-squares method, a user-specified fitting function is utilized in such a way as to minimize the sum of the squares of distances between the data points and the fitting curve. The Nonlinear Curve Fitting Program, NLINEAR, is an interactive curve fitting routine based on a description of the quadratic expansion of the chi-squared statistic. NLINEAR utilizes a nonlinear optimization algorithm that calculates the best statistically weighted values of the parameters of the fitting function and the chi-square that is to be minimized. The inputs to the program are the mathematical form of the fitting function and the initial values of the parameters to be estimated. This approach provides the user with statistical information such as goodness of fit and estimated values of parameters that produce the highest degree of correlation between the experimental data and the mathematical model. In the mathematical formulation of the algorithm, the Taylor expansion of chi-square is first introduced, and justification for retaining only the first term are presented. From the expansion, a set of n simultaneous linear equations are derived, which are solved by matrix algebra. To achieve convergence, the algorithm requires meaningful initial estimates for the parameters of the fitting function. NLINEAR is written in Fortran 77 for execution on a CDC Cyber 750 under NOS 2.3. It has a central memory requirement of 5K 60 bit words. Optionally, graphical output of the fitting function can be plotted. Tektronix PLOT-10 routines are required for graphics. NLINEAR was developed in 1987.

A facility location model for municipal solid waste management system under uncertain environment.

PubMed

Yadav, Vinay; Bhurjee, A K; Karmakar, Subhankar; Dikshit, A K

2017-12-15

In municipal solid waste management system, decision makers have to develop an insight into the processes namely, waste generation, collection, transportation, processing, and disposal methods. Many parameters (e.g., waste generation rate, functioning costs of facilities, transportation cost, and revenues) in this system are associated with uncertainties. Often, these uncertainties of parameters need to be modeled under a situation of data scarcity for generating probability distribution function or membership function for stochastic mathematical programming or fuzzy mathematical programming respectively, with only information of extreme variations. Moreover, if uncertainties are ignored, then the problems like insufficient capacities of waste management facilities or improper utilization of available funds may be raised. To tackle uncertainties of these parameters in a more efficient manner an algorithm, based on interval analysis, has been developed. This algorithm is applied to find optimal solutions for a facility location model, which is formulated to select economically best locations of transfer stations in a hypothetical urban center. Transfer stations are an integral part of contemporary municipal solid waste management systems, and economic siting of transfer stations ensures financial sustainability of this system. The model is written in a mathematical programming language AMPL with KNITRO as a solver. The developed model selects five economically best locations out of ten potential locations with an optimum overall cost of [394,836, 757,440] Rs. 1 /day ([5906, 11,331] USD/day) approximately. Further, the requirement of uncertainty modeling is explained based on the results of sensitivity analysis. Copyright © 2017 Elsevier B.V. All rights reserved.

Controlling the simultaneous production of laccase and lignin peroxidase from Streptomyces cinnamomensis by medium formulation

PubMed Central

2012-01-01

Background Use of crude ligninase of bacterial origin is one of the most promising ways to improve the practical biodegradation of lignocellulosic biomass. However, lignin is composed of diverse monolignols with different abundance levels in different plant biomass and requires different proportions of ligninase to realize efficient degradation. To improve activity and reduce cost, the simultaneous submerged fermentation of laccase and lignin peroxidase (LiP) from a new bacterial strain, Streptomyces cinnamomensis, was studied by adopting formulation design, principal component analysis, regression analysis and unconstrained mathematical programming. Results The activities of laccase and LiP from S. cinnamomensis cultured with the optimal medium formulations were improved to be five to eight folders of their initial activities, and the measured laccase:LiP activity ratios reached 0.1, 0.4 and 1.7 when cultured on medium with formulations designed to produce laccase:LiP complexes with theoretical laccase:LiP activity ratios of 0.05 to 0.1, 0.5 to 1 and 1.1 to 2. Conclusion Both the laccase and LiP activities and also the activity ratio of laccase to LiP could be controlled by the medium formulation as designed. Using a crude laccase-LiP complex with a specially designed laccase:LiP activity ratio has the potential to improve the degradation of various plant lignins composed of diverse monolignols with different abundance levels. PMID:22429569

What Can Other Areas Teach Us about Numeracy?

ERIC Educational Resources Information Center

Ferme, Elizabeth

2014-01-01

Education professionals, regardless of their specialist area, are broadly aware of the importance of numeracy. Internationally, definitions of numeracy (known elsewhere as mathematical literacy or quantitative reasoning), describe "an individual's capacity to formulate, employ and interpret mathematics in a variety of contexts... reasoning…

Rival approaches to mathematical modelling in immunology

NASA Astrophysics Data System (ADS)

Andrew, Sarah M.; Baker, Christopher T. H.; Bocharov, Gennady A.

2007-08-01

In order to formulate quantitatively correct mathematical models of the immune system, one requires an understanding of immune processes and familiarity with a range of mathematical techniques. Selection of an appropriate model requires a number of decisions to be made, including a choice of the modelling objectives, strategies and techniques and the types of model considered as candidate models. The authors adopt a multidisciplinary perspective.

A Framework of Mathematics Inductive Reasoning

ERIC Educational Resources Information Center

Christou, Constantinos; Papageorgiou, Eleni

2007-01-01

Based on a synthesis of the literature in inductive reasoning, a framework for prescribing and assessing mathematics inductive reasoning of primary school students was formulated and validated. The major constructs incorporated in this framework were students' cognitive abilities of finding similarities and/or dissimilarities among attributes and…

A Mathematical Formulation of the SCOLE Control Problem. Part 2: Optimal Compensator Design

NASA Technical Reports Server (NTRS)

Balakrishnan, A. V.

1988-01-01

The study initiated in Part 1 of this report is concluded and optimal feedback control (compensator) design for stability augmentation is considered, following the mathematical formulation developed in Part 1. Co-located (rate) sensors and (force and moment) actuators are assumed, and allowing for both sensor and actuator noise, stabilization is formulated as a stochastic regulator problem. Specializing the general theory developed by the author, a complete, closed form solution (believed to be new with this report) is obtained, taking advantage of the fact that the inherent structural damping is light. In particular, it is possible to solve in closed form the associated infinite-dimensional steady-state Riccati equations. The SCOLE model involves associated partial differential equations in a single space variable, but the compensator design theory developed is far more general since it is given in the abstract wave equation formulation. The results thus hold for any multibody system so long as the basic model is linear.

A computable expression of closure to efficient causation.

PubMed

Mossio, Matteo; Longo, Giuseppe; Stewart, John

2009-04-07

In this paper, we propose a mathematical expression of closure to efficient causation in terms of lambda-calculus; we argue that this opens up the perspective of developing principled computer simulations of systems closed to efficient causation in an appropriate programming language. An important implication of our formulation is that, by exhibiting an expression in lambda-calculus, which is a paradigmatic formalism for computability and programming, we show that there are no conceptual or principled problems in realizing a computer simulation or model of closure to efficient causation. We conclude with a brief discussion of the question whether closure to efficient causation captures all relevant properties of living systems. We suggest that it might not be the case, and that more complex definitions could indeed create crucial some obstacles to computability.

The Value of Information in Distributed Decision Networks

DTIC Science & Technology

2016-03-04

formulation, and then we describe the various results at- tained. 1 Mathematical description of Distributed Decision Network un- der Information...Constraints We now define a mathematical framework for networks. Let G = (V,E) be an undirected random network (graph) drawn from a known distribution pG, 1

Satellite orbit computation methods

NASA Technical Reports Server (NTRS)

1977-01-01

Mathematical and algorithmical techniques for solution of problems in satellite dynamics were developed, along with solutions to satellite orbit motion. Dynamical analysis of shuttle on-orbit operations were conducted. Computer software routines for use in shuttle mission planning were developed and analyzed, while mathematical models of atmospheric density were formulated.

The transformation of aerodynamic stability derivatives by symbolic mathematical computation

NASA Technical Reports Server (NTRS)

Howard, J. C.

1975-01-01

The formulation of mathematical models of aeronautical systems for simulation or other purposes, involves the transformation of aerodynamic stability derivatives. It is shown that these derivatives transform like the components of a second order tensor having one index of covariance and one index of contravariance. Moreover, due to the equivalence of covariant and contravariant transformations in orthogonal Cartesian systems of coordinates, the transformations can be treated as doubly covariant or doubly contravariant, if this simplifies the formulation. It is shown that the tensor properties of these derivatives can be used to facilitate their transformation by symbolic mathematical computation, and the use of digital computers equipped with formula manipulation compilers. When the tensor transformations are mechanised in the manner described, man-hours are saved and the errors to which human operators are prone can be avoided.

Can hydro-economic river basin models simulate water shadow prices under asymmetric access?

PubMed

Kuhn, A; Britz, W

2012-01-01

Hydro-economic river basin models (HERBM) based on mathematical programming are conventionally formulated as explicit 'aggregate optimization' problems with a single, aggregate objective function. Often unintended, this format implicitly assumes that decisions on water allocation are made via central planning or functioning markets such as to maximize social welfare. In the absence of perfect water markets, however, individually optimal decisions by water users will differ from the social optimum. Classical aggregate HERBMs cannot simulate that situation and thus might be unable to describe existing institutions governing access to water and might produce biased results for alternative ones. We propose a new solution format for HERBMs, based on the format of the mixed complementarity problem (MCP), where modified shadow price relations express spatial externalities resulting from asymmetric access to water use. This new problem format, as opposed to commonly used linear (LP) or non-linear programming (NLP) approaches, enables the simultaneous simulation of numerous 'independent optimization' decisions by multiple water users while maintaining physical interdependences based on water use and flow in the river basin. We show that the alternative problem format allows the formulation HERBMs that yield more realistic results when comparing different water management institutions.

A Mathematical Model and Algorithm for Routing Air Traffic Under Weather Uncertainty

NASA Technical Reports Server (NTRS)

Sadovsky, Alexander V.

2016-01-01

A central challenge in managing today's commercial en route air traffic is the task of routing the aircraft in the presence of adverse weather. Such weather can make regions of the airspace unusable, so all affected flights must be re-routed. Today this task is carried out by conference and negotiation between human air traffic controllers (ATC) responsible for the involved sectors of the airspace. One can argue that, in so doing, ATC try to solve an optimization problem without giving it a precise quantitative formulation. Such a formulation gives the mathematical machinery for constructing and verifying algorithms that are aimed at solving the problem. This paper contributes one such formulation and a corresponding algorithm. The algorithm addresses weather uncertainty and has closed form, which allows transparent analysis of correctness, realism, and computational costs.

A finite element-boundary integral method for cavities in a circular cylinder

NASA Technical Reports Server (NTRS)

Kempel, Leo C.; Volakis, John L.

1992-01-01

Conformal antenna arrays offer many cost and weight advantages over conventional antenna systems. However, due to a lack of rigorous mathematical models for conformal antenna arrays, antenna designers resort to measurement and planar antenna concepts for designing non-planar conformal antennas. Recently, we have found the finite element-boundary integral method to be very successful in modeling large planar arrays of arbitrary composition in a metallic plane. We extend this formulation to conformal arrays on large metallic cylinders. In this report, we develop the mathematical formulation. In particular, we discuss the shape functions, the resulting finite elements and the boundary integral equations, and the solution of the conformal finite element-boundary integral system. Some validation results are presented and we further show how this formulation can be applied with minimal computational and memory resources.

Integrated Formulation of Beacon-Based Exception Analysis for Multimissions

NASA Technical Reports Server (NTRS)

Mackey, Ryan; James, Mark; Park, Han; Zak, Mickail

2003-01-01

Further work on beacon-based exception analysis for multimissions (BEAM), a method of real-time, automated diagnosis of a complex electromechanical systems, has greatly expanded its capability and suitability of application. This expanded formulation, which fully integrates physical models and symbolic analysis, is described. The new formulation of BEAM expands upon previous advanced techniques for analysis of signal data, utilizing mathematical modeling of the system physics, and expert-system reasoning,

Model Eliciting Activities: A Home Run

ERIC Educational Resources Information Center

Magiera, Marta T.

2013-01-01

An important goal of school mathematics is to enable students to formulate, approach, and refine problems beyond those they have studied, allowing them to organize and consolidate their mathematical thinking. To achieve this goal, students should be encouraged to develop expertise in a variety of areas, such as problem solving, reasoning and…

Two-fluid models of turbulence

NASA Technical Reports Server (NTRS)

Spalding, D. B.

1985-01-01

The defects of turbulence models are summarized and the importance of so-called nongradient diffusion in turbulent fluxes is discussed. The mathematical theory of the flow of two interpenetrating continua is reviewed, and the mathematical formulation of the two fluid model is outlined. Results from plane wake, axisymmetric jet, and combustion studies are shown.

Governing the Modern, Neoliberal Child through ICT Research in Mathematics Education

ERIC Educational Resources Information Center

Valero, Paola; Knijnik, Gelsa

2015-01-01

Research on the pedagogical uses of ICT for the learning of mathematics formulates cultural thesis about the desired subject of education and society, and thereby contribute to fabricate the rational, Modern, self­-regulated, entrepreneurial neoliberal child. Using the Foucauldian notion of governmentality, the section Technology in the…

Some Fundamental Issues of Mathematical Simulation in Biology

NASA Astrophysics Data System (ADS)

Razzhevaikin, V. N.

2018-02-01

Some directions of simulation in biology leading to original formulations of mathematical problems are overviewed. Two of them are discussed in detail: the correct solvability of first-order linear equations with unbounded coefficients and the construction of a reaction-diffusion equation with nonlinear diffusion for a model of genetic wave propagation.

High-Order Entropy Stable Formulations for Computational Fluid Dynamics

NASA Technical Reports Server (NTRS)

Carpenter, Mark H.; Fisher, Travis C.

2013-01-01

A systematic approach is presented for developing entropy stable (SS) formulations of any order for the Navier-Stokes equations. These SS formulations discretely conserve mass, momentum, energy and satisfy a mathematical entropy inequality. They are valid for smooth as well as discontinuous flows provided sufficient dissipation is added at shocks and discontinuities. Entropy stable formulations exist for all diagonal norm, summation-by-parts (SBP) operators, including all centered finite-difference operators, Legendre collocation finite-element operators, and certain finite-volume operators. Examples are presented using various entropy stable formulations that demonstrate the current state-of-the-art of these schemes.

Currency arbitrage detection using a binary integer programming model

NASA Astrophysics Data System (ADS)

Soon, Wanmei; Ye, Heng-Qing

2011-04-01

In this article, we examine the use of a new binary integer programming (BIP) model to detect arbitrage opportunities in currency exchanges. This model showcases an excellent application of mathematics to the real world. The concepts involved are easily accessible to undergraduate students with basic knowledge in Operations Research. Through this work, students can learn to link several types of basic optimization models, namely linear programming, integer programming and network models, and apply the well-known sensitivity analysis procedure to accommodate realistic changes in the exchange rates. Beginning with a BIP model, we discuss how it can be reduced to an equivalent but considerably simpler model, where an efficient algorithm can be applied to find the arbitrages and incorporate the sensitivity analysis procedure. A simple comparison is then made with a different arbitrage detection model. This exercise helps students learn to apply basic Operations Research concepts to a practical real-life example, and provides insights into the processes involved in Operations Research model formulations.

Mixed Integer Programming and Heuristic Scheduling for Space Communication Networks

NASA Technical Reports Server (NTRS)

Cheung, Kar-Ming; Lee, Charles H.

2012-01-01

We developed framework and the mathematical formulation for optimizing communication network using mixed integer programming. The design yields a system that is much smaller, in search space size, when compared to the earlier approach. Our constrained network optimization takes into account the dynamics of link performance within the network along with mission and operation requirements. A unique penalty function is introduced to transform the mixed integer programming into the more manageable problem of searching in a continuous space. The constrained optimization problem was proposed to solve in two stages: first using the heuristic Particle Swarming Optimization algorithm to get a good initial starting point, and then feeding the result into the Sequential Quadratic Programming algorithm to achieve the final optimal schedule. We demonstrate the above planning and scheduling methodology with a scenario of 20 spacecraft and 3 ground stations of a Deep Space Network site. Our approach and framework have been simple and flexible so that problems with larger number of constraints and network can be easily adapted and solved.

An operational GLS model for hydrologic regression

USGS Publications Warehouse

Tasker, Gary D.; Stedinger, J.R.

1989-01-01

Recent Monte Carlo studies have documented the value of generalized least squares (GLS) procedures to estimate empirical relationships between streamflow statistics and physiographic basin characteristics. This paper presents a number of extensions of the GLS method that deal with realities and complexities of regional hydrologic data sets that were not addressed in the simulation studies. These extensions include: (1) a more realistic model of the underlying model errors; (2) smoothed estimates of cross correlation of flows; (3) procedures for including historical flow data; (4) diagnostic statistics describing leverage and influence for GLS regression; and (5) the formulation of a mathematical program for evaluating future gaging activities. ?? 1989.

Analytical sizing methods for behind-the-meter battery storage

DOE Office of Scientific and Technical Information (OSTI.GOV)

Wu, Di; Kintner-Meyer, Michael; Yang, Tao

In behind-the-meter application, battery storage system (BSS) is utilized to reduce a commercial or industrial customer’s payment for electricity use, including energy charge and demand charge. The potential value of BSS in payment reduction and the most economic size can be determined by formulating and solving standard mathematical programming problems. In this method, users input system information such as load profiles, energy/demand charge rates, and battery characteristics to construct a standard programming problem that typically involve a large number of constraints and decision variables. Such a large scale programming problem is then solved by optimization solvers to obtain numerical solutions.more » Such a method cannot directly link the obtained optimal battery sizes to input parameters and requires case-by-case analysis. In this paper, we present an objective quantitative analysis of costs and benefits of customer-side energy storage, and thereby identify key factors that affect battery sizing. Based on the analysis, we then develop simple but effective guidelines that can be used to determine the most cost-effective battery size or guide utility rate design for stimulating energy storage development. The proposed analytical sizing methods are innovative, and offer engineering insights on how the optimal battery size varies with system characteristics. We illustrate the proposed methods using practical building load profile and utility rate. The obtained results are compared with the ones using mathematical programming based methods for validation.« less

Determination of optimum values for maximizing the profit in bread production: Daily bakery Sdn Bhd

NASA Astrophysics Data System (ADS)

Muda, Nora; Sim, Raymond

2015-02-01

An integer programming problem is a mathematical optimization or feasibility program in which some or all of the variables are restricted to be integers. In many settings the term refers to integer linear programming (ILP), in which the objective function and the constraints (other than the integer constraints) are linear. An ILP has many applications in industrial production, including job-shop modelling. A possible objective is to maximize the total production, without exceeding the available resources. In some cases, this can be expressed in terms of a linear program, but variables must be constrained to be integer. It concerned with the optimization of a linear function while satisfying a set of linear equality and inequality constraints and restrictions. It has been used to solve optimization problem in many industries area such as banking, nutrition, agriculture, and bakery and so on. The main purpose of this study is to formulate the best combination of all ingredients in producing different type of bread in Daily Bakery in order to gain maximum profit. This study also focuses on the sensitivity analysis due to changing of the profit and the cost of each ingredient. The optimum result obtained from QM software is RM 65,377.29 per day. This study will be benefited for Daily Bakery and also other similar industries. By formulating a combination of all ingredients make up, they can easily know their total profit in producing bread everyday.

Imbedded-Fracture Formulation of THMC Processes in Fractured Media

NASA Astrophysics Data System (ADS)

Yeh, G. T.; Tsai, C. H.; Sung, R.

2016-12-01

Fractured media consist of porous materials and fracture networks. There exist four approaches to mathematically formulating THMC (Thermal-Hydrology-Mechanics-Chemistry) processes models in the system: (1) Equivalent Porous Media, (2) Dual Porosity or Dual Continuum, (3) Heterogeneous Media, and (4) Discrete Fracture Network. The first approach cannot explicitly explore the interactions between porous materials and fracture networks. The second approach introduces too many extra parameters (namely, exchange coefficients) between two media. The third approach may make the problems too stiff because the order of material heterogeneity may be too much. The fourth approach ignore the interaction between porous materials and fracture networks. This talk presents an alternative approach in which fracture networks are modeled with a lower dimension than the surrounding porous materials. Theoretical derivation of mathematical formulations will be given. An example will be illustrated to show the feasibility of this approach.

A finite element-boundary integral method for conformal antenna arrays on a circular cylinder

NASA Technical Reports Server (NTRS)

Kempel, Leo C.; Volakis, John L.; Woo, Alex C.; Yu, C. Long

1992-01-01

Conformal antenna arrays offer many cost and weight advantages over conventional antenna systems. In the past, antenna designers have had to resort to expensive measurements in order to develop a conformal array design. This is due to the lack of rigorous mathematical models for conformal antenna arrays, and as a result the design of conformal arrays is primarily based on planar antenna design concepts. Recently, we have found the finite element-boundary integral method to be very successful in modeling large planar arrays of arbitrary composition in a metallic plane. Herewith we shall extend this formulation for conformal arrays on large metallic cylinders. In this we develop the mathematical formulation. In particular we discuss the finite element equations, the shape elements, and the boundary integral evaluation, and it is shown how this formulation can be applied with minimal computation and memory requirements. The implementation shall be discussed in a later report.

A finite element-boundary integral method for conformal antenna arrays on a circular cylinder

NASA Technical Reports Server (NTRS)

Kempel, Leo C.; Volakis, John L.

1992-01-01

Conformal antenna arrays offer many cost and weight advantages over conventional antenna systems. In the past, antenna designers have had to resort to expensive measurements in order to develop a conformal array design. This was due to the lack of rigorous mathematical models for conformal antenna arrays. As a result, the design of conformal arrays was primarily based on planar antenna design concepts. Recently, we have found the finite element-boundary integral method to be very successful in modeling large planar arrays of arbitrary composition in a metallic plane. We are extending this formulation to conformal arrays on large metallic cylinders. In doing so, we will develop a mathematical formulation. In particular, we discuss the finite element equations, the shape elements, and the boundary integral evaluation. It is shown how this formulation can be applied with minimal computation and memory requirements.

Mathematical modeling of control subsystems for CELSS: Application to diet

NASA Technical Reports Server (NTRS)

Waleh, Ahmad; Nguyen, Thoi K.; Kanevsky, Valery

1991-01-01

The dynamic control of a Closed Ecological Life Support System (CELSS) in a closed space habitat is of critical importance. The development of a practical method of control is also a necessary step for the selection and design of realistic subsystems and processors for a CELSS. Diet is one of the dynamic factors that strongly influences, and is influenced, by the operational states of all major CELSS subsystems. The problems of design and maintenance of a stable diet must be obtained from well characterized expert subsystems. The general description of a mathematical model that forms the basis of an expert control program for a CELSS is described. The formulation is expressed in terms of a complete set of time dependent canonical variables. System representation is dynamic and includes time dependent storage buffers. The details of the algorithm are described. The steady state results of the application of the method for representative diets made from wheat, potato, and soybean are presented.

Expected value analysis for integrated supplier selection and inventory control of multi-product inventory system with fuzzy cost

NASA Astrophysics Data System (ADS)

Sutrisno, Widowati, Tjahjana, R. Heru

2017-12-01

The future cost in many industrial problem is obviously uncertain. Then a mathematical analysis for a problem with uncertain cost is needed. In this article, we deals with the fuzzy expected value analysis to solve an integrated supplier selection and supplier selection problem with uncertain cost where the costs uncertainty is approached by a fuzzy variable. We formulate the mathematical model of the problems fuzzy expected value based quadratic optimization with total cost objective function and solve it by using expected value based fuzzy programming. From the numerical examples result performed by the authors, the supplier selection problem was solved i.e. the optimal supplier was selected for each time period where the optimal product volume of all product that should be purchased from each supplier for each time period was determined and the product stock level was controlled as decided by the authors i.e. it was followed the given reference level.

Teaching Students to Formulate Questions

ERIC Educational Resources Information Center

Jensen-Vallin, Jacqueline

2017-01-01

As STEM educators, we know it is beneficial to train students to think critically and mathematically during their early mathematical lives. To this end, the author teaches the College Algebra/Precalculus course in a flipped classroom version of an inquiry-based learning style. However, the techniques described in this paper can be applied to a…

The Mathematics of High School Physics: Models, Symbols, Algorithmic Operations and Meaning

ERIC Educational Resources Information Center

Kanderakis, Nikos

2016-01-01

In the seventeenth and eighteenth centuries, mathematicians and physical philosophers managed to study, via mathematics, various physical systems of the sublunar world through idealized and simplified models of these systems, constructed with the help of geometry. By analyzing these models, they were able to formulate new concepts, laws and…

Great Lakes modeling: Are the mathematics outpacing the data and our understanding of the system?

EPA Science Inventory

Mathematical modeling in the Great Lakes has come a long way from the pioneering work done by Manhattan College in the 1970s, when the models operated on coarse computational grids (often lake-wide) and used simple eutrophication formulations. Moving forward 40 years, we are now...

The Force-Frequency Relationship: Insights from Mathematical Modeling

ERIC Educational Resources Information Center

Puglisi, Jose L.; Negroni, Jorge A.; Chen-Izu, Ye; Bers, Donald M.

2013-01-01

The force-frequency relationship has intrigued researchers since its discovery by Bowditch in 1871. Many attempts have been made to construct mathematical descriptions of this phenomenon, beginning with the simple formulation of Koch-Wesser and Blinks in 1963 to the most sophisticated ones of today. This property of cardiac muscle is amplified by…

Watching Sandy's Understanding Grow.

ERIC Educational Resources Information Center

Pirie, Susan E. B.; Kieren, Thomas E.

1992-01-01

Reviews recent research in the area of mathematical understanding and compares and contrasts it with a model formulated for the growth of understanding. Uses the analysis of a transcript from an interview with an eight-year-old boy to illustrate the power of the model to describe and map the growth of his mathematical understanding. (18…

The Effects of Mathematical Modelling on Students' Achievement-Meta-Analysis of Research

ERIC Educational Resources Information Center

Sokolowski, Andrzej

2015-01-01

Using meta-analytic techniques this study examined the effects of applying mathematical modelling to support student math knowledge acquisition at the high school and college levels. The research encompassed experimental studies published in peer-reviewed journals between January 1, 2000, and February 27, 2013. Such formulated orientation called…

Experimental Design for Estimating Unknown Hydraulic Conductivity in a Confined Aquifer using a Genetic Algorithm and a Reduced Order Model

NASA Astrophysics Data System (ADS)

Ushijima, T.; Yeh, W.

2013-12-01

An optimal experimental design algorithm is developed to select locations for a network of observation wells that provides the maximum information about unknown hydraulic conductivity in a confined, anisotropic aquifer. The design employs a maximal information criterion that chooses, among competing designs, the design that maximizes the sum of squared sensitivities while conforming to specified design constraints. Because that the formulated problem is non-convex and contains integer variables (necessitating a combinatorial search), for a realistically-scaled model, the problem may be difficult, if not impossible, to solve through traditional mathematical programming techniques. Genetic Algorithms (GAs) are designed to search out the global optimum; however because a GA requires a large number of calls to a groundwater model, the formulated optimization problem may still be infeasible to solve. To overcome this, Proper Orthogonal Decomposition (POD) is applied to the groundwater model to reduce its dimension. The information matrix in the full model space can then be searched without solving the full model.

Nonlinear programming extensions to rational function approximation methods for unsteady aerodynamic forces

NASA Technical Reports Server (NTRS)

Tiffany, Sherwood H.; Adams, William M., Jr.

1988-01-01

The approximation of unsteady generalized aerodynamic forces in the equations of motion of a flexible aircraft are discussed. Two methods of formulating these approximations are extended to include the same flexibility in constraining the approximations and the same methodology in optimizing nonlinear parameters as another currently used extended least-squares method. Optimal selection of nonlinear parameters is made in each of the three methods by use of the same nonlinear, nongradient optimizer. The objective of the nonlinear optimization is to obtain rational approximations to the unsteady aerodynamics whose state-space realization is lower order than that required when no optimization of the nonlinear terms is performed. The free linear parameters are determined using the least-squares matrix techniques of a Lagrange multiplier formulation of an objective function which incorporates selected linear equality constraints. State-space mathematical models resulting from different approaches are described and results are presented that show comparative evaluations from application of each of the extended methods to a numerical example.

Variational formulation for Black-Scholes equations in stochastic volatility models

NASA Astrophysics Data System (ADS)

Gyulov, Tihomir B.; Valkov, Radoslav L.

2012-11-01

In this note we prove existence and uniqueness of weak solutions to a boundary value problem arising from stochastic volatility models in financial mathematics. Our settings are variational in weighted Sobolev spaces. Nevertheless, as it will become apparent our variational formulation agrees well with the stochastic part of the problem.

Differential equations with applications in cancer diseases.

PubMed

Ilea, M; Turnea, M; Rotariu, M

2013-01-01

Mathematical modeling is a process by which a real world problem is described by a mathematical formulation. The cancer modeling is a highly challenging problem at the frontier of applied mathematics. A variety of modeling strategies have been developed, each focusing on one or more aspects of cancer. The vast majority of mathematical models in cancer diseases biology are formulated in terms of differential equations. We propose an original mathematical model with small parameter for the interactions between these two cancer cell sub-populations and the mathematical model of a vascular tumor. We work on the assumption that, the quiescent cells' nutrient consumption is long. One the equations system includes small parameter epsilon. The smallness of epsilon is relative to the size of the solution domain. MATLAB simulations obtained for transition rate from the quiescent cells' nutrient consumption is long, we show a similar asymptotic behavior for two solutions of the perturbed problem. In this system, the small parameter is an asymptotic variable, different from the independent variable. The graphical output for a mathematical model of a vascular tumor shows the differences in the evolution of the tumor populations of proliferating, quiescent and necrotic cells. The nutrient concentration decreases sharply through the viable rim and tends to a constant level in the core due to the nearly complete necrosis in this region. Many mathematical models can be quantitatively characterized by ordinary differential equations or partial differential equations. The use of MATLAB in this article illustrates the important role of informatics in research in mathematical modeling. The study of avascular tumor growth cells is an exciting and important topic in cancer research and will profit considerably from theoretical input. Interpret these results to be a permanent collaboration between math's and medical oncologists.

Oakland and San Francisco Create Course Pathways through Common Core Mathematics. White Paper

ERIC Educational Resources Information Center

Daro, Phil

2014-01-01

The Common Core State Standards for Mathematics (CCSS-M) set rigorous standards for each of grades 6, 7 and 8. Strategic Education Research Partnership (SERP) has been working with two school districts, Oakland Unified School District and San Francisco Unified School District, to evaluate extant policies and practices and formulate new policies…

Mathematical Giftedness, Problem Solving, and the Ability To Formulate Generalizations: The Problem-Solving Experiences of Four Gifted Students.

ERIC Educational Resources Information Center

Sriraman, Bharath

2003-01-01

Nine freshmen in a ninth-grade accelerated algebra class were asked to solve five nonroutine combinatorial problems. The four mathematically gifted students were successful in discovering and verbalizing the generality that characterized the solutions to the five problems, whereas the five nongifted students were unable to discover the hidden…

Computer-Aided Assessment Questions in Engineering Mathematics Using "MapleTA"[R

ERIC Educational Resources Information Center

Jones, I. S.

2008-01-01

The use of "MapleTA"[R] in the assessment of engineering mathematics at Liverpool John Moores University (JMU) is discussed with particular reference to the design of questions. Key aspects in the formulation and coding of questions are considered. Problems associated with the submission of symbolic answers, the use of randomly generated numbers…

Challenges of Blended E-Learning Tools in Mathematics: Students' Perspectives University of Uyo

ERIC Educational Resources Information Center

Umoh, Joseph B.; Akpan, Ekemini T.

2014-01-01

An in-depth knowledge of pedagogical approaches can help improve the formulation of effective and efficient pedagogy, tools and technology to support and enhance the teaching and learning of Mathematics in higher institutions. This study investigated students' perceptions of the challenges of blended e-learning tools in the teaching and learning…

IRT Models for Ability-Based Guessing

ERIC Educational Resources Information Center

Martin, Ernesto San; del Pino, Guido; De Boeck, Paul

2006-01-01

An ability-based guessing model is formulated and applied to several data sets regarding educational tests in language and in mathematics. The formulation of the model is such that the probability of a correct guess does not only depend on the item but also on the ability of the individual, weighted with a general discrimination parameter. By so…

The Effects of a Web-Based Mathematics Program on Student Achievement

ERIC Educational Resources Information Center

Woody, Andrea L.

2013-01-01

The purpose of this study was to investigate the impact of a Web-based mathematics program, Education Program for Gifted Youth (EPGY) Stanford Math, on mathematics achievement of fourth- through eighth-grade students in a metropolitan school district. Few studies have researched a Web-based mathematics program that provides an individualized,…

The Experiences and Effect of Two Post-Secondary Mathematics Remediation Programs

ERIC Educational Resources Information Center

Izard, Angie D.

2010-01-01

The purpose of this study was to describe the experience and effect of two post-secondary mathematics remediation programs at a Midwest university. The two mathematics remediation programs were provided as part of a summer bridge program designed to assist entering freshmen students who demonstrated low mathematics proficiency levels based on…

Modified Fully Utilized Design (MFUD) Method for Stress and Displacement Constraints

NASA Technical Reports Server (NTRS)

Patnaik, Surya; Gendy, Atef; Berke, Laszlo; Hopkins, Dale

1997-01-01

The traditional fully stressed method performs satisfactorily for stress-limited structural design. When this method is extended to include displacement limitations in addition to stress constraints, it is known as the fully utilized design (FUD). Typically, the FUD produces an overdesign, which is the primary limitation of this otherwise elegant method. We have modified FUD in an attempt to alleviate the limitation. This new method, called the modified fully utilized design (MFUD) method, has been tested successfully on a number of designs that were subjected to multiple loads and had both stress and displacement constraints. The solutions obtained with MFUD compare favorably with the optimum results that can be generated by using nonlinear mathematical programming techniques. The MFUD method appears to have alleviated the overdesign condition and offers the simplicity of a direct, fully stressed type of design method that is distinctly different from optimization and optimality criteria formulations. The MFUD method is being developed for practicing engineers who favor traditional design methods rather than methods based on advanced calculus and nonlinear mathematical programming techniques. The Integrated Force Method (IFM) was found to be the appropriate analysis tool in the development of the MFUD method. In this paper, the MFUD method and its optimality are presented along with a number of illustrative examples.

Sloshing dynamics on rotating helium dewar tank

NASA Technical Reports Server (NTRS)

Hung, R. J.

1993-01-01

The generalized mathematical formulation of sloshing dynamics for partially filled liquid of cryogenic superfluid helium II in dewar containers driven by both the gravity gradient and jitter accelerations applicable to scientific spacecraft which is eligible to carry out spinning motion and/or slew motion for the purpose to perform scientific observation during the normal spacecraft operation are investigated. An example is given with Gravity Probe-B (GP-B) spacecraft which is responsible for the sloshing dynamics. The jitter accelerations include slew motion, spinning motion, atmospheric drag on the spacecraft, spacecraft attitude motions arising from machinery vibrations, thruster firing, pointing control of spacecraft, crew motion, etc. Explicit mathematical expressions to cover these forces acting on the spacecraft fluid systems are derived. The numerical computation of sloshing dynamics were based on the non-inertia frame spacecraft bound coordinate, and solve time dependent, three-dimensional formulations of partial differential equations subject to initial and boundary conditions. The explicit mathematical expressions of boundary conditions to cover capillary force effect on the liquid vapor interface in microgravity environments are also derived. The formulations of fluid moment and angular moment fluctuations in fluid profiles induced by the sloshing dynamics, together with fluid stress and moment fluctuations exerted on the spacecraft dewar containers were derived. Results were widely published in the open journals.

Numerical studies of the surface tension effect of cryogenic liquid helium

NASA Technical Reports Server (NTRS)

Hung, R. J.

1994-01-01

The generalized mathematical formulation of sloshing dynamics for partially filled liquid of cryogenic superfluid helium II in dewar containers driven by both the gravity gradient and jitter accelerations applicable to scientific spacecraft which is eligible to carry out spinning motion and/or slew motion for the purpose of performing scientific observation during the normal spacecraft operation is investigated. An example is given with Gravity Probe-B (GP-B) spacecraft which is responsible for the sloshing dynamics. The jitter accelerations include slew motion, spinning motion, atmospheric drag on the spacecraft, spacecraft attitude motions arising from machinery vibrations, thruster firing, pointing control of spacecraft, crew motion, etc. Explicit mathematical expressions to cover these forces acting on the spacecraft fluid systems are derived. The numerical computation of sloshing dynamics has been based on the non-inertia frame spacecraft bound coordinate, and solve time-dependent, three-dimensional formulations of partial differential equations subject to initial and boundary conditions. The explicit mathematical expressions of boundary conditions to cover capillary force effect on the liquid vapor interface in microgravity environments are also derived. The formulations of fluid moment and angular moment fluctuations in fluid profiles induced by the sloshing dynamics, together with fluid stress and moment fluctuations exerted on the spacecraft dewar containers, have been derived.

Non Linear Programming (NLP) Formulation for Quantitative Modeling of Protein Signal Transduction Pathways

PubMed Central

Morris, Melody K.; Saez-Rodriguez, Julio; Lauffenburger, Douglas A.; Alexopoulos, Leonidas G.

2012-01-01

Modeling of signal transduction pathways plays a major role in understanding cells' function and predicting cellular response. Mathematical formalisms based on a logic formalism are relatively simple but can describe how signals propagate from one protein to the next and have led to the construction of models that simulate the cells response to environmental or other perturbations. Constrained fuzzy logic was recently introduced to train models to cell specific data to result in quantitative pathway models of the specific cellular behavior. There are two major issues in this pathway optimization: i) excessive CPU time requirements and ii) loosely constrained optimization problem due to lack of data with respect to large signaling pathways. Herein, we address both issues: the former by reformulating the pathway optimization as a regular nonlinear optimization problem; and the latter by enhanced algorithms to pre/post-process the signaling network to remove parts that cannot be identified given the experimental conditions. As a case study, we tackle the construction of cell type specific pathways in normal and transformed hepatocytes using medium and large-scale functional phosphoproteomic datasets. The proposed Non Linear Programming (NLP) formulation allows for fast optimization of signaling topologies by combining the versatile nature of logic modeling with state of the art optimization algorithms. PMID:23226239

Non Linear Programming (NLP) formulation for quantitative modeling of protein signal transduction pathways.

PubMed

Mitsos, Alexander; Melas, Ioannis N; Morris, Melody K; Saez-Rodriguez, Julio; Lauffenburger, Douglas A; Alexopoulos, Leonidas G

2012-01-01

Modeling of signal transduction pathways plays a major role in understanding cells' function and predicting cellular response. Mathematical formalisms based on a logic formalism are relatively simple but can describe how signals propagate from one protein to the next and have led to the construction of models that simulate the cells response to environmental or other perturbations. Constrained fuzzy logic was recently introduced to train models to cell specific data to result in quantitative pathway models of the specific cellular behavior. There are two major issues in this pathway optimization: i) excessive CPU time requirements and ii) loosely constrained optimization problem due to lack of data with respect to large signaling pathways. Herein, we address both issues: the former by reformulating the pathway optimization as a regular nonlinear optimization problem; and the latter by enhanced algorithms to pre/post-process the signaling network to remove parts that cannot be identified given the experimental conditions. As a case study, we tackle the construction of cell type specific pathways in normal and transformed hepatocytes using medium and large-scale functional phosphoproteomic datasets. The proposed Non Linear Programming (NLP) formulation allows for fast optimization of signaling topologies by combining the versatile nature of logic modeling with state of the art optimization algorithms.

Dynamic characteristics of a variable-mass flexible missile: Dynamics of a two-stage variable-mass flexible rocket

NASA Technical Reports Server (NTRS)

Meirovitch, L.; Bankovskis, J.

1969-01-01

The dynamic characteristics of two-stage slender elastic body were investigated. The first stage, containing a solid-fuel rocket, possesses variable mass while the second stage, envisioned as a flexible case, contains packaged instruments of constant mass. The mathematical formulation was in terms of vector equations of motion transformed by a variational principle into sets of scalar differential equations in terms of generalized coordinates. Solutions to the complete equations were obtained numerically by means of finite difference techniques. The problem has been programmed in the FORTRAN 4 language and solved on an IBM 360/50 computer. Results for limited cases are presented showing the nature of the solutions.

Computer programming in the UK undergraduate mathematics curriculum

NASA Astrophysics Data System (ADS)

Sangwin, Christopher J.; O'Toole, Claire

2017-11-01

This paper reports a study which investigated the extent to which undergraduate mathematics students in the United Kingdom are currently taught to programme a computer as a core part of their mathematics degree programme. We undertook an online survey, with significant follow-up correspondence, to gather data on current curricula and received replies from 46 (63%) of the departments who teach a BSc mathematics degree. We found that 78% of BSc degree courses in mathematics included computer programming in a compulsory module but 11% of mathematics degree programmes do not teach programming to all their undergraduate mathematics students. In 2016, programming is most commonly taught to undergraduate mathematics students through imperative languages, notably MATLAB, using numerical analysis as the underlying (or parallel) mathematical subject matter. Statistics is a very popular choice in optional courses, using the package R. Computer algebra systems appear to be significantly less popular for compulsory first-year courses than a decade ago, and there was no mention of logic programming, functional programming or automatic theorem proving software. The modal form of assessment of computing modules is entirely by coursework (i.e. no examination).

Decision rules for allocation of finances to health systems strengthening

PubMed Central

Morton, Alec; Thomas, Ranjeeta; Smith, Peter C.

2017-01-01

A key dilemma in global health is how to allocate funds between disease-specific “vertical projects” on the one hand and “horizontal programmes” which aim to strengthen the entire health system on the other. While economic evaluation provides a way of approaching the prioritisation of vertical projects, it provides less guidance on how to prioritise between horizontal and vertical spending. We approach this problem by formulating a mathematical program which captures the complementary benefits of funding both vertical projects and horizontal programmes. We show that our solution to this math program has an appealing intuitive structure. We illustrate our model by computationally solving two specialised versions of this problem, with illustrations based on the problem of allocating funding for infectious diseases in sub-Saharan Africa. We conclude by reflecting on how such a model may be developed in the future and used to guide empirical data collection and theory development. PMID:27394006

3-D inelastic analysis methods for hot section components (base program). [turbine blades, turbine vanes, and combustor liners

NASA Technical Reports Server (NTRS)

Wilson, R. B.; Bak, M. J.; Nakazawa, S.; Banerjee, P. K.

1984-01-01

A 3-D inelastic analysis methods program consists of a series of computer codes embodying a progression of mathematical models (mechanics of materials, special finite element, boundary element) for streamlined analysis of combustor liners, turbine blades, and turbine vanes. These models address the effects of high temperatures and thermal/mechanical loadings on the local (stress/strain) and global (dynamics, buckling) structural behavior of the three selected components. These models are used to solve 3-D inelastic problems using linear approximations in the sense that stresses/strains and temperatures in generic modeling regions are linear functions of the spatial coordinates, and solution increments for load, temperature and/or time are extrapolated linearly from previous information. Three linear formulation computer codes, referred to as MOMM (Mechanics of Materials Model), MHOST (MARC-Hot Section Technology), and BEST (Boundary Element Stress Technology), were developed and are described.

Development of Methods to Predict the Effects of Test Media in Ground-Based Propulsion Testing

NASA Technical Reports Server (NTRS)

Drummond, J. Philip; Danehy, Paul M.; Gaffney, Richard L., Jr.; Parker, Peter A.; Tedder, Sarah A.; Chelliah, Harsha K.; Cutler, Andrew D.; Bivolaru, Daniel; Givi, Peyman; Hassan, Hassan A.

2009-01-01

This report discusses work that began in mid-2004 sponsored by the Office of the Secretary of Defense (OSD) Test & Evaluation/Science & Technology (T&E/S&T) Program. The work was undertaken to improve the state of the art of CFD capabilities for predicting the effects of the test media on the flameholding characteristics in scramjet engines. The program had several components including the development of advanced algorithms and models for simulating engine flowpaths as well as a fundamental experimental and diagnostic development effort to support the formulation and validation of the mathematical models. This report provides details of the completed work, involving the development of phenomenological models for Reynolds averaged Navier-Stokes codes, large-eddy simulation techniques and reduced-kinetics models. Experiments that provided data for the modeling efforts are also described, along with with the associated nonintrusive diagnostics used to collect the data.

A FEniCS-based programming framework for modeling turbulent flow by the Reynolds-averaged Navier-Stokes equations

NASA Astrophysics Data System (ADS)

Mortensen, Mikael; Langtangen, Hans Petter; Wells, Garth N.

2011-09-01

Finding an appropriate turbulence model for a given flow case usually calls for extensive experimentation with both models and numerical solution methods. This work presents the design and implementation of a flexible, programmable software framework for assisting with numerical experiments in computational turbulence. The framework targets Reynolds-averaged Navier-Stokes models, discretized by finite element methods. The novel implementation makes use of Python and the FEniCS package, the combination of which leads to compact and reusable code, where model- and solver-specific code resemble closely the mathematical formulation of equations and algorithms. The presented ideas and programming techniques are also applicable to other fields that involve systems of nonlinear partial differential equations. We demonstrate the framework in two applications and investigate the impact of various linearizations on the convergence properties of nonlinear solvers for a Reynolds-averaged Navier-Stokes model.

Predicting the Effects of Test Media in Ground-Based Propulsion Testing

NASA Technical Reports Server (NTRS)

Drummond, J. Philip; Danehy, Paul M.; Bivolaru, Daniel; Gaffney, Richard L.; Parker, Peter A.; Chelliah, Harsha K.; Cutler, Andrew D.; Givi, Peyman; Hassan, Hassan, A.

2006-01-01

This paper discusses the progress of work which began in mid-2004 sponsored by the Office of the Secretary of Defense (OSD) Test & Evaluation/Science & Technology (T&E/S&T) Program. The purpose of the work is to improve the state of the art of CFD capabilities for predicting the effects of the test media on the flameholding characteristics in scramjet engines. The program has several components including the development of advance algorithms and models for simulating engine flowpaths as well as a fundamental experimental and diagnostic development effort to support the formulation and validation of the mathematical models. The paper will provide details of current work involving the development of phenomenological models for Reynolds averaged Navier-Stokes codes, large-eddy simulation techniques and reduced-kinetics models. Experiments that will provide data for the modeling efforts will also be described, along with with the associated nonintrusive diagnostics used to collect the data.

California's forest resources. Preliminary assessment

DOE Office of Scientific and Technical Information (OSTI.GOV)

Not Available

1979-01-01

This Preliminary Assessment was prepared in response to the California Forest Resources Assessment and Policy Act of 1977 (FRAPA). This Act was passed to improve the information base upon which State resource administrators formulate forest policy. The Act provides for this report and a full assessment by 1987 and at five year intervals thereafter. Information is presented under the following chapter titles: introduction to the forest resources assessment program; the forest area: a general description; classifications of the forest lands; the watersheds; forest lands and the air resource; fish and wildlife resources; the forested rangelands; the wilderness; forest lands asmore » a recreation resource; the timber resource; wood energy; forest lands and the mineral, fossil fuels, and geothermal energy resources; mathematically modeling California's forest lands; vegetation mapping using remote sensing technology; important forest resources legislation; and, State and cooperative State/Federal forestry programs. Twelve indexes, a bibliography, and glossary are included. (JGB)« less

A Simple Mathematical Model for Standard Model of Elementary Particles and Extension Thereof

NASA Astrophysics Data System (ADS)

Sinha, Ashok

2016-03-01

An algebraically (and geometrically) simple model representing the masses of the elementary particles in terms of the interaction (strong, weak, electromagnetic) constants is developed, including the Higgs bosons. The predicted Higgs boson mass is identical to that discovered by LHC experimental programs; while possibility of additional Higgs bosons (and their masses) is indicated. The model can be analyzed to explain and resolve many puzzles of particle physics and cosmology including the neutrino masses and mixing; origin of the proton mass and the mass-difference between the proton and the neutron; the big bang and cosmological Inflation; the Hubble expansion; etc. A novel interpretation of the model in terms of quaternion and rotation in the six-dimensional space of the elementary particle interaction-space - or, equivalently, in six-dimensional spacetime - is presented. Interrelations among particle masses are derived theoretically. A new approach for defining the interaction parameters leading to an elegant and symmetrical diagram is delineated. Generalization of the model to include supersymmetry is illustrated without recourse to complex mathematical formulation and free from any ambiguity. This Abstract represents some results of the Author's Independent Theoretical Research in Particle Physics, with possible connection to the Superstring Theory. However, only very elementary mathematics and physics is used in my presentation.

Mathematical modeling of the aerodynamic characteristics in flight dynamics

NASA Technical Reports Server (NTRS)

Tobak, M.; Chapman, G. T.; Schiff, L. B.

1984-01-01

Basic concepts involved in the mathematical modeling of the aerodynamic response of an aircraft to arbitrary maneuvers are reviewed. The original formulation of an aerodynamic response in terms of nonlinear functionals is shown to be compatible with a derivation based on the use of nonlinear functional expansions. Extensions of the analysis through its natural connection with ideas from bifurcation theory are indicated.

Effect of Self-Instruction Strategy on the Achievement in Algebra of Students with Learning Difficulty in Mathematics

ERIC Educational Resources Information Center

Adani, Anthony; Eskay, Michael; Onu, Victoria

2012-01-01

This quasi-experimental study examined the effect of self-instruction strategy on the achievement in algebra of students with learning difficulty in mathematics. Two research questions and one null hypothesis were formulated to guide the study. The study adopted a non-randomized pre-test and post-test control group design with one experimental…

Klein's Plan B in the Early Teaching of Analysis: Two Theoretical Cases of Exploring Mathematical Links

ERIC Educational Resources Information Center

Kondratieva, Margo; Winsløw, Carl

2018-01-01

We present a theoretical approach to the problem of the transition from Calculus to Analysis within the undergraduate mathematics curriculum. First, we formulate this problem using the anthropological theory of the didactic, in particular the notion of praxeology, along with a possible solution related to Klein's "Plan B": here,…

Equilibrium Fluid Interface Behavior Under Low- and Zero-Gravity Conditions. 2

NASA Technical Reports Server (NTRS)

Concus, Paul; Finn, Robert

1996-01-01

The mathematical basis for the forthcoming Angular Liquid Bridge investigation on board Mir is described. Our mathematical work is based on the classical Young-Laplace-Gauss formulation for an equilibrium free surface of liquid partly filling a container or otherwise in contact with solid support surfaces. The anticipated liquid behavior used in the apparatus design is also illustrated.

The Influence of Gender, School Location and Socio-Economic Status on Students' Academic Achievement in Mathematics

ERIC Educational Resources Information Center

Alordiah, Caroline Ochuko; Akpadaka, Grace; Oviogbodu, Christy Oritseweyimi

2015-01-01

The study investigated the influence of gender, school location, and socio-economic status (SES) on students' academic achievement in mathematics. The study was an ex-post factor design in which the variables were not manipulated nor controlled. Four research questions and three hypotheses were formulated to guide the study. The stratified random…

Application of the SeDeM Diagram and a new mathematical equation in the design of direct compression tablet formulation.

PubMed

Suñé-Negre, Josep M; Pérez-Lozano, Pilar; Miñarro, Montserrat; Roig, Manel; Fuster, Roser; Hernández, Carmen; Ruhí, Ramon; García-Montoya, Encarna; Ticó, Josep R

2008-08-01

Application of the new SeDeM Method is proposed for the study of the galenic properties of excipients in terms of the applicability of direct-compression technology. Through experimental studies of the parameters of the SeDeM Method and their subsequent mathematical treatment and graphical expression (SeDeM Diagram), six different DC diluents were analysed to determine whether they were suitable for direct compression (DC). Based on the properties of these diluents, a mathematical equation was established to identify the best DC diluent and the optimum amount to be used when defining a suitable formula for direct compression, depending on the SeDeM properties of the active pharmaceutical ingredient (API) to be used. The results obtained confirm that the SeDeM Method is an appropriate system, effective tool for determining a viable formulation for tablets prepared by direct compression, and can thus be used as the basis for the relevant pharmaceutical development.

Exploring Sun-Earth Connections: A Physical Science Program for (K-8)Teachers

NASA Astrophysics Data System (ADS)

Michels, D. J.; Pickert, S. M.; Thompson, J. L.; Montrose, C. J.

2003-12-01

An experimental, inquiry-based physical science curriculum for undergraduate, pre-service K-8 teachers is under development at the Catholic University of America in collaboration with the Solar Physics Branch of the Naval Research Laboratory and NASA's Sun-Earth Connection missions. This is a progress report. The current, stunningly successful exploratory phase in Sun-Earth Connection (SEC) physics, sparked by SOHO, Yohkoh, TRACE, and other International Solar Terrestrial Physics (ISTP) and Living With a Star (LWS) programs, has provided dynamic, visually intuitive data that can be used for teaching basic physical concepts such as the properties of gravitational and electromagnetic fields which are manifest in beautiful imagery of the astrophysical plasmas of the solar atmosphere and Earth's auroras. Through a team approach capitalizing on the combined expertise of the Catholic University's departments of Education and Physics and of NRL solar researchers deeply involved in SEC missions we have laid out a program that will teach non-science-major undergraduates a very limited number of physical science concepts but in such a way as to develop for each one both a formal understanding and an intuitive grasp that will instill confidence, spark interest and scientific curiosity and, ideally, inspire a habit of lifetime inquiry and professional growth. A three-semester sequence is planned. The first semester will be required of incoming Education freshmen. The second and third semesters will be of such a level as to satisfy the one-year science requirement for non-science majors in the College of Arts and Sciences. The approach as adopted will integrate physics content and educational methods, with each concept introduced through inquiry-based, hands-on investigation using methods and materials directly applicable to K-8 teaching situations (Exploration Phase). The topic is further developed through discussion, demonstration and lecture, introducing such mathematical formulations as are necessary to express the concept clearly (Invention Phase). To further clarify the concept, exercises will be carried out using Web-accessible SEC mission data to develop facility in use of the mathematical formulations, stimulate a sense of participation in ongoing research, and expand on ways to introduce future pupils to the excitement of real-world exploration (Expansion Phase).

Multidimensional Methods for the Formulation of Biopharmaceuticals and Vaccines

PubMed Central

Maddux, Nathaniel R.; Joshi, Sangeeta B.; Volkin, David B.; Ralston, John P.; Middaugh, C. Russell

2013-01-01

Determining and preserving the higher order structural integrity and conformational stability of proteins, plasmid DNA and macromolecular complexes such as viruses, virus-like particles and adjuvanted antigens is often a significant barrier to the successful stabilization and formulation of biopharmaceutical drugs and vaccines. These properties typically must be investigated with multiple lower resolution experimental methods, since each technique monitors only a narrow aspect of the overall conformational state of a macromolecular system. This review describes the use of empirical phase diagrams (EPDs) to combine large amounts of data from multiple high-throughput instruments and construct a map of a target macromolecule's physical state as a function of temperature, solvent conditions, and other stress variables. We present a tutorial on the mathematical methodology, an overview of some of the experimental methods typically used, and examples of some of the previous major formulation applications. We also explore novel applications of EPDs including potential new mathematical approaches as well as possible new biopharmaceutical applications such as analytical comparability, chemical stability, and protein dynamics. PMID:21647886

The Bean model in suprconductivity: Variational formulation and numerical solution

DOE Office of Scientific and Technical Information (OSTI.GOV)

Prigozhin, L.

The Bean critical-state model describes the penetration of magnetic field into type-II superconductors. Mathematically, this is a free boundary problem and its solution is of interest in applied superconductivity. We derive a variational formulation for the Bean model and use it to solve two-dimensional and axially symmetric critical-state problems numerically. 25 refs., 9 figs., 1 tab.

Advanced Computational Methods for Security Constrained Financial Transmission Rights

DOE Office of Scientific and Technical Information (OSTI.GOV)

Kalsi, Karanjit; Elbert, Stephen T.; Vlachopoulou, Maria

Financial Transmission Rights (FTRs) are financial insurance tools to help power market participants reduce price risks associated with transmission congestion. FTRs are issued based on a process of solving a constrained optimization problem with the objective to maximize the FTR social welfare under power flow security constraints. Security constraints for different FTR categories (monthly, seasonal or annual) are usually coupled and the number of constraints increases exponentially with the number of categories. Commercial software for FTR calculation can only provide limited categories of FTRs due to the inherent computational challenges mentioned above. In this paper, first an innovative mathematical reformulationmore » of the FTR problem is presented which dramatically improves the computational efficiency of optimization problem. After having re-formulated the problem, a novel non-linear dynamic system (NDS) approach is proposed to solve the optimization problem. The new formulation and performance of the NDS solver is benchmarked against widely used linear programming (LP) solvers like CPLEX™ and tested on both standard IEEE test systems and large-scale systems using data from the Western Electricity Coordinating Council (WECC). The performance of the NDS is demonstrated to be comparable and in some cases is shown to outperform the widely used CPLEX algorithms. The proposed formulation and NDS based solver is also easily parallelizable enabling further computational improvement.« less

A mathematical model for interpreting in vitro rhGH release from laminar implants.

PubMed

Santoveña, A; García, J T; Oliva, A; Llabrés, M; Fariña, J B

2006-02-17

Recombinant human growth hormone (rhGH), used mainly for the treatment of growth hormone deficiency in children, requires daily subcutaneous injections. The use of controlled release formulations with appropriate rhGH release kinetics reduces the frequency of medication, improving patient compliance and quality of life. Biodegradable implants are a valid alternative, offering the feasibility of a regular release rate after administering a single dose, though it exists the slight disadvantage of a very minor surgical operation. Three laminar implant formulations (F(1), F(2) and F(3)) were produced by different manufacture procedures using solvent-casting techniques with the same copoly(D,L-lactic) glycolic acid (PLGA) polymer (Mw=48 kDa). A correlation in vitro between polymer matrix degradation and drug release rate from these formulations was found and a mathematical model was developed to interpret this. This model was applied to each formulation. The obtained results where explained in terms of manufacture parameters with the aim of elucidate whether drug release only occurs by diffusion or erosion, or by a combination of both mechanisms. Controlling the manufacture method and the resultant changes in polymer structure facilitates a suitable rhGH release profile for different rhGH deficiency treatments.

Rival framings: A framework for discovering how problem formulation uncertainties shape risk management trade-offs in water resources systems

NASA Astrophysics Data System (ADS)

Quinn, J. D.; Reed, P. M.; Giuliani, M.; Castelletti, A.

2017-08-01

Managing water resources systems requires coordinated operation of system infrastructure to mitigate the impacts of hydrologic extremes while balancing conflicting multisectoral demands. Traditionally, recommended management strategies are derived by optimizing system operations under a single problem framing that is assumed to accurately represent the system objectives, tacitly ignoring the myriad of effects that could arise from simplifications and mathematical assumptions made when formulating the problem. This study illustrates the benefits of a rival framings framework in which analysts instead interrogate multiple competing hypotheses of how complex water management problems should be formulated. Analyzing rival framings helps discover unintended consequences resulting from inherent biases of alternative problem formulations. We illustrate this on the monsoonal Red River basin in Vietnam by optimizing operations of the system's four largest reservoirs under several different multiobjective problem framings. In each rival framing, we specify different quantitative representations of the system's objectives related to hydropower production, agricultural water supply, and flood protection of the capital city of Hanoi. We find that some formulations result in counterintuitive behavior. In particular, policies designed to minimize expected flood damages inadvertently increase the risk of catastrophic flood events in favor of hydropower production, while min-max objectives commonly used in robust optimization provide poor representations of system tradeoffs due to their instability. This study highlights the importance of carefully formulating and evaluating alternative mathematical abstractions of stakeholder objectives describing the multisectoral water demands and risks associated with hydrologic extremes.

Visual Programming: A Programming Tool for Increasing Mathematics Achivement

ERIC Educational Resources Information Center

Swanier, Cheryl A.; Seals, Cheryl D.; Billionniere, Elodie V.

2009-01-01

This paper aims to address the need of increasing student achievement in mathematics using a visual programming language such as Scratch. This visual programming language facilitates creating an environment where students in K-12 education can develop mathematical simulations while learning a visual programming language at the same time.…

Formally verifying Ada programs which use real number types

NASA Technical Reports Server (NTRS)

Sutherland, David

1986-01-01

Formal verification is applied to programs which use real number arithmetic operations (mathematical programs). Formal verification of a program P consists of creating a mathematical model of F, stating the desired properties of P in a formal logical language, and proving that the mathematical model has the desired properties using a formal proof calculus. The development and verification of the mathematical model are discussed.

Mathematical modeling of urea transport in the kidney.

PubMed

Layton, Anita T

2014-01-01

Mathematical modeling techniques have been useful in providing insights into biological systems, including the kidney. This article considers some of the mathematical models that concern urea transport in the kidney. Modeling simulations have been conducted to investigate, in the context of urea cycling and urine concentration, the effects of hypothetical active urea secretion into pars recta. Simulation results suggest that active urea secretion induces a "urea-selective" improvement in urine concentrating ability. Mathematical models have also been built to study the implications of the highly structured organization of tubules and vessels in the renal medulla on urea sequestration and cycling. The goal of this article is to show how physiological problems can be formulated and studied mathematically, and how such models may provide insights into renal functions.

Influences on Mathematical Preparation of Secondary School Teachers of Mathematics.

ERIC Educational Resources Information Center

Johnson, Carl S.; Byars, Jackson A.

The results of a survey related to the impact of various recommendations on preservice content programs for teachers of mathematics are reported. The content of current programs is compared to the recommendations of the Committee on Undergraduate Programs in Mathematics (CUPM). The acceptance of CUPM and the Cambridge Conference on School…

Addressing the Mathematics-Specific Needs of Beginning Mathematics Teachers

ERIC Educational Resources Information Center

Britton, Edward

2012-01-01

Beginning mathematics teachers at the secondary level (middle and high school grades) have mathematics-specific needs that induction programs should address more substantially. However, a number of issues in how programs can accomplish this are more complex than often framed in discussions occurring in the induction programs and the field of…

Effects of a Prekindergarten Mathematics Intervention on Mathematical Abilities of Preschoolers with Low Socioeconomic Status

ERIC Educational Resources Information Center

DeLoach, Debbie

2012-01-01

Many children who have attended Georgia's prekindergarten programs are unprepared to enter kindergarten and learn a standards-based mathematics curriculum. In addition, a majority of prekindergarten programs in Georgia struggle to provide high quality mathematics instructional support for children. One such program is a childcare center located in…

The effects of integrated mathematics/science curriculum and instruction on mathematics achievement and student attitudes in grade six

NASA Astrophysics Data System (ADS)

Hill, Mary Denise

The purpose of this study was to determine whether integrating mathematics and science curriculum and teaching practices significantly improves achievement in mathematics and attitudes towards mathematics among sixth grade students in South Texas. The study was conducted during the 2001--2002 school year. A causal-comparative ex post facto research design was used to explore the effects of integrated mathematics and science classrooms compared to classrooms of traditional, isolated mathematics and science teaching practices on student achievement and student attitudes. Achievement was based on the Spring 2002 Mathematics portion of the standardized Texas Assessment of Academic Skills (TAAS) Texas Learning Index (TLI) scores and individual student's mathematics Grade Point Average (GPA). Measurement of student attitudes was based on the results of the Integrated Mathematics Attitudinal Survey (IMAS), created by the researcher for this study. The sample population included 349 Grade 6 mathematics students attending one middle school involved in a pilot program utilizing integrated mathematics/science curriculum and teaching practices in a South Texas urban school district. The research involved 337 of the 349 sixth grade students to study the effects of mathematics/science curriculum and teaching practices on achievement and 207 of the 349 sixth grade students to study the effects of mathematics/science curriculum on attitudes concerning mathematics. The data were analyzed using chi square analyses, independent samples t-tests, and the analysis of variance (ANOVA). Statistical significance was determined at the .05 level of significance. Significant relationships were found when analyzing the proficiency of mathematics skills and individual growth of mathematics achievement. Chi square analyses indicated that the students in the integrated mathematics/science classrooms were more likely to exhibit individual growth and proficiency of mathematics skills based on the results of TAAS. Independent samples t-tests indicated that students in the integrated mathematics/science program scored significantly higher than the students in the traditional program in mean achievement scores and in mean growth of scores based on the results of TAAS. No significant differences were found when comparing mathematics anxiety scores between students in the integrated mathematics/science program and the traditional program. However, additional significant differences were identified when students in the integrated mathematics/science program scored higher than the students in the traditional program when analyzing the overall mean student attitude scores concerning mathematics and the mean scores of attitudinal values of mathematics in society.

Design and statistical optimization of glipizide loaded lipospheres using response surface methodology.

PubMed

Shivakumar, Hagalavadi Nanjappa; Patel, Pragnesh Bharat; Desai, Bapusaheb Gangadhar; Ashok, Purnima; Arulmozhi, Sinnathambi

2007-09-01

A 32 factorial design was employed to produce glipizide lipospheres by the emulsification phase separation technique using paraffin wax and stearic acid as retardants. The effect of critical formulation variables, namely levels of paraffin wax (X1) and proportion of stearic acid in the wax (X2) on geometric mean diameter (dg), percent encapsulation efficiency (% EE), release at the end of 12 h (rel12) and time taken for 50% of drug release (t50), were evaluated using the F-test. Mathematical models containing only the significant terms were generated for each response parameter using the multiple linear regression analysis (MLRA) and analysis of variance (ANOVA). Both formulation variables studied exerted a significant influence (p < 0.05) on the response parameters. Numerical optimization using the desirability approach was employed to develop an optimized formulation by setting constraints on the dependent and independent variables. The experimental values of dg, % EE, rel12 and t50 values for the optimized formulation were found to be 57.54 +/- 1.38 mum, 86.28 +/- 1.32%, 77.23 +/- 2.78% and 5.60 +/- 0.32 h, respectively, which were in close agreement with those predicted by the mathematical models. The drug release from lipospheres followed first-order kinetics and was characterized by the Higuchi diffusion model. The optimized liposphere formulation developed was found to produce sustained anti-diabetic activity following oral administration in rats.

Searching for the Exit in a Maze? Or Setting Sail for New Horizons? Metaphors by Twelfth Grade Students for Learning Mathematics

ERIC Educational Resources Information Center

Guner, Necdet

2013-01-01

This study examines and classifies the metaphors that twelfth grade students formulated to describe the concept of "learning mathematics". The sample of the study consists of 669 twelfth grade students (317 female, 352 male) of two Anatolian and two vocational high schools located in the city center of Denizli. The following questions…

Developing a Theoretical Framework for Classifying Levels of Context Use for Mathematical Problems

ERIC Educational Resources Information Center

Almuna Salgado, Felipe

2016-01-01

This paper aims to revisit and clarify the term problem context and to develop a theoretical classification of the construct of levels of context use (LCU) to analyse how the context of a problem is used to formulate a problem in mathematical terms and to interpret the answer in relation to the context of a given problem. Two criteria and six…

Cartan gravity, matter fields, and the gauge principle

NASA Astrophysics Data System (ADS)

Westman, Hans F.; Zlosnik, Tom G.

2013-07-01

Gravity is commonly thought of as one of the four force fields in nature. However, in standard formulations its mathematical structure is rather different from the Yang-Mills fields of particle physics that govern the electromagnetic, weak, and strong interactions. This paper explores this dissonance with particular focus on how gravity couples to matter from the perspective of the Cartan-geometric formulation of gravity. There the gravitational field is represented by a pair of variables: (1) a 'contact vector' VA which is geometrically visualized as the contact point between the spacetime manifold and a model spacetime being 'rolled' on top of it, and (2) a gauge connection AμAB, here taken to be valued in the Lie algebra of SO(2,3) or SO(1,4), which mathematically determines how much the model spacetime is rotated when rolled. By insisting on two principles, the gauge principle and polynomial simplicity, we shall show how one can reformulate matter field actions in a way that is harmonious with Cartan's geometric construction. This yields a formulation of all matter fields in terms of first order partial differential equations. We show in detail how the standard second order formulation can be recovered. In particular, the Hodge dual, which characterizes the structure of bosonic field equations, pops up automatically. Furthermore, the energy-momentum and spin-density three-forms are naturally combined into a single object here denoted the spin-energy-momentum three-form. Finally, we highlight a peculiarity in the mathematical structure of our first-order formulation of Yang-Mills fields. This suggests a way to unify a U(1) gauge field with gravity into a SO(1,5)-valued gauge field using a natural generalization of Cartan geometry in which the larger symmetry group is spontaneously broken down to SO(1,3)×U(1). The coupling of this unified theory to matter fields and possible extensions to non-Abelian gauge fields are left as open questions.

Guidelines for the Academic Preparation of Mathematics Faculty at Two-Year Colleges.

ERIC Educational Resources Information Center

American Mathematical Association of Two-Year Colleges.

Addressed to two-year college professionals responsible for staffing and evaluating mathematics programs and university personnel responsible for programs that prepare college mathematics teachers, this document provides recommendations for training effective community college mathematics faculty adopted by the American Mathematical Association of…

Impact of Online Summer Mathematics Bridge Program on Placement Scores and Pass Rates

ERIC Educational Resources Information Center

Frost, Jodi L.; Dreher, J. P.

2017-01-01

An online four-week summer mathematics bridge program was implemented at a Midwest university with historically low pass rates in College Algebra and Remedial Mathematics. Students who completed the four week program significantly increased their mathematics placement exam scores. These students also had a higher pass rate in their initial college…

Mathematics in Colleges and Universities. A Comprehensive Survey of Graduate and Undergraduate Programs. Final Report

ERIC Educational Resources Information Center

Lindquist, Clarence B.

Presented is a comprehensive survey of graduate and undergraduate programs in mathematics in effect during Winter and Spring of 1961. Questionnaires were mailed to 1,069 institutions which awarded degrees in mathematics or offered substantial programs in mathematics. Junior colleges and such specialized schools as Bible Colleges and seminaries,…

Burton-Miller-type singular boundary method for acoustic radiation and scattering

NASA Astrophysics Data System (ADS)

Fu, Zhuo-Jia; Chen, Wen; Gu, Yan

2014-08-01

This paper proposes the singular boundary method (SBM) in conjunction with Burton and Miller's formulation for acoustic radiation and scattering. The SBM is a strong-form collocation boundary discretization technique using the singular fundamental solutions, which is mathematically simple, easy-to-program, meshless and introduces the concept of source intensity factors (SIFs) to eliminate the singularities of the fundamental solutions. Therefore, it avoids singular numerical integrals in the boundary element method (BEM) and circumvents the troublesome placement of the fictitious boundary in the method of fundamental solutions (MFS). In the present method, we derive the SIFs of exterior Helmholtz equation by means of the SIFs of exterior Laplace equation owing to the same order of singularities between the Laplace and Helmholtz fundamental solutions. In conjunction with the Burton-Miller formulation, the SBM enhances the quality of the solution, particularly in the vicinity of the corresponding interior eigenfrequencies. Numerical illustrations demonstrate efficiency and accuracy of the present scheme on some benchmark examples under 2D and 3D unbounded domains in comparison with the analytical solutions, the boundary element solutions and Dirichlet-to-Neumann finite element solutions.

Novel Pharmacokinetic-Pharmacodynamic Model for Prediction of Outcomes with an Extended-Release Formulation of Ciprofloxacin

PubMed Central

Meagher, Alison K.; Forrest, Alan; Dalhoff, Axel; Stass, Heino; Schentag, Jerome J.

2004-01-01

The pharmacokinetics of an extended-release (XR) formulation of ciprofloxacin has been compared to that of the immediate-release (IR) product in healthy volunteers. The only significant difference in pharmacokinetic parameters between the two formulations was seen in the rate constant of absorption, which was approximately 50% greater with the IR formulation. The geometric mean plasma ciprofloxacin concentrations were applied to an in vitro pharmacokinetic-pharmacodynamic model exposing three different clinical strains of Escherichia coli (MICs, 0.03, 0.5, and 2.0 mg/liter) to 24 h of simulated concentrations in plasma. A novel mathematical model was derived to describe the time course of bacterial CFU, including capacity-limited replication and first-order rate of bacterial clearance, and to model the effects of ciprofloxacin concentrations on these processes. A “mixture model” was employed which allowed as many as three bacterial subpopulations to describe the total bacterial load at any moment. Comparing the two formulations at equivalent daily doses, the rates and extents of bacterial killing were similar with the IR and XR formulations at MICs of 0.03 and 2.0 mg/liter. At an MIC of 0.5 mg/liter, however, the 1,000-mg/day XR formulation showed a moderate advantage in antibacterial effect: the area under the CFU-time curve was 45% higher for the IR regimen; the nadir log CFU and 24-h log CFU values for the IR regimen were 3.75 and 2.49, respectively; and those for XR were 4.54 and 3.13, respectively. The mathematical model explained the differences in bacterial killing rate for two regimens with identical AUC/MIC ratios. PMID:15155200

Pre-service Mathematics Teachers' Knowledge of History of Mathematics and Their Attitudes and Beliefs Towards Using History of Mathematics in Mathematics Education

NASA Astrophysics Data System (ADS)

Alpaslan, Mustafa; Işıksal, Mine; Haser, Çiğdem

2014-01-01

This study examined pre-service mathematics teachers' knowledge of history of mathematics and their attitudes and beliefs towards using history of mathematics in mathematics education based on year level in teacher education program and gender. The sample included 1,593 freshman, sophomore, junior, and senior pre-service middle school (grades 4-8) mathematics teachers from nine universities in Turkey. Data were collected through Knowledge of History of Mathematics Test and Attitudes and Beliefs towards the Use of History of Mathematics in Mathematics Education Questionnaire. Results indicate that pre-service teachers have moderate knowledge of history of mathematics and positive attitudes and beliefs towards using history of mathematics. Their knowledge scores increase as the year level in teacher education program advanced. Males' knowledge scores are significantly higher than females' scores in the first 2 years. This situation reverses in the last 2 years, but it is not statistically significant. Pre-service teachers have more positive attitudes and availing beliefs towards using history of mathematics as they progress in their teacher education program. Females have greater attitudes and beliefs mean scores than males in each of the years. The results indicate that the teacher education program may have enhanced the pre-service teachers' knowledge of history of mathematics by related courses. However, the moderate knowledge scores indicate that there is a need for revision of these courses. The pre-service teachers' positive attitudes and beliefs towards using history of mathematics stress the importance of teacher education program in order to prepare them for implementing this alternative strategy in the future.

The EMERGE Summer Program: Supporting Incoming Freshmen's Success in Mathematics Developmental Coursework

ERIC Educational Resources Information Center

Bird, Katherine; Oppland-Cordell, Sarah; Hibdon, Joseph

2016-01-01

This paper describes the development, results, and future directions of the mathematics component of the EMERGE Summer Program at Northeastern Illinois University. Initiated summer 2014, EMERGE offered English and mathematics sessions for incoming freshmen. The mathematics session aimed to strengthen participants' mathematical foundations,…

Alternative Secondary Mathematics Programs for Migrant Students: Cultural and Linguistic Considerations.

ERIC Educational Resources Information Center

Celedon-Pattichis, Sylvia

This chapter describes various programs providing secondary mathematics curricula to migrant students and discusses some challenges of integrating the cultural and linguistic experiences of migrant students learning mathematics. Among the distance-education programs designed for migrant students, the University of Texas Migrant Program delivers 22…

Mathematical models for principles of gyroscope theory

NASA Astrophysics Data System (ADS)

Usubamatov, Ryspek

2017-01-01

Gyroscope devices are primary units for navigation and control systems that have wide application in engineering. The main property of the gyroscope device is maintaining the axis of a spinning rotor. This gyroscope peculiarity is represented in terms of gyroscope effects in which known mathematical models have been formulated on the law of kinetic energy conservation and the change in the angular momentum. The gyroscope theory is represented by numerous publications, which mathematical models do not match the actual torques and motions in these devices.. The nature of gyroscope effects is more complex than represented in known publications. Recent investigations in this area have demonstrated that on a gyroscope can act until eleven internal torques simultaneously and interdependently around two axes. These gyroscope torques are generated by spinning rotor's mass-elements and by the gyroscope center-mass based on action of several inertial forces. The change in the angular momentum does not play first role for gyroscope motions. The external load generates several internal torques which directions may be distinguished. This situation leads changing of the angular velocities of gyroscope motions around two axes. Formulated mathematical models of gyroscope internal torques are representing the fundamental principle of gyroscope theory. In detail, the gyroscope is experienced the resistance torque generated by the centrifugal and Coriolis forces of the spinning rotor and the precession torque generated by the common inertial forces and the change in the angular momentum. The new mathematical models for the torques and motions of the gyroscope confirmed for most unsolvable problems. The mathematical models practically tested and the results are validated the theoretical approach.

The influence of wind-tunnel walls on discrete frequency noise

NASA Technical Reports Server (NTRS)

Mosher, M.

1984-01-01

This paper describes an analytical model that can be used to examine the effects of wind-tunnel walls on discrete frequency noise. First, a complete physical model of an acoustic source in a wind tunnel is described, and a simplified version is then developed. This simplified model retains the important physical processes involved, yet it is more amenable to analysis. Second, the simplified physical model is formulated as a mathematical problem. An inhomogeneous partial differential equation with mixed boundary conditions is set up and then transformed into an integral equation. The integral equation has been solved with a panel program on a computer. Preliminary results from a simple model problem will be shown and compared with the approximate analytic solution.

A design procedure for a tension-wire stiffened truss-column

NASA Technical Reports Server (NTRS)

Greene, W. H.

1980-01-01

A deployable, tension wire stiffened, truss column configuration was considered for space structure applications. An analytical procedure, developed for design of the truss column and exercised in numerical studies, was based on equivalent beam stiffness coefficients in the classical analysis for an initially imperfect beam column. Failure constraints were formulated to be used in a combined weight/strength and nonlinear mathematical programming automated design procedure to determine the minimum mass column for a particular combination of design load and length. Numerical studies gave the mass characteristics of the truss column for broad ranges of load and length. Comparisons of the truss column with a baseline tubular column used a special structural efficiency parameter for this class of columns.

An Approach for Peptide Identification by De Novo Sequencing of Mixture Spectra.

PubMed

Liu, Yi; Ma, Bin; Zhang, Kaizhong; Lajoie, Gilles

2017-01-01

Mixture spectra occur quite frequently in a typical wet-lab mass spectrometry experiment, which result from the concurrent fragmentation of multiple precursors. The ability to efficiently and confidently identify mixture spectra is essential to alleviate the existent bottleneck of low mass spectra identification rate. However, most of the traditional computational methods are not suitable for interpreting mixture spectra, because they still take the assumption that the acquired spectra come from the fragmentation of a single precursor. In this manuscript, we formulate the mixture spectra de novo sequencing problem mathematically, and propose a dynamic programming algorithm for the problem. Additionally, we use both simulated and real mixture spectra data sets to verify the merits of the proposed algorithm.

Optimal parameter estimation with a fixed rate of abstention

NASA Astrophysics Data System (ADS)

Gendra, B.; Ronco-Bonvehi, E.; Calsamiglia, J.; Muñoz-Tapia, R.; Bagan, E.

2013-07-01

The problems of optimally estimating a phase, a direction, and the orientation of a Cartesian frame (or trihedron) with general pure states are addressed. Special emphasis is put on estimation schemes that allow for inconclusive answers or abstention. It is shown that such schemes enable drastic improvements, up to the extent of attaining the Heisenberg limit in some cases, and the required amount of abstention is quantified. A general mathematical framework to deal with the asymptotic limit of many qubits or large angular momentum is introduced and used to obtain analytical results for all the relevant cases under consideration. Parameter estimation with abstention is also formulated as a semidefinite programming problem, for which very efficient numerical optimization techniques exist.

Supersonic Combustion Research at NASA

NASA Technical Reports Server (NTRS)

Drummond, J. P.; Danehy, Paul M.; Gaffney, Richard L., Jr.; Tedder, Sarah A.; Cutler, Andrew D.; Bivolaru, Daniel

2007-01-01

This paper discusses the progress of work to model high-speed supersonic reacting flow. The purpose of the work is to improve the state of the art of CFD capabilities for predicting the flow in high-speed propulsion systems, particularly combustor flowpaths. The program has several components including the development of advanced algorithms and models for simulating engine flowpaths as well as a fundamental experimental and diagnostic development effort to support the formulation and validation of the mathematical models. The paper will provide details of current work on experiments that will provide data for the modeling efforts along with the associated nonintrusive diagnostics used to collect the data from the experimental flowfield. Simulation of a recent experiment to partially validate the accuracy of a combustion code is also described.

Identifying the mathematics middle year students use as they address a community issue

NASA Astrophysics Data System (ADS)

Marshman, Margaret

2017-03-01

Middle year students often do not see the mathematics in the real world whereas the Australian Curriculum: Mathematics aims for students to be "confident and creative users and communicators of mathematics" (Australian Curriculum Assessment and Reporting Authority [ACARA] 2012). Using authentic and real mathematics tasks can address this situation. This paper is an account of how, working within a Knowledge Producing Schools' framework, a group of middle year students addressed a real community issue, the problem of the lack of a teenage safe space using mathematics and technology. Data were collected for this case study via journal observations and reflections, semi-structured interviews, samples of the students' work and videos of students working. The data were analysed by identifying the mathematics the students used determining the function and location of the space and focused on problem negotiation, formulation and solving through the statistical investigation cycle. The paper will identify the mathematics and statistics these students used as they addressed a real problem in their local community.

The role of a posteriori mathematics in physics

NASA Astrophysics Data System (ADS)

MacKinnon, Edward

2018-05-01

The calculus that co-evolved with classical mechanics relied on definitions of functions and differentials that accommodated physical intuitions. In the early nineteenth century mathematicians began the rigorous reformulation of calculus and eventually succeeded in putting almost all of mathematics on a set-theoretic foundation. Physicists traditionally ignore this rigorous mathematics. Physicists often rely on a posteriori math, a practice of using physical considerations to determine mathematical formulations. This is illustrated by examples from classical and quantum physics. A justification of such practice stems from a consideration of the role of phenomenological theories in classical physics and effective theories in contemporary physics. This relates to the larger question of how physical theories should be interpreted.

A FAST POLYNOMIAL TRANSFORM PROGRAM WITH A MODULARIZED STRUCTURE

NASA Technical Reports Server (NTRS)

Truong, T. K.

1994-01-01

This program utilizes a fast polynomial transformation (FPT) algorithm applicable to two-dimensional mathematical convolutions. Two-dimensional convolution has many applications, particularly in image processing. Two-dimensional cyclic convolutions can be converted to a one-dimensional convolution in a polynomial ring. Traditional FPT methods decompose the one-dimensional cyclic polynomial into polynomial convolutions of different lengths. This program will decompose a cyclic polynomial into polynomial convolutions of the same length. Thus, only FPTs and Fast Fourier Transforms of the same length are required. This modular approach can save computational resources. To further enhance its appeal, the program is written in the transportable 'C' language. The steps in the algorithm are: 1) formulate the modulus reduction equations, 2) calculate the polynomial transforms, 3) multiply the transforms using a generalized fast Fourier transformation, 4) compute the inverse polynomial transforms, and 5) reconstruct the final matrices using the Chinese remainder theorem. Input to this program is comprised of the row and column dimensions and the initial two matrices. The matrices are printed out at all steps, ending with the final reconstruction. This program is written in 'C' for batch execution and has been implemented on the IBM PC series of computers under DOS with a central memory requirement of approximately 18K of 8 bit bytes. This program was developed in 1986.

Improving the Graduate School Experience for Women in Mathematics: the Edge Program

NASA Astrophysics Data System (ADS)

Bozeman, Sylvia T.; Hughes, Rhonda J.

For over a decade, Spelman College and Bryn Mawr College have collaborated on initiatives designed to increase the presence of women, with a special focus on women of color, in the upper ranks of mathematical science. The most recent initiative is the EDGE Program (Enhancing Diversity in Graduate Education), which addresses this challenge by attempting to decrease the loss of talent from U.S. graduate programs. To this end, the program provides structures that help women make successful transitions from undergraduate into graduate mathematics programs, redirect or refocus their ambitions when programs are inappropriate or unsuitable, and, ultimately, enable them to "accumulate advantages" that will empower them and foster success in their careers. A broader goal of this program is to diversify the mathematics community by creating models for mathematics programs that allow people from all backgrounds and cultures to thrive, advance, and contribute to the profession.

Effectiveness of the Incentive Loan Program for Mathematics and Science Teachers--Washington State 1983-1986. Part III: Report to Washington State Legislature Incentive Loan Program for Mathematics and Science Teachers.

ERIC Educational Resources Information Center

Harder, Annie K.; And Others

The effectiveness of a loan program in providing an incentive for students to prepare for mathematics and/or science teaching in Washington State is described in this report. It is the third of a three part report to the Washington State Legislature regarding the Teacher Incentive Loan Program for Mathematics and Science. Recipients of forgiveness…

Mathematizing Process of Junior High School Students to Improve Mathematics Literacy Refers PISA on RCP Learning

NASA Astrophysics Data System (ADS)

Wardono; Mariani, S.; Hendikawati, P.; Ikayani

2017-04-01

Mathematizing process (MP) is the process of modeling a phenomenon mathematically or establish the concept of a phenomenon. There are two mathematizing that is Mathematizing Horizontal (MH) and Mathematizing Vertical (MV). MH as events changes contextual problems into mathematical problems, while MV is the process of formulation of the problem into a variety of settlement mathematics by using some appropriate rules. Mathematics Literacy (ML) is the ability to formulate, implement and interpret mathematics in various contexts, including the capacity to perform reasoning mathematically and using the concepts, procedures, and facts to describe, explain or predict phenomena incident. If junior high school students are conditioned continuously to conduct mathematizing activities on RCP (RME-Card Problem) learning, it will be able to improve ML that refers PISA. The purpose of this research is to know the capability of the MP grade VIII on ML content shape and space with the matter of the cube and beams with RCP learning better than the scientific learning, upgrade MP grade VIII in the issue of the cube and beams with RCP learning better than the scientific learning in terms of cognitive styles reflective and impulsive the MP grade VIII with the approach of the RCP learning in terms of cognitive styles reflective and impulsive This research is the mixed methods model concurrent embedded. The population in this study, i.e., class VIII SMPN 1 Batang with sample two class. Data were taken with the observation, interviews, and tests and analyzed with a different test average of one party the right qualitative and descriptive. The results of this study demonstrate the capability of the MP student with RCP learning better than the scientific learning, upgrade MP with RCP learning better compare with scientific learning in term cognitive style of reflective and impulsive. The subject of the reflective group top, middle, and bottom can meet all the process of MH indicators are then the subject of the reflective upper and intermediate group can meet all the MV indicators but to lower groups can only fulfill some MV indicators. The subject is impulsive upper and middle group can meet all the MH indicators but to lower groups can only meet some MH indicator, then the subject is impulsive group can meet all the MV indicators but for middle and the bottom group can only fulfill some MV indicators.

pyomocontrib_simplemodel v. 1.0

DOE Office of Scientific and Technical Information (OSTI.GOV)

Hart, William

2017-03-02

Pyomo supports the formulation and analysis of mathematical models for complex optimization applications. This library extends the API of Pyomo to include a simple modeling representation: a list of objectives and constraints.

The Impact of an Online Tutoring Program on Mathematics Achievement

ERIC Educational Resources Information Center

Clark, Amy K.; Whetstone, Patti

2014-01-01

The authors explored the impact of an online tutoring program, Math Whizz (Whizz Education, 2014), on student mathematics achievement at 15 elementary schools. Students participated in the use of the Math Whizz program for the duration of the school year as a supplement to mathematics instruction. The Math Whizz program recorded such information…

Mixed Integer Programming and Heuristic Scheduling for Space Communication

NASA Technical Reports Server (NTRS)

Lee, Charles H.; Cheung, Kar-Ming

2013-01-01

Optimal planning and scheduling for a communication network was created where the nodes within the network are communicating at the highest possible rates while meeting the mission requirements and operational constraints. The planning and scheduling problem was formulated in the framework of Mixed Integer Programming (MIP) to introduce a special penalty function to convert the MIP problem into a continuous optimization problem, and to solve the constrained optimization problem using heuristic optimization. The communication network consists of space and ground assets with the link dynamics between any two assets varying with respect to time, distance, and telecom configurations. One asset could be communicating with another at very high data rates at one time, and at other times, communication is impossible, as the asset could be inaccessible from the network due to planetary occultation. Based on the network's geometric dynamics and link capabilities, the start time, end time, and link configuration of each view period are selected to maximize the communication efficiency within the network. Mathematical formulations for the constrained mixed integer optimization problem were derived, and efficient analytical and numerical techniques were developed to find the optimal solution. By setting up the problem using MIP, the search space for the optimization problem is reduced significantly, thereby speeding up the solution process. The ratio of the dimension of the traditional method over the proposed formulation is approximately an order N (single) to 2*N (arraying), where N is the number of receiving antennas of a node. By introducing a special penalty function, the MIP problem with non-differentiable cost function and nonlinear constraints can be converted into a continuous variable problem, whose solution is possible.

The effect of mathematics games to the student perception of mathematics subject: A case study in Sekolah Kebangsaan Bukit Kuda, Klang

NASA Astrophysics Data System (ADS)

Abdul Hadi, Normi; Mohd Noor, Norlenda; Abd Halim, Suhaila; Alwadood, Zuraida; Khairol Azmi, Nurul Nisa'

2013-04-01

Mathematics is a basic subject in primary and secondary schools. Early exposure to mathematics is very important since it will affect the student perception towards this subject for their entire life. Therefore, a program called 'Mini Hari Matematik' was conducted to expose the basic mathematics concept through some games which fit the knowledge of Standard four and five students. A questionnaire regarding student perception towards this subject was distributed before and after the program. From the analysis, the program has positively changed the student's perception towards mathematics.

Compressibility of binary powder formulations: investigation and evaluation with compaction equations.

PubMed

Gentis, Nicolaos D; Betz, Gabriele

2012-02-01

The purpose of this work was to investigate and evaluate the powder compressibility of binary mixtures containing a well-compressible compound (microcrystalline cellulose) and a brittle active drug (paracetamol and mefenamic acid) and its progression after a drug load increase. Drug concentration range was 0%-100% (m/m) with 10% intervals. The powder formulations were compacted to several relative densities with the Zwick material tester. The compaction force and tensile strength were fitted to several mathematical models that give representative factors for the powder compressibility. The factors k and C (Heckel and modified Heckel equation) showed mostly a nonlinear correlation with increasing drug load. The biggest drop in both factors occurred at far regions and drug load ranges. This outcome is crucial because in binary mixtures the drug load regions with higher changeover of plotted factors could be a hint for an existing percolation threshold. The susceptibility value (Leuenberger equation) showed varying values for each formulation without the expected trend of decrease for higher drug loads. The outcomes of this study showed the main challenges for good formulation design. Thus, we conclude that such mathematical plots are mandatory for a scientific evaluation and prediction of the powder compaction process. Copyright © 2011 Wiley Periodicals, Inc.

The challenge of computer mathematics.

PubMed

Barendregt, Henk; Wiedijk, Freek

2005-10-15

Progress in the foundations of mathematics has made it possible to formulate all thinkable mathematical concepts, algorithms and proofs in one language and in an impeccable way. This is not in spite of, but partially based on the famous results of Gödel and Turing. In this way statements are about mathematical objects and algorithms, proofs show the correctness of statements and computations, and computations are dealing with objects and proofs. Interactive computer systems for a full integration of defining, computing and proving are based on this. The human defines concepts, constructs algorithms and provides proofs, while the machine checks that the definitions are well formed and the proofs and computations are correct. Results formalized so far demonstrate the feasibility of this 'computer mathematics'. Also there are very good applications. The challenge is to make the systems more mathematician-friendly, by building libraries and tools. The eventual goal is to help humans to learn, develop, communicate, referee and apply mathematics.

New computer system simplifies programming of mathematical equations

NASA Technical Reports Server (NTRS)

Reinfelds, J.; Seitz, R. N.; Wood, L. H.

1966-01-01

Automatic Mathematical Translator /AMSTRAN/ permits scientists or engineers to enter mathematical equations in their natural mathematical format and to obtain an immediate graphical display of the solution. This automatic-programming, on-line, multiterminal computer system allows experienced programmers to solve nonroutine problems.

Effects of a Mathematics Fluency Program on Mathematics Performance of Students with Challenging Behaviors

ERIC Educational Resources Information Center

Whitney, Todd; Hirn, Regina G.; Lingo, Amy S.

2016-01-01

In the present study, we examined the effects of a fluency-building mathematics program called Great Leaps Math on fluency of basic addition mathematics facts zero to nine and word problem solving using a multiple probe design across participants. Three elementary students with challenging behaviors and mathematics difficulty participated in the…

Examining Change in K-3 Teachers' Mathematical Knowledge, Attitudes, and Beliefs: The Case of Primarily Math

ERIC Educational Resources Information Center

Kutaka, T. S.; Ren, L.; Smith, W. M.; Beattie, H. L.; Edwards, C. P.; Green, J. L.; Chernyavskiy, P.; Stroup, W.; Heaton, R. M.; Lewis, W. J.

2018-01-01

This study examines the impact of the Primarily Math Elementary Mathematics Specialist program on K-3 teachers' mathematical content knowledge for teaching, attitudes toward learning mathematics, and beliefs about mathematics teaching and learning. Three cohorts of teachers participating in the program were compared to a similar group of…

What's Working: Program Factors Influencing California Community College Basic Skills Mathematics Students' Advancement to Transfer Level

ERIC Educational Resources Information Center

Fiero, Diane M.

2013-01-01

Purpose: The purpose of this study was to determine which basic skills program factors were exhibited by successful basic skills programs that helped students advance to transfer-level mathematics. This study specifically examined California community college basic skills programs that assist students who place in mathematics courses 2 levels…

Improving Mathematics Teacher Education in Germany: Empirical Results from a Longitudinal Evaluation of Innovative Programs

ERIC Educational Resources Information Center

Buchholtz, Nils; Kaiser, Gabriele

2013-01-01

Innovative programs for restructuring the entry phase of mathematics teacher education programs have been implemented at various German universities within the last few years. This article reports about the design and the results of a longitudinal evaluation study of the effectiveness of two of these programs aiming to improve mathematics teacher…

Mathematical modelling in developmental biology.

PubMed

Vasieva, Olga; Rasolonjanahary, Manan'Iarivo; Vasiev, Bakhtier

2013-06-01

In recent decades, molecular and cellular biology has benefited from numerous fascinating developments in experimental technique, generating an overwhelming amount of data on various biological objects and processes. This, in turn, has led biologists to look for appropriate tools to facilitate systematic analysis of data. Thus, the need for mathematical techniques, which can be used to aid the classification and understanding of this ever-growing body of experimental data, is more profound now than ever before. Mathematical modelling is becoming increasingly integrated into biological studies in general and into developmental biology particularly. This review outlines some achievements of mathematics as applied to developmental biology and demonstrates the mathematical formulation of basic principles driving morphogenesis. We begin by describing a mathematical formalism used to analyse the formation and scaling of morphogen gradients. Then we address a problem of interplay between the dynamics of morphogen gradients and movement of cells, referring to mathematical models of gastrulation in the chick embryo. In the last section, we give an overview of various mathematical models used in the study of the developmental cycle of Dictyostelium discoideum, which is probably the best example of successful mathematical modelling in developmental biology.

Promoting Leadership in Doctoral Programs in Mathematics Education

ERIC Educational Resources Information Center

Reys, Robert

2013-01-01

Mathematics educators have many different opportunities to reflect leadership throughout their careers. High quality doctoral programs provide a rich and stimulating environment that supports the development of leadership qualities. This paper describes some ways that leadership can be fostered in doctoral programs in mathematics education.

Dynamic Flow Management Problems in Air Transportation

NASA Technical Reports Server (NTRS)

Patterson, Sarah Stock

1997-01-01

In 1995, over six hundred thousand licensed pilots flew nearly thirty-five million flights into over eighteen thousand U.S. airports, logging more than 519 billion passenger miles. Since demand for air travel has increased by more than 50% in the last decade while capacity has stagnated, congestion is a problem of undeniable practical significance. In this thesis, we will develop optimization techniques that reduce the impact of congestion on the national airspace. We start by determining the optimal release times for flights into the airspace and the optimal speed adjustment while airborne taking into account the capacitated airspace. This is called the Air Traffic Flow Management Problem (TFMP). We address the complexity, showing that it is NP-hard. We build an integer programming formulation that is quite strong as some of the proposed inequalities are facet defining for the convex hull of solutions. For practical problems, the solutions of the LP relaxation of the TFMP are very often integral. In essence, we reduce the problem to efficiently solving large scale linear programming problems. Thus, the computation times are reasonably small for large scale, practical problems involving thousands of flights. Next, we address the problem of determining how to reroute aircraft in the airspace system when faced with dynamically changing weather conditions. This is called the Air Traffic Flow Management Rerouting Problem (TFMRP) We present an integrated mathematical programming approach for the TFMRP, which utilizes several methodologies, in order to minimize delay costs. In order to address the high dimensionality, we present an aggregate model, in which we formulate the TFMRP as a multicommodity, integer, dynamic network flow problem with certain side constraints. Using Lagrangian relaxation, we generate aggregate flows that are decomposed into a collection of flight paths using a randomized rounding heuristic. This collection of paths is used in a packing integer programming formulation, the solution of which generates feasible and near-optimal routes for individual flights. The algorithm, termed the Lagrangian Generation Algorithm, is used to solve practical problems in the southwestern portion of United States in which the solutions are within 1% of the corresponding lower bounds.

An Attempt of Making Program-Generated Animation in a Beginners’ Programming Class

NASA Astrophysics Data System (ADS)

Matsuyama, Chieko; Nakashima, Toyoshiro; Ishii, Naohiro

In general, mathematical subjects are used for programming education in universities. In this case, many students lose the interest in the programming because the students have the preconception that is difficult to program by using the mathematical expressions. Especially beginners of the programming are a tendency to lose the interest. Therefore it is pointed out to use the subjects which do not need mathematical knowledge as much as possible. In this paper the authors have tried to make animation that are generated by programs instead of the mathematical subjects in a beginners’ programming class using C language used in a wide-ranging field. The authors discuss about improvements of the interest of students for programming by the try that is to make animation by programs in a programming class and refer to its effects.

Manitoba Mathematics Assessment Program, 1981. Final Report.

ERIC Educational Resources Information Center

Manitoba Dept. of Education, Winnipeg.

This document contains conclusions, recommendations, a summary of results, and interpretations of the 1981 Mathematics Assessment Program. The Assessment Program involved the production of achievement tests and teacher questionnaires for the third, sixth, ninth, and twelth-grade students. These were a test related to general mathematics skills,…

78 FR 22841 - Defense Federal Acquisition Regulation Supplement: Encouragement of Science, Technology...

Federal Register 2010, 2011, 2012, 2013, 2014

2013-04-17

..., Engineering, and Mathematics (STEM) Programs (DFARS Case 2012-D027); Withdrawal AGENCY: Defense Acquisition... mathematics (STEM) programs. FOR FURTHER INFORMATION CONTACT: Mr. Dustin Pitsch: telephone 571-372- 6090... develop science, technology, engineering, and mathematics (STEM) programs. The purpose of this Notice is...

Effects of an Additional Mathematics Content Course on Elementary Teachers' Mathematical Beliefs and Knowledge for Teaching

ERIC Educational Resources Information Center

Smith, Marvin E.; Swars, Susan L.; Smith, Stephanie Z.; Hart, Lynn C.; Haardorfer, Regine

2012-01-01

This longitudinal study examines the effects of changes in an elementary teacher preparation program on mathematics beliefs and content knowledge for teaching of two groups of prospective teachers (N = 276): (1) those who completed a program with three mathematics content courses and two mathematics methods courses and (2) those who completed a…

The Effect of Teacher Education Programs on Future Elementary Mathematics Teachers' Knowledge: A Five-Country Analysis Using TEDS-M Data

ERIC Educational Resources Information Center

Qian, Hong; Youngs, Peter

2016-01-01

This article addresses the problem of how opportunities to learn in teacher education programs influence future elementary mathematics teachers' knowledge. This study used data collected for the Teacher Education and Development Study in Mathematics (TEDS-M). TEDS-M measured the mathematics content knowledge (MCK) and the mathematics pedagogical…

Mathematical modeling of fluxgate magnetic gradiometers

NASA Astrophysics Data System (ADS)

Milovzorov, D. G.; Yasoveev, V. Kh.

2017-07-01

Issues of designing fluxgate magnetic gradiometers are considered. The areas of application of fluxgate magnetic gradiometers are determined. The structure and layout of a two-component fluxgate magnetic gradiometer are presented. It is assumed that the fluxgates are strictly coaxial in the gradiometer body. Elements of the classical approach to the mathematical modeling of the spatial arrangement of solids are considered. The bases of the gradiometer body and their transformations during spatial displacement of the gradiometer are given. The problems of mathematical modeling of gradiometers are formulated, basic mathematical models of a two-component fluxgate gradiometer are developed, and the mathematical models are analyzed. A computer experiment was performed. Difference signals from the gradiometer fluxgates for the vertical and horizontal position of the gradiometer body are shown graphically as functions of the magnitude and direction of the geomagnetic field strength vector.

Formulation and implementation of a practical algorithm for parameter estimation with process and measurement noise

NASA Technical Reports Server (NTRS)

Maine, R. E.; Iliff, K. W.

1980-01-01

A new formulation is proposed for the problem of parameter estimation of dynamic systems with both process and measurement noise. The formulation gives estimates that are maximum likelihood asymptotically in time. The means used to overcome the difficulties encountered by previous formulations are discussed. It is then shown how the proposed formulation can be efficiently implemented in a computer program. A computer program using the proposed formulation is available in a form suitable for routine application. Examples with simulated and real data are given to illustrate that the program works well.

Experiments with Corn To Demonstrate Plant Growth and Development.

ERIC Educational Resources Information Center

Haldeman, Janice H.; Gray, Margarit S.

2000-01-01

Explores using corn seeds to demonstrate plant growth and development. This experiment allows students to formulate hypotheses, observe and record information, and practice mathematics. Presents background information, materials, procedures, and observations. (SAH)

Mathematical modeling of tomographic scanning of cylindrically shaped test objects

NASA Astrophysics Data System (ADS)

Kapranov, B. I.; Vavilova, G. V.; Volchkova, A. V.; Kuznetsova, I. S.

2018-05-01

The paper formulates mathematical relationships that describe the length of the radiation absorption band in the test object for the first generation tomographic scan scheme. A cylindrically shaped test object containing an arbitrary number of standard circular irregularities is used to perform mathematical modeling. The obtained mathematical relationships are corrected with respect to chemical composition and density of the test object material. The equations are derived to calculate the resulting attenuation radiation from cobalt-60 isotope when passing through the test object. An algorithm to calculate the radiation flux intensity is provided. The presented graphs describe the dependence of the change in the γ-quantum flux intensity on the change in the radiation source position and the scanning angle of the test object.

Superfluid helium sloshing dynamics induced oscillations and fluctuations of angular momentum, force and moment actuated on spacecraft driven by gravity gradient or jitter acceleration associated with slew motion

NASA Technical Reports Server (NTRS)

Hung, R. J.

1994-01-01

The generalized mathematical formulation of sloshing dynamics for partially filled liquid of cryogenic superfluid helium II in dewar containers driven by the gravity gradient and jitter accelerations associated with slew motion for the purpose to perform scientific observation during the normal spacecraft operation are investigated. An example is given with the Advanced X-Ray Astrophysics Facility-Spectroscopy (AXAF-S) for slew motion which is responsible for the sloshing dynamics. The jitter accelerations include slew motion, spinning motion, atmospheric drag on the spacecraft, spacecraft attitude motions arising from machinery vibrations, thruster firing, pointing control of spacecraft, crew motion, etc. Explicit mathematical expressions to cover these forces acting on the spacecraft fluid systems are derived. The numerical computation of sloshing dynamics is based on the non-inertia frame spacecraft bound coordinate, and solve time-dependent, three-dimensional formulations of partial differential equations subject to initial and boundary conditions. The explicit mathematical expressions of boundary conditions to cover capillary force effect on the liquid-vapor interface in microgravity environments are also derived. The formulations of fluid moment and angular moment fluctuations in fluid profiles induced by the sloshing dynamics, together with fluid stress and moment fluctuations exerted on the spacecraft dewar containers have also been derived. Examples are also given for cases applicable to the AXAF-S spacecraft sloshing dynamics associated with slew motion.

Dynamics of local grid manipulations for internal flow problems

NASA Technical Reports Server (NTRS)

Eiseman, Peter R.; Snyder, Aaron; Choo, Yung K.

1991-01-01

The control point method of algebraic grid generation is briefly reviewed. The review proceeds from the general statement of the method in 2-D unencumbered by detailed mathematical formulation. The method is supported by an introspective discussion which provides the basis for confidence in the approach. The more complex 3-D formulation is then presented as a natural generalization. Application of the method is carried out through 2-D examples which demonstrate the technique.

The Alberta K-9 Mathematics Program of Studies with Achievement Indicators

ERIC Educational Resources Information Center

Alberta Education, 2007

2007-01-01

The "Alberta K-9 Mathematics Program of Studies with Achievement Indicators" has been derived from "The Common Curriculum Framework for K-9 Mathematics: Western and Northern Canadian Protocol," May 2006 (the Common Curriculum Framework). The program of studies incorporates the conceptual framework for Kindergarten to Grade 9…

Effects of a Mathematics Cognitive Acceleration Program on Student Achievement and Motivation

ERIC Educational Resources Information Center

Finau, Teukava; Treagust, David F.; Won, Mihye; Chandrasegaran, A. L.

2018-01-01

This paper presents the effects of a cognitive acceleration program in mathematics classes on Tongan students' achievements, motivation and self-regulation. Cognitive Acceleration in Mathematics Education (CAME) is a program developed at King's College and implemented worldwide with the aim of improving students' thinking skills, mathematics…

Integration of CAI into a Freshmen Liberal Arts Math Course in the Community College.

ERIC Educational Resources Information Center

McCall, Michael B.; Holton, Jean L.

1982-01-01

Discusses four computer-assisted-instruction programs used in a college-level mathematics course to introduce computer literacy and improve mathematical skills. The BASIC programs include polynomial functions, trigonometric functions, matrix algebra, and differential calculus. Each program discusses mathematics theory and introduces programming…

Investigating Integer Restrictions in Linear Programming

ERIC Educational Resources Information Center

Edwards, Thomas G.; Chelst, Kenneth R.; Principato, Angela M.; Wilhelm, Thad L.

2015-01-01

Linear programming (LP) is an application of graphing linear systems that appears in many Algebra 2 textbooks. Although not explicitly mentioned in the Common Core State Standards for Mathematics, linear programming blends seamlessly into modeling with mathematics, the fourth Standard for Mathematical Practice (CCSSI 2010, p. 7). In solving a…

A Survey of Doctoral Programs in Mathematics Education.

ERIC Educational Resources Information Center

Sonnabend, Thomas

This nationwide survey of mathematics education professors presents and discusses rankings of mathematics education doctoral programs, tabulations of the number of doctoral dissertations produced in various programs, and the correlations between these two sets of data. Georgia, Ohio State, and Wisconsin were each mentioned by over 90% of the…

The conceptual basis of mathematics in cardiology: (II). Calculus and differential equations.

PubMed

Bates, Jason H T; Sobel, Burton E

2003-04-01

This is the second in a series of four articles developed for the readers of Coronary Artery Disease. Without language ideas cannot be articulated. What may not be so immediately obvious is that they cannot be formulated either. One of the essential languages of cardiology is mathematics. Unfortunately, medical education does not emphasize, and in fact, often neglects empowering physicians to think mathematically. Reference to statistics, conditional probability, multicompartmental modeling, algebra, calculus and transforms is common but often without provision of genuine conceptual understanding. At the University of Vermont College of Medicine, Professor Bates developed a course designed to address these deficiencies. The course covered mathematical principles pertinent to clinical cardiovascular and pulmonary medicine and research. It focused on fundamental concepts to facilitate formulation and grasp of ideas. This series of four articles was developed to make the material available for a wider audience. The articles will be published sequentially in Coronary Artery Disease. Beginning with fundamental axioms and basic algebraic manipulations they address algebra, function and graph theory, real and complex numbers, calculus and differential equations, mathematical modeling, linear system theory and integral transforms and statistical theory. The principles and concepts they address provide the foundation needed for in-depth study of any of these topics. Perhaps of even more importance, they should empower cardiologists and cardiovascular researchers to utilize the language of mathematics in assessing the phenomena of immediate pertinence to diagnosis, pathophysiology and therapeutics. The presentations are interposed with queries (by Coronary Artery Disease abbreviated as CAD) simulating the nature of interactions that occurred during the course itself. Each article concludes with one or more examples illustrating application of the concepts covered to cardiovascular medicine and biology.

The conceptual basis of mathematics in cardiology III: linear systems theory and integral transforms.

PubMed

Bates, Jason H T; Sobel, Burton E

2003-05-01

This is the third in a series of four articles developed for the readers of Coronary Artery Disease. Without language ideas cannot be articulated. What may not be so immediately obvious is that they cannot be formulated either. One of the essential languages of cardiology is mathematics. Unfortunately, medical education does not emphasize, and in fact, often neglects empowering physicians to think mathematically. Reference to statistics, conditional probability, multicompartmental modeling, algebra, calculus and transforms is common but often without provision of genuine conceptual understanding. At the University of Vermont College of Medicine, Professor Bates developed a course designed to address these deficiencies. The course covered mathematical principles pertinent to clinical cardiovascular and pulmonary medicine and research. It focused on fundamental concepts to facilitate formulation and grasp of ideas.This series of four articles was developed to make the material available for a wider audience. The articles will be published sequentially in Coronary Artery Disease. Beginning with fundamental axioms and basic algebraic manipulations they address algebra, function and graph theory, real and complex numbers, calculus and differential equations, mathematical modeling, linear system theory and integral transforms and statistical theory. The principles and concepts they address provide the foundation needed for in-depth study of any of these topics. Perhaps of even more importance, they should empower cardiologists and cardiovascular researchers to utilize the language of mathematics in assessing the phenomena of immediate pertinence to diagnosis, pathophysiology and therapeutics. The presentations are interposed with queries (by Coronary Artery Disease abbreviated as CAD) simulating the nature of interactions that occurred during the course itself. Each article concludes with one or more examples illustrating application of the concepts covered to cardiovascular medicine and biology.

The conceptual basis of mathematics in cardiology IV: statistics and model fitting.

PubMed

Bates, Jason H T; Sobel, Burton E

2003-06-01

This is the fourth in a series of four articles developed for the readers of Coronary Artery Disease. Without language ideas cannot be articulated. What may not be so immediately obvious is that they cannot be formulated either. One of the essential languages of cardiology is mathematics. Unfortunately, medical education does not emphasize, and in fact, often neglects empowering physicians to think mathematically. Reference to statistics, conditional probability, multicompartmental modeling, algebra, calculus and transforms is common but often without provision of genuine conceptual understanding. At the University of Vermont College of Medicine, Professor Bates developed a course designed to address these deficiencies. The course covered mathematical principles pertinent to clinical cardiovascular and pulmonary medicine and research. It focused on fundamental concepts to facilitate formulation and grasp of ideas. This series of four articles was developed to make the material available for a wider audience. The articles will be published sequentially in Coronary Artery Disease. Beginning with fundamental axioms and basic algebraic manipulations they address algebra, function and graph theory, real and complex numbers, calculus and differential equations, mathematical modeling, linear system theory and integral transforms and statistical theory. The principles and concepts they address provide the foundation needed for in-depth study of any of these topics. Perhaps of even more importance, they should empower cardiologists and cardiovascular researchers to utilize the language of mathematics in assessing the phenomena of immediate pertinence to diagnosis, pathophysiology and therapeutics. The presentations are interposed with queries (by Coronary Artery Disease abbreviated as CAD) simulating the nature of interactions that occurred during the course itself. Each article concludes with one or more examples illustrating application of the concepts covered to cardiovascular medicine and biology.

The conceptual basis of mathematics in cardiology: (I) algebra, functions and graphs.

PubMed

Bates, Jason H T; Sobel, Burton E

2003-02-01

This is the first in a series of four articles developed for the readers of. Without language ideas cannot be articulated. What may not be so immediately obvious is that they cannot be formulated either. One of the essential languages of cardiology is mathematics. Unfortunately, medical education does not emphasize, and in fact, often neglects empowering physicians to think mathematically. Reference to statistics, conditional probability, multicompartmental modeling, algebra, calculus and transforms is common but often without provision of genuine conceptual understanding. At the University of Vermont College of Medicine, Professor Bates developed a course designed to address these deficiencies. The course covered mathematical principles pertinent to clinical cardiovascular and pulmonary medicine and research. It focused on fundamental concepts to facilitate formulation and grasp of ideas. This series of four articles was developed to make the material available for a wider audience. The articles will be published sequentially in Coronary Artery Disease. Beginning with fundamental axioms and basic algebraic manipulations they address algebra, function and graph theory, real and complex numbers, calculus and differential equations, mathematical modeling, linear system theory and integral transforms and statistical theory. The principles and concepts they address provide the foundation needed for in-depth study of any of these topics. Perhaps of even more importance, they should empower cardiologists and cardiovascular researchers to utilize the language of mathematics in assessing the phenomena of immediate pertinence to diagnosis, pathophysiology and therapeutics. The presentations are interposed with queries (by Coronary Artery Disease, abbreviated as CAD) simulating the nature of interactions that occurred during the course itself. Each article concludes with one or more examples illustrating application of the concepts covered to cardiovascular medicine and biology.

Development Mathematic Assessment to Increase Mathematical Prerequisite Ability on The Student with Learning Disabilities in Inclusive Elementary School

NASA Astrophysics Data System (ADS)

Robiansyah, S. T. U.; Nanang, F.; Hidayat

2018-01-01

The purpose of this study was to introduce about mathematic assessment is a process of obtaining data or information about the mastery of a student's mathematical skills as an ingredient in preparing a learning program. With this mathematics assessment can be known obstacles, difficulties and needs of students especially in the field of mathematic, so that the learning program will be in accordance with the potential students because it is tailored to what is required of students. This research study was conducted at elementary school of inclusive precisely at SDN Sukagalih I Bandung City based learning in setting of inclusive education. This research study is motivated by the existence of a first-grade student who has disabilities learning in mathematics, the ability of the mathematical prerequisite mastery of the classification of objects by color. The results of the research can provide a profile picture of student data information, the data obtained from the results of the development of systematic and formal mathematical assessment. After doing the development of mathematics assessment then the teacher gets important related information: 1. process the analysis of students’ learning needs, especially in the field of mathematics, 2. preparing the learning program planning according to student learning needs, 3. Designing procedural of method remedial program.

Bilevel formulation of a policy design problem considering multiple objectives and incomplete preferences

NASA Astrophysics Data System (ADS)

Hawthorne, Bryant; Panchal, Jitesh H.

2014-07-01

A bilevel optimization formulation of policy design problems considering multiple objectives and incomplete preferences of the stakeholders is presented. The formulation is presented for Feed-in-Tariff (FIT) policy design for decentralized energy infrastructure. The upper-level problem is the policy designer's problem and the lower-level problem is a Nash equilibrium problem resulting from market interactions. The policy designer has two objectives: maximizing the quantity of energy generated and minimizing policy cost. The stakeholders decide on quantities while maximizing net present value and minimizing capital investment. The Nash equilibrium problem in the presence of incomplete preferences is formulated as a stochastic linear complementarity problem and solved using expected value formulation, expected residual minimization formulation, and the Monte Carlo technique. The primary contributions in this article are the mathematical formulation of the FIT policy, the extension of computational policy design problems to multiple objectives, and the consideration of incomplete preferences of stakeholders for policy design problems.

A comparison of Fick and Maxwell-Stefan diffusion formulations in PEMFC gas diffusion layers

NASA Astrophysics Data System (ADS)

Lindstrom, Michael; Wetton, Brian

2017-01-01

This paper explores the mathematical formulations of Fick and Maxwell-Stefan diffusion in the context of polymer electrolyte membrane fuel cell cathode gas diffusion layers. The simple Fick law with a diagonal diffusion matrix is an approximation of Maxwell-Stefan. Formulations of diffusion combined with mass-averaged Darcy flow are considered for three component gases. For this application, the formulations can be compared computationally in a simple, one dimensional setting. Despite the models' seemingly different structure, it is observed that the predictions of the formulations are very similar on the cathode when air is used as oxidant. The two formulations give quite different results when the Nitrogen in the air oxidant is replaced by helium (this is often done as a diagnostic for fuel cells designs). The two formulations also give quite different results for the anode with a dilute Hydrogen stream. These results give direction to when Maxwell-Stefan diffusion, which is more complicated to implement computationally in many codes, should be used in fuel cell simulations.

Annotated Bibliography of Mathematics Resources. Program Resources.

ERIC Educational Resources Information Center

Markus, Nancy L.

Two bibliographies that review 18 books and resource materials that adult educators can use to teach mathematics in adult literacy classes are included. The materials are suggested to help teachers implement an effective, successful mathematics program, using many of the strategies recommended by the National Council of Teachers of Mathematics.…

From the University to the Classroom: Prospective Elementary Mathematics Specialists' Pedagogical Shifts

ERIC Educational Resources Information Center

Myers, Kayla D.; Swars, Susan L.; Smith, Stephanie Z.

2016-01-01

This project focuses on the development of prospective Elementary Mathematics Specialists (EMSs) in a K-5 Mathematics Endorsement Program. Program courses emphasized elementary mathematics content and pedagogy while providing opportunities for participants to evidence their learning through classroom teaching practice, all in an attempt to…

Mathematics Programs in High Schools and Two-Year Colleges.

ERIC Educational Resources Information Center

Taylor, Ross

Reviewing current conditions and projecting future directions, this paper explores trends in high school mathematics and discusses their implications for two-year college education. The first section examines the secondary school mathematics program, indicating that until now this two-track curriculum has focused on precalculus mathematics for…

Bilingual Mathematics and Science Achievement, 1988-89. Evaluation Section Report.

ERIC Educational Resources Information Center

Berney, Tomi D.; Barrera, Marbella

This report documents the evaluation of the Bilingual Mathematics and Science Achievement Program (Project BMSA) for students of limited English proficiency. The bilingual program was designed to provide intensive mathematics and science instruction, using mastery level concepts, in the native language and to incorporate mathematics and science…

Topics in Mathematics.

ERIC Educational Resources Information Center

Posey, Johnsie Jo, Ed.; And Others

This manual is a collection of materials and teaching strategies to motivate the development of mathematical ideas in secondary school mathematics programs or in beginning college mathematics programs. The unit is written for the instructor with step-by-step procedures including lists of needed materials. The exercises in this unit also appear in…

Mathematics, Programming, and STEM

ERIC Educational Resources Information Center

Yeh, Andy; Chandra, Vinesh

2015-01-01

Learning mathematics is a complex and dynamic process. In this paper, the authors adopt a semiotic framework (Yeh & Nason, 2004) and highlight programming as one of the main aspects of the semiosis or meaning-making for the learning of mathematics. During a 10- week teaching experiment, mathematical meaning-making was enriched when primary…

On modelling three-dimensional piezoelectric smart structures with boundary spectral element method

NASA Astrophysics Data System (ADS)

Zou, Fangxin; Aliabadi, M. H.

2017-05-01

The computational efficiency of the boundary element method in elastodynamic analysis can be significantly improved by employing high-order spectral elements for boundary discretisation. In this work, for the first time, the so-called boundary spectral element method is utilised to formulate the piezoelectric smart structures that are widely used in structural health monitoring (SHM) applications. The resultant boundary spectral element formulation has been validated by the finite element method (FEM) and physical experiments. The new formulation has demonstrated a lower demand on computational resources and a higher numerical stability than commercial FEM packages. Comparing to the conventional boundary element formulation, a significant reduction in computational expenses has been achieved. In summary, the boundary spectral element formulation presented in this paper provides a highly efficient and stable mathematical tool for the development of SHM applications.

The Impact of Participation in an Ancillary Science and Mathematics Program (SEMAA) on Engagement Rates of Middle School Students in Regular Mathematics Classrooms

ERIC Educational Resources Information Center

Seaton, Daniel M.; Carr, Donna

2005-01-01

The purpose of this study was to investigate the impact of participation in a federally sponsored, short-term, cocurricular, mathematics and science program (Science Engineering Mathematics Aerospace Academy, SEMAA) on the engagement rates of sixth- and seventh-grade students in public school mathematics classes. Engagement was measured with the…

The reduced space Sequential Quadratic Programming (SQP) method for calculating the worst resonance response of nonlinear systems

NASA Astrophysics Data System (ADS)

Liao, Haitao; Wu, Wenwang; Fang, Daining

2018-07-01

A coupled approach combining the reduced space Sequential Quadratic Programming (SQP) method with the harmonic balance condensation technique for finding the worst resonance response is developed. The nonlinear equality constraints of the optimization problem are imposed on the condensed harmonic balance equations. Making use of the null space decomposition technique, the original optimization formulation in the full space is mathematically simplified, and solved in the reduced space by means of the reduced SQP method. The transformation matrix that maps the full space to the null space of the constrained optimization problem is constructed via the coordinate basis scheme. The removal of the nonlinear equality constraints is accomplished, resulting in a simple optimization problem subject to bound constraints. Moreover, second order correction technique is introduced to overcome Maratos effect. The combination application of the reduced SQP method and condensation technique permits a large reduction of the computational cost. Finally, the effectiveness and applicability of the proposed methodology is demonstrated by two numerical examples.

ATTDES: An Expert System for Satellite Attitude Determination and Control. 2

NASA Technical Reports Server (NTRS)

Mackison, Donald L.; Gifford, Kevin

1996-01-01

The design, analysis, and flight operations of satellite attitude determintion and attitude control systems require extensive mathematical formulations, optimization studies, and computer simulation. This is best done by an analyst with extensive education and experience. The development of programs such as ATTDES permit the use of advanced techniques by those with less experience. Typical tasks include the mission analysis to select stabilization and damping schemes, attitude determination sensors and algorithms, and control system designs to meet program requirements. ATTDES is a system that includes all of these activities, including high fidelity orbit environment models that can be used for preliminary analysis, parameter selection, stabilization schemes, the development of estimators covariance analyses, and optimization, and can support ongoing orbit activities. The modification of existing simulations to model new configurations for these purposes can be an expensive, time consuming activity that becomes a pacing item in the development and operation of such new systems. The use of an integrated tool such as ATTDES significantly reduces the effort and time required for these tasks.

New Mathematical Dimensions: Adam's Story

ERIC Educational Resources Information Center

Manizade, Agida

2009-01-01

Adam, an 11th grader, was identified as gifted and accepted into a two week summer enrichment program. He signed up for "Geometry with Flash Programming." He had no prior programming experience but had a strong and healthy self-image as mathematics student. Although Adam had a positive attitude toward mathematics and saw himself as a successful…

Solving Common Mathematical Problems

NASA Technical Reports Server (NTRS)

Luz, Paul L.

2005-01-01

Mathematical Solutions Toolset is a collection of five software programs that rapidly solve some common mathematical problems. The programs consist of a set of Microsoft Excel worksheets. The programs provide for entry of input data and display of output data in a user-friendly, menu-driven format, and for automatic execution once the input data has been entered.

Programmable Calculators: Implications for the Mathematics Curriculum.

ERIC Educational Resources Information Center

Spikell, Mark A., Ed.

This document is a collection of reports presented at a programable calculator symposium held in Seattle, Washington, in April, 1980, as part of the annual meeting of the National Council of Teachers of Mathematics (NCTM). The session was designed to review whether the programable calculator has a place in the school mathematics program, in light…

Developing Mathematical Thinking: Changing Teachers' Knowledge and Instruction

ERIC Educational Resources Information Center

Brendefur, Jonathan L.; Thiede, Keith; Strother, Sam; Bunning, Kim; Peck, Duane

2013-01-01

In the present research, we evaluated the effectiveness of a multi-year professional development program in mathematics for elementary teachers. Each year the program focused on a different domain of mathematics. We found the program increased teachers' knowledge of (a) number and operations, (b) measurement and geometry, and (c) probability and…

Why New Mathematics Teachers Do or Don't Use Practices Emphasized in Their Credential Program

ERIC Educational Resources Information Center

Gainsburg, Julie

2012-01-01

A major research concern for teacher education is the impact of university credentialing programs on K-12 teaching and the disjuncture between university-promoted practices and what teachers actually do in their classrooms. In particular, mathematics-credential programs typically promote reform-oriented methods, while mathematics teaching in the…

Extended aeroelastic analysis for helicopter rotors with prescribed hub motion and blade appended penduluum vibration absorbers

NASA Technical Reports Server (NTRS)

Bielawa, R. L.

1984-01-01

The mathematical development for the expanded capabilities of the G400 rotor aeroelastic analysis was examined. The G400PA expanded analysis simulates the dynamics of all conventional rotors, blade pendulum vibration absorbers, and the higher harmonic excitations resulting from prescribed vibratory hub motions and higher harmonic blade pitch control. The methodology for modeling the unsteady stalled airloads of two dimensional airfoils is discussed. Formulations for calculating the rotor impedance matrix appropriate to the higher harmonic blade excitations are outlined. This impedance matrix, and the associated vibratory hub loads, are the rotor dynamic characteristic elements for use in the simplified coupled rotor/fuselage vibration analysis (SIMVIB). Updates to the development of the original G400 theory, program documentation, user instructions and information are presented.

Optimizing decentralized production-distribution planning problem in a multi-period supply chain network under uncertainty

NASA Astrophysics Data System (ADS)

Nourifar, Raheleh; Mahdavi, Iraj; Mahdavi-Amiri, Nezam; Paydar, Mohammad Mahdi

2017-09-01

Decentralized supply chain management is found to be significantly relevant in today's competitive markets. Production and distribution planning is posed as an important optimization problem in supply chain networks. Here, we propose a multi-period decentralized supply chain network model with uncertainty. The imprecision related to uncertain parameters like demand and price of the final product is appropriated with stochastic and fuzzy numbers. We provide mathematical formulation of the problem as a bi-level mixed integer linear programming model. Due to problem's convolution, a structure to solve is developed that incorporates a novel heuristic algorithm based on Kth-best algorithm, fuzzy approach and chance constraint approach. Ultimately, a numerical example is constructed and worked through to demonstrate applicability of the optimization model. A sensitivity analysis is also made.

Modeling Combustion in Supersonic Flows

NASA Technical Reports Server (NTRS)

Drummond, J. Philip; Danehy, Paul M.; Bivolaru, Daniel; Gaffney, Richard L.; Tedder, Sarah A.; Cutler, Andrew D.

2007-01-01

This paper discusses the progress of work to model high-speed supersonic reacting flow. The purpose of the work is to improve the state of the art of CFD capabilities for predicting the flow in high-speed propulsion systems, particularly combustor flow-paths. The program has several components including the development of advanced algorithms and models for simulating engine flowpaths as well as a fundamental experimental and diagnostic development effort to support the formulation and validation of the mathematical models. The paper will provide details of current work on experiments that will provide data for the modeling efforts along with with the associated nonintrusive diagnostics used to collect the data from the experimental flowfield. Simulation of a recent experiment to partially validate the accuracy of a combustion code is also described.

Evolutionary Technologies: Fundamentals and Applications to Information/Communication Systems and Manufacturing/Logistics Systems

NASA Astrophysics Data System (ADS)

Gen, Mitsuo; Kawakami, Hiroshi; Tsujimura, Yasuhiro; Handa, Hisashi; Lin, Lin; Okamoto, Azuma

As efficient utilization of computational resources is increasing, evolutionary technology based on the Genetic Algorithm (GA), Genetic Programming (GP), Evolution Strategy (ES) and other Evolutionary Computations (ECs) is making rapid progress, and its social recognition and the need as applied technology are increasing. This is explained by the facts that EC offers higher robustness for knowledge information processing systems, intelligent production and logistics systems, most advanced production scheduling and other various real-world problems compared to the approaches based on conventional theories, and EC ensures flexible applicability and usefulness for any unknown system environment even in a case where accurate mathematical modeling fails in the formulation. In this paper, we provide a comprehensive survey of the current state-of-the-art in the fundamentals and applications of evolutionary technologies.

Teaching and Learning K-8 Mathematics and Science through Inquiry: Program Reviews and Recommendations.

ERIC Educational Resources Information Center

Linn, Marcia C.; Kessel, Cathy; Lee, Kristen; Levenson, Janet; Spitulnik, Michelle; Slotta, James D.

This report offers guidance for those shaping policy and designing elementary and middle school science and mathematics courses that prepare students to be lifelong users of scientific and mathematical ideas. We have reviewed programs designed to improve elementary and middle school students' understanding of science and mathematics by…

Assessing the Effectiveness of a Mathematics-Focused, Instructional Technology Program for Grades 6-8: A 5-Year Trend Analysis of NASA CONNECT(tm) Evaluation Data

NASA Technical Reports Server (NTRS)

Glassman, Nanci A.; Perry, Jeannine B.; Giersch, Christopher E.; Lambert, Matthew A.; Pinelli, Thomas E.

2004-01-01

NASA CONNECT is a research-, inquiry, and standards-based, integrated mathematics, science, and technology series of 30-minute instructional distance learning (television and web-based) programs for students in grades 6 8. Respondents who evaluated the programs in the series over the first five seasons (1998-99 through 2002-03) reported that (1) they used the programs in the series; (2) the goals and objectives for the series were met; (3) the programs were aligned with the national mathematics, science, and technology standards; (4) the program content was developmentally appropriate for the grade level; and (5) the programs in the series enhanced and enriched the teaching of mathematics, science, and technology.

Mathematical models for Isoptera (Insecta) mound growth.

PubMed

Buschini, M L T; Abuabara, M A P; Petrere, Miguel

2008-08-01

In this research we proposed two mathematical models for Isoptera mound growth derived from the Von Bertalanffy growth curve, one appropriated for Nasutitermes coxipoensis, and a more general formulation. The mean height and the mean diameter of ten small colonies were measured each month for twelve months, from April, 1995 to April, 1996. Through these data, the monthly volumes were calculated for each of them. Then the growth in height and in volume was estimated and the models proposed.

Direct integration of the inverse Radon equation for X-ray computed tomography.

PubMed

Libin, E E; Chakhlov, S V; Trinca, D

2016-11-22

A new mathematical appoach using the inverse Radon equation for restoration of images in problems of linear two-dimensional x-ray tomography is formulated. In this approach, Fourier transformation is not used, and it gives the chance to create the practical computing algorithms having more reliable mathematical substantiation. Results of software implementation show that for especially for low number of projections, the described approach performs better than standard X-ray tomographic reconstruction algorithms.

A mathematical framework for the selection of an optimal set of peptides for epitope-based vaccines.

PubMed

Toussaint, Nora C; Dönnes, Pierre; Kohlbacher, Oliver

2008-12-01

Epitope-based vaccines (EVs) have a wide range of applications: from therapeutic to prophylactic approaches, from infectious diseases to cancer. The development of an EV is based on the knowledge of target-specific antigens from which immunogenic peptides, so-called epitopes, are derived. Such epitopes form the key components of the EV. Due to regulatory, economic, and practical concerns the number of epitopes that can be included in an EV is limited. Furthermore, as the major histocompatibility complex (MHC) binding these epitopes is highly polymorphic, every patient possesses a set of MHC class I and class II molecules of differing specificities. A peptide combination effective for one person can thus be completely ineffective for another. This renders the optimal selection of these epitopes an important and interesting optimization problem. In this work we present a mathematical framework based on integer linear programming (ILP) that allows the formulation of various flavors of the vaccine design problem and the efficient identification of optimal sets of epitopes. Out of a user-defined set of predicted or experimentally determined epitopes, the framework selects the set with the maximum likelihood of eliciting a broad and potent immune response. Our ILP approach allows an elegant and flexible formulation of numerous variants of the EV design problem. In order to demonstrate this, we show how common immunological requirements for a good EV (e.g., coverage of epitopes from each antigen, coverage of all MHC alleles in a set, or avoidance of epitopes with high mutation rates) can be translated into constraints or modifications of the objective function within the ILP framework. An implementation of the algorithm outperforms a simple greedy strategy as well as a previously suggested evolutionary algorithm and has runtimes on the order of seconds for typical problem sizes.

Crossing over...Markov meets Mendel.

PubMed

Mneimneh, Saad

2012-01-01

Chromosomal crossover is a biological mechanism to combine parental traits. It is perhaps the first mechanism ever taught in any introductory biology class. The formulation of crossover, and resulting recombination, came about 100 years after Mendel's famous experiments. To a great extent, this formulation is consistent with the basic genetic findings of Mendel. More importantly, it provides a mathematical insight for his two laws (and corrects them). From a mathematical perspective, and while it retains similarities, genetic recombination guarantees diversity so that we do not rapidly converge to the same being. It is this diversity that made the study of biology possible. In particular, the problem of genetic mapping and linkage-one of the first efforts towards a computational approach to biology-relies heavily on the mathematical foundation of crossover and recombination. Nevertheless, as students we often overlook the mathematics of these phenomena. Emphasizing the mathematical aspect of Mendel's laws through crossover and recombination will prepare the students to make an early realization that biology, in addition to being experimental, IS a computational science. This can serve as a first step towards a broader curricular transformation in teaching biological sciences. I will show that a simple and modern treatment of Mendel's laws using a Markov chain will make this step possible, and it will only require basic college-level probability and calculus. My personal teaching experience confirms that students WANT to know Markov chains because they hear about them from bioinformaticists all the time. This entire exposition is based on three homework problems that I designed for a course in computational biology. A typical reader is, therefore, an instructional staff member or a student in a computational field (e.g., computer science, mathematics, statistics, computational biology, bioinformatics). However, other students may easily follow by omitting the mathematically more elaborate parts. I kept those as separate sections in the exposition.

Crossing Over…Markov Meets Mendel

PubMed Central

Mneimneh, Saad

2012-01-01

Chromosomal crossover is a biological mechanism to combine parental traits. It is perhaps the first mechanism ever taught in any introductory biology class. The formulation of crossover, and resulting recombination, came about 100 years after Mendel's famous experiments. To a great extent, this formulation is consistent with the basic genetic findings of Mendel. More importantly, it provides a mathematical insight for his two laws (and corrects them). From a mathematical perspective, and while it retains similarities, genetic recombination guarantees diversity so that we do not rapidly converge to the same being. It is this diversity that made the study of biology possible. In particular, the problem of genetic mapping and linkage—one of the first efforts towards a computational approach to biology—relies heavily on the mathematical foundation of crossover and recombination. Nevertheless, as students we often overlook the mathematics of these phenomena. Emphasizing the mathematical aspect of Mendel's laws through crossover and recombination will prepare the students to make an early realization that biology, in addition to being experimental, IS a computational science. This can serve as a first step towards a broader curricular transformation in teaching biological sciences. I will show that a simple and modern treatment of Mendel's laws using a Markov chain will make this step possible, and it will only require basic college-level probability and calculus. My personal teaching experience confirms that students WANT to know Markov chains because they hear about them from bioinformaticists all the time. This entire exposition is based on three homework problems that I designed for a course in computational biology. A typical reader is, therefore, an instructional staff member or a student in a computational field (e.g., computer science, mathematics, statistics, computational biology, bioinformatics). However, other students may easily follow by omitting the mathematically more elaborate parts. I kept those as separate sections in the exposition. PMID:22629235

Integrating to Learn and Learning to Integrate: A Case Study of an Online Master's Program on Science-Mathematics Integration for Middle School Teachers

ERIC Educational Resources Information Center

Lee, Mimi Miyoung; Chauvot, Jennifer; Plankis, Brian; Vowell, Julie; Culpepper, Shea

2011-01-01

iSMART (Integration of Science, Mathematics, and Reflective Teaching) Program is an online science and mathematics integrated graduate program for middle school teachers across the state of Texas. As part of a large design-based research project, this paper describes the initial stages of the design process of the iSMART program for its first…

Mathematical description of drug-target interactions: application to biologics that bind to targets with two binding sites.

PubMed

Gibiansky, Leonid; Gibiansky, Ekaterina

2018-02-01

The emerging discipline of mathematical pharmacology occupies the space between advanced pharmacometrics and systems biology. A characteristic feature of the approach is application of advance mathematical methods to study the behavior of biological systems as described by mathematical (most often differential) equations. One of the early application of mathematical pharmacology (that was not called this name at the time) was formulation and investigation of the target-mediated drug disposition (TMDD) model and its approximations. The model was shown to be remarkably successful, not only in describing the observed data for drug-target interactions, but also in advancing the qualitative and quantitative understanding of those interactions and their role in pharmacokinetic and pharmacodynamic properties of biologics. The TMDD model in its original formulation describes the interaction of the drug that has one binding site with the target that also has only one binding site. Following the framework developed earlier for drugs with one-to-one binding, this work aims to describe a rigorous approach for working with similar systems and to apply it to drugs that bind to targets with two binding sites. The quasi-steady-state, quasi-equilibrium, irreversible binding, and Michaelis-Menten approximations of the model are also derived. These equations can be used, in particular, to predict concentrations of the partially bound target (RC). This could be clinically important if RC remains active and has slow internalization rate. In this case, introduction of the drug aimed to suppress target activity may lead to the opposite effect due to RC accumulation.

Evaluation of candidate working fluid formulations for the electrothermal - chemical wind tunnel

NASA Technical Reports Server (NTRS)

Akyurtlu, Jale F.; Akyurtlu, Ates

1991-01-01

Various candidate chemical formulations are evaluated as a precursor for the working fluid to be used in the electrothermal hypersonic test facility which was under study at the NASA LaRC Hypersonic Propulsion Branch, and the formulations which would most closely satisfy the goals set for the test facility are identified. Out of the four tasks specified in the original proposal, the first two, literature survey and collection of kinetic data, are almost completed. The third task, work on a mathematical model of the ET wind tunnel operation, was started and concentrated on the expansion in the nozzle with finite rate kinetics.

Gaining Options: A Mathematics Program for Potentially Talented At-Risk Adolescent Girls

ERIC Educational Resources Information Center

Reid, Pamela Trotman; Roberts, Sally K.

2006-01-01

In response to indicators that a decline in interest in mathematics occurs among girls--particularly those from low-income and minority groups--during middle school, the GO-GIRL (Gaining Options: Girls Investigate Real Life) program was designed to help potentially talented at-risk girls. The program aimed to build mathematical confidence, skills,…

Examining How Teachers Use Graphs to Teach Mathematics during a Professional Development Program

ERIC Educational Resources Information Center

Bautista, Alfredo; Cañadas, María C.; Brizuela, Bárbara M.; Schliemann, Analúcia D.

2015-01-01

There are urgent calls for more studies examining the impact of Professional Development (PD) programs on teachers' instructional practices. In this study, we analyzed how grades 5-9 mathematics teachers used graphs to teach mathematics at the start and end of a PD program. This topic is relevant because while many studies have investigated…

Didactic Aspects of the Academic Discipline "History and Methodology of Mathematics"

ERIC Educational Resources Information Center

Sun, Hai; Varankina, Vera I.; Sadovaya, Victoriya V.

2017-01-01

The purpose of this article is to develop the content and methods, as well as the analysis of the approbation of the program of the academic discipline "History and methodology of mathematics" for graduate students of the Master's program of mathematical program tracks. The leading method in the study of this problem was the method of…

An evaluation of models of bare soil evaporation formulated with different land surface boundary conditions and assumptions

NASA Astrophysics Data System (ADS)

Smits, Kathleen M.; Ngo, Viet V.; Cihan, Abdullah; Sakaki, Toshihiro; Illangasekare, Tissa H.

2012-12-01

Bare soil evaporation is a key process for water exchange between the land and the atmosphere and an important component of the water balance. However, there is no agreement on the best modeling methodology to determine evaporation under different atmospheric boundary conditions. Also, there is a lack of directly measured soil evaporation data for model validation to compare these methods to establish the validity of their mathematical formulations. Thus, a need exists to systematically compare evaporation estimates using existing methods to experimental observations. The goal of this work is to test different conceptual and mathematical formulations that are used to estimate evaporation from bare soils to critically investigate various formulations and surface boundary conditions. Such a comparison required the development of a numerical model that has the ability to incorporate these boundary conditions. For this model, we modified a previously developed theory that allows nonequilibrium liquid/gas phase change with gas phase vapor diffusion to better account for dry soil conditions. Precision data under well-controlled transient heat and wind boundary conditions were generated, and results from numerical simulations were compared with experimental data. Results demonstrate that the approaches based on different boundary conditions varied in their ability to capture different stages of evaporation. All approaches have benefits and limitations, and no one approach can be deemed most appropriate for every scenario. Comparisons of different formulations of the surface boundary condition validate the need for further research on heat and vapor transport processes in soil for better modeling accuracy.

A Mathematical Model for the Control of Infectious Diseases: Effects of TV and Radio Advertisements

NASA Astrophysics Data System (ADS)

Misra, A. K.; Rai, Rajanish Kumar

The broadcast of awareness programs through TV and radio advertisements (ads) makes people aware and brings behavioral changes among the individuals regarding the risk of infection and its control mechanisms. In this paper, we propose and analyze a nonlinear mathematical model for the control of infectious diseases due to impact of TV and radio advertisements. It is assumed that susceptible individuals are vulnerable to infection as well as information through TV and radio ads and they contract infection via direct contact with infected individuals. In the model formulation, it is also assumed that the growth rates in cumulative number of TV and radio ads are proportional to the number of infected individuals with decreasing function of aware individuals. Further, it is assumed that awareness among susceptible individuals induces behavioral changes and they form separate aware classes, which are fully protected from infection as they use precautionary measures for their protection during the infection period. The feasibility of equilibria and their stability properties are discussed. It is shown that the augmentation in dissemination rate of awareness among susceptible individuals due to TV and radio ads may cause stability switches through Hopf-bifurcation. The analytical findings are supported through numerical simulations.

Autumn Algorithm-Computation of Hybridization Networks for Realistic Phylogenetic Trees.

PubMed

Huson, Daniel H; Linz, Simone

2018-01-01

A minimum hybridization network is a rooted phylogenetic network that displays two given rooted phylogenetic trees using a minimum number of reticulations. Previous mathematical work on their calculation has usually assumed the input trees to be bifurcating, correctly rooted, or that they both contain the same taxa. These assumptions do not hold in biological studies and "realistic" trees have multifurcations, are difficult to root, and rarely contain the same taxa. We present a new algorithm for computing minimum hybridization networks for a given pair of "realistic" rooted phylogenetic trees. We also describe how the algorithm might be used to improve the rooting of the input trees. We introduce the concept of "autumn trees", a nice framework for the formulation of algorithms based on the mathematics of "maximum acyclic agreement forests". While the main computational problem is hard, the run-time depends mainly on how different the given input trees are. In biological studies, where the trees are reasonably similar, our parallel implementation performs well in practice. The algorithm is available in our open source program Dendroscope 3, providing a platform for biologists to explore rooted phylogenetic networks. We demonstrate the utility of the algorithm using several previously studied data sets.

A Professional Development Program to Improve Math Skills among Preschool Children in Head Start

ERIC Educational Resources Information Center

Brendefur, Jonathan; Strother, Sam; Thiede, Keith; Lane, Cristianne; Surges-Prokop, Mary Jo

2013-01-01

The purpose of this study was to examine the effects on four-year-olds' knowledge of mathematics by introducing professional development and center-based mathematics activities around four mathematical domains to early educators' teaching in Head Start programs. Because of the need to provide necessary mathematical experiences to young children to…

The New York City Staff Development Program in Mathematics for High School Teachers and Supervisors, 1987-1988.

ERIC Educational Resources Information Center

Berney, Tomi D.; Friedman, Grace Ibanez

The state-funded New York City Staff Development Program in Mathematics was a five-workshop series serving bilingual/English-as-a-Second-Language teachers teaching mathematics, and mathematics teachers unfamiliar with the special needs of limited-English-proficient (LEP) high school students. Supervisors were also invited to participate. Workshop…

How Wide Is a Squid Eye? Integrating Mathematics into Public Library Programs for the Elementary Grades

ERIC Educational Resources Information Center

Kliman, Marlene; Jaumot-Pascual, Nuria; Martin, Valerie

2013-01-01

Although public library programs for the elementary grades offer explorations in a wide range of topics in which mathematics plays a role, are all too rare: Mathematics offerings are typically limited to homework help. Participating in out-of-school activities that embed mathematics in authentic ways bolsters children's skill development,…

A COMPARISON OF MATHEMATICS PROGRAMS FOR ABLE JUNIOR HIGH SCHOOL STUDENTS, VOLUME 1 - FINAL REPORT.

ERIC Educational Resources Information Center

GOLDBERG, MIRIAM L.; AND OTHERS

THE TALENTED YOUTH PROJECT (TYP) MATHEMATICS STUDY WAS DESIGNED AS A STUDY TO COMPARE THE EFFECTIVENESS OF VARIOUS CURRICULUM PATTERNS AND PRACTICES IN MATHEMATICS EDUCATION CURRENTLY USED WITH ACADEMICALLY TALENTED JUNIOR HIGH SCHOOL STUDENTS. THE SAMPLE CONSISTED OF 51 CLASSES AND 6 MATHEMATICS PROGRAMS. THE LORGE-THORNDIKE VERBAL INTELLIGENCE…

Dynamic Stochastic Control of Freeway Corridor Systems : Summary and Project Overview

DOT National Transportation Integrated Search

1978-12-01

Systematic methodological approaches to overall traffic management from both short-term (real-time) and long-term (planning) perspectives have been developed. The approach embodies formulation and solution of interrelated mathematical problems from o...

Richard P. Feynman and the Feynman Diagrams

Science.gov Websites

available in full-text and on the Web. Documents: A Theorem and Its Application to Finite Tampers, DOE Fermi-Thomas Theory; DOE Technical Report, April 28, 1947 Mathematical Formulation of the Quantum Theory

Comment on: "Corrections to the Mathematical Formulation of a Backwards Lagrangian Particle Dispersion Model" by Gibson and Sailor (2012: Boundary-Layer Meteorology 145, 399-406)

NASA Astrophysics Data System (ADS)

Stöckl, Stefan; Rotach, Mathias W.; Kljun, Natascha

2018-01-01

We discuss the results of Gibson and Sailor (Boundary-Layer Meteorol 145:399-406, 2012) who suggest several corrections to the mathematical formulation of the Lagrangian particle dispersion model of Rotach et al. (Q J R Meteorol Soc 122:367-389, 1996). While most of the suggested corrections had already been implemented in the 1990s, one suggested correction raises a valid point, but results in a violation of the well-mixed criterion. Here we improve their idea and test the impact on model results using a well-mixed test and a comparison with wind-tunnel experimental data. The new approach results in similar dispersion patterns as the original approach, while the approach suggested by Gibson and Sailor leads to erroneously reduced concentrations near the ground in convective and especially forced convective conditions.

From puddles to planet: modeling approaches to vector-borne diseases at varying resolution and scale.

PubMed

Eckhoff, Philip A; Bever, Caitlin A; Gerardin, Jaline; Wenger, Edward A; Smith, David L

2015-08-01

Since the original Ross-Macdonald formulations of vector-borne disease transmission, there has been a broad proliferation of mathematical models of vector-borne disease, but many of these models retain most to all of the simplifying assumptions of the original formulations. Recently, there has been a new expansion of mathematical frameworks that contain explicit representations of the vector life cycle including aquatic stages, multiple vector species, host heterogeneity in biting rate, realistic vector feeding behavior, and spatial heterogeneity. In particular, there are now multiple frameworks for spatially explicit dynamics with movements of vector, host, or both. These frameworks are flexible and powerful, but require additional data to take advantage of these features. For a given question posed, utilizing a range of models with varying complexity and assumptions can provide a deeper understanding of the answers derived from models. Copyright © 2015 The Authors. Published by Elsevier Inc. All rights reserved.

Application of multi-objective optimization to pooled experiments of next generation sequencing for detection of rare mutations.

PubMed

Zilinskas, Julius; Lančinskas, Algirdas; Guarracino, Mario Rosario

2014-01-01

In this paper we propose some mathematical models to plan a Next Generation Sequencing experiment to detect rare mutations in pools of patients. A mathematical optimization problem is formulated for optimal pooling, with respect to minimization of the experiment cost. Then, two different strategies to replicate patients in pools are proposed, which have the advantage to decrease the overall costs. Finally, a multi-objective optimization formulation is proposed, where the trade-off between the probability to detect a mutation and overall costs is taken into account. The proposed solutions are devised in pursuance of the following advantages: (i) the solution guarantees mutations are detectable in the experimental setting, and (ii) the cost of the NGS experiment and its biological validation using Sanger sequencing is minimized. Simulations show replicating pools can decrease overall experimental cost, thus making pooling an interesting option.

Prediction of nonlinear soil effects

USGS Publications Warehouse

Hartzell, S.; Bonilla, L.F.; Williams, R.A.

2004-01-01

Mathematical models of soil nonlinearity in common use and recently developed nonlinear codes compared to investigate the range of their predictions. We consider equivalent linear formulations with and without frequency-dependent moduli and damping ratios and nonlinear formulations for total and effective stress. Average velocity profiles to 150 m depth with midrange National Earthquake Hazards Reduction Program site classifications (B, BC, C, D, and E) in the top 30 m are used to compare the response of a wide range of site conditions from rock to soft soil. Nonlinear soil models are compared using the amplification spectrum, calculated as the ratio of surface ground motion to the input motion at the base of the velocity profile. Peak input motions from 0.1g to 0.9g are considered. For site class B, no significant differences exist between the models considered in this article. For site classes BC and C, differences are small at low input motions (0.1g to 0.2g), but become significant at higher input levels. For site classes D and E the overdamping of frequencies above about 4 Hz by the equivalent linear solution with frequency-independent parameters is apparent for the entire range of input motions considered. The equivalent linear formulation with frequency-dependent moduli and damping ratios under damps relative to the nonlinear models considered for site class C with larger input motions and most input levels for site classes D and E. At larger input motions the underdamping for site classes D and E is not as severe as the overdamping with the frequency-independent formulation, but there are still significant differences in the time domain. A nonlinear formulation is recommended for site classes D and E and for site classes BC and C with input motions greater than a few tenths of the acceleration of gravity. The type of nonlinear formulation to use is driven by considerations of the importance of water content and the availability of laboratory soils data. Our average amplification curves from a nonlinear effective stress formulation compare favorably with observed spectral amplification at class D and E sites in the Seattle area for the 2001 Nisqually earthquake.

Expanding your Horizons: a Program for Engaging Middle School Girls in Science and Mathematics

NASA Astrophysics Data System (ADS)

Jahnke, Tamera S.; Level, Allison V.

Gender equity in science, mathematics, and technology is an issue that has generated the creation of a number of programs. Young women need to be aware that there are a variety of careers in science, mathematics, and technology that they can actively pursue. This article highlights one example of a successful middle school science program in Southwest Missouri. Expanding Your Horizons in Science, Mathematics, and Technology (EYH) integrates keynote speakers, role model mentoring sessions, and small group experiments into a hands-on learning environment. Initial survey results of parents and teachers show support for the conference and indicate that the program helps motivate students to consider careers in science, mathematics, and technology. In addition to the goal of increasing awareness for these young people, there is a need for increased scientific literacy of the general public and an increased application of science to "real world" circumstances. This program addresses these issues.

Design of optimal groundwater remediation systems under flexible environmental-standard constraints.

PubMed

Fan, Xing; He, Li; Lu, Hong-Wei; Li, Jing

2015-01-01

In developing optimal groundwater remediation strategies, limited effort has been exerted to solve the uncertainty in environmental quality standards. When such uncertainty is not considered, either over optimistic or over pessimistic optimization strategies may be developed, probably leading to the formulation of rigid remediation strategies. This study advances a mathematical programming modeling approach for optimizing groundwater remediation design. This approach not only prevents the formulation of over optimistic and over pessimistic optimization strategies but also provides a satisfaction level that indicates the degree to which the environmental quality standard is satisfied. Therefore the approach may be expected to be significantly more acknowledged by the decision maker than those who do not consider standard uncertainty. The proposed approach is applied to a petroleum-contaminated site in western Canada. Results from the case study show that (1) the peak benzene concentrations can always satisfy the environmental standard under the optimal strategy, (2) the pumping rates of all wells decrease under a relaxed standard or long-term remediation approach, (3) the pumping rates are less affected by environmental quality constraints under short-term remediation, and (4) increased flexible environmental standards have a reduced effect on the optimal remediation strategy.

Systems, methods and apparatus for generation and verification of policies in autonomic computing systems

NASA Technical Reports Server (NTRS)

Rouff, Christopher A. (Inventor); Sterritt, Roy (Inventor); Truszkowski, Walter F. (Inventor); Hinchey, Michael G. (Inventor); Gracanin, Denis (Inventor); Rash, James L. (Inventor)

2011-01-01

Described herein is a method that produces fully (mathematically) tractable development of policies for autonomic systems from requirements through to code generation. This method is illustrated through an example showing how user formulated policies can be translated into a formal mode which can then be converted to code. The requirements-based programming method described provides faster, higher quality development and maintenance of autonomic systems based on user formulation of policies.Further, the systems, methods and apparatus described herein provide a way of analyzing policies for autonomic systems and facilities the generation of provably correct implementations automatically, which in turn provides reduced development time, reduced testing requirements, guarantees of correctness of the implementation with respect to the policies specified at the outset, and provides a higher degree of confidence that the policies are both complete and reasonable. The ability to specify the policy for the management of a system and then automatically generate an equivalent implementation greatly improves the quality of software, the survivability of future missions, in particular when the system will operate untended in very remote environments, and greatly reduces development lead times and costs.

Solving ordinary differential equations by electrical analogy: a multidisciplinary teaching tool

NASA Astrophysics Data System (ADS)

Sanchez Perez, J. F.; Conesa, M.; Alhama, I.

2016-11-01

Ordinary differential equations are the mathematical formulation for a great variety of problems in science and engineering, and frequently, two different problems are equivalent from a mathematical point of view when they are formulated by the same equations. Students acquire the knowledge of how to solve these equations (at least some types of them) using protocols and strict algorithms of mathematical calculation without thinking about the meaning of the equation. The aim of this work is that students learn to design network models or circuits in this way; with simple knowledge of them, students can establish the association of electric circuits and differential equations and their equivalences, from a formal point of view, that allows them to associate knowledge of two disciplines and promote the use of this interdisciplinary approach to address complex problems. Therefore, they learn to use a multidisciplinary tool that allows them to solve these kinds of equations, even students of first course of engineering, whatever the order, grade or type of non-linearity. This methodology has been implemented in numerous final degree projects in engineering and science, e.g., chemical engineering, building engineering, industrial engineering, mechanical engineering, architecture, etc. Applications are presented to illustrate the subject of this manuscript.

Application of design of experiments for formulation development and mechanistic evaluation of iontophoretic tacrine hydrochloride delivery.

PubMed

Patel, Niketkumar; Jain, Shashank; Madan, Parshotam; Lin, Senshang

2016-11-01

The objective of this investigation is to develop mathematical equation to understand the impact of variables and establish statistical control over transdermal iontophoretic delivery of tacrine hydrochloride. In addition, possibility of using conductivity measurements as a tool of predicting ionic mobility of the participating ions for the application of iontophoretic delivery was explored. Central composite design was applied to study effect of independent variables like current strength, buffer molarity, and drug concentration on iontophoretic tacrine permeation flux. Molar conductivity was determined to evaluate electro-migration of tacrine ions with application of Kohlrausch's law. The developed mathematic equation not only reveals drug concentration as the most significant variable regulating tacrine permeation, followed by current strength and buffer molarity, but also is capable to optimize tacrine permeation with respective combination of independent variables to achieve desired therapeutic plasma concentration of tacrine in treatment of Alzheimer's disease. Moreover, relative higher mobility of sodium and chloride ions was observed as compared to estimated tacrine ion mobility. This investigation utilizes the design of experiment approach and extends the primary understanding of imapct of electronic and formulation variables on the tacrine permeation for the formulation development of iontophoretic tacrine delivery.

Application of recursive Gibbs-Appell formulation in deriving the equations of motion of N-viscoelastic robotic manipulators in 3D space using Timoshenko Beam Theory

NASA Astrophysics Data System (ADS)

Korayem, M. H.; Shafei, A. M.

2013-02-01

The goal of this paper is to describe the application of Gibbs-Appell (G-A) formulation and the assumed modes method to the mathematical modeling of N-viscoelastic link manipulators. The paper's focus is on obtaining accurate and complete equations of motion which encompass the most related structural properties of lightweight elastic manipulators. In this study, two important damping mechanisms, namely, the structural viscoelasticity (Kelvin-Voigt) effect (as internal damping) and the viscous air effect (as external damping) have been considered. To include the effects of shear and rotational inertia, the assumption of Timoshenko beam (TB) theory (TBT) has been applied. Gravity, torsion, and longitudinal elongation effects have also been included in the formulations. To systematically derive the equations of motion and improve the computational efficiency, a recursive algorithm has been used in the modeling of the system. In this algorithm, all the mathematical operations are carried out by only 3×3 and 3×1 matrices. Finally, a computational simulation for a manipulator with two elastic links is performed in order to verify the proposed method.

Creating a Culture of Inquiry in Mathematics Programs

ERIC Educational Resources Information Center

Dietz, Jill

2013-01-01

We argue that student research skills in mathematics should be honed throughout the curriculum just as such skills are built over time in the natural and physical sciences. Examples used in the mathematics program at St. Olaf College are given.

Effects of Intelligent Computer-Generated Interactive Mathematics Programs on Students' Achievement and Affective Domain

ERIC Educational Resources Information Center

Wendel, Holly Marie

2016-01-01

The purpose of this study was to determine the relationship each of the mathematics web-based programs, MyMathLab and Assessments and Learning in Knowledge Spaces (ALEKS), has with students' mathematics achievement. In addition, the study examined the relationship between students' affective domain and the type of program as well as student…

Girls in Engineering, Mathematics and Science, GEMS: A Science Outreach Program for Middle-School Female Students

ERIC Educational Resources Information Center

Dubetz, Terry A.; Wilson, Jo Ann

2013-01-01

Girls in Engineering, Mathematics and Science (GEMS) is a science and math outreach program for middle-school female students. The program was developed to encourage interest in math and science in female students at an early age. Increased scientific familiarity may encourage girls to consider careers in science and mathematics and will also help…

The Evolution of a Mathematics Lead Teacher Program: Teacher Leaders' Perspective on the Selection and Adaptation of Their Leadership Roles

ERIC Educational Resources Information Center

Saada, Nivan

2012-01-01

I examine a unique Elementary Mathematics Lead Teacher program entering its second decade of operation. The program is based in a large, urban, Midwestern school district, with the vision of developing a cadre of teacher leaders to support mathematics education. The district's professional development content was conventional, including both…

An Evaluation of a 4-8 Mathematics Teacher Preparation Program at a Large State Institution in Texas

ERIC Educational Resources Information Center

Lim, Woong

2011-01-01

This study provided a springboard for future teacher preparation evaluation studies by examining the 4-8 mathematics teacher preparation component of the teacher preparation program at a large state institution in Texas. The research questions for this study were: (1) To what extent is the 4-8 mathematics teacher preparation program consistent…

Evaluation of NSF's Program of Grants and Vertical Integration of Research and Education in the Mathematical Sciences (VIGRE)

ERIC Educational Resources Information Center

National Academies Press, 2009

2009-01-01

In 1998, the National Science Foundation (NSF) launched a program of Grants for Vertical Integration of Research and Education in the Mathematical Sciences (VIGRE). These grants were designed for institutions with PhD-granting departments in the mathematical sciences, for the purpose of developing high-quality education programs, at all levels,…

Underprepared Students' Performance on Algebra in a Double-Period High School Mathematics Program

ERIC Educational Resources Information Center

Martinez, Mara V.; Bragelman, John; Stoelinga, Timothy

2016-01-01

The primary goal of the Intensified Algebra I (IA) program is to enable mathematically underprepared students to successfully complete Algebra I in 9th grade and stay on track to meet increasingly rigorous high school mathematics graduation requirements. The program was designed to bring a range of both cognitive and non-cognitive supports to bear…

Did Learning Mathematics Online Increase Students' Math Proficiency?: An Outcome Study of a Vocational High School's Use of an Online Mathematics Program

ERIC Educational Resources Information Center

Paadre, Taimi H.

2011-01-01

This mixed methods outcomes study investigated a summer school mathematics program for all incoming 9th grade students at a suburban New England vocational technical high school. Qualitative data was gathered via survey and interview from administration, faculty, and students involved with the newly introduced online learning program.…

A mathematical model for computer image tracking.

PubMed

Legters, G R; Young, T Y

1982-06-01

A mathematical model using an operator formulation for a moving object in a sequence of images is presented. Time-varying translation and rotation operators are derived to describe the motion. A variational estimation algorithm is developed to track the dynamic parameters of the operators. The occlusion problem is alleviated by using a predictive Kalman filter to keep the tracking on course during severe occlusion. The tracking algorithm (variational estimation in conjunction with Kalman filter) is implemented to track moving objects with occasional occlusion in computer-simulated binary images.

Mathematical Modeling of Resonant Processes in Confined Geometry of Atomic and Atom-Ion Traps

NASA Astrophysics Data System (ADS)

Melezhik, Vladimir S.

2018-02-01

We discuss computational aspects of the developed mathematical models for resonant processes in confined geometry of atomic and atom-ion traps. The main attention is paid to formulation in the nondirect product discrete-variable representation (npDVR) of the multichannel scattering problem with nonseparable angular part in confining traps as the boundary-value problem. Computational efficiency of this approach is demonstrated in application to atomic and atom-ion confinement-induced resonances we predicted recently.

The Forecasting of Future Inventory and the Optimization of Training Requirements within the Airborne Community.

DTIC Science & Technology

1983-12-01

grade levels. Chapter 2 discusses the formulation of the model. It highlights the theoretical and mathematical concepts perti- nant to the model...assignments. This is to insure the professional development of the soldier and is in accordance with the "whole man" concept. 11. IALUI2U Lvels !Wii...objective function can be mathematically expressed as: (aijk (bk ijk This objective function assesses the same penalty to each vacancy of each type of

A mathematical model of a steady flow through the Kaplan turbine - The existence of a weak solution in the case of an arbitrarily large inflow

NASA Astrophysics Data System (ADS)

Neustupa, Tomáš

2017-07-01

The paper presents the mathematical model of a steady 2-dimensional viscous incompressible flow through a radial blade machine. The corresponding boundary value problem is studied in the rotating frame. We provide the classical and weak formulation of the problem. Using a special form of the so called "artificial" or "natural" boundary condition on the outflow, we prove the existence of a weak solution for an arbitrarily large inflow.

Modeling Flow in Porous Media with Double Porosity/Permeability.

NASA Astrophysics Data System (ADS)

Seyed Joodat, S. H.; Nakshatrala, K. B.; Ballarini, R.

2016-12-01

Although several continuum models are available to study the flow of fluids in porous media with two pore-networks [1], they lack a firm theoretical basis. In this poster presentation, we will present a mathematical model with firm thermodynamic basis and a robust computational framework for studying flow in porous media that exhibit double porosity/permeability. The mathematical model will be derived by appealing to the maximization of rate of dissipation hypothesis, which ensures that the model is in accord with the second law of thermodynamics. We will also present important properties that the solutions under the model satisfy, along with an analytical solution procedure based on the Green's function method. On the computational front, a stabilized mixed finite element formulation will be derived based on the variational multi-scale formalism. The equal-order interpolation, which is computationally the most convenient, is stable under this formulation. The performance of this formulation will be demonstrated using patch tests, numerical convergence study, and representative problems. It will be shown that the pressure and velocity profiles under the double porosity/permeability model are qualitatively and quantitatively different from the corresponding ones under the classical Darcy equations. Finally, it will be illustrated that the surface pore-structure is not sufficient in characterizing the flow through a complex porous medium, which pitches a case for using advanced characterization tools like micro-CT. References [1] G. I. Barenblatt, I. P. Zheltov, and I. N. Kochina, "Basic concepts in the theory of seepage of homogeneous liquids in fissured rocks [strata]," Journal of Applied Mathematics and Mechanics, vol. 24, pp. 1286-1303, 1960.

Content Knowledge, Attitudes, and Self-Efficacy in the Mathematics New York City Teaching Fellows (NYCTF) Program

ERIC Educational Resources Information Center

Evans, Brian R.

2011-01-01

The purpose of this study was to understand the mathematical content knowledge new teachers have both before and after taking a mathematics methods course in the NYCTF program. Further, the purpose was to understand the attitudes toward mathematics and concepts of self-efficacy that Teaching Fellows had over the course of the semester. The sample…

MIPS to the "4", Mathematics Improves Promotes Students. A Program of Mathematics for the Elementary Math Laboratory. Limited Edition.

ERIC Educational Resources Information Center

Wichita Unified School District 259, KS.

This book is a guide for the reinforcement of the elementary mathematics laboratory program. It uses a hands-on and activity approach with maximum involvement of the students. Reinforcement strategies for the first three phases (concrete, semiconcrete, and semiabstract) of each mathematics concept are suggested. Also included are specific job…

Vibrational relaxation in hypersonic flow fields

NASA Technical Reports Server (NTRS)

Meador, Willard E.; Miner, Gilda A.; Heinbockel, John H.

1993-01-01

Mathematical formulations of vibrational relaxation are derived from first principles for application to fluid dynamic computations of hypersonic flow fields. Relaxation within and immediately behind shock waves is shown to be substantially faster than that described in current numerical codes. The result should be a significant reduction in nonequilibrium radiation overshoot in shock layers and in radiative heating of hypersonic vehicles; these results are precisely the trends needed to bring theoretical predictions more in line with flight data. Errors in existing formulations are identified and qualitative comparisons are made.

User's guide of TOUGH2-EGS-MP: A Massively Parallel Simulator with Coupled Geomechanics for Fluid and Heat Flow in Enhanced Geothermal Systems VERSION 1.0

DOE Office of Scientific and Technical Information (OSTI.GOV)

Xiong, Yi; Fakcharoenphol, Perapon; Wang, Shihao

2013-12-01

TOUGH2-EGS-MP is a parallel numerical simulation program coupling geomechanics with fluid and heat flow in fractured and porous media, and is applicable for simulation of enhanced geothermal systems (EGS). TOUGH2-EGS-MP is based on the TOUGH2-MP code, the massively parallel version of TOUGH2. In TOUGH2-EGS-MP, the fully-coupled flow-geomechanics model is developed from linear elastic theory for thermo-poro-elastic systems and is formulated in terms of mean normal stress as well as pore pressure and temperature. Reservoir rock properties such as porosity and permeability depend on rock deformation, and the relationships between these two, obtained from poro-elasticity theories and empirical correlations, are incorporatedmore » into the simulation. This report provides the user with detailed information on the TOUGH2-EGS-MP mathematical model and instructions for using it for Thermal-Hydrological-Mechanical (THM) simulations. The mathematical model includes the fluid and heat flow equations, geomechanical equation, and discretization of those equations. In addition, the parallel aspects of the code, such as domain partitioning and communication between processors, are also included. Although TOUGH2-EGS-MP has the capability for simulating fluid and heat flows coupled with geomechanical effects, it is up to the user to select the specific coupling process, such as THM or only TH, in a simulation. There are several example problems illustrating applications of this program. These example problems are described in detail and their input data are presented. Their results demonstrate that this program can be used for field-scale geothermal reservoir simulation in porous and fractured media with fluid and heat flow coupled with geomechanical effects.« less

From Loss of Memory to Poisson.

ERIC Educational Resources Information Center

Johnson, Bruce R.

1983-01-01

A way of presenting the Poisson process and deriving the Poisson distribution for upper-division courses in probability or mathematical statistics is presented. The main feature of the approach lies in the formulation of Poisson postulates with immediate intuitive appeal. (MNS)

A Framework for Teachers' Knowledge of Mathematical Reasoning

ERIC Educational Resources Information Center

Herbert, Sandra

2014-01-01

Exploring and developing primary teachers' understanding of mathematical reasoning was the focus of the "Mathematical Reasoning Professional Learning Research Program." Twenty-four primary teachers were interviewed after engagement in the first stage of the program incorporating demonstration lessons focused on reasoning conducted in…

Use of nonlinear programming to optimize performance response to energy density in broiler feed formulation.

PubMed

Guevara, V R

2004-02-01

A nonlinear programming optimization model was developed to maximize margin over feed cost in broiler feed formulation and is described in this paper. The model identifies the optimal feed mix that maximizes profit margin. Optimum metabolizable energy level and performance were found by using Excel Solver nonlinear programming. Data from an energy density study with broilers were fitted to quadratic equations to express weight gain, feed consumption, and the objective function income over feed cost in terms of energy density. Nutrient:energy ratio constraints were transformed into equivalent linear constraints. National Research Council nutrient requirements and feeding program were used for examining changes in variables. The nonlinear programming feed formulation method was used to illustrate the effects of changes in different variables on the optimum energy density, performance, and profitability and was compared with conventional linear programming. To demonstrate the capabilities of the model, I determined the impact of variation in prices. Prices for broiler, corn, fish meal, and soybean meal were increased and decreased by 25%. Formulations were identical in all other respects. Energy density, margin, and diet cost changed compared with conventional linear programming formulation. This study suggests that nonlinear programming can be more useful than conventional linear programming to optimize performance response to energy density in broiler feed formulation because an energy level does not need to be set.

Evaluating the Effectiveness of the 2001-2002 NASA CONNECT(tm) Program

NASA Technical Reports Server (NTRS)

Pinelli, Thomas E.; Frank, Kari Lou; Lambert, Matthew A.; Williams, Amy C.

2002-01-01

NASA CONNECT(tm) is a research and standards-based, integrated mathematics, science, and technology series of 30-minute instructional distance learning (television and web-based) programs for students in grades 6-8. Respondents who evaluated the programs in the 2001-2002 NASA CONNECT(tm) series reported that (1) they used the programs in the series; (2) the goals and objectives for the series were met; (3) the programs were aligned with the national mathematics, science, and technology standards; (4) the program content was developmentally appropriate for grade level; and (5) the programs in the series enhanced and enriched the teaching of mathematics, science, and technology.

Evaluating the Effectiveness of the 2002-2003 NASA CONNECT(TM) Program

NASA Technical Reports Server (NTRS)

Pinelli, Thomas E.; Lambert, Matthew A.; Williams, Amy C.

2004-01-01

NASA CONNECT is a research-, inquiry-, and standards-based, integrated mathematics, science, and technology series of 30-minute instructional distance learning (television and web-based) programs for students in grades 6 8. Respondents who evaluated the programs in the 2002 2003 NASA CONNECT series reported that (1) they used the programs in the series; (2) the goals and objectives for the series were met; (3) the programs were aligned with the national mathematics, science, and technology standards; (4) the program content was developmentally appropriate for grade level; and (5) the programs in the series enhanced and enriched the teaching of mathematics, science, and technology.

Investigating adaptive reasoning and strategic competence: Difference male and female

NASA Astrophysics Data System (ADS)

Syukriani, Andi; Juniati, Dwi; Siswono, Tatag Yuli Eko

2017-08-01

The series of adaptive reasoning and strategic competencies represent the five components of mathematical proficiency to describe the students' mathematics learning success. Gender contribute to the problem-solving process. This qualitative research approach investigated the adaptive reasoning and strategic competence aspects of a male student and a female student when they solved mathematical problem. They were in the eleventh grade of high school in Makassar. Both also had similar mathematics ability and were in the highest category. The researcher as the main instrument used secondary instrument to obtain the appropriate subject and to investigate the aspects of adaptive reasoning and strategic competence. Test of mathematical ability was used to locate the subjects with similar mathematical ability. The unstructured guideline interview was used to investigate aspects of adaptive reasoning and strategic competence when the subject completed the task of mathematical problem. The task of mathematical problem involves several concepts as the right solution, such as the circle concept, triangle concept, trigonometry concept, and Pythagoras concept. The results showed that male and female subjects differed in applying a strategy to understand, formulate and represent the problem situation. Furthermore, both also differed in explaining the strategy used and the relationship between concepts and problem situations.

BioMaPS: A Roadmap for Success

ERIC Educational Resources Information Center

McCarthy, Maeve L.; Fister, K. Renee

2010-01-01

The manuscript outlines the impact that our National Science Foundation Interdisciplinary Training for Undergraduates in Biological and Mathematical Sciences program, BioMaPS, has had on the students and faculty at Murray State University. This interdisciplinary program teams mathematics and biology undergraduate students with mathematics and…

75 FR 6187 - Submission for OMB Review; Comment Request

Federal Register 2010, 2011, 2012, 2013, 2014

2010-02-08

.... Title: Mathematics and Science Partnerships Grant Programs Annual Performance Report. Frequency... Mathematics and Science Partnerships Grant program. Submission of the annual performance report (APR) via the... assessments of mathematics or science; (3) the percentage of students in classrooms of MSP teachers who score...

A STUDY OF THE EFFECTS OF EXPERIMENTAL PROGRAMS ON PUPIL ACHIEVEMENT OBSERVED DURING FIRST THREE YEARS OF THE PROJECT, SECONDARY MATHEMATICS EVALUATION PROJECT. INTERIM REPORT.

ERIC Educational Resources Information Center

ERICKSEN, GERALD L.; RYAN, JAMES J.

A REPORT IS GIVEN OF THE FIRST 3 YEARS OF A FIELD STUDY CONDUCTED TO DETERMINE THE EFFECTIVENESS OF SEVERAL PROTOTYPE, SECONDARY MATHEMATICS PROGRAMS THAT WERE PRODUCED BY DIFFERENT CURRICULUM DEVELOPMENT GROUPS. MATHEMATICS TEACHERS WHO HAD NO PREVIOUS EXPERIENCE WITH "MODERN" OR EXPERIMENTAL APPROACHES TO MATHEMATICS TAUGHT A SELECTED…

The Effectiveness of the North Carolina Early Mathematics Placement Test in Preparing High School Students for College-Level Introductory Mathematics Courses

ERIC Educational Resources Information Center

Hilgoe, Ellen; Brinkley, Jason; Hattingh, Johannes; Bernhardt, Robert

2016-01-01

Since its establishment in 1996, the North Carolina Early Mathematics Placement Testing (NC EMPT) Program has provided a low stakes reality check of readiness for college-level mathematics to more than 600,000 high school students statewide. The program strives to help reduce the percentage of incoming college freshmen requiring mathematics…

Mathematics for the Student Scientist

NASA Astrophysics Data System (ADS)

Lauten, A. Darien; Lauten, Gary N.

1998-03-01

The Earth Day:Forest Watch Program, introduces elementary, middle, and secondary students to field laboratory, and satellite-data analysis methods for assessing the health of Eastern White Pine ( Pinus strobus). In this Student-Scientist Partnership program, mathematics, as envisioned in the NCTM Standards, arises naturally and provides opportunities for science-mathematics interdisciplinary student learning. School mathematics becomes the vehicle for students to quantify, represent, analyze, and interpret meaningful, real data.

Formal verification of mathematical software

NASA Technical Reports Server (NTRS)

Sutherland, D.

1984-01-01

Methods are investigated for formally specifying and verifying the correctness of mathematical software (software which uses floating point numbers and arithmetic). Previous work in the field was reviewed. A new model of floating point arithmetic called the asymptotic paradigm was developed and formalized. Two different conceptual approaches to program verification, the classical Verification Condition approach and the more recently developed Programming Logic approach, were adapted to use the asymptotic paradigm. These approaches were then used to verify several programs; the programs chosen were simplified versions of actual mathematical software.

Interdisciplinary training in mathematical biology through team-based undergraduate research and courses.

PubMed

Miller, Jason E; Walston, Timothy

2010-01-01

Inspired by BIO2010 and leveraging institutional and external funding, Truman State University built an undergraduate program in mathematical biology with high-quality, faculty-mentored interdisciplinary research experiences at its core. These experiences taught faculty and students to bridge the epistemological gap between the mathematical and life sciences. Together they created the infrastructure that currently supports several interdisciplinary courses, an innovative minor degree, and long-term interdepartmental research collaborations. This article describes how the program was built with support from the National Science Foundation's Interdisciplinary Training for Undergraduates in Biology and Mathematics program, and it shares lessons learned that will help other undergraduate institutions build their own program.

A Capstone Mathematics Course for Prospective Secondary Mathematics Teachers

ERIC Educational Resources Information Center

Artzt, Alice F.; Sultan, Alan; Curcio, Frances R.; Gurl, Theresa

2012-01-01

This article describes an innovative capstone mathematics course that links college mathematics with school mathematics and pedagogy. It describes how college juniors in a secondary mathematics teacher preparation program engage in leadership experiences that enable them to learn mathematics for teaching while developing student-centered…

Probability of stress-corrosion fracture under random loading

NASA Technical Reports Server (NTRS)

Yang, J. N.

1974-01-01

Mathematical formulation is based on cumulative-damage hypothesis and experimentally-determined stress-corrosion characteristics. Under both stationary random loadings, mean value and variance of cumulative damage are obtained. Probability of stress-corrosion fracture is then evaluated, using principle of maximum entropy.

Mathematics Programming on the Apple II and IBM PC.

ERIC Educational Resources Information Center

Myers, Roy E.; Schneider, David I.

1987-01-01

Details the features of BASIC used in mathematics programming and provides the information needed to translate between the Apple II and IBM PC computers. Discusses inputing a user-defined function, setting scroll windows, displaying subscripts and exponents, variable names, mathematical characters and special symbols. (TW)

The Consequences of a Problem-Based Mathematics Curriculum

ERIC Educational Resources Information Center

Clarke, David; Breed, Margarita; Fraser, Sherry

2004-01-01

Implementation of a problem-based mathematics curriculum, the "Interactive Mathematics Program" (IMP), at three high schools in California has been associated with more than just differences in student achievement. The outcomes that distinguished students who participated in the IMP program from students who followed a conventional…

Applying SDDP to very large hydro-economic models with a simplified formulation for irrigation: the case of the Tigris-Euphrates river basin.

NASA Astrophysics Data System (ADS)

Rougé, Charles; Tilmant, Amaury

2015-04-01

Stochastic dual dynamic programming (SDDP) is an optimization algorithm well-suited for the study of large-scale water resources systems comprising reservoirs - and hydropower plants - as well as irrigation nodes. It generates intertemporal allocation policies that balance the present and future marginal value of water while taking into account hydrological uncertainty. It is scalable, in the sense that the time and memory required for computation do not grow exponentially with the number of state variables. Still, this scalability relies on the sampling of a few relevant trajectories for the system, and the approximation of the future value of water through cuts -i.e., hyperplanes - at points along these trajectories. Therefore, the accuracy of this approximation arguably decreases as the number of state variables increases, and it is important not to have more than necessary. In previous formulations, SDDP had three types of state variables, namely storage in each reservoir, inflow at each node and water accumulated during the irrigation season for each crop at each node. We present a simplified formulation for irrigation that does not require using the latter type of state variable. It also requires only two decision variables for each irrigation site, where the previous formulation had four per crop - and there may be several crops at the same site. This reduction in decision variables effectively reduces computation time, since SDDP decomposes the stochastic, multiperiodic, non-linear maximization problem into a series of linear ones. The proposed formulation, while computationally simpler, is mathematically equivalent to the previous one, and therefore the model gives the same results. A corollary of this formulation is that marginal utility of water at an irrigation site is effectively related to consumption at that site, through a piecewise linear function representing the net benefits from irrigation. Last but not least, the proposed formulation can be extended to any type of consumptive use of water beyond irrigation, e.g., municipal, industrial, etc This slightly different version of SDDP is applied to a large portion of the Tigris-Euphrates river basin. It comprises 24 state variables representing storage in reservoirs, 28 hydrologic state variables, and 51 demand nodes. It is the largest yet to simultaneously consider hydropower and irrigation within the same river system, and the proposed formulation almost halves the number of state variables to be considered.

Impact of structural optimization with aeroelastic/multidisciplinary constraints on helicopter rotor design

NASA Technical Reports Server (NTRS)

Friedmann, Peretz P.

1992-01-01

This paper presents a review of the state-of-the-art in the field of structural optimization when applied to vibration reduction of helicopters in forward flight with aeroelastic and multidisciplinary constraints. It emphasizes the application of the modern approach where the optimization is formulated as a mathematical programming problem and the objective function consists of the vibration levels at the hub and behavior constraints are imposed on the blade frequencies, aeroelastic stability margins as well as on a number of additional ingredients which can have a significant effect on the overall performance and flight mechanics of the helicopter. It is shown that the integrated multidisciplinary optimization of rotorcraft offers the potential for substantial improvements which can be achieved by careful preliminary design and analysis without requiring additional hardware such as rotor vibration absorbers or isolation systems.

Helicopter vibration reduction using structural optimization with aeroelastic/multidisciplinary constraints - A survey

NASA Technical Reports Server (NTRS)

Friedmann, Peretz P.

1991-01-01

This paper presents a survey of the state-of-the-art in the field of structural optimization when applied to vibration reduction of helicopters in forward flight with aeroelastic and multidisciplinary constraints. It emphasizes the application of the modern approach where the optimization is formulated as a mathematical programming problem, the objective function consists of the vibration levels at the hub, and behavior constraints are imposed on the blade frequencies and aeroelastic stability margins, as well as on a number of additional ingredients that can have a significant effect on the overall performance and flight mechanics of the helicopter. It is shown that the integrated multidisciplinary optimization of rotorcraft offers the potential for substantial improvements, which can be achieved by careful preliminary design and analysis without requiring additional hardware such as rotor vibration absorbers of isolation systems.

Optimal pricing and marketing planning for deteriorating items.

PubMed

Moosavi Tabatabaei, Seyed Reza; Sadjadi, Seyed Jafar; Makui, Ahmad

2017-01-01

Optimal pricing and marketing planning plays an essential role in production decisions on deteriorating items. This paper presents a mathematical model for a three-level supply chain, which includes one producer, one distributor and one retailer. The proposed study considers the production of a deteriorating item where demand is influenced by price, marketing expenditure, quality of product and after-sales service expenditures. The proposed model is formulated as a geometric programming with 5 degrees of difficulty and the problem is solved using the recent advances in optimization techniques. The study is supported by several numerical examples and sensitivity analysis is performed to analyze the effects of the changes in different parameters on the optimal solution. The preliminary results indicate that with the change in parameters influencing on demand, inventory holding, inventory deteriorating and set-up costs change and also significantly affect total revenue.

Elasto-limited plastic analysis of structures for probabilistic conditions

NASA Astrophysics Data System (ADS)

Movahedi Rad, M.

2018-06-01

With applying plastic analysis and design methods, significant saving in material can be obtained. However, as a result of this benefit excessive plastic deformations and large residual displacements might develop, which in turn might lead to unserviceability and collapse of the structure. In this study, for deterministic problem the residual deformation of structures is limited by considering a constraint on the complementary strain energy of the residual forces. For probabilistic problem the constraint for the complementary strain energy of the residual forces is given randomly and critical stresses updated during the iteration. Limit curves are presented for the plastic limit load factors. The results show that these constraints have significant effects on the load factors. The formulations of the deterministic and probabilistic problems lead to mathematical programming which are solved by the use of nonlinear algorithm.

Measuring technical and mathematical investigation of multiple reignitions at the switching of a motor using vacuum circuit breakers

NASA Astrophysics Data System (ADS)

Luxa, Andreas

The necessary conditions in switching system and vacuum circuit breaker for the occurrence of multiple re-ignitions and accompanying effects were examined. The shape of the occurring voltages was determined in relationship to other types of overvoltage. A phenomenological model of the arc, based on an extension of the Mayr equation for arcs was used with the simulation program NETOMAC for the switching transients. Factors which affect the arc parameters were analyzed. The results were statistically verified by 3000 three-phase switching tests on 3 standard vacuum circuit breakers under realistic systems conditions; the occurring overvoltage level was measured. Dimensioning criteria for motor simulation circuits in power plants were formulated on the basis of a theoretical equivalence analysis and experimental studies. The simulation model allows a sufficiently correct estimation of all effects.

Estimation of mechanical properties of nanomaterials using artificial intelligence methods

NASA Astrophysics Data System (ADS)

Vijayaraghavan, V.; Garg, A.; Wong, C. H.; Tai, K.

2014-09-01

Computational modeling tools such as molecular dynamics (MD), ab initio, finite element modeling or continuum mechanics models have been extensively applied to study the properties of carbon nanotubes (CNTs) based on given input variables such as temperature, geometry and defects. Artificial intelligence techniques can be used to further complement the application of numerical methods in characterizing the properties of CNTs. In this paper, we have introduced the application of multi-gene genetic programming (MGGP) and support vector regression to formulate the mathematical relationship between the compressive strength of CNTs and input variables such as temperature and diameter. The predictions of compressive strength of CNTs made by these models are compared to those generated using MD simulations. The results indicate that MGGP method can be deployed as a powerful method for predicting the compressive strength of the carbon nanotubes.

Locating an imaging radar in Canada for identifying spaceborne objects

NASA Astrophysics Data System (ADS)

Schick, William G.

1992-12-01

This research presents a study of the maximal coverage p-median facility location problem as applied to the location of an imaging radar in Canada for imaging spaceborne objects. The classical mathematical formulation of the maximal coverage p-median problem is converted into network-flow with side constraint formulations that are developed using a scaled down version of the imaging radar location problem. Two types of network-flow with side constraint formulations are developed: a network using side constraints that simulates the gains in a generalized network; and a network resembling a multi-commodity flow problem that uses side constraints to force flow along identical arcs. These small formulations are expanded to encompass a case study using 12 candidate radar sites, and 48 satellites divided into three states. SAS/OR PROC NETFLOW was used to solve the network-flow with side constraint formulations. The case study show that potential for both formulations, although the simulated gains formulation encountered singular matrix computational difficulties as a result of the very organized nature of its side constraint matrix. The multi-commodity flow formulation, when combined with equi-distribution of flow constraints, provided solutions for various values of p, the number of facilities to be selected.

A PC program to optimize system configuration for desired reliability at minimum cost

NASA Technical Reports Server (NTRS)

Hills, Steven W.; Siahpush, Ali S.

1994-01-01

High reliability is desired in all engineered systems. One way to improve system reliability is to use redundant components. When redundant components are used, the problem becomes one of allocating them to achieve the best reliability without exceeding other design constraints such as cost, weight, or volume. Systems with few components can be optimized by simply examining every possible combination but the number of combinations for most systems is prohibitive. A computerized iteration of the process is possible but anything short of a super computer requires too much time to be practical. Many researchers have derived mathematical formulations for calculating the optimum configuration directly. However, most of the derivations are based on continuous functions whereas the real system is composed of discrete entities. Therefore, these techniques are approximations of the true optimum solution. This paper describes a computer program that will determine the optimum configuration of a system of multiple redundancy of both standard and optional components. The algorithm is a pair-wise comparative progression technique which can derive the true optimum by calculating only a small fraction of the total number of combinations. A designer can quickly analyze a system with this program on a personal computer.

Short description of mathematical support programs for space experiments in the Interkosmos program

NASA Technical Reports Server (NTRS)

Elyasberg, P. Y.

1979-01-01

A synopsis of programs of mathematical support designed at the Institute for Cosmic Research of the USSR Academy of Sciences for cosmic experiments being conducted in the Interkosmos Program is presented. A short description of the appropriate algorithm is given.

The Critical Role of a Well-Articulated, Coherent Design in Professional Development: An Evaluation of a State-Wide Two-Week Program for Mathematics and Science Teachers

ERIC Educational Resources Information Center

Saderholm, Jon; Ronau, Robert N.; Rakes, Christopher R.; Bush, Sarah B.; Mohr-Schroeder, Margaret

2017-01-01

This evaluation study examined a state-wide professional development program composed of two institutes, one for mathematics teachers and one for science teachers, each spanning two weeks. The program was designed to help teachers transform their practice to align with Common Core State Standards for Mathematics and Next Generation Science…

Pre-Engineering Program: Science, Technology, Engineering and Mathematics (STEM)

DTIC Science & Technology

2013-08-29

educators in the Urbana-Champaign area. 15. SUBJECT TERMS STEM: science, technology , engineering, mathematics 16. SECURITY CLASSIFICATION OF: 19a. NAME...9132T-13-1-0002 4. TITLE AND SUBTITLE Pre-Engineering Program: Science, Technology , Engineering and Mathematics (STEM) 5c. PROGRAM ELEMENT NUMBER N...project was focused on underserved children in grades 1-6 who need, but have limited access to, out-of-school time STEM (science, technology

Perceptions on the Role of a Pre-Service Primary Teacher Education Program to Prepare Beginning Teachers to Teach Mathematics in Far North Queensland

ERIC Educational Resources Information Center

Chigeza, Philemon; Jackson, Cliff; Neilson, Aaron

2017-01-01

This paper employs a collaborative auto-ethnographic method to reflect on perceptions and design of a pre-service primary teacher mathematics education program in a regional university and the role of that program to prepare beginning teachers for classroom mathematics practice in Far North Queensland. A four-phase analysis that reflected on: a…

Mathematics Applied to Novel Situations (MANS) Test Data. Third Grade. Evaluation Report 4-B-2. Extended Pilot Trial of the Comprehensive School Mathematics Program.

ERIC Educational Resources Information Center

Dougherty, Knowles; Herbert, Martin

The Comprehensive School Mathematics Program (CSMP) is a program of CEMREL, Inc., one of the national educational laboratories, and was funded by the National Institute of Education (NIE). Its major purpose is the development of curriculum materials for the elementary grades. Beginning in 1973, CSMP ran an extended pilot trial of its elementary…

Development of an abiraterone acetate formulation with improved oral bioavailability guided by absorption modeling based on in vitro dissolution and permeability measurements.

PubMed

Solymosi, Tamás; Ötvös, Zsolt; Angi, Réka; Ordasi, Betti; Jordán, Tamás; Semsey, Sándor; Molnár, László; Ránky, Soma; Filipcsei, Genovéva; Heltovics, Gábor; Glavinas, Hristos

2017-10-30

Particle size reduction of drug crystals in the presence of surfactants (often called "top-down" production methods) is a standard approach used in the pharmaceutical industry to improve bioavailability of poorly soluble drugs. Based on the mathematical model used to predict the fraction dose absorbed this formulation approach is successful when dissolution rate is the main rate limiting factor of oral absorption. In case compound solubility is also a major factor this approach might not result in an adequate improvement in bioavailability. Abiraterone acetate is poorly water soluble which is believed to be responsible for its very low bioavailability in the fasted state and its significant positive food effect. In this work, we have successfully used in vitro dissolution, solubility and permeability measurements in biorelevant media to describe the dissolution characteristics of different abiraterone acetate formulations. Mathematical modeling of fraction dose absorbed indicated that reducing the particle size of the drug cannot be expected to result in significant improvement in bioavailability in the fasted state. In the fed state, the same formulation approach can result in a nearly complete absorption of the dose; thereby, further increasing the food effect. Using a "bottom-up" formulation method we improved both the dissolution rate and the apparent solubility of the compound. In beagle dog studies, this resulted in a ≫>10-fold increase in bioavailability in the fasted state when compared to the marketed drug and the elimination of the food effect. Calculated values of fraction dose absorbed were in agreement with the observed relative bioavailability values in beagle dogs. Copyright © 2017 Elsevier B.V. All rights reserved.

Random-effects linear modeling and sample size tables for two special crossover designs of average bioequivalence studies: the four-period, two-sequence, two-formulation and six-period, three-sequence, three-formulation designs.

PubMed

Diaz, Francisco J; Berg, Michel J; Krebill, Ron; Welty, Timothy; Gidal, Barry E; Alloway, Rita; Privitera, Michael

2013-12-01

Due to concern and debate in the epilepsy medical community and to the current interest of the US Food and Drug Administration (FDA) in revising approaches to the approval of generic drugs, the FDA is currently supporting ongoing bioequivalence studies of antiepileptic drugs, the EQUIGEN studies. During the design of these crossover studies, the researchers could not find commercial or non-commercial statistical software that quickly allowed computation of sample sizes for their designs, particularly software implementing the FDA requirement of using random-effects linear models for the analyses of bioequivalence studies. This article presents tables for sample-size evaluations of average bioequivalence studies based on the two crossover designs used in the EQUIGEN studies: the four-period, two-sequence, two-formulation design, and the six-period, three-sequence, three-formulation design. Sample-size computations assume that random-effects linear models are used in bioequivalence analyses with crossover designs. Random-effects linear models have been traditionally viewed by many pharmacologists and clinical researchers as just mathematical devices to analyze repeated-measures data. In contrast, a modern view of these models attributes an important mathematical role in theoretical formulations in personalized medicine to them, because these models not only have parameters that represent average patients, but also have parameters that represent individual patients. Moreover, the notation and language of random-effects linear models have evolved over the years. Thus, another goal of this article is to provide a presentation of the statistical modeling of data from bioequivalence studies that highlights the modern view of these models, with special emphasis on power analyses and sample-size computations.

Analyzing the Effects of a Mathematics Problem-Solving Program, Exemplars, on Mathematics Problem-Solving Scores with Deaf and Hard-of-Hearing Students

ERIC Educational Resources Information Center

Chilvers, Amanda Leigh

2013-01-01

Researchers have noted that mathematics achievement for deaf and hard-of-hearing (d/hh) students has been a concern for many years, including the ability to problem solve. This quasi-experimental study investigates the use of the Exemplars mathematics program with students in grades 2-8 in a school for the deaf that utilizes American Sign Language…

Learning To Program in BASIC through the Use of Graphics.

ERIC Educational Resources Information Center

Connor, Timothy J.

Many organizations and experts in the field of mathematics education have recommended the inclusion of technology and, more specifically, computer programing within the course of study for the teaching of school mathematics. The incorporation of these recommendations with respect to the teaching of remedial mathematics poses a problem, since…

Increasing the Diversity of Teachers in Mathematics and Science Partnerships

ERIC Educational Resources Information Center

Moyer-Packenham, Patricia S.; Parker, Jana L.; Kitsantas, Anastasia; Bolyard, Johnna J.; Huie, Faye

2009-01-01

This study examines teacher diversity in a federally-funded mathematics and science partnership program. Each of the partnerships in the program provided preservice and/or inservice education for teachers in mathematics, science, or both. Researchers used qualitative and quantitative methods to examine the effect of strategies implemented by the…

Sunny Side Up in Mathematics.

ERIC Educational Resources Information Center

LaHart, David, Ed.

Energy is a problem affecting all individuals. To help today's students understand the problem and become realistic decision-makers, materials have been developed by the Sunny Side Up (in Mathematics) program to introduce energy concepts into the mathematics curriculum. Objectives of the program are to: (1) provide highly effective practice in…

Word Search Packet: Climbing the Hills of Math Skills. California Demonstration Mathematics Program.

ERIC Educational Resources Information Center

Ontario-Montclair School District, Ontario, CA.

Thirty word-search puzzles on mathematics and mathematicians are presented. The puzzles are used periodically as homework assignments in a self-paced, individualized mathematics program which is designed to improve the achievement of junior high school students. Answers to the puzzles are not included. (DC)

Opportunities to Promote Mathematical Content Knowledge for Primary Teaching

ERIC Educational Resources Information Center

Livy, Sharyn; Herbert, Sandra

2014-01-01

Understanding the development of pre-service teachers' mathematical content knowledge (MCK) is important for improving primary mathematics' teacher education. This paper reports on a case study, Rose and her opportunities to develop MCK during the four years of her program. Program opportunities to promote MCK when planning and practicing primary…

Structure of Primary Mathematics Teacher Education Programs in Spain

ERIC Educational Resources Information Center

Cañadas, María C.; Gómez, Pedro; Rico, Luis

2013-01-01

Spain was 1 of the 17 countries that participated in the International Association for the Evaluation of Educational Achievement's Teacher Education and Development Study in Mathematics (TEDS-M 2008). In this paper, we explore and describe the structure of Spanish primary mathematics teacher education programs. We analyzed the documents collected…

Academic, Racial and Mathematics Identities of African American College Students

ERIC Educational Resources Information Center

Moore, A'kilah Tienda

2011-01-01

This mixed-methods study examined the experiences of African American community college mathematics students' in the Nyame Scholars Program at Promise Community College. The purpose of the study was to identify through narrative analysis what aspects of the program impact students' racial, academic, and mathematics identities. A comparison group…

Evaluating the Effectiveness of the 2002-2003 NASA SCIence Files(TM) Program

NASA Technical Reports Server (NTRS)

Pinelli, Thomas E.; Lambert, Matthew A.; Williams, Amy C.

2004-01-01

NASA SCIence Files (tm) is a research-, inquiry-, and standards-based, integrated mathematics, science, and technology series of 60-minute instructional distance learning (television and web-based) programs for students in grades 3-5. Respondents who evaluated the programs in the 2002-2003 NASA SCIence Files (tm) series reported that (1) they used the programs in the series; (2) the goals and objectives for the series were met; (3) the programs were aligned with the national mathematics, science, and technology standards; (4) the program content was developmentally appropriate for grade level; and (5) the programs in the series enhanced and enriched the teaching of mathematics, science, and technology.

Status Report: Mathematics Curriculum-Development Projects Today

ERIC Educational Resources Information Center

Arithmetic Teacher, 1972

1972-01-01

Brief reports on the Cambridge Conference on School Mathematics, Comprehensive School Mathematics Program, Computer-Assisted Instruction Projects at Stanford, Individually Prescribed Instruction Project, The Madison Project, Mathematics/Science Learning System, MINNEMAST, and School Mathematics Study Group. (MM)

Promoting Preservice Teachers' Mathematics Identity Exploration

ERIC Educational Resources Information Center

Heffernan, Kayla

2016-01-01

Despite the effort of teacher education programs, early childhood, and elementary preservice teachers often fear mathematics, have high mathematics anxiety, hold negative self-perceptions in relation to mathematics, find mathematics irrelevant, and have low mathematics achievement. The aim of this study was to implement and investigate the…

Formulation and Testing of a Novel River Nitrification Model

EPA Science Inventory

The nitrification process in many riverwater quality models has been approximated by a simple first order dependency on the water column ammonia concentration, while the benthic contribution has routinely been neglected. In this study a mathematical framework was developed for se...

Mystery Person

ERIC Educational Resources Information Center

O'Brien, Tom

2011-01-01

This article features a mathematical game called "Mystery Person." The author describes how the Mystery Person game was tried with first-graders [age 6]. The Mystery games involve the generation of key questions, the coordination of information--often very complex information--and the formulation of consequences based on this…

Retrospective estimation of breeding phenology of American Goldfinch (Carduelis tristis) using pattern oriented modeling

EPA Science Inventory

Avian seasonal productivity is often modeled as a time-limited stochastic process. Many mathematical formulations have been proposed, including individual based models, continuous-time differential equations, and discrete Markov models. All such models typically include paramete...

Mysterious Subtractions

ERIC Educational Resources Information Center

Hillen, Amy F.; Watanabe, Tad

2013-01-01

Recent documents suggest that all students, even young children, should have opportunities to engage in reasoning and proof (CCSSI 2010; NCTM 2000, 2006, 2009). One mathematical practice that is central to reasoning and proof is making conjectures (CCSSI 2010; NCTM 2000; Stylianides 2008). In the elementary grades, "formulating conjectures…

SU-F-T-340: Direct Editing of Dose Volume Histograms: Algorithms and a Unified Convex Formulation for Treatment Planning with Dose Constraints

DOE Office of Scientific and Technical Information (OSTI.GOV)

Ungun, B; Stanford University School of Medicine, Stanford, CA; Fu, A

2016-06-15

Purpose: To develop a procedure for including dose constraints in convex programming-based approaches to treatment planning, and to support dynamic modification of such constraints during planning. Methods: We present a mathematical approach that allows mean dose, maximum dose, minimum dose and dose volume (i.e., percentile) constraints to be appended to any convex formulation of an inverse planning problem. The first three constraint types are convex and readily incorporated. Dose volume constraints are not convex, however, so we introduce a convex restriction that is related to CVaR-based approaches previously proposed in the literature. To compensate for the conservatism of this restriction,more » we propose a new two-pass algorithm that solves the restricted problem on a first pass and uses this solution to form exact constraints on a second pass. In another variant, we introduce slack variables for each dose constraint to prevent the problem from becoming infeasible when the user specifies an incompatible set of constraints. We implement the proposed methods in Python using the convex programming package cvxpy in conjunction with the open source convex solvers SCS and ECOS. Results: We show, for several cases taken from the clinic, that our proposed method meets specified constraints (often with margin) when they are feasible. Constraints are met exactly when we use the two-pass method, and infeasible constraints are replaced with the nearest feasible constraint when slacks are used. Finally, we introduce ConRad, a Python-embedded free software package for convex radiation therapy planning. ConRad implements the methods described above and offers a simple interface for specifying prescriptions and dose constraints. Conclusion: This work demonstrates the feasibility of using modifiable dose constraints in a convex formulation, making it practical to guide the treatment planning process with interactively specified dose constraints. This work was supported by the Stanford BioX Graduate Fellowship and NIH Grant 5R01CA176553.« less

Collaboration between Mathematics Facilitators and Preschool Teachers Using the Innovative "Senso-Math" Preschool Program

ERIC Educational Resources Information Center

Hassidov, Dina; Ilany, Bat-Sheva

2018-01-01

This article presents a mixed-method study of the innovative "Senso-Math" preschool program and the reactions of both the facilitators, who underwent a special training program, and the preschool teachers in whose classes the program was implemented. The goal of the program is to enhance mathematical development in preschool children…

First Year Evaluation of the Mathematics Pilot Programs, Grades K-8, [and] Appendices. Evaluation Department Report No. 381.

ERIC Educational Resources Information Center

Tomblin, Elizabeth A.; And Others

The San Diego Board of Education requested that pilot programs be conducted with commercially developed (Grades K-8) mathematics textbooks and programs in order to determine which of the programs/texts were superior, and whether a district-developed program could successfully compete with commercially produced materials. The pilot program…

Modeling and optimization of dough recipe for breadsticks

NASA Astrophysics Data System (ADS)

Krivosheev, A. Yu; Ponomareva, E. I.; Zhuravlev, A. A.; Lukina, S. I.; Alekhina, N. N.

2018-05-01

During the work, the authors studied the combined effect of non-traditional raw materials on indicators of quality breadsticks, mathematical methods of experiment planning were applied. The main factors chosen were the dosages of flaxseed flour and grape seed oil. The output parameters were the swelling factor of the products and their strength. Optimization of the formulation composition of the dough for bread sticks was carried out by experimental- statistical methods. As a result of the experiment, mathematical models were constructed in the form of regression equations, adequately describing the process of studies. The statistical processing of the experimental data was carried out by the criteria of Student, Cochran and Fisher (with a confidence probability of 0.95). A mathematical interpretation of the regression equations was given. Optimization of the formulation of the dough for bread sticks was carried out by the method of uncertain Lagrange multipliers. The rational values of the factors were determined: the dosage of flaxseed flour - 14.22% and grape seed oil - 7.8%, ensuring the production of products with the best combination of swelling ratio and strength. On the basis of the data obtained, a recipe and a method for the production of breadsticks "Idea" were proposed (TU (Russian Technical Specifications) 9117-443-02068106-2017).

Spline Laplacian estimate of EEG potentials over a realistic magnetic resonance-constructed scalp surface model.

PubMed

Babiloni, F; Babiloni, C; Carducci, F; Fattorini, L; Onorati, P; Urbano, A

1996-04-01

This paper presents a realistic Laplacian (RL) estimator based on a tensorial formulation of the surface Laplacian (SL) that uses the 2-D thin plate spline function to obtain a mathematical description of a realistic scalp surface. Because of this tensorial formulation, the RL does not need an orthogonal reference frame placed on the realistic scalp surface. In simulation experiments the RL was estimated with an increasing number of "electrodes" (up to 256) on a mathematical scalp model, the analytic Laplacian being used as a reference. Second and third order spherical spline Laplacian estimates were examined for comparison. Noise of increasing magnitude and spatial frequency was added to the simulated potential distributions. Movement-related potentials and somatosensory evoked potentials sampled with 128 electrodes were used to estimate the RL on a realistically shaped, MR-constructed model of the subject's scalp surface. The RL was also estimated on a mathematical spherical scalp model computed from the real scalp surface. Simulation experiments showed that the performances of the RL estimator were similar to those of the second and third order spherical spline Laplacians. Furthermore, the information content of scalp-recorded potentials was clearly better when the RL estimator computed the SL of the potential on an MR-constructed scalp surface model.

Numerical modeling of heat transfer in the fuel oil storage tank at thermal power plant

NASA Astrophysics Data System (ADS)

Kuznetsova, Svetlana A.

2015-01-01

Presents results of mathematical modeling of convection of a viscous incompressible fluid in a rectangular cavity with conducting walls of finite thickness in the presence of a local source of heat in the bottom of the field in terms of convective heat exchange with the environment. A mathematical model is formulated in terms of dimensionless variables "stream function - vorticity vector speed - temperature" in the Cartesian coordinate system. As the results show the distributions of hydrodynamic parameters and temperatures using different boundary conditions on the local heat source.

Carl Neumann versus Rudolf Clausius on the propagation of electrodynamic potentials

NASA Astrophysics Data System (ADS)

Archibald, Thomas

1986-09-01

In the late 1860's, German electromagnetic theorists employing W. Weber's velocity-dependent force law were forced to confront the issue of energy conservation. One attempt to formulate a conservation law for such forces was due to Carl Neumann, who introduced a model employing retarded potentials in 1868. Rudolf Clausius quickly pointed out certain problems with the physical interpretation of Neumann's mathematical formalism. The debate between the two men continued until the 1880's and illustrates the strictures facing mathematical approaches to physical problems during this prerelativistic, pre-Maxwellian period.

Phenomenological and mechanics aspects of nondestructive evaluation and characterization by sound and ultrasound of material and fracture properties

NASA Technical Reports Server (NTRS)

Fu, L. S. W.

1982-01-01

Developments in fracture mechanics and elastic wave theory enhance the understanding of many physical phenomena in a mathematical context. Available literature in the material, and fracture characterization by NDT, and the related mathematical methods in mechanics that provide fundamental underlying principles for its interpretation and evaluation are reviewed. Information on the energy release mechanism of defects and the interaction of microstructures within the material is basic in the formulation of the mechanics problems that supply guidance for nondestructive evaluation (NDE).

Aerodynamic mathematical modeling - basic concepts

NASA Technical Reports Server (NTRS)

Tobak, M.; Schiff, L. B.

1981-01-01

The mathematical modeling of the aerodynamic response of an aircraft to arbitrary maneuvers is reviewed. Bryan's original formulation, linear aerodynamic indicial functions, and superposition are considered. These concepts are extended into the nonlinear regime. The nonlinear generalization yields a form for the aerodynamic response that can be built up from the responses to a limited number of well defined characteristic motions, reproducible in principle either in wind tunnel experiments or flow field computations. A further generalization leads to a form accommodating the discontinuous and double valued behavior characteristics of hysteresis in the steady state aerodynamic response.

An analytical approach to top predator interference on the dynamics of a food chain model

NASA Astrophysics Data System (ADS)

Senthamarai, R.; Vijayalakshmi, T.

2018-04-01

In this paper, a nonlinear mathematical model is proposed and analyzed to study of top predator interference on the dynamics of a food chain model. The mathematical model is formulated using the system of non-linear ordinary differential equations. In this model, there are three state dimensionless variables, viz, size of prey population x, size of intermediate predator y and size of top predator population z. The analytical results are compared with the numerical simulation using MATLAB software and satisfactory results are noticed.

Sequential Medical Trials Involving Paired Data.

DTIC Science & Technology

1979-05-22

and A. John Petkau Depar~~~nt of MathematicsUniversity of British Columbia I Accession For N?IS GRiA-&I DDC TAB Una~mounced - Justification...John Petkau Department of Mathematics University of British Columbia SUMMARY A continuous time version of Anscombe ’ s formulation of the problem of...AIlS 1970 subject classifications : Primary 62Ll0; secondary 62C10, 62Ll5. — — -- m.~~, -- -~ —— - -- ~~~~~~~~ ~~~~~~~~~~~~ 1. INTRODUCTION A natural

Cartan gravity, matter fields, and the gauge principle

DOE Office of Scientific and Technical Information (OSTI.GOV)

Westman, Hans F., E-mail: hwestman74@gmail.com; Zlosnik, Tom G., E-mail: t.zlosnik@imperial.ac.uk

Gravity is commonly thought of as one of the four force fields in nature. However, in standard formulations its mathematical structure is rather different from the Yang–Mills fields of particle physics that govern the electromagnetic, weak, and strong interactions. This paper explores this dissonance with particular focus on how gravity couples to matter from the perspective of the Cartan-geometric formulation of gravity. There the gravitational field is represented by a pair of variables: (1) a ‘contact vector’ V{sup A} which is geometrically visualized as the contact point between the spacetime manifold and a model spacetime being ‘rolled’ on top ofmore » it, and (2) a gauge connection A{sub μ}{sup AB}, here taken to be valued in the Lie algebra of SO(2,3) or SO(1,4), which mathematically determines how much the model spacetime is rotated when rolled. By insisting on two principles, the gauge principle and polynomial simplicity, we shall show how one can reformulate matter field actions in a way that is harmonious with Cartan’s geometric construction. This yields a formulation of all matter fields in terms of first order partial differential equations. We show in detail how the standard second order formulation can be recovered. In particular, the Hodge dual, which characterizes the structure of bosonic field equations, pops up automatically. Furthermore, the energy–momentum and spin-density three-forms are naturally combined into a single object here denoted the spin-energy–momentum three-form. Finally, we highlight a peculiarity in the mathematical structure of our first-order formulation of Yang–Mills fields. This suggests a way to unify a U(1) gauge field with gravity into a SO(1,5)-valued gauge field using a natural generalization of Cartan geometry in which the larger symmetry group is spontaneously broken down to SO(1,3)×U(1). The coupling of this unified theory to matter fields and possible extensions to non-Abelian gauge fields are left as open questions. -- Highlights: •Develops Cartan gravity to include matter fields. •Coupling to gravity is done using the standard gauge prescription. •Matter actions are manifestly polynomial in all field variables. •Standard equations recovered on-shell for scalar, spinor and Yang–Mills fields. •Unification of a U(1) field with gravity based on the orthogonal group SO(1,5)« less

Transforming Teacher Preparation to Ensure Long-Term Improvement in STEM Teaching

ERIC Educational Resources Information Center

Hiebert, James

2013-01-01

An alternative mathematics preparation program for K-8 teachers is described as an existence proof that steadily increasing effectiveness of STEM (science, technology, engineering, and mathematics) preparation is possible. The program is based on treating every lesson in each of five mathematics content and methods courses as objects of study.…

Strategies to Recruit and Retain Students in Physical Science and Mathematics on a Diverse College Campus

ERIC Educational Resources Information Center

Chang, Jen-Mei; Kwon, Chuhee; Stevens, Lora; Buonora, Paul

2016-01-01

This article presents implementation details and findings of a National Science Foundation Scholarship in Science, Technology, Engineering, and Mathematics Program (S-STEM) consisting of many high-impact practices to recruit and retain students in the physical sciences and mathematics programs, particularly first-generation and underrepresented…

Recommendations for an Undergraduate Program in Computational Mathematics.

ERIC Educational Resources Information Center

Committee on the Undergraduate Program in Mathematics, Berkeley, CA.

This report describes an undergraduate program designed to produce mathematicians who will know how to use and to apply computers. There is a core of 12 one-semester courses: five in mathematics, four in computational mathematics and three in computer science, leaving the senior year for electives. The content and spirit of these courses are…

Evaluating the Effects of Mastery Learning in Postsecondary Developmental Mathematics

ERIC Educational Resources Information Center

Bradley, Kirk

2016-01-01

The purpose of this study was to determine which academic and affective student factors were significant to student success in a mastery learning program in developmental mathematics and to determine if the mastery learning program led to increased mathematical knowledge retention and success in the subsequent math course. The first phase of the…

Technology: The Key to the Reformation of Developmental Mathematics Pedagogy

ERIC Educational Resources Information Center

Ben-Jacob, Marion G.

2016-01-01

There is a movement nationwide to enhance the learning experience of college students who need to take courses in developmental mathematics. Technology is instrumental in eliminating the non-credit bearing courses from their programs of study. The restructuring of the mathematics programs allows for greater confidence on the parts of the students…

A Conversion Tool for Mathematical Expressions in Web XML Files.

ERIC Educational Resources Information Center

Ohtake, Nobuyuki; Kanahori, Toshihiro

2003-01-01

This article discusses the conversion of mathematical equations into Extensible Markup Language (XML) on the World Wide Web for individuals with visual impairments. A program is described that converts the presentation markup style to the content markup style in MathML to allow browsers to render mathematical expressions without other programs.…

Creating Printed Materials for Mathematics with a Macintosh Computer.

ERIC Educational Resources Information Center

Mahler, Philip

This document gives instructions on how to use a Macintosh computer to create printed materials for mathematics. A Macintosh computer, Microsoft Word, and objected-oriented (Draw-type) art program, and a function-graphing program are capable of producing high quality printed instructional materials for mathematics. Word 5.1 has an equation editor…

Mathematical-Artificial Neural Network Hybrid Model to Predict Roll Force during Hot Rolling of Steel

NASA Astrophysics Data System (ADS)

Rath, S.; Sengupta, P. P.; Singh, A. P.; Marik, A. K.; Talukdar, P.

2013-07-01

Accurate prediction of roll force during hot strip rolling is essential for model based operation of hot strip mills. Traditionally, mathematical models based on theory of plastic deformation have been used for prediction of roll force. In the last decade, data driven models like artificial neural network have been tried for prediction of roll force. Pure mathematical models have accuracy limitations whereas data driven models have difficulty in convergence when applied to industrial conditions. Hybrid models by integrating the traditional mathematical formulations and data driven methods are being developed in different parts of world. This paper discusses the methodology of development of an innovative hybrid mathematical-artificial neural network model. In mathematical model, the most important factor influencing accuracy is flow stress of steel. Coefficients of standard flow stress equation, calculated by parameter estimation technique, have been used in the model. The hybrid model has been trained and validated with input and output data collected from finishing stands of Hot Strip Mill, Bokaro Steel Plant, India. It has been found that the model accuracy has been improved with use of hybrid model, over the traditional mathematical model.

A ’Multiple Pivoting’ Algorithm for Goal-Interval Programming Formulations.

DTIC Science & Technology

1980-03-01

jotso _P- ,- Research Report CCS 355 A "MULTIPLE PIVOTING" ALGORITHM FOR GOAL-INTERVAL PROGRAMMING FORMULATIONS by R. Armstrong* A. Charnes*W. Cook...J. Godfrey*** March 1980 *The University of Texas at Austin **York University, Downsview, Ontario, Canada ***Washington, DC This research was partly...areas. However, the main direction of goal programing research has been in formulating models instead of seeking procedures that would provide

Application of Pharmacokinetic and Pharmacodynamic Analysis to the Development of Liposomal Formulations for Oncology

PubMed Central

Ait-Oudhia, Sihem; Mager, Donald E.; Straubinger, Robert M.

2014-01-01

Liposomal formulations of anticancer agents have been developed to prolong drug circulating lifetime, enhance anti-tumor efficacy by increasing tumor drug deposition, and reduce drug toxicity by avoiding critical normal tissues. Despite the clinical approval of numerous liposome-based chemotherapeutics, challenges remain in the development and clinical deployment of micro- and nano-particulate formulations, as well as combining these novel agents with conventional drugs and standard-of-care therapies. Factors requiring optimization include control of drug biodistribution, release rates of the encapsulated drug, and uptake by target cells. Quantitative mathematical modeling of formulation performance can provide an important tool for understanding drug transport, uptake, and disposition processes, as well as their role in therapeutic outcomes. This review identifies several relevant pharmacokinetic/pharmacodynamic models that incorporate key physical, biochemical, and physiological processes involved in delivery of oncology drugs by liposomal formulations. They capture observed data, lend insight into factors determining overall antitumor response, and in some cases, predict conditions for optimizing chemotherapy combinations that include nanoparticulate drug carriers. PMID:24647104

In vitro evaluation of suspoemulsions for in situ-forming polymeric microspheres and controlled release of progesterone.

PubMed

Turino, Ludmila N; Mariano, Rodolfo N; Mengatto, Luciano N; Luna, Julio A

2015-01-01

One possibility to obtain a higher dose of drug in a lower formulation volume can be by using of saturated quantity of drug in one of the phases of an emulsion. These formulations are called suspoemulsions (S/O/W). When a hydrophobic polymer is added to the organic phase of suspoemulsions, these formulations can be used to entrap the drug inside microspheres after in situ precipitation of the polymer-drug-excipients mix. In this work, performance and stability of progesterone suspensions in triacetin as organic phase of suspoemulsions were evaluated. These formulations were compared with O/W emulsions. Mathematical models were used to study in vitro release profiles. The results confirmed that S/O/W systems could be an attractive alternative to O/W formulations for the entrapment of progesterone inside poly(d,l-lactide-co-glycolide) microspheres. Diffusive-based models fit the in vitro release of progesterone from in situ-formed microspheres. For longer release periods, a time-dependent diffusion coefficient was successfully estimated.

Wormgear geometry adopted for implementing hydrostatic lubrication and formulation of the lubrication problem

NASA Technical Reports Server (NTRS)

Sun, D. C.; Yuan, Qin

1995-01-01

The geometrical parameters for a wormgear intended to be used as the transmission in advanced helicopters are finalized. The resulting contact pattern of the meshing tooth surfaces is suitable for the implementation of hydrostatic lubrication Fluid film lubrication of the contact is formulated considering external pressurization as well as hydrodynamic wedge and squeeze actions. The lubrication analysis is aimed at obtaining the oil supply pressure needed to separate the worm and gear surfaces by a prescribed minimum film thickness. The procedure of solving the mathematical problem is outlined.

Undergraduate Students' Perceptions of the Mathematics Courses Included in the Primary School Teacher Education Program

ERIC Educational Resources Information Center

Serin, Mehmet Koray; Incikabi, Semahat

2017-01-01

Mathematics educators have reported on many issues regarding students' mathematical education, particularly students who received mathematics education at different departments such as engineering, science or primary school, including their difficulties with mathematical concepts, their understanding of and preferences for mathematical concepts.…

Mathematical interpretation of Brownian motor model: Limit cycles and directed transport phenomena

NASA Astrophysics Data System (ADS)

Yang, Jianqiang; Ma, Hong; Zhong, Suchuang

2018-03-01

In this article, we first suggest that the attractor of Brownian motor model is one of the reasons for the directed transport phenomenon of Brownian particle. We take the classical Smoluchowski-Feynman (SF) ratchet model as an example to investigate the relationship between limit cycles and directed transport phenomenon of the Brownian particle. We study the existence and variation rule of limit cycles of SF ratchet model at changing parameters through mathematical methods. The influences of these parameters on the directed transport phenomenon of a Brownian particle are then analyzed through numerical simulations. Reasonable mathematical explanations for the directed transport phenomenon of Brownian particle in SF ratchet model are also formulated on the basis of the existence and variation rule of the limit cycles and numerical simulations. These mathematical explanations provide a theoretical basis for applying these theories in physics, biology, chemistry, and engineering.

Optimal one-way and roundtrip journeys design by mixed-integer programming

NASA Astrophysics Data System (ADS)

Ribeiro, Isabel M.; Vale, Cecília

2017-12-01

The introduction of multimodal/intermodal networks in transportation problems, especially when considering roundtrips, adds complexity to the models. This article presents two models for the optimization of intermodal trips as a contribution to the integration of transport modes in networks. The first model is devoted to one-way trips while the second one is dedicated to roundtrips. The original contribution of this research to transportation is mainly the consideration of roundtrips in the optimization process of intermodal transport, especially because the transport mode between two nodes on the return trip should be the same as the one on the outward trip if both nodes are visited on the return trip, which is a valuable aspect for transport companies. The mathematical formulations of both models leads to mixed binary linear programs, which is not a common approach for this type of problem. In this article, as well as the model description, computational experience is included to highlight the importance and efficiency of the proposed models, which may provide a valuable tool for transport managers.

Utterance selection model of language change

NASA Astrophysics Data System (ADS)

Baxter, G. J.; Blythe, R. A.; Croft, W.; McKane, A. J.

2006-04-01

We present a mathematical formulation of a theory of language change. The theory is evolutionary in nature and has close analogies with theories of population genetics. The mathematical structure we construct similarly has correspondences with the Fisher-Wright model of population genetics, but there are significant differences. The continuous time formulation of the model is expressed in terms of a Fokker-Planck equation. This equation is exactly soluble in the case of a single speaker and can be investigated analytically in the case of multiple speakers who communicate equally with all other speakers and give their utterances equal weight. Whilst the stationary properties of this system have much in common with the single-speaker case, time-dependent properties are richer. In the particular case where linguistic forms can become extinct, we find that the presence of many speakers causes a two-stage relaxation, the first being a common marginal distribution that persists for a long time as a consequence of ultimate extinction being due to rare fluctuations.

Fluid resuscitation following a burn injury: implications of a mathematical model of microvascular exchange.

PubMed

Bert, J; Gyenge, C; Bowen, B; Reed, R; Lund, T

1997-03-01

A validated mathematical model of microvascular exchange in thermally injured humans has been used to predict the consequences of different forms of resuscitation and potential modes of action of pharmaceuticals on the distribution and transport of fluid and macromolecules in the body. Specially, for 10 and/or 50 per cent burn surface area injuries, predictions are presented for no resuscitation, resuscitation with the Parkland formula (a high fluid and low protein formulation) and resuscitation with the Evans formula (a low fluid and high protein formulation). As expected, Parkland formula resuscitation leads to interstitial accumulation of excess fluid, while use of the Evans formula leads to interstitial accumulation of excessive amounts of proteins. The hypothetical effects of pharmaceuticals on the transport barrier properties of the microvascular barrier and on the highly negative tissue pressure generated postburn in the injured tissue were also investigated. Simulations predict a relatively greater amelioration of the acute postburn edema through modulation of the postburn tissue pressure effects.

A new mathematical formulation of the line-by-line method in case of weak line overlapping

NASA Technical Reports Server (NTRS)

Ishov, Alexander G.; Krymova, Natalie V.

1994-01-01

A rigorous mathematical proof is presented for multiline representation on the equivalent width of a molecular band which consists in the general case of n overlapping spectral lines. The multiline representation includes a principal term and terms of minor significance. The principal term is the equivalent width of the molecular band consisting of the same n nonoverlapping spectral lines. The terms of minor significance take into consideration the overlapping of two, three and more spectral lines. They are small in case of the weak overlapping of spectral lines in the molecular band. The multiline representation can be easily generalized for optically inhomogeneous gas media and holds true for combinations of molecular bands. If the band lines overlap weakly the standard formulation of line-by-line method becomes too labor-consuming. In this case the multiline representation permits line-by-line calculations to be performed more effectively. Other useful properties of the multiline representation are pointed out.

Building a Program of University Physics and Mathematics Education

NASA Astrophysics Data System (ADS)

Tanaka, Tadayoshi; Nakamura, Akira; Kagiyama, Shigenori; Namiki, Masatoshi; Ejiri, Arisato; Ohshima, Kazunari; Mishima, Akiomi; Aoki, Katsuhiko

Authors built physics learning modules which consist of lectures, experiments and practices, introducing physics experiments of elementary and secondary education. In addition, we are operating "KIT Mathematics Navigation" in order to complement mathematical basics to engineering education. Based on these results, we are building studies and development of an education program in order to support the learning paradigm shift and to help students learn physics and mathematics complimentarily for liberal arts education course in universities.

Characteristic of critical and creative thinking of students of mathematics education study program

NASA Astrophysics Data System (ADS)

Rochmad; Agoestanto, A.; Kharis, M.

2018-03-01

Critical and creative thinking give important role in learning matematics for mathematics education students. This research to explored the characteristic of critical and creative thinking of students of mathematics study program in mathematics department. Critical thinking and creative thinking can be illustrated as two sides of a coin, which one is associated to the other. In elementary linear algebra courses, however, critical thinking can be seen as a foundation to build students’ creative thinking.

Multicultural and multilingual approach: Mathematics, science, and engineering education for junior high school minority students and high school administrators. Final report

DOE Office of Scientific and Technical Information (OSTI.GOV)

Crumbly, I.J.; Hodges, J.

1994-09-01

During the 1993 school year, LLNL and the US Department of Energy`s San Francisco Field Office provided funds through grant {number_sign}DE-FG03-93SF20045/A000 to assist Cooperative Developmental Energy Program (CDEP) with its network coalition of high school counselors from 19 states and with its outreach and early intervention program in mathematics, science and engineering for minority junior high school students. The program for high school counselors is called the National Educators Orientation Program (NEOP) and the outreach program for minority junior high school students is called the Mathematics, Science and Engineering Academy (MSEA). A total of 35 minority and female rising eighthmore » grade students participated in the Second Annual Mathematics, Science, and Engineering Academy sponsored by the Cooperative Developmental Energy Program of Fort Valley State College (FVSC). There were 24 students from the middle Georgia area, 4 students from Oakland, California, and 7 students from Portland, Oregon. Each student was selected by counselor in his or her respective school. The selection criteria were based on the students` academic performance in science and mathematics courses.« less

Foundations in Science and Mathematics Program for Middle School and High School Students

NASA Astrophysics Data System (ADS)

Desai, Karna Mahadev; Yang, Jing; Hemann, Jason

2016-01-01

The Foundations in Science and Mathematics (FSM) is a graduate student led summer program designed to help middle school and high school students strengthen their knowledge and skills in mathematics and science. FSM provides two-week-long courses over a broad spectrum of disciplines including astronomy, biology, chemistry, computer programming, geology, mathematics, and physics. Students can chose two types of courses: (1) courses that help students learn the fundamental concepts in basic sciences and mathematics (e.g., "Precalculus"); and (2) knowledge courses that might be excluded from formal schooling (e.g., "Introduction to Universe"). FSM has served over 500 students in the Bloomington, IN, community over six years by acquiring funding from Indiana University and the Indiana Space Grant Consortium. FSM offers graduate students the opportunity to obtain first hand experience through independent teaching and curriculum design as well as leadership experience.We present the design of the program, review the achievements, and explore the challenges we face. We are open to collaboration with similar educational outreach programs. For more information, please visit http://www.indiana.edu/~fsm/ .

Defining Computational Thinking for Mathematics and Science Classrooms

NASA Astrophysics Data System (ADS)

Weintrop, David; Beheshti, Elham; Horn, Michael; Orton, Kai; Jona, Kemi; Trouille, Laura; Wilensky, Uri

2016-02-01

Science and mathematics are becoming computational endeavors. This fact is reflected in the recently released Next Generation Science Standards and the decision to include "computational thinking" as a core scientific practice. With this addition, and the increased presence of computation in mathematics and scientific contexts, a new urgency has come to the challenge of defining computational thinking and providing a theoretical grounding for what form it should take in school science and mathematics classrooms. This paper presents a response to this challenge by proposing a definition of computational thinking for mathematics and science in the form of a taxonomy consisting of four main categories: data practices, modeling and simulation practices, computational problem solving practices, and systems thinking practices. In formulating this taxonomy, we draw on the existing computational thinking literature, interviews with mathematicians and scientists, and exemplary computational thinking instructional materials. This work was undertaken as part of a larger effort to infuse computational thinking into high school science and mathematics curricular materials. In this paper, we argue for the approach of embedding computational thinking in mathematics and science contexts, present the taxonomy, and discuss how we envision the taxonomy being used to bring current educational efforts in line with the increasingly computational nature of modern science and mathematics.

Chapter I Mathematics Program, 1983-84. Report of Evaluation.

ERIC Educational Resources Information Center

Tompkins, John F.

This report provides an evaluation of the Chapter I mathematics program for 1,020 first through eighth grade students in the Des Moines Independent Community School District. Included is a description of the program, information on program budget and expenditures, and narrative accounts of the attainment of 17 performance and process objectives.…

Undergraduate Course and Curriculum Development Program and Calculus and the Bridge to Calculus Program: 1993 Awards.

ERIC Educational Resources Information Center

National Science Foundation, Arlington, VA. Div. of Undergraduate Education.

The Undergraduate Course and Curriculum Development Program of the National Science Foundation supports the development of courses in all disciplines to improve the quality of undergraduate courses and curricula in science, mathematics, engineering, and technology. The purpose of the program in Curriculum Development in Mathematics: Calculus and…

Personalized Computer-Assisted Mathematics Problem-Solving Program and Its Impact on Taiwanese Students

ERIC Educational Resources Information Center

Chen, Chiu-Jung; Liu, Pei-Lin

2007-01-01

This study evaluated the effects of a personalized computer-assisted mathematics problem-solving program on the performance and attitude of Taiwanese fourth grade students. The purpose of this study was to determine whether the personalized computer-assisted program improved student performance and attitude over the nonpersonalized program.…

On the convergence of an iterative formulation of the electromagnetic scattering from an infinite grating of thin wires

NASA Technical Reports Server (NTRS)

Brand, J. C.

1985-01-01

Contraction theory is applied to an iterative formulation of electromagnetic scattering from periodic structures and a computational method for insuring convergence is developed. A short history of spectral (or k-space) formulation is presented with an emphasis on application to periodic surfaces. The mathematical background for formulating an iterative equation is covered using straightforward single variable examples including an extension to vector spaces. To insure a convergent solution of the iterative equation, a process called the contraction corrector method is developed. Convergence properties of previously presented iterative solutions to one-dimensional problems are examined utilizing contraction theory and the general conditions for achieving a convergent solution are explored. The contraction corrector method is then applied to several scattering problems including an infinite grating of thin wires with the solution data compared to previous works.

Anticipatory systems using a probabilistic-possibilistic formalism

DOE Office of Scientific and Technical Information (OSTI.GOV)

Tsoukalas, L.H.

1989-01-01

A methodology for the realization of the Anticipatory Paradigm in the diagnosis and control of complex systems, such as power plants, is developed. The objective is to synthesize engineering systems as analogs of certain biological systems which are capable of modifying their present states on the basis of anticipated future states. These future states are construed to be the output of predictive, numerical, stochastic or symbolic models. The mathematical basis of the implementation is developed on the basis of a formulation coupling probabilistic (random) and possibilistic(fuzzy) data in the form of an Information Granule. Random data are generated from observationsmore » and sensors input from the environment. Fuzzy data consists of eqistemic information, such as criteria or constraints qualifying the environmental inputs. The approach generates mathematical performance measures upon which diagnostic inferences and control functions are based. Anticipated performance is generated using a fuzzified Bayes formula. Triplex arithmetic is used in the numerical estimation of the performance measures. Representation of the system is based upon a goal-tree within the rule-based paradigm from the field of Applied Artificial Intelligence. The ensuing construction incorporates a coupling of Symbolic and Procedural programming methods. As a demonstration of the possibility of constructing such systems, a model-based system of a nuclear reactor is constructed. A numerical model of the reactor as a damped simple harmonic oscillator is used. The neutronic behavior is described by a point kinetics model with temperature feedback. The resulting system is programmed in OPS5 for the symbolic component and in FORTRAN for the procedural part.« less

Design and evaluation of the computer-based training program Calcularis for enhancing numerical cognition

PubMed Central

Käser, Tanja; Baschera, Gian-Marco; Kohn, Juliane; Kucian, Karin; Richtmann, Verena; Grond, Ursina; Gross, Markus; von Aster, Michael

2013-01-01

This article presents the design and a first pilot evaluation of the computer-based training program Calcularis for children with developmental dyscalculia (DD) or difficulties in learning mathematics. The program has been designed according to insights on the typical and atypical development of mathematical abilities. The learning process is supported through multimodal cues, which encode different properties of numbers. To offer optimal learning conditions, a user model completes the program and allows flexible adaptation to a child's individual learning and knowledge profile. Thirty-two children with difficulties in learning mathematics completed the 6–12-weeks computer training. The children played the game for 20 min per day for 5 days a week. The training effects were evaluated using neuropsychological tests. Generally, children benefited significantly from the training regarding number representation and arithmetic operations. Furthermore, children liked to play with the program and reported that the training improved their mathematical abilities. PMID:23935586

Do Developmental Mathematics Programs Have a Causal Impact on Student Retention? An Application of Discrete-Time Survival and Regression-Discontinuity Analysis

ERIC Educational Resources Information Center

Lesik, Sally A.

2007-01-01

The impact of academic programs--such as developmental mathematics programs--on student retention, has been a controversial topic for administrators, policy makers, and faculty in higher education. Despite deep interest in the effectiveness of these programs in retaining students, scholars have been unable to determine whether such programs have a…

An Iceberg Model for Improving Mathematical Understanding and Mindset or Disposition: An Individualized Summer Intervention Program

ERIC Educational Resources Information Center

Westensko, Arla; Moyer-Packenham, Patricia S.; Child, Barbara

2017-01-01

This study describes 3 years of mathematics intervention research examining the effectiveness of a summer individualized tutoring program for rising fourth-, fifth-, and sixth-grade students with low mathematics achievement. Based on an iceberg model of learning, an instructional framework was developed that identified and targeted students'…

An Evaluation of Elementary School Mathematics Programs Utilizing the Mini-Calculator.

ERIC Educational Resources Information Center

Campbell, Patricia; Virgin, A. E.

The purpose of this study was to compare the achievement, attitudes, and teaching/learning experiences in mathematics programs of two groups of elementary-school students in grades 5 and 6. Approximately 150 students in each of two elementary schools were given as a pretest a standardized mathematics achievement test and a questionnaire regarding…

for Middle School Science and Mathematics Teachers

ERIC Educational Resources Information Center

Lee, Mimi Miyoung; Chauvot, Jennifer B.; Vowell, Julie; Culpepper, Shea Mosley; Plankis, Brian J.

2013-01-01

This paper is based on an online graduate program for middle school science and mathematics teachers in Texas titled Integration of Science, Mathematics and Reflective Teaching (iSMART). Launching the program for its first cohort in fall 2010, the authors attempted to answer the following two questions in this paper: (a) How do the members of the…

RESEARCH MEMORANDUM, EVALUATION OF AN INSERVICE TELEVISION TRAINING PROGRAM IN MATHEMATICS FOR ELEMENTARY TEACHERS.

ERIC Educational Resources Information Center

KOPSTEIN, FELIX F.; MILLS, DONALD F.

AN EVALUATION WAS CONDUCTED TO ANSWER THREE QUESTIONS--(1) HOW MUCH DID ELEMENTATY SCHOOL TEACHERS WHO VIEWED INSTRUCTIONAL TELECASTS ON MODERN MATHEMATICS KNOW ABOUT THE NEWER MATHEMATICAL CONCEPTS BEFORE THE SERIES OF PROGRAMS BEGAN, AND WHAT WERE THEIR ATTITUDES, (2) HOW MUCH DID THE TEACHERS KNOW, AND HOW MUCH WERE THEIR ATTITUDES CHANGED…

Using Formative Assessment and Self-Regulated Learning to Help Developmental Mathematics Students Achieve: A Multi-Campus Program

ERIC Educational Resources Information Center

Hudesman, John; Crosby, Sara; Ziehmke, Niesha; Everson, Howard; Issac, Sharlene; Flugman, Bert; Zimmerman, Barry; Moylan, Adam

2014-01-01

The authors describe an Enhanced Formative Assessment and Self-Regulated Learning (EFA-SRL) program designed to improve the achievement of community college students enrolled in developmental mathematics courses. Their model includes the use of specially formatted quizzes designed to assess both the students' mathematics and metacognitive skill…

Preparing the "New" Biologist of the Future: Student Research at the Interface of Mathematics and Biology

ERIC Educational Resources Information Center

Duncan, Sarah I.; Bishop, Pamela; Lenhart, Suzanne

2010-01-01

We describe a unique Research Experience for Undergraduates and Research Experience for Veterinary students summer program at the National Institute for Mathematical and Biological Synthesis on the campus of the University of Tennessee, Knoxville. The program focused on interdisciplinary research at the interface of biology and mathematics.…

TENTATIVE RECOMMENDATIONS FOR THE UNDERGRADUATE MATHEMATICS PROGRAM OF STUDENTS IN THE BIOLOGICAL MANAGEMENT AND SOCIAL SCIENCES.

ERIC Educational Resources Information Center

DUREN, WILLIAM L.

THIS REPORT DESCRIBES A PROGRAM FOR THE UNDERGRADUATE MATHEMATICAL PREPARATION OF STUDENTS IN THE BIOLOGICAL, MANAGEMENT, AND SOCIAL SCIENCES (BMSS). THE COMMITTEE RECOMMENDS A SEQUENCE OF COURSES WHICH IS DESIGNED TO PROVIDE VARIED TRAINING IN MATHEMATICS IN THE LIMITED TIME BMSS STUDENTS HAVE AVAILABLE. OF SPECIAL IMPORTANCE ARE ELEMENTARY…

Middle School Mathematics: A Study of Three Programs in South Texas

ERIC Educational Resources Information Center

Ellis, Joanetta Dowell

2011-01-01

In 2010, the Texas Assessment of Knowledge and Skills (TAKS) began its seventh year of testing (Texas Education Agency, 2009a). High stakes testing is a reality. This study considered the impact on mathematics achievement based on the mathematics program students were receiving during their middle school years. The purpose of this study was to…

Longitudinal Effects of Technology Integration and Teacher Professional Development on Students' Mathematics Achievement

ERIC Educational Resources Information Center

Bicer, Ali; Capraro, Robert M.

2017-01-01

MathForward is a program that provides teacher professional development and integrates the use of technology as a tool in the classroom. The present study examined students' mathematics growth from 2012 to 2013 and observed how students' mathematics scores changed after their school implemented the MathForward program. The sample consisted of two…

A New Conflict Resolution Method for Multiple Mobile Robots in Cluttered Environments With Motion-Liveness.

PubMed

Shahriari, Mohammadali; Biglarbegian, Mohammad

2018-01-01

This paper presents a new conflict resolution methodology for multiple mobile robots while ensuring their motion-liveness, especially for cluttered and dynamic environments. Our method constructs a mathematical formulation in a form of an optimization problem by minimizing the overall travel times of the robots subject to resolving all the conflicts in their motion. This optimization problem can be easily solved through coordinating only the robots' speeds. To overcome the computational cost in executing the algorithm for very cluttered environments, we develop an innovative method through clustering the environment into independent subproblems that can be solved using parallel programming techniques. We demonstrate the scalability of our approach through performing extensive simulations. Simulation results showed that our proposed method is capable of resolving the conflicts of 100 robots in less than 1.23 s in a cluttered environment that has 4357 intersections in the paths of the robots. We also developed an experimental testbed and demonstrated that our approach can be implemented in real time. We finally compared our approach with other existing methods in the literature both quantitatively and qualitatively. This comparison shows while our approach is mathematically sound, it is more computationally efficient, scalable for very large number of robots, and guarantees the live and smooth motion of robots.

Experimental design for estimating unknown groundwater pumping using genetic algorithm and reduced order model

NASA Astrophysics Data System (ADS)

Ushijima, Timothy T.; Yeh, William W.-G.

2013-10-01

An optimal experimental design algorithm is developed to select locations for a network of observation wells that provide maximum information about unknown groundwater pumping in a confined, anisotropic aquifer. The design uses a maximal information criterion that chooses, among competing designs, the design that maximizes the sum of squared sensitivities while conforming to specified design constraints. The formulated optimization problem is non-convex and contains integer variables necessitating a combinatorial search. Given a realistic large-scale model, the size of the combinatorial search required can make the problem difficult, if not impossible, to solve using traditional mathematical programming techniques. Genetic algorithms (GAs) can be used to perform the global search; however, because a GA requires a large number of calls to a groundwater model, the formulated optimization problem still may be infeasible to solve. As a result, proper orthogonal decomposition (POD) is applied to the groundwater model to reduce its dimensionality. Then, the information matrix in the full model space can be searched without solving the full model. Results from a small-scale test case show identical optimal solutions among the GA, integer programming, and exhaustive search methods. This demonstrates the GA's ability to determine the optimal solution. In addition, the results show that a GA with POD model reduction is several orders of magnitude faster in finding the optimal solution than a GA using the full model. The proposed experimental design algorithm is applied to a realistic, two-dimensional, large-scale groundwater problem. The GA converged to a solution for this large-scale problem.

Mathematics: Program Assessment and Improvement Planning Manual.

ERIC Educational Resources Information Center

Whitman, Nancy C.; And Others

This document provides a model for assessing a school's mathematics program and planning for program improvement. A systematic process for instructional improvement focuses upon students' needs and the identification of successful instructional strategies to meet these needs. The improvement plan and the implementation of intervention strategies…

Nonlinear programming extensions to rational function approximations of unsteady aerodynamics

NASA Technical Reports Server (NTRS)

Tiffany, Sherwood H.; Adams, William M., Jr.

1987-01-01

This paper deals with approximating unsteady generalized aerodynamic forces in the equations of motion of a flexible aircraft. Two methods of formulating these approximations are extended to include both the same flexibility in constraining them and the same methodology in optimizing nonlinear parameters as another currently used 'extended least-squares' method. Optimal selection of 'nonlinear' parameters is made in each of the three methods by use of the same nonlinear (nongradient) optimizer. The objective of the nonlinear optimization is to obtain rational approximations to the unsteady aerodynamics whose state-space realization is of lower order than that required when no optimization of the nonlinear terms is performed. The free 'linear' parameters are determined using least-squares matrix techniques on a Lagrange multiplier formulation of an objective function which incorporates selected linear equality constraints. State-space mathematical models resulting from the different approaches are described, and results are presented which show comparative evaluations from application of each of the extended methods to a numerical example. The results obtained for the example problem show a significant (up to 63 percent) reduction in the number of differential equations used to represent the unsteady aerodynamic forces in linear time-invariant equations of motion as compared to a conventional method in which nonlinear terms are not optimized.

Increasing Mathematics and Science Achievement for Culturally Diverse Students through Teaching Training

NASA Technical Reports Server (NTRS)

Mahon, Lee

1997-01-01

The purpose of this proposal was to field test and evaluate a Teacher Training program that would prepare teachers to increase the motivation and achievement of culturally diverse students in the areas of science and mathematics. Designed as a three year program, this report covers the first two years of the training program at the Ronald McNair School in the Ravenswood School district, using the resources of the NASA Ames Research Center and the California Framework for Mathematics and Science.

On Exact and Inexact Differentials and Applications

ERIC Educational Resources Information Center

Cortez, L. A. B.; de Oliveira, E. Capelas

2017-01-01

Considering the important role played by mathematical derivatives in the study of physical-chemical processes, this paper discusses the different possibilities and formulations of this concept and its application. In particular, in Chemical Thermodynamics, we study exact differentials associated with the so-called state functions and inexact…

Spatially homogeneous rotating world models.

NASA Technical Reports Server (NTRS)

Ozsvath, I.

1971-01-01

The mathematical problem encountered when looking for the simplest expanding and rotating model of the universe without the compactness condition for the space sections is formulated. The Lagrangian function is derived for four different rotating universes simultaneously. These models correspond in a certain sense to Godel's (1950) ?symmetric case.'

Activity-Based Travel Demand Modeling for Metropolitan Areas in Texas: Model Components and Mathematical Formulations

DOT National Transportation Integrated Search

2001-09-01

The goal of this project is to comprehensively model the activity-travel patterns of workers as well as non-workers in a household. The activity-travel system will take as input various land use, socio-demographic, activity system, and transportation...

Minimization search method for data inversion

NASA Technical Reports Server (NTRS)

Fymat, A. L.

1975-01-01

Technique has been developed for determining values of selected subsets of independent variables in mathematical formulations. Required computation time increases with first power of the number of variables. This is in contrast with classical minimization methods for which computational time increases with third power of the number of variables.

Mathematical and experimental investigations of modeling, simulation and experiment to promote the life-cycle of polymer modified asphalt.

DOT National Transportation Integrated Search

2014-07-01

The formulation of constitutive equations for asphaltic pavement is based on rheological models which include the asphalt mixture, additives, and the bitumen. In terms of the asphalt, the rheology addresses the flow and permanent deformation in time,...

Critical Constructivism: Interpreting Mathematics Education for Social Justice

ERIC Educational Resources Information Center

Skovsmose, Ole

2018-01-01

The notion of social justice has been addressed from the perspective of 'ethical realism' and 'ethical anarchistic'. Here, however, the possibility of 'ethical constructivism' becomes formulated. With departure in Rawls' description of an idealised meeting defining social justice, the initial steps into ethical constructivism become taken.…

Application of NASTRAN/COSMIC in the analysis of ship structures to underwater explosion shock

NASA Technical Reports Server (NTRS)

Fallon, D. J.; Costanzo, F. A.; Handleton, R. T.; Camp, G. C.; Smith, D. C.

1987-01-01

The application of NASTRAN/COSMIC in predicting the transient motion of ship structures to underwater, non-contact explosions is discussed. Examples illustrate the finite element models, mathematical formulations of loading functions and, where available, comparisons between analytical and experimental results.

Finite element meshing approached as a global minimization process

DOE Office of Scientific and Technical Information (OSTI.GOV)

WITKOWSKI,WALTER R.; JUNG,JOSEPH; DOHRMANN,CLARK R.

2000-03-01

The ability to generate a suitable finite element mesh in an automatic fashion is becoming the key to being able to automate the entire engineering analysis process. However, placing an all-hexahedron mesh in a general three-dimensional body continues to be an elusive goal. The approach investigated in this research is fundamentally different from any other that is known of by the authors. A physical analogy viewpoint is used to formulate the actual meshing problem which constructs a global mathematical description of the problem. The analogy used was that of minimizing the electrical potential of a system charged particles within amore » charged domain. The particles in the presented analogy represent duals to mesh elements (i.e., quads or hexes). Particle movement is governed by a mathematical functional which accounts for inter-particles repulsive, attractive and alignment forces. This functional is minimized to find the optimal location and orientation of each particle. After the particles are connected a mesh can be easily resolved. The mathematical description for this problem is as easy to formulate in three-dimensions as it is in two- or one-dimensions. The meshing algorithm was developed within CoMeT. It can solve the two-dimensional meshing problem for convex and concave geometries in a purely automated fashion. Investigation of the robustness of the technique has shown a success rate of approximately 99% for the two-dimensional geometries tested. Run times to mesh a 100 element complex geometry were typically in the 10 minute range. Efficiency of the technique is still an issue that needs to be addressed. Performance is an issue that is critical for most engineers generating meshes. It was not for this project. The primary focus of this work was to investigate and evaluate a meshing algorithm/philosophy with efficiency issues being secondary. The algorithm was also extended to mesh three-dimensional geometries. Unfortunately, only simple geometries were tested before this project ended. The primary complexity in the extension was in the connectivity problem formulation. Defining all of the interparticle interactions that occur in three-dimensions and expressing them in mathematical relationships is very difficult.« less

The Impact of a "Framework"-Aligned Science Professional Development Program on Literacy and Mathematics Achievement of K-3 Students

ERIC Educational Resources Information Center

Paprzycki, Peter; Tuttle, Nicole; Czerniak, Charlene M.; Molitor, Scott; Kadervaek, Joan; Mendenhall, Robert

2017-01-01

This study investigates the effect of a Framework-aligned professional development program at the PreK-3 level. The NSF funded program integrated science with literacy and mathematics learning and provided teacher professional development, along with materials and programming for parents to encourage science investigations and discourse around…

Toward Social Justice: The Characteristics of an Effective Mathematics Intervention Program for Urban Middle School Students

ERIC Educational Resources Information Center

Bowens, Bryan D.; Warren, Susan R.

2016-01-01

This two-part investigation (a) assessed the impact of the Jaime Escalante Math Program (JEMP), a structured summer mathematics intervention program, on the math achievement of urban middle school students, (b) identified the characteristics of the program that the administrators and teachers perceived to contribute to student achievement, and (c)…

Special Studies--A Statewide Remedial Mathematics Program of the University System of Georgia.

ERIC Educational Resources Information Center

Chang, Ping-Tung

Drawing upon selected findings from student and faculty surveys, this report describes the remedial mathematics component of the University of Georgia's Special Studies Program. After examining the need for basic skills programs in an era of declining test scores and open admissions policies, the report describes the Special Studies Program's…

Segregation effects during solidification in weightless melts. [effects of evaporation and solidification on crystalization

NASA Technical Reports Server (NTRS)

Li, C.

1975-01-01

Computer programs are developed and used in the study of the combined effects of evaporation and solidification in space processing. The temperature and solute concentration profiles during directional solidification of binary alloys with surface evaporation were mathematically formulated. Computer results are included along with an econotechnical model of crystal growth. This model allows: prediction of crystal size, quality, and cost; systematic selection of the best growth equipment or alloy system; optimization of growth or material parameters; and a maximization of zero-gravity effects. Segregation in GaAs crystals was examined along with vibration effects on GaAs crystal growth. It was found that a unique segregation pattern and strong convention currents exist in GaAs crystal growth. Some beneficial effects from vibration during GaAs growth were discovered. The implications of the results in space processing are indicated.

Optimal design of upstream processes in biotransformation technologies.

PubMed

Dheskali, Endrit; Michailidi, Katerina; de Castro, Aline Machado; Koutinas, Apostolis A; Kookos, Ioannis K

2017-01-01

In this work a mathematical programming model for the optimal design of the bioreaction section of biotechnological processes is presented. Equations for the estimation of the equipment cost derived from a recent publication by the US National Renewable Energy Laboratory (NREL) are also summarized. The cost-optimal design of process units and the optimal scheduling of their operation can be obtained using the proposed formulation that has been implemented in software available from the journal web page or the corresponding author. The proposed optimization model can be used to quantify the effects of decisions taken at a lab scale on the industrial scale process economics. It is of paramount important to note that this can be achieved at the early stage of the development of a biotechnological project. Two case studies are presented that demonstrate the usefulness and potential of the proposed methodology. Copyright © 2016. Published by Elsevier Ltd.

Trading strategies for distribution company with stochastic distributed energy resources

DOE Office of Scientific and Technical Information (OSTI.GOV)

Zhang, Chunyu; Wang, Qi; Wang, Jianhui

2016-09-01

This paper proposes a methodology to address the trading strategies of a proactive distribution company (PDISCO) engaged in the transmission-level (TL) markets. A one-leader multi-follower bilevel model is presented to formulate the gaming framework between the PDISCO and markets. The lower-level (LL) problems include the TL day-ahead market and scenario-based real-time markets, respectively with the objectives of maximizing social welfare and minimizing operation cost. The upper-level (UL) problem is to maximize the PDISCO’s profit across these markets. The PDISCO’s strategic offers/bids interactively influence the outcomes of each market. Since the LL problems are linear and convex, while the UL problemmore » is non-linear and non-convex, an equivalent primal–dual approach is used to reformulate this bilevel model to a solvable mathematical program with equilibrium constraints (MPEC). The effectiveness of the proposed model is verified by case studies.« less

Mathematical modeling of ice accretion on airfoils

NASA Technical Reports Server (NTRS)

Macarthur, C. D.; Keller, J. L.; Luers, J. K.

1982-01-01

The progress toward development of a computer model suitable for predicting icing behavior on airfoils over a wide range of environmental conditions and airfoils shapes is reported. The LEWICE program was formulated to solve a set of equations which describe the physical processes which occur during accretion of ice on an airfoil, including heat transfer in a time dependent mode, with the restriction that the flow must be describable by a two-dimensional flow code. Input data comprises the cloud liquid water content, mean droplet diameter, ambient air temperature, air velocity, and relative humidity. A potential flowfield around the airfoil is calculated, along with the droplet trajectories within the flowfield, followed by local values of water droplet collection efficiency at the impact points. Both glaze and rime ice conditions are reproduced, and comparisons with test results on icing of circular cylinders showed good agreement with the physical situation.

Thermal Pollution Mathematical Model. Volume 3: User's Manual for One-Dimensional Numerical Model for the Seasonal Thermocline. [environment impact of thermal discharges from power plants

NASA Technical Reports Server (NTRS)

Lee, S. S.; Sengupta, S.; Nwadike, E. V.

1980-01-01

A user's manual for a one dimensional thermal model to predict the temperature profiles of a deep body of water for any number of annual cycles is presented. The model is essentially a set of partial differential equations which are solved by finite difference methods using a high speed digital computer. The model features the effects of area change with depth, nonlinear interaction of wind generated turbulence and buoyancy, adsorption of radiative heat flux below the surface, thermal discharges, and the effects of vertical convection caused by discharge. The main assumption in the formulation is horizontal homogeneity. The environmental impact of thermal discharges from power plants is emphasized. Although the model is applicable to most lakes, a specific site (Lake Keowee, S.C.) application is described in detail. The programs are written in FORTRAN 5.

FOSSIL2 energy policy model documentation: FOSSIL2 documentation

DOE Office of Scientific and Technical Information (OSTI.GOV)

None

1980-10-01

This report discusses the structure, derivations, assumptions, and mathematical formulation of the FOSSIL2 model. Each major facet of the model - supply/demand interactions, industry financing, and production - has been designed to parallel closely the actual cause/effect relationships determining the behavior of the United States energy system. The data base for the FOSSIL2 program is large, as is appropriate for a system dynamics simulation model. When possible, all data were obtained from sources well known to experts in the energy field. Cost and resource estimates are based on DOE data whenever possible. This report presents the FOSSIL2 model at severalmore » levels. Volumes II and III of this report list the equations that comprise the FOSSIL2 model, along with variable definitions and a cross-reference list of the model variables. Volume III lists the model equations and a one line definition for equations, in a short, readable format.« less

Optimal pricing and marketing planning for deteriorating items

PubMed Central

Moosavi Tabatabaei, Seyed Reza; Sadjadi, Seyed Jafar; Makui, Ahmad

2017-01-01

Optimal pricing and marketing planning plays an essential role in production decisions on deteriorating items. This paper presents a mathematical model for a three-level supply chain, which includes one producer, one distributor and one retailer. The proposed study considers the production of a deteriorating item where demand is influenced by price, marketing expenditure, quality of product and after-sales service expenditures. The proposed model is formulated as a geometric programming with 5 degrees of difficulty and the problem is solved using the recent advances in optimization techniques. The study is supported by several numerical examples and sensitivity analysis is performed to analyze the effects of the changes in different parameters on the optimal solution. The preliminary results indicate that with the change in parameters influencing on demand, inventory holding, inventory deteriorating and set-up costs change and also significantly affect total revenue. PMID:28306750

A numerical formulation and algorithm for limit and shakedown analysis of large-scale elastoplastic structures

NASA Astrophysics Data System (ADS)

Peng, Heng; Liu, Yinghua; Chen, Haofeng

2018-05-01

In this paper, a novel direct method called the stress compensation method (SCM) is proposed for limit and shakedown analysis of large-scale elastoplastic structures. Without needing to solve the specific mathematical programming problem, the SCM is a two-level iterative procedure based on a sequence of linear elastic finite element solutions where the global stiffness matrix is decomposed only once. In the inner loop, the static admissible residual stress field for shakedown analysis is constructed. In the outer loop, a series of decreasing load multipliers are updated to approach to the shakedown limit multiplier by using an efficient and robust iteration control technique, where the static shakedown theorem is adopted. Three numerical examples up to about 140,000 finite element nodes confirm the applicability and efficiency of this method for two-dimensional and three-dimensional elastoplastic structures, with detailed discussions on the convergence and the accuracy of the proposed algorithm.

Market penetration of energy supply technologies

NASA Astrophysics Data System (ADS)

Condap, R. J.

1980-03-01

Techniques to incorporate the concepts of profit-induced growth and risk aversion into policy-oriented optimization models of the domestic energy sector are examined. After reviewing the pertinent market penetration literature, simple mathematical programs in which the introduction of new energy technologies is constrained primarily by the reinvestment of profits are formulated. The main results involve the convergence behavior of technology production levels under various assumptions about the form of the energy demand function. Next, profitability growth constraints are embedded in a full-scale model of U.S. energy-economy interactions. A rapidly convergent algorithm is developed to utilize optimal shadow prices in the computation of profitability for individual technologies. Allowance is made for additional policy variables such as government funding and taxation. The result is an optimal deployment schedule for current and future energy technologies which is consistent with the sector's ability to finance capacity expansion.

Optimising reverse logistics network to support policy-making in the case of Electrical and Electronic Equipment.

PubMed

Achillas, Ch; Vlachokostas, Ch; Aidonis, D; Moussiopoulos, N; Iakovou, E; Banias, G

2010-12-01

Due to the rapid growth of Waste Electrical and Electronic Equipment (WEEE) volumes, as well as the hazardousness of obsolete electr(on)ic goods, this type of waste is now recognised as a priority stream in the developed countries. Policy-making related to the development of the necessary infrastructure and the coordination of all relevant stakeholders is crucial for the efficient management and viability of individually collected waste. This paper presents a decision support tool for policy-makers and regulators to optimise electr(on)ic products' reverse logistics network. To that effect, a Mixed Integer Linear Programming mathematical model is formulated taking into account existing infrastructure of collection points and recycling facilities. The applicability of the developed model is demonstrated employing a real-world case study for the Region of Central Macedonia, Greece. The paper concludes with presenting relevant obtained managerial insights. Copyright © 2010 Elsevier Ltd. All rights reserved.

Introduction to Energy

NASA Astrophysics Data System (ADS)

Cassedy, Edward S.; Grossman, Peter Z.

1999-01-01

Energy issues such as pollution, resource depletion, global warming, nuclear power and waste are problems demanding timely solutions. This book provides a critical examination of the resources, market forces, and social impacts of modern energy production. The book addresses the dilemmas that have arisen due to society's crucial dependence on energy, particularly fossil fuels, and explores the available alternative energy producing technologies. The second edition has increased emphasis on those issues at the forefront of the current energy debate: energy sustainability, climate change, and the radical restructuring of the power industry due to deregulation. Assuming no prior technical expertise and avoiding complex mathematical formulation. The second edition, like the first, will be especially useful as a textbook for undergraduate programs in Science, Technology and Society (STS), and as a supplementary text in a variety of courses that touch on energy studies, including environmental and technology policy, environmental, mineral and business law, energy and resource economics.

Optimisation algorithms for ECG data compression.

PubMed

Haugland, D; Heber, J G; Husøy, J H

1997-07-01

The use of exact optimisation algorithms for compressing digital electrocardiograms (ECGs) is demonstrated. As opposed to traditional time-domain methods, which use heuristics to select a small subset of representative signal samples, the problem of selecting the subset is formulated in rigorous mathematical terms. This approach makes it possible to derive algorithms guaranteeing the smallest possible reconstruction error when a bounded selection of signal samples is interpolated. The proposed model resembles well-known network models and is solved by a cubic dynamic programming algorithm. When applied to standard test problems, the algorithm produces a compressed representation for which the distortion is about one-half of that obtained by traditional time-domain compression techniques at reasonable compression ratios. This illustrates that, in terms of the accuracy of decoded signals, existing time-domain heuristics for ECG compression may be far from what is theoretically achievable. The paper is an attempt to bridge this gap.

ACHIEVEMENT OF STUDENTS FROM GROUPS INSTRUCTED BY PROGRAMED MATERIALS, CLASSROOM TEACHER, OR BOTH. COMPARATIVE STUDIES OF PRINCIPLES FOR PROGRAMMING MATHEMATICS IN AUTOMATED INSTRUCTION, TECHNICAL REPORT NO. 12.

ERIC Educational Resources Information Center

BROWN, O. ROBERT, JR.

THE EXPERIMENTAL DESIGN IN THIS STUDY OF THE USE OF PROGRAMED MATERIALS TO TEACH HIGH SCHOOL MATHEMATICS DESIGNATED FOUR GROUPS--A CONTROL GROUP TAUGHT CONVENTIONALLY BY TEACHERS TRAINED TO USE PROGRAMED MATERIALS, A "PURE" GROUP USING PROGRAMED MATERIALS ONLY, AND "ANTICIPATING" AND "FOLLOWING" GROUPS THAT USED…

AutoCAD-To-NASTRAN Translator Program

NASA Technical Reports Server (NTRS)

Jones, A.

1989-01-01

Program facilitates creation of finite-element mathematical models from geometric entities. AutoCAD to NASTRAN translator (ACTON) computer program developed to facilitate quick generation of small finite-element mathematical models for use with NASTRAN finite-element modeling program. Reads geometric data of drawing from Data Exchange File (DXF) used in AutoCAD and other PC-based drafting programs. Written in Microsoft Quick-Basic (Version 2.0).

Professional Development Processes That Promote Teacher Change: The Case of a Video-Based Program Focused on Leveraging Students' Mathematical Errors

ERIC Educational Resources Information Center

Santagata, Rossella; Bray, Wendy

2016-01-01

This study examined processes at the core of teacher professional development (PD) experiences that might positively impact teacher learning and more specifically teacher change. Four processes were considered in the context of a PD program focused on student mathematical errors: analysis of students' mathematical misconceptions as a lever for…

Effects of a Teacher Professional Development Program on the Mathematics Achievement of Middle School Students

ERIC Educational Resources Information Center

Sample McMeeking, Laura B.; Orsi, Rebecca; Cobb, R. Brian

2012-01-01

The effect of a 15- to 24-month in-service professional development (PD) program on state accountability mathematics test scores for middle school students was examined using a quasi-experimental design. Middle level mathematics teachers (n = 128) from 7 school districts and 64 middle schools volunteered for a PD sequence of content-oriented…

Mathematics for Gifted Students in an Arts- and Technology-Rich Setting

ERIC Educational Resources Information Center

Gadanidis, George; Hughes, Janette; Cordy, Michelle

2011-01-01

In this paper we report on a study of a short-term mathematics program for grade 7-8 gifted students that integrated open-ended mathematics tasks with the arts (poetry and drama) and with technology. The program was offered partially online and partially in a classroom setting. The study sought to investigate (a) students' perceptions of their…

Comparing Differences in Math Achievement and Attitudes toward Math in a Sixth Grade Mathematics Enrichment Pilot Program

ERIC Educational Resources Information Center

Tow, Tamara

2011-01-01

High-stakes assessments have encouraged educators to ignore the needs of the top performers. Therefore, the Oakwood School District decided to implement a mathematics pilot enrichment program in order to meet the needs of the advanced mathematics students. As a result, this study used quantitative data to determine if there was a significant…

AN EVALUATION OF HIGH SCHOOL MATHEMATICS PROGRAMMED TEXTS WHEN USED WITH DEAF STUDENTS.

ERIC Educational Resources Information Center

BORNSTEIN, HARRY

A COMPARISON WAS MADE OF THE RATE AND LEVEL OF ACHIEVEMENT OF 150 DEAF STUDENTS RESULTING FROM THE USE OF PROGRAMED TEXTS AS AGAINST THE USUAL LECTURE METHODS IN HIGH SCHOOL MATHEMATICS. EACH OF FOUR MATHEMATICS TEACHERS HAD TWO COMPARABLE CLASSES. THE CONTROL GROUP RECEIVED INFORMATION BY SIMULTANEOUS LECTURE AND THE EXPERIMENTAL GROUPS USED THE…

The Impact of a Professional Development Program on Teachers' Mathematical Knowledge for Teaching, Instruction, and Student Achievement

ERIC Educational Resources Information Center

Jacob, Robin; Hill, Heather; Corey, Doug

2017-01-01

In this paper, we describe findings from a three-year evaluation of a well-developed mathematics professional development program that is commercially available on a wide scale. The professional development is designed to improve teachers' mathematical knowledge for teaching and to enable them to elicit more student thinking and reasoning during…

The Initial Response of Secondary Mathematics Teachers to a One-to-One Laptop Program

ERIC Educational Resources Information Center

Zuber, Edward Nordin; Anderson, Judy

2013-01-01

Studies of one-to-one programs consistently report lower use of laptops in mathematics classrooms compared to other subjects but do not elaborate reasons for these observations. This mixed-method study investigated the experiences and beliefs of 28 mathematics teachers at five secondary schools during the second year of the New South Wales Digital…

Assessment of Training Programs for Elementary Mathematics Teachers on Developed Curricula and Attitudes towards Teaching in Najran-Saudi Arabia

ERIC Educational Resources Information Center

Aly, Hassan Shawky; Abdulhakeem, Hassan Daker

2016-01-01

This study aimed at assessing the training programs for Mathematics teachers at elementary stage on developed Curricula and attitudes toward teaching at Najran educational administration in Saudi Arabia. To achieve this objective, two instruments were developed, one of them measures the opinions of Mathematics teachers about the training programs…

Using Culture as a Resource in Mathematics: The Case of Four Mexican-American Prospective Teachers in a Bilingual After-School Program

ERIC Educational Resources Information Center

Vomvoridi-Ivanovic, Eugenia

2012-01-01

This paper explores Mexican-American prospective teachers' use of culture--defined as social practices and shared experiences--as an instructional resource in mathematics. The setting is an after-school mathematics program for the children of Mexican heritage. Qualitative analysis of the prospective teachers' and children's interactions reveals…

75 FR 14176 - Statement of Organization, Functions, and Delegations of Authority

Federal Register 2010, 2011, 2012, 2013, 2014

2010-03-24

... and on matters that affect other units and levels of government. Contributes to the formulation of... formulation, coordination, integration, implementation, and evaluation of national Medicare program policies... Program Integrity on the identification of program vulnerabilities and implementation of strategies to...

Software Template for Instruction in Mathematics

NASA Technical Reports Server (NTRS)

Shelton, Robert O.; Moebes, Travis A.; Beall, Anna

2005-01-01

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.

The effect of medical mathematics retention strategies in decreasing attrition rate among African American licensed practical nursing students in a community college.

PubMed

Barra, Maryanne

2013-01-01

This education evidence based study examined African American students entering the Practical Nursing program and the strategies of medical mathematics bridge and tutoring programs to reduce attrition. To increase retention in the fundamentals of nursing courses, augmenting the program completion rate. DATA/OBSERVATIONS: Two groups of students (n = 105) participated for this one-year study over three semesters. Data revealed passing rates of 87%-92% for the nursing course and 75%-92% on medical mathematics when consistently attending programs. The attrition rate plummeting to 8% -34% contrasting previous years 43%-65%. Retention intervention programs can have a positive impact on minority students' academic performance.

The transition to formal thinking in mathematics

NASA Astrophysics Data System (ADS)

Tall, David

2008-09-01

This paper focuses on the changes in thinking involved in the transition from school mathematics to formal proof in pure mathematics at university. School mathematics is seen as a combination of visual representations, including geometry and graphs, together with symbolic calculations and manipulations. Pure mathematics in university shifts towards a formal framework of axiomatic systems and mathematical proof. In this paper, the transition in thinking is formulated within a framework of `three worlds of mathematics'- the `conceptual-embodied' world based on perception, action and thought experiment, the `proceptual-symbolic' world of calculation and algebraic manipulation compressing processes such as counting into concepts such as number, and the `axiomatic-formal' world of set-theoretic concept definitions and mathematical proof. Each `world' has its own sequence of development and its own forms of proof that may be blended together to give a rich variety of ways of thinking mathematically. This reveals mathematical thinking as a blend of differing knowledge structures; for instance, the real numbers blend together the embodied number line, symbolic decimal arithmetic and the formal theory of a complete ordered field. Theoretical constructs are introduced to describe how genetic structures set before birth enable the development of mathematical thinking, and how experiences that the individual has met before affect their personal growth. These constructs are used to consider how students negotiate the transition from school to university mathematics as embodiment and symbolism are blended with formalism. At a higher level, structure theorems proved in axiomatic theories link back to more sophisticated forms of embodiment and symbolism, revealing the intimate relationship between the three worlds.