Effects of a Preschool Mathematics Curriculum: Summative Research on the "Building Blocks" Project

ERIC Educational Resources Information Center

Clements, Douglas H.; Sarama, Julie

2007-01-01

This study evaluated the efficacy of a preschool mathematics program based on a comprehensive model of developing research-based software and print curricula. Building Blocks, funded by the National Science Foundation, is a curriculum development project focused on creating research-based, technology-enhanced mathematics materials for pre-K…

A Generic Software Safety Document Generator

NASA Technical Reports Server (NTRS)

Denney, Ewen; Venkatesan, Ram Prasad

2004-01-01

Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in principle, can be subjected to external scrutiny. In practice, however, proofs themselves are unlikely to be of much interest to engineers. Nevertheless, it is possible to use the information obtained from a mathematical analysis of software to produce a detailed textual justification of correctness. In this paper, we describe an approach to generating textual explanations from automatically generated proofs of program safety, where the proofs are of compliance with an explicit safety policy that can be varied. Key to this is tracing proof obligations back to the program, and we describe a tool which implements this to certify code auto-generated by AutoBayes and AutoFilter, program synthesis systems under development at the NASA Ames Research Center. Our approach is a step towards combining formal certification with traditional certification methods.

GeoGebra 3D from the Perspectives of Elementary Pre-Service Mathematics Teachers Who Are Familiar with a Number of Software Programs

ERIC Educational Resources Information Center

Baltaci, Serdal; Yildiz, Avni

2015-01-01

Each new version of the GeoGebra dynamic mathematics software goes through updates and innovations. One of these innovations is the GeoGebra 5.0 version. This version aims to facilitate 3D instruction by offering opportunities for students to analyze 3D objects. While scanning the previous studies of GeoGebra 3D, it is seen that they mainly focus…

Software For Least-Squares And Robust Estimation

NASA Technical Reports Server (NTRS)

Jeffreys, William H.; Fitzpatrick, Michael J.; Mcarthur, Barbara E.; Mccartney, James

1990-01-01

GAUSSFIT computer program includes full-featured programming language facilitating creation of mathematical models solving least-squares and robust-estimation problems. Programming language designed to make it easy to specify complex reduction models. Written in 100 percent C language.

Software Reviews.

ERIC Educational Resources Information Center

Teles, Elizabeth, Ed.; And Others

1990-01-01

Reviewed are two computer software packages for Macintosh microcomputers including "Phase Portraits," an exploratory graphics tool for studying first-order planar systems; and "MacMath," a set of programs for exploring differential equations, linear algebra, and other mathematical topics. Features, ease of use, cost, availability, and hardware…

Mathematical computer programs: A compilation

NASA Technical Reports Server (NTRS)

1972-01-01

Computer programs, routines, and subroutines for aiding engineers, scientists, and mathematicians in direct problem solving are presented. Also included is a group of items that affords the same users greater flexibility in the use of software.

Proceedings of the 1977 MACSYMA users' conference (NASA)

NASA Technical Reports Server (NTRS)

1977-01-01

The MACSYMA program for symbolic and algebraic manipulation enables exact, symbolic mathematical computations to be performed on a computer. This program is rather large, and various approaches to the hardware and software problems are examined.

Using LabVIEW for Applying Mathematical Models in Representing Phenomena

ERIC Educational Resources Information Center

Faraco, G.; Gabriele, L.

2007-01-01

Simulations make it possible to explore physical and biological phenomena, where conducting the real experiment is impracticable or difficult. The implementation of a software program describing and simulating a given physical situation encourages the understanding of a phenomenon itself. Fifty-nine students, enrolled at the Mathematical Methods…

A Platform for Development of Mathematical Games on Silverlight

ERIC Educational Resources Information Center

Radakovic, Davorka; Herceg, Dorde

2013-01-01

Dynamic geometry software (DGS) is often used for development of interactive teaching materials in many subjects, not only mathematics. These interactive materials can contain hundreds of elements in order to represent complex objects, and script programs to control their behavior. We propose an approach for creating, importing and using…

An Object-Oriented Network-Centric Software Architecture for Physical Computing

NASA Astrophysics Data System (ADS)

Palmer, Richard

1997-08-01

Recent developments in object-oriented computer languages and infrastructure such as the Internet, Web browsers, and the like provide an opportunity to define a more productive computational environment for scientific programming that is based more closely on the underlying mathematics describing physics than traditional programming languages such as FORTRAN or C++. In this talk I describe an object-oriented software architecture for representing physical problems that includes classes for such common mathematical objects as geometry, boundary conditions, partial differential and integral equations, discretization and numerical solution methods, etc. In practice, a scientific program written using this architecture looks remarkably like the mathematics used to understand the problem, is typically an order of magnitude smaller than traditional FORTRAN or C++ codes, and hence easier to understand, debug, describe, etc. All objects in this architecture are ``network-enabled,'' which means that components of a software solution to a physical problem can be transparently loaded from anywhere on the Internet or other global network. The architecture is expressed as an ``API,'' or application programmers interface specification, with reference embeddings in Java, Python, and C++. A C++ class library for an early version of this API has been implemented for machines ranging from PC's to the IBM SP2, meaning that phidentical codes run on all architectures.

Teaching Science and Mathematics Subjects Using the Excel Spreadsheet Package

ERIC Educational Resources Information Center

Ibrahim, Dogan

2009-01-01

The teaching of scientific subjects usually require laboratories where students can put the theory they have learned into practice. Traditionally, electronic programmable calculators, dedicated software, or expensive software simulation packages, such as MATLAB have been used to simulate scientific experiments. Recently, spreadsheet programs have…

Space Physics Data Facility Web Services

NASA Technical Reports Server (NTRS)

Candey, Robert M.; Harris, Bernard T.; Chimiak, Reine A.

2005-01-01

The Space Physics Data Facility (SPDF) Web services provides a distributed programming interface to a portion of the SPDF software. (A general description of Web services is available at http://www.w3.org/ and in many current software-engineering texts and articles focused on distributed programming.) The SPDF Web services distributed programming interface enables additional collaboration and integration of the SPDF software system with other software systems, in furtherance of the SPDF mission to lead collaborative efforts in the collection and utilization of space physics data and mathematical models. This programming interface conforms to all applicable Web services specifications of the World Wide Web Consortium. The interface is specified by a Web Services Description Language (WSDL) file. The SPDF Web services software consists of the following components: 1) A server program for implementation of the Web services; and 2) A software developer s kit that consists of a WSDL file, a less formal description of the interface, a Java class library (which further eases development of Java-based client software), and Java source code for an example client program that illustrates the use of the interface.

Calculating the Mean Amplitude of Glycemic Excursions from Continuous Glucose Data Using an Open-Code Programmable Algorithm Based on the Integer Nonlinear Method.

PubMed

Yu, Xuefei; Lin, Liangzhuo; Shen, Jie; Chen, Zhi; Jian, Jun; Li, Bin; Xin, Sherman Xuegang

2018-01-01

The mean amplitude of glycemic excursions (MAGE) is an essential index for glycemic variability assessment, which is treated as a key reference for blood glucose controlling at clinic. However, the traditional "ruler and pencil" manual method for the calculation of MAGE is time-consuming and prone to error due to the huge data size, making the development of robust computer-aided program an urgent requirement. Although several software products are available instead of manual calculation, poor agreement among them is reported. Therefore, more studies are required in this field. In this paper, we developed a mathematical algorithm based on integer nonlinear programming. Following the proposed mathematical method, an open-code computer program named MAGECAA v1.0 was developed and validated. The results of the statistical analysis indicated that the developed program was robust compared to the manual method. The agreement among the developed program and currently available popular software is satisfied, indicating that the worry about the disagreement among different software products is not necessary. The open-code programmable algorithm is an extra resource for those peers who are interested in the related study on methodology in the future.

Computer Synthesis Approaches of Hyperboloid Gear Drives with Linear Contact

NASA Astrophysics Data System (ADS)

Abadjiev, Valentin; Kawasaki, Haruhisa

2014-09-01

The computer design has improved forming different type software for scientific researches in the field of gearing theory as well as performing an adequate scientific support of the gear drives manufacture. Here are attached computer programs that are based on mathematical models as a result of scientific researches. The modern gear transmissions require the construction of new mathematical approaches to their geometric, technological and strength analysis. The process of optimization, synthesis and design is based on adequate iteration procedures to find out an optimal solution by varying definite parameters. The study is dedicated to accepted methodology in the creation of soft- ware for the synthesis of a class high reduction hyperboloid gears - Spiroid and Helicon ones (Spiroid and Helicon are trademarks registered by the Illinois Tool Works, Chicago, Ill). The developed basic computer products belong to software, based on original mathematical models. They are based on the two mathematical models for the synthesis: "upon a pitch contact point" and "upon a mesh region". Computer programs are worked out on the basis of the described mathematical models, and the relations between them are shown. The application of the shown approaches to the synthesis of commented gear drives is illustrated.

Engaging New Software.

ERIC Educational Resources Information Center

Allen, Denise

1994-01-01

Reviews three educational computer software products: (1) a compact disc-read only memory (CD-ROM) bundle of five mathematics programs from the Apple Education Series; (2) "Sammy's Science House," with science activities for preschool through second grade (Edmark); and (3) "The Cat Came Back," an interactive CD-ROM game designed to build language…

Software Partitioning Schemes for Advanced Simulation Computer Systems. Final Report.

ERIC Educational Resources Information Center

Clymer, S. J.

Conducted to design software partitioning techniques for use by the Air Force to partition a large flight simulator program for optimal execution on alternative configurations, this study resulted in a mathematical model which defines characteristics for an optimal partition, and a manually demonstrated partitioning algorithm design which…

Mixed Methods Evaluation of Statewide Implementation of Mathematics Education Technology for K-12 Students

ERIC Educational Resources Information Center

Brasiel, Sarah; Martin, Taylor; Jeong, Soojeong; Yuan, Min

2016-01-01

An extensive body of research has demonstrated that the use in a K-12 classroom of technology, such as the Internet, computers, and software programs, enhances the learning of mathematics (Cheung & Slavin, 2013; Cohen & Hollebrands, 2011). In particular, growing empirical evidence supports that certain types of technology, such as…

Pre Service Teachers' Usage of Dynamic Mathematics Software

ERIC Educational Resources Information Center

Bulut, Mehmet; Bulut, Neslihan

2011-01-01

Aim of this study is about mathematics education and dynamic mathematics software. Dynamic mathematics software provides new opportunities for using both computer algebra system and dynamic geometry software. GeoGebra selected as dynamic mathematics software in this research. In this study, it is investigated that what is the usage of pre service…

[Quality assurance of the renal applications software].

PubMed

del Real Núñez, R; Contreras Puertas, P I; Moreno Ortega, E; Mena Bares, L M; Maza Muret, F R; Latre Romero, J M

2007-01-01

The need for quality assurance of all technical aspects of nuclear medicine studies is widely recognised. However, little attention has been paid to the quality assurance of the applications software. Our work reported here aims at verifying the analysis software for processing of renal nuclear medicine studies (renograms). The software tools were used to build a synthetic dynamic model of renal system. The model consists of two phases: perfusion and function. The organs of interest (kidneys, bladder and aortic artery) were simple geometric forms. The uptake of the renal structures was described by mathematic functions. Curves corresponding to normal or pathological conditions were simulated for kidneys, bladder and aortic artery by appropriate selection of parameters. There was no difference between the parameters of the mathematic curves and the quantitative data produced by the renal analysis program. Our test procedure is simple to apply, reliable, reproducible and rapid to verify the renal applications software.

34 CFR 682.200 - Definitions.

Code of Federal Regulations, 2013 CFR

2013-07-01

... Science and Mathematics Access to Retain Talent Grant (National SMART Grant) Program Payment period...-financial aid-related computer software at below market rental or purchase cost, and printing and...

34 CFR 682.200 - Definitions.

Code of Federal Regulations, 2012 CFR

2012-07-01

... Science and Mathematics Access to Retain Talent Grant (National SMART Grant) Program Payment period...-financial aid-related computer software at below market rental or purchase cost, and printing and...

34 CFR 682.200 - Definitions.

Code of Federal Regulations, 2011 CFR

2011-07-01

... Science and Mathematics Access to Retain Talent Grant (National SMART Grant) Program Payment period...-financial aid-related computer software at below market rental or purchase cost, and printing and...

Logo and Mathematics Education LME5. Proceedings of the Annual Conference (5th, Lake Tinaroo, Queensland, Australia, April 1-5, 1991).

ERIC Educational Resources Information Center

Nevile, Liddy, Ed.

Logo programming language was conceived 25 years ago, but in the 10 years since it has made its way out of the laboratory, research has not clarified the role of Logo in education. A conference on Logo and mathematics focused on mathematical and educational issues, rather than on technical issues related to changes in hardware and Logo software.…

Using Cognitive Tutor Software in Learning Linear Algebra Word Concept

ERIC Educational Resources Information Center

Yang, Kai-Ju

2015-01-01

This paper reports on a study of twelve 10th grade students using Cognitive Tutor, a math software program, to learn linear algebra word concept. The study's purpose was to examine whether students' mathematics performance as it is related to using Cognitive Tutor provided evidence to support Koedlinger's (2002) four instructional principles used…

Relationship between ICT Variables and Mathematics Achievement Based on PISA 2006 Database: International Evidence

ERIC Educational Resources Information Center

Guzeller, Cem Oktay; Akin, Ayca

2014-01-01

The purpose of this study is to determine the predicting power of mathematics achievement from ICT variables including the Internet/entertainment use (IEU), program/software use (PRGUSE), confidence in internet tasks (INTCONF) and confidence in ICT high level tasks (HIGHCONF) based on PISA 2006 data. This study indicates that the ICT variables…

A quantitative analysis of the relationship between an online homework system and student achievement in pre-calculus

NASA Astrophysics Data System (ADS)

Babaali, Parisa; Gonzalez, Lidia

2015-07-01

Supporting student success in entry-level mathematics courses at the undergraduate level has and continues to be a challenge. Recently we have seen an increased reliance on technological supports including software to supplement more traditional in-class instruction. In this paper, we explore the effects on student performance of the use of a computer software program to supplement instruction in an entry-level mathematics course at the undergraduate level, specifically, a pre-calculus course. Relying on data from multiple sections of the course over various semesters, we compare student performance in those classes utilizing the software against those in which it was not used. Quantitative analysis of the data then leads us to conclusions about the effectiveness of the software as well as recommendations for future iterations of the course and others like it.

34 CFR 682.200 - Definitions.

Code of Federal Regulations, 2010 CFR

2010-07-01

... Science and Mathematics Access to Retain Talent Grant (National SMART Grant) Program Payment period... equipment, or non-loan processing or non-financial aid-related computer software at below market rental or...

Methods for cost estimation in software project management

NASA Astrophysics Data System (ADS)

Briciu, C. V.; Filip, I.; Indries, I. I.

2016-02-01

The speed in which the processes used in software development field have changed makes it very difficult the task of forecasting the overall costs for a software project. By many researchers, this task has been considered unachievable, but there is a group of scientist for which this task can be solved using the already known mathematical methods (e.g. multiple linear regressions) and the new techniques as genetic programming and neural networks. The paper presents a solution for building a model for the cost estimation models in the software project management using genetic algorithms starting from the PROMISE datasets related COCOMO 81 model. In the first part of the paper, a summary of the major achievements in the research area of finding a model for estimating the overall project costs is presented together with the description of the existing software development process models. In the last part, a basic proposal of a mathematical model of a genetic programming is proposed including here the description of the chosen fitness function and chromosome representation. The perspective of model described it linked with the current reality of the software development considering as basis the software product life cycle and the current challenges and innovations in the software development area. Based on the author's experiences and the analysis of the existing models and product lifecycle it was concluded that estimation models should be adapted with the new technologies and emerging systems and they depend largely by the chosen software development method.

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.

Improving preschoolers' mathematics achievement with tablets: a randomized controlled trial

NASA Astrophysics Data System (ADS)

Schacter, John; Jo, Booil

2017-09-01

With a randomized field experiment of 433 preschoolers, we tested a tablet mathematics program designed to increase young children's mathematics learning. Intervention students played Math Shelf, a comprehensive iPad preschool and year 1 mathematics app, while comparison children received research-based hands-on mathematics instruction delivered by their classroom teachers. After 22 weeks, there was a large and statistically significant effect on mathematics achievement for Math Shelf students (Cohen's d = .94). Moderator analyses demonstrated an even larger effect for low achieving children (Cohen's d = 1.27). These results suggest that early education teachers can improve their students' mathematics outcomes by integrating experimentally proven tablet software into their daily routines.

What Software to Use in the Teaching of Mathematical Subjects?

ERIC Educational Resources Information Center

Berežný, Štefan

2015-01-01

We can consider two basic views, when using mathematical software in the teaching of mathematical subjects. First: How to learn to use specific software for the specific tasks, e. g., software Statistica for the subjects of Applied statistics, probability and mathematical statistics, or financial mathematics. Second: How to learn to use the…

Revisiting Mathematical Problem Solving and Posing in the Digital Era: Toward Pedagogically Sound Uses of Modern Technology

ERIC Educational Resources Information Center

Abramovich, S.

2014-01-01

The availability of sophisticated computer programs such as "Wolfram Alpha" has made many problems found in the secondary mathematics curriculum somewhat obsolete for they can be easily solved by the software. Against this background, an interplay between the power of a modern tool of technology and educational constraints it presents is…

A Study of Visualization for Mathematics Education

NASA Technical Reports Server (NTRS)

Daugherty, Sarah C.

2008-01-01

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

NASA Tech Briefs, December 1996. Volume 20, No. 12

NASA Technical Reports Server (NTRS)

1996-01-01

Topics: Design and Analysis Software; Electronic Components and Circuits; Electronic Systems; Physical Sciences; Materials; Computer Programs; Mechanics; Machinery/Automation; Manufacturing/Fabrication; Mathematics and Information Sciences; Life Sciences; Books and Reports

Evaluation of the MIND Research Institute's Spatial-Temporal Math (ST Math) Program in California

ERIC Educational Resources Information Center

Wendt, Staci; Rice, John; Nakamoto, Jonathan

2014-01-01

The MIND Research Institute contracted with the Evaluation Research Program at WestEd to conduct an independent assessment of mathematics outcomes in elementary school grades across California that were provided with the ST Math program. Spatial-Temporal (ST) Math is a game-based instructional software designed to boost K-5 and secondary-level…

A Relational Algebra Query Language for Programming Relational Databases

ERIC Educational Resources Information Center

McMaster, Kirby; Sambasivam, Samuel; Anderson, Nicole

2011-01-01

In this paper, we describe a Relational Algebra Query Language (RAQL) and Relational Algebra Query (RAQ) software product we have developed that allows database instructors to teach relational algebra through programming. Instead of defining query operations using mathematical notation (the approach commonly taken in database textbooks), students…

Open-source framework for documentation of scientific software written on MATLAB-compatible programming languages

NASA Astrophysics Data System (ADS)

Konnik, Mikhail V.; Welsh, James

2012-09-01

Numerical simulators for adaptive optics systems have become an essential tool for the research and development of the future advanced astronomical instruments. However, growing software code of the numerical simulator makes it difficult to continue to support the code itself. The problem of adequate documentation of the astronomical software for adaptive optics simulators may complicate the development since the documentation must contain up-to-date schemes and mathematical descriptions implemented in the software code. Although most modern programming environments like MATLAB or Octave have in-built documentation abilities, they are often insufficient for the description of a typical adaptive optics simulator code. This paper describes a general cross-platform framework for the documentation of scientific software using open-source tools such as LATEX, mercurial, Doxygen, and Perl. Using the Perl script that translates M-files MATLAB comments into C-like, one can use Doxygen to generate and update the documentation for the scientific source code. The documentation generated by this framework contains the current code description with mathematical formulas, images, and bibliographical references. A detailed description of the framework components is presented as well as the guidelines for the framework deployment. Examples of the code documentation for the scripts and functions of a MATLAB-based adaptive optics simulator are provided.

Optimization technique of wavefront coding system based on ZEMAX externally compiled programs

NASA Astrophysics Data System (ADS)

Han, Libo; Dong, Liquan; Liu, Ming; Zhao, Yuejin; Liu, Xiaohua

2016-10-01

Wavefront coding technique as a means of athermalization applied to infrared imaging system, the design of phase plate is the key to system performance. This paper apply the externally compiled programs of ZEMAX to the optimization of phase mask in the normal optical design process, namely defining the evaluation function of wavefront coding system based on the consistency of modulation transfer function (MTF) and improving the speed of optimization by means of the introduction of the mathematical software. User write an external program which computes the evaluation function on account of the powerful computing feature of the mathematical software in order to find the optimal parameters of phase mask, and accelerate convergence through generic algorithm (GA), then use dynamic data exchange (DDE) interface between ZEMAX and mathematical software to realize high-speed data exchanging. The optimization of the rotational symmetric phase mask and the cubic phase mask have been completed by this method, the depth of focus increases nearly 3 times by inserting the rotational symmetric phase mask, while the other system with cubic phase mask can be increased to 10 times, the consistency of MTF decrease obviously, the maximum operating temperature of optimized system range between -40°-60°. Results show that this optimization method can be more convenient to define some unconventional optimization goals and fleetly to optimize optical system with special properties due to its externally compiled function and DDE, there will be greater significance for the optimization of unconventional optical system.

The probability estimation of the electronic lesson implementation taking into account software reliability

NASA Astrophysics Data System (ADS)

Gurov, V. V.

2017-01-01

Software tools for educational purposes, such as e-lessons, computer-based testing system, from the point of view of reliability, have a number of features. The main ones among them are the need to ensure a sufficiently high probability of their faultless operation for a specified time, as well as the impossibility of their rapid recovery by the way of replacing it with a similar running program during the classes. The article considers the peculiarities of reliability evaluation of programs in contrast to assessments of hardware reliability. The basic requirements to reliability of software used for carrying out practical and laboratory classes in the form of computer-based training programs are given. The essential requirements applicable to the reliability of software used for conducting the practical and laboratory studies in the form of computer-based teaching programs are also described. The mathematical tool based on Markov chains, which allows to determine the degree of debugging of the training program for use in the educational process by means of applying the graph of the software modules interaction, is presented.

Effectiveness of Various Computer-Based Instructional Strategies in Language Teaching. Final Report, November 1, 1969-August 31, 1970.

ERIC Educational Resources Information Center

Van Campen, Joseph A.

Computer software for programed language instruction, developed in the second quarter of 1970 at Stanford's Institute for Mathematical Studies in the Social Sciences is described in this report. The software includes: (1) a PDP-10 computer assembly language for generating drill sentences; (2) a coding system allowing a large number of sentences to…

On the engineering of crucial software

NASA Technical Reports Server (NTRS)

Pratt, T. W.; Knight, J. C.; Gregory, S. T.

1983-01-01

The various aspects of the conventional software development cycle are examined. This cycle was the basis of the augmented approach contained in the original grant proposal. This cycle was found inadequate for crucial software development, and the justification for this opinion is presented. Several possible enhancements to the conventional software cycle are discussed. Software fault tolerance, a possible enhancement of major importance, is discussed separately. Formal verification using mathematical proof is considered. Automatic programming is a radical alternative to the conventional cycle and is discussed. Recommendations for a comprehensive approach are presented, and various experiments which could be conducted in AIRLAB are described.

Preparing the “New” Biologist of the Future: Student Research at the Interface of Mathematics and Biology

PubMed Central

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. Participants were selected to work on projects with a biology mentor and a mathematics mentor in an environment that promoted collaboration outside of the students' respective disciplines. There were four research projects with teams of four participants and two faculty mentors. The participants consisted of a mixture of 10 undergraduates in biology- and mathematics-related disciplines, four veterinary students, and two high-school teachers. The activities included lectures on both the biological and mathematical backgrounds of the projects, tutorials for software, and sessions on ethics, graduate school, and possible career paths for individuals interested in biology and mathematics. The program was designed to give students the ability to actively participate in the scientific research process by working on a project, writing up their results in a final report, and presenting their work orally. We report on the results of our evaluation surveys of the participants. PMID:20810963

Preparing the "new" biologist of the future: student research at the interface of mathematics and biology.

PubMed

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. Participants were selected to work on projects with a biology mentor and a mathematics mentor in an environment that promoted collaboration outside of the students' respective disciplines. There were four research projects with teams of four participants and two faculty mentors. The participants consisted of a mixture of 10 undergraduates in biology- and mathematics-related disciplines, four veterinary students, and two high-school teachers. The activities included lectures on both the biological and mathematical backgrounds of the projects, tutorials for software, and sessions on ethics, graduate school, and possible career paths for individuals interested in biology and mathematics. The program was designed to give students the ability to actively participate in the scientific research process by working on a project, writing up their results in a final report, and presenting their work orally. We report on the results of our evaluation surveys of the participants.

Computer Assisted Diagnostic Prescriptive Program in Reading and Mathematics. An Exemplary Micro-Computer Program and a Developer/Demonstrator Project, National Diffusion Network.

ERIC Educational Resources Information Center

Roberson, E. Wayne; Glowinski, Debra J.

The Computer Assisted Diagnostic Prescriptive Program (CADPP) is a customized databased curriculum management system which permits the user to load the following into a filing/retrieval software system: (1) learning characteristics of individual students (e.g., age, instructional level, learning modality); (2) skill-oriented characteristics of…

HAL/SM language specification. [programming languages and computer programming for space shuttles

NASA Technical Reports Server (NTRS)

Williams, G. P. W., Jr.; Ross, C.

1975-01-01

A programming language is presented for the flight software of the NASA Space Shuttle program. It is intended to satisfy virtually all of the flight software requirements of the space shuttle. To achieve this, it incorporates a wide range of features, including applications-oriented data types and organizations, real time control mechanisms, and constructs for systems programming tasks. It is a higher order language designed to allow programmers, analysts, and engineers to communicate with the computer in a form approximating natural mathematical expression. Parts of the English language are combined with standard notation to provide a tool that readily encourages programming without demanding computer hardware expertise. Block diagrams and flow charts are included. The semantics of the language is discussed.

Puerto Rico's PLATO Learning Program: An Independent Evaluation of the PLATO Learning Model

ERIC Educational Resources Information Center

Shillady, Lucinda; Miller, Libbie

2004-01-01

The Comprehensive School Reform (CSR) program has become a valuable resource in the implementation of the Puerto Rico Department of Education's educational reform process. To support the process, the Commonwealth of Puerto Rico granted computerized equipment, reading and mathematics software and training designed for schools. This included reading…

Parallel Performance of a Combustion Chemistry Simulation

DOE PAGES

Skinner, Gregg; Eigenmann, Rudolf

1995-01-01

We used a description of a combustion simulation's mathematical and computational methods to develop a version for parallel execution. The result was a reasonable performance improvement on small numbers of processors. We applied several important programming techniques, which we describe, in optimizing the application. This work has implications for programming languages, compiler design, and software engineering.

Software For Design Of Life-Support Systems

NASA Technical Reports Server (NTRS)

Rudokas, Mary R.; Cantwell, Elizabeth R.; Robinson, Peter I.; Shenk, Timothy W.

1991-01-01

Design Assistant Workstation (DAWN) computer program is prototype of expert software system for analysis and design of regenerative, physical/chemical life-support systems that revitalize air, reclaim water, produce food, and treat waste. Incorporates both conventional software for quantitative mathematical modeling of physical, chemical, and biological processes and expert system offering user stored knowledge about materials and processes. Constructs task tree as it leads user through simulated process, offers alternatives, and indicates where alternative not feasible. Also enables user to jump from one design level to another.

WEST-3 wind turbine simulator development

NASA Technical Reports Server (NTRS)

Hoffman, J. A.; Sridhar, S.

1985-01-01

The software developed for WEST-3, a new, all digital, and fully programmable wind turbine simulator is given. The process of wind turbine simulation on WEST-3 is described in detail. The major steps are, the processing of the mathematical models, the preparation of the constant data, and the use of system software generated executable code for running on WEST-3. The mechanics of reformulation, normalization, and scaling of the mathematical models is discussed in detail, in particulr, the significance of reformulation which leads to accurate simulations. Descriptions for the preprocessor computer programs which are used to prepare the constant data needed in the simulation are given. These programs, in addition to scaling and normalizing all the constants, relieve the user from having to generate a large number of constants used in the simulation. Also given are brief descriptions of the components of the WEST-3 system software: Translator, Assembler, Linker, and Loader. Also included are: details of the aeroelastic rotor analysis, which is the center of a wind turbine simulation model, analysis of the gimbal subsystem; and listings of the variables, constants, and equations used in the simulation.

E-Learning Technologies: Employing Matlab Web Server to Facilitate the Education of Mathematical Programming

ERIC Educational Resources Information Center

Karagiannis, P.; Markelis, I.; Paparrizos, K.; Samaras, N.; Sifaleras, A.

2006-01-01

This paper presents new web-based educational software (webNetPro) for "Linear Network Programming." It includes many algorithms for "Network Optimization" problems, such as shortest path problems, minimum spanning tree problems, maximum flow problems and other search algorithms. Therefore, webNetPro can assist the teaching process of courses such…

Computer Activities for College Algebra and Precalculus.

ERIC Educational Resources Information Center

White, Jacci Wozniak; Norwich, Vicki Howard

Mathematics software can be a great aid in understanding difficult mathematics concepts at all levels. This paper presents nine exercises on calculus concepts by using different software used in mathematics education. Each exercise includes instruction on how to use software in order to highlight a specific concept in mathematics. This paper also…

Introducing Seismic Tomography with Computational Modeling

NASA Astrophysics Data System (ADS)

Neves, R.; Neves, M. L.; Teodoro, V.

2011-12-01

Learning seismic tomography principles and techniques involves advanced physical and computational knowledge. In depth learning of such computational skills is a difficult cognitive process that requires a strong background in physics, mathematics and computer programming. The corresponding learning environments and pedagogic methodologies should then involve sets of computational modelling activities with computer software systems which allow students the possibility to improve their mathematical or programming knowledge and simultaneously focus on the learning of seismic wave propagation and inverse theory. To reduce the level of cognitive opacity associated with mathematical or programming knowledge, several computer modelling systems have already been developed (Neves & Teodoro, 2010). Among such systems, Modellus is particularly well suited to achieve this goal because it is a domain general environment for explorative and expressive modelling with the following main advantages: 1) an easy and intuitive creation of mathematical models using just standard mathematical notation; 2) the simultaneous exploration of images, tables, graphs and object animations; 3) the attribution of mathematical properties expressed in the models to animated objects; and finally 4) the computation and display of mathematical quantities obtained from the analysis of images and graphs. Here we describe virtual simulations and educational exercises which enable students an easy grasp of the fundamental of seismic tomography. The simulations make the lecture more interactive and allow students the possibility to overcome their lack of advanced mathematical or programming knowledge and focus on the learning of seismological concepts and processes taking advantage of basic scientific computation methods and tools.

Calculation Software

NASA Technical Reports Server (NTRS)

1994-01-01

MathSoft Plus 5.0 is a calculation software package for electrical engineers and computer scientists who need advanced math functionality. It incorporates SmartMath, an expert system that determines a strategy for solving difficult mathematical problems. SmartMath was the result of the integration into Mathcad of CLIPS, a NASA-developed shell for creating expert systems. By using CLIPS, MathSoft, Inc. was able to save the time and money involved in writing the original program.

47 CFR 1.2202 - Competitive bidding design options.

Code of Federal Regulations, 2014 CFR

2014-10-01

... Section 1.2202 Telecommunication FEDERAL COMMUNICATIONS COMMISSION GENERAL PRACTICE AND PROCEDURE Grants...) Procedures that utilize mathematical computer optimization software, such as integer programming, to evaluate... evaluating bids using a ranking based on specified factors. (B) Procedures that combine computer optimization...

Expert system development for commonality analysis in space programs

NASA Technical Reports Server (NTRS)

Yeager, Dorian P.

1987-01-01

This report is a combination of foundational mathematics and software design. A mathematical model of the Commonality Analysis problem was developed and some important properties discovered. The complexity of the problem is described herein and techniques, both deterministic and heuristic, for reducing that complexity are presented. Weaknesses are pointed out in the existing software (System Commonality Analysis Tool) and several improvements are recommended. It is recommended that: (1) an expert system for guiding the design of new databases be developed; (2) a distributed knowledge base be created and maintained for the purpose of encoding the commonality relationships between design items in commonality databases; (3) a software module be produced which automatically generates commonality alternative sets from commonality databases using the knowledge associated with those databases; and (4) a more complete commonality analysis module be written which is capable of generating any type of feasible solution.

Software Models Impact Stresses

NASA Technical Reports Server (NTRS)

Hanshaw, Timothy C.; Roy, Dipankar; Toyooka, Mark

1991-01-01

Generalized Impact Stress Software designed to assist engineers in predicting stresses caused by variety of impacts. Program straightforward, simple to implement on personal computers, "user friendly", and handles variety of boundary conditions applied to struck body being analyzed. Applications include mathematical modeling of motions and transient stresses of spacecraft, analysis of slamming of piston, of fast valve shutoffs, and play of rotating bearing assembly. Provides fast and inexpensive analytical tool for analysis of stresses and reduces dependency on expensive impact tests. Written in FORTRAN 77. Requires use of commercial software package PLOT88.

The mathematical statement for the solving of the problem of N-version software system design

NASA Astrophysics Data System (ADS)

Kovalev, I. V.; Kovalev, D. I.; Zelenkov, P. V.; Voroshilova, A. A.

2015-10-01

The N-version programming, as a methodology of the fault-tolerant software systems design, allows successful solving of the mentioned tasks. The use of N-version programming approach turns out to be effective, since the system is constructed out of several parallel executed versions of some software module. Those versions are written to meet the same specification but by different programmers. The problem of developing an optimal structure of N-version software system presents a kind of very complex optimization problem. This causes the use of deterministic optimization methods inappropriate for solving the stated problem. In this view, exploiting heuristic strategies looks more rational. In the field of pseudo-Boolean optimization theory, the so called method of varied probabilities (MVP) has been developed to solve problems with a large dimensionality.

A Mathematics Software Database Update.

ERIC Educational Resources Information Center

Cunningham, R. S.; Smith, David A.

1987-01-01

Contains an update of an earlier listing of software for mathematics instruction at the college level. Topics are: advanced mathematics, algebra, calculus, differential equations, discrete mathematics, equation solving, general mathematics, geometry, linear and matrix algebra, logic, statistics and probability, and trigonometry. (PK)

Student perceptions of writing projects in a university differential-equations course

NASA Astrophysics Data System (ADS)

Latulippe, Christine; Latulippe, Joe

2014-01-01

This qualitative study surveyed 102 differential-equations students in order to investigate how students participating in writing projects in university-level mathematics courses perceive the benefits of writing in the mathematics classroom. Based on previous literature on writing in mathematics, students were asked specifically about the benefits of writing projects as a means to explore practical uses of mathematics, deepen content knowledge, and strengthen communication. Student responses indicated an awareness of these benefits, supporting justifications commonly cited by instructors assigning writing projects. Open-ended survey responses highlighted additional themes which students associated with writing in mathematics, including using software programs and technology, working in groups, and stimulating interest in mathematics. This study provides student feedback to support the use of writing projects in mathematics, as well as student input, which can be utilized to strengthen the impact of writing projects in mathematics.

Mathematical model of salt cavern leaching for gas storage in high-insoluble salt formations.

PubMed

Li, Jinlong; Shi, Xilin; Yang, Chunhe; Li, Yinping; Wang, Tongtao; Ma, Hongling

2018-01-10

A mathematical model is established to predict the salt cavern development during leaching in high-insoluble salt formations. The salt-brine mass transfer rate is introduced, and the effects of the insoluble sediments on the development of the cavern are included. Considering the salt mass conservation in the cavern, the couple equations of the cavern shape, brine concentration and brine velocity are derived. According to the falling and accumulating rules of the insoluble particles, the governing equations of the insoluble sediments are deduced. A computer program using VC++ language is developed to obtain the numerical solution of these equations. To verify the proposed model, the leaching processes of two salt caverns of Jintan underground gas storage are simulated by the program, using the actual geological and technological parameters. The same simulation is performed by the current mainstream leaching software in China. The simulation results of the two programs are compared with the available field data. It shows that the proposed software is more accurate on the shape prediction of the cavern bottom and roof, which demonstrates the reliability and applicability of the model.

Reviewing and Viewing.

ERIC Educational Resources Information Center

Clements, Douglas H., Ed.; And Others

1988-01-01

Presents reviews of three software packages. Includes "Cube Builder: A 3-D Geometry Tool," which allows students to build three-dimensional shapes; "Number Master," a multipurpose practice program for whole number computation; and "Safari Search: Problem Solving and Inference," which focuses on decision making in mathematical analysis. (PK)

Computer-aided decision making.

Treesearch

Keith M. Reynolds; Daniel L. Schmoldt

2006-01-01

Several major classes of software technologies have been used in decisionmaking for forest management applications over the past few decades. These computer-based technologies include mathematical programming, expert systems, network models, multi-criteria decisionmaking, and integrated systems. Each technology possesses unique advantages and disadvantages, and has...

A Comparison of Authoring Software for Developing Mathematics Self-Learning Software Packages.

ERIC Educational Resources Information Center

Suen, Che-yin; Pok, Yang-ming

Four years ago, the authors started to develop a self-paced mathematics learning software called NPMaths by using an authoring package called Tencore. However, NPMaths had some weak points. A development team was hence formed to develop similar software called Mathematics On Line. This time the team used another development language called…

The Extensibility of an Interpreted Language Using Plugin Libraries

NASA Astrophysics Data System (ADS)

Herceg, Dorde; Radaković, Davorka

2011-09-01

Dynamic geometry software (DGS) are computer programs that allow one to create and manipulate geometrical drawings. They are mostly used in teaching and studying geometry. However, DGS can also be used to develop interactive drawings not directly related to geometry. Examples include teaching materials for numerical mathematics at secondary school and university levels, or interactive mathematical games for elementary school children. Such applications often surpass the intended purposes of the DGS and may require complicated programming on behalf of the user. In this paper we present a simple plug-in model which enables easy development and deployment of interactive GUI components for "Geometrijica", a DGS we are developing on Silverlight.

Logic integer programming models for signaling networks.

PubMed

Haus, Utz-Uwe; Niermann, Kathrin; Truemper, Klaus; Weismantel, Robert

2009-05-01

We propose a static and a dynamic approach to model biological signaling networks, and show how each can be used to answer relevant biological questions. For this, we use the two different mathematical tools of Propositional Logic and Integer Programming. The power of discrete mathematics for handling qualitative as well as quantitative data has so far not been exploited in molecular biology, which is mostly driven by experimental research, relying on first-order or statistical models. The arising logic statements and integer programs are analyzed and can be solved with standard software. For a restricted class of problems the logic models reduce to a polynomial-time solvable satisfiability algorithm. Additionally, a more dynamic model enables enumeration of possible time resolutions in poly-logarithmic time. Computational experiments are included.

The Expert Mathematician. Revised. What Works Clearinghouse Intervention Report

ERIC Educational Resources Information Center

What Works Clearinghouse, 2006

2006-01-01

"The Expert Mathematician" is designed to help middle school students develop the thinking processes for mathematical applications and communication. A three-year program of instruction, "The Expert Mathematician" uses a software and consumable print materials package with 196 lessons that teach the "Logo" programming…

RBSDesigner: software for designing synthetic ribosome binding sites that yields a desired level of protein expression.

PubMed

Na, Dokyun; Lee, Doheon

2010-10-15

RBSDesigner predicts the translation efficiency of existing mRNA sequences and designs synthetic ribosome binding sites (RBSs) for a given coding sequence (CDS) to yield a desired level of protein expression. The program implements the mathematical model for translation initiation described in Na et al. (Mathematical modeling of translation initiation for the estimation of its efficiency to computationally design mRNA sequences with a desired expression level in prokaryotes. BMC Syst. Biol., 4, 71). The program additionally incorporates the effect on translation efficiency of the spacer length between a Shine-Dalgarno (SD) sequence and an AUG codon, which is crucial for the incorporation of fMet-tRNA into the ribosome. RBSDesigner provides a graphical user interface (GUI) for the convenient design of synthetic RBSs. RBSDesigner is written in Python and Microsoft Visual Basic 6.0 and is publicly available as precompiled stand-alone software on the web (http://rbs.kaist.ac.kr). dhlee@kaist.ac.kr

Mathematicians' Perspectives on the Utility of Software

ERIC Educational Resources Information Center

Quinlan, James

2016-01-01

In this study, we examine mathematicians' perspectives of the utility of software in mathematics and the teaching of mathematics. In particular, we report findings from a survey questioning 422 mathematicians with respect to their beliefs regarding the usefulness of software in mathematics research, teaching, and learning; recommended software…

Automated Reuse of Scientific Subroutine Libraries through Deductive Synthesis

NASA Technical Reports Server (NTRS)

Lowry, Michael R.; Pressburger, Thomas; VanBaalen, Jeffrey; Roach, Steven

1997-01-01

Systematic software construction offers the potential of elevating software engineering from an art-form to an engineering discipline. The desired result is more predictable software development leading to better quality and more maintainable software. However, the overhead costs associated with the formalisms, mathematics, and methods of systematic software construction have largely precluded their adoption in real-world software development. In fact, many mainstream software development organizations, such as Microsoft, still maintain a predominantly oral culture for software development projects; which is far removed from a formalism-based culture for software development. An exception is the limited domain of safety-critical software, where the high-assuiance inherent in systematic software construction justifies the additional cost. We believe that systematic software construction will only be adopted by mainstream software development organization when the overhead costs have been greatly reduced. Two approaches to cost mitigation are reuse (amortizing costs over many applications) and automation. For the last four years, NASA Ames has funded the Amphion project, whose objective is to automate software reuse through techniques from systematic software construction. In particular, deductive program synthesis (i.e., program extraction from proofs) is used to derive a composition of software components (e.g., subroutines) that correctly implements a specification. The construction of reuse libraries of software components is the standard software engineering solution for improving software development productivity and quality.

Designing a Software Tool for Fuzzy Logic Programming

NASA Astrophysics Data System (ADS)

Abietar, José M.; Morcillo, Pedro J.; Moreno, Ginés

2007-12-01

Fuzzy Logic Programming is an interesting and still growing research area that agglutinates the efforts for introducing fuzzy logic into logic programming (LP), in order to incorporate more expressive resources on such languages for dealing with uncertainty and approximated reasoning. The multi-adjoint logic programming approach is a recent and extremely flexible fuzzy logic paradigm for which, unfortunately, we have not found practical tools implemented so far. In this work, we describe a prototype system which is able to directly translate fuzzy logic programs into Prolog code in order to safely execute these residual programs inside any standard Prolog interpreter in a completely transparent way for the final user. We think that the development of such fuzzy languages and programing tools might play an important role in the design of advanced software applications for computational physics, chemistry, mathematics, medicine, industrial control and so on.

SSME Bearing and Seal Tester Data Compilation, Analysis and Reporting; and Refinement of the Cryogenic Bearing Analysis Mathematical Model

NASA Technical Reports Server (NTRS)

Moore, James; Marty, Dave; Cody, Joe

2000-01-01

SRS and NASA/MSFC have developed software with unique capabilities to couple bearing kinematic modeling with high fidelity thermal modeling. The core thermomechanical modeling software was developed by SRS and others in the late 1980's and early 1990's under various different contractual efforts. SRS originally developed software that enabled SHABERTH (Shaft Bearing Thermal Model) and SINDA (Systems Improved Numerical Differencing Analyzer) to exchange data and autonomously allowing bearing component temperature effects to propagate into the steady state bearing mechanical model. A separate contract was issued in 1990 to create a personal computer version of the software. At that time SRS performed major improvements to the code. Both SHABERTH and SINDA were independently ported to the PC and compiled. SRS them integrated the two programs into a single program that was named SINSHA. This was a major code improvement.

SSME Bearing and Seal Tester Data Compilation, Analysis, and Reporting; and Refinement of the Cryogenic Bearing Analysis Mathematical Model

NASA Technical Reports Server (NTRS)

Moore, James; Marty, Dave; Cody, Joe

2000-01-01

SRS and NASA/MSFC have developed software with unique capabilities to couple bearing kinematic modeling with high fidelity thermal modeling. The core thermomechanical modeling software was developed by SRS and others in the late 1980's and early 1990's under various different contractual efforts. SRS originally developed software that enabled SHABERTH (Shaft Bearing Thermal Model) and SINDA (Systems Improved Numerical Differencing Analyzer) to exchange data and autonomously allowing bearing component temperature effects to propagate into the steady state bearing mechanical model. A separate contract was issued in 1990 to create a personal computer version of the software. At that time SRS performed major improvements to the code. Both SHABERTH and SINDA were independently ported to the PC and compiled. SRS them integrated the two programs into a single program that was named SINSHA. This was a major code improvement.

Patterns of Interaction and Mathematical Thinking of High School Students in Classroom Environments That Include Use of Java-Based, Curriculum-Embedded Software

ERIC Educational Resources Information Center

Fonkert, Karen L.

2012-01-01

This study analyzes the nature of student interaction and discourse in an environment that includes the use of Java-based, curriculum-embedded mathematical software. The software "CPMP-Tools" was designed as part of the development of the second edition of the "Core-Plus Mathematics" curriculum. The use of the software on…

Research in applied mathematics, numerical analysis, and computer science

NASA Technical Reports Server (NTRS)

1984-01-01

Research conducted at the Institute for Computer Applications in Science and Engineering (ICASE) in applied mathematics, numerical analysis, and computer science is summarized and abstracts of published reports are presented. The major categories of the ICASE research program are: (1) numerical methods, with particular emphasis on the development and analysis of basic numerical algorithms; (2) control and parameter identification; (3) computational problems in engineering and the physical sciences, particularly fluid dynamics, acoustics, and structural analysis; and (4) computer systems and software, especially vector and parallel computers.

A Computer-Assisted Instructional Software Program in Mathematical Problem-Solving Skills for Medication Administration for Beginning Baccalaureate Nursing Students at San Jose State University.

ERIC Educational Resources Information Center

Wahl, Sharon C.

Nursing educators and administrators are concerned about medication errors made by students which jeopardize patient safety. The inability to conceptualize and calculate medication dosages, often related to math anxiety, is implicated in such errors. A computer-assisted instruction (CAI) program is seen as a viable method of allowing students to…

The Chorus Conflict and Loss of Separation Resolution Algorithms

NASA Technical Reports Server (NTRS)

Butler, Ricky W.; Hagen, George E.; Maddalon, Jeffrey M.

2013-01-01

The Chorus software is designed to investigate near-term, tactical conflict and loss of separation detection and resolution concepts for air traffic management. This software is currently being used in two different problem domains: en-route self- separation and sense and avoid for unmanned aircraft systems. This paper describes the core resolution algorithms that are part of Chorus. The combination of several features of the Chorus program distinguish this software from other approaches to conflict and loss of separation resolution. First, the program stores a history of state information over time which enables it to handle communication dropouts and take advantage of previous input data. Second, the underlying conflict algorithms find resolutions that solve the most urgent conflict, but also seek to prevent secondary conflicts with the other aircraft. Third, if the program is run on multiple aircraft, and the two aircraft maneuver at the same time, the result will be implicitly co-ordinated. This implicit coordination property is established by ensuring that a resolution produced by Chorus will comply with a mathematically-defined criteria whose correctness has been formally verified. Fourth, the program produces both instantaneous solutions and kinematic solutions, which are based on simple accel- eration models. Finally, the program provides resolutions for recovery from loss of separation. Different versions of this software are implemented as Java and C++ software programs, respectively.

Development of a methodology for classifying software errors

NASA Technical Reports Server (NTRS)

Gerhart, S. L.

1976-01-01

A mathematical formalization of the intuition behind classification of software errors is devised and then extended to a classification discipline: Every classification scheme should have an easily discernible mathematical structure and certain properties of the scheme should be decidable (although whether or not these properties hold is relative to the intended use of the scheme). Classification of errors then becomes an iterative process of generalization from actual errors to terms defining the errors together with adjustment of definitions according to the classification discipline. Alternatively, whenever possible, small scale models may be built to give more substance to the definitions. The classification discipline and the difficulties of definition are illustrated by examples of classification schemes from the literature and a new study of observed errors in published papers of programming methodologies.

Computer Mathematical Tools: Practical Experience of Learning to Use Them

ERIC Educational Resources Information Center

Semenikhina, Elena; Drushlyak, Marina

2014-01-01

The article contains general information about the use of specialized mathematics software in the preparation of math teachers. The authors indicate the reasons to study the mathematics software. In particular, they analyze the possibility of presenting basic mathematical courses using mathematical computer tools from both a teacher and a student,…

Learning Fraction Comparison by Using a Dynamic Mathematics Software--GeoGebra

ERIC Educational Resources Information Center

Poon, Kin Keung

2018-01-01

GeoGebra is a mathematics software system that can serve as a tool for inquiry-based learning. This paper deals with the application of a fraction comparison software, which is constructed by GeoGebra, for use in a dynamic mathematics environment. The corresponding teaching and learning issues have also been discussed.

Learning fraction comparison by using a dynamic mathematics software - GeoGebra

NASA Astrophysics Data System (ADS)

Poon, Kin Keung

2018-04-01

GeoGebra is a mathematics software system that can serve as a tool for inquiry-based learning. This paper deals with the application of a fraction comparison software, which is constructed by GeoGebra, for use in a dynamic mathematics environment. The corresponding teaching and learning issues have also been discussed.

A communication channel model of the software process

NASA Technical Reports Server (NTRS)

Tausworthe, R. C.

1988-01-01

Reported here is beginning research into a noisy communication channel analogy of software development process productivity, in order to establish quantifiable behavior and theoretical bounds. The analogy leads to a fundamental mathematical relationship between human productivity and the amount of information supplied by the developers, the capacity of the human channel for processing and transmitting information, the software product yield (object size), the work effort, requirements efficiency, tool and process efficiency, and programming environment advantage. Also derived is an upper bound to productivity that shows that software reuse is the only means than can lead to unbounded productivity growth; practical considerations of size and cost of reusable components may reduce this to a finite bound.

A communication channel model of the software process

NASA Technical Reports Server (NTRS)

Tausworthe, Robert C.

1988-01-01

Beginning research into a noisy communication channel analogy of software development process productivity, in order to establish quantifiable behavior and theoretical bounds is discussed. The analogy leads to a fundamental mathematical relationship between human productivity and the amount of information supplied by the developers, the capacity of the human channel for processing and transmitting information, the software product yield (object size) the work effort, requirements efficiency, tool and process efficiency, and programming environment advantage. An upper bound to productivity is derived that shows that software reuse is the only means that can lead to unbounded productivity growth; practical considerations of size and cost of reusable components may reduce this to a finite bound.

Westward Expansion: The Oregon Trail.

ERIC Educational Resources Information Center

Salisbury, James F.

This 8-week interdisciplinary unit for fourth- and fifth-grade students helps children address the U.S. westward expansion in the 1840's using the interactive software program, The Oregon Trail. The unit provides connections to literature, geography, computer/mathematics skills, language arts, and research skills. The work is done in cooperative…

CEASAW: A User-Friendly Computer Environment Analysis for the Sawmill Owner

Treesearch

Guillermo Mendoza; William Sprouse; Philip A. Araman; William G. Luppold

1991-01-01

Improved spreadsheet software capabilities have brought optimization to users with little or no background in mathematical programming. Better interface capabilities of spreadsheet models now make it possible to combine optimization models with a spreadsheet system. Sawmill production and inventory systems possess many features that make them suitable application...

Recursion, Computers and Art

ERIC Educational Resources Information Center

Kemp, Andy

2007-01-01

"Geomlab" is a functional programming language used to describe pictures that are made up of tiles. The beauty of "Geomlab" is that it introduces students to recursion, a very powerful mathematical concept, through a very simple and enticing graphical environment. Alongside the software is a series of eight worksheets which lead into producing…

Geometric models, antenna gains, and protection ratios as developed for BC SAT-R2 conference software

NASA Technical Reports Server (NTRS)

Miller, E. F.

1982-01-01

Mathematical models used in the software package developed for use at the 1983 Regional Administrative Radio Conference on broadcasting satellites. The models described are those used in the Spectrum Orbit Utilization Program (SOUP) analysis. The geometric relationships necessary to model broadcasting satellite systems are discussed. Antenna models represent copolarized and cross polarized performance as functions of the off axis angle. The protection ratio is modelled as a co-channel value and a template representing systems with frequency offsets.

An overview of the mathematical and statistical analysis component of RICIS

NASA Technical Reports Server (NTRS)

Hallum, Cecil R.

1987-01-01

Mathematical and statistical analysis components of RICIS (Research Institute for Computing and Information Systems) can be used in the following problem areas: (1) quantification and measurement of software reliability; (2) assessment of changes in software reliability over time (reliability growth); (3) analysis of software-failure data; and (4) decision logic for whether to continue or stop testing software. Other areas of interest to NASA/JSC where mathematical and statistical analysis can be successfully employed include: math modeling of physical systems, simulation, statistical data reduction, evaluation methods, optimization, algorithm development, and mathematical methods in signal processing.

Statistical correlation of structural mode shapes from test measurements and NASTRAN analytical values

NASA Technical Reports Server (NTRS)

Purves, L.; Strang, R. F.; Dube, M. P.; Alea, P.; Ferragut, N.; Hershfeld, D.

1983-01-01

The software and procedures of a system of programs used to generate a report of the statistical correlation between NASTRAN modal analysis results and physical tests results from modal surveys are described. Topics discussed include: a mathematical description of statistical correlation, a user's guide for generating a statistical correlation report, a programmer's guide describing the organization and functions of individual programs leading to a statistical correlation report, and a set of examples including complete listings of programs, and input and output data.

The Design of Lessons Using Mathematics Analysis Software to Support Multiple Representations in Secondary School Mathematics

ERIC Educational Resources Information Center

Pierce, Robyn; Stacey, Kaye; Wander, Roger; Ball, Lynda

2011-01-01

Current technologies incorporating sophisticated mathematical analysis software (calculation, graphing, dynamic geometry, tables, and more) provide easy access to multiple representations of mathematical problems. Realising the affordances of such technology for students' learning requires carefully designed lessons. This paper reports on design…

The Caltech Concurrent Computation Program - Project description

NASA Technical Reports Server (NTRS)

Fox, G.; Otto, S.; Lyzenga, G.; Rogstad, D.

1985-01-01

The Caltech Concurrent Computation Program wwhich studies basic issues in computational science is described. The research builds on initial work where novel concurrent hardware, the necessary systems software to use it and twenty significant scientific implementations running on the initial 32, 64, and 128 node hypercube machines have been constructed. A major goal of the program will be to extend this work into new disciplines and more complex algorithms including general packages that decompose arbitrary problems in major application areas. New high-performance concurrent processors with up to 1024-nodes, over a gigabyte of memory and multigigaflop performance are being constructed. The implementations cover a wide range of problems in areas such as high energy and astrophysics, condensed matter, chemical reactions, plasma physics, applied mathematics, geophysics, simulation, CAD for VLSI, graphics and image processing. The products of the research program include the concurrent algorithms, hardware, systems software, and complete program implementations.

Application of program generation technology in solving heat and flow problems

NASA Astrophysics Data System (ADS)

Wan, Shui; Wu, Bangxian; Chen, Ningning

2007-05-01

Based on a new DIY concept for software development, an automatic program-generating technology attached on a software system called as Finite Element Program Generator (FEPG) provides a platform of developing programs, through which a scientific researcher can submit his special physico-mathematical problem to the system in a more direct and convenient way for solution. For solving flow and heat problems by using finite element method, the stabilization technologies and fraction-step methods are adopted to overcome the numerical difficulties caused mainly due to the dominated convection. A couple of benchmark problems are given in this paper as examples to illustrate the usage and the superiority of the automatic program generation technique, including the flow in a lid-driven cavity, the starting flow in a circular pipe, the natural convection in a square cavity, and the flow past a circular cylinder, etc. They are also shown as the verification of the algorithms.

An implementation framework for wastewater treatment models requiring a minimum programming expertise.

PubMed

Rodríguez, J; Premier, G C; Dinsdale, R; Guwy, A J

2009-01-01

Mathematical modelling in environmental biotechnology has been a traditionally difficult resource to access for researchers and students without programming expertise. The great degree of flexibility required from model implementation platforms to be suitable for research applications restricts their use to programming expert users. More user friendly software packages however do not normally incorporate the necessary flexibility for most research applications. This work presents a methodology based on Excel and Matlab-Simulink for both flexible and accessible implementation of mathematical models by researchers with and without programming expertise. The models are almost fully defined in an Excel file in which the names and values of the state variables and parameters are easily created. This information is automatically processed in Matlab to create the model structure and almost immediate model simulation, after only a minimum Matlab code definition, is possible. The framework proposed also provides programming expert researchers with a highly flexible and modifiable platform on which to base more complex model implementations. The method takes advantage of structural generalities in most mathematical models of environmental bioprocesses while enabling the integration of advanced elements (e.g. heuristic functions, correlations). The methodology has already been successfully used in a number of research studies.

The look of LaTeX

NASA Astrophysics Data System (ADS)

This has always been the major objection to its use by those not driven by the need to typeset mathematics since the “what-you-see-is-what-you-get” (WYSIWYG) packages offered by Microsoft Word and WordPerfect are easy to learn and use. Recently, however, com-mercial software companies have begun to market almost-WYSIWYG programs that create LaTeX files. Some commercial software that creates LaTeX files are listed in Table 1. EXP and SWP have some of the “look and feel” of the software that is popular in offices and PCTeX32 allows quick and convenient previews of the translated LaTeX files.

Scilab software as an alternative low-cost computing in solving the linear equations problem

NASA Astrophysics Data System (ADS)

Agus, Fahrul; Haviluddin

2017-02-01

Numerical computation packages are widely used both in teaching and research. These packages consist of license (proprietary) and open source software (non-proprietary). One of the reasons to use the package is a complexity of mathematics function (i.e., linear problems). Also, number of variables in a linear or non-linear function has been increased. The aim of this paper was to reflect on key aspects related to the method, didactics and creative praxis in the teaching of linear equations in higher education. If implemented, it could be contribute to a better learning in mathematics area (i.e., solving simultaneous linear equations) that essential for future engineers. The focus of this study was to introduce an additional numerical computation package of Scilab as an alternative low-cost computing programming. In this paper, Scilab software was proposed some activities that related to the mathematical models. In this experiment, four numerical methods such as Gaussian Elimination, Gauss-Jordan, Inverse Matrix, and Lower-Upper Decomposition (LU) have been implemented. The results of this study showed that a routine or procedure in numerical methods have been created and explored by using Scilab procedures. Then, the routine of numerical method that could be as a teaching material course has exploited.

Proceedings, Conference on the Computing Environment for Mathematical Software

NASA Technical Reports Server (NTRS)

1981-01-01

Recent advances in software and hardware technology which make it economical to create computing environments appropriate for specialized applications are addressed. Topics included software tools, FORTRAN standards activity, and features of languages, operating systems, and hardware that are important for the development, testing, and maintenance of mathematical software.

Integrating Dynamic Mathematics Software into Cooperative Learning Environments in Mathematics

ERIC Educational Resources Information Center

Zengin, Yilmaz; Tatar, Enver

2017-01-01

The aim of this study was to evaluate the implementation of the cooperative learning model supported with dynamic mathematics software (DMS), that is a reflection of constructivist learning theory in the classroom environment, in the teaching of mathematics. For this purpose, a workshop was conducted with the volunteer teachers on the…

Incorporating GeoGebra into Geometry Learning--A Lesson from India

ERIC Educational Resources Information Center

Bhagat, Kaushal Kumar; Chang, Chun-Yen

2015-01-01

Students often find geometrical concepts abstract and difficult to understand. This results in poor performance, which contributes in the declining interest in geometry. The aim of this study was to examine the impact of using the free educational software program, "GeoGebra" on 9th grade student's mathematics achievement in learning…

Manipulatives and the Computer: A Powerful Partnership for Learners of All Ages.

ERIC Educational Resources Information Center

Perl, Teri

1990-01-01

Discussed is the concept of mirroring in which computer programs are used to enhance the use of mathematics manipulatives. The strengths and weaknesses of this approach are presented. The uses of the computer in modeling and as a manipulative are also described. Several software packages are suggested. (CW)

Designing Birefringent Filters For Solid-State Lasers

NASA Technical Reports Server (NTRS)

Monosmith, Bryan

1992-01-01

Mathematical model enables design of filter assembly of birefringent plates as integral part of resonator cavity of tunable solid-state laser. Proper design treats polarization eigenstate of entire resonator as function of wavelength. Program includes software modules for variety of optical elements including Pockels cell, laser rod, quarter- and half-wave plates, Faraday rotator, and polarizers.

Automating FEA programming

NASA Technical Reports Server (NTRS)

Sharma, Naveen

1992-01-01

In this paper we briefly describe a combined symbolic and numeric approach for solving mathematical models on parallel computers. An experimental software system, PIER, is being developed in Common Lisp to synthesize computationally intensive and domain formulation dependent phases of finite element analysis (FEA) solution methods. Quantities for domain formulation like shape functions, element stiffness matrices, etc., are automatically derived using symbolic mathematical computations. The problem specific information and derived formulae are then used to generate (parallel) numerical code for FEA solution steps. A constructive approach to specify a numerical program design is taken. The code generator compiles application oriented input specifications into (parallel) FORTRAN77 routines with the help of built-in knowledge of the particular problem, numerical solution methods and the target computer.

Using Dynamic Software in Mathematics: The Case of Reflection Symmetry

ERIC Educational Resources Information Center

Tatar, Enver; Akkaya, Adnan; Kagizmanli, Türkan Berrin

2014-01-01

This study was carried out to examine the effects of computer-assisted instruction (CAI) using dynamic software on the achievement of students in mathematics in the topic of reflection symmetry. The study also aimed to ascertain the pre-service mathematics teachers' opinions on the use of CAI in mathematics lessons. In the study, a mixed research…

Salient Beliefs of Secondary School Mathematics Teachers Using Dynamic Geometry Software

ERIC Educational Resources Information Center

Chan, Kan Kan

2015-01-01

Even though dynamic geometry software (DGS) is becoming an emergent instructional tool for mathematics teachers, many teachers are still in the process of consideration about whether to use it. In order to encourage teachers to use DGS, this study seeks to discover mathematics teachers' salient beliefs about the use of DGS in mathematics class.…

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.

Developing Teaching Material Software Assisted for Numerical Methods

NASA Astrophysics Data System (ADS)

Handayani, A. D.; Herman, T.; Fatimah, S.

2017-09-01

The NCTM vision shows the importance of two things in school mathematics, which is knowing the mathematics of the 21st century and the need to continue to improve mathematics education to answer the challenges of a changing world. One of the competencies associated with the great challenges of the 21st century is the use of help and tools (including IT), such as: knowing the existence of various tools for mathematical activity. One of the significant challenges in mathematical learning is how to teach students about abstract concepts. In this case, technology in the form of mathematics learning software can be used more widely to embed the abstract concept in mathematics. In mathematics learning, the use of mathematical software can make high level math activity become easier accepted by student. Technology can strengthen student learning by delivering numerical, graphic, and symbolic content without spending the time to calculate complex computing problems manually. The purpose of this research is to design and develop teaching materials software assisted for numerical method. The process of developing the teaching material starts from the defining step, the process of designing the learning material developed based on information obtained from the step of early analysis, learners, materials, tasks that support then done the design step or design, then the last step is the development step. The development of teaching materials software assisted for numerical methods is valid in content. While validator assessment for teaching material in numerical methods is good and can be used with little revision.

The Role of a Dynamic Software Program for Geometry in the Strategies High School Mathematics Students Employ

ERIC Educational Resources Information Center

Hollebrands, Karen F.

2007-01-01

This study investigated the ways in which the technological tool, The Geometer's Sketchpad, mediated the understandings that high school Honors Geometry students developed about geometric transformations by focusing on their uses of technological affordances and the ways in which they interpreted technological results in terms of figure and…

Image analysis library software development

NASA Technical Reports Server (NTRS)

Guseman, L. F., Jr.; Bryant, J.

1977-01-01

The Image Analysis Library consists of a collection of general purpose mathematical/statistical routines and special purpose data analysis/pattern recognition routines basic to the development of image analysis techniques for support of current and future Earth Resources Programs. Work was done to provide a collection of computer routines and associated documentation which form a part of the Image Analysis Library.

An evaluation of the Intel 2920 digital signal processing integrated circuit

NASA Technical Reports Server (NTRS)

Heller, J.

1981-01-01

The circuit consists of a digital to analog converter, accumulator, read write memory and UV erasable read only memory. The circuit can convert an analog signal to a digital representation, perform mathematical operations on the digital signal and subsequently convert the digital signal to an analog output. Development software tailored for programming the 2920 is presented.

BehavePlus fire modeling system, version 5.0: Variables

Treesearch

Patricia L. Andrews

2009-01-01

This publication has been revised to reflect updates to version 4.0 of the BehavePlus software. It was originally published as the BehavePlus fire modeling system, version 4.0: Variables in July, 2008.The BehavePlus fire modeling system is a computer program based on mathematical models that describe wildland fire behavior and effects and the...

The Relationship between Gender and Students' Attitude and Experience of Using a Computer Algebra System

ERIC Educational Resources Information Center

Ocak, Mehmet

2008-01-01

This correlational study examined the relationship between gender and the students' attitude and prior knowledge of using one of the mathematical software programs (MATLAB). Participants were selected from one community college, one state university and one private college. Students were volunteers from three Calculus I classrooms (one class from…

Selected Tether Applications Cost Model

NASA Technical Reports Server (NTRS)

Keeley, Michael G.

1988-01-01

Diverse cost-estimating techniques and data combined into single program. Selected Tether Applications Cost Model (STACOM 1.0) is interactive accounting software tool providing means for combining several independent cost-estimating programs into fully-integrated mathematical model capable of assessing costs, analyzing benefits, providing file-handling utilities, and putting out information in text and graphical forms to screen, printer, or plotter. Program based on Lotus 1-2-3, version 2.0. Developed to provide clear, concise traceability and visibility into methodology and rationale for estimating costs and benefits of operations of Space Station tether deployer system.

Critical Thinking Skills of Students through Mathematics Learning with ASSURE Model Assisted by Software Autograph

NASA Astrophysics Data System (ADS)

Kristianti, Y.; Prabawanto, S.; Suhendra, S.

2017-09-01

This study aims to examine the ability of critical thinking and students who attain learning mathematics with learning model ASSURE assisted Autograph software. The design of this study was experimental group with pre-test and post-test control group. The experimental group obtained a mathematics learning with ASSURE-assisted model Autograph software and the control group acquired the mathematics learning with the conventional model. The data are obtained from the research results through critical thinking skills tests. This research was conducted at junior high school level with research population in one of junior high school student in Subang Regency of Lesson Year 2016/2017 and research sample of class VIII student in one of junior high school in Subang Regency for 2 classes. Analysis of research data is administered quantitatively. Quantitative data analysis was performed on the normalized gain level between the two sample groups using a one-way anova test. The results show that mathematics learning with ASSURE assisted model Autograph software can improve the critical thinking ability of junior high school students. Mathematical learning using ASSURE-assisted model Autograph software is significantly better in improving the critical thinking skills of junior high school students compared with conventional models.

Descriptions of Free and Freeware Software in the Mathematics Teaching

NASA Astrophysics Data System (ADS)

Antunes de Macedo, Josue; Neves de Almeida, Samara; Voelzke, Marcos Rincon

2016-05-01

This paper presents the analysis and the cataloging of free and freeware mathematical software available on the internet, a brief explanation of them, and types of licenses for use in teaching and learning. The methodology is based on the qualitative research. Among the different types of software found, it stands out in algebra, the Winmat, that works with linear algebra, matrices and linear systems. In geometry, the GeoGebra, which can be used in the study of functions, plan and spatial geometry, algebra and calculus. For graphing, can quote the Graph and Graphequation. With Graphmatica software, it is possible to build various graphs of mathematical equations on the same screen, representing cartesian equations, inequalities, parametric among other functions. The Winplot allows the user to build graphics in two and three dimensions functions and mathematical equations. Thus, this work aims to present the teachers some free math software able to be used in the classroom.

Dynamic Geometry Software Improves Mathematical Achievement: Systematic Review and Meta-Analysis

ERIC Educational Resources Information Center

Chan, Kan Kan; Leung, Siu Wai

2014-01-01

Dynamic geometry software (DGS) aims to enhance mathematics education. This systematic review and meta-analysis evaluated the quasi-experimental studies on the effectiveness of DGS-based instruction in improving students' mathematical achievement. Research articles published between 1990 and 2013 were identified from major databases according to a…

Using Interactive Software to Teach Foundational Mathematical Skills

ERIC Educational Resources Information Center

Lysenko, Larysa; Rosenfield, Steven; Dedic, Helena; Savard, Annie; Idan, Einat; Abrami, Philip C.; Wade, C. Anne; Naffi, Nadia

2016-01-01

The pilot research presented here explores the classroom use of Emerging Literacy in Mathematics (ELM) software, a research-based bilingual interactive multimedia instructional tool, and its potential to develop emerging numeracy skills. At the time of the study, a central theme of early mathematics curricula, "Number Concept," was fully…

MCTP Summer Research Internship Program. Research Presentation Day: Experience Mathematics and Science in the Real World

NASA Technical Reports Server (NTRS)

1996-01-01

This paper presents the summaries of the MCTP Summer Research Internship Program. Technological areas discussed include: Mathematical curriculum development for real world problems; Rain effects on air-water gas exchange; multi-ring impact basins on mars; developing an interactive multimedia educational cd-rom on remote sensing; a pilot of an activity for for the globe program; fossils in maryland; developing children's programming for the american horticultural society at river farm; children's learning, educational programs of the national park service; a study of climate and student satisfaction in two summer programs for disadvantaged students interested in careers in mathematics and science; the maryland governor's academy, integrating technology into the classroom; stream sampling with the maryland biological stream survey (MBSS); the imaging system inspection software technology, the preparation and detection of nominal and faulted steel ingots; event-based science, the development of real-world science units; correlation between anxiety and past experiences; environmental education through summer nature camp; enhancing learning opportunities at the Salisbury zoo; plant growth experiment, a module for the middle school classroom; the effects of proxisome proliferators in Japanese medaka embryos; development of a chapter on birth control and contraceptive methodologies as part of an interactive computer-based education module on hiv and aids; excretion of gentamicin in toadfish and goldfish; the renaissance summer program; and Are field trips important to the regional math science center?

Initial Ada components evaluation

NASA Technical Reports Server (NTRS)

Moebes, Travis

1989-01-01

The SAIC has the responsibility for independent test and validation of the SSE. They have been using a mathematical functions library package implemented in Ada to test the SSE IV and V process. The library package consists of elementary mathematical functions and is both machine and accuracy independent. The SSE Ada components evaluation includes code complexity metrics based on Halstead's software science metrics and McCabe's measure of cyclomatic complexity. Halstead's metrics are based on the number of operators and operands on a logical unit of code and are compiled from the number of distinct operators, distinct operands, and total number of occurrences of operators and operands. These metrics give an indication of the physical size of a program in terms of operators and operands and are used diagnostically to point to potential problems. McCabe's Cyclomatic Complexity Metrics (CCM) are compiled from flow charts transformed to equivalent directed graphs. The CCM is a measure of the total number of linearly independent paths through the code's control structure. These metrics were computed for the Ada mathematical functions library using Software Automated Verification and Validation (SAVVAS), the SSE IV and V tool. A table with selected results was shown, indicating that most of these routines are of good quality. Thresholds for the Halstead measures indicate poor quality if the length metric exceeds 260 or difficulty is greater than 190. The McCabe CCM indicated a high quality of software products.

Introduction to Computational Physics for Undergraduates

NASA Astrophysics Data System (ADS)

Zubairi, Omair; Weber, Fridolin

2018-03-01

This is an introductory textbook on computational methods and techniques intended for undergraduates at the sophomore or junior level in the fields of science, mathematics, and engineering. It provides an introduction to programming languages such as FORTRAN 90/95/2000 and covers numerical techniques such as differentiation, integration, root finding, and data fitting. The textbook also entails the use of the Linux/Unix operating system and other relevant software such as plotting programs, text editors, and mark up languages such as LaTeX. It includes multiple homework assignments.

Python as a federation tool for GENESIS 3.0.

PubMed

Cornelis, Hugo; Rodriguez, Armando L; Coop, Allan D; Bower, James M

2012-01-01

The GENESIS simulation platform was one of the first broad-scale modeling systems in computational biology to encourage modelers to develop and share model features and components. Supported by a large developer community, it participated in innovative simulator technologies such as benchmarking, parallelization, and declarative model specification and was the first neural simulator to define bindings for the Python scripting language. An important feature of the latest version of GENESIS is that it decomposes into self-contained software components complying with the Computational Biology Initiative federated software architecture. This architecture allows separate scripting bindings to be defined for different necessary components of the simulator, e.g., the mathematical solvers and graphical user interface. Python is a scripting language that provides rich sets of freely available open source libraries. With clean dynamic object-oriented designs, they produce highly readable code and are widely employed in specialized areas of software component integration. We employ a simplified wrapper and interface generator to examine an application programming interface and make it available to a given scripting language. This allows independent software components to be 'glued' together and connected to external libraries and applications from user-defined Python or Perl scripts. We illustrate our approach with three examples of Python scripting. (1) Generate and run a simple single-compartment model neuron connected to a stand-alone mathematical solver. (2) Interface a mathematical solver with GENESIS 3.0 to explore a neuron morphology from either an interactive command-line or graphical user interface. (3) Apply scripting bindings to connect the GENESIS 3.0 simulator to external graphical libraries and an open source three dimensional content creation suite that supports visualization of models based on electron microscopy and their conversion to computational models. Employed in this way, the stand-alone software components of the GENESIS 3.0 simulator provide a framework for progressive federated software development in computational neuroscience.

Python as a Federation Tool for GENESIS 3.0

PubMed Central

Cornelis, Hugo; Rodriguez, Armando L.; Coop, Allan D.; Bower, James M.

2012-01-01

The GENESIS simulation platform was one of the first broad-scale modeling systems in computational biology to encourage modelers to develop and share model features and components. Supported by a large developer community, it participated in innovative simulator technologies such as benchmarking, parallelization, and declarative model specification and was the first neural simulator to define bindings for the Python scripting language. An important feature of the latest version of GENESIS is that it decomposes into self-contained software components complying with the Computational Biology Initiative federated software architecture. This architecture allows separate scripting bindings to be defined for different necessary components of the simulator, e.g., the mathematical solvers and graphical user interface. Python is a scripting language that provides rich sets of freely available open source libraries. With clean dynamic object-oriented designs, they produce highly readable code and are widely employed in specialized areas of software component integration. We employ a simplified wrapper and interface generator to examine an application programming interface and make it available to a given scripting language. This allows independent software components to be ‘glued’ together and connected to external libraries and applications from user-defined Python or Perl scripts. We illustrate our approach with three examples of Python scripting. (1) Generate and run a simple single-compartment model neuron connected to a stand-alone mathematical solver. (2) Interface a mathematical solver with GENESIS 3.0 to explore a neuron morphology from either an interactive command-line or graphical user interface. (3) Apply scripting bindings to connect the GENESIS 3.0 simulator to external graphical libraries and an open source three dimensional content creation suite that supports visualization of models based on electron microscopy and their conversion to computational models. Employed in this way, the stand-alone software components of the GENESIS 3.0 simulator provide a framework for progressive federated software development in computational neuroscience. PMID:22276101

Asymptote Misconception on Graphing Functions: Does Graphing Software Resolve It?

ERIC Educational Resources Information Center

Öçal, Mehmet Fatih

2017-01-01

Graphing function is an important issue in mathematics education due to its use in various areas of mathematics and its potential roles for students to enhance learning mathematics. The use of some graphing software assists students' learning during graphing functions. However, the display of graphs of functions that students sketched by hand may…

Proposing a Mathematical Software Tool in Physics Secondary Education

ERIC Educational Resources Information Center

Baltzis, Konstantinos B.

2009-01-01

MathCad® is a very popular software tool for mathematical and statistical analysis in science and engineering. Its low cost, ease of use, extensive function library, and worksheet-like user interface distinguish it among other commercial packages. Its features are also well suited to educational process. The use of natural mathematical notation…

The Teaching of Polar Coordinates with Dynamic Mathematics Software

ERIC Educational Resources Information Center

Zengin, Yilmaz; Tatar, Enver

2015-01-01

The purpose of this study was to determine the effects of dynamic mathematics software on the achievement of pre-service mathematics teachers in the topic of polar coordinates and to solicit their opinions about computer-assisted instruction. The study was conducted for 11 weeks with 33 pre-service teachers in the Department of Mathematics…

The Sizing and Optimization Language (SOL): A computer language to improve the user/optimizer interface

NASA Technical Reports Server (NTRS)

Lucas, S. H.; Scotti, S. J.

1989-01-01

The nonlinear mathematical programming method (formal optimization) has had many applications in engineering design. A figure illustrates the use of optimization techniques in the design process. The design process begins with the design problem, such as the classic example of the two-bar truss designed for minimum weight as seen in the leftmost part of the figure. If formal optimization is to be applied, the design problem must be recast in the form of an optimization problem consisting of an objective function, design variables, and constraint function relations. The middle part of the figure shows the two-bar truss design posed as an optimization problem. The total truss weight is the objective function, the tube diameter and truss height are design variables, with stress and Euler buckling considered as constraint function relations. Lastly, the designer develops or obtains analysis software containing a mathematical model of the object being optimized, and then interfaces the analysis routine with existing optimization software such as CONMIN, ADS, or NPSOL. This final state of software development can be both tedious and error-prone. The Sizing and Optimization Language (SOL), a special-purpose computer language whose goal is to make the software implementation phase of optimum design easier and less error-prone, is presented.

Summary of research in applied mathematics, numerical analysis, and computer sciences

NASA Technical Reports Server (NTRS)

1986-01-01

The major categories of current ICASE research programs addressed include: numerical methods, with particular emphasis on the development and analysis of basic numerical algorithms; control and parameter identification problems, with emphasis on effective numerical methods; computational problems in engineering and physical sciences, particularly fluid dynamics, acoustics, and structural analysis; and computer systems and software, especially vector and parallel computers.

Study of Historical Geometric Problems by Means of CAS and DGS

ERIC Educational Resources Information Center

Hašek, Roman; Zahradník, Jan

2015-01-01

The use of the dynamic mathematics software GeoGebra to solve geometric problems on conics and loci from an 18th century textbook will be presented. In particular, examples will be shown of how the use of this program helped the authors to understand the method that our predecessors used to deal with conic sections together with solving loci…

SDI Software Technology Program Plan Version 1.5

DTIC Science & Technology

1987-06-01

computer generation of auditory communication of meaningful speech. Most speech synthesizers are based on mathematical models of the human vocal tract, but...oral/ auditory and multimodal communications. Although such state-of-the-art interaction technology has not fully matured, user experience has...superior I pattern matching capabilities and the subliminal intuitive deduction capability. The error performance of humans can be helped by careful

Performance of Fourth-Grade Students with Learning Disabilities on Multiplication Facts Comparing Teacher-Mediated and Technology-Mediated Interventions: A Preliminary Investigation

ERIC Educational Resources Information Center

Bryant, Brian R.; Ok, Minwook; Kang, Eun Young; Kim, Min Kyung; Lang, Russell; Bryant, Diane Pedrotty; Pfannestiel, Kathleen

2015-01-01

Instructional applications (apps) are educational software programs that can be accessed via mobile technologies (e.g., iPad, smartphone) and used to help students acquire various academic skills, including mathematics. Although research suggests that app-based instruction (AI) can be effective, there is a paucity of research comparing AI, to…

An Overview of High Performance Computing and Challenges for the Future

ScienceCinema

Google Tech Talks

2017-12-09

In this talk we examine how high performance computing has changed over the last 10-year and look toward the future in terms of trends. These changes have had and will continue to have a major impact on our software. A new generation of software libraries and lgorithms are needed for the effective and reliable use of (wide area) dynamic, distributed and parallel environments. Some of the software and algorithm challenges have already been encountered, such as management of communication and memory hierarchies through a combination of compile--time and run--time techniques, but the increased scale of computation, depth of memory hierarchies, range of latencies, and increased run--time environment variability will make these problems much harder. We will focus on the redesign of software to fit multicore architectures. Speaker: Jack Dongarra University of Tennessee Oak Ridge National Laboratory University of Manchester Jack Dongarra received a Bachelor of Science in Mathematics from Chicago State University in 1972 and a Master of Science in Computer Science from the Illinois Institute of Technology in 1973. He received his Ph.D. in Applied Mathematics from the University of New Mexico in 1980. He worked at the Argonne National Laboratory until 1989, becoming a senior scientist. He now holds an appointment as University Distinguished Professor of Computer Science in the Electrical Engineering and Computer Science Department at the University of Tennessee, has the position of a Distinguished Research Staff member in the Computer Science and Mathematics Division at Oak Ridge National Laboratory (ORNL), Turing Fellow in the Computer Science and Mathematics Schools at the University of Manchester, and an Adjunct Professor in the Computer Science Department at Rice University. He specializes in numerical algorithms in linear algebra, parallel computing, the use of advanced-computer architectures, programming methodology, and tools for parallel computers. His research includes the development, testing and documentation of high quality mathematical software. He has contributed to the design and implementation of the following open source software packages and systems: EISPACK, LINPACK, the BLAS, LAPACK, ScaLAPACK, Netlib, PVM, MPI, NetSolve, Top500, ATLAS, and PAPI. He has published approximately 200 articles, papers, reports and technical memoranda and he is coauthor of several books. He was awarded the IEEE Sid Fernbach Award in 2004 for his contributions in the application of high performance computers using innovative approaches. He is a Fellow of the AAAS, ACM, and the IEEE and a member of the National Academy of Engineering.

An Overview of High Performance Computing and Challenges for the Future

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

Google Tech Talks

In this talk we examine how high performance computing has changed over the last 10-year and look toward the future in terms of trends. These changes have had and will continue to have a major impact on our software. A new generation of software libraries and lgorithms are needed for the effective and reliable use of (wide area) dynamic, distributed and parallel environments. Some of the software and algorithm challenges have already been encountered, such as management of communication and memory hierarchies through a combination of compile--time and run--time techniques, but the increased scale of computation, depth of memory hierarchies,more » range of latencies, and increased run--time environment variability will make these problems much harder. We will focus on the redesign of software to fit multicore architectures. Speaker: Jack Dongarra University of Tennessee Oak Ridge National Laboratory University of Manchester Jack Dongarra received a Bachelor of Science in Mathematics from Chicago State University in 1972 and a Master of Science in Computer Science from the Illinois Institute of Technology in 1973. He received his Ph.D. in Applied Mathematics from the University of New Mexico in 1980. He worked at the Argonne National Laboratory until 1989, becoming a senior scientist. He now holds an appointment as University Distinguished Professor of Computer Science in the Electrical Engineering and Computer Science Department at the University of Tennessee, has the position of a Distinguished Research Staff member in the Computer Science and Mathematics Division at Oak Ridge National Laboratory (ORNL), Turing Fellow in the Computer Science and Mathematics Schools at the University of Manchester, and an Adjunct Professor in the Computer Science Department at Rice University. He specializes in numerical algorithms in linear algebra, parallel computing, the use of advanced-computer architectures, programming methodology, and tools for parallel computers. His research includes the development, testing and documentation of high quality mathematical software. He has contributed to the design and implementation of the following open source software packages and systems: EISPACK, LINPACK, the BLAS, LAPACK, ScaLAPACK, Netlib, PVM, MPI, NetSolve, Top500, ATLAS, and PAPI. He has published approximately 200 articles, papers, reports and technical memoranda and he is coauthor of several books. He was awarded the IEEE Sid Fernbach Award in 2004 for his contributions in the application of high performance computers using innovative approaches. He is a Fellow of the AAAS, ACM, and the IEEE and a member of the National Academy of Engineering.« less

Development of the functional simulator for the Galileo attitude and articulation control system

NASA Technical Reports Server (NTRS)

Namiri, M. K.

1983-01-01

A simulation program for verifying and checking the performance of the Galileo Spacecraft's Attitude and Articulation Control Subsystem's (AACS) flight software is discussed. The program, which is called Functional Simulator (FUNSIM), provides a simple method of interfacing user-supplied mathematical models coded in FORTRAN which describes spacecraft dynamics, sensors, and actuators; this is done with the AACS flight software, coded in HAL/S (High-level Advanced Language/Shuttle). It is thus able to simulate the AACS flight software accurately to the HAL/S statement level in the environment of a mainframe computer system. FUNSIM also has a command and data subsystem (CDS) simulator. It is noted that the input/output data and timing are simulated with the same precision as the flight microprocessor. FUNSIM uses a variable stepsize numerical integration algorithm complete with individual error bound control on the state variable to solve the equations of motion. The program has been designed to provide both line printer and matrix dot plotting of the variables requested in the run section and to provide error diagnostics.

Digitized Educational Technology: A Learning Tool Using Remotely Sensed Data

NASA Technical Reports Server (NTRS)

Love, Gloria Carter

1999-01-01

Digitized Educational software for different levels of instruction were developed and placed on the web (geocities). Students attending the Pre-Engineering Summer 1998 Camp at Dillard University explored the use of the software which included presentations, applications, and special exercises. Student comments were received and considered for adjustments. The second outreach program included students from Colton Junior High School and Natural Science Majors at Dillard University. The Natural Majors completed a second survey concerning reasons why students selected majors in the Sciences and Mathematics. Two student research assistants (DU) and faculty members/parents of Colton Junior High assisted.

Using mathematical software to design power electronic converters

NASA Astrophysics Data System (ADS)

Hinov, Nikolay; Hranov, Tsveti

2017-12-01

In the paper is presented mathematical software, which was used for design of power electronic devices. Examined to different example, which are applied to designing electronic converters. In this way, it is possible to play different combinations of the circuit elements by simple means, thus optimizing according to certain criteria and limitations. Free software with a simple and intuitive interface is selected. No special user training is required to work with it and no further training is required. The use of mathematical software greatly facilitates the design, assists and makes it attractive and accessible to a wider range of students and specialists in power electronics training.

Understanding Expertise-Based Training Effects on the Software Evaluation Process of Mathematics Education Teachers

ERIC Educational Resources Information Center

Incikabi, Lutfi; Sancar Tokmak, Hatice

2012-01-01

This case study examined the educational software evaluation processes of pre-service teachers who attended either expertise-based training (XBT) or traditional training in conjunction with a Software-Evaluation checklist. Forty-three mathematics teacher candidates and three experts participated in the study. All participants evaluated educational…

EMTA-NLA

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

2009-10-14

EMTA-NLA is a computer program for analyzing the nonlinear stiffness, strength, and thermo-elastic properties of discontinuous fiber composite materials. Discontinuous fiber composites are chopped-fiber reinforced polymer materials that are formed by injection molding or compression molding techniques. The fibers tend to align during forming as the composite flows and fills the mold. EMTA-NLA can read the fiber orientation data from the molding software, Autodesk Moldflow Plastics Insight, and calculate the local material properties for accurately analyzing the warpage, stiffness, and strength of the as-formed composite part using the commercial NLA software. Therefore, EMTA-NLA is a unique assembly of mathematical algorithmsmore » that provide a one-of-a-kind composites constitutive model that links these two powerful commercial software packages.« less

The Effect of Dynamic Software on Prospective Mathematics Teachers' Perceptions Regarding Information and Communication Technology

ERIC Educational Resources Information Center

Tatar, Enver

2013-01-01

The aim of this study was to determine the effect of dynamic software on prospective mathematics teachers' perception levels regarding information and communication technology (ICT). The study was conducted with senior prospective teachers studying in a department of secondary mathematics education. The data of the study used both quantitative and…

Establishing a Professional Development Network around Dynamic Mathematics Software in England

ERIC Educational Resources Information Center

Lavicza, Zsolt; Hohenwarter, Markus; Jones, Keith; Lu, Allison; Dawes, Mark

2010-01-01

In this paper, we will outline some results of an NCETM (National Centre for Excellence in the Teaching of Mathematics) funded project that aimed to establish a professional development network with an open-source mathematical software--GeoGebra--in England. During the past few years a large international user and developer community has formed…

Using Mathematical Software to Introduce Fourier Transforms in Physical Chemistry to Develop Improved Understanding of Their Applications in Analytical Chemistry

ERIC Educational Resources Information Center

Miller, Tierney C.; Richardson, John N.; Kegerreis, Jeb S.

2016-01-01

This manuscript presents an exercise that utilizes mathematical software to explore Fourier transforms in the context of model quantum mechanical systems, thus providing a deeper mathematical understanding of relevant information often introduced and treated as a "black-box" in analytical chemistry courses. The exercise is given to…

Getting from x to y without Crashing: Computer Syntax in Mathematics Education

ERIC Educational Resources Information Center

Jeffrey, David J.

2010-01-01

When we use technology to teach mathematics, we hope to focus on the mathematics, restricting the computer software systems to providing support for our pedagogy. It is a matter of common experience, however, that students can become distracted or frustrated by the quirks of the particular software system being used. Here, experience using the…

The Use of Software in Academic Stream High School Mathematics Teaching

ERIC Educational Resources Information Center

Clay, Simon; Fotou, Nikolaos; Monaghan, John

2017-01-01

This paper reports on classroom observations of senior high school mathematics lessons with a focus on the use of digital technology. The observations were of teachers enrolled in an in-service course, Teaching Advanced Mathematics. The paper reports selected results and comments on: software that was observed to have been used; the use (or not)…

Product-oriented Software Certification Process for Software Synthesis

NASA Technical Reports Server (NTRS)

Nelson, Stacy; Fischer, Bernd; Denney, Ewen; Schumann, Johann; Richardson, Julian; Oh, Phil

2004-01-01

The purpose of this document is to propose a product-oriented software certification process to facilitate use of software synthesis and formal methods. Why is such a process needed? Currently, software is tested until deemed bug-free rather than proving that certain software properties exist. This approach has worked well in most cases, but unfortunately, deaths still occur due to software failure. Using formal methods (techniques from logic and discrete mathematics like set theory, automata theory and formal logic as opposed to continuous mathematics like calculus) and software synthesis, it is possible to reduce this risk by proving certain software properties. Additionally, software synthesis makes it possible to automate some phases of the traditional software development life cycle resulting in a more streamlined and accurate development process.

Component-based integration of chemistry and optimization software.

PubMed

Kenny, Joseph P; Benson, Steven J; Alexeev, Yuri; Sarich, Jason; Janssen, Curtis L; McInnes, Lois Curfman; Krishnan, Manojkumar; Nieplocha, Jarek; Jurrus, Elizabeth; Fahlstrom, Carl; Windus, Theresa L

2004-11-15

Typical scientific software designs make rigid assumptions regarding programming language and data structures, frustrating software interoperability and scientific collaboration. Component-based software engineering is an emerging approach to managing the increasing complexity of scientific software. Component technology facilitates code interoperability and reuse. Through the adoption of methodology and tools developed by the Common Component Architecture Forum, we have developed a component architecture for molecular structure optimization. Using the NWChem and Massively Parallel Quantum Chemistry packages, we have produced chemistry components that provide capacity for energy and energy derivative evaluation. We have constructed geometry optimization applications by integrating the Toolkit for Advanced Optimization, Portable Extensible Toolkit for Scientific Computation, and Global Arrays packages, which provide optimization and linear algebra capabilities. We present a brief overview of the component development process and a description of abstract interfaces for chemical optimizations. The components conforming to these abstract interfaces allow the construction of applications using different chemistry and mathematics packages interchangeably. Initial numerical results for the component software demonstrate good performance, and highlight potential research enabled by this platform.

Teachers' Critical Evaluations of Dynamic Geometry Software Implementation in 1:1 Classrooms

ERIC Educational Resources Information Center

Ware, Jennifer; Stein, Sarah

2014-01-01

Although the use of dynamic software in high school mathematics in the United States has emerged as a research topic, little research has been conducted on how teachers integrate new software in relation to at-home technology networks. Interviews with eight mathematics teachers from four North Carolina counties participating in 1:1 laptop…

Adaptation of abbreviated mathematics anxiety rating scale for engineering students

NASA Astrophysics Data System (ADS)

Nordin, Sayed Kushairi Sayed; Samat, Khairul Fadzli; Sultan, Al Amin Mohamed; Halim, Bushra Abdul; Ismail, Siti Fatimah; Mafazi, Nurul Wirdah

2015-05-01

Mathematics is an essential and fundamental tool used by engineers to analyse and solve problems in their field. Due to this, most engineering education programs involve a concentration of study in mathematics courses whereby engineering students have to take mathematics courses such as numerical methods, differential equations and calculus in the first two years and continue to do so until the completion of the sequence. However, the students struggled and had difficulties in learning courses that require mathematical abilities. Hence, this study presents the factors that caused mathematics anxiety among engineering students using Abbreviated Mathematics Anxiety Rating Scale (AMARS) through 95 students of Universiti Teknikal Malaysia Melaka (UTeM). From 25 items in AMARS, principal component analysis (PCA) suggested that there are four mathematics anxiety factors, namely experiences of learning mathematics, cognitive skills, mathematics evaluation anxiety and students' perception on mathematics. Minitab 16 software was used to analyse the nonparametric statistics. Kruskal-Wallis Test indicated that there is a significant difference in the experience of learning mathematics and mathematics evaluation anxiety among races. The Chi-Square Test of Independence revealed that the experience of learning mathematics, cognitive skills and mathematics evaluation anxiety depend on the results of their SPM additional mathematics. Based on this study, it is recommended to address the anxiety problems among engineering students at the early stage of studying in the university. Thus, lecturers should play their part by ensuring a positive classroom environment which encourages students to study mathematics without fear.

Using Dynamic Geometry Software GeoGebra in Developing Countries: A Case Study of Impressions of Mathematics Teachers in Nepal

ERIC Educational Resources Information Center

Mainali, Bhesh Raj; Key, Mary Beth

2012-01-01

This article describes a professional development initiative for fifteen mathematics teachers in the use of dynamic geometry software GeoGebra. A four-day introductory workshop was given in Nepal to provide an overview of GeoGebra and its possible integration in the teaching/learning of secondary school mathematics there. Teachers' impressions and…

The Effect of Using Dynamic Mathematics Software: Cross Section and Visualization

ERIC Educational Resources Information Center

Kösa, Temel

2016-01-01

The main purpose of this study is to determine the effects of using dynamic mathematics software on pre-service mathematics teachers' ability to infer the shape of a cross section of a three-dimensional solid, as well as on their spatial visualization skills. The study employed a quasi-experimental design with a control group; the Purdue Spatial…

Design and Optimization of a Telemetric system for appliance in earthquake prediction

NASA Astrophysics Data System (ADS)

Bogdos, G.; Tassoulas, E.; Vereses, A.; Papapanagiotou, A.; Filippi, K.; Koulouras, G.; Nomicos, C.

2009-04-01

This project's aim is to design a telemetric system which will be able to collect data from a digitizer, transform it into appropriate form and transfer this data to a central system where an on-line data elaboration will take place. On-line mathematical elaboration (fractal analysis) of pre-seismic electromagnetic signals and instant display may lead to safe earthquake prediction methodologies. Ad-hoc connections and heterogeneous topologies are the core network, while wired and wireless means cooperate for an accurate and on-time transmission. The nature of data is considered very sensitive so the transmission needs to be instant. All stations are situated in rural places in order to prevent electromagnetic interferences; this imposes continuous monitoring and provision of backup data links. The central stations collect the data of every station and allocate them properly in a predefined database. Special software is designed to elaborate mathematically the incoming data and export it graphically. The developing part included digitizer design, workstation software design, transmission protocol study and simulation on OPNET, database programming, mathematical data elaborations and software development for graphical representation. All the package was tested under lab conditions and tested in real conditions. The main aspect that this project serves is the very big interest for the scientific community in case this platform will eventually be implemented and then installed in Greek countryside in large scale. The platform is designed in such a way that techniques of data mining and mathematical elaboration are possible and any extension can be adapted. The main specialization of this project is that these mechanisms and mathematical transformations can be applied on live data. This can help to rapid exploitation of the real meaning of the measured and stored data. The elaboration of this study has as primary intention to help and alleviate the analysis process while triggering the scientific community to pay attention on seismic activities in Greece watching it on-line.

ALT-C 96: Integrating Technology into the Curriculum. Conference Programme and Abstracts of the Association for Learning Technology Conference (3rd, Glasgow, Scotland, September 16-18, 1996).

ERIC Educational Resources Information Center

Cameron, Shona, Ed.

This program for the 1996 Association for Learning Technology Conference summarizes the poster sessions, discussions, workshops, and software demonstrations, and provides abstracts of the 38 papers presented. Topics covered by the papers include: hand-held technology for mathematics; modeling global warming; computer-mediated communications; Java;…

Local-Area-Network Simulator

NASA Technical Reports Server (NTRS)

Gibson, Jim; Jordan, Joe; Grant, Terry

1990-01-01

Local Area Network Extensible Simulator (LANES) computer program provides method for simulating performance of high-speed local-area-network (LAN) technology. Developed as design and analysis software tool for networking computers on board proposed Space Station. Load, network, link, and physical layers of layered network architecture all modeled. Mathematically models according to different lower-layer protocols: Fiber Distributed Data Interface (FDDI) and Star*Bus. Written in FORTRAN 77.

Recent Survey and Application of the simSUNDT Software

NASA Astrophysics Data System (ADS)

Persson, G.; Wirdelius, H.

2010-02-01

The simSUNDT software is based on a previous developed program (SUNDT). The latest version has been customized in order to generate realistic synthetic data (including a grain noise model), compatible with a number of off-line analysis software. The software consists of a Windows®-based preprocessor and postprocessor together with a mathematical kernel (UTDefect), dealing with the actual mathematical modeling. The model employs various integral transforms and integral equation and enables simulations of the entire ultrasonic testing situation. The model is completely three-dimensional though the simulated component is two-dimensional, bounded by the scanning surface and a planar back surface as an option. It is of great importance that inspection methods that are applied are proper validated and that their capability of detection of cracks and defects are quantified. In order to achieve this, statistical methods such as Probability of Detection (POD) often are applied, with the ambition to estimate the detectability as a function of defect size. Despite the fact that the proposed procedure with the utilization of test pieces is very expensive, it also tends to introduce a number of possible misalignments between the actual NDT situation that is to be performed and the proposed experimental simulation. The presentation will describe the developed model that will enable simulation of a phased array NDT inspection and the ambition to use this simulation software to generate POD information. The paper also includes the most recent developments of the model including some initial experimental validation of the phased array probe model.

Software For Fault-Tree Diagnosis Of A System

NASA Technical Reports Server (NTRS)

Iverson, Dave; Patterson-Hine, Ann; Liao, Jack

1993-01-01

Fault Tree Diagnosis System (FTDS) computer program is automated-diagnostic-system program identifying likely causes of specified failure on basis of information represented in system-reliability mathematical models known as fault trees. Is modified implementation of failure-cause-identification phase of Narayanan's and Viswanadham's methodology for acquisition of knowledge and reasoning in analyzing failures of systems. Knowledge base of if/then rules replaced with object-oriented fault-tree representation. Enhancement yields more-efficient identification of causes of failures and enables dynamic updating of knowledge base. Written in C language, C++, and Common LISP.

Effects of Using Dynamic Mathematics Software on Preservice Mathematics Teachers' Spatial Visualization Skills: The Case of Spatial Analytic Geometry

ERIC Educational Resources Information Center

Kösa, Temel

2016-01-01

The purpose of this study was to investigate the effects of using dynamic geometry software on preservice mathematics teachers' spatial visualization skills and to determine whether spatial visualization skills can be a predictor of success in learning analytic geometry of space. The study used a quasi-experimental design with a control group.…

Development and analysis of the Software Implemented Fault-Tolerance (SIFT) computer

NASA Technical Reports Server (NTRS)

Goldberg, J.; Kautz, W. H.; Melliar-Smith, P. M.; Green, M. W.; Levitt, K. N.; Schwartz, R. L.; Weinstock, C. B.

1984-01-01

SIFT (Software Implemented Fault Tolerance) is an experimental, fault-tolerant computer system designed to meet the extreme reliability requirements for safety-critical functions in advanced aircraft. Errors are masked by performing a majority voting operation over the results of identical computations, and faulty processors are removed from service by reassigning computations to the nonfaulty processors. This scheme has been implemented in a special architecture using a set of standard Bendix BDX930 processors, augmented by a special asynchronous-broadcast communication interface that provides direct, processor to processor communication among all processors. Fault isolation is accomplished in hardware; all other fault-tolerance functions, together with scheduling and synchronization are implemented exclusively by executive system software. The system reliability is predicted by a Markov model. Mathematical consistency of the system software with respect to the reliability model has been partially verified, using recently developed tools for machine-aided proof of program correctness.

Research on axisymmetric aspheric surface numerical design and manufacturing technology

NASA Astrophysics Data System (ADS)

Wang, Zhen-zhong; Guo, Yin-biao; Lin, Zheng

2006-02-01

The key technology for aspheric machining offers exact machining path and machining aspheric lens with high accuracy and efficiency, in spite of the development of traditional manual manufacturing into nowadays numerical control (NC) machining. This paper presents a mathematical model between virtual cone and aspheric surface equations, and discusses the technology of uniform wear of grinding wheel and error compensation in aspheric machining. Finally, a software system for high precision aspheric surface manufacturing is designed and realized, based on the mentioned above. This software system can work out grinding wheel path according to input parameters and generate machining NC programs of aspheric surfaces.

GeoGebra: A Global Platform for Teaching and Learning Math Together and Using the Synergy of Mathematicians

NASA Astrophysics Data System (ADS)

Kllogjeri, Pellumb

In present age we are witnesses and practioners of computer-based education which is highly speed progressing. The computer-based education allows educators and students to use educational programming language and e-tutors to teach and learn, to interact with one another and share together the results of their work. The computer-based education is done possible by special electronic tools among which the most important are the mathematical programmes. There are many mathematical programmes, but one which is being embraced and used by a daily increasing number of users throughout the world is GeoGebra. The recently published software GeoGebra by Markus Hohenwater (2004) explicitly links geometry and algebra. GeoGebra affords a bidirectional combination of geometry and algebra that differs from earlier software forms. The bidirectional combination means that, for instance, by typing in an equation in the algebra window, the graph of the equation will be shown in the dynamic and graphic window. This programme is so much preferred because of its three main features: the double representation of the mathematical object(geometric and algebraic), there are not strong requirements as to the age and the knowledge in using it(the students of the elementary school can use it as well) and, it is offered free of charge(simply by downloading it). In this paper we are concentrating in the double representation of the mathematical object and its advantages in explaining and forming mathematical concepts and performing operations, in the global opportunities for using GeoGebra and the benefits of using it by cooperating and sharing experiences.

The Effects of GeoGebra Software on Pre-Service Mathematics Teachers' Attitudes and Views toward Proof and Proving

ERIC Educational Resources Information Center

Zengin, Yilmaz

2017-01-01

The purpose of this study is to determine the effect of GeoGebra software on pre-service mathematics teachers' attitudes towards proof and proving and to determine pre-service teachers' pre- and post-views regarding proof. The study lasted nine weeks and the participants of the study consisted of 24 pre-service mathematics teachers. The study used…

[Development of a Text-Data Based Learning Tool That Integrates Image Processing and Displaying].

PubMed

Shinohara, Hiroyuki; Hashimoto, Takeyuki

2015-01-01

We developed a text-data based learning tool that integrates image processing and displaying by Excel. Knowledge required for programing this tool is limited to using absolute, relative, and composite cell references and learning approximately 20 mathematical functions available in Excel. The new tool is capable of resolution translation, geometric transformation, spatial-filter processing, Radon transform, Fourier transform, convolutions, correlations, deconvolutions, wavelet transform, mutual information, and simulation of proton density-, T1-, and T2-weighted MR images. The processed images of 128 x 128 pixels or 256 x 256 pixels are observed directly within Excel worksheets without using any particular image display software. The results of image processing using this tool were compared with those using C language and the new tool was judged to have sufficient accuracy to be practically useful. The images displayed on Excel worksheets were compared with images using binary-data display software. This comparison indicated that the image quality of the Excel worksheets was nearly equal to the latter in visual impressions. Since image processing is performed by using text-data, the process is visible and facilitates making contrasts by using mathematical equations within the program. We concluded that the newly developed tool is adequate as a computer-assisted learning tool for use in medical image processing.

Integrated analyses in plastics forming

NASA Astrophysics Data System (ADS)

Bo, Wang

This is the thesis which explains the progress made in the analysis, simulation and testing of plastics forming. This progress can be applied to injection and compression mould design. Three activities of plastics forming have been investigated, namely filling analysis, cooling analysis and ejecting analysis. The filling section of plastics forming has been analysed and calculated by using MOLDFLOW and FILLCALC V. software. A comparing of high speed compression moulding and injection moulding has been made. The cooling section of plastics forming has been analysed by using MOLDFLOW software and a finite difference computer program. The latter program can be used as a sample program to calculate the feasibility of cooling different materials to required target temperatures under controlled cooling conditions. The application of thermal imaging has been also introduced to determine the actual process temperatures. Thermal imaging can be used as a powerful tool to analyse mould surface temperatures and to verify the mathematical model. A buckling problem for ejecting section has been modelled and calculated by PATRAN/ABAQUS finite element analysis software and tested. These calculations and analysis are applied to the special case but can be use as an example for general analysis and calculation in the ejection section of plastics forming.

GlycCompSoft: Software for Automated Comparison of Low Molecular Weight Heparins Using Top-Down LC/MS Data

PubMed Central

Li, Lingyun; Zhang, Fuming; Hu, Min; Ren, Fuji; Chi, Lianli; Linhardt, Robert J.

2016-01-01

Low molecular weight heparins are complex polycomponent drugs that have recently become amenable to top-down analysis using liquid chromatography-mass spectrometry. Even using open source deconvolution software, DeconTools, and automatic structural assignment software, GlycReSoft, the comparison of two or more low molecular weight heparins is extremely time-consuming, taking about a week for an expert analyst and provides no guarantee of accuracy. Efficient data processing tools are required to improve analysis. This study uses the programming language of Microsoft Excel™ Visual Basic for Applications to extend its standard functionality for macro functions and specific mathematical modules for mass spectrometric data processing. The program developed enables the comparison of top-down analytical glycomics data on two or more low molecular weight heparins. The current study describes a new program, GlycCompSoft, which has a low error rate with good time efficiency in the automatic processing of large data sets. The experimental results based on three lots of Lovenox®, Clexane® and three generic enoxaparin samples show that the run time of GlycCompSoft decreases from 11 to 2 seconds when the data processed decreases from 18000 to 1500 rows. PMID:27942011

Flight flutter testing technology at Grumman. [automated telemetry station for on line data reduction

NASA Technical Reports Server (NTRS)

Perangelo, H. J.; Milordi, F. W.

1976-01-01

Analysis techniques used in the automated telemetry station (ATS) for on line data reduction are encompassed in a broad range of software programs. Concepts that form the basis for the algorithms used are mathematically described. The control the user has in interfacing with various on line programs is discussed. The various programs are applied to an analysis of flight data which includes unimodal and bimodal response signals excited via a swept frequency shaker and/or random aerodynamic forces. A nonlinear response error modeling analysis approach is described. Preliminary results in the analysis of a hard spring nonlinear resonant system are also included.

Student perceptions of drill-and-practice mathematics software in primary education

NASA Astrophysics Data System (ADS)

Kuiper, Els; de Pater-Sneep, Martie

2014-06-01

Drill-and-practice mathematics software offers teachers a relatively simple way to use technology in the classroom. One of the reasons to use the software may be that it motivates children, working on the computer being more "fun" than doing regular school work. However, students' own perceptions of such software are seldom studied. This article reports on a study on the opinions of Grade 5 and 6 students regarding two mathematics drill-and-practice software packages. In total, 329 students from ten Dutch primary schools took part in the study. The results show that a majority of the students preferred to work in their exercise book, for various reasons. Especially the rigid structure of the software is mentioned as a negative aspect by students. The elaborate arguments students used illustrate the importance of taking their opinions into account already at the primary level. Students' perceptions also show that the idea of ICT as naturally motivating for students may need modification.

Mathematical and information maintenance of biometric systems

NASA Astrophysics Data System (ADS)

Boriev, Z.; Sokolov, S.; Nyrkov, A.; Nekrasova, A.

2016-04-01

This article describes the different mathematical methods for processing biometric data. A brief overview of methods for personality recognition by means of a signature is conducted. Mathematical solutions of a dynamic authentication method are considered. Recommendations on use of certain mathematical methods, depending on specific tasks, are provided. Based on the conducted analysis of software and the choice made in favor of the wavelet analysis, a brief basis for its use in the course of software development for biometric personal identification is given for the purpose of its practical application.

Scheduling IT Staff at a Bank: A Mathematical Programming Approach

PubMed Central

Labidi, M.; Mrad, M.; Gharbi, A.; Louly, M. A.

2014-01-01

We address a real-world optimization problem: the scheduling of a Bank Information Technologies (IT) staff. This problem can be defined as the process of constructing optimized work schedules for staff. In a general sense, it requires the allocation of suitably qualified staff to specific shifts to meet the demands for services of an organization while observing workplace regulations and attempting to satisfy individual work preferences. A monthly shift schedule is prepared to determine the shift duties of each staff considering shift coverage requirements, seniority-based workload rules, and staff work preferences. Due to the large number of conflicting constraints, a multiobjective programming model has been proposed to automate the schedule generation process. The suggested mathematical model has been implemented using Lingo software. The results indicate that high quality solutions can be obtained within a few seconds compared to the manually prepared schedules. PMID:24772032

Scheduling IT staff at a bank: a mathematical programming approach.

PubMed

Labidi, M; Mrad, M; Gharbi, A; Louly, M A

2014-01-01

We address a real-world optimization problem: the scheduling of a Bank Information Technologies (IT) staff. This problem can be defined as the process of constructing optimized work schedules for staff. In a general sense, it requires the allocation of suitably qualified staff to specific shifts to meet the demands for services of an organization while observing workplace regulations and attempting to satisfy individual work preferences. A monthly shift schedule is prepared to determine the shift duties of each staff considering shift coverage requirements, seniority-based workload rules, and staff work preferences. Due to the large number of conflicting constraints, a multiobjective programming model has been proposed to automate the schedule generation process. The suggested mathematical model has been implemented using Lingo software. The results indicate that high quality solutions can be obtained within a few seconds compared to the manually prepared schedules.

MATHEMATICAL METHODS IN MEDICAL IMAGE PROCESSING

PubMed Central

ANGENENT, SIGURD; PICHON, ERIC; TANNENBAUM, ALLEN

2013-01-01

In this paper, we describe some central mathematical problems in medical imaging. The subject has been undergoing rapid changes driven by better hardware and software. Much of the software is based on novel methods utilizing geometric partial differential equations in conjunction with standard signal/image processing techniques as well as computer graphics facilitating man/machine interactions. As part of this enterprise, researchers have been trying to base biomedical engineering principles on rigorous mathematical foundations for the development of software methods to be integrated into complete therapy delivery systems. These systems support the more effective delivery of many image-guided procedures such as radiation therapy, biopsy, and minimally invasive surgery. We will show how mathematics may impact some of the main problems in this area, including image enhancement, registration, and segmentation. PMID:23645963

State-of-the-art Hydrology Education: Development of Windows-based and Web-based Interactive Teaching-Learning Software

NASA Astrophysics Data System (ADS)

Chu, X.

2011-12-01

This study, funded by the NSF CAREER program, focuses on developing new methods to quantify microtopography-controlled overland flow processes and integrating the cutting-edge hydrologic research with all-level education and outreach activities. To achieve the educational goal, an interactive teaching-learning software package has been developed. This software, with enhanced visualization capabilities, integrates the new modeling techniques, computer-guided learning processes, and education-oriented tools in a user-friendly interface. Both Windows-based and web-based versions have been developed. The software is specially designed for three major user levels: elementary level (Level 1: K-12 and outreach education), medium level (Level 2: undergraduate education), and advanced level (Level 3: graduate education). Depending on the levels, users are guided to different educational systems. Each system consists of a series of mini "libraries" featured with movies, pictures, and documentation that cover fundamental theories, varying scale experiments, and computer modeling of overland flow generation, surface runoff, and infiltration processes. Testing and practical use of this educational software in undergraduate and graduate teaching demonstrate its effectiveness to promote students' learning and interest in hydrologic sciences. This educational software also has been used as a hydrologic demonstration tool for K-12 students and Native American students through the Nurturing American Tribal Undergraduate Research Education (NATURE) program and Science, Technology, Engineering and Mathematics (STEM) outreach activities.

A survey on the effectiveness of using GeoGebra software towards lecturers' conceptual knowledge and procedural mathematics

NASA Astrophysics Data System (ADS)

Wan Salleh, Masturah; Sulaiman, Hajar

2013-04-01

The use of technology in the teaching of mathematics at the university level has long been introduced; but many among the lecturers, especially those that have taught for many years, still opt for a traditional teaching method, that is, by lecture talk. One reason is that lecturers themselves were not exposed to the technologies available and how it can assist in the teaching and learning procedures (T&L) in mathematics. GeoGebra is a mathematical software which is open and free and has just recently been introduced in Malaysia. Compared with the software Cabri Geometry and Geometer's Sketchpad (GSP), which only focus on geometry, GeoGebra is able to connect geometry, algebra and numerical representation. Realizing this, the researchers have conducted a study to expose the university lecturers on the use of GeoGebra in T&L. The researchers chose to do the research on mathematics lecturers at the Department of Computer Science and Mathematics (JSKM), Universiti Teknologi Mara (UiTM), Penang. The objective of this study is to determine whether an exposure to GeoGebra software can affect the conceptual knowledge and procedural teaching of mathematics at the university level. This study is a combination of descriptive and qualitative. One session was conducted in an open workshop for all the 45 lecturers. From that total, four people were selected as a sample. The sample was selected by using a simple random sampling method. This study used materials in the form of modules during the workshop. In terms of conceptual knowledge, the results showed that the GeoGebra software is appropriate, relevant and highly effective for in-depth understanding of the selected topics. While the procedural aspects of teaching, it can be one of the teaching aids and considerably facilitate the lecturers.

Magic star puzzle for educational mathematics

NASA Astrophysics Data System (ADS)

Gan, Yee Siang; Fong, Wan Heng; Sarmin, Nor Haniza

2013-04-01

One of the interesting fields in recreational mathematics is the magic number arrangement. There are different kinds of arrays in the arrangement for a group of numbers. In particular, one of the arrays in magic number arrangement is called magic star. In fact, magic star involves combinatorics that contributes to geometrical analysis and number theory. Hence, magic star is suitable to be introduced as educational mathematics to cultivate interest in different area of mathematics. To obtain the solutions of normal magic stars of order six, the possible sets of numbers for every line in a magic star have been considered. Previously, the calculation for obtaining the solutions has been done manually which is time-consuming. Therefore, a programming code to generate all the fundamental solutions for normal magic star of order six without including the properties of rotation and reflection has been done. In this puzzle, a magic star puzzle is created by using Matlab software, which enables a user to verify the entries for the cells of magic star of order six. Moreover, it is also user-friendly as it provides interactive commands on the inputs given by the user, which enables the user to detect the incorrect inputs. In addition, user can also choose to view all the fundamental solutions as generated by the programming code.

[AERA. Dream machines and computing practices at the Mathematical Center].

PubMed

Alberts, Gerard; De Beer, Huub T

2008-01-01

Dream machines may be just as effective as the ones materialised. Their symbolic thrust can be quite powerful. The Amsterdam 'Mathematisch Centrum' (Mathematical Center), founded February 11, 1946, created a Computing Department in an effort to realise its goal of serving society. When Aad van Wijngaarden was appointed as head of the Computing Department, however, he claimed space for scientific research and computer construction, next to computing as a service. Still, the computing service following the five stage style of Hartree's numerical analysis remained a dominant characteristic of the work of the Computing Department. The high level of ambition held by Aad van Wijngaarden lead to ever renewed projections of big automatic computers, symbolised by the never-built AERA. Even a machine that was actually constructed, the ARRA which followed A.D. Booth's design of the ARC, never made it into real operation. It did serve Van Wijngaarden to bluff his way into the computer age by midsummer 1952. Not until January 1954 did the computing department have a working stored program computer, which for reasons of policy went under the same name: ARRA. After just one other machine, the ARMAC, had been produced, a separate company, Electrologica, was set up for the manufacture of computers, which produced the rather successful X1 computer. The combination of ambition and absence of a working machine lead to a high level of work on programming, way beyond the usual ideas of libraries of subroutines. Edsger W. Dijkstra in particular led the way to an emphasis on the duties of the programmer within the pattern of numerical analysis. Programs generating programs, known elsewhere as autocoding systems, were at the 'Mathematisch Centrum' called 'superprograms'. Practical examples were usually called a 'complex', in Dutch, where in English one might say 'system'. Historically, this is where software begins. Dekker's matrix complex, Dijkstra's interrupt system, Dijkstra and Zonneveld's ALGOL compiler--which for housekeeping contained 'the complex'--were actual examples of such super programs. In 1960 this compiler gave the Mathematical Center a leading edge in the early development of software.

The application of brain-based learning principles aided by GeoGebra to improve mathematical representation ability

NASA Astrophysics Data System (ADS)

Priatna, Nanang

2017-08-01

The use of Information and Communication Technology (ICT) in mathematics instruction will help students in building conceptual understanding. One of the software products used in mathematics instruction is GeoGebra. The program enables simple visualization of complex geometric concepts and helps improve students' understanding of geometric concepts. Instruction applying brain-based learning principles is one oriented at the efforts of naturally empowering the brain potentials which enable students to build their own knowledge. One of the goals of mathematics instruction in school is to develop mathematical communication ability. Mathematical representation is regarded as a part of mathematical communication. It is a description, expression, symbolization, or modeling of mathematical ideas/concepts as an attempt of clarifying meanings or seeking for solutions to the problems encountered by students. The research aims to develop a learning model and teaching materials by applying the principles of brain-based learning aided by GeoGebra to improve junior high school students' mathematical representation ability. It adopted a quasi-experimental method with the non-randomized control group pretest-posttest design and the 2x3 factorial model. Based on analysis of the data, it is found that the increase in the mathematical representation ability of students who were treated with mathematics instruction applying the brain-based learning principles aided by GeoGebra was greater than the increase of the students given conventional instruction, both as a whole and based on the categories of students' initial mathematical ability.

Digital techniques for processing Landsat imagery

NASA Technical Reports Server (NTRS)

Green, W. B.

1978-01-01

An overview of the basic techniques used to process Landsat images with a digital computer, and the VICAR image processing software developed at JPL and available to users through the NASA sponsored COSMIC computer program distribution center is presented. Examples of subjective processing performed to improve the information display for the human observer, such as contrast enhancement, pseudocolor display and band rationing, and of quantitative processing using mathematical models, such as classification based on multispectral signatures of different areas within a given scene and geometric transformation of imagery into standard mapping projections are given. Examples are illustrated by Landsat scenes of the Andes mountains and Altyn-Tagh fault zone in China before and after contrast enhancement and classification of land use in Portland, Oregon. The VICAR image processing software system which consists of a language translator that simplifies execution of image processing programs and provides a general purpose format so that imagery from a variety of sources can be processed by the same basic set of general applications programs is described.

Exciting Normal Distribution

ERIC Educational Resources Information Center

Fuchs, Karl Josef; Simonovits, Reinhard; Thaller, Bernd

2008-01-01

This paper describes a high school project where the mathematics teaching and learning software M@th Desktop (MD) based on the Computer Algebra System Mathematica was used for symbolical and numerical calculations and for visualisation. The mathematics teaching and learning software M@th Desktop 2.0 (MD) contains the modules Basics including tools…

The Effects of Multiple Linked Representations on Student Learning in Mathematics.

ERIC Educational Resources Information Center

Ozgun-Koca, S. Asli

This study investigated the effects on student understanding of linear relationships using the linked representation software VideoPoint as compared to using semi-linked representation software. It investigated students' attitudes towards and preferences for mathematical representations--equations, tables, or graphs. An Algebra I class was divided…

Programming biological models in Python using PySB.

PubMed

Lopez, Carlos F; Muhlich, Jeremy L; Bachman, John A; Sorger, Peter K

2013-01-01

Mathematical equations are fundamental to modeling biological networks, but as networks get large and revisions frequent, it becomes difficult to manage equations directly or to combine previously developed models. Multiple simultaneous efforts to create graphical standards, rule-based languages, and integrated software workbenches aim to simplify biological modeling but none fully meets the need for transparent, extensible, and reusable models. In this paper we describe PySB, an approach in which models are not only created using programs, they are programs. PySB draws on programmatic modeling concepts from little b and ProMot, the rule-based languages BioNetGen and Kappa and the growing library of Python numerical tools. Central to PySB is a library of macros encoding familiar biochemical actions such as binding, catalysis, and polymerization, making it possible to use a high-level, action-oriented vocabulary to construct detailed models. As Python programs, PySB models leverage tools and practices from the open-source software community, substantially advancing our ability to distribute and manage the work of testing biochemical hypotheses. We illustrate these ideas using new and previously published models of apoptosis.

Programming biological models in Python using PySB

PubMed Central

Lopez, Carlos F; Muhlich, Jeremy L; Bachman, John A; Sorger, Peter K

2013-01-01

Mathematical equations are fundamental to modeling biological networks, but as networks get large and revisions frequent, it becomes difficult to manage equations directly or to combine previously developed models. Multiple simultaneous efforts to create graphical standards, rule-based languages, and integrated software workbenches aim to simplify biological modeling but none fully meets the need for transparent, extensible, and reusable models. In this paper we describe PySB, an approach in which models are not only created using programs, they are programs. PySB draws on programmatic modeling concepts from little b and ProMot, the rule-based languages BioNetGen and Kappa and the growing library of Python numerical tools. Central to PySB is a library of macros encoding familiar biochemical actions such as binding, catalysis, and polymerization, making it possible to use a high-level, action-oriented vocabulary to construct detailed models. As Python programs, PySB models leverage tools and practices from the open-source software community, substantially advancing our ability to distribute and manage the work of testing biochemical hypotheses. We illustrate these ideas using new and previously published models of apoptosis. PMID:23423320

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.

Computing the Thermodynamic State of a Cryogenic Fluid

NASA Technical Reports Server (NTRS)

Willen, G. Scott; Hanna, Gregory J.; Anderson, Kevin R.

2005-01-01

The Cryogenic Tank Analysis Program (CTAP) predicts the time-varying thermodynamic state of a cryogenic fluid in a tank or a Dewar flask. CTAP is designed to be compatible with EASY5x, which is a commercial software package that can be used to simulate a variety of processes and equipment systems. The mathematical model implemented in CTAP is a first-order differential equation for the pressure as a function of time.

SECURE MATHEMATICALLY- ASSURED COMPOSITION OF CONTROL MODELS

DTIC Science & Technology

2017-09-27

and in fact, often introduces new vulnerabilities that can be exploited. The situation is even worse for em - bedded software because it is often...fork- bomb is a program which continuously replicates itself, thus making it very hard to kill off all instances of the forkbomb. This causes the...binaries. In Eduardo Tovar, editor, IEEE Real-Time and Em - bedded Technology and Applications Symposium (RTAS), pages 97–106, Philadelphia, USA, April 2013

Survey of optimization techniques for nonlinear spacecraft trajectory searches

NASA Technical Reports Server (NTRS)

Wang, Tseng-Chan; Stanford, Richard H.; Sunseri, Richard F.; Breckheimer, Peter J.

1988-01-01

Mathematical analysis of the optimal search of a nonlinear spacecraft trajectory to arrive at a set of desired targets is presented. A high precision integrated trajectory program and several optimization software libraries are used to search for a converged nonlinear spacecraft trajectory. Several examples for the Galileo Jupiter Orbiter and the Ocean Topography Experiment (TOPEX) are presented that illustrate a variety of the optimization methods used in nonlinear spacecraft trajectory searches.

YF-12 cooperative airframe/propulsion control system program, volume 1

NASA Technical Reports Server (NTRS)

Anderson, D. L.; Connolly, G. F.; Mauro, F. M.; Reukauf, P. J.; Marks, R. (Editor)

1980-01-01

Several YF-12C airplane analog control systems were converted to a digital system. Included were the air data computer, autopilot, inlet control system, and autothrottle systems. This conversion was performed to allow assessment of digital technology applications to supersonic cruise aircraft. The digital system was composed of a digital computer and specialized interface unit. A large scale mathematical simulation of the airplane was used for integration testing and software checkout.

Center for Center for Technology for Advanced Scientific Component Software (TASCS)

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

Kostadin, Damevski

A resounding success of the Scientific Discovery through Advanced Computing (SciDAC) program is that high-performance computational science is now universally recognized as a critical aspect of scientific discovery [71], complementing both theoretical and experimental research. As scientific communities prepare to exploit unprecedented computing capabilities of emerging leadership-class machines for multi-model simulations at the extreme scale [72], it is more important than ever to address the technical and social challenges of geographically distributed teams that combine expertise in domain science, applied mathematics, and computer science to build robust and flexible codes that can incorporate changes over time. The Center for Technologymore » for Advanced Scientific Component Software (TASCS)1 tackles these these issues by exploiting component-based software development to facilitate collaborative high-performance scientific computing.« less

The Effects of a Computer-Assisted Teaching Material, Designed According to the ASSURE Instructional Design and the ARCS Model of Motivation, on Students' Achievement Levels in a Mathematics Lesson and Their Resulting Attitudes

ERIC Educational Resources Information Center

Karakis, Hilal; Karamete, Aysen; Okçu, Aydin

2016-01-01

This study examined the effects that computer-assisted instruction had on students' attitudes toward a mathematics lesson and toward learning mathematics with computer-assisted instruction. The computer software we used was based on the ASSURE Instructional Systems Design and the ARCS Model of Motivation, and the software was designed to teach…

Users manual for an expert system (HSPEXP) for calibration of the hydrological simulation program; Fortran

USGS Publications Warehouse

Lumb, A.M.; McCammon, R.B.; Kittle, J.L.

1994-01-01

Expert system software was developed to assist less experienced modelers with calibration of a watershed model and to facilitate the interaction between the modeler and the modeling process not provided by mathematical optimization. A prototype was developed with artificial intelligence software tools, a knowledge engineer, and two domain experts. The manual procedures used by the domain experts were identified and the prototype was then coded by the knowledge engineer. The expert system consists of a set of hierarchical rules designed to guide the calibration of the model through a systematic evaluation of model parameters. When the prototype was completed and tested, it was rewritten for portability and operational use and was named HSPEXP. The watershed model Hydrological Simulation Program--Fortran (HSPF) is used in the expert system. This report is the users manual for HSPEXP and contains a discussion of the concepts and detailed steps and examples for using the software. The system has been tested on watersheds in the States of Washington and Maryland, and the system correctly identified the model parameters to be adjusted and the adjustments led to improved calibration.

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.

Generic Kalman Filter Software

NASA Technical Reports Server (NTRS)

Lisano, Michael E., II; Crues, Edwin Z.

2005-01-01

The Generic Kalman Filter (GKF) software provides a standard basis for the development of application-specific Kalman-filter programs. Historically, Kalman filters have been implemented by customized programs that must be written, coded, and debugged anew for each unique application, then tested and tuned with simulated or actual measurement data. Total development times for typical Kalman-filter application programs have ranged from months to weeks. The GKF software can simplify the development process and reduce the development time by eliminating the need to re-create the fundamental implementation of the Kalman filter for each new application. The GKF software is written in the ANSI C programming language. It contains a generic Kalman-filter-development directory that, in turn, contains a code for a generic Kalman filter function; more specifically, it contains a generically designed and generically coded implementation of linear, linearized, and extended Kalman filtering algorithms, including algorithms for state- and covariance-update and -propagation functions. The mathematical theory that underlies the algorithms is well known and has been reported extensively in the open technical literature. Also contained in the directory are a header file that defines generic Kalman-filter data structures and prototype functions and template versions of application-specific subfunction and calling navigation/estimation routine code and headers. Once the user has provided a calling routine and the required application-specific subfunctions, the application-specific Kalman-filter software can be compiled and executed immediately. During execution, the generic Kalman-filter function is called from a higher-level navigation or estimation routine that preprocesses measurement data and post-processes output data. The generic Kalman-filter function uses the aforementioned data structures and five implementation- specific subfunctions, which have been developed by the user on the basis of the aforementioned templates. The GKF software can be used to develop many different types of unfactorized Kalman filters. A developer can choose to implement either a linearized or an extended Kalman filter algorithm, without having to modify the GKF software. Control dynamics can be taken into account or neglected in the filter-dynamics model. Filter programs developed by use of the GKF software can be made to propagate equations of motion for linear or nonlinear dynamical systems that are deterministic or stochastic. In addition, filter programs can be made to operate in user-selectable "covariance analysis" and "propagation-only" modes that are useful in design and development stages.

Problem Solving Frameworks for Mathematics and Software Development

ERIC Educational Resources Information Center

McMaster, Kirby; Sambasivam, Samuel; Blake, Ashley

2012-01-01

In this research, we examine how problem solving frameworks differ between Mathematics and Software Development. Our methodology is based on the assumption that the words used frequently in a book indicate the mental framework of the author. We compared word frequencies in a sample of 139 books that discuss problem solving. The books were grouped…

Common Grounds for Modelling Mathematics in Educational Software

ERIC Educational Resources Information Center

Neuper, Walther

2010-01-01

Two kinds of software, CAS and DGS, are starting to work towards mutual integration. This paper envisages common grounds for such integration based on principles of computer theorem proving (CTP). Presently, the CTP community seems to lack awareness as to which of their products' features might serve mathematics education from high-school to…

Musing on the Use of Dynamic Software and Mathematics Epistemology

ERIC Educational Resources Information Center

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

2007-01-01

Different computational tools may offer teachers and students distinct opportunities in representing, exploring and solving mathematical tasks. In this context, we illustrate that the use of dynamic software (Cabri Geometry) helped high school teachers to think of and represent a particular task dynamically. In this process, the teachers had the…

Academic Mathematicians' Dispositions toward Software Use in Mathematics Instruction: What Are the Underlying Reasons?

ERIC Educational Resources Information Center

Khoshaim, Heba Bakr

2012-01-01

Academic mathematicians' opinions are divided regarding software use in undergraduate mathematics instruction. This study explored these opinions through interviews and a subsequent survey of mathematicians at PhD-granting institutions in the United States regarding their dispositions and the underlying attitudes. Most prior related work had…

Software for Training in Pre-College Mathematics

NASA Technical Reports Server (NTRS)

Shelton, Robert O.; Moebes, Travis A.; VanAlstine, Scot

2003-01-01

The Intelligent Math Tutor (IMT) is a computer program for training students in pre-college and college-level mathematics courses, including fundamentals, intermediate algebra, college algebra, and trigonometry. The IMT can be executed on a server computer for access by students via the Internet; alternatively, it can be executed on students computers equipped with compact- disk/read-only-memory (CD-ROM) drives. The IMT provides interactive exercises, assessment, tracking, and an on-line graphing calculator with algebraic-manipulation capabilities. The IMT provides an innovative combination of content, delivery mechanism, and artificial intelligence. Careful organization and presentation of the content make it possible to provide intelligent feedback to the student based on performance on exercises and tests. The tracking and feedback mechanisms are implemented within the capabilities of a commercial off-the-shelf development software tool and are written in the Unified Modeling Language to maximize reuse and minimize development cost. The graphical calculator is a standard feature of most college and pre-college algebra and trigonometry courses. Placing this functionality in a Java applet decreases the cost, provides greater capabilities, and provides an opportunity to integrate the calculator with the lessons.

Technology Programs...for All or for Some?

NASA Astrophysics Data System (ADS)

Giancola, Susan P.

2001-12-01

The 1990s have been a decade of great spending and great introspection, particularly when it comes to educational allocations. Citizens, corporations, and public officials are becoming increasingly inquisitive about where their money is going and if the dollars spent are making a difference. For 5 years, the multimillion-dollar Delaware Technology Innovation Challenge project has implemented LightspanTM educational software in the classrooms and homes of elementary school students. Program goals are to increase parent involvement, generate more time for learning, and improve student achievement. On the surface, the program seems to have met its goals. Parents report being more involved in their child's education. Students and parents describe the time spent on the software at home as not replacing traditional homework, but rather television watching. And, student achievement in both reading and mathematics has increased at rates higher than would be expected. However, a closer examination of evaluation results reveals the program has worked best for lower achieving students; students who scored below the 50th percentile in fall testing had much greater achievement gains than their higher scoring peers. This paper investigates whether evaluation findings are reflective of the program's implementation or rather reveal a limitation of the technology.

Estimating BrAC from transdermal alcohol concentration data using the BrAC estimator software program.

PubMed

Luczak, Susan E; Rosen, I Gary

2014-08-01

Transdermal alcohol sensor (TAS) devices have the potential to allow researchers and clinicians to unobtrusively collect naturalistic drinking data for weeks at a time, but the transdermal alcohol concentration (TAC) data these devices produce do not consistently correspond with breath alcohol concentration (BrAC) data. We present and test the BrAC Estimator software, a program designed to produce individualized estimates of BrAC from TAC data by fitting mathematical models to a specific person wearing a specific TAS device. Two TAS devices were worn simultaneously by 1 participant for 18 days. The trial began with a laboratory alcohol session to calibrate the model and was followed by a field trial with 10 drinking episodes. Model parameter estimates and fit indices were compared across drinking episodes to examine the calibration phase of the software. Software-generated estimates of peak BrAC, time of peak BrAC, and area under the BrAC curve were compared with breath analyzer data to examine the estimation phase of the software. In this single-subject design with breath analyzer peak BrAC scores ranging from 0.013 to 0.057, the software created consistent models for the 2 TAS devices, despite differences in raw TAC data, and was able to compensate for the attenuation of peak BrAC and latency of the time of peak BrAC that are typically observed in TAC data. This software program represents an important initial step for making it possible for non mathematician researchers and clinicians to obtain estimates of BrAC from TAC data in naturalistic drinking environments. Future research with more participants and greater variation in alcohol consumption levels and patterns, as well as examination of gain scheduling calibration procedures and nonlinear models of diffusion, will help to determine how precise these software models can become. Copyright © 2014 by the Research Society on Alcoholism.

Research Prototype: Automated Analysis of Scientific and Engineering Semantics

NASA Technical Reports Server (NTRS)

Stewart, Mark E. M.; Follen, Greg (Technical Monitor)

2001-01-01

Physical and mathematical formulae and concepts are fundamental elements of scientific and engineering software. These classical equations and methods are time tested, universally accepted, and relatively unambiguous. The existence of this classical ontology suggests an ideal problem for automated comprehension. This problem is further motivated by the pervasive use of scientific code and high code development costs. To investigate code comprehension in this classical knowledge domain, a research prototype has been developed. The prototype incorporates scientific domain knowledge to recognize code properties (including units, physical, and mathematical quantity). Also, the procedure implements programming language semantics to propagate these properties through the code. This prototype's ability to elucidate code and detect errors will be demonstrated with state of the art scientific codes.

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.

SNS programming environment user's guide

NASA Technical Reports Server (NTRS)

Tennille, Geoffrey M.; Howser, Lona M.; Humes, D. Creig; Cronin, Catherine K.; Bowen, John T.; Drozdowski, Joseph M.; Utley, Judith A.; Flynn, Theresa M.; Austin, Brenda A.

1992-01-01

The computing environment is briefly described for the Supercomputing Network Subsystem (SNS) of the Central Scientific Computing Complex of NASA Langley. The major SNS computers are a CRAY-2, a CRAY Y-MP, a CONVEX C-210, and a CONVEX C-220. The software is described that is common to all of these computers, including: the UNIX operating system, computer graphics, networking utilities, mass storage, and mathematical libraries. Also described is file management, validation, SNS configuration, documentation, and customer services.

An Open-Source Sandbox for Increasing the Accessibility of Functional Programming to the Bioinformatics and Scientific Communities

PubMed Central

Fenwick, Matthew; Sesanker, Colbert; Schiller, Martin R.; Ellis, Heidi JC; Hinman, M. Lee; Vyas, Jay; Gryk, Michael R.

2012-01-01

Scientists are continually faced with the need to express complex mathematical notions in code. The renaissance of functional languages such as LISP and Haskell is often credited to their ability to implement complex data operations and mathematical constructs in an expressive and natural idiom. The slow adoption of functional computing in the scientific community does not, however, reflect the congeniality of these fields. Unfortunately, the learning curve for adoption of functional programming techniques is steeper than that for more traditional languages in the scientific community, such as Python and Java, and this is partially due to the relative sparseness of available learning resources. To fill this gap, we demonstrate and provide applied, scientifically substantial examples of functional programming, We present a multi-language source-code repository for software integration and algorithm development, which generally focuses on the fields of machine learning, data processing, bioinformatics. We encourage scientists who are interested in learning the basics of functional programming to adopt, reuse, and learn from these examples. The source code is available at: https://github.com/CONNJUR/CONNJUR-Sandbox (see also http://www.connjur.org). PMID:25328913

An Open-Source Sandbox for Increasing the Accessibility of Functional Programming to the Bioinformatics and Scientific Communities.

PubMed

Fenwick, Matthew; Sesanker, Colbert; Schiller, Martin R; Ellis, Heidi Jc; Hinman, M Lee; Vyas, Jay; Gryk, Michael R

2012-01-01

Scientists are continually faced with the need to express complex mathematical notions in code. The renaissance of functional languages such as LISP and Haskell is often credited to their ability to implement complex data operations and mathematical constructs in an expressive and natural idiom. The slow adoption of functional computing in the scientific community does not, however, reflect the congeniality of these fields. Unfortunately, the learning curve for adoption of functional programming techniques is steeper than that for more traditional languages in the scientific community, such as Python and Java, and this is partially due to the relative sparseness of available learning resources. To fill this gap, we demonstrate and provide applied, scientifically substantial examples of functional programming, We present a multi-language source-code repository for software integration and algorithm development, which generally focuses on the fields of machine learning, data processing, bioinformatics. We encourage scientists who are interested in learning the basics of functional programming to adopt, reuse, and learn from these examples. The source code is available at: https://github.com/CONNJUR/CONNJUR-Sandbox (see also http://www.connjur.org).

Teaching Locus with a Conserved Property by Integrating Mathematical Tools and Dynamic Geometric Software

ERIC Educational Resources Information Center

Stupel, Moshe; Segal, Ruti; Oxman, Victor

2016-01-01

In this article, we present investigative tasks that concern loci, which integrate the use of dynamic geometry software (DGS) with mathematics for proving the obtained figures. Additional conditions were added to the loci: ellipse, parabola and circle, which result in the emergence of new loci, similar in form to the original loci. The…

The Role of Dynamic Software in the Identification and Construction of Mathematical Relationships

ERIC Educational Resources Information Center

Santos-Trigo, Manuel

2004-01-01

What features of mathematical thinking do students exhibit when they use dynamic software in their problem solving approaches? To what extent does the systematic use of technology favour students' development of problem solving competences? What type of reasoning do students develop as a result of using a particular tool? This study documents…

Using Graphing Software to Teach about Algebraic Forms: A Study of Technology-Supported Practice in Secondary-School Mathematics

ERIC Educational Resources Information Center

Ruthven, Kenneth; Deaney, Rosemary; Hennessy, Sara

2009-01-01

From preliminary analysis of teacher-nominated examples of successful technology-supported practice in secondary-school mathematics, the use of graphing software to teach about algebraic forms was identified as being an important archetype. Employing evidence from lesson observation and teacher interview, such practice was investigated in greater…

SSRP: Software for Problem Solving and Inquiry in Grades K-4. Ohio SchoolNet. ENC Focus.

ERIC Educational Resources Information Center

Harris, Julia, Ed.

1997-01-01

The number and range of instructional resources in mathematics and science education can be overwhelming to educators. The chief mission of The Eisenhower National Clearinghouse for Mathematics and Science Education (ENC) is to help educators sort through the confusion by identifying relevant resources such as print materials, software, kits, and…

Teachers' Initial Orchestration of Students' Dynamic Geometry Software Use: Consequences for Students' Opportunities to Learn Mathematics

ERIC Educational Resources Information Center

Erfjord, Ingvald

2011-01-01

This paper reports from a case study with teachers at two schools in Norway participating in developmental projects aiming for inquiry communities in mathematics teaching and learning. In the reported case study, the teachers participated in one of the developmental projects focusing on implementation and use of computer software in mathematics…

Introducing Dynamic Mathematics Software to Secondary School Teachers: The Case of GeoGebra

ERIC Educational Resources Information Center

Hohenwarter, Judith; Hohenwarter, Markus; Lavicza, Zsolt

2009-01-01

This paper describes a study aimed to identify most common impediments related to the introduction of an open-source mathematical software package GeoGebra. We report on the analysis of data collected during a three-week professional development programme organised for middle and high school teachers in Florida. The study identified challenges…

Why Don't All Maths Teachers Use Dynamic Geometry Software in Their Classrooms?

ERIC Educational Resources Information Center

Stols, Gerrit; Kriek, Jeanne

2011-01-01

In this exploratory study, we sought to examine the influence of mathematics teachers' beliefs on their intended and actual usage of dynamic mathematics software in their classrooms. The theory of planned behaviour (TPB), the technology acceptance model (TAM) and the innovation diffusion theory (IDT) were used to examine the influence of teachers'…

Property-Based Software Engineering Measurement

NASA Technical Reports Server (NTRS)

Briand, Lionel; Morasca, Sandro; Basili, Victor R.

1995-01-01

Little theory exists in the field of software system measurement. Concepts such as complexity, coupling, cohesion or even size are very often subject to interpretation and appear to have inconsistent definitions in the literature. As a consequence, there is little guidance provided to the analyst attempting to define proper measures for specific problems. Many controversies in the literature are simply misunderstandings and stem from the fact that some people talk about different measurement concepts under the same label (complexity is the most common case). There is a need to define unambiguously the most important measurement concepts used in the measurement of software products. One way of doing so is to define precisely what mathematical properties characterize these concepts regardless of the specific software artifacts to which these concepts are applied. Such a mathematical framework could generate a consensus in the software engineering community and provide a means for better communication among researchers, better guidelines for analysis, and better evaluation methods for commercial static analyzers for practitioners. In this paper, we propose a mathematical framework which is generic, because it is not specific to any particular software artifact, and rigorous, because it is based on precise mathematical concepts. This framework defines several important measurement concepts (size, length, complexity, cohesion, coupling). It is not intended to be complete or fully objective; other frameworks could have been proposed and different choices could have been made. However, we believe that the formalism and properties we introduce are convenient and intuitive. In addition, we have reviewed the literature on this subject and compared it with our work. This framework contributes constructively to a firmer theoretical ground of software measurement.

Property-Based Software Engineering Measurement

NASA Technical Reports Server (NTRS)

Briand, Lionel C.; Morasca, Sandro; Basili, Victor R.

1997-01-01

Little theory exists in the field of software system measurement. Concepts such as complexity, coupling, cohesion or even size are very often subject to interpretation and appear to have inconsistent definitions in the literature. As a consequence, there is little guidance provided to the analyst attempting to define proper measures for specific problems. Many controversies in the literature are simply misunderstandings and stem from the fact that some people talk about different measurement concepts under the same label (complexity is the most common case). There is a need to define unambiguously the most important measurement concepts used in the measurement of software products. One way of doing so is to define precisely what mathematical properties characterize these concepts, regardless of the specific software artifacts to which these concepts are applied. Such a mathematical framework could generate a consensus in the software engineering community and provide a means for better communication among researchers, better guidelines for analysts, and better evaluation methods for commercial static analyzers for practitioners. In this paper, we propose a mathematical framework which is generic, because it is not specific to any particular software artifact and rigorous, because it is based on precise mathematical concepts. We use this framework to propose definitions of several important measurement concepts (size, length, complexity, cohesion, coupling). It does not intend to be complete or fully objective; other frameworks could have been proposed and different choices could have been made. However, we believe that the formalisms and properties we introduce are convenient and intuitive. This framework contributes constructively to a firmer theoretical ground of software measurement.

The Azimuth Project: an Open-Access Educational Resource

NASA Astrophysics Data System (ADS)

Baez, J. C.

2012-12-01

The Azimuth Project is an online collaboration of scientists, engineers and programmers who are volunteering their time to do something about a wide range of environmental problems. The project has several aspects: 1) a wiki designed to make reliable, sourced information easy to find and accessible to a technically literate nonexperts, 2) a blog featuring expository articles and news items, 3) a project to write programs that explain basic concepts of climate physics and illustrate principles of good open-source software design, and 4) a project to develop mathematical tools for studying complex networked systems. We discuss the progress so far and some preliminary lessons. For example, enlisting the help of experts outside academia highlights the problems with pay-walled journals and the benefits of open access, as well as differences between how software development is done commercially, in the free software community, and in academe.

Project SunSHINE: A Student Based Solar Research Program

NASA Astrophysics Data System (ADS)

Donahue, R.

2000-12-01

Eastchester Middle School (NY) is currently conducting an ongoing, interdisciplinary solar research program entitled Project SunSHINE, for Students Help Investigate Nature in Eastchester. Students are to determine how ultraviolet and visible light levels vary throughout the year at the school's geographic location, and to ascertain if any measured variations correlate to daily weather conditions or sunspot activity. The educational goal is to provide students the opportunity to conduct original and meaningful scientific research, while learning to work collaboratively with peers and teachers in accordance with national mathematics, science and technology standards. Project SunSHINE requires the student researchers to employ a number of technologies to collect and analyze data, including light sensors, astronomical imaging software, an onsite AirWatch Weather Station, Internet access to retrieve daily solar images from the National Solar Observatory's Kitt Peak Vacuum Telescope, and two wide field telescopes for live sunspot observations. The program has been integrated into the science, mathematics, health and computer technology classes. Solar and weather datasets are emailed weekly to physicist Dr. Gil Yanow of the Jet Propulsion Laboratory for inclusion in his global study of light levels. Dr. Yanow credited the Project SunSHINE student researchers last year for the discovery of an inverse relationship between relative humidity and ultraviolet light levels. The Journal News Golden Apple Awards named Project SunSHINE the 1999 New York Wired Applied Technology Award winner. This honor recognizes the year's outstanding educational technology program at both the elementary and secondary level, and included a grant of \\$20,000 to the research program. Teacher training and image processing software for Project SunSHINE has been supplied by The Use of Astronomy in Research Based Science Education (RBSE), a Teacher Enhancement Program funded by the National Science Foundation and conducted at the facilities of the National Optical Astronomy Observatory in Tucson, Arizona.

Time-on-task, technology and mathematics achievement.

PubMed

Louw, Johann; Muller, Johan; Tredoux, Colin

2008-02-01

Information and communication technologies hold much promise for use in education in developing countries. This study reports on an evaluation conducted on the introduction of computers in the delivery of the mathematics curriculum in one of the provinces of South Africa. Although the request was for an outcome evaluation very early in the implementation of the program, it was tailored in such a way as to fulfill a more formative role. Despite substantial variability in implementation, and in most cases with very weak exposure of the learners to the intervention, sufficient evidence emerged to indicate that this mode of curriculum delivery may be effective. Improvement in mathematics performance was related to a range of variables: some concerned classroom teaching practices, some referred to social differences between the learners, and some to the specific intervention. The strongest of these predictors in the sample was the strength of the intervention: the more time learners spent on using the software to study mathematics, the more improvement they showed from 1 year to the next in their performance in the subject.

Evidence-based development of a diagnosis-dependent therapy planning system and its implementation in modern diagnostic software.

PubMed

Ahlers, M O; Jakstat, H A

2005-07-01

The prerequisite for structured individual therapy of craniomandibular dysfunctions is differential diagnostics. Suggestions for the structured recording of findings and their structured evaluation beyond the global diagnosis of "craniomandibular disorders" have been published. Only this structured approach enables computerization of the diagnostic process. The respective software is available for use in practice (CMDcheck for CMD screening, CMDfact for the differential diagnostics). Based on this structured diagnostics, knowledge-based therapy planning is also conceivable. The prerequisite for this would be a model of achieving consensus on the indicated forms of therapy related to the diagnosis. Therefore, a procedure for evidence-based achievement of consensus on suitable forms of therapy in CMD was developed first in multicentric cooperation, and then implemented in corresponding software. The clinical knowledge of experienced specialists was included consciously for the consensus achievement process. At the same time, anonymized mathematical statistical evaluations were used for control and objectification. Different examiners form different departments of several universities working independently of one another assigned the theoretically conceiveable therapeutic alternatives to the already published diagnostic scheme. After anonymization, the correlation of these assignments was then calculated mathematically. For achieving consensus in those cases for which no agreement initally existed, agreement was subsequently arrived at in the course of a consensus conference on the basis of literature evaluations and the discussion of clinical case examples. This consensus in turn finally served as the basis of a therapy planner implemented in the above-mentioned diagnostic software CMDfact. Contributing to quality assurance, the principles of programming this assistant as well as the interface for linking into the diagnostic software are documented and also published here.

Improving Cognitive Abilities and e-Inclusion in Children with Cerebral Palsy

NASA Astrophysics Data System (ADS)

Martinengo, Chiara; Curatelli, Francesco

Besides overcoming the motor barriers for accessing to computers and Internet, ICT tools can provide a very useful, and often necessary, support for the cognitive development of motor-impaired children with cerebral palsy. In fact, software tools for computation and communication allow teachers to put into effect, in a more complete and efficient way, the learning methods and the educational plans studied for the child. In the present article, after a brief analysis of the general objectives to be pursued for favouring the learning for children with cerebral palsy, we take account of some specific difficulties in the logical-linguistic and logical-mathematical fields, and we show how they can be overcome using general ICT tools and specifically implemented software programs.

Assurance Cases for Proofs as Evidence

NASA Technical Reports Server (NTRS)

Chaki, Sagar; Gurfinkel, Arie; Wallnau, Kurt; Weinstock, Charles

2009-01-01

Proof-carrying code (PCC) provides a 'gold standard' for establishing formal and objective confidence in program behavior. However, in order to extend the benefits of PCC - and other formal certification techniques - to realistic systems, we must establish the correspondence of a mathematical proof of a program's semantics and its actual behavior. In this paper, we argue that assurance cases are an effective means of establishing such a correspondence. To this end, we present an assurance case pattern for arguing that a proof is free from various proof hazards. We also instantiate this pattern for a proof-based mechanism to provide evidence about a generic medical device software.

Optimization techniques applied to spectrum management for communications satellites

NASA Astrophysics Data System (ADS)

Ottey, H. R.; Sullivan, T. M.; Zusman, F. S.

This paper describes user requirements, algorithms and software design features for the application of optimization techniques to the management of the geostationary orbit/spectrum resource. Relevant problems include parameter sensitivity analyses, frequency and orbit position assignment coordination, and orbit position allotment planning. It is shown how integer and nonlinear programming as well as heuristic search techniques can be used to solve these problems. Formalized mathematical objective functions that define the problems are presented. Constraint functions that impart the necessary solution bounds are described. A versatile program structure is outlined, which would allow problems to be solved in stages while varying the problem space, solution resolution, objective function and constraints.

Using Information Technology in Mathematics Education.

ERIC Educational Resources Information Center

Tooke, D. James, Ed.; Henderson, Norma, Ed.

This collection of essays examines the history and impact of computers in mathematics and mathematics education from the early, computer-assisted instruction efforts through LOGO, the constructivist educational software for K-9 schools developed in the 1980s, to MAPLE, the computer algebra system for mathematical problem solving developed in the…

On the Shoulders of Giants: New Approaches to Numeracy.

ERIC Educational Resources Information Center

Steen, Lynn Arthur, Ed.

Forces created by the proliferation of computer hardware and software, by innovative methods of mathematical modelling and applications, by broader demographic considerations, and by schools themselves are profoundly changing the way mathematics is practiced, the way mathematics is taught, and the way mathematics is learned. In this volume, a…

Proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification

NASA Technical Reports Server (NTRS)

Ewen, Denney, W. (Editor); Jensen, Thomas (Editor)

2009-01-01

This NASA conference publication contains the proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification, held as part of LICS in Los Angeles, CA, USA, on August 15, 2009. Software certification demonstrates the reliability, safety, or security of software systems in such a way that it can be checked by an independent authority with minimal trust in the techniques and tools used in the certification process itself. It can build on existing validation and verification (V&V) techniques but introduces the notion of explicit software certificates, Vvilich contain all the information necessary for an independent assessment of the demonstrated properties. One such example is proof-carrying code (PCC) which is an important and distinctive approach to enhancing trust in programs. It provides a practical framework for independent assurance of program behavior; especially where source code is not available, or the code author and user are unknown to each other. The workshop wiII address theoretical foundations of logic-based software certification as well as practical examples and work on alternative application domains. Here "certificate" is construed broadly, to include not just mathematical derivations and proofs but also safety and assurance cases, or any fonnal evidence that supports the semantic analysis of programs: that is, evidence about an intrinsic property of code and its behaviour that can be independently checked by any user, intermediary, or third party. These guarantees mean that software certificates raise trust in the code itself, distinct from and complementary to any existing trust in the creator of the code, the process used to produce it, or its distributor. In addition to the contributed talks, the workshop featured two invited talks, by Kelly Hayhurst and Andrew Appel. The PCC 2009 website can be found at http://ti.arc.nasa.gov /event/pcc 091.

Teaching sustainability science from a systems analysis perspective: MSc course at Utrecht University

NASA Astrophysics Data System (ADS)

Santos, Maria J.; de Boer, Hugo; Dekker, Stefan

2017-04-01

Sustainability science has emerged as a key discipline that embraces both disciplinary depth and interdisciplinary breadth. The challenge is to design University courses that convey both properties without sacrificing either of them. Here we present the design of such course at Utrecht University (the Netherlands) for the MSC program 'Sustainable Development' and discuss the perceived learning and student evaluations. Our course (Sustainability Modelling and Indicators (SMI)) follows an introductory course on Sustainability Perspectives. SMI philosophy is that system thinking and system analysis is central to sustainability science. To convey this philosophy, we focus on four themes: the Anthropocene, Food security, Energy security and Agency and decision making. We developed four hands-on assignments with increasing complexity and make use of different software (Stella, Excel, IMAGE and Netlogo). The assignments aimed at: (1) teaching students the system components by using a pre-existing model in Stella, (2) challenge students to build their own coupled system in Excel, (3) assess outputs from the fully-coupled and dynamic model integrated assessment model IMAGE, and (4) understand emergent properties using an agent-based model in Netlogo. Based on detailed student evaluations (n = 95) we found that the mathematics presented a manageable challenge to a part of the students. The student pool identified a priori having higher experience with Excel in comparison with other software. Netlogo was the highest ranked software in the student evaluations and this was linked to its user-interface with moving agents. The Excel assignment received the highest and lowest scores, and students found it challenging, time consuming but also indicated that they learned the most from this assignment. Students graded what we considered 'easy' assignments with the highest grades. These results suggest that a systems analytical approach to sustainability science can be operationalized in diverse ways that relate to students background and making use of of-the-shelf software. The key challenge is to teach students all the concepts of systems analysis and the applied mathematics behind it. If the goal is to demonstrate process, this portfolio approach with of-the-shelf software can be very successful. This course can be complemented with programming that provides skills to modify and customize software to student needs.

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.

Advanced Software for Analysis of High-Speed Rolling-Element Bearings

NASA Technical Reports Server (NTRS)

Poplawski, J. V.; Rumbarger, J. H.; Peters, S. M.; Galatis, H.; Flower, R.

2003-01-01

COBRA-AHS is a package of advanced software for analysis of rigid or flexible shaft systems supported by rolling-element bearings operating at high speeds under complex mechanical and thermal loads. These loads can include centrifugal and thermal loads generated by motions of bearing components. COBRA-AHS offers several improvements over prior commercial bearing-analysis programs: It includes innovative probabilistic fatigue-life-estimating software that provides for computation of three-dimensional stress fields and incorporates stress-based (in contradistinction to prior load-based) mathematical models of fatigue life. It interacts automatically with the ANSYS finite-element code to generate finite-element models for estimating distributions of temperature and temperature-induced changes in dimensions in iterative thermal/dimensional analyses: thus, for example, it can be used to predict changes in clearances and thermal lockup. COBRA-AHS provides an improved graphical user interface that facilitates the iterative cycle of analysis and design by providing analysis results quickly in graphical form, enabling the user to control interactive runs without leaving the program environment, and facilitating transfer of plots and printed results for inclusion in design reports. Additional features include roller-edge stress prediction and influence of shaft and housing distortion on bearing performance.

Assessment of Shape Changes of Mistletoe Berries: A New Software Approach to Automatize the Parameterization of Path Curve Shaped Contours

PubMed Central

Derbidge, Renatus; Feiten, Linus; Conradt, Oliver; Heusser, Peter; Baumgartner, Stephan

2013-01-01

Photographs of mistletoe (Viscum album L.) berries taken by a permanently fixed camera during their development in autumn were subjected to an outline shape analysis by fitting path curves using a mathematical algorithm from projective geometry. During growth and maturation processes the shape of mistletoe berries can be described by a set of such path curves, making it possible to extract changes of shape using one parameter called Lambda. Lambda describes the outline shape of a path curve. Here we present methods and software to capture and measure these changes of form over time. The present paper describes the software used to automatize a number of tasks including contour recognition, optimization of fitting the contour via hill-climbing, derivation of the path curves, computation of Lambda and blinding the pictures for the operator. The validity of the program is demonstrated by results from three independent measurements showing circadian rhythm in mistletoe berries. The program is available as open source and will be applied in a project to analyze the chronobiology of shape in mistletoe berries and the buds of their host trees. PMID:23565255

What are the ultimate limits to computational techniques: verifier theory and unverifiability

NASA Astrophysics Data System (ADS)

Yampolskiy, Roman V.

2017-09-01

Despite significant developments in proof theory, surprisingly little attention has been devoted to the concept of proof verifiers. In particular, the mathematical community may be interested in studying different types of proof verifiers (people, programs, oracles, communities, superintelligences) as mathematical objects. Such an effort could reveal their properties, their powers and limitations (particularly in human mathematicians), minimum and maximum complexity, as well as self-verification and self-reference issues. We propose an initial classification system for verifiers and provide some rudimentary analysis of solved and open problems in this important domain. Our main contribution is a formal introduction of the notion of unverifiability, for which the paper could serve as a general citation in domains of theorem proving, as well as software and AI verification.

EpiModel: An R Package for Mathematical Modeling of Infectious Disease over Networks.

PubMed

Jenness, Samuel M; Goodreau, Steven M; Morris, Martina

2018-04-01

Package EpiModel provides tools for building, simulating, and analyzing mathematical models for the population dynamics of infectious disease transmission in R. Several classes of models are included, but the unique contribution of this software package is a general stochastic framework for modeling the spread of epidemics on networks. EpiModel integrates recent advances in statistical methods for network analysis (temporal exponential random graph models) that allow the epidemic modeling to be grounded in empirical data on contacts that can spread infection. This article provides an overview of both the modeling tools built into EpiModel , designed to facilitate learning for students new to modeling, and the application programming interface for extending package EpiModel , designed to facilitate the exploration of novel research questions for advanced modelers.

EpiModel: An R Package for Mathematical Modeling of Infectious Disease over Networks

PubMed Central

Jenness, Samuel M.; Goodreau, Steven M.; Morris, Martina

2018-01-01

Package EpiModel provides tools for building, simulating, and analyzing mathematical models for the population dynamics of infectious disease transmission in R. Several classes of models are included, but the unique contribution of this software package is a general stochastic framework for modeling the spread of epidemics on networks. EpiModel integrates recent advances in statistical methods for network analysis (temporal exponential random graph models) that allow the epidemic modeling to be grounded in empirical data on contacts that can spread infection. This article provides an overview of both the modeling tools built into EpiModel, designed to facilitate learning for students new to modeling, and the application programming interface for extending package EpiModel, designed to facilitate the exploration of novel research questions for advanced modelers. PMID:29731699

Can Computers be Social?

NASA Astrophysics Data System (ADS)

Ekdahl, Bertil

2002-09-01

Of main concern in agent based computing is the conception that software agents can attain socially responsible behavior. This idea has its origin in the need for agents to interact with one another in a cooperating manner. Such interplay between several agents can be seen as a combinatorial play where the rules are fixed and the actors are supposed to closely analyze the play in order to behave rational. This kind of rationality has successfully being mathematically described. When the social behavior is extended beyond rational behavior, mere mathematical analysis falls short. For such behavior language is decisive for transferring concepts and language is a holistic entity that cannot be analyzed and defined mathematically. Accordingly, computers cannot be furnished with a language in the sense that meaning can be conveyed and consequently they lack all the necessary properties to be made social. The attempts to postulate mental properties to computer programs are a misconception that is blamed the lack of true understanding of language and especially the relation between formal system and its semantics.

Perceptions and Effects of Classroom Capture Software on Course Performance among Selected Online Community College Mathematics Students

ERIC Educational Resources Information Center

Smith, Rachel Naomi

2017-01-01

The purpose of this mixed methods research study was two-fold. First, I compared the findings of the success rates of online mathematics students with the perceived effects of classroom capture software in hopes to find convergence. Second, I used multiple methods in different phases of the study to expand the breadth and range of the effects of…

Students' Expectations from Technology in Mathematical Tasks: Mathematical Relationships between Objects, Instrumental Genesis and Emergent Goals

ERIC Educational Resources Information Center

Laina, Vasiliki; Monaghan, John

2014-01-01

This paper reports on two students' work on geometry tasks in a dynamic geometry system. It augments prior work on students' instrumental geneses via a consideration of emergent goals that arise in students' work. It offers a way to interpret students' (working with new software) awareness of what software can and cannot do and students'…

Investigating the Use of the Khan Academy and Mathematics Software with a Flipped Classroom Approach in Mathematics Teaching

ERIC Educational Resources Information Center

Zengin, Yilmaz

2017-01-01

The purpose of this study was to determine the effect of the flipped classroom approach designed by using Khan Academy and free open source software on students' academic achievement and to examine students' views about this approach. The research was evaluated in the light of both qualitative and quantitative data. Twenty-eight students studying…

A Digital Control Algorithm for Magnetic Suspension Systems

NASA Technical Reports Server (NTRS)

Britton, Thomas C.

1996-01-01

An ongoing program exists to investigate and develop magnetic suspension technologies and modelling techniques at NASA Langley Research Center. Presently, there is a laboratory-scale large air-gap suspension system capable of five degree-of-freedom (DOF) control that is operational and a six DOF system that is under development. Those systems levitate a cylindrical element containing a permanent magnet core above a planar array of electromagnets, which are used for levitation and control purposes. In order to evaluate various control approaches with those systems, the Generic Real-Time State-Space Controller (GRTSSC) software package was developed. That control software package allows the user to implement multiple control methods and allows for varied input/output commands. The development of the control algorithm is presented. The desired functionality of the software is discussed, including the ability to inject noise on sensor inputs and/or actuator outputs. Various limitations, common issues, and trade-offs are discussed including data format precision; the drawbacks of using either Direct Memory Access (DMA), interrupts, or program control techniques for data acquisition; and platform dependent concerns related to the portability of the software, such as memory addressing formats. Efforts to minimize overall controller loop-rate and a comparison of achievable controller sample rates are discussed. The implementation of a modular code structure is presented. The format for the controller input data file and the noise information file is presented. Controller input vector information is available for post-processing by mathematical analysis software such as MATLAB1.

Laptop Use, Interactive Science Software, and Science Learning Among At-Risk Students

NASA Astrophysics Data System (ADS)

Zheng, Binbin; Warschauer, Mark; Hwang, Jin Kyoung; Collins, Penelope

2014-08-01

This year-long, quasi-experimental study investigated the impact of the use of netbook computers and interactive science software on fifth-grade students' science learning processes, academic achievement, and interest in further science, technology, engineering, and mathematics (STEM) study within a linguistically diverse school district in California. Analysis of students' state standardized science test scores indicated that the program helped close gaps in scientific achievement between at-risk learners (i.e., English learners, Hispanics, and free/reduced-lunch recipients) and their counterparts. Teacher and student interviews and classroom observations suggested that computer-supported visual representations and interactions supported diverse learners' scientific understanding and inquiry and enabled more individualized and differentiated instruction. Finally, interviews revealed that the program had a positive impact on students' motivation in science and on their interest in pursuing science-related careers. This study suggests that technology-facilitated science instruction is beneficial for improving at-risk students' science achievement, scaffolding students' scientific understanding, and strengthening students' motivation to pursue STEM-related careers.

Mathematical model and software for investigation of internal ballistic processes in high-speed projectile installations

NASA Astrophysics Data System (ADS)

Diachkovskii, A. S.; Zykova, A. I.; Ishchenko, A. N.; Kasimov, V. Z.; Rogaev, K. S.; Sidorov, A. D.

2017-11-01

This paper describes a software package that allows to explore the interior ballistics processes occurring in a shot scheme with bulk charges using propellant pasty substances at various loading schemes, etc. As a mathematical model, a model of a polydisperse mixture of non-deformable particles and a carrier gas phase is used in the quasi-one-dimensional approximation. Writing the equations of the mathematical model allows to use it to describe a broad class of interior ballistics processes. Features of the using approach are illustrated by calculating the ignition period for the charge of tubular propellant.

When to Renew Software Licences at HPC Centres? A Mathematical Analysis

NASA Astrophysics Data System (ADS)

Baolai, Ge; MacIsaac, Allan B.

2010-11-01

In this paper we study a common problem faced by many high performance computing (HPC) centres: When and how to renew commercial software licences. Software vendors often sell perpetual licences along with forward update and support contracts at an additional, annual cost. Every year or so, software support personnel and the budget units of HPC centres are required to make the decision of whether or not to renew such support, and usually such decisions are made intuitively. The total cost for a continuing support contract can, however, be costly. One might therefore want a rational answer to the question of whether the option for a renewal should be exercised and when. In an attempt to study this problem within a market framework, we present the mathematical problem derived for the day to day operation of a hypothetical HPC centre that charges for the use of software packages. In the mathematical model, we assume that the uncertainty comes from the demand, number of users using the packages, as well as the price. Further we assume the availability of up to date software versions may also affect the demand. We develop a renewal strategy that aims to maximize the expected profit from the use the software under consideration. The derived problem involves a decision tree, which constitutes a numerical procedure that can be processed in parallel.

From Heuristic to Mathematical Modeling of Drugs Dissolution Profiles: Application of Artificial Neural Networks and Genetic Programming

PubMed Central

Mendyk, Aleksander; Güres, Sinan; Szlęk, Jakub; Wiśniowska, Barbara; Kleinebudde, Peter

2015-01-01

The purpose of this work was to develop a mathematical model of the drug dissolution (Q) from the solid lipid extrudates based on the empirical approach. Artificial neural networks (ANNs) and genetic programming (GP) tools were used. Sensitivity analysis of ANNs provided reduction of the original input vector. GP allowed creation of the mathematical equation in two major approaches: (1) direct modeling of Q versus extrudate diameter (d) and the time variable (t) and (2) indirect modeling through Weibull equation. ANNs provided also information about minimum achievable generalization error and the way to enhance the original dataset used for adjustment of the equations' parameters. Two inputs were found important for the drug dissolution: d and t. The extrudates length (L) was found not important. Both GP modeling approaches allowed creation of relatively simple equations with their predictive performance comparable to the ANNs (root mean squared error (RMSE) from 2.19 to 2.33). The direct mode of GP modeling of Q versus d and t resulted in the most robust model. The idea of how to combine ANNs and GP in order to escape ANNs' black-box drawback without losing their superior predictive performance was demonstrated. Open Source software was used to deliver the state-of-the-art models and modeling strategies. PMID:26101544

From Heuristic to Mathematical Modeling of Drugs Dissolution Profiles: Application of Artificial Neural Networks and Genetic Programming.

PubMed

Mendyk, Aleksander; Güres, Sinan; Jachowicz, Renata; Szlęk, Jakub; Polak, Sebastian; Wiśniowska, Barbara; Kleinebudde, Peter

2015-01-01

The purpose of this work was to develop a mathematical model of the drug dissolution (Q) from the solid lipid extrudates based on the empirical approach. Artificial neural networks (ANNs) and genetic programming (GP) tools were used. Sensitivity analysis of ANNs provided reduction of the original input vector. GP allowed creation of the mathematical equation in two major approaches: (1) direct modeling of Q versus extrudate diameter (d) and the time variable (t) and (2) indirect modeling through Weibull equation. ANNs provided also information about minimum achievable generalization error and the way to enhance the original dataset used for adjustment of the equations' parameters. Two inputs were found important for the drug dissolution: d and t. The extrudates length (L) was found not important. Both GP modeling approaches allowed creation of relatively simple equations with their predictive performance comparable to the ANNs (root mean squared error (RMSE) from 2.19 to 2.33). The direct mode of GP modeling of Q versus d and t resulted in the most robust model. The idea of how to combine ANNs and GP in order to escape ANNs' black-box drawback without losing their superior predictive performance was demonstrated. Open Source software was used to deliver the state-of-the-art models and modeling strategies.

An examination of student attitudes and understanding of exponential functions using interactive instructional multimedia

NASA Astrophysics Data System (ADS)

Singleton, Cynthia M.

The purpose of this study was to examine students' attitudes and understanding of exponential functions using InterAct Math, a mathematics tutorial software. The researcher used a convenience sampling of a total of 78 students from two intact pre-calculus classes; the students in the experimental group totaled 41 and the control group totaled 37. The two groups were exposed to the same curriculum content taught by the same instructor, the researcher. The experimental group used the mathematics tutorial software as an integral part of the instructional delivery. The control group used traditional instruction without integration of the educational technology. Data were collected during a two week span using a mixed-methodology to address the major research questions: (1) Is there a statistically significant difference in the mean achievement test scores between the experimental and the control groups? (2) Is there a statistically significant difference in students' attitudes toward learning mathematics between the experimental group and the control group? The researcher utilized paired t-tests and independent t-tests as statistical methods to evaluate the effectiveness of the intervention and to establish whether there was a significant difference between the experimental and control groups. Based on the analyses of the quantitative data, it was established that the students who received the InterAct Math tutorial (experimental group) did not perform better than the control group on exponential functions, graphs and applications. However, the quantitative part of the study (Aiken-Dreger Mathematics Attitude Scale) revealed that, while students in the experimental and control groups started with similar attitudes about mathematics and the integration of technology, their attitudes were significantly different at the conclusion of the study. The fear of mathematics was reduced for the experimental group at the end of the study, and their enjoyment of the subject matter was increased as a result of the intervention. No significant difference was reported concerning attitudes toward fear and enjoyment of learning mathematics for the control group. The researcher concluded that the use of InterAct Math tutorial software as part of the instructional delivery was beneficial and contributed to a positive attitude change. Other qualitative data obtained from the unstructured interviews of the treatment group supported these findings and reported that the change in attitudes was attributable to the use of the InterAct software in the instructional delivery of the course. The researcher concluded that the results of the study did not provide evidence that InterAct Math software could be credited with producing better learning outcomes. However, it appears that the InterAct Math tutorial software is an effective tutorial tool in promoting positive change in students' attitudes toward learning mathematics; thus, it is an effective tool for mathematics instruction. Based on the above results, it was concluded that the InterAct Math tutorial is an effective tutorial tool in promoting positive attitude change in students toward learning mathematics.

Arsenic removal from contaminated groundwater by membrane-integrated hybrid plant: optimization and control using Visual Basic platform.

PubMed

Chakrabortty, S; Sen, M; Pal, P

2014-03-01

A simulation software (ARRPA) has been developed in Microsoft Visual Basic platform for optimization and control of a novel membrane-integrated arsenic separation plant in the backdrop of absence of such software. The user-friendly, menu-driven software is based on a dynamic linearized mathematical model, developed for the hybrid treatment scheme. The model captures the chemical kinetics in the pre-treating chemical reactor and the separation and transport phenomena involved in nanofiltration. The software has been validated through extensive experimental investigations. The agreement between the outputs from computer simulation program and the experimental findings are excellent and consistent under varying operating conditions reflecting high degree of accuracy and reliability of the software. High values of the overall correlation coefficient (R (2) = 0.989) and Willmott d-index (0.989) are indicators of the capability of the software in analyzing performance of the plant. The software permits pre-analysis, manipulation of input data, helps in optimization and exhibits performance of an integrated plant visually on a graphical platform. Performance analysis of the whole system as well as the individual units is possible using the tool. The software first of its kind in its domain and in the well-known Microsoft Excel environment is likely to be very useful in successful design, optimization and operation of an advanced hybrid treatment plant for removal of arsenic from contaminated groundwater.

Discerning the Shared Beliefs of Teachers in a Secondary School Mathematics Department

ERIC Educational Resources Information Center

Beswick, Kim

2016-01-01

This study examined the shared beliefs among mathematics teachers in one secondary school in the United Kingdom across the first term of a school year and almost 4 years subsequently. Leximancer software was used to analyse the language used as teachers responded to questions concerning their beliefs about mathematics, mathematics teaching,…

A Comparative Study of the Effects of Using Dynamic Geometry Software and Physical Manipulatives on the Spatial Visualisation Skills of Pre-Service Mathematics Teachers

ERIC Educational Resources Information Center

Baki, Adnan; Kosa, Temel; Guven, Bulent

2011-01-01

The study compared the effects of dynamic geometry software and physical manipulatives on the spatial visualisation skills of first-year pre-service mathematics teachers. A pre- and post-test quasi-experimental design was used. The Purdue Spatial Visualisation Test (PSVT) was used for the pre- and post-test. There were three treatment groups. The…

A Case Study on Specialised Content Knowledge Development with Dynamic Geometry Software: The Analysis of Influential Factors and Technology Beliefs of Three Pre-Service Middle Grades Mathematics Teachers

ERIC Educational Resources Information Center

Zambak, Vecihi S.; Tyminski, Andrew M.

2017-01-01

This study characterises the development of Specialised Content Knowledge (SCK) with dynamic geometry software (DGS) throughout a semester. The research employed a single-case study with the embedded units of three pre-service middle grades mathematics teachers. Qualitative data were collected, and factors affecting these three teachers' SCK…

The Effectiveness of the GeoGebra Software: The Intermediary Role of Procedural Knowledge on Students' Conceptual Knowledge and Their Achievement in Mathematics

ERIC Educational Resources Information Center

Zulnaidi, Hutkemri; Zamri, Sharifah Norul Akmar Syed

2017-01-01

The aim of this study was to identify the effects of GeoGebra software on students' conceptual and procedural knowledge and the achievement of Form Two students in Mathematics particularly on the topic Function. In addition, this study determined the role of procedural knowledge as a mediator between conceptual knowledge and students' achievement.…

Carnegie Learning Curricula and Cognitive Tutor[R] Software. What Works Clearinghouse Intervention Report

ERIC Educational Resources Information Center

What Works Clearinghouse, 2010

2010-01-01

The combination of "Carnegie Learning Curricula and Cognitive Tutor[R] Software" merges algebra textbooks with interactive software developed around an artificial intelligence model that identifies strengths and weaknesses in an individual student's mastery of mathematical concepts. The software customizes prompts to focus on areas in…

Software engineering as an engineering discipline

NASA Technical Reports Server (NTRS)

Berard, Edward V.

1988-01-01

The following topics are discussed in the context of software engineering: early use of the term; the 1968 NATO conference; Barry Boehm's definition; four requirements fo software engineering; and additional criteria for software engineering. Additionally, the four major requirements for software engineering--computer science, mathematics, engineering disciplines, and excellent communication skills--are discussed. The presentation is given in vugraph form.

PASMet: a web-based platform for prediction, modelling and analyses of metabolic systems

PubMed Central

Sriyudthsak, Kansuporn; Mejia, Ramon Francisco; Arita, Masanori; Hirai, Masami Yokota

2016-01-01

PASMet (Prediction, Analysis and Simulation of Metabolic networks) is a web-based platform for proposing and verifying mathematical models to understand the dynamics of metabolism. The advantages of PASMet include user-friendliness and accessibility, which enable biologists and biochemists to easily perform mathematical modelling. PASMet offers a series of user-functions to handle the time-series data of metabolite concentrations. The functions are organised into four steps: (i) Prediction of a probable metabolic pathway and its regulation; (ii) Construction of mathematical models; (iii) Simulation of metabolic behaviours; and (iv) Analysis of metabolic system characteristics. Each function contains various statistical and mathematical methods that can be used independently. Users who may not have enough knowledge of computing or programming can easily and quickly analyse their local data without software downloads, updates or installations. Users only need to upload their files in comma-separated values (CSV) format or enter their model equations directly into the website. Once the time-series data or mathematical equations are uploaded, PASMet automatically performs computation on server-side. Then, users can interactively view their results and directly download them to their local computers. PASMet is freely available with no login requirement at http://pasmet.riken.jp/ from major web browsers on Windows, Mac and Linux operating systems. PMID:27174940

Expressions Module for the Satellite Orbit Analysis Program

NASA Technical Reports Server (NTRS)

Edmonds, Karina

2008-01-01

The Expressions Module is a software module that has been incorporated into the Satellite Orbit Analysis Program (SOAP). The module includes an expressions- parser submodule built on top of an analytical system, enabling the user to define logical and numerical variables and constants. The variables can capture output from SOAP orbital-prediction and geometric-engine computations. The module can combine variables and constants with built-in logical operators (such as Boolean AND, OR, and NOT), relational operators (such as >, <, or =), and mathematical operators (such as addition, subtraction, multiplication, division, modulus, exponentiation, differentiation, and integration). Parentheses can be used to specify precedence of operations. The module contains a library of mathematical functions and operations, including logarithms, trigonometric functions, Bessel functions, minimum/ maximum operations, and floating- point-to-integer conversions. The module supports combinations of time, distance, and angular units and has a dimensional- analysis component that checks for correct usage of units. A parser based on the Flex language and the Bison program looks for and indicates errors in syntax. SOAP expressions can be built using other expressions as arguments, thus enabling the user to build analytical trees. A graphical user interface facilitates use.

Probability with Collaborative Data Visualization Software

ERIC Educational Resources Information Center

Willis, Melinda B. N.; Hay, Sue; Martin, Fred G.; Scribner-MacLean, Michelle; Rudnicki, Ivan

2015-01-01

Mathematics teachers continually look for ways to make the learning of mathematics more active and engaging. Hands-on activities, in particular, have been demonstrated to improve student engagement and understanding in mathematics classes. Likewise, many scholars have emphasized the growing importance of giving students experience with the…

MathBrowser: Web-Enabled Mathematical Software with Application to the Chemistry Curriculum, v 1.0

NASA Astrophysics Data System (ADS)

Goldsmith, Jack G.

1997-10-01

MathSoft: Cambridge, MA, 1996; free via ftp from www.mathsoft.com. The movement to provide computer-based applications in chemistry has come to focus on three main areas: software aimed at specific applications (drawing, simulation, data analysis, etc.), multimedia applications designed to assist in the presentation of conceptual information, and packages to be used in conjunction with a particular textbook at a specific point in the chemistry curriculum. The result is a situation where no single software package devoted to problem solving can be used across a large segment of the curriculum. Adoption of World Wide Web (WWW) technology by a manufacturer of mathematical software, however, has produced software that provides an attractive means of providing a problem-solving resource to students in courses from freshman through senior level.

TOAD Editor

NASA Technical Reports Server (NTRS)

Bingle, Bradford D.; Shea, Anne L.; Hofler, Alicia S.

1993-01-01

Transferable Output ASCII Data (TOAD) computer program (LAR-13755), implements format designed to facilitate transfer of data across communication networks and dissimilar host computer systems. Any data file conforming to TOAD format standard called TOAD file. TOAD Editor is interactive software tool for manipulating contents of TOAD files. Commonly used to extract filtered subsets of data for visualization of results of computation. Also offers such user-oriented features as on-line help, clear English error messages, startup file, macroinstructions defined by user, command history, user variables, UNDO features, and full complement of mathematical statistical, and conversion functions. Companion program, TOAD Gateway (LAR-14484), converts data files from variety of other file formats to that of TOAD. TOAD Editor written in FORTRAN 77.

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

Lai, Jih-Sheng

This paper introduces control system design based softwares, SIMNON and MATLAB/SIMULINK, for power electronics system simulation. A complete power electronics system typically consists of a rectifier bridge along with its smoothing capacitor, an inverter, and a motor. The system components, featuring discrete or continuous, linear or nonlinear, are modeled in mathematical equations. Inverter control methods,such as pulse-width-modulation and hysteresis current control, are expressed in either computer algorithms or digital circuits. After describing component models and control methods, computer programs are then developed for complete systems simulation. Simulation results are mainly used for studying system performances, such as input and outputmore » current harmonics, torque ripples, and speed responses. Key computer programs and simulation results are demonstrated for educational purposes.« less

Earth-moon system: Dynamics and parameter estimation

NASA Technical Reports Server (NTRS)

Breedlove, W. J., Jr.

1975-01-01

A theoretical development of the equations of motion governing the earth-moon system is presented. The earth and moon were treated as finite rigid bodies and a mutual potential was utilized. The sun and remaining planets were treated as particles. Relativistic, non-rigid, and dissipative effects were not included. The translational and rotational motion of the earth and moon were derived in a fully coupled set of equations. Euler parameters were used to model the rotational motions. The mathematical model is intended for use with data analysis software to estimate physical parameters of the earth-moon system using primarily LURE type data. Two program listings are included. Program ANEAMO computes the translational/rotational motion of the earth and moon from analytical solutions. Program RIGEM numerically integrates the fully coupled motions as described above.

Development of Mathematical Skills Developing Game Software.

PubMed

Hajdics, Gyula; Guzsvinecz, Tibor; Szucs, Veronika; Sik Lanyi, Cecilia

2017-01-01

Using basic mathematical operations is not easy for everyone. The AndMaths game for Android devices was developed to help elementary school students to learn these basic mathematical skills in the number ranges of twenties, fifties, hundreds and thousands. The user can freely select the number ranges.

Assessment of factors impacting success for incoming college engineering students in a summer bridge program

NASA Astrophysics Data System (ADS)

Reisel, John R.; Jablonski, Marissa; Hosseini, Hossein; Munson, Ethan

2012-06-01

A summer bridge program for incoming engineering and computer science freshmen has been used at the University of Wisconsin-Milwaukee from 2007 to 2010. The primary purpose of this program has been to improve the mathematics course placement for incoming students who initially place into a course below Calculus I on the math placement examination. The students retake the university's math placement examination after completing the bridge program to determine if they then place into a higher-level mathematics course. If the students improve their math placement, the program is considered successful for that student. The math portion of the bridge program is designed around using the ALEKS software package for targeted, self-guided learning. In the 2007 and 2008 versions of the program, both an on-line version and an on-campus version with additional instruction were offered. In 2009 and 2010, the program was exclusively in an on-campus format, and also featured a required residential component and additional engineering activities for the students. From the results of these four programs, we are able to evaluate the success of the program in its different formats. In addition, data has been collected and analysed regarding the impact of other factors on the program's success. The factors include student preparation before the beginning of the program (as measured by math ACT scores) and the amount of time the student spent working on the material during the program. Better math preparation and the amount of time spent on the program were found to be good indicators of success. Furthermore, the on-campus version of the program is more effective than the on-line version.

The Effects of Computer-Assisted Instruction on the Achievement, Attitudes and Retention of Fourth Grade Mathematics Students in North Cyprus

ERIC Educational Resources Information Center

Pilli, Olga; Aksu, Meral

2013-01-01

The purpose of this study was to examine the effects of the educational software "Frizbi Mathematics 4" on 4th grade student's mathematics achievement, retention, attitudes toward mathematics and attitude toward computer assisted learning. Two groups (experimental and control) of students from the state primary school in Gazimagusa,…

The effects of GeoGebra software on pre-service mathematics teachers' attitudes and views toward proof and proving

NASA Astrophysics Data System (ADS)

Zengin, Yılmaz

2017-11-01

The purpose of this study is to determine the effect of GeoGebra software on pre-service mathematics teachers' attitudes towards proof and proving and to determine pre-service teachers' pre- and post-views regarding proof. The study lasted nine weeks and the participants of the study consisted of 24 pre-service mathematics teachers. The study used the 'Attitude Scale Towards Proof and Proving' and an open-ended questionnaire that were administered before and after the intervention as data collection tools. Paired samples t-test analysis was used for the analysis of quantitative data and content and descriptive analyses were utilized for the analysis of qualitative data. As a result of the data analysis, it was determined that GeoGebra software was an effective tool in increasing pre-service teachers' attitudes towards proof and proving.

Reservoir property grids improve with geostatistics

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

Vogt, J.

1993-09-01

Visualization software, reservoir simulators and many other E and P software applications need reservoir property grids as input. Using geostatistics, as compared to other gridding methods, to produce these grids leads to the best output from the software programs. For the purpose stated herein, geostatistics is simply two types of gridding methods. Mathematically, these methods are based on minimizing or duplicating certain statistical properties of the input data. One geostatical method, called kriging, is used when the highest possible point-by-point accuracy is desired. The other method, called conditional simulation, is used when one wants statistics and texture of the resultingmore » grid to be the same as for the input data. In the following discussion, each method is explained, compared to other gridding methods, and illustrated through example applications. Proper use of geostatistical data in flow simulations, use of geostatistical data for history matching, and situations where geostatistics has no significant advantage over other methods, also will be covered.« less

Modeling Magnetic Properties in EZTB

NASA Technical Reports Server (NTRS)

Lee, Seungwon; vonAllmen, Paul

2007-01-01

A software module that calculates magnetic properties of a semiconducting material has been written for incorporation into, and execution within, the Easy (Modular) Tight-Binding (EZTB) software infrastructure. [EZTB is designed to model the electronic structures of semiconductor devices ranging from bulk semiconductors, to quantum wells, quantum wires, and quantum dots. EZTB implements an empirical tight-binding mathematical model of the underlying physics.] This module can model the effect of a magnetic field applied along any direction and does not require any adjustment of model parameters. The module has thus far been applied to study the performances of silicon-based quantum computers in the presence of magnetic fields and of miscut angles in quantum wells. The module is expected to assist experimentalists in fabricating a spin qubit in a Si/SiGe quantum dot. This software can be executed in almost any Unix operating system, utilizes parallel computing, can be run as a Web-portal application program. The module has been validated by comparison of its predictions with experimental data available in the literature.

PS: A nonprocedural language with data types and modules

NASA Technical Reports Server (NTRS)

Gokhale, M. B.

1986-01-01

The Problem Specification (PS) nonprocedural language is a very high level language for algorithm specification. PS is suitable for nonprogrammers, who can specify a problem using mathematically-oriented equations; for expert programmers, who can prototype different versions of a software system for evaluation; and for those who wish to use specifications for portions (if not all) of a program. PS has data types and modules similar to Modula-2. The compiler generates C code. PS is first shown by example, and then efficiency issues in scheduling and code generation are discussed.

A knowledge-based approach to improving optimization techniques in system planning

NASA Technical Reports Server (NTRS)

Momoh, J. A.; Zhang, Z. Z.

1990-01-01

A knowledge-based (KB) approach to improve mathematical programming techniques used in the system planning environment is presented. The KB system assists in selecting appropriate optimization algorithms, objective functions, constraints and parameters. The scheme is implemented by integrating symbolic computation of rules derived from operator and planner's experience and is used for generalized optimization packages. The KB optimization software package is capable of improving the overall planning process which includes correction of given violations. The method was demonstrated on a large scale power system discussed in the paper.

Care 3, Phase 1, volume 1

NASA Technical Reports Server (NTRS)

Stiffler, J. J.; Bryant, L. A.; Guccione, L.

1979-01-01

A computer program to aid in accessing the reliability of fault tolerant avionics systems was developed. A simple mathematical expression was used to evaluate the reliability of any redundant configuration over any interval during which the failure rates and coverage parameters remained unaffected by configuration changes. Provision was made for convolving such expressions in order to evaluate the reliability of a dual mode system. A coverage model was also developed to determine the various relevant coverage coefficients as a function of the available hardware and software fault detector characteristics, and subsequent isolation and recovery delay statistics.

Principles underlying the design of "The Number Race", an adaptive computer game for remediation of dyscalculia.

PubMed

Wilson, Anna J; Dehaene, Stanislas; Pinel, Philippe; Revkin, Susannah K; Cohen, Laurent; Cohen, David

2006-05-30

Adaptive game software has been successful in remediation of dyslexia. Here we describe the cognitive and algorithmic principles underlying the development of similar software for dyscalculia. Our software is based on current understanding of the cerebral representation of number and the hypotheses that dyscalculia is due to a "core deficit" in number sense or in the link between number sense and symbolic number representations. "The Number Race" software trains children on an entertaining numerical comparison task, by presenting problems adapted to the performance level of the individual child. We report full mathematical specifications of the algorithm used, which relies on an internal model of the child's knowledge in a multidimensional "learning space" consisting of three difficulty dimensions: numerical distance, response deadline, and conceptual complexity (from non-symbolic numerosity processing to increasingly complex symbolic operations). The performance of the software was evaluated both by mathematical simulations and by five weeks of use by nine children with mathematical learning difficulties. The results indicate that the software adapts well to varying levels of initial knowledge and learning speeds. Feedback from children, parents and teachers was positive. A companion article describes the evolution of number sense and arithmetic scores before and after training. The software, open-source and freely available online, is designed for learning disabled children aged 5-8, and may also be useful for general instruction of normal preschool children. The learning algorithm reported is highly general, and may be applied in other domains.

Democratizing Access to Core Mathematics across Grades 9-12

ERIC Educational Resources Information Center

Hegedus, Stephen; Dalton, Sara; Brookstein, Arden; Tapper, John; Heller, Eric

2011-01-01

The authors' proposed work builds upon 12+ years of research collectively known as the "SimCalc Projects." SimCalc Connected MathWorlds (SCM) combines two innovative technological ingredients to address core mathematical ideas in deep and sustainable ways for mathematics learners. Software that addresses content issues through dynamic…

Utilizing Microsoft Mathematics in Teaching and Learning Calculus

ERIC Educational Resources Information Center

Oktaviyanthi, Rina; Supriani, Yani

2015-01-01

The experimental design was conducted to investigate the use of Microsoft Mathematics, free software made by Microsoft Corporation, in teaching and learning Calculus. This paper reports results from experimental study details on implementation of Microsoft Mathematics in Calculus, students' achievement and the effects of the use of Microsoft…

Experimental Design: Utilizing Microsoft Mathematics in Teaching and Learning Calculus

ERIC Educational Resources Information Center

Oktaviyanthi, Rina; Supriani, Yani

2015-01-01

The experimental design was conducted to investigate the use of Microsoft Mathematics, free software made by Microsoft Corporation, in teaching and learning Calculus. This paper reports results from experimental study details on implementation of Microsoft Mathematics in Calculus, students' achievement and the effects of the use of Microsoft…

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…

Ubiquitous Wireless Laptops in Upper Elementary Mathematics

ERIC Educational Resources Information Center

Clariana, Roy

2009-01-01

This quasi-experimental investigation considers the second year of implementation of wireless laptops (1:1 ratio) in three 6th grade mathematics classrooms in one school compared to non-laptop classrooms (5:1 ratio) in seven other schools in the district. Comprehensive mathematics software from CompassLearning delivered via the internet was…

NASA Tech Briefs, December 1997. Volume 21, No. 12

NASA Technical Reports Server (NTRS)

1997-01-01

Topics: Design and Analysis Software; Electronic Components and Circuits; Electronic Systems; Physical Sciences; Materials; Computer Software; Mechanics; Manufacturing/Fabrication; Mathematics and Information Sciences; Books and Reports.

The Validation of a Software Evaluation Instrument.

ERIC Educational Resources Information Center

Schmitt, Dorren Rafael

This study, conducted at six southern universities, analyzed the validity and reliability of a researcher developed instrument designed to evaluate educational software in secondary mathematics. The instrument called the Instrument for Software Evaluation for Educators uses measurement scales, presents a summary section of the evaluation, and…

Computer Attitude, Use, Experience, Software Familiarity and Perceived Pedagogical Usefulness: The Case of Mathematics Professors

ERIC Educational Resources Information Center

Yushau, Balarabe

2006-01-01

As the pedagogical-effectiveness of information technology (IT) in mathematics education is carefully established the topic of discourse among mathematicians and mathematics educators is no longer a dispute about whether or not to use IT in the teaching and learning of mathematics but a shift to some debate about the when and how of its usage.…

Parallel-Processing Software for Creating Mosaic Images

NASA Technical Reports Server (NTRS)

Klimeck, Gerhard; Deen, Robert; McCauley, Michael; DeJong, Eric

2008-01-01

A computer program implements parallel processing for nearly real-time creation of panoramic mosaics of images of terrain acquired by video cameras on an exploratory robotic vehicle (e.g., a Mars rover). Because the original images are typically acquired at various camera positions and orientations, it is necessary to warp the images into the reference frame of the mosaic before stitching them together to create the mosaic. [Also see "Parallel-Processing Software for Correlating Stereo Images," Software Supplement to NASA Tech Briefs, Vol. 31, No. 9 (September 2007) page 26.] The warping algorithm in this computer program reflects the considerations that (1) for every pixel in the desired final mosaic, a good corresponding point must be found in one or more of the original images and (2) for this purpose, one needs a good mathematical model of the cameras and a good correlation of individual pixels with respect to their positions in three dimensions. The desired mosaic is divided into slices, each of which is assigned to one of a number of central processing units (CPUs) operating simultaneously. The results from the CPUs are gathered and placed into the final mosaic. The time taken to create the mosaic depends upon the number of CPUs, the speed of each CPU, and whether a local or a remote data-staging mechanism is used.

An Interactive Software for Conceptual Wing Flutter Analysis and Parametric Study

NASA Technical Reports Server (NTRS)

Mukhopadhyay, Vivek

1996-01-01

An interactive computer program was developed for wing flutter analysis in the conceptual design stage. The objective was to estimate the flutter instability boundary of a flexible cantilever wing, when well-defined structural and aerodynamic data are not available, and then study the effect of change in Mach number, dynamic pressure, torsional frequency, sweep, mass ratio, aspect ratio, taper ratio, center of gravity, and pitch inertia, to guide the development of the concept. The software was developed for Macintosh or IBM compatible personal computers, on MathCad application software with integrated documentation, graphics, data base and symbolic mathematics. The analysis method was based on non-dimensional parametric plots of two primary flutter parameters, namely Regier number and Flutter number, with normalization factors based on torsional stiffness, sweep, mass ratio, taper ratio, aspect ratio, center of gravity location and pitch inertia radius of gyration. The parametric plots were compiled in a Vought Corporation report from a vast data base of past experiments and wind-tunnel tests. The computer program was utilized for flutter analysis of the outer wing of a Blended-Wing-Body concept, proposed by McDonnell Douglas Corp. Using a set of assumed data, preliminary flutter boundary and flutter dynamic pressure variation with altitude, Mach number and torsional stiffness were determined.

Teaching and assessment of mathematical principles for software correctness using a reasoning concept inventory

NASA Astrophysics Data System (ADS)

Drachova-Strang, Svetlana V.

As computing becomes ubiquitous, software correctness has a fundamental role in ensuring the safety and security of the systems we build. To design and develop software correctly according to their formal contracts, CS students, the future software practitioners, need to learn a critical set of skills that are necessary and sufficient for reasoning about software correctness. This dissertation presents a systematic approach to both introducing these reasoning skills into the curriculum, and assessing how well the students have learned them. Specifically, it introduces a comprehensive Reasoning Concept Inventory (RCI) that captures the fine details of basic reasoning skills that are ideally learned across the undergraduate curriculum to reason about software correctness, to develop high quality software, and to understand why software works as specified. The RCI forms the basis for developing learning outcomes that help educators to assess the adequacy of current techniques and pinpoint necessary improvements. This dissertation contains results from experimentation and assessment over the past few years in multiple CS courses. The results show that the finer principles of mathematical reasoning of software correctness can be taught effectively and continuously improved with the help of the RCI using suitable teaching practices, and supporting methods and tools.

Teaching and Assessment of Mathematical Principles for Software Correctness Using a Reasoning Concept Inventory

ERIC Educational Resources Information Center

Drachova-Strang, Svetlana V.

2013-01-01

As computing becomes ubiquitous, software correctness has a fundamental role in ensuring the safety and security of the systems we build. To design and develop software correctly according to their formal contracts, CS students, the future software practitioners, need to learn a critical set of skills that are necessary and sufficient for…

Building Complex Systems

NASA Technical Reports Server (NTRS)

Hinchey, Mike

2006-01-01

The explosion of capabilities and new products within ICT (Information and Communication Technology) has fostered widespread, overly optimistic opinions regarding the industry, based on common but unjustified assumptions of quality and correctness of software. These assumptions are encouraged by software producers and vendors, who have not succeeded in finding a way to overcome the lack of an automated, mathematically sound way to develop correct systems from requirements. NASA faces this dilemma as it envisages advanced mission concepts in future exploration missions, which may well be the most ambitious computer-based systems ever developed. Such missions entail levels of complexity that beg for new methods for system development. NASA-led research in such areas as sensor networks, formal methods, autonomic computing, and requirements-based programming (to name but a few) will offer some innovative approaches to achieving correctness in complex system development.

Verification of floating-point software

NASA Technical Reports Server (NTRS)

Hoover, Doug N.

1990-01-01

Floating point computation presents a number of problems for formal verification. Should one treat the actual details of floating point operations, or accept them as imprecisely defined, or should one ignore round-off error altogether and behave as if floating point operations are perfectly accurate. There is the further problem that a numerical algorithm usually only approximately computes some mathematical function, and we often do not know just how good the approximation is, even in the absence of round-off error. ORA has developed a theory of asymptotic correctness which allows one to verify floating point software with a minimum entanglement in these problems. This theory and its implementation in the Ariel C verification system are described. The theory is illustrated using a simple program which finds a zero of a given function by bisection. This paper is presented in viewgraph form.

Teaching ocean wave forecasting using computer-generated visualization and animation—Part 1: sea forecasting

NASA Astrophysics Data System (ADS)

Whitford, Dennis J.

2002-05-01

Ocean waves are the most recognized phenomena in oceanography. Unfortunately, undergraduate study of ocean wave dynamics and forecasting involves mathematics and physics and therefore can pose difficulties with some students because of the subject's interrelated dependence on time and space. Verbal descriptions and two-dimensional illustrations are often insufficient for student comprehension. Computer-generated visualization and animation offer a visually intuitive and pedagogically sound medium to present geoscience, yet there are very few oceanographic examples. A two-part article series is offered to explain ocean wave forecasting using computer-generated visualization and animation. This paper, Part 1, addresses forecasting of sea wave conditions and serves as the basis for the more difficult topic of swell wave forecasting addressed in Part 2. Computer-aided visualization and animation, accompanied by oral explanation, are a welcome pedagogical supplement to more traditional methods of instruction. In this article, several MATLAB ® software programs have been written to visualize and animate development and comparison of wave spectra, wave interference, and forecasting of sea conditions. These programs also set the stage for the more advanced and difficult animation topics in Part 2. The programs are user-friendly, interactive, easy to modify, and developed as instructional tools. By using these software programs, teachers can enhance their instruction of these topics with colorful visualizations and animation without requiring an extensive background in computer programming.

Development of Ideas in a GeoGebra-Aided Mathematics Instruction

ERIC Educational Resources Information Center

Ljajko, Eugen; Ibro, Vait

2013-01-01

With GeoGebra introduced into mathematics instruction the teaching/learning process is not improved in terms of speed and quality only. Mathematical concepts, rules and procedures must be adjusted to the new environment. On the other hand, characteristics of the computer and the educational software in use must be thoroughly examined and a…

Gender Differences in the Use and Benefit of Advanced Learning Technologies for Mathematics

ERIC Educational Resources Information Center

Arroyo, Ivon; Burleson, Winslow; Tai, Minghui; Muldner, Kasia; Woolf, Beverly Park

2013-01-01

We provide evidence of persistent gender effects for students using advanced adaptive technology while learning mathematics. This technology improves each gender's learning and affective predispositions toward mathematics, but specific features in the software help either female or male students. Gender differences were seen in the students' style…

The MATH--Open Source Application for Easier Learning of Numerical Mathematics

ERIC Educational Resources Information Center

Glaser-Opitz, Henrich; Budajová, Kristina

2016-01-01

The article introduces a software application (MATH) supporting an education of Applied Mathematics, with focus on Numerical Mathematics. The MATH is an easy to use tool supporting various numerical methods calculations with graphical user interface and integrated plotting tool for graphical representation written in Qt with extensive use of Qwt…

Pedagogical Usability of the Geometer's Sketchpad (GSP) Digital Module in the Mathematics Teaching

ERIC Educational Resources Information Center

Nordin, Norazah; Zakaria, Effandi; Mohamed, Nik Rahimah Nik; Embi, Mohamed Amin

2010-01-01

Teacher played an important role in ascertaining effective teaching of mathematics. The objective of this paper was to investigate the pedagogical usability of a digital module prototype that integrated a dynamic geometry software, Geometer's Sketchpad (GSP) in mathematics teaching. The prototype was developed based on Reiser's and Dick's…

Classroom-Based Professional Expertise: A Mathematics Teacher's Practice with Technology

ERIC Educational Resources Information Center

Bozkurt, Gulay; Ruthven, Kenneth

2017-01-01

This study examines the classroom practice and craft knowledge underpinning one teacher's integration of the use of GeoGebra software into mathematics teaching. The chosen teacher worked in an English secondary school and was professionally well regarded as an accomplished user of digital technology in mathematics teaching. Designed in accordance…

Cognitive tutor: applied research in mathematics education.

PubMed

Ritter, Steven; Anderson, John R; Koedinger, Kenneth R; Corbett, Albert

2007-04-01

For 25 years, we have been working to build cognitive models of mathematics, which have become a basis for middle- and high-school curricula. We discuss the theoretical background of this approach and evidence that the resulting curricula are more effective than other approaches to instruction. We also discuss how embedding a well specified theory in our instructional software allows us to dynamically evaluate the effectiveness of our instruction at a more detailed level than was previously possible. The current widespread use of the software is allowing us to test hypotheses across large numbers of students. We believe that this will lead to new approaches both to understanding mathematical cognition and to improving instruction.

Estimating vapor pressures of pure liquids

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

Haraburda, S.S.

1996-03-01

Calculating the vapor pressures for pure liquid chemicals is a key step in designing equipment for separation of liquid mixtures. Here is a useful way to develop an equation for predicting vapor pressures over a range of temperatures. The technique uses known vapor pressure points for different temperatures. Although a vapor-pressure equation is being showcased in this article, the basic method has much broader applicability -- in fact, users can apply it to develop equations for any temperature-dependent model. The method can be easily adapted for use in software programs for mathematics evaluation, minimizing the need for any programming. Themore » model used is the Antoine equation, which typically provides a good correlation with experimental or measured data.« less

Formal specification and mechanical verification of SIFT - A fault-tolerant flight control system

NASA Technical Reports Server (NTRS)

Melliar-Smith, P. M.; Schwartz, R. L.

1982-01-01

The paper describes the methodology being employed to demonstrate rigorously that the SIFT (software-implemented fault-tolerant) computer meets its requirements. The methodology uses a hierarchy of design specifications, expressed in the mathematical domain of multisorted first-order predicate calculus. The most abstract of these, from which almost all details of mechanization have been removed, represents the requirements on the system for reliability and intended functionality. Successive specifications in the hierarchy add design and implementation detail until the PASCAL programs implementing the SIFT executive are reached. A formal proof that a SIFT system in a 'safe' state operates correctly despite the presence of arbitrary faults has been completed all the way from the most abstract specifications to the PASCAL program.

The optimization problems of CP operation

NASA Astrophysics Data System (ADS)

Kler, A. M.; Stepanova, E. L.; Maximov, A. S.

2017-11-01

The problem of enhancing energy and economic efficiency of CP is urgent indeed. One of the main methods for solving it is optimization of CP operation. To solve the optimization problems of CP operation, Energy Systems Institute, SB of RAS, has developed a software. The software makes it possible to make optimization calculations of CP operation. The software is based on the techniques and software tools of mathematical modeling and optimization of heat and power installations. Detailed mathematical models of new equipment have been developed in the work. They describe sufficiently accurately the processes that occur in the installations. The developed models include steam turbine models (based on the checking calculation) which take account of all steam turbine compartments and regeneration system. They also enable one to make calculations with regenerative heaters disconnected. The software for mathematical modeling of equipment and optimization of CP operation has been developed. It is based on the technique for optimization of CP operating conditions in the form of software tools and integrates them in the common user interface. The optimization of CP operation often generates the need to determine the minimum and maximum possible total useful electricity capacity of the plant at set heat loads of consumers, i.e. it is necessary to determine the interval on which the CP capacity may vary. The software has been applied to optimize the operating conditions of the Novo-Irkutskaya CP of JSC “Irkutskenergo”. The efficiency of operating condition optimization and the possibility for determination of CP energy characteristics that are necessary for optimization of power system operation are shown.

Principles underlying the design of "The Number Race", an adaptive computer game for remediation of dyscalculia

PubMed Central

Wilson, Anna J; Dehaene, Stanislas; Pinel, Philippe; Revkin, Susannah K; Cohen, Laurent; Cohen, David

2006-01-01

Background Adaptive game software has been successful in remediation of dyslexia. Here we describe the cognitive and algorithmic principles underlying the development of similar software for dyscalculia. Our software is based on current understanding of the cerebral representation of number and the hypotheses that dyscalculia is due to a "core deficit" in number sense or in the link between number sense and symbolic number representations. Methods "The Number Race" software trains children on an entertaining numerical comparison task, by presenting problems adapted to the performance level of the individual child. We report full mathematical specifications of the algorithm used, which relies on an internal model of the child's knowledge in a multidimensional "learning space" consisting of three difficulty dimensions: numerical distance, response deadline, and conceptual complexity (from non-symbolic numerosity processing to increasingly complex symbolic operations). Results The performance of the software was evaluated both by mathematical simulations and by five weeks of use by nine children with mathematical learning difficulties. The results indicate that the software adapts well to varying levels of initial knowledge and learning speeds. Feedback from children, parents and teachers was positive. A companion article [1] describes the evolution of number sense and arithmetic scores before and after training. Conclusion The software, open-source and freely available online, is designed for learning disabled children aged 5–8, and may also be useful for general instruction of normal preschool children. The learning algorithm reported is highly general, and may be applied in other domains. PMID:16734905

Reflections of Computing Experiences in a Steel Factory in the Early 1960s

NASA Astrophysics Data System (ADS)

Järvinen, Pertti

We can best see many things from a historical perspective. What were the first pioneers doing in the information technology departments of Finnish manufacturing companies? In early 1960s, I had a special chance to work in a steel industry that had long traditions to use rather advanced tools and methods to intensify their productivity. The first computer in our company had such novel properties as movable disk packs making a direct access of stored data possible. In this paper, we describe the following issues and innovations in some depth. These include (a) transitioning from the punched card machines to a new computer era, (b) using advanced programming language to intensify production of new computer software, (c) drawing pictures by using a line printer, (d) supporting steel making with mathematical software, (e) storing executable programs to the disk memory and calling and moving them from there to the core memory for running, and (f) building a simple report generator. I will also pay attention to the breakthrough in those innovations and in this way demonstrate how some computing solutions were growing at that time.

Project SYNERGY: Software Support for Underprepared Students. Software Implementation Report.

ERIC Educational Resources Information Center

Anandam, Kamala; And Others

Miami-Dade Community College's (MDCC's) implementation and assessment of computer software as a part of Project SYNERGY, a multi-institutional project funded by the International Business Machines (IBM) Corporation designed to seek technological solutions for helping students underprepared in reading, writing and mathematics, is described in this…

Graphs, matrices, and the GraphBLAS: Seven good reasons

DOE PAGES

Kepner, Jeremy; Bader, David; Buluç, Aydın; ...

2015-01-01

The analysis of graphs has become increasingly important to a wide range of applications. Graph analysis presents a number of unique challenges in the areas of (1) software complexity, (2) data complexity, (3) security, (4) mathematical complexity, (5) theoretical analysis, (6) serial performance, and (7) parallel performance. Implementing graph algorithms using matrix-based approaches provides a number of promising solutions to these challenges. The GraphBLAS standard (istcbigdata.org/GraphBlas) is being developed to bring the potential of matrix based graph algorithms to the broadest possible audience. The GraphBLAS mathematically defines a core set of matrix-based graph operations that can be used to implementmore » a wide class of graph algorithms in a wide range of programming environments. This paper provides an introduction to the GraphBLAS and describes how the GraphBLAS can be used to address many of the challenges associated with analysis of graphs.« less

Developing Learning Tool of Control System Engineering Using Matrix Laboratory Software Oriented on Industrial Needs

NASA Astrophysics Data System (ADS)

Isnur Haryudo, Subuh; Imam Agung, Achmad; Firmansyah, Rifqi

2018-04-01

The purpose of this research is to develop learning media of control technique using Matrix Laboratory software with industry requirement approach. Learning media serves as a tool for creating a better and effective teaching and learning situation because it can accelerate the learning process in order to enhance the quality of learning. Control Techniques using Matrix Laboratory software can enlarge the interest and attention of students, with real experience and can grow independent attitude. This research design refers to the use of research and development (R & D) methods that have been modified by multi-disciplinary team-based researchers. This research used Computer based learning method consisting of computer and Matrix Laboratory software which was integrated with props. Matrix Laboratory has the ability to visualize the theory and analysis of the Control System which is an integration of computing, visualization and programming which is easy to use. The result of this instructional media development is to use mathematical equations using Matrix Laboratory software on control system application with DC motor plant and PID (Proportional-Integral-Derivative). Considering that manufacturing in the field of Distributed Control systems (DCSs), Programmable Controllers (PLCs), and Microcontrollers (MCUs) use PID systems in production processes are widely used in industry.

IBM techexplorer and MathML: Interactive Multimodal Scientific Documents

NASA Astrophysics Data System (ADS)

Diaz, Angel

2001-06-01

The World Wide Web provides a standard publishing platform for disseminating scientific and technical articles, books, journals, courseware, or even homework on the internet; however, the transition from paper to web-based interactive content has brought new opportunities for creating interactive content. Students, scientists, and engineers are now faced with the task of rendering the 2D presentational structure of mathematics, harnessing the wealth of scientific and technical software, and creating truly accessible scientific portals across international boundaries and markets. The recent emergence of World Wide Web Consortium (W3C) standards such as the Mathematical Markup Language (MathML), Language (XSL), and Aural CSS (ACSS) provide a foundation whereby mathematics can be displayed, enlivened, computed, and audio formatted. With interoperability ensured by standards, software applications can be easily brought together to create extensible and interactive scientific content. In this presentation we will provide an overview of the IBM techexplorer Hypermedia Browser, a web browser plug-in and ActiveX control aimed at bringing interactive mathematics to the masses across platforms and applications. We will demonstrate "live" mathematics where documents that contain MathML expressions can be edited and computed right inside your favorite web browser. This demonstration will be generalized as we show how MathML can be used to enliven even PowerPoint presentations. Finally, we will close the loop by demonstrating a novel approach to spoken mathematics based on MathML, DOM, XSL, ACSS, techexplorer, and IBM ViaVoice. By making use of techexplorer as the glue that binds the rendered content to the web browser, the back-end computation software, the Java applets that augment the exposition, and voice-rendering systems such as ViaVoice, authors can indeed create truly extensible and interactive scientific content. For more information see: [http://www.software.ibm.com/techexplorer] [http://www.alphaworks.ibm.com] [http://www.w3.org

Software Reviews.

ERIC Educational Resources Information Center

Bitter, Gary G., Ed.

1989-01-01

Describes three software packages: (1) "MacMendeleev"--database/graphic display for chemistry, grades 10-12, Macintosh; (2) "Geometry One: Foundations"--geometry tutorial, grades 7-12, IBM; (3) "Mathematics Exploration Toolkit"--algebra and calculus tutorial, grades 8-12, IBM. (MVL)

DAISY: a new software tool to test global identifiability of biological and physiological systems.

PubMed

Bellu, Giuseppina; Saccomani, Maria Pia; Audoly, Stefania; D'Angiò, Leontina

2007-10-01

A priori global identifiability is a structural property of biological and physiological models. It is considered a prerequisite for well-posed estimation, since it concerns the possibility of recovering uniquely the unknown model parameters from measured input-output data, under ideal conditions (noise-free observations and error-free model structure). Of course, determining if the parameters can be uniquely recovered from observed data is essential before investing resources, time and effort in performing actual biomedical experiments. Many interesting biological models are nonlinear but identifiability analysis for nonlinear system turns out to be a difficult mathematical problem. Different methods have been proposed in the literature to test identifiability of nonlinear models but, to the best of our knowledge, so far no software tools have been proposed for automatically checking identifiability of nonlinear models. In this paper, we describe a software tool implementing a differential algebra algorithm to perform parameter identifiability analysis for (linear and) nonlinear dynamic models described by polynomial or rational equations. Our goal is to provide the biological investigator a completely automatized software, requiring minimum prior knowledge of mathematical modelling and no in-depth understanding of the mathematical tools. The DAISY (Differential Algebra for Identifiability of SYstems) software will potentially be useful in biological modelling studies, especially in physiology and clinical medicine, where research experiments are particularly expensive and/or difficult to perform. Practical examples of use of the software tool DAISY are presented. DAISY is available at the web site http://www.dei.unipd.it/~pia/.

Rad Toolbox User's Guide

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

Eckerman, Keith F.; Sjoreen, Andrea L.

2013-05-01

The Radiological Toolbox software developed by Oak Ridge National Laboratory (ORNL) for U. S. Nuclear Regulatory Commission (NRC) is designed to provide electronic access to the vast and varied data that underlies the field of radiation protection. These data represent physical, chemical, anatomical, physiological, and mathematical parameters detailed in various handbooks which a health physicist might consult while in his office. The initial motivation for the software was to serve the needs of the health physicist away from his office and without access to his handbooks; e.g., NRC inspectors. The earlier releases of the software were widely used and acceptedmore » around the world by not only practicing health physicist but also those within educational programs. This release updates the software to accommodate changes in Windows operating systems and, in some aspects, radiation protection. This release has been tested on Windows 7 and 8 and on 32- and 64-bit machines. The nuclear decay data has been updated and thermal neutron capture cross sections and cancer risk coefficients have been included. This document and the software’s user’s guide provide further details and documentation of the information captured within the Radiological Toolbox.« less

Dust in the Primary Classroom.

ERIC Educational Resources Information Center

Pritchard, Alan

1990-01-01

Described is the use of a commercial computer software package, "Dust," to enhance mathematical learning in the classroom. Samples of mathematics problems presented in this game which is a simulation of an adventure in outer space are presented. (CW)

Experiences Teaching a Software Aided Mathematics Course for a General University Audience.

ERIC Educational Resources Information Center

McGivney, Raymond J., Jr.

1990-01-01

Described is a nonmajor mathematics course taught using computers and lab experiments. Included are the challenge, solution, description of the first class, problems, successes, the syllabus, student comments, and the conclusion. (KR)

Experience of Integrating Various Technological Tools into the Study and Future Teaching of Mathematics Education Students

ERIC Educational Resources Information Center

Gorev, Dvora; Gurevich-Leibman, Irina

2015-01-01

This paper presents our experience of integrating technological tools into our mathematics teaching (in both disciplinary and didactic courses) for student-teachers. In the first cycle of our study, a variety of technological tools were used (e.g., dynamic software, hypertexts, video and applets) in teaching two disciplinary mathematics courses.…

ICT Integration in Mathematics Initial Teacher Training and Its Impact on Visualization: The Case of GeoGebra

ERIC Educational Resources Information Center

Dockendorff, Monika; Solar, Horacio

2018-01-01

This case study investigates the impact of the integration of information and communications technology (ICT) in mathematics visualization skills and initial teacher education programmes. It reports on the influence GeoGebra dynamic software use has on promoting mathematical learning at secondary school and on its impact on teachers' conceptions…

Telling Mathematical Stories with Live Editing

ERIC Educational Resources Information Center

Thomson, Ian

2017-01-01

Using "live editing" it is possible to write code that can be run a section at a time. This makes it easier to spot and correct errors. It can also be used to create an interactive mathematical story. This brief article shows how MATLAB software can be used to take the user on a mathematical journey with historical connections.

Matrices. New Topics for Secondary School Mathematics: Materials and Software.

ERIC Educational Resources Information Center

North Carolina School of Science and Mathematics. Dept. of Mathematics and Computer Science.

This material on matrices is part of "Introduction to College Mathematics" (ICM), designed to prepare high school students who have students who have completed algebra II for the variety of mathematics they will encounter in college and beyond. The concept goals of this unit are to use matrices to model real-world phenomena, to use matrices as…

Geometric Probability. New Topics for Secondary School Mathematics. Materials and Software.

ERIC Educational Resources Information Center

National Council of Teachers of Mathematics, Inc., Reston, VA.

These materials on geometric probability are the first unit in a course being developed by the Mathematics Department at the North Carolina School of Science and Mathematics. This course is designed to prepare high school students who have completed Algebra 2 for the variety of math courses they will encounter in college. Assuming only a knowledge…

Information Communication Technology Pedagogical Integration in Mathematics Instruction among Teachers in Secondary Schools in Kenya

ERIC Educational Resources Information Center

Wanjala, Martin

2016-01-01

This paper reports finding of the study that sought to ascertain the extent of ICT-pedagogical integration in mathematics instruction among secondary school teachers in Kenya. Information was sought on professional development experiences and needs in computer technology use in mathematics instruction, the type of computer software used in…

Mathematical Understanding of the Underprivileged Students through GeoGebra

NASA Astrophysics Data System (ADS)

Amam, A.; Fatimah, A. T.; Hartono, W.; Effendi, A.

2017-09-01

A student’s mathematical understanding in high school from poor families in the district of Ciamis is still low. After reviews the various literature and earlier research, consequently, researchers convince that learning mathematics with GeoGebra can help students improve for the better understanding. Our long-term goal of this research is to support the implementation of new curriculum, namely ICT-based learning mathematics. Another goal is to give a basic mastery skill regarding mathematics software to students from underprivileged families. Moreover, the specific objective of this study is to examine the students’ mathematical understanding from underprivileged families after the implementation of learning with GeoGebra. We use a quantitative comparative research method to determine differences in the mathematical understanding of students’ from underprivileged families before and after mathematics learning with GeoGebra. Accordingly, the students of senior high school from underprivileged family in Baregbeg, Ciamis district, are the population of this study. This research is using purposive sampling. The instrument is in the form of a test question, which is the test of mathematical understanding. Research results show that the mathematical understanding students’ from underprivileged families after the mathematics learning with GeoGebra becomes better than before. The novelty of this research is that students understand the material of trigonometry through the use of modules, aided by GeoGebra in learning activities. Thus, the understanding has an impact on improving students’ mathematical understanding. Students also master the use of GeoGebra Software. Implementing these two things will be very useful for the next lesson.

TU-FG-201-07: Development of SRS Conical Collimator Collision Prediction Software for Radiation Treatment Safety

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

Gutti, V; Morrow, A; Kim, S

Purpose: Stereotactic radiosurgery (SRS) treatments using conical collimators can potentially result in gantry collision with treatment table due to limited collision-clear spaces. An in-house software was developed to help the SRS treatment planner mitigate potential SRS conical collimator (Varian Medical System, Palo Alto, CA) collisions with the treatment table. This software was designed to remove treatment re-planning secondary to unexpected collisions. Methods: A BrainLAB SRS ICT Frameless Extension used for SRS treatments in our clinic was mathematically modelled using surface points registered to the 3D co-ordinate space of the couch extension. The surface points are transformed based on the treatmentmore » isocenter point and potential collisions are determined in 3D space for couch and gantry angle combinations. The distance between the SRS conical collimators and LINAC isocenter is known. The collision detection model was programmed in MATLAB (Mathwork, Natick, MA) to display graphical plots of the calculations, and the plotted data is used to avoid the gantry and couch angle combinations that would likely result in a collision. We have utilized the cone collision tool for 23 SRS cone treatment plans (8 retrospective and 15 prospective for 10 patients). Results: Twenty one plans strongly agreed with the software tool prediction for collision. However, in two plans, a collision was observed with a 0.5 cm margin when the software predicted no collision. Therefore, additional margins were added to the clearance criteria in the program to achieve a lower risk of actual collisions. Conclusion: Our in-house developed collision check software successfully avoided SRS cone re-planning by 91.3% due to a reduction in cone collisions with the treatment table. Future developments to our software will include a CT image data set based collision prediction model as well as a beam angle optimization tool to avoid normal critical tissues as well as previously treated lesions.« less

Applied Mathematics at the U.S. Department of Energy: Past, Present and a View to the Future

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

Brown, D L; Bell, J; Estep, D

2008-02-15

Over the past half-century, the Applied Mathematics program in the U.S. Department of Energy's Office of Advanced Scientific Computing Research has made significant, enduring advances in applied mathematics that have been essential enablers of modern computational science. Motivated by the scientific needs of the Department of Energy and its predecessors, advances have been made in mathematical modeling, numerical analysis of differential equations, optimization theory, mesh generation for complex geometries, adaptive algorithms and other important mathematical areas. High-performance mathematical software libraries developed through this program have contributed as much or more to the performance of modern scientific computer codes as themore » high-performance computers on which these codes run. The combination of these mathematical advances and the resulting software has enabled high-performance computers to be used for scientific discovery in ways that could only be imagined at the program's inception. Our nation, and indeed our world, face great challenges that must be addressed in coming years, and many of these will be addressed through the development of scientific understanding and engineering advances yet to be discovered. The U.S. Department of Energy (DOE) will play an essential role in providing science-based solutions to many of these problems, particularly those that involve the energy, environmental and national security needs of the country. As the capability of high-performance computers continues to increase, the types of questions that can be answered by applying this huge computational power become more varied and more complex. It will be essential that we find new ways to develop and apply the mathematics necessary to enable the new scientific and engineering discoveries that are needed. In August 2007, a panel of experts in applied, computational and statistical mathematics met for a day and a half in Berkeley, California to understand the mathematical developments required to meet the future science and engineering needs of the DOE. It is important to emphasize that the panelists were not asked to speculate only on advances that might be made in their own research specialties. Instead, the guidance this panel was given was to consider the broad science and engineering challenges that the DOE faces and identify the corresponding advances that must occur across the field of mathematics for these challenges to be successfully addressed. As preparation for the meeting, each panelist was asked to review strategic planning and other informational documents available for one or more of the DOE Program Offices, including the Offices of Science, Nuclear Energy, Fossil Energy, Environmental Management, Legacy Management, Energy Efficiency & Renewable Energy, Electricity Delivery & Energy Reliability and Civilian Radioactive Waste Management as well as the National Nuclear Security Administration. The panelists reported on science and engineering needs for each of these offices, and then discussed and identified mathematical advances that will be required if these challenges are to be met. A review of DOE challenges in energy, the environment and national security brings to light a broad and varied array of questions that the DOE must answer in the coming years. A representative subset of such questions includes: (1) Can we predict the operating characteristics of a clean coal power plant? (2) How stable is the plasma containment in a tokamak? (3) How quickly is climate change occurring and what are the uncertainties in the predicted time scales? (4) How quickly can an introduced bio-weapon contaminate the agricultural environment in the US? (5) How do we modify models of the atmosphere and clouds to incorporate newly collected data of possibly of new types? (6) How quickly can the United States recover if part of the power grid became inoperable? (7) What are optimal locations and communication protocols for sensing devices in a remote-sensing network? (8) How can new materials be designed with a specified desirable set of properties? In comparing and contrasting these and other questions of importance to DOE, the panel found that while the scientific breadth of the requirements is enormous, a central theme emerges: Scientists are being asked to identify or provide technology, or to give expert analysis to inform policy-makers that requires the scientific understanding of increasingly complex physical and engineered systems. In addition, as the complexity of the systems of interest increases, neither experimental observation nor mathematical and computational modeling alone can access all components of the system over the entire range of scales or conditions needed to provide the required scientific understanding.« less

Analytical Design of Evolvable Software for High-Assurance Computing

DTIC Science & Technology

2001-02-14

Mathematical expression for the Total Sum of Squares which measures the variability that results when all values are treated as a combined sample coming from...primarily interested in background on software design and high-assurance computing, research in software architecture generation or evaluation...respectively. Those readers solely interested in the validation of a software design approach should at the minimum read Chapter 6 followed by Chapter

A real-time, dual processor simulation of the rotor system research aircraft

NASA Technical Reports Server (NTRS)

Mackie, D. B.; Alderete, T. S.

1977-01-01

A real-time, man-in-the loop, simulation of the rotor system research aircraft (RSRA) was conducted. The unique feature of this simulation was that two digital computers were used in parallel to solve the equations of the RSRA mathematical model. The design, development, and implementation of the simulation are documented. Program validation was discussed, and examples of data recordings are given. This simulation provided an important research tool for the RSRA project in terms of safe and cost-effective design analysis. In addition, valuable knowledge concerning parallel processing and a powerful simulation hardware and software system was gained.

GeoGebra as an Artist's Paintbrush

ERIC Educational Resources Information Center

Aktümen, Muharrem; Yildiz, Avni

2016-01-01

One of the definitions of mathematics is that it is "a science of patterns and themes". Within the scope of this definition, the current software technology facilitates the creation of visuals and patterns. Thus, GeoGebra software was used. The study was carried out in two stages. In the first stage, the Dynamic Geometry Software and the…

Facilitating mathematics learning for students with upper extremity disabilities using touch-input system.

PubMed

Choi, Kup-Sze; Chan, Tak-Yin

2015-03-01

To investigate the feasibility of using tablet device as user interface for students with upper extremity disabilities to input mathematics efficiently into computer. A touch-input system using tablet device as user interface was proposed to assist these students to write mathematics. User-switchable and context-specific keyboard layouts were designed to streamline the input process. The system could be integrated with conventional computer systems only with minor software setup. A two-week pre-post test study involving five participants was conducted to evaluate the performance of the system and collect user feedback. The mathematics input efficiency of the participants was found to improve during the experiment sessions. In particular, their performance in entering trigonometric expressions by using the touch-input system was significantly better than that by using conventional mathematics editing software with keyboard and mouse. The participants rated the touch-input system positively and were confident that they could operate at ease with more practice. The proposed touch-input system provides a convenient way for the students with hand impairment to write mathematics and has the potential to facilitate their mathematics learning. Implications for Rehabilitation Students with upper extremity disabilities often face barriers to learning mathematics which is largely based on handwriting. Conventional computer user interfaces are inefficient for them to input mathematics into computer. A touch-input system with context-specific and user-switchable keyboard layouts was designed to improve the efficiency of mathematics input. Experimental results and user feedback suggested that the system has the potential to facilitate mathematics learning for the students.

Creating a YouTube-Like Collaborative Environment in Mathematics: Integrating Animated Geogebra Constructions and Student-Generated Screencast Videos

ERIC Educational Resources Information Center

Lazarus, Jill; Roulet, Geoffrey

2013-01-01

This article discusses the integration of student-generated GeoGebra applets and Jing screencast videos to create a YouTube-like medium for sharing in mathematics. The value of combining dynamic mathematics software and screencast videos for facilitating communication and representations in a digital era is demonstrated herein. We share our…

Teaching Early Mathematics with PLATO[R] Software: An Overview of the New PLATO Elementary Mathematics Curricula and How To Use Them. Technical Paper.

ERIC Educational Resources Information Center

Quinn, Bill; Foshay, Rob; Morris, Barbara

The "PLATO[R] Math Expeditions" and "PLATO[R] Projects for the Real World" curricula are designed to implement effective, research-based instructional practices. "Math Expeditions" is designed to give elementary grade users the mathematics skills and practice needed to solve real-life problems. Across the eight…

A Caribbean Pre-Service Mathematics Teacher's Impetus to Integrate Computer Technology in His Practice

ERIC Educational Resources Information Center

Clarke, Pier Junor

2009-01-01

This article presents a case study of one pre-service secondary school mathematics (PSSM) teacher taken from a larger study within an English-speaking Caribbean context. The major goal of the larger study was to investigate the experiences and perceptions of the PSSM teachers as they explored the graphing calculator and mathematics software in…

Comparison of cyclic correlation algorithm implemented in matlab and python

NASA Astrophysics Data System (ADS)

Carr, Richard; Whitney, James

Simulation is a necessary step for all engineering projects. Simulation gives the engineers an approximation of how their devices will perform under different circumstances, without hav-ing to build, or before building a physical prototype. This is especially true for space bound devices, i.e., space communication systems, where the impact of system malfunction or failure is several orders of magnitude over that of terrestrial applications. Therefore having a reliable simulation tool is key in developing these devices and systems. Math Works Matrix Laboratory (MATLAB) is a matrix based software used by scientists and engineers to solve problems and perform complex simulations. MATLAB has a number of applications in a wide variety of fields which include communications, signal processing, image processing, mathematics, eco-nomics and physics. Because of its many uses MATLAB has become the preferred software for many engineers; it is also very expensive, especially for students and startups. One alternative to MATLAB is Python. The Python is a powerful, easy to use, open source programming environment that can be used to perform many of the same functions as MATLAB. Python programming environment has been steadily gaining popularity in niche programming circles. While there are not as many function included in the software as MATLAB, there are many open source functions that have been developed that are available to be downloaded for free. This paper illustrates how Python can implement the cyclic correlation algorithm and com-pares the results to the cyclic correlation algorithm implemented in the MATLAB environment. Some of the characteristics to be compared are the accuracy and precision of the results, and the length of the programs. The paper will demonstrate that Python is capable of performing simulations of complex algorithms such cyclic correlation.

Toxicity Estimation Software Tool (TEST)

EPA Science Inventory

The Toxicity Estimation Software Tool (TEST) was developed to allow users to easily estimate the toxicity of chemicals using Quantitative Structure Activity Relationships (QSARs) methodologies. QSARs are mathematical models used to predict measures of toxicity from the physical c...

Dynamic Right Triangles

ERIC Educational Resources Information Center

Koyunkaya, Melike Yigit; Kastberg, Signe; Quinlan, James; Edwards, Michael Todd; Keiser, Jane

2015-01-01

Right triangles play a significant role in mathematics. In this favorite lesson, the authors help students understand variant and invariant properties by considering relationships among angle measures and side lengths in right triangles. Students explore these relationships using interactive mathematics software, changing one angle and observing…

Formal methods in computer system design

NASA Astrophysics Data System (ADS)

Hoare, C. A. R.

1989-12-01

This note expounds a philosophy of engineering design which is stimulated, guided and checked by mathematical calculations and proofs. Its application to software engineering promises the same benifits as those derived from the use of mathematics in all other branches of modern science.

Grayscale Optical Correlator Workbench

NASA Technical Reports Server (NTRS)

Hanan, Jay; Zhou, Hanying; Chao, Tien-Hsin

2006-01-01

Grayscale Optical Correlator Workbench (GOCWB) is a computer program for use in automatic target recognition (ATR). GOCWB performs ATR with an accurate simulation of a hardware grayscale optical correlator (GOC). This simulation is performed to test filters that are created in GOCWB. Thus, GOCWB can be used as a stand-alone ATR software tool or in combination with GOC hardware for building (target training), testing, and optimization of filters. The software is divided into three main parts, denoted filter, testing, and training. The training part is used for assembling training images as input to a filter. The filter part is used for combining training images into a filter and optimizing that filter. The testing part is used for testing new filters and for general simulation of GOC output. The current version of GOCWB relies on the mathematical software tools from MATLAB binaries for performing matrix operations and fast Fourier transforms. Optimization of filters is based on an algorithm, known as OT-MACH, in which variables specified by the user are parameterized and the best filter is selected on the basis of an average result for correct identification of targets in multiple test images.

Building an open-source robotic stereotaxic instrument.

PubMed

Coffey, Kevin R; Barker, David J; Ma, Sisi; West, Mark O

2013-10-29

This protocol includes the designs and software necessary to upgrade an existing stereotaxic instrument to a robotic (CNC) stereotaxic instrument for around $1,000 (excluding a drill), using industry standard stepper motors and CNC controlling software. Each axis has variable speed control and may be operated simultaneously or independently. The robot's flexibility and open coding system (g-code) make it capable of performing custom tasks that are not supported by commercial systems. Its applications include, but are not limited to, drilling holes, sharp edge craniotomies, skull thinning, and lowering electrodes or cannula. In order to expedite the writing of g-coding for simple surgeries, we have developed custom scripts that allow individuals to design a surgery with no knowledge of programming. However, for users to get the most out of the motorized stereotax, it would be beneficial to be knowledgeable in mathematical programming and G-Coding (simple programming for CNC machining). The recommended drill speed is greater than 40,000 rpm. The stepper motor resolution is 1.8°/Step, geared to 0.346°/Step. A standard stereotax has a resolution of 2.88 μm/step. The maximum recommended cutting speed is 500 μm/sec. The maximum recommended jogging speed is 3,500 μm/sec. The maximum recommended drill bit size is HP 2.

Adapting iterative algorithms for solving large sparse linear systems for efficient use on the CDC CYBER 205

NASA Technical Reports Server (NTRS)

Kincaid, D. R.; Young, D. M.

1984-01-01

Adapting and designing mathematical software to achieve optimum performance on the CYBER 205 is discussed. Comments and observations are made in light of recent work done on modifying the ITPACK software package and on writing new software for vector supercomputers. The goal was to develop very efficient vector algorithms and software for solving large sparse linear systems using iterative methods.

SKYMAP system description: Star catalog data base generation and utilization

NASA Technical Reports Server (NTRS)

Gottlieb, D. M.

1979-01-01

The specifications, design, software description, and use of the SKYMAP star catalog system are detailed. The SKYMAP system was developed to provide an accurate and complete catalog of all stars with blue or visual magnitudes brighter than 9.0 for use by attitude determination programs. Because of the large number of stars which are brighter than 9.0 magnitude, efficient techniques of manipulating and accessing the data were required. These techniques of staged distillation of data from a Master Catalog to a Core Catalog, and direct access of overlapping zone catalogs, form the basis of the SKYMAP system. The collection and tranformation of data required to produce the Master Catalog data base is described. The data flow through the main programs and levels of star catalogs is detailed. The mathematical and logical techniques for each program and the format of all catalogs are documented.

DAISY: a new software tool to test global identifiability of biological and physiological systems

PubMed Central

Bellu, Giuseppina; Saccomani, Maria Pia; Audoly, Stefania; D’Angiò, Leontina

2009-01-01

A priori global identifiability is a structural property of biological and physiological models. It is considered a prerequisite for well-posed estimation, since it concerns the possibility of recovering uniquely the unknown model parameters from measured input-output data, under ideal conditions (noise-free observations and error-free model structure). Of course, determining if the parameters can be uniquely recovered from observed data is essential before investing resources, time and effort in performing actual biomedical experiments. Many interesting biological models are nonlinear but identifiability analysis for nonlinear system turns out to be a difficult mathematical problem. Different methods have been proposed in the literature to test identifiability of nonlinear models but, to the best of our knowledge, so far no software tools have been proposed for automatically checking identifiability of nonlinear models. In this paper, we describe a software tool implementing a differential algebra algorithm to perform parameter identifiability analysis for (linear and) nonlinear dynamic models described by polynomial or rational equations. Our goal is to provide the biological investigator a completely automatized software, requiring minimum prior knowledge of mathematical modelling and no in-depth understanding of the mathematical tools. The DAISY (Differential Algebra for Identifiability of SYstems) software will potentially be useful in biological modelling studies, especially in physiology and clinical medicine, where research experiments are particularly expensive and/or difficult to perform. Practical examples of use of the software tool DAISY are presented. DAISY is available at the web site http://www.dei.unipd.it/~pia/. PMID:17707944

Software for Secondary-School Learning About Robotics

NASA Technical Reports Server (NTRS)

Shelton, Robert O.; Smith, Stephanie L.; Truong, Dat; Hodgson, Terry R.

2005-01-01

The ROVer Ranch is an interactive computer program designed to help secondary-school students learn about space-program robotics and related basic scientific concepts by involving the students in simplified design and programming tasks that exercise skills in mathematics and science. The tasks involve building simulated robots and then observing how they behave. The program furnishes (1) programming tools that a student can use to assemble and program a simulated robot and (2) a virtual three-dimensional mission simulator for testing the robot. First, the ROVer Ranch presents fundamental information about robotics, mission goals, and facts about the mission environment. On the basis of this information, and using the aforementioned tools, the student assembles a robot by selecting parts from such subsystems as propulsion, navigation, and scientific tools, the student builds a simulated robot to accomplish its mission. Once the robot is built, it is programmed and then placed in a three-dimensional simulated environment. Success or failure in the simulation depends on the planning and design of the robot. Data and results of the mission are available in a summary log once the mission is concluded.

Emerging High School Students' Problem Solving Trajectories Based on the Use of Dynamic Software

ERIC Educational Resources Information Center

Santos-Trigo, Manuel; Cristobal-Escalante, Cesar

2008-01-01

This study documents problem solving approaches that high school students develop as a result of using systematically Cabri-Geometry software. Results show that the use of the software becomes an important tool for students to construct dynamic representations of the problems that were used to identify and examine different mathematical relations.…

R&D Project on Algebra Software Seen to Show Promise

ERIC Educational Resources Information Center

Trotter, Andrew

2007-01-01

Computer software that shows students visual models of mathematical concepts--and lets them manipulate those models by doing math--has a certain intuitive appeal. Now, recent research on SimCalc Mathworlds, one of the pioneering examples of such software, is providing some of the best evidence so far that the approach can lead to gains in student…

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…

A Mathematical Model for the Exhaust Gas Temperature Profile of a Diesel Engine

NASA Astrophysics Data System (ADS)

Brito, C. H. G.; Maia, C. B.; Sodré, J. R.

2015-09-01

This work presents a heat transfer model for the exhaust gas of a diesel power generator to determine the gas temperature profile in the exhaust pipe. The numerical methodology to solve the mathematical model was developed using a finite difference method approach for energy equation resolution and determination of temperature profiles considering turbulent fluid flow and variable fluid properties. The simulation was carried out for engine operation under loads from 0 kW to 40 kW. The model was compared with results obtained using the multidimensional Ansys CFX software, which was applied to solve the governor equations of turbulent fluid flow. The results for the temperature profiles in the exhaust pipe show a good proximity between the mathematical model developed and the multidimensional software.

Mathematical support for automated geometry analysis of lathe machining of oblique peakless round-nose tools

NASA Astrophysics Data System (ADS)

Filippov, A. V.; Tarasov, S. Yu; Podgornyh, O. A.; Shamarin, N. N.; Filippova, E. O.

2017-01-01

Automatization of engineering processes requires developing relevant mathematical support and a computer software. Analysis of metal cutting kinematics and tool geometry is a necessary key task at the preproduction stage. This paper is focused on developing a procedure for determining the geometry of oblique peakless round-nose tool lathe machining with the use of vector/matrix transformations. Such an approach allows integration into modern mathematical software packages in distinction to the traditional analytic description. Such an advantage is very promising for developing automated control of the preproduction process. A kinematic criterion for the applicable tool geometry has been developed from the results of this study. The effect of tool blade inclination and curvature on the geometry-dependent process parameters was evaluated.

Robotic Mission to Mars: Hands-on, minds-on, web-based learning

NASA Astrophysics Data System (ADS)

Mathers, Naomi; Goktogen, Ali; Rankin, John; Anderson, Marion

2012-11-01

Problem-based learning has been demonstrated as an effective methodology for developing analytical skills and critical thinking. The use of scenario-based learning incorporates problem-based learning whilst encouraging students to collaborate with their colleagues and dynamically adapt to their environment. This increased interaction stimulates a deeper understanding and the generation of new knowledge. The Victorian Space Science Education Centre (VSSEC) uses scenario-based learning in its Mission to Mars, Mission to the Orbiting Space Laboratory and Primary Expedition to the M.A.R.S. Base programs. These programs utilize methodologies such as hands-on applications, immersive-learning, integrated technologies, critical thinking and mentoring to engage students in Science, Technology, Engineering and Mathematics (STEM) and highlight potential career paths in science and engineering. The immersive nature of the programs demands specialist environments such as a simulated Mars environment, Mission Control and Space Laboratory, thus restricting these programs to a physical location and limiting student access to the programs. To move beyond these limitations, VSSEC worked with its university partners to develop a web-based mission that delivered the benefits of scenario-based learning within a school environment. The Robotic Mission to Mars allows students to remotely control a real rover, developed by the Australian Centre for Field Robotics (ACFR), on the VSSEC Mars surface. After completing a pre-mission training program and site selection activity, students take on the roles of scientists and engineers in Mission Control to complete a mission and collect data for further analysis. Mission Control is established using software developed by the ACRI Games Technology Lab at La Trobe University using the principles of serious gaming. The software allows students to control the rover, monitor its systems and collect scientific data for analysis. This program encourages students to work scientifically and explores the interaction between scientists and engineers. This paper presents the development of the program, including the involvement of university students in the development of the rover, the software, and the collation of the scientific data. It also presents the results of the trial phase of this program including the impact on student engagement and learning outcomes.

Approaches to highly parameterized inversion-A guide to using PEST for groundwater-model calibration

USGS Publications Warehouse

Doherty, John E.; Hunt, Randall J.

2010-01-01

Highly parameterized groundwater models can create calibration difficulties. Regularized inversion-the combined use of large numbers of parameters with mathematical approaches for stable parameter estimation-is becoming a common approach to address these difficulties and enhance the transfer of information contained in field measurements to parameters used to model that system. Though commonly used in other industries, regularized inversion is somewhat imperfectly understood in the groundwater field. There is concern that this unfamiliarity can lead to underuse, and misuse, of the methodology. This document is constructed to facilitate the appropriate use of regularized inversion for calibrating highly parameterized groundwater models. The presentation is directed at an intermediate- to advanced-level modeler, and it focuses on the PEST software suite-a frequently used tool for highly parameterized model calibration and one that is widely supported by commercial graphical user interfaces. A brief overview of the regularized inversion approach is provided, and techniques for mathematical regularization offered by PEST are outlined, including Tikhonov, subspace, and hybrid schemes. Guidelines for applying regularized inversion techniques are presented after a logical progression of steps for building suitable PEST input. The discussion starts with use of pilot points as a parameterization device and processing/grouping observations to form multicomponent objective functions. A description of potential parameter solution methodologies and resources available through the PEST software and its supporting utility programs follows. Directing the parameter-estimation process through PEST control variables is then discussed, including guidance for monitoring and optimizing the performance of PEST. Comprehensive listings of PEST control variables, and of the roles performed by PEST utility support programs, are presented in the appendixes.

Status of Teachers' Technology Uptake and Use of GeoGebra in Teaching Secondary School Mathematics in Kenya

ERIC Educational Resources Information Center

Mwingirwa, Irene Mukiri; Miheso-O'Connor, Marguerite Khakasa

2016-01-01

The uptake of technology and specifically, GeoGebra software, in teaching mathematics has had mixed success in spite of its documented benefits. This study investigated teachers' perspective towards training and eventual use of GeoGebra as a tool to enhance learning of mathematics. In this article we share findings from a larger study that was…

Addressing the United States Navy Need for Software Engineering Education

DTIC Science & Technology

1999-09-01

taught in MA 1996 (5 - 0). Precalculus review, complex numbers and algebra, complex plane, DeMovire’s Theorem, matrix algebra, LU decomposition...This course was designed for the METOC and Combat Systems curricula. PREREQUISITE: Precalculus mathematics. MA1996 MATHEMATICS FOR SCIENTISTS AND...description for MAI995 (5 - 0). This course was designed for the METOC and Combat Systems curricula. PREREQUISITE: Precalculus mathematics. PHYSICS/SYSTEMS

Software Quality Metrics Enhancements. Volume 1

DTIC Science & Technology

1980-04-01

the mathematical relationships which relate metrics to ratings of the various quality factors) for factors which were not validated previously were...function, provides a mathematical relationship between the metrics and the quality factors. (3) Validation of these normalization functions was performed by...samples, further research is needed before a high degree of confidence can be placed on the mathematical relationships established to date l (3.3.3) 6

Houston prefreshman enrichment program (Houston PREP). Final report, June 10, 1996--August 1, 1996

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

NONE

1996-10-01

The 1996 Houston Pre-freshman Enrichment Program (PREP) was conducted on the campus of the University of Houston-Downtown from June 10 to August 1, 1996. Program Participants were recruited from the Greater Houston area. All participants were identified as high achieving students with an interest in learning about the engineering and science professions. The goal of the program was to better prepare our pre-college youth prior to entering college as mathematics, science and engineering majors. The program participants were middle school and high school students from the Aldine, Alief, Channel View, Crockett, Cypress-Fairbanks, Fort Bend, Galena Park, Houston, Humble, Katy, Klein,more » North Forest, Pasadena, Private, and Spring Branch Independent School Districts. Of the 197 students starting the program, 170 completed, 142 students were from economically and socially disadvantage groups underrepresented in the engineering and science professions, and 121 of the 197 were female. Our First Year group for 1996 composed of 96% minority and women students. Our Second and Third Year students were 100% and 93.75% minority or women respectively. This gave an overall minority and female population of 93.75%. This year, special efforts were again made to recruit students from minority groups, which caused a significant increase in qualified applicants. However, due to space limitations, 140 applicants were rejected. Investigative and discovery learning were key elements of PREP. The academic components of the program included Algebraic Structures, Engineering, Introduction to Computer Science, Introduction to Physics, Logic and Its Application to Mathematics, Probability and Statistics, Problem Solving Seminar using computers and PLATO software, SAT Preparatory Seminars, and Technical Writing.« less

Output Devices, Computation, and the Future of Mathematical Crafts.

ERIC Educational Resources Information Center

Eisenberg, Michael

2002-01-01

The advent of powerful, affordable output devices offers the potential for a vastly expanded landscape of computationally-enriched mathematical craft activities in education. Craft activities have both intellectual and emotional affordances that are relatively lacking in "traditional" computer-based education. Describes three software applications…

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

Views of Pre-Service Teachers Following Teaching Experience on Use of Dynamic Geometry Software

ERIC Educational Resources Information Center

Günes, Kardelen; Tapan-Broutin, Menekse Seden

2017-01-01

The study aims to determine the views of final-year pre-service mathematics teachers towards their experience of the use of dynamic geometry software in teaching, following the implementation processes that they carried out when using this software in a real classroom environment. The study was designed as a case study, which is one of the…

Potentials for Spatial Geometry Curriculum Development with Three-Dimensional Dynamic Geometry Software in Lower Secondary Mathematics

ERIC Educational Resources Information Center

Miyazaki, Mikio; Kimiho, Chino; Katoh, Ryuhei; Arai, Hitoshi; Ogihara, Fumihiro; Oguchi, Yuichi; Morozumi, Tatsuo; Kon, Mayuko; Komatsu, Kotaro

2012-01-01

Three-dimensional dynamic geometry software has the power to enhance students' learning of spatial geometry. The purpose of this research is to clarify what potential using three-dimensional dynamic geometry software can offer us in terms of how to develop the spatial geometry curriculum in lower secondary schools. By focusing on the impacts the…

Using a commercial mathematics software package for on-line analysis at the BNL Accelerator Test Facility

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

Malone, R.; Wang, X.J.

BY WRITING BOTH A CUSTOM WINDOWS(NTTM) DYNAMIC LINK LIBRARY AND GENERIC COMPANION SERVER SOFTWARE, THE INTRINSIC FUNCTIONS OF MATHSOFT MATHCAD(TM) HAVE BEEN EXTENDED WITH NEW CAPABILITIES WHICH PERMIT DIRECT ACCESS TO THE CONTROL SYSTEM DATABASES OF BROOKHAVEN NATIONAL LABORATORY ACCELERATOR TEST FACILITY. UNDER THIS SCHEME, A MATHCAD WORKSHEET EXECUTING ON A PERSONAL COMPUTER BECOMES A CLIENT WHICH CAN BOTH IMPORT AND EXPORT DATA TO A CONTROL SYSTEM SERVER VIA A NETWORK STREAM SOCKET CONNECTION. THE RESULT IS AN ALTERNATIVE, MATHEMATICALLY ORIENTED VIEW OF CONTROLLING THE ACCELERATOR INTERACTIVELY.

Integrating External Software into SMART Board™ Calculus Lessons

ERIC Educational Resources Information Center

Wolmer, Allen; Khazanov, Leonid

2011-01-01

Interactive Whiteboards (IWBs) are becoming commonplace throughout primary, secondary, and postsecondary classrooms. However, the focus of the associated lesson creation & management software tools delivered with IWBs has been the primary grades, while secondary and postsecondary mathematics lessons have requirements beyond what is delivered…

Generating Cultures for Mathematical Microworld Development in a Multi-Organizational Context.

ERIC Educational Resources Information Center

Kynigos, Chronis

2002-01-01

Discusses methodological issues of mathematical microworld development integrated with generating innovation in school settings. Includes experiences in developing a component architecture for educational software based on Logo as a scripting language and discusses problems of collaboration between organizations and people of differing expertise…

Crocodile Mathematics 1.1. [CD-ROM].

ERIC Educational Resources Information Center

2002

This CD-ROM consists of software that allows both teachers and students to create and experiment with mathematical models by linking shapes, graphs, numbers, and equations. It is usable for demonstrations, home learning, reinforcing concepts, illustrating concepts that are difficult to visualize, further pupil investigations, and project work.…

CAS as Environments for Implementing Mathematical Microworlds.

ERIC Educational Resources Information Center

Alpers, Burkhard

2002-01-01

Investigates whether computer algebra systems (CAS) are suitable environments for implementing mathematical microworlds. Recalls what constitutes a microworld and explores how CAS can be used for implementation, stating potentials as well as limitations. Provides as an example the microworld "Formula 1", implemented in Maple Software. (Author/KHR)

The AMATYC Review. 1994-1995.

ERIC Educational Resources Information Center

Browne, Joseph, Ed.

1995-01-01

Designed as an avenue of communication for mathematics educators concerned with the views, ideas, and experiences of two-year college students and teachers, this journal contains articles on mathematics exposition and education, and regular features presenting book and software reviews and math problems. In addition to regular features such as…

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.

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.…

A method for the processing and analysis of digital terrain elevation data. [Shiprock and Gallup Quadrangles, Arizona and New Mexico

NASA Technical Reports Server (NTRS)

Junkin, B. G. (Principal Investigator)

1979-01-01

A method is presented for the processing and analysis of digital topography data that can subsequently be entered in an interactive data base in the form of slope, slope length, elevation, and aspect angle. A discussion of the data source and specific descriptions of the data processing software programs are included. In addition, the mathematical considerations involved in the registration of raw digitized coordinate points to the UTM coordinate system are presented. Scale factor considerations are also included. Results of the processing and analysis are illustrated using the Shiprock and Gallup Quadrangle test data.

Stress state estimation in multilayer support of vertical shafts, considering off-design cross-sectional deformation

NASA Astrophysics Data System (ADS)

Antsiferov, SV; Sammal, AS; Deev, PV

2018-03-01

To determine the stress-strain state of multilayer support of vertical shafts, including cross-sectional deformation of the tubing rings as against the design, the authors propose an analytical method based on the provision of the mechanics of underground structures and surrounding rock mass as the elements of an integrated deformable system. The method involves a rigorous solution of the corresponding problem of elasticity, obtained using the mathematical apparatus of the theory of analytic functions of a complex variable. The design method is implemented as a software program allowing multivariate applied computation. Examples of the calculation are given.

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.

Which Kind of Mathematics for Quantum Mechanics? the Relevance of H. Weyl's Program of Research

NASA Astrophysics Data System (ADS)

Drago, Antonino

In 1918 Weyl's book Das Kontinuum planned to found anew mathematics upon more conservative bases than both rigorous mathematics and set theory. It gave birth to the so-called Weyl's elementary mathematics, i.e. an intermediate mathematics between the mathematics rejecting at all actual infinity and the classical one including it almost freely. The present paper scrutinises the subsequent Weyl's book Gruppentheorie und Quantenmechanik (1928) as a program for founding anew theoretical physics - through quantum theory - and at the same time developing his mathematics through an improvement of group theory; which, according to Weyl, is a mathematical theory effacing the old distinction between discrete and continuous mathematics. Evidence from Weyl's writings is collected for supporting this interpretation. Then Weyl's program is evaluated as unsuccessful, owing to some crucial difficulties of both physical and mathematical nature. The present clear-cut knowledge of Weyl's elementary mathematics allows us to re-evaluate Weyl's program in order to look for more adequate formulations of quantum mechanics in any weaker kind of mathematics than the classical one.

Preliminary description of the area navigation software for a microcomputer-based Loran-C receiver

NASA Technical Reports Server (NTRS)

Oguri, F.

1983-01-01

The development of new software implementation of this software on a microcomputer (MOS 6502) to provide high quality navigation information is described. This software development provides Area/Route Navigation (RNAV) information from Time Differences (TDs) in raw form using an elliptical Earth model and a spherical model. The software is prepared for the microcomputer based Loran-C receiver. To compute navigation infomation, a (MOS 6502) microcomputer and a mathematical chip (AM 9511A) were combined with the Loran-C receiver. Final data reveals that this software does indeed provide accurate information with reasonable execution times.

Incorporating Student Activities into Climate Change Education

NASA Astrophysics Data System (ADS)

Steele, H.; Kelly, K.; Klein, D.; Cadavid, A. C.

2013-12-01

Under a NASA grant, Mathematical and Geospatial Pathways to Climate Change Education, students at California State University, Northridge integrated Geographic Information Systems (GIS), remote sensing, satellite data technologies, and climate modelling into the study of global climate change under a Pathway for studying the Mathematics of Climate Change (PMCC). The PMCC, which is an interdisciplinary option within the BS in Applied Mathematical Sciences, consists of courses offered by the departments of Mathematics, Physics, and Geography and is designed to prepare students for careers and Ph.D. programs in technical fields relevant to global climate change. Under this option students are exposed to the science, mathematics, and applications of climate change science through a variety of methods including hands-on experience with computer modeling and image processing software. In the Geography component of the program, ESRI's ArcGIS and ERDAS Imagine mapping, spatial analysis and image processing software were used to explore NASA satellite data to examine the earth's atmosphere, hydrosphere and biosphere in areas that are affected by climate change or affect climate. These technology tools were incorporated into climate change and remote sensing courses to enhance students' knowledge and understanding of climate change through hands-on application of image processing techniques to NASA data. Several sets of exercises were developed with specific learning objectives in mind. These were (1) to increase student understanding of climate change and climate change processes; (2) to develop student skills in understanding, downloading and processing satellite data; (3) to teach remote sensing technology and GIS through applications to climate change; (4) to expose students to climate data and methods they can apply to solve real world problems and incorporate in future research projects. In the Math and Physics components of the course, students learned about atmospheric circulation with applications of the Lorenz model, explored the land-sea breeze problem with the Dynamics and Thermodynamics Circulation Model (DTDM), and developed simple radiative transfer models. Class projects explored the effects of varying the content of CO2 and CH4 in the atmosphere, as well as the properties of paleoclimates in atmospheric simulations using EdGCM. Initial assessment of student knowledge, attitudes, and behaviors associated with these activities, particularly about climate change, was measured. Pre- and post-course surveys provided student perspectives about the courses and their learning about remote sensing and climate change concepts. Student performance on the tutorials and course projects evaluated students' ability to learn and apply their knowledge about climate change and skills with remote sensing to assigned problems or proposed projects of their choice. Survey and performance data illustrated that the exercises were successful in meeting their intended learning objectives as well as opportunities for further refinement and expansion.

Mathematical model of the metal mould surface temperature optimization

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

Mlynek, Jaroslav, E-mail: jaroslav.mlynek@tul.cz; Knobloch, Roman, E-mail: roman.knobloch@tul.cz; Srb, Radek, E-mail: radek.srb@tul.cz

2015-11-30

The article is focused on the problem of generating a uniform temperature field on the inner surface of shell metal moulds. Such moulds are used e.g. in the automotive industry for artificial leather production. To produce artificial leather with uniform surface structure and colour shade the temperature on the inner surface of the mould has to be as homogeneous as possible. The heating of the mould is realized by infrared heaters located above the outer mould surface. The conceived mathematical model allows us to optimize the locations of infrared heaters over the mould, so that approximately uniform heat radiation intensitymore » is generated. A version of differential evolution algorithm programmed in Matlab development environment was created by the authors for the optimization process. For temperate calculations software system ANSYS was used. A practical example of optimization of heaters locations and calculation of the temperature of the mould is included at the end of the article.« less

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.

An Innovative Learning Model for Computation in First Year Mathematics

ERIC Educational Resources Information Center

Tonkes, E. J.; Loch, B. I.; Stace, A. W.

2005-01-01

MATLAB is a sophisticated software tool for numerical analysis and visualization. The University of Queensland has adopted Matlab as its official teaching package across large first year mathematics courses. In the past, the package has met severe resistance from students who have not appreciated their computational experience. Several main…

The AMATYC Review, Volume 18, Numbers 1-2, Fall 1996-Spring 1997.

ERIC Educational Resources Information Center

Browne, Joseph, Ed.

1997-01-01

Designed as an avenue of communication for mathematics educators concerned with the views, ideas, and experiences of two-year college students and teachers, this journal contains articles on mathematics exposition and education and regular features presenting book and software reviews, classroom activities, instructor experiences, and math…

Cactus: Writing an Article

ERIC Educational Resources Information Center

Hyde, Hartley; Spencer, Toby

2010-01-01

Some people became mathematics or science teachers by default. There was once such a limited range of subjects that students who could not write essays did mathematics and science. Computers changed that. Word processor software helped some people overcome huge spelling and grammar hurdles and made it easy to edit and manipulate text. Would-be…

"Scratch"ing below the Surface: Mathematics through an Alternative Digital Lens?

ERIC Educational Resources Information Center

Calder, Nigel; Taylor, Merilyn

2010-01-01

A key element in the examination of how students process mathematics through digital technologies is considering the ways that digital pedagogical media might influence the learning process. How might students' understanding emerge through engagement in a digital-learning environment? Interactive software that has cross-curricula implications and…

SRA Real Math Building Blocks PreK. What Works Clearinghouse Intervention Report

ERIC Educational Resources Information Center

What Works Clearinghouse, 2007

2007-01-01

"SRA Real Math Building Blocks PreK" (also referred to as "Building Blocks for Math") is a supplemental mathematics curriculum designed to develop preschool children's early mathematical knowledge through various individual and small- and large-group activities. It uses "Building Blocks for Math PreK" software,…

Integrating "GeoGebra" into IWB-Equipped Teaching Environments: Preliminary Results

ERIC Educational Resources Information Center

Lavicza, Zsolt; Papp-Varga, Zsuzsanna

2010-01-01

The aims of the project described in this paper are threefold. Firstly, the authors aim to examine how "GeoGebra", an open-source dynamic mathematics software application, can be used successfully for mathematics teaching in interactive whiteboard (IWB)-equipped teaching environments. Secondly, they intend to uncover how professional…

Mathematical modeling of hydromechanical extrusion

NASA Astrophysics Data System (ADS)

Agapitova, O. Yu.; Byvaltsev, S. V.; Zalazinsky, A. G.

2017-12-01

The mathematical modeling of the hydromechanical extrusion of metals through two sequentially installed cone dies is carried out. The optimum parameters of extrusion tools are determined to minimize the extrusion force. A software system has been developed to solve problems of plastic deformation of metals and to provide an optimum design of extrusion tools.

The AMATYC Review, Volume 17. Numbers 1-2, Fall 1995-Spring 1996.

ERIC Educational Resources Information Center

Browne, Joseph, Ed.

1996-01-01

Designed as an avenue of communication for mathematics educators concerned with the views, ideas, and experiences of two-year college students and teachers, this journal contains articles on mathematics exposition and education and regular features presenting book and software reviews, classroom activities, instructor experiences, and math…

Cognitive Tutor®. What Works Clearinghouse Intervention Report

ERIC Educational Resources Information Center

What Works Clearinghouse, 2016

2016-01-01

"Cognitive Tutor"® is a secondary mathematics curriculum developed by Carnegie Learning that focuses on how students think about and learn mathematics. Teachers facilitate student learning as students acquire and apply new information and discuss their work. The curriculum can be implemented using a textbook, adaptive software, or…

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.

Mathematics and Measurement.

PubMed

Boisvert, R F; Donahue, M J; Lozier, D W; McMichael, R; Rust, B W

2001-01-01

In this paper we describe the role that mathematics plays in measurement science at NIST. We first survey the history behind NIST's current work in this area, starting with the NBS Math Tables project of the 1930s. We then provide examples of more recent efforts in the application of mathematics to measurement science, including the solution of ill-posed inverse problems, characterization of the accuracy of software for micromagnetic modeling, and in the development and dissemination of mathematical reference data. Finally, we comment on emerging issues in measurement science to which mathematicians will devote their energies in coming years.

Advanced Transport Operating System (ATOPS) utility library software description

NASA Technical Reports Server (NTRS)

Clinedinst, Winston C.; Slominski, Christopher J.; Dickson, Richard W.; Wolverton, David A.

1993-01-01

The individual software processes used in the flight computers on-board the Advanced Transport Operating System (ATOPS) aircraft have many common functional elements. A library of commonly used software modules was created for general uses among the processes. The library includes modules for mathematical computations, data formatting, system database interfacing, and condition handling. The modules available in the library and their associated calling requirements are described.

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…

Examples of testing global identifiability of biological and biomedical models with the DAISY software.

PubMed

Saccomani, Maria Pia; Audoly, Stefania; Bellu, Giuseppina; D'Angiò, Leontina

2010-04-01

DAISY (Differential Algebra for Identifiability of SYstems) is a recently developed computer algebra software tool which can be used to automatically check global identifiability of (linear and) nonlinear dynamic models described by differential equations involving polynomial or rational functions. Global identifiability is a fundamental prerequisite for model identification which is important not only for biological or medical systems but also for many physical and engineering systems derived from first principles. Lack of identifiability implies that the parameter estimation techniques may not fail but any obtained numerical estimates will be meaningless. The software does not require understanding of the underlying mathematical principles and can be used by researchers in applied fields with a minimum of mathematical background. We illustrate the DAISY software by checking the a priori global identifiability of two benchmark nonlinear models taken from the literature. The analysis of these two examples includes comparison with other methods and demonstrates how identifiability analysis is simplified by this tool. Thus we illustrate the identifiability analysis of other two examples, by including discussion of some specific aspects related to the role of observability and knowledge of initial conditions in testing identifiability and to the computational complexity of the software. The main focus of this paper is not on the description of the mathematical background of the algorithm, which has been presented elsewhere, but on illustrating its use and on some of its more interesting features. DAISY is available on the web site http://www.dei.unipd.it/ approximately pia/. 2010 Elsevier Ltd. All rights reserved.

Does Your Graphing Software Real-ly Work?

ERIC Educational Resources Information Center

Marchand, R. J.; McDevitt, T. J.; Bosse, Michael J.; Nandakumar, N. R.

2007-01-01

Many popular mathematical software products including Maple, Mathematica, Derive, Mathcad, Matlab, and some of the TI calculators produce incorrect graphs because they use complex arithmetic instead of "real" arithmetic. This article expounds on this issue, provides possible remedies for instructors to share with their students, and demonstrates…

Software-Based Student Response Systems: An Interdisciplinary Initiative

ERIC Educational Resources Information Center

Fischer, Carol M.; Hoffman, Michael S.; Casey, Nancy C.; Cox, Maureen P.

2015-01-01

Colleagues from information technology and three academic departments collaborated on an instructional technology initiative to employ student response systems in classes in mathematics, accounting and education. The instructors assessed the viability of using software-based systems to enable students to use their own devices (cell phones,…

The effects of computer-assisted instruction on the mathematics performance and classroom behavior of children with ADHD.

PubMed

Mautone, Jennifer A; DuPaul, George J; Jitendra, Asha K

2005-08-01

The present study examines the effects of computer-assisted instruction (CAI) on the mathematics performance and classroom behavior of three second-through fourth-grade students with ADHD. A controlled case study is used to evaluate the effects of the computer software on participants' mathematics performance and on-task behavior. Participants' mathematics achievement improve and their on-task behavior increase during the CAI sessions relative to independent seatwork conditions. In addition, students and teachers consider CAI to be an acceptable intervention for some students with ADHD who are having difficulty with mathematics. Implications of these results for practice and research are discussed.

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,…

Radiobiological modeling with MarCell software

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

Hasan, J.S.; Jones, T.D.

1999-01-01

A nonlinear system of differential equations that models the bone marrow cellular kinetics associated with radiation injury, molecular repair, and compensatory cell proliferation has been extensively documented. Recently, that model has been implemented as MarCell, a user-friendly MS-DOS computer program that allows users with little knowledge of the original model to evaluate complex radiation exposure scenarios. The software allows modeling with the following radiations: tritium beta, 100 kVp X, 250 kVp X, 22 MV X, {sup 60}Co, {sup 137}Cs, 2 MeV electrons, triga neutrons, D-T neutrons, and 3 blends of mixed-field fission radiations. The possible cell lineages are stem, stroma,more » and leukemia/lymphoma, and the available species include mouse, rat, dog, sheep, swine, burro, and man. An attractive mathematical feature is that any protracted protocol can be expressed as an equivalent prompt dose for either the source used or for a reference, such as 250 kVp X rays or {sup 60}Co. Output from MarCell includes: risk of 30-day mortality; risk of cancer and leukemia based either on cytopenia or compensatory cell proliferation; cell survival plots as a function of time or dose; and 4-week recovery kinetics following treatment. In this article, the program`s applicability and ease of use are demonstrated by evaluating a medical total body irradiation protocol and a nuclear fallout scenario.« less

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…

A hybrid modeling system designed to support decision making in the optimization of extrusion of inhomogeneous materials

NASA Astrophysics Data System (ADS)

Kryuchkov, D. I.; Zalazinsky, A. G.

2017-12-01

Mathematical models and a hybrid modeling system are developed for the implementation of the experimental-calculation method for the engineering analysis and optimization of the plastic deformation of inhomogeneous materials with the purpose of improving metal-forming processes and machines. The created software solution integrates Abaqus/CAE, a subroutine for mathematical data processing, with the use of Python libraries and the knowledge base. Practical application of the software solution is exemplified by modeling the process of extrusion of a bimetallic billet. The results of the engineering analysis and optimization of the extrusion process are shown, the material damage being monitored.

Discrepancy Reporting Management System

NASA Technical Reports Server (NTRS)

Cooper, Tonja M.; Lin, James C.; Chatillon, Mark L.

2004-01-01

Discrepancy Reporting Management System (DRMS) is a computer program designed for use in the stations of NASA's Deep Space Network (DSN) to help establish the operational history of equipment items; acquire data on the quality of service provided to DSN customers; enable measurement of service performance; provide early insight into the need to improve processes, procedures, and interfaces; and enable the tracing of a data outage to a change in software or hardware. DRMS is a Web-based software system designed to include a distributed database and replication feature to achieve location-specific autonomy while maintaining a consistent high quality of data. DRMS incorporates commercial Web and database software. DRMS collects, processes, replicates, communicates, and manages information on spacecraft data discrepancies, equipment resets, and physical equipment status, and maintains an internal station log. All discrepancy reports (DRs), Master discrepancy reports (MDRs), and Reset data are replicated to a master server at NASA's Jet Propulsion Laboratory; Master DR data are replicated to all the DSN sites; and Station Logs are internal to each of the DSN sites and are not replicated. Data are validated according to several logical mathematical criteria. Queries can be performed on any combination of data.

Instructional design in mathematics for undergraduate students based on learning by mistakes approach utilizing scilab assistance

NASA Astrophysics Data System (ADS)

Kartika, H.

2018-03-01

The issue related to making mistake while learning such as negative emotion is found while students learn mathematics with the aid of a computer. When the computer output showed a mistake message, the students considered it as a computer software malfunction. Based on this issue, the writer designs an instructional model based on learning by mistake approach and which is Scilab assisted. The method used in this research is research design involving undergraduate students in matrix algebra courses. The data collected throught survey with questionnaire to gain feedback about the approach implemented. The data analyzed using quantitative descriptive. The instructional design proposed is the student act as a mistake corrector while the teacher acts as a mistake maker. Teacher deliberately makes mistakes with the help of Scilab software. On the other hand, students correct, analyze and explain errors resulting from Scilab software. The result of this research is an ICT based instructional design which is expected to be applicable as an alternative learning in directing students to think positively about mistakes in learning. Furthermore, students are also expected to improve their ability in understanding and thinking critically while solving problems and improving themselves in learning mathematics.

Modeling of Semiconductor Optical Amplifier Gain Characteristics for Amplification and Switching

NASA Astrophysics Data System (ADS)

Mahad, Farah Diana; Sahmah, Abu; Supa'at, M.; Idrus, Sevia Mahdaliza; Forsyth, David

2011-05-01

The Semiconductor Optical Amplifier (SOA) is presently commonly used as a booster or pre-amplifier in some communication networks. However, SOAs are also a strong candidate for utilization as multi-functional elements in future all-optical switching, regeneration and also wavelength conversion schemes. With this in mind, the purpose of this paper is to simulate the performance of the SOA for improved amplification and switching functions. The SOA is modeled and simulated using OptSim software. In order to verify the simulated results, a MATLAB mathematical model is also used to aid the design of the SOA. Using the model, the gain difference between simulated and mathematical results in the unsaturated region is <1dB. The mathematical analysis is in good agreement with the simulation result, with only a small offset due to inherent software limitations in matching the gain dynamics of the SOA.

ICT integration in mathematics initial teacher training and its impact on visualization: the case of GeoGebra

NASA Astrophysics Data System (ADS)

Dockendorff, Monika; Solar, Horacio

2018-01-01

This case study investigates the impact of the integration of information and communications technology (ICT) in mathematics visualization skills and initial teacher education programmes. It reports on the influence GeoGebra dynamic software use has on promoting mathematical learning at secondary school and on its impact on teachers' conceptions about teaching and learning mathematics. This paper describes how GeoGebra-based dynamic applets - designed and used in an exploratory manner - promote mathematical processes such as conjectures. It also refers to the changes prospective teachers experience regarding the relevance visual dynamic representations acquire in teaching mathematics. This study observes a shift in school routines when incorporating technology into the mathematics classroom. Visualization appears as a basic competence associated to key mathematical processes. Implications of an early integration of ICT in mathematics initial teacher training and its impact on developing technological pedagogical content knowledge (TPCK) are drawn.

Software Tools for Formal Specification and Verification of Distributed Real-Time Systems.

DTIC Science & Technology

1997-09-30

set of software tools for specification and verification of distributed real time systems using formal methods. The task of this SBIR Phase II effort...to be used by designers of real - time systems for early detection of errors. The mathematical complexity of formal specification and verification has

Promoting Conceptual Change through Active Learning Using Open Source Software for Physics Simulations

ERIC Educational Resources Information Center

Baser, Mustafa

2006-01-01

This paper reports upon an active learning approach that promotes conceptual change when studying direct current electricity circuits, using free open source software, "Qucs". The study involved a total of 102 prospective mathematics teacher students. Prior to instruction, students' understanding of direct current electricity was…

A Simple Interactive Software Package for Plotting, Animating, and Calculating

ERIC Educational Resources Information Center

Engelhardt, Larry

2012-01-01

We introduce a new open source (free) software package that provides a simple, highly interactive interface for carrying out certain mathematical tasks that are commonly encountered in physics. These tasks include plotting and animating functions, solving systems of coupled algebraic equations, and basic calculus (differentiating and integrating…

The Design and Evaluation of a Cryptography Teaching Strategy for Software Engineering Students

ERIC Educational Resources Information Center

Dowling, T.

2006-01-01

The present paper describes the design, implementation and evaluation of a cryptography module for final-year software engineering students. The emphasis is on implementation architectures and practical cryptanalysis rather than a standard mathematical approach. The competitive continuous assessment process reflects this approach and rewards…

Cognitive Tutor[R] Algebra I. What Works Clearinghouse Intervention Report

ERIC Educational Resources Information Center

What Works Clearinghouse, 2009

2009-01-01

The "Cognitive Tutor[R] Algebra I" curriculum, published by Carnegie Learning, is an approach that combines algebra textbooks with interactive software. The software is developed around an artificial intelligence model that identifies strengths and weaknesses in each individual student's mastery of mathematical concepts. It then customizes prompts…

Student's Lab Assignments in PDE Course with MAPLE.

ERIC Educational Resources Information Center

Ponidi, B. Alhadi

Computer-aided software has been used intensively in many mathematics courses, especially in computational subjects, to solve initial value and boundary value problems in Partial Differential Equations (PDE). Many software packages were used in student lab assignments such as FORTRAN, PASCAL, MATLAB, MATHEMATICA, and MAPLE in order to accelerate…

Laptop Use, Interactive Science Software, and Science Learning among At-Risk Students

ERIC Educational Resources Information Center

Zheng, Binbin; Warschauer, Mark; Hwang, Jin Kyoung; Collins, Penelope

2014-01-01

This year-long, quasi-experimental study investigated the impact of the use of netbook computers and interactive science software on fifth-grade students' science learning processes, academic achievement, and interest in further science, technology, engineering, and mathematics (STEM) study within a linguistically diverse school district in…

Stressing and Ignoring--The Influence of Computer Software Environments.

ERIC Educational Resources Information Center

Pope, Sue

2003-01-01

Discusses drawing a Pythagoras diagram in the context of how computer software influences mathematical understanding. Requires different understandings of what the diagram involves in order to be successfully completed in different environments. Suggests that while LOGO is often expected to be easier, a graphic calculator can be less demanding.…

The AMATYC Review, Fall 1992-Spring 1993.

ERIC Educational Resources Information Center

Cohen, Don, Ed.; Browne, Joseph, Ed.

1993-01-01

Designed as an avenue of communication for mathematics educators concerned with the views, ideas, and experiences of two-year college students and teachers, this journal contains articles on mathematics exposition and education, as well as regular features presenting book and software reviews and math problems. The first of two issues of volume 14…

Patterns in the Pythagorean Configuration and Some Extensions: The Power of Interactive Geometry Software

ERIC Educational Resources Information Center

Contreras, José

2015-01-01

In this paper I describe classroom experiences with pre-service secondary mathematics teachers (PSMTs) investigating and extending patterns embedded in the Pythagorean configuration. This geometric figure is a fruitful source of mathematical tasks to help students, including PSMTs, further develop habits of mind such as visualization,…

Application of Computer Aided Mathematics Teaching in a Secondary School

ERIC Educational Resources Information Center

Yenitepe, Mehmet Emin; Karadag, Zekeriya

2003-01-01

This is a case study that examines the effect of using presentations developed by teacher in addition to using commercially produced educational software CD-ROM in Audio-Visual Room/Computer Laboratory after classroom teaching, on students' academic achievement, as a method of Teaching Mathematics compared with only classroom teaching or after…

Learning Mathematics with Interactive Whiteboards and Computer-Based Graphing Utility

ERIC Educational Resources Information Center

Erbas, Ayhan Kursat; Ince, Muge; Kaya, Sukru

2015-01-01

The purpose of this study was to explore the effect of a technology-supported learning environment utilizing an interactive whiteboard (IWB) and NuCalc graphing software compared to a traditional direct instruction-based environment on student achievement in graphs of quadratic functions and attitudes towards mathematics and technology. Sixty-five…

Using Empirical Evidence in the Process of Proving: The Case of Dynamic Geometry

ERIC Educational Resources Information Center

Guven, Bulent; Cekmez, Erdem; Karatas, Ilhan

2010-01-01

With the emergence of Dynamic Geometry Software (DGS), a theoretical gap between the acquisition (inductive) and the justification (deductive) of a mathematical statement has started a debate. Some educators believe that deductive proof in geometry should be abandoned in favour of an experimental approach to mathematical justification. This…

Linking GeoGebra to Explorations of Linear Relationships

ERIC Educational Resources Information Center

Aventi, Belinda; Serow, Penelope; Tobias, Steve

2014-01-01

Increasing pressure is mounting from all areas of society to maximise technology use within educational domains. Whilst curriculum documents call for the utilisation of technology as a teaching tool in the mathematics classroom, the benefits of exploring forms of dynamic mathematical software, such as GeoGebra, are often introduced in the senior…

Students' Conceptions of Congruency through the Use of Dynamic Geometry Software

ERIC Educational Resources Information Center

Gonzalez, Gloriana; Herbst, Patricio G.

2009-01-01

This paper describes students' interactions with dynamic diagrams in the context of an American geometry class. Students used the dragging tool and the measuring tool in Cabri Geometry to make mathematical conjectures. The analysis, using the cK[cent sign] model of conceptions, suggests that incorporating technology in mathematics classrooms…

The AMATYC Review, Volume 15, Numbers 1-2, Fall 1993-Spring 1994.

ERIC Educational Resources Information Center

Browne, Joseph, Ed.

1994-01-01

Designed as a avenue of communication for mathematics educators concerned with the views, ideas, and experiences of two-year college students and teachers, this journal contains articles on mathematics exposition and education, and regular features presenting book and software reviews and math problems. Volume 15 includes the following articles:…

Perceived Utility of Typesetting Homework in Post-Calculus Mathematics Courses

ERIC Educational Resources Information Center

Quinlan, James; Tennenhouse, Craig

2016-01-01

Too often our students submit incomplete homework that is disorganized, unclear, and nonlinear. Typesetting with LATEX, although time consuming for those new to the software, strengthens communication by forcing organization and proper notation required by the precise, formal language of mathematics. In this manuscript we report on a study of 42…

Information Technology in University-Level Mathematics Teaching and Learning: A Mathematician's Point of View

ERIC Educational Resources Information Center

Borovik, Alexandre

2011-01-01

Although mathematicians frequently use specialist software in direct teaching of mathematics, as a means of delivery e-learning technologies have so far been less widely used. We (mathematicians) insist that teaching methods should be subject-specific and content-driven, not delivery-driven. We oppose generic approaches to teaching, including…

The AMATYC Review, Fall 1987, Spring 1988.

ERIC Educational Resources Information Center

Cohen, Don, Ed.

1988-01-01

Designed as an avenue of communication for mathematics educators concerned with the views, ideas, and experiences of two-year college students and teachers, this journal contains articles on mathematics exposition and education, and regular features that present book and software reviews and math problems. The first of two issues of volume 9…

75 FR 7272 - Agency Information Collection Activities; Submission for Office of Management and Budget Review...

Federal Register 2010, 2011, 2012, 2013, 2014

2010-02-18

...,880). This is a one-time cost for a computer or mathematic employees to design and prepare a report... Occupational Classification 15-0000, computer and mathematics occupations, all industries; we add 40 percent to... believes that manufacturers of animal drugs already possess the computers, software, and additional...

Observing Student Working Styles when Using Graphic Calculators to Solve Mathematics Problems

ERIC Educational Resources Information Center

Berry, J.; Graham, E.; Smith, A.

2006-01-01

Some research studies, many of which used quantitative methods, have suggested that graphics calculators can be used to effectively enhance the learning of mathematics. More recently research studies have started to explore students' styles of working as they solve problems with technology. This paper describes the use of a software application…

Synchronous Chat and Electronic Ink for Distance Support in Mathematics

ERIC Educational Resources Information Center

Loch, Birgit; McDonald, Christine

2007-01-01

For online mathematics instructors, synchronous communication can be a challenge due to the need for specialized symbols, graphics, or notations to explain key concepts. While software tools exist to support such communication, they can often be cumbersome and time-consuming for users to adopt in online exchanges. As one way of addressing this…

A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software

NASA Technical Reports Server (NTRS)

Denney, Ewen W.; Fischer, Bernd

2009-01-01

Model-based development and automated code generation are increasingly used for production code in safety-critical applications, but since code generators are typically not qualified, the generated code must still be fully tested, reviewed, and certified. This is particularly arduous for mathematical and control engineering software which requires reviewers to trace subtle details of textbook formulas and algorithms to the code, and to match requirements (e.g., physical units or coordinate frames) not represented explicitly in models or code. Both tasks are complicated by the often opaque nature of auto-generated code. We address these problems by developing a verification-driven approach to traceability and documentation. We apply the AUTOCERT verification system to identify and then verify mathematical concepts in the code, based on a mathematical domain theory, and then use these verified traceability links between concepts, code, and verification conditions to construct a natural language report that provides a high-level structured argument explaining why and how the code uses the assumptions and complies with the requirements. We have applied our approach to generate review documents for several sub-systems of NASA s Project Constellation.

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…

Higher-Order Mixed Finite Element Methods for Time Domain Electromagnetics

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

White, D; Stowell, M; Koning, J

This is the final report for LDRD 01-ERD-005. The Principal Investigator was Niel Madsen of the Defense Sciences Engineering Division (DSED). Collaborators included Daniel White, Joe Koning and Nathan Champagne of DSED, Mark Stowell of Center for Applications Development and Software Engineering (CADSE), and Ph.D. students Rob Rieben and Aaron Fisher at the UC Davis Department of Applied Science. It should be noted that the students were partially supported by the LLNL Student-Employee Graduate Research Fellow program. We begin with an Introduction which provides background and motivation for this research effort. Section II contains high-level description of our Approach, andmore » Section III summarizes our key research Accomplishments. A description of the Software deliverables is provided in Section IV, and Section V includes simulation Validation and Results. It should be noted we do not get into the mathematical details in this report, rather these can be found in our publications which are listed in Section III.« less

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…

The Human Physiome: how standards, software and innovative service infrastructures are providing the building blocks to make it achievable

PubMed Central

2016-01-01

Reconstructing and understanding the Human Physiome virtually is a complex mathematical problem, and a highly demanding computational challenge. Mathematical models spanning from the molecular level through to whole populations of individuals must be integrated, then personalized. This requires interoperability with multiple disparate and geographically separated data sources, and myriad computational software tools. Extracting and producing knowledge from such sources, even when the databases and software are readily available, is a challenging task. Despite the difficulties, researchers must frequently perform these tasks so that available knowledge can be continually integrated into the common framework required to realize the Human Physiome. Software and infrastructures that support the communities that generate these, together with their underlying standards to format, describe and interlink the corresponding data and computer models, are pivotal to the Human Physiome being realized. They provide the foundations for integrating, exchanging and re-using data and models efficiently, and correctly, while also supporting the dissemination of growing knowledge in these forms. In this paper, we explore the standards, software tooling, repositories and infrastructures that support this work, and detail what makes them vital to realizing the Human Physiome. PMID:27051515

The Human Physiome: how standards, software and innovative service infrastructures are providing the building blocks to make it achievable.

PubMed

Nickerson, David; Atalag, Koray; de Bono, Bernard; Geiger, Jörg; Goble, Carole; Hollmann, Susanne; Lonien, Joachim; Müller, Wolfgang; Regierer, Babette; Stanford, Natalie J; Golebiewski, Martin; Hunter, Peter

2016-04-06

Reconstructing and understanding the Human Physiome virtually is a complex mathematical problem, and a highly demanding computational challenge. Mathematical models spanning from the molecular level through to whole populations of individuals must be integrated, then personalized. This requires interoperability with multiple disparate and geographically separated data sources, and myriad computational software tools. Extracting and producing knowledge from such sources, even when the databases and software are readily available, is a challenging task. Despite the difficulties, researchers must frequently perform these tasks so that available knowledge can be continually integrated into the common framework required to realize the Human Physiome. Software and infrastructures that support the communities that generate these, together with their underlying standards to format, describe and interlink the corresponding data and computer models, are pivotal to the Human Physiome being realized. They provide the foundations for integrating, exchanging and re-using data and models efficiently, and correctly, while also supporting the dissemination of growing knowledge in these forms. In this paper, we explore the standards, software tooling, repositories and infrastructures that support this work, and detail what makes them vital to realizing the Human Physiome.

High performance computing and communications: Advancing the frontiers of information technology

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

NONE

1997-12-31

This report, which supplements the President`s Fiscal Year 1997 Budget, describes the interagency High Performance Computing and Communications (HPCC) Program. The HPCC Program will celebrate its fifth anniversary in October 1996 with an impressive array of accomplishments to its credit. Over its five-year history, the HPCC Program has focused on developing high performance computing and communications technologies that can be applied to computation-intensive applications. Major highlights for FY 1996: (1) High performance computing systems enable practical solutions to complex problems with accuracies not possible five years ago; (2) HPCC-funded research in very large scale networking techniques has been instrumental inmore » the evolution of the Internet, which continues exponential growth in size, speed, and availability of information; (3) The combination of hardware capability measured in gigaflop/s, networking technology measured in gigabit/s, and new computational science techniques for modeling phenomena has demonstrated that very large scale accurate scientific calculations can be executed across heterogeneous parallel processing systems located thousands of miles apart; (4) Federal investments in HPCC software R and D support researchers who pioneered the development of parallel languages and compilers, high performance mathematical, engineering, and scientific libraries, and software tools--technologies that allow scientists to use powerful parallel systems to focus on Federal agency mission applications; and (5) HPCC support for virtual environments has enabled the development of immersive technologies, where researchers can explore and manipulate multi-dimensional scientific and engineering problems. Educational programs fostered by the HPCC Program have brought into classrooms new science and engineering curricula designed to teach computational science. This document contains a small sample of the significant HPCC Program accomplishments in FY 1996.« less

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.

Enumeration of virtual libraries of combinatorial modular macrocyclic (bracelet, necklace) architectures and their linear counterparts.

PubMed

Taniguchi, Masahiko; Du, Hai; Lindsey, Jonathan S

2013-09-23

A wide variety of cyclic molecular architectures are built of modular subunits and can be formed combinatorially. The mathematics for enumeration of such objects is well-developed yet lacks key features of importance in chemistry, such as specifying (i) the structures of individual members among a set of isomers, (ii) the distribution (i.e., relative amounts) of products, and (iii) the effect of nonequal ratios of reacting monomers on the product distribution. Here, a software program (Cyclaplex) has been developed to determine the number, identity (including isomers), and relative amounts of linear and cyclic architectures from a given number and ratio of reacting monomers. The program includes both mathematical formulas and generative algorithms for enumeration; the latter go beyond the former to provide desired molecular-relevant information and data-mining features. The program is equipped to enumerate four types of architectures: (i) linear architectures with directionality (macroscopic equivalent = electrical extension cords), (ii) linear architectures without directionality (batons), (iii) cyclic architectures with directionality (necklaces), and (iv) cyclic architectures without directionality (bracelets). The program can be applied to cyclic peptides, cycloveratrylenes, cyclens, calixarenes, cyclodextrins, crown ethers, cucurbiturils, annulenes, expanded meso-substituted porphyrin(ogen)s, and diverse supramolecular (e.g., protein) assemblies. The size of accessible architectures encompasses up to 12 modular subunits derived from 12 reacting monomers or larger architectures (e.g. 13-17 subunits) from fewer types of monomers (e.g. 2-4). A particular application concerns understanding the possible heterogeneity of (natural or biohybrid) photosynthetic light-harvesting oligomers (cyclic, linear) formed from distinct peptide subunits.

Mathematics and Measurement

PubMed Central

Boisvert, Ronald F.; Donahue, Michael J.; Lozier, Daniel W.; McMichael, Robert; Rust, Bert W.

2001-01-01

In this paper we describe the role that mathematics plays in measurement science at NIST. We first survey the history behind NIST’s current work in this area, starting with the NBS Math Tables project of the 1930s. We then provide examples of more recent efforts in the application of mathematics to measurement science, including the solution of ill-posed inverse problems, characterization of the accuracy of software for micromagnetic modeling, and in the development and dissemination of mathematical reference data. Finally, we comment on emerging issues in measurement science to which mathematicians will devote their energies in coming years. PMID:27500024

A study about teaching quadratic functions using mathematical models and free software

NASA Astrophysics Data System (ADS)

Nepomucena, T. V.; da Silva, A. C.; Jardim, D. F.; da Silva, J. M.

2017-12-01

In the face of the reality of teaching Mathematics in Basic Education in Brazil, specially relating teach functions focusing their relevance to the student’s academic development in Basic and Superior Education, this work proposes the use of educational software to help the teaching of functions in Basic Education since the computers and software show as an outstanding option to help the teaching and learning processes. On the other hand, the study also proposes the use of Didactic Transposition as a methodology investigation and research. Along with this survey, some teaching interventions were applied to detect the main difficulties in the teaching process of functions in the Basic Education, analyzing the results obtained along the interventions in a qualitative form. Considering the discussion of the results at the end of the didactic interventions, it was verified that the results obtained were satisfactory.

Spiral: Automated Computing for Linear Transforms

NASA Astrophysics Data System (ADS)

Püschel, Markus

2010-09-01

Writing fast software has become extraordinarily difficult. For optimal performance, programs and their underlying algorithms have to be adapted to take full advantage of the platform's parallelism, memory hierarchy, and available instruction set. To make things worse, the best implementations are often platform-dependent and platforms are constantly evolving, which quickly renders libraries obsolete. We present Spiral, a domain-specific program generation system for important functionality used in signal processing and communication including linear transforms, filters, and other functions. Spiral completely replaces the human programmer. For a desired function, Spiral generates alternative algorithms, optimizes them, compiles them into programs, and intelligently searches for the best match to the computing platform. The main idea behind Spiral is a mathematical, declarative, domain-specific framework to represent algorithms and the use of rewriting systems to generate and optimize algorithms at a high level of abstraction. Experimental results show that the code generated by Spiral competes with, and sometimes outperforms, the best available human-written code.

The New Approach to Self-Achievement (N.A.S.A.) Project 2004

NASA Technical Reports Server (NTRS)

Thomas, Candace J.

2004-01-01

The New Approach to Self-Achievement Program is designed to target rising seventh, eighth, and ninth grade students who require assistance in refining their mathematical skills, science awareness and knowledge, and test taking strategies. During the six week duration of the program, students are challenged in these areas through the application of robotic and aeronautic projects which encourage the students to practically apply their mathematical and science awareness accordingly. The first three weeks of my tenure were designated to assisting Mrs. Tammy Allen in the preparation of the 2004 NASA Project. As her assistant, I was held accountable for organizing, filing, preparing, analyzing, and completing the applications for the NASA Project. Additionally, I constructed the apposite databases which contained imperative information which aided in the selection of our participants. During the latter portion of those three weeks, Mrs. Allen, various staff members, and I, interviewed the numerous first-time applicants of the NASA Project. Furthermore, I was assigned to contact the accepted applicants of the program and provide all necessary information for the initiation of the child into the NASA Project. During the six week duration of the program, I will be working as a Project Leader at the Lorain Middle School site located in Lorain, Oh, with Mr. Fondriest Fountain. Mr. Fountain and I Will work with the eighth and ninth grade students in constructing robots, in which the students are told are made for NASA research which is being conducted on the surface of planet Mars. The robots, which are built from LEGOS and programmed through RoboLab computer software, are prepared to complete assigned Missions such as running obstacle courses; plowing and retrieving LEGOS; and scanning surfaces for intense regions of light.

The ESA's Space Trajectory Analysis software suite

NASA Astrophysics Data System (ADS)

Ortega, Guillermo

The European Space Agency (ESA) initiated in 2005 an internal activity to develop an open source software suite involving university science departments and research institutions all over the world. This project is called the "Space Trajectory Analysis" or STA. This article describes the birth of STA and its present configuration. One of the STA aims is to promote the exchange of technical ideas, and raise knowledge and competence in the areas of applied mathematics, space engineering, and informatics at University level. Conceived as a research and education tool to support the analysis phase of a space mission, STA is able to visualize a wide range of space trajectories. These include among others ascent, re-entry, descent and landing trajectories, orbits around planets and moons, interplanetary trajectories, rendezvous trajectories, etc. The article explains that STA project is an original idea of the Technical Directorate of ESA. It was born in August 2005 to provide a framework in astrodynamics research at University level. As research and education software applicable to Academia, a number of Universities support this development by joining ESA in leading the development. ESA and Universities partnership are expressed in the STA Steering Board. Together with ESA, each University has a chair in the board whose tasks are develop, control, promote, maintain, and expand the software suite. The article describes that STA provides calculations in the fields of spacecraft tracking, attitude analysis, coverage and visibility analysis, orbit determination, position and velocity of solar system bodies, etc. STA implements the concept of "space scenario" composed of Solar system bodies, spacecraft, ground stations, pads, etc. It is able to propagate the orbit of a spacecraft where orbital propagators are included. STA is able to compute communication links between objects of a scenario (coverage, line of sight), and to represent the trajectory computations and relationship between objects in 2D and 3D formats, etc. Further, the article explains that the STA development is open source and it is based on the state of the art astrodynamics routines that are grouped into modules. The modules are programmed using the C++ language. The different STA modules are designed, developed, tested and verified by the different Universities. Software integration and overall validation is performed by ESA. Students are chosen to work in STA modules as part of their Master or PhD thesis programs. As part of their growing experience, the students learn how to write documentation for a space project using European Coorperation on Space Standardization (ECSS) standards, how to test and verify the software modules they write and, how to interact with ESA and each other in this process. Finally, the article concludes about the benefits of the STA initiative. The STA project allows a strong link among applied mathematics, space engineering, and informatics disciplines by reinforcing the academic community with requirements and needs coming from space agencies and industry real needs and missions.

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…

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.

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.

A mathematical model of electrolyte and fluid transport across corneal endothelium.

PubMed

Fischbarg, J; Diecke, F P J

2005-01-01

To predict the behavior of a transporting epithelium by intuitive means can be complex and frustrating. As the number of parameters to be considered increases beyond a few, the task can be termed impossible. The alternative is to model epithelial behavior by mathematical means. For that to be feasible, it has been presumed that a large amount of experimental information is required, so as to be able to use known values for the majority of kinetic parameters. However, in the present case, we are modeling corneal endothelial behavior beginning with experimental values for only five of eleven parameters. The remaining parameter values are calculated assuming cellular steady state and using algebraic software. With that as base, as in preceding treatments but with a distribution of channels/transporters suited to the endothelium, temporal cell and tissue behavior are computed by a program written in Basic that monitors changes in chemical and electrical driving forces across cell membranes and the paracellular pathway. We find that the program reproduces quite well the behaviors experimentally observed for the translayer electrical potential difference and rate of fluid transport, (a) in the steady state, (b) after perturbations by changes in ambient conditions HCO3-, Na+, and Cl- concentrations), and (c) after challenge by inhibitors (ouabain, DIDS, Na+- and Cl(-)-channel inhibitors). In addition, we have used the program to compare predictions of translayer fluid transport by two competing theories, electro-osmosis and local osmosis. Only predictions using electro-osmosis fit all the experimental data.

Mathematical simulation of efficiency of various shapes of solar panels for NASA geostationary satellites

NASA Astrophysics Data System (ADS)

Pandya, Raaghav; Raja, Hammad; Enriquez-Torres, Delfino; Serey-Roman, Maria Ignacia; Hassebo, Yasser; Marciniak, Małgorzata

2018-02-01

The purpose of this research is to analyze mathematically cylindrical shapes of flexible solar panels and compare their efficiency to the flat panels. The efficiency is defined to be the flux density, which is the ratio of the mathematical flux and the surface area. In addition we describe the trajectory of the Sun at specific locations: the North Pole, The Equator and a geostationary satellite above the Equator. The calculations were performed with software: Maple, Mathematica, and MATLAB.

Measuring Technological and Content Knowledge of Undergraduate Primary Teachers in Mathematics

NASA Astrophysics Data System (ADS)

Doukakis, Spyros; Chionidou-Moskofoglou, Maria; Mangina-Phelan, Eleni; Roussos, Petros

Twenty-five final-year undergraduate students of primary education who were attending a course on mathematics education participated in a research project during the 2009 spring semester. A repeated measures experimental design was used. Quantitative data on students' computer attitudes, self-efficacy in ICT, attitudes toward educational software, and self-efficacy in maths were collected. Data analysis showed a statistically non-significant improvement on participants' computer attitudes and self-efficacy in ICT and ES, but a significant improvement of self-efficacy in mathematics.

Mathematical modeling of heat treatment processes conserving biological activity of plant bioresources

NASA Astrophysics Data System (ADS)

Rodionova, N. S.; Popov, E. S.; Pozhidaeva, E. A.; Pynzar, S. S.; Ryaskina, L. O.

2018-05-01

The aim of this study is to develop a mathematical model of the heat exchange process of LT-processing to estimate the dynamics of temperature field changes and optimize the regime parameters, due to the non-stationarity process, the physicochemical and thermophysical properties of food systems. The application of LT-processing, based on the use of low-temperature modes in thermal culinary processing of raw materials with preliminary vacuum packaging in a polymer heat- resistant film is a promising trend in the development of technics and technology in the catering field. LT-processing application of food raw materials guarantees the preservation of biologically active substances in food environments, which are characterized by a certain thermolability, as well as extend the shelf life and high consumer characteristics of food systems that are capillary-porous bodies. When performing the mathematical modeling of the LT-processing process, the packet of symbolic mathematics “Maple” was used, as well as the mathematical packet flexPDE that uses the finite element method for modeling objects with distributed parameters. The processing of experimental results was evaluated with the help of the developed software in the programming language Python 3.4. To calculate and optimize the parameters of the LT processing process of polycomponent food systems, the differential equation of non-stationary thermal conductivity was used, the solution of which makes it possible to identify the temperature change at any point of the solid at different moments. The present study specifies data on the thermophysical characteristics of the polycomponent food system based on plant raw materials, with the help of which the physico-mathematical model of the LT- processing process has been developed. The obtained mathematical model allows defining of the dynamics of the temperature field in different sections of the LT-processed polycomponent food systems on the basis of calculating the evolution profiles of temperature fields, which enable one to analyze the efficiency of the regime parameters of heat treatment.

Math Description Engine Software Development Kit

NASA Technical Reports Server (NTRS)

Shelton, Robert O.; Smith, Stephanie L.; Dexter, Dan E.; Hodgson, Terry R.

2010-01-01

The Math Description Engine Software Development Kit (MDE SDK) can be used by software developers to make computer-rendered graphs more accessible to blind and visually-impaired users. The MDE SDK generates alternative graph descriptions in two forms: textual descriptions and non-verbal sound renderings, or sonification. It also enables display of an animated trace of a graph sonification on a visual graph component, with color and line-thickness options for users having low vision or color-related impairments. A set of accessible graphical user interface widgets is provided for operation by end users and for control of accessible graph displays. Version 1.0 of the MDE SDK generates text descriptions for 2D graphs commonly seen in math and science curriculum (and practice). The mathematically rich text descriptions can also serve as a virtual math and science assistant for blind and sighted users, making graphs more accessible for everyone. The MDE SDK has a simple application programming interface (API) that makes it easy for programmers and Web-site developers to make graphs accessible with just a few lines of code. The source code is written in Java for cross-platform compatibility and to take advantage of Java s built-in support for building accessible software application interfaces. Compiled-library and NASA Open Source versions are available with API documentation and Programmer s Guide at http:/ / prim e.jsc.n asa. gov.

Study on light weight design of truss structures of spacecrafts

NASA Astrophysics Data System (ADS)

Zeng, Fuming; Yang, Jianzhong; Wang, Jian

2015-08-01

Truss structure is usually adopted as the main structure form for spacecrafts due to its high efficiency in supporting concentrated loads. Light-weight design is now becoming the primary concern during conceptual design of spacecrafts. Implementation of light-weight design on truss structure always goes through three processes: topology optimization, size optimization and composites optimization. During each optimization process, appropriate algorithm such as the traditional optimality criterion method, mathematical programming method and the intelligent algorithms which simulate the growth and evolution processes in nature will be selected. According to the practical processes and algorithms, combined with engineering practice and commercial software, summary is made for the implementation of light-weight design on truss structure for spacecrafts.

Generating the Patterns of Variation with GeoGebra: The Case of Polynomial Approximations

ERIC Educational Resources Information Center

Attorps, Iiris; Björk, Kjell; Radic, Mirko

2016-01-01

In this paper, we report a teaching experiment regarding the theory of polynomial approximations at the university mathematics teaching in Sweden. The experiment was designed by applying Variation theory and by using the free dynamic mathematics software GeoGebra. The aim of this study was to investigate if the technology-assisted teaching of…

Threading Mathematics through Symbols, Sketches, Software, Silicon, and Wood: Teachers Produce and Maintain Cohesion to Support STEM Integration

ERIC Educational Resources Information Center

Nathan, Mitchell J.; Wolfgram, Matthew; Srisurichan, Rachaya; Walkington, Candace; Alibali, Martha W.

2017-01-01

This classroom-based investigation sought to document how, in real time, STEM teachers and students attempt to locate the invariant mathematical relations that are threaded through the range of activities and representations in these classes, and how highlighting this common thread influences student participation and learning. The authors…

TBell: A mathematical tool for analyzing decision tables

NASA Technical Reports Server (NTRS)

Hoover, D. N.; Chen, Zewei

1994-01-01

This paper describes the development of mathematical theory and software to analyze specifications that are developed using decision tables. A decision table is a tabular format for specifying a complex set of rules that chooses one of a number of alternative actions. The report also describes a prototype tool, called TBell, that automates certain types of analysis.

Stickybear's Math Splash: Adventures in Math Fun for Ages 5-10! School Version with Lesson Plans. [CD-ROM].

ERIC Educational Resources Information Center

Highsmith, Joni Bitman

Stickybear's Math Splash is a CD-ROM-based software tool for teaching mathematics skills beyond simple number recognition to elementary students. The accompanying printed lesson plans are designed to complement mathematics skills with other methods and areas of emphasis including kinesthetic learning, listening skills, decision making skills, and…

Students' Conceptual Understanding of a Function and Its Derivative in an Experimental Calculus Course

ERIC Educational Resources Information Center

Habre, Samer; Abboud, May

2006-01-01

Calculus has been witnessing fundamental changes in its curriculum, with an increased emphasis on visualization. This mode for representing mathematical concepts is gaining more strength due to the advances in computer technology and the development of dynamical mathematical software. This paper focuses on the understanding of the function and its…

Students' Expression of Affect in an Inner-City SimCalc Classroom

ERIC Educational Resources Information Center

Schorr, Roberta Y.; Goldin, Gerald A.

2008-01-01

This research focuses on some of the affordances provided by SimCalc software, suggesting that its use can have important consequences for students' mathematical affect and motivation. We describe an episode in an inner-city SimCalc environment illustrating our approach to the study of affect in the mathematics classroom. We infer students'…

Using Menelaus' Theorem and Dynamic Mathematics Software to Convey the Meanings of Indeterminate Forms to Students

ERIC Educational Resources Information Center

Çekmez, Erdem

2016-01-01

This study investigates the effectiveness of a teaching activity that aimed to convey the meaning of indeterminate forms to a group of undergraduate students who were enrolled in an elementary mathematics education programme. The study reports the implementation sequence of the activity and students' experiences in the classroom. To assess the…

GeoGebra for Mathematical Statistics

ERIC Educational Resources Information Center

Hewson, Paul

2009-01-01

The GeoGebra software is attracting a lot of interest in the mathematical community, consequently there is a wide range of experience and resources to help use this application. This article briefly outlines how GeoGebra will be of great value in statistical education. The release of GeoGebra is an excellent example of the power of free software…

Distance Learning Approaches in the Mathematical Training of Pedagogical Institutes's Students

ERIC Educational Resources Information Center

Fomina, Tatyana; Vorobjev, Grigory; Kalitvin, Vladimir

2016-01-01

Nowadays, the Information technologies are more and more widely used in the mathematical education system. The generalization of experience and its implementation by means of the open source software is of current interest. It is also important to address this problem due to the transfer to the new FSES (Federal State Education Standards) of high…

Connecting Research to Teaching: Evaluating and Writing Dynamic Geometry Tasks

ERIC Educational Resources Information Center

Trocki, Aaron

2014-01-01

The advent of dynamic geometry software has changed the way students draw, construct, and measure by using virtual tools instead of or along with physical tools. Use of technology in general and of dynamic geometry in particular has gained traction in mathematics education, as evidenced in the Common Core State Standards for Mathematics (CCSSI…

Middle School Engagement with Mathematics Software and Later Interest and Self-Efficacy for STEM Careers

ERIC Educational Resources Information Center

Ocumpaugh, Jaclyn; San Pedro, Maria Ofelia; Lai, Huei-yi; Baker, Ryan S.; Borgen, Fred

2016-01-01

Research suggests that trajectories toward careers in science, technology, engineering, and mathematics (STEM) emerge early and are influenced by multiple factors. This paper presents a longitudinal study, which uses data from 76 high school students to explore how a student's vocational self-efficacy and interest are related to his or her middle…

Investigating Plane Geometry Problem-Solving Strategies of Prospective Mathematics Teachers in Technology and Paper-and-Pencil Environments

ERIC Educational Resources Information Center

Koyuncu, Ilhan; Akyuz, Didem; Cakiroglu, Erdinc

2015-01-01

This study aims to investigate plane geometry problem-solving strategies of prospective mathematics teachers using dynamic geometry software (DGS) and paper-and-pencil (PPB) environments after receiving an instruction with GeoGebra (GGB). Four plane geometry problems were used in a multiple case study design to understand the solution strategies…

The Use of Technology in a Model of Formative Assessment

ERIC Educational Resources Information Center

García López, Alfonsa; García Mazarío, Francisco

2016-01-01

This work describes a formative assessment model for a Mathematical Analysis course taken by engineering students. It includes online quizzes with feedback, a portfolio with weekly assignments, exams involving the use of mathematical software and a project to be completed in small groups of two or three students. The model has been perfected since…

Learning and Teaching Mathematics through Real Life Models

ERIC Educational Resources Information Center

Takaci, Djurdjica; Budinski, Natalija

2011-01-01

This paper proposes modelling based learning as a tool for learning and teaching mathematics in high school. We report on an example of modelling real world problems in two high schools in Serbia where students were introduced for the first time to the basic concepts of modelling. Student use of computers and educational software, GeoGebra, was…

Error Free Software

NASA Technical Reports Server (NTRS)

1985-01-01

A mathematical theory for development of "higher order" software to catch computer mistakes resulted from a Johnson Space Center contract for Apollo spacecraft navigation. Two women who were involved in the project formed Higher Order Software, Inc. to develop and market the system of error analysis and correction. They designed software which is logically error-free, which, in one instance, was found to increase productivity by 600%. USE.IT defines its objectives using AXES -- a user can write in English and the system converts to computer languages. It is employed by several large corporations.

LabVIEW: a software system for data acquisition, data analysis, and instrument control.

PubMed

Kalkman, C J

1995-01-01

Computer-based data acquisition systems play an important role in clinical monitoring and in the development of new monitoring tools. LabVIEW (National Instruments, Austin, TX) is a data acquisition and programming environment that allows flexible acquisition and processing of analog and digital data. The main feature that distinguishes LabVIEW from other data acquisition programs is its highly modular graphical programming language, "G," and a large library of mathematical and statistical functions. The advantage of graphical programming is that the code is flexible, reusable, and self-documenting. Subroutines can be saved in a library and reused without modification in other programs. This dramatically reduces development time and enables researchers to develop or modify their own programs. LabVIEW uses a large amount of processing power and computer memory, thus requiring a powerful computer. A large-screen monitor is desirable when developing larger applications. LabVIEW is excellently suited for testing new monitoring paradigms, analysis algorithms, or user interfaces. The typical LabVIEW user is the researcher who wants to develop a new monitoring technique, a set of new (derived) variables by integrating signals from several existing patient monitors, closed-loop control of a physiological variable, or a physiological simulator.

Can I Trust This Software Package? An Exercise in Validation of Computational Results

ERIC Educational Resources Information Center

Shacham, Mordechai; Brauner, Neima; Ashurst, W. Robert; Cutlip, Michael B.

2008-01-01

Mathematical software packages such as Polymath, MATLAB, and Mathcad are currently widely used for engineering problem solving. Applications of several of these packages to typical chemical engineering problems have been demonstrated by Cutlip, et al. The main characteristic of these packages is that they provide a "problem-solving environment…

Helping Students Make Sense of Graphs: An Experimental Trial of SmartGraphs Software

ERIC Educational Resources Information Center

Zucker, Andrew; Kay, Rachel; Staudt, Carolyn

2014-01-01

Graphs are commonly used in science, mathematics, and social sciences to convey important concepts; yet students at all ages demonstrate difficulties interpreting graphs. This paper reports on an experimental study of free, Web-based software called SmartGraphs that is specifically designed to help students overcome their misconceptions regarding…

IDEA: Identifying Design Principles in Educational Applets

ERIC Educational Resources Information Center

Underwood, Jody S.; Hoadley, Christopher; Lee, Hollylynne Stohl; Hollebrands, Karen; DiGiano, Chris; Renninger, K. Ann

2005-01-01

The Internet is increasingly being used as a medium for educational software in the form of miniature applications (e.g., applets) to explore concepts in a domain. One such effort in mathematics education, the Educational Software Components of Tomorrow (ESCOT) project, created 42 miniature applications each consisting of a context, a set of…

Beyond the Evident Content Goals Part I. Tapping the Depth and Flow of the Educational Undercurrent.

ERIC Educational Resources Information Center

Dugdale, Sharon; Kibbey, David

1990-01-01

The first in a series of three articles, successful instructional materials from a 15-year software development effort are analyzed and characterized with special attention given to educational experiences intended to shape students' perceptions of the fundamental nature, interconnectedness, and usefulness of mathematics. The software programs…

Prompting Teacher Geometric Reasoning through Coaching in a Dynamic Geometry Software Context

ERIC Educational Resources Information Center

Knapp, Andrea K.; Barrett, Jeffrey E.; Moore, Cynthia J.

2016-01-01

This study investigated the ways in which four middle grades teachers developed mathematical knowledge for teaching (MKT) geometry as they implemented dynamic geometry software in their classrooms with the assistance of a coach. Teachers developed various components of MKT by observing coaches teach, by dynamic discourse with students, which is…

Utility and Usability as Factors Influencing Teacher Decisions about Software Integration

ERIC Educational Resources Information Center

Okumus, Samet; Lewis, Lindsey; Wiebe, Eric; Hollebrands, Karen

2016-01-01

Given the importance of teacher in the implementation of computer technology in classrooms, the technology acceptance model and TPACK model were used to better understand the decision-making process teachers use in determining how, when, and where computer software is used in mathematics classrooms. Thirty-four (34) teachers implementing…

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...

Software-aided discussion about classical picture of Mach-Zehnder interferometer

NASA Astrophysics Data System (ADS)

Cavalcanti, C. J. H.; Ostermann, F.; Lima, N. W.; Netto, J. S.

2017-11-01

The Mach-Zehnder interferometer has played an important role both in quantum and classical physics research over the years. In physics education, it has been used as a didactic tool for quantum physics teaching, allowing fundamental concepts, such as particle-wave duality, to be addressed from the very beginning. For a student to understand the novelties of the quantum scenario, it is first worth introducing the classical picture. In this paper, we introduce a new version of the software developed by our research group to deepen the discussion on the classical picture of the Mach-Zehnder interferometer. We present its equivalence with the double slit experiment and we derive the mathematical expressions relating to the interference pattern. We also explore the concept of visibility (which is very important for understanding wave-particle complementarity in quantum physics) to help students become familiar with this experiment and to enhance their knowledge of its counterintuitive aspects. We use the software articulated by the mathematical formalism and phenomenological features. We also present excerpts of the discursive interactions of students using the software in didactic situations.

HEPLIB `91: International users meeting on the support and environments of high energy physics computing

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

Johnstad, H.

The purpose of this meeting is to discuss the current and future HEP computing support and environments from the perspective of new horizons in accelerator, physics, and computing technologies. Topics of interest to the Meeting include (but are limited to): the forming of the HEPLIB world user group for High Energy Physic computing; mandate, desirables, coordination, organization, funding; user experience, international collaboration; the roles of national labs, universities, and industry; range of software, Monte Carlo, mathematics, physics, interactive analysis, text processors, editors, graphics, data base systems, code management tools; program libraries, frequency of updates, distribution; distributed and interactive computing, datamore » base systems, user interface, UNIX operating systems, networking, compilers, Xlib, X-Graphics; documentation, updates, availability, distribution; code management in large collaborations, keeping track of program versions; and quality assurance, testing, conventions, standards.« less

HEPLIB 91: International users meeting on the support and environments of high energy physics computing

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

Johnstad, H.

The purpose of this meeting is to discuss the current and future HEP computing support and environments from the perspective of new horizons in accelerator, physics, and computing technologies. Topics of interest to the Meeting include (but are limited to): the forming of the HEPLIB world user group for High Energy Physic computing; mandate, desirables, coordination, organization, funding; user experience, international collaboration; the roles of national labs, universities, and industry; range of software, Monte Carlo, mathematics, physics, interactive analysis, text processors, editors, graphics, data base systems, code management tools; program libraries, frequency of updates, distribution; distributed and interactive computing, datamore » base systems, user interface, UNIX operating systems, networking, compilers, Xlib, X-Graphics; documentation, updates, availability, distribution; code management in large collaborations, keeping track of program versions; and quality assurance, testing, conventions, standards.« less

Software for Estimating Costs of Testing Rocket Engines

NASA Technical Reports Server (NTRS)

Hines, Merlon M.

2004-01-01

A high-level parametric mathematical model for estimating the costs of testing rocket engines and components at Stennis Space Center has been implemented as a Microsoft Excel program that generates multiple spreadsheets. The model and the program are both denoted, simply, the Cost Estimating Model (CEM). The inputs to the CEM are the parameters that describe particular tests, including test types (component or engine test), numbers and duration of tests, thrust levels, and other parameters. The CEM estimates anticipated total project costs for a specific test. Estimates are broken down into testing categories based on a work-breakdown structure and a cost-element structure. A notable historical assumption incorporated into the CEM is that total labor times depend mainly on thrust levels. As a result of a recent modification of the CEM to increase the accuracy of predicted labor times, the dependence of labor time on thrust level is now embodied in third- and fourth-order polynomials.

Software for Estimating Costs of Testing Rocket Engines

NASA Technical Reports Server (NTRS)

Hines, Merion M.

2002-01-01

A high-level parametric mathematical model for estimating the costs of testing rocket engines and components at Stennis Space Center has been implemented as a Microsoft Excel program that generates multiple spreadsheets. The model and the program are both denoted, simply, the Cost Estimating Model (CEM). The inputs to the CEM are the parameters that describe particular tests, including test types (component or engine test), numbers and duration of tests, thrust levels, and other parameters. The CEM estimates anticipated total project costs for a specific test. Estimates are broken down into testing categories based on a work-breakdown structure and a cost-element structure. A notable historical assumption incorporated into the CEM is that total labor times depend mainly on thrust levels. As a result of a recent modification of the CEM to increase the accuracy of predicted labor times, the dependence of labor time on thrust level is now embodied in third- and fourth-order polynomials.

Software for Estimating Costs of Testing Rocket Engines

NASA Technical Reports Server (NTRS)

Hines, Merlon M.

2003-01-01

A high-level parametric mathematical model for estimating the costs of testing rocket engines and components at Stennis Space Center has been implemented as a Microsoft Excel program that generates multiple spreadsheets. The model and the program are both denoted, simply, the Cost Estimating Model (CEM). The inputs to the CEM are the parameters that describe particular tests, including test types (component or engine test), numbers and duration of tests, thrust levels, and other parameters. The CEM estimates anticipated total project costs for a specific test. Estimates are broken down into testing categories based on a work-breakdown structure and a cost-element structure. A notable historical assumption incorporated into the CEM is that total labor times depend mainly on thrust levels. As a result of a recent modification of the CEM to increase the accuracy of predicted labor times, the dependence of labor time on thrust level is now embodied in third- and fourth-order polynomials.

Updated System-Availability and Resource-Allocation Program

NASA Technical Reports Server (NTRS)

Viterna, Larry

2004-01-01

A second version of the Availability, Cost and Resource Allocation (ACARA) computer program has become available. The first version was reported in an earlier tech brief. To recapitulate: ACARA analyzes the availability, mean-time-between-failures of components, life-cycle costs, and scheduling of resources of a complex system of equipment. ACARA uses a statistical Monte Carlo method to simulate the failure and repair of components while complying with user-specified constraints on spare parts and resources. ACARA evaluates the performance of the system on the basis of a mathematical model developed from a block-diagram representation. The previous version utilized the MS-DOS operating system and could not be run by use of the most recent versions of the Windows operating system. The current version incorporates the algorithms of the previous version but is compatible with Windows and utilizes menus and a file-management approach typical of Windows-based software.

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.

Advection-diffusion model for the simulation of air pollution distribution from a point source emission

NASA Astrophysics Data System (ADS)

Ulfah, S.; Awalludin, S. A.; Wahidin

2018-01-01

Advection-diffusion model is one of the mathematical models, which can be used to understand the distribution of air pollutant in the atmosphere. It uses the 2D advection-diffusion model with time-dependent to simulate air pollution distribution in order to find out whether the pollutants are more concentrated at ground level or near the source of emission under particular atmospheric conditions such as stable, unstable, and neutral conditions. Wind profile, eddy diffusivity, and temperature are considered in the model as parameters. The model is solved by using explicit finite difference method, which is then visualized by a computer program developed using Lazarus programming software. The results show that the atmospheric conditions alone influencing the level of concentration of pollutants is not conclusive as the parameters in the model have their own effect on each atmospheric condition.

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…

Simulating Descent and Landing of a Spacecraft

NASA Technical Reports Server (NTRS)

Balaram, J.; Jain, Abhinandan; Martin, Bryan; Lim, Christopher; Henriquez, David; McMahon, Elihu; Sohl, Garrett; Banerjee, Pranab; Steele, Robert; Bentley, Timothy

2005-01-01

The Dynamics Simulator for Entry, Descent, and Surface landing (DSENDS) software performs high-fidelity simulation of the Entry, Descent, and Landing (EDL) of a spacecraft into the atmosphere and onto the surface of a planet or a smaller body. DSENDS is an extension of the DShell and DARTS programs, which afford capabilities for mathematical modeling of the dynamics of a spacecraft as a whole and of its instruments, actuators, and other subsystems. DSENDS enables the modeling (including real-time simulation) of flight-train elements and all spacecraft responses during various phases of EDL. DSENDS provides high-fidelity models of the aerodynamics of entry bodies and parachutes plus supporting models of atmospheres. Terrain and real-time responses of terrain-imaging radar and lidar instruments can also be modeled. The program includes modules for simulation of guidance, navigation, hypersonic steering, and powered descent. Automated state-machine-driven model switching is used to represent spacecraft separations and reconfigurations. Models for computing landing contact and impact forces are expected to be added. DSENDS can be used as a stand-alone program or incorporated into a larger program that simulates operations in real time.

Development of structural model of adaptive training complex in ergatic systems for professional use

NASA Astrophysics Data System (ADS)

Obukhov, A. D.; Dedov, D. L.; Arkhipov, A. E.

2018-03-01

The article considers the structural model of the adaptive training complex (ATC), which reflects the interrelations between the hardware, software and mathematical model of ATC and describes the processes in this subject area. The description of the main components of software and hardware complex, their interaction and functioning within the common system are given. Also the article scrutinizers a brief description of mathematical models of personnel activity, a technical system and influences, the interactions of which formalize the regularities of ATC functioning. The studies of main objects of training complexes and connections between them will make it possible to realize practical implementation of ATC in ergatic systems for professional use.

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…

Software development and its description for Geoid determination based on Spherical-Cap-Harmonics Modelling using digital-zenith camera and gravimetric measurements hybrid data

NASA Astrophysics Data System (ADS)

Morozova, K.; Jaeger, R.; Balodis, J.; Kaminskis, J.

2017-10-01

Over several years the Institute of Geodesy and Geoinformatics (GGI) was engaged in the design and development of a digital zenith camera. At the moment the camera developments are finished and tests by field measurements are done. In order to check these data and to use them for geoid model determination DFHRS (Digital Finite element Height reference surface (HRS)) v4.3. software is used. It is based on parametric modelling of the HRS as a continous polynomial surface. The HRS, providing the local Geoid height N, is a necessary geodetic infrastructure for a GNSS-based determination of physcial heights H from ellipsoidal GNSS heights h, by H=h-N. The research and this publication is dealing with the inclusion of the data of observed vertical deflections from digital zenith camera into the mathematical model of the DFHRS approach and software v4.3. A first target was to test out and validate the mathematical model and software, using additionally real data of the above mentioned zenith camera observations of deflections of the vertical. A second concern of the research was to analyze the results and the improvement of the Latvian quasi-geoid computation compared to the previous version HRS computed without zenith camera based deflections of the vertical. The further development of the mathematical model and software concerns the use of spherical-cap-harmonics as the designed carrier function for the DFHRS v.5. It enables - in the sense of the strict integrated geodesy approach, holding also for geodetic network adjustment - both a full gravity field and a geoid and quasi-geoid determination. In addition, it allows the inclusion of gravimetric measurements, together with deflections of the vertical from digital-zenith cameras, and all other types of observations. The theoretical description of the updated version of DFHRS software and methods are discussed in this publication.

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.

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…