Hougardy, Stefan
2016-01-01
Algorithms play an increasingly important role in nearly all fields of mathematics. This book allows readers to develop basic mathematical abilities, in particular those concerning the design and analysis of algorithms as well as their implementation. It presents not only fundamental algorithms like the sieve of Eratosthenes, the Euclidean algorithm, sorting algorithms, algorithms on graphs, and Gaussian elimination, but also discusses elementary data structures, basic graph theory, and numerical questions. In addition, it provides an introduction to programming and demonstrates in detail how to implement algorithms in C++. This textbook is suitable for students who are new to the subject and covers a basic mathematical lecture course, complementing traditional courses on analysis and linear algebra. Both authors have given this "Algorithmic Mathematics" course at the University of Bonn several times in recent years.
How Mathematics Describes Life
Teklu, Abraham
2017-01-01
The circle of life is something we have all heard of from somewhere, but we don't usually try to calculate it. For some time we have been working on analyzing a predator-prey model to better understand how mathematics can describe life, in particular the interaction between two different species. The model we are analyzing is called the Holling-Tanner model, and it cannot be solved analytically. The Holling-Tanner model is a very common model in population dynamics because it is a simple descriptor of how predators and prey interact. The model is a system of two differential equations. The model is not specific to any particular set of species and so it can describe predator-prey species ranging from lions and zebras to white blood cells and infections. One thing all these systems have in common are critical points. A critical point is a value for both populations that keeps both populations constant. It is important because at this point the differential equations are equal to zero. For this model there are two critical points, a predator free critical point and a coexistence critical point. Most of the analysis we did is on the coexistence critical point because the predator free critical point is always unstable and frankly less interesting than the coexistence critical point. What we did is consider two regimes for the differential equations, large B and small B. B, A, and C are parameters in the differential equations that control the system where B measures how responsive the predators are to change in the population, A represents predation of the prey, and C represents the satiation point of the prey population. For the large B case we were able to approximate the system of differential equations by a single scalar equation. For the small B case we were able to predict the limit cycle. The limit cycle is a process of the predator and prey populations growing and shrinking periodically. This model has a limit cycle in the regime of small B, that we solved for
Algorithmic Principles of Mathematical Programming
Faigle, Ulrich; Kern, Walter; Still, Georg
2002-01-01
Algorithmic Principles of Mathematical Programming investigates the mathematical structures and principles underlying the design of efficient algorithms for optimization problems. Recent advances in algorithmic theory have shown that the traditionally separate areas of discrete optimization, linear
Discrete algorithmic mathematics
Maurer, Stephen B
2005-01-01
The exposition is self-contained, complemented by diverse exercises and also accompanied by an introduction to mathematical reasoning … this book is an excellent textbook for a one-semester undergraduate course and it includes a lot of additional material to choose from.-EMS, March 2006In a textbook, it is necessary to select carefully the statements and difficulty of the problems … in this textbook, this is fully achieved … This review considers this book an excellent one.-The Mathematical Gazette, March 2006
Algorithm describing pressure distribution of non-contact TNT explosion
Directory of Open Access Journals (Sweden)
Radosław Kiciński
2014-12-01
Full Text Available [b]Abstract[/b]. The aim of this study is to develop a computational algorithm, describing the shock wave pressure distribution in the space induced by non-contact TNT explosion. The procedure describes pressure distribution on a damp surface of the hull. Simulations have been carried out using Abaqus/CAE. The study also shows the pressure waveform descriptions provided by various authors and presents them in charts. The formulated conclusions convince efficiency of the algorithm application.[b]Keywords:[/b] Underwater explosion, shock wave, CAE, TNT, Kobben class submarine
AUTOMATION PROGRAM FOR RECOGNITION OF ALGORITHM SOLUTION OF MATHEMATIC TASK
Directory of Open Access Journals (Sweden)
Denis N. Butorin
2014-01-01
Full Text Available In the article are been describing technology for manage of testing task in computer program. It was found for recognition of algorithm solution of mathematic task. There are been justifi ed the using hierarchical structure for a special set of testing questions. Also, there has been presented the release of the described tasks in the computer program openSEE.
AUTOMATION PROGRAM FOR RECOGNITION OF ALGORITHM SOLUTION OF MATHEMATIC TASK
Denis N. Butorin
2014-01-01
In the article are been describing technology for manage of testing task in computer program. It was found for recognition of algorithm solution of mathematic task. There are been justifi ed the using hierarchical structure for a special set of testing questions. Also, there has been presented the release of the described tasks in the computer program openSEE.
Indian Academy of Sciences (India)
polynomial) division have been found in Vedic Mathematics which are dated much before Euclid's algorithm. A programming language Is used to describe an algorithm for execution on a computer. An algorithm expressed using a programming.
Linear programming mathematics, theory and algorithms
1996-01-01
Linear Programming provides an in-depth look at simplex based as well as the more recent interior point techniques for solving linear programming problems. Starting with a review of the mathematical underpinnings of these approaches, the text provides details of the primal and dual simplex methods with the primal-dual, composite, and steepest edge simplex algorithms. This then is followed by a discussion of interior point techniques, including projective and affine potential reduction, primal and dual affine scaling, and path following algorithms. Also covered is the theory and solution of the linear complementarity problem using both the complementary pivot algorithm and interior point routines. A feature of the book is its early and extensive development and use of duality theory. Audience: The book is written for students in the areas of mathematics, economics, engineering and management science, and professionals who need a sound foundation in the important and dynamic discipline of linear programming.
Adler, Jill; Ronda, Erlina
2015-01-01
We describe and use an analytical framework to document mathematics discourse in instruction (MDI), and interpret differences in mathematics teaching. MDI is characterised by four interacting components in the teaching of a mathematics lesson: exemplification (occurring through a sequence of examples and related tasks), explanatory talk (talk that…
Novel mathematical algorithm for pupillometric data analysis.
Canver, Matthew C; Canver, Adam C; Revere, Karen E; Amado, Defne; Bennett, Jean; Chung, Daniel C
2014-01-01
Pupillometry is used clinically to evaluate retinal and optic nerve function by measuring pupillary response to light stimuli. We have developed a mathematical algorithm to automate and expedite the analysis of non-filtered, non-calculated pupillometric data obtained from mouse pupillary light reflex recordings, obtained from dynamic pupillary diameter recordings following exposure of varying light intensities. The non-filtered, non-calculated pupillometric data is filtered through a low pass finite impulse response (FIR) filter. Thresholding is used to remove data caused by eye blinking, loss of pupil tracking, and/or head movement. Twelve physiologically relevant parameters were extracted from the collected data: (1) baseline diameter, (2) minimum diameter, (3) response amplitude, (4) re-dilation amplitude, (5) percent of baseline diameter, (6) response time, (7) re-dilation time, (8) average constriction velocity, (9) average re-dilation velocity, (10) maximum constriction velocity, (11) maximum re-dilation velocity, and (12) onset latency. No significant differences were noted between parameters derived from algorithm calculated values and manually derived results (p ≥ 0.05). This mathematical algorithm will expedite endpoint data derivation and eliminate human error in the manual calculation of pupillometric parameters from non-filtered, non-calculated pupillometric values. Subsequently, these values can be used as reference metrics for characterizing the natural history of retinal disease. Furthermore, it will be instrumental in the assessment of functional visual recovery in humans and pre-clinical models of retinal degeneration and optic nerve disease following pharmacological or gene-based therapies. Copyright © 2013 Elsevier Ireland Ltd. All rights reserved.
Scharm, Martin; Wolkenhauer, Olaf; Waltemath, Dagmar
2016-02-15
Repositories support the reuse of models and ensure transparency about results in publications linked to those models. With thousands of models available in repositories, such as the BioModels database or the Physiome Model Repository, a framework to track the differences between models and their versions is essential to compare and combine models. Difference detection not only allows users to study the history of models but also helps in the detection of errors and inconsistencies. Existing repositories lack algorithms to track a model's development over time. Focusing on SBML and CellML, we present an algorithm to accurately detect and describe differences between coexisting versions of a model with respect to (i) the models' encoding, (ii) the structure of biological networks and (iii) mathematical expressions. This algorithm is implemented in a comprehensive and open source library called BiVeS. BiVeS helps to identify and characterize changes in computational models and thereby contributes to the documentation of a model's history. Our work facilitates the reuse and extension of existing models and supports collaborative modelling. Finally, it contributes to better reproducibility of modelling results and to the challenge of model provenance. The workflow described in this article is implemented in BiVeS. BiVeS is freely available as source code and binary from sems.uni-rostock.de. The web interface BudHat demonstrates the capabilities of BiVeS at budhat.sems.uni-rostock.de. © The Author 2015. Published by Oxford University Press.
On-Line Algorithms and Reverse Mathematics
Harris, Seth
In this thesis, we classify the reverse-mathematical strength of sequential problems. If we are given a problem P of the form ∀X(alpha(X) → ∃Zbeta(X,Z)) then the corresponding sequential problem, SeqP, asserts the existence of infinitely many solutions to P: ∀X(∀nalpha(Xn) → ∃Z∀nbeta(X n,Zn)). P is typically provable in RCA0 if all objects involved are finite. SeqP, however, is only guaranteed to be provable in ACA0. In this thesis we exactly characterize which sequential problems are equivalent to RCA0, WKL0, or ACA0.. We say that a problem P is solvable by an on-line algorithm if P can be solved according to a two-player game, played by Alice and Bob, in which Bob has a winning strategy. Bob wins the game if Alice's sequence of plays 〈a0, ..., ak〉 and Bob's sequence of responses 〈 b0, ..., bk〉 constitute a solution to P. Formally, an on-line algorithm A is a function that inputs an admissible sequence of plays 〈a 0, b0, ..., aj〉 and outputs a new play bj for Bob. (This differs from the typical definition of "algorithm", though quite often a concrete set of instructions can be easily deduced from A.). We show that SeqP is provable in RCA0 precisely when P is solvable by an on-line algorithm. Schmerl proved this result specifically for the graph coloring problem; we generalize Schmerl's result to any problem that is on-line solvable. To prove our separation, we introduce a principle called Predictk(r) that is equivalent to -WKL0 for standard k, r.. We show that WKL0 is sufficient to prove SeqP precisely when P has a solvable closed kernel. This means that a solution exists, and each initial segment of this solution is a solution to the corresponding initial segment of the problem. (Certain bounding conditions are necessary as well.) If no such solution exists, then SeqP is equivalent to ACA0 over RCA 0 + ISigma02; RCA0 alone suffices if only sequences of standard length are considered. We use different techniques from Schmerl to prove
Tuminaro, Jonathan
Many introductory, algebra-based physics students perform poorly on mathematical problem solving tasks in physics. There are at least two possible, distinct reasons for this poor performance: (1) students simply lack the mathematical skills needed to solve problems in physics, or (2) students do not know how to apply the mathematical skills they have to particular problem situations in physics. While many students do lack the requisite mathematical skills, a major finding from this work is that the majority of students possess the requisite mathematical skills, yet fail to use or interpret them in the context of physics. In this thesis I propose a theoretical framework to analyze and describe students' mathematical thinking in physics. In particular, I attempt to answer two questions. What are the cognitive tools involved in formal mathematical thinking in physics? And, why do students make the kinds of mistakes they do when using mathematics in physics? According to the proposed theoretical framework there are three major theoretical constructs: mathematical resources, which are the knowledge elements that are activated in mathematical thinking and problem solving; epistemic games, which are patterns of activities that use particular kinds of knowledge to create new knowledge or solve a problem; and frames, which are structures of expectations that determine how individuals interpret situations or events. The empirical basis for this study comes from videotaped sessions of college students solving homework problems. The students are enrolled in an algebra-based introductory physics course. The videotapes were transcribed and analyzed using the aforementioned theoretical framework. Two important results from this work are: (1) the construction of a theoretical framework that offers researchers a vocabulary (ontological classification of cognitive structures) and grammar (relationship between the cognitive structures) for understanding the nature and origin of
Bruijn, de N.G.
1972-01-01
Recently A. W. Joseph described an algorithm providing combinatorial insight into E. Sparre Andersen's so-called Principle of Equivalence in mathematical statistics. In the present paper such algorithms are discussed systematically.
Directory of Open Access Journals (Sweden)
Matsen Frederick A
2012-05-01
Full Text Available Abstract Background Although taxonomy is often used informally to evaluate the results of phylogenetic inference and the root of phylogenetic trees, algorithmic methods to do so are lacking. Results In this paper we formalize these procedures and develop algorithms to solve the relevant problems. In particular, we introduce a new algorithm that solves a "subcoloring" problem to express the difference between a taxonomy and a phylogeny at a given rank. This algorithm improves upon the current best algorithm in terms of asymptotic complexity for the parameter regime of interest; we also describe a branch-and-bound algorithm that saves orders of magnitude in computation on real data sets. We also develop a formalism and an algorithm for rooting phylogenetic trees according to a taxonomy. Conclusions The algorithms in this paper, and the associated freely-available software, will help biologists better use and understand taxonomically labeled phylogenetic trees.
FORMULATION OF MATHEMATICAL PROBLEM DESCRIBING PHYSICAL AND CHEMICAL PROCESSES AT CONCRETE CORROSION
Directory of Open Access Journals (Sweden)
Sergey V. Fedosov
2017-06-01
Full Text Available The article deals with the relevance of new scientific research focused on modeling of physical and chemical processes occurring in the cement concrete at their exploitation. The basic types of concrete corrosion are described. The problem of mass transfer processes in a flat reinforced concrete wall at concrete corrosion of the first and the second types has been mathematically formulated.
A mathematical model for describing the mechanical behaviour of root canal instruments.
Zhang, E W; Cheung, G S P; Zheng, Y F
2011-01-01
The purpose of this study was to establish a general mathematical model for describing the mechanical behaviour of root canal instruments by combining a theoretical analytical approach with a numerical finite-element method. Mathematical formulas representing the longitudinal (taper, helical angle and pitch) and cross-sectional configurations and area, the bending and torsional inertia, the curvature of the boundary point and the (geometry of) loading condition were derived. Torsional and bending stresses and the resultant deformation were expressed mathematically as a function of these geometric parameters, modulus of elasticity of the material and the applied load. As illustrations, three brands of NiTi endodontic files of different cross-sectional configurations (ProTaper, Hero 642, and Mani NRT) were analysed under pure torsion and pure bending situation by entering the model into a finite-element analysis package (ANSYS). Numerical results confirmed that mathematical models were a feasible method to analyse the mechanical properties and predict the stress and deformation for root canal instruments during root canal preparation. Mathematical and numerical model can be a suitable way to examine mechanical behaviours as a criterion of the instrument design and to predict the stress and strain experienced by the endodontic instruments during root canal preparation. © 2010 International Endodontic Journal.
Algorithms in Modern Mathematics and Computer Science.
1980-01-01
importance, since we will go on doing what we are doing no matter what it is called; after all, other disciplines like Mathematics and Chemistry are no...longer related very strongly to the etymology of their names. However, if I had a chance to vote for the name of my own discipline, I would choose to call
Implementation of several mathematical algorithms to breast tissue density classification
International Nuclear Information System (INIS)
Quintana, C.; Redondo, M.; Tirao, G.
2014-01-01
The accuracy of mammographic abnormality detection methods is strongly dependent on breast tissue characteristics, where a dense breast tissue can hide lesions causing cancer to be detected at later stages. In addition, breast tissue density is widely accepted to be an important risk indicator for the development of breast cancer. This paper presents the implementation and the performance of different mathematical algorithms designed to standardize the categorization of mammographic images, according to the American College of Radiology classifications. These mathematical techniques are based on intrinsic properties calculations and on comparison with an ideal homogeneous image (joint entropy, mutual information, normalized cross correlation and index Q) as categorization parameters. The algorithms evaluation was performed on 100 cases of the mammographic data sets provided by the Ministerio de Salud de la Provincia de Córdoba, Argentina—Programa de Prevención del Cáncer de Mama (Department of Public Health, Córdoba, Argentina, Breast Cancer Prevention Program). The obtained breast classifications were compared with the expert medical diagnostics, showing a good performance. The implemented algorithms revealed a high potentiality to classify breasts into tissue density categories. - Highlights: • Breast density classification can be obtained by suitable mathematical algorithms. • Mathematical processing help radiologists to obtain the BI-RADS classification. • The entropy and joint entropy show high performance for density classification
Heuristic and algorithmic processing in English, mathematics, and science education.
Sharps, Matthew J; Hess, Adam B; Price-Sharps, Jana L; Teh, Jane
2008-01-01
Many college students experience difficulties in basic academic skills. Recent research suggests that much of this difficulty may lie in heuristic competency--the ability to use and successfully manage general cognitive strategies. In the present study, the authors evaluated this possibility. They compared participants' performance on a practice California Basic Educational Skills Test and on a series of questions in the natural sciences with heuristic and algorithmic performance on a series of mathematics and reading comprehension exercises. Heuristic competency in mathematics was associated with better scores in science and mathematics. Verbal and algorithmic skills were associated with better reading comprehension. These results indicate the importance of including heuristic training in educational contexts and highlight the importance of a relatively domain-specific approach to questions of cognition in higher education.
Directory of Open Access Journals (Sweden)
Windy A Boyd
2009-09-01
Full Text Available The nematode Caenorhabditis elegans is being assessed as an alternative model organism as part of an interagency effort to develop better means to test potentially toxic substances. As part of this effort, assays that use the COPAS Biosort flow sorting technology to record optical measurements (time of flight (TOF and extinction (EXT of individual nematodes under various chemical exposure conditions are being developed. A mathematical model has been created that uses Biosort data to quantitatively and qualitatively describe C. elegans growth, and link changes in growth rates to biological events. Chlorpyrifos, an organophosphate pesticide known to cause developmental delays and malformations in mammals, was used as a model toxicant to test the applicability of the growth model for in vivo toxicological testing.L1 larval nematodes were exposed to a range of sub-lethal chlorpyrifos concentrations (0-75 microM and measured every 12 h. In the absence of toxicant, C. elegans matured from L1s to gravid adults by 60 h. A mathematical model was used to estimate nematode size distributions at various times. Mathematical modeling of the distributions allowed the number of measured nematodes and log(EXT and log(TOF growth rates to be estimated. The model revealed three distinct growth phases. The points at which estimated growth rates changed (change points were constant across the ten chlorpyrifos concentrations. Concentration response curves with respect to several model-estimated quantities (numbers of measured nematodes, mean log(TOF and log(EXT, growth rates, and time to reach change points showed a significant decrease in C. elegans growth with increasing chlorpyrifos concentration.Effects of chlorpyrifos on C. elegans growth and development were mathematically modeled. Statistical tests confirmed a significant concentration effect on several model endpoints. This confirmed that chlorpyrifos affects C. elegans development in a concentration dependent
Mathematical model and coordination algorithms for ensuring complex security of an organization
Novoseltsev, V. I.; Orlova, D. E.; Dubrovin, A. S.; Irkhin, V. P.
2018-03-01
The mathematical model of coordination when ensuring complex security of the organization is considered. On the basis of use of a method of casual search three types of algorithms of effective coordination adequate to mismatch level concerning security are developed: a coordination algorithm at domination of instructions of the coordinator; a coordination algorithm at domination of decisions of performers; a coordination algorithm at parity of interests of the coordinator and performers. Assessment of convergence of the algorithms considered above it was made by carrying out a computing experiment. The described algorithms of coordination have property of convergence in the sense stated above. And, the following regularity is revealed: than more simply in the structural relation the algorithm, for the smaller number of iterations is provided to those its convergence.
International Nuclear Information System (INIS)
Melo, Ana Cristina Bezerra Azedo de
2004-12-01
The fluid dynamic behavior of a riser in a cold type FCC model was investigated by means of catalyst concentration distribution measured with gamma attenuation and simulated with a mathematical model. In the riser of the cold model, MEF, 0,032 m in diameter, 2,30 m in length the fluidized bed, whose components are air and FCC catalyst, circulates. The MEF is operated by automatic control and instruments for measuring fluid dynamic variables. An axial catalyst concentration distribution was measured using an Am-241 gamma source and a NaI detector coupled to a multichannel provided with a software for data acquisition and evaluation. The MEF was adapted for a fluid dynamic model validation which describes the flow in the riser, for example, by introducing an injector for controlling the solid flow in circulation. Mathematical models were selected from literature, analyzed and tested to simulate the fluid dynamic of the riser. A methodology for validating fluid dynamic models was studied and implemented. The stages of the work were developed according to the validation methodology, such as data planning experiments, study of the equations which describe the fluidodynamic, computational solvers application and comparison with experimental data. Operational sequences were carried out keeping the MEF conditions for measuring catalyst concentration and simultaneously measuring the fluid dynamic variables, velocity of the components and pressure drop in the riser. Following this, simulated and experimental values were compared and statistical data treatment done, aiming at the required precision to validate the fluid dynamic model. The comparison tests between experimental and simulated data were carried out under validation criteria. The fluid dynamic behavior of the riser was analyzed and the results and the agreement with literature were discussed. The adopt model was validated under the MEF operational conditions, for a 3 to 6 m/s gas velocity in the riser and a slip
Energy Technology Data Exchange (ETDEWEB)
Thirukkanesh, S. [Eastern University, Department of Mathematics, Chenkalady (Sri Lanka); Ragel, F.C. [Eastern University, Department of Physics, Chenkalady (Sri Lanka); Sharma, Ranjan; Das, Shyam [P.D. Women' s College, Department of Physics, Jalpaiguri (India)
2018-01-15
We present an algorithm to generalize a plethora of well-known solutions to Einstein field equations describing spherically symmetric relativistic fluid spheres by relaxing the pressure isotropy condition on the system. By suitably fixing the model parameters in our formulation, we generate closed-form solutions which may be treated as an anisotropic generalization of a large class of solutions describing isotropic fluid spheres. From the resultant solutions, a particular solution is taken up to show its physical acceptability. Making use of the current estimate of mass and radius of a known pulsar, the effects of anisotropic stress on the gross physical behaviour of a relativistic compact star is also highlighted. (orig.)
The mathematics of some tomography algorithms used at JET
Energy Technology Data Exchange (ETDEWEB)
Ingesson, L
2000-03-01
Mathematical details are given of various tomographic reconstruction algorithms that are in use at JET. These algorithms include constrained optimization (CO) with local basis functions, the Cormack method, methods with natural basis functions and the iterative projection-space reconstruction method. Topics discussed include: derivation of the matrix equation for constrained optimization, variable grid size, basis functions, line integrals, derivative matrices, smoothness matrices, analytical expression of the CO solution, sparse matrix storage, projection-space coordinates, the Cormack method in elliptical coordinates, interpolative generalized natural basis functions and some details of the implementation of the filtered backprojection method. (author)
Implementation of several mathematical algorithms to breast tissue density classification
Quintana, C.; Redondo, M.; Tirao, G.
2014-02-01
The accuracy of mammographic abnormality detection methods is strongly dependent on breast tissue characteristics, where a dense breast tissue can hide lesions causing cancer to be detected at later stages. In addition, breast tissue density is widely accepted to be an important risk indicator for the development of breast cancer. This paper presents the implementation and the performance of different mathematical algorithms designed to standardize the categorization of mammographic images, according to the American College of Radiology classifications. These mathematical techniques are based on intrinsic properties calculations and on comparison with an ideal homogeneous image (joint entropy, mutual information, normalized cross correlation and index Q) as categorization parameters. The algorithms evaluation was performed on 100 cases of the mammographic data sets provided by the Ministerio de Salud de la Provincia de Córdoba, Argentina—Programa de Prevención del Cáncer de Mama (Department of Public Health, Córdoba, Argentina, Breast Cancer Prevention Program). The obtained breast classifications were compared with the expert medical diagnostics, showing a good performance. The implemented algorithms revealed a high potentiality to classify breasts into tissue density categories.
Nanna, Robert J.
2016-01-01
Algorithms and representations have been an important aspect of the work of mathematics, especially for understanding concepts and communicating ideas about concepts and mathematical relationships. They have played a key role in various mathematics standards documents, including the Common Core State Standards for Mathematics. However, there have…
Dzierka, M.; Jurczak, P.
2015-12-01
In the paper, currently used methods for modeling the flow of the aqueous humor through eye structures are presented. Then a computational model based on rheological models of Newtonian and non-Newtonian fluids is proposed. The proposed model may be used for modeling the flow of the aqueous humor through the trabecular meshwork. The trabecular meshwork is modeled as an array of rectilinear parallel capillary tubes. The flow of Newtonian and non-Newtonian fluids is considered. As a results of discussion mathematical equations of permeability of porous media and velocity of fluid flow through porous media have been received.
Mathematical models and algorithms for the computer program 'WOLF'
International Nuclear Information System (INIS)
Halbach, K.
1975-12-01
The computer program FLOW finds the nonrelativistic self- consistent set of two-dimensional ion trajectories and electric fields (including space charges from ions and electrons) for a given set of initial and boundary conditions for the particles and fields. The combination of FLOW with the optimization code PISA gives the program WOLF, which finds the shape of the emitter which is consistent with the plasma forming it, and in addition varies physical characteristics such as electrode position, shapes, and potentials so that some performance characteristics are optimized. The motivation for developing these programs was the desire to design optimum ion source extractor/accelerator systems in a systematic fashion. The purpose of this report is to explain and derive the mathematical models and algorithms which approximate the real physical processes. It serves primarily to document the computer programs. 10 figures
International Nuclear Information System (INIS)
Kotel'nikov, G.A.
1994-01-01
An algorithm id proposed for research the symmetries of mathematical physics equation. The application of this algorithm to the Schroedinger equation permitted to establish, that in addition to the known symmetry the Schroedinger equation possesses also the relativistic symmetry
Comparison of two mathematical models for describing heat-induced cell killing
International Nuclear Information System (INIS)
Roti Roti, J.L.; Henle, K.J.
1980-01-01
A computer-based minimization algorithm is utilized to obtain the optimum fits of two models to hyperthermic cell killing data. The models chosen are the multitarget, single-hit equation, which is in general use, and the linear-quadratic equation, which has been applied to cell killing by ionizing irradiation but not to heat-induced cell killing. The linear-quadratic equation fits hyperthermic cell killing data as well as the multitarget, single-hit equation. Both parameters of the linear-quadratic equation obey the Arrhenius law, whereas only one of the two parameters of the multitarget, single-hit equation obeys the Arrhenius law. Thus the linear-quadratic function can completely define cell killing as a function of both time and temperature. In addition, the linear-quadratic model will provide a simplified approach to the study of the synergism between heat and X irradiation
Head injury management algorithm as described in Hippocrates' "peri ton en cephali traumaton".
Dimopoulos, Vassilios G; Machinis, Theofilos G; Fountas, Kostas N; Robinson, Joe S
2005-12-01
HIPPOCRATIC WORKS LEND themselves still today to the modern physician for further analysis of his approach to the diagnosis and treatment of various pathological conditions. We present an attempt to systematize his methodology regarding the management of head trauma and present it in the format of a modern-era algorithm.
Algorithmic information theory mathematics of digital information processing
Seibt, Peter
2007-01-01
Treats the Mathematics of many important areas in digital information processing. This book covers, in a unified presentation, five topics: Data Compression, Cryptography, Sampling (Signal Theory), Error Control Codes, Data Reduction. It is useful for teachers, students and practitioners in Electronic Engineering, Computer Science and Mathematics.
International Nuclear Information System (INIS)
Belousov, V. I.; Ezhela, V. V.; Kuyanov, Yu. V.; Tkachenko, N. P.
2015-01-01
The experience of using the dynamic atlas of the experimental data and mathematical models of their description in the problems of adjusting parametric models of observable values depending on kinematic variables is presented. The functional possibilities of an image of a large number of experimental data and the models describing them are shown by examples of data and models of observable values determined by the amplitudes of elastic scattering of hadrons. The Internet implementation of an interactive tool DaMoScope and its interface with the experimental data and codes of adjusted parametric models with the parameters of the best description of data are schematically shown. The DaMoScope codes are freely available
Belousov, V. I.; Ezhela, V. V.; Kuyanov, Yu. V.; Tkachenko, N. P.
2015-12-01
The experience of using the dynamic atlas of the experimental data and mathematical models of their description in the problems of adjusting parametric models of observable values depending on kinematic variables is presented. The functional possibilities of an image of a large number of experimental data and the models describing them are shown by examples of data and models of observable values determined by the amplitudes of elastic scattering of hadrons. The Internet implementation of an interactive tool DaMoScope and its interface with the experimental data and codes of adjusted parametric models with the parameters of the best description of data are schematically shown. The DaMoScope codes are freely available.
Energy Technology Data Exchange (ETDEWEB)
Belousov, V. I.; Ezhela, V. V.; Kuyanov, Yu. V., E-mail: Yu.Kuyanov@gmail.com; Tkachenko, N. P. [Institute for High Energy Physics, National Research Center Kurchatov Institute, COMPAS Group (Russian Federation)
2015-12-15
The experience of using the dynamic atlas of the experimental data and mathematical models of their description in the problems of adjusting parametric models of observable values depending on kinematic variables is presented. The functional possibilities of an image of a large number of experimental data and the models describing them are shown by examples of data and models of observable values determined by the amplitudes of elastic scattering of hadrons. The Internet implementation of an interactive tool DaMoScope and its interface with the experimental data and codes of adjusted parametric models with the parameters of the best description of data are schematically shown. The DaMoScope codes are freely available.
Fabietti, P G; Calabrese, G; Iorio, M; Bistoni, S; Brunetti, P; Sarti, E; Benedetti, M M
2001-10-01
Nine type 1 diabetic patients were studied for 24 hours. During this period they were given three calibrated meals. The glycemia was feedback-controlled by means of an artificial pancreas. The blood concentration of glucose and the infusion speed of the insulin were measured every minute. The experimental data referring to each of the three meals were used to estimate the parameters of a mathematical model suitable for describing the glycemic response of diabetic patients at meals and at the i.v. infusion of exogenous insulin. From the estimate a marked dispersion of the parameters was found, both interindividual and intraindividual. Nevertheless the models thus obtained seem to be usable for the synthesis of a feedback controller, especially in view of creating a portable artificial pancreas that now seems possible owing to the realization (so far experimental) of sufficiently reliable glucose concentration sensors.
Mathematical algorithm for the automatic recognition of intestinal parasites.
Directory of Open Access Journals (Sweden)
Alicia Alva
Full Text Available Parasitic infections are generally diagnosed by professionals trained to recognize the morphological characteristics of the eggs in microscopic images of fecal smears. However, this laboratory diagnosis requires medical specialists which are lacking in many of the areas where these infections are most prevalent. In response to this public health issue, we developed a software based on pattern recognition analysis from microscopi digital images of fecal smears, capable of automatically recognizing and diagnosing common human intestinal parasites. To this end, we selected 229, 124, 217, and 229 objects from microscopic images of fecal smears positive for Taenia sp., Trichuris trichiura, Diphyllobothrium latum, and Fasciola hepatica, respectively. Representative photographs were selected by a parasitologist. We then implemented our algorithm in the open source program SCILAB. The algorithm processes the image by first converting to gray-scale, then applies a fourteen step filtering process, and produces a skeletonized and tri-colored image. The features extracted fall into two general categories: geometric characteristics and brightness descriptions. Individual characteristics were quantified and evaluated with a logistic regression to model their ability to correctly identify each parasite separately. Subsequently, all algorithms were evaluated for false positive cross reactivity with the other parasites studied, excepting Taenia sp. which shares very few morphological characteristics with the others. The principal result showed that our algorithm reached sensitivities between 99.10%-100% and specificities between 98.13%- 98.38% to detect each parasite separately. We did not find any cross-positivity in the algorithms for the three parasites evaluated. In conclusion, the results demonstrated the capacity of our computer algorithm to automatically recognize and diagnose Taenia sp., Trichuris trichiura, Diphyllobothrium latum, and Fasciola hepatica
Mathematical algorithm for the automatic recognition of intestinal parasites.
Alva, Alicia; Cangalaya, Carla; Quiliano, Miguel; Krebs, Casey; Gilman, Robert H; Sheen, Patricia; Zimic, Mirko
2017-01-01
Parasitic infections are generally diagnosed by professionals trained to recognize the morphological characteristics of the eggs in microscopic images of fecal smears. However, this laboratory diagnosis requires medical specialists which are lacking in many of the areas where these infections are most prevalent. In response to this public health issue, we developed a software based on pattern recognition analysis from microscopi digital images of fecal smears, capable of automatically recognizing and diagnosing common human intestinal parasites. To this end, we selected 229, 124, 217, and 229 objects from microscopic images of fecal smears positive for Taenia sp., Trichuris trichiura, Diphyllobothrium latum, and Fasciola hepatica, respectively. Representative photographs were selected by a parasitologist. We then implemented our algorithm in the open source program SCILAB. The algorithm processes the image by first converting to gray-scale, then applies a fourteen step filtering process, and produces a skeletonized and tri-colored image. The features extracted fall into two general categories: geometric characteristics and brightness descriptions. Individual characteristics were quantified and evaluated with a logistic regression to model their ability to correctly identify each parasite separately. Subsequently, all algorithms were evaluated for false positive cross reactivity with the other parasites studied, excepting Taenia sp. which shares very few morphological characteristics with the others. The principal result showed that our algorithm reached sensitivities between 99.10%-100% and specificities between 98.13%- 98.38% to detect each parasite separately. We did not find any cross-positivity in the algorithms for the three parasites evaluated. In conclusion, the results demonstrated the capacity of our computer algorithm to automatically recognize and diagnose Taenia sp., Trichuris trichiura, Diphyllobothrium latum, and Fasciola hepatica with a high
International Nuclear Information System (INIS)
Demazure, M.
1988-01-01
The 1988 progress report of the Mathematics center (Polytechnic School, France), is presented. The Center is composed of different research teams: analysis, Riemann geometry, group theory, formal calculus and algorithm geometry, dynamical systems, topology and singularity. For each team, the members, the research topics, the national and international cooperations, are given. The papers concerning the investigations carried out in 1988, are listed [fr
Doing Mathematics with Purpose: Mathematical Text Types
Dostal, Hannah M.; Robinson, Richard
2018-01-01
Mathematical literacy includes learning to read and write different types of mathematical texts as part of purposeful mathematical meaning making. Thus in this article, we describe how learning to read and write mathematical texts (proof text, algorithmic text, algebraic/symbolic text, and visual text) supports the development of students'…
Directory of Open Access Journals (Sweden)
Abhishek Banerjee
2015-01-01
Full Text Available The technological progress in the digitalization of a complete histological glass slide has opened a new door in the tissue based diagnosis. Automated slide diagnosis can be made possible by the use of mathematical algorithms which are formulated by binary codes or values. These algorithms (diagnostic algorithms include both object based (object features, structures and pixel based (texture measures. The intra- and inter-observer errors inherent in the visual diagnosis of a histopathological slide are largely replaced by the use of diagnostic algorithms leading to a standardized and reproducible diagnosis. The present paper reviews the advances in digital histopathology especially related to the use of mathematical algorithms (diagnostic algorithms in the field of oral histopathology. The literature was reviewed for data relating to the use of algorithms utilized in the construction of computational software with special applications in oral histopathological diagnosis. The data were analyzed, and the types and end targets of the algorithms were tabulated. The advantages, specificities and reproducibility of the software, its shortcomings and its comparison with traditional methods of histopathological diagnosis were evaluated. Algorithms help in automated slide diagnosis by creating software with possible reduced errors and bias with a high degree of specificity, sensitivity, and reproducibility. Akin to the identification of thumbprints and faces, software for histopathological diagnosis will in the near future be an important part of the histopathological diagnosis.
Directory of Open Access Journals (Sweden)
O. V. Fomin
2013-10-01
Full Text Available Purpose. Presentation of features and example of the use of the offered determination algorithm of optimum geometrical parameters for the components of freight cars on the basis of the generalized mathematical models, which is realized using computer. Methodology. The developed approach to search for optimal geometrical parameters can be described as the determination of optimal decision of the selected set of possible variants. Findings. The presented application example of the offered algorithm proved its operation capacity and efficiency of use. Originality. The determination procedure of optimal geometrical parameters for freight car components on the basis of the generalized mathematical models was formalized in the paper. Practical value. Practical introduction of the research results for universal open cars allows one to reduce container of their design and accordingly to increase the carrying capacity almost by100 kg with the improvement of strength characteristics. Taking into account the mass of their park this will provide a considerable economic effect when producing and operating. The offered approach is oriented to the distribution of the software packages (for example Microsoft Excel, which are used by technical services of the most enterprises, and does not require additional capital investments (acquisitions of the specialized programs and proper technical staff training. This proves the correctness of the research direction. The offered algorithm can be used for the solution of other optimization tasks on the basis of the generalized mathematical models.
Directory of Open Access Journals (Sweden)
O. Ye. Prokopchenko
2015-10-01
Full Text Available The article analyzes the basic methods and algorithms of mathematical processing of medical images as objects of computer mathematics. The presented methods and computer algorithms of mathematics relevant and may find application in the field of medical imaging - automated processing of images; as a tool for measurement and determination the optical parameters; identification and formation of medical images database. Methods and computer algorithms presented in the article and based on Wolfram Mathematica are also relevant to the problem of modern medical education. As an example of Wolfram Mathematics may be considered appropriate demonstration, such as recognition of special radiographs and morphological imaging. These methods are used to improve the diagnostic significance and value of medical (clinical research and can serve as an educational interactive demonstration. Implementation submitted individual methods and algorithms of computer Wolfram Mathematics contributes, in general, the optimization process of practical processing and presentation of medical images.
Directory of Open Access Journals (Sweden)
Alexander B. Bakulev
2012-11-01
Full Text Available This article deals with mathematical models and algorithms, providing mobility of sequential programs parallel representation on the high-level language, presents formal model of operation environment processes management, based on the proposed model of programs parallel representation, presenting computation process on the base of multi-core processors.
Development of a mathematical model describing hydrolysis and co-fermentation of C6 and C5 sugars
DEFF Research Database (Denmark)
Morales Rodriguez, Ricardo; Gernaey, Krist; Meyer, Anne S.
2010-01-01
saccharification and co-fermentation (SSCF) of C6 and C5 sugars. Model construction has been carried out by combining existing mathematical models for enzymatic hydrolysis on the one hand and co-fermentation on the other hand. An inhibition of ethanol on cellulose conversion was introduced in order to increase...
International Nuclear Information System (INIS)
Jalmuzna, W.
2006-02-01
The X-ray free-electron laser XFEL that is being planned at the DESY research center in cooperation with European partners will produce high-intensity ultra-short Xray flashes with the properties of laser light. This new light source, which can only be described in terms of superlatives, will open up a whole range of new perspectives for the natural sciences. It could also offer very promising opportunities for industrial users. SIMCON (SIMulator and CONtroller) is the project of the fast, low latency digital controller dedicated for LLRF system in VUV FEL experiment based on modern FPGA chips It is being developed by ELHEP group in Institute of Electronic Systems at Warsaw University of Technology. The main purpose of the project is to create a controller for stabilizing the vector sum of fields in cavities of one cryomodule in the experiment. The device can be also used as the simulator of the cavity and testbench for other devices. Flexibility and computation power of this device allow implementation of fast mathematical algorithms. This paper describes the concept, implementation and tests of universal mathematical library for FPGA algorithm implementation. It consists of many useful components such as IQ demodulator, division block, library for complex and floating point operations, etc. It is able to speed up implementation time of many complicated algorithms. Library have already been tested using real accelerator signals and the performance achieved is satisfactory. (Orig.)
Energy Technology Data Exchange (ETDEWEB)
Jalmuzna, W.
2006-02-15
The X-ray free-electron laser XFEL that is being planned at the DESY research center in cooperation with European partners will produce high-intensity ultra-short Xray flashes with the properties of laser light. This new light source, which can only be described in terms of superlatives, will open up a whole range of new perspectives for the natural sciences. It could also offer very promising opportunities for industrial users. SIMCON (SIMulator and CONtroller) is the project of the fast, low latency digital controller dedicated for LLRF system in VUV FEL experiment based on modern FPGA chips It is being developed by ELHEP group in Institute of Electronic Systems at Warsaw University of Technology. The main purpose of the project is to create a controller for stabilizing the vector sum of fields in cavities of one cryomodule in the experiment. The device can be also used as the simulator of the cavity and testbench for other devices. Flexibility and computation power of this device allow implementation of fast mathematical algorithms. This paper describes the concept, implementation and tests of universal mathematical library for FPGA algorithm implementation. It consists of many useful components such as IQ demodulator, division block, library for complex and floating point operations, etc. It is able to speed up implementation time of many complicated algorithms. Library have already been tested using real accelerator signals and the performance achieved is satisfactory. (Orig.)
Manchanda, Pammy; Bhardwaj, Rashmi
2015-01-01
The present volume contains invited talks of 11th biennial conference on “Emerging Mathematical Methods, Models and Algorithms for Science and Technology”. The main message of the book is that mathematics has a great potential to analyse and understand the challenging problems of nanotechnology, biotechnology, medical science, oil industry and financial technology. The book highlights all the features and main theme discussed in the conference. All contributing authors are eminent academicians, scientists, researchers and scholars in their respective fields, hailing from around the world.
International Nuclear Information System (INIS)
Bur'yan, V.I.; Kozlova, L.V.; Kuzhil', A.S.; Shikalov, V.F.
2005-01-01
The development of algorithms for correction of self-powered neutron detector (SPND) inertial is caused by necessity to increase the fast response of the in-core instrumentation systems (ICIS). The increase of ICIS fast response will permit to monitor in real time fast transient processes in the core, and in perspective - to use the signals of rhodium SPND for functions of emergency protection by local parameters. In this paper it is proposed to use mathematical model of neutron flux measurements by means of SPND in integral form for creation of correction algorithms. This approach, in the case, is the most convenient for creation of recurrent algorithms for flux estimation. The results of comparison for estimation of neutron flux and reactivity by readings of ionization chambers and SPND signals, corrected by proposed algorithms, are presented [ru
Jafari, Hamed; Salmasi, Nasser
2015-09-01
The nurse scheduling problem (NSP) has received a great amount of attention in recent years. In the NSP, the goal is to assign shifts to the nurses in order to satisfy the hospital's demand during the planning horizon by considering different objective functions. In this research, we focus on maximizing the nurses' preferences for working shifts and weekends off by considering several important factors such as hospital's policies, labor laws, governmental regulations, and the status of nurses at the end of the previous planning horizon in one of the largest hospitals in Iran i.e., Milad Hospital. Due to the shortage of available nurses, at first, the minimum total number of required nurses is determined. Then, a mathematical programming model is proposed to solve the problem optimally. Since the proposed research problem is NP-hard, a meta-heuristic algorithm based on simulated annealing (SA) is applied to heuristically solve the problem in a reasonable time. An initial feasible solution generator and several novel neighborhood structures are applied to enhance performance of the SA algorithm. Inspired from our observations in Milad hospital, random test problems are generated to evaluate the performance of the SA algorithm. The results of computational experiments indicate that the applied SA algorithm provides solutions with average percentage gap of 5.49 % compared to the upper bounds obtained from the mathematical model. Moreover, the applied SA algorithm provides significantly better solutions in a reasonable time than the schedules provided by the head nurses.
Optimal Design of Pumped Pipeline Systems Using Genetic Algorithm and Mathematical Optimization
Directory of Open Access Journals (Sweden)
Mohammadhadi Afshar
2007-12-01
Full Text Available In recent years, much attention has been paid to the optimal design of pipeline systems. In this study, the problem of pipeline system optimal design has been solved through genetic algorithm and mathematical optimization. Pipe diameters and their thicknesses are considered as decision variables to be designed in a manner that water column separation and excessive pressures are avoided in the event of pump failure. Capabilities of the genetic algorithm and the mathematical programming method are compared for the problem under consideration. For simulation of transient streams, explicit characteristic method is used in which devices such as pumps are defined as boundary conditions of the equations defining the hydraulic behavior of pipe segments. The problem of optimal design of pipeline systems is a constrained problem which is converted to an unconstrained optimization problem using an external penalty function approach. The efficiency of the proposed approaches is verified in one example and the results are presented.
Practical mathematical optimization basic optimization theory and gradient-based algorithms
Snyman, Jan A
2018-01-01
This textbook presents a wide range of tools for a course in mathematical optimization for upper undergraduate and graduate students in mathematics, engineering, computer science, and other applied sciences. Basic optimization principles are presented with emphasis on gradient-based numerical optimization strategies and algorithms for solving both smooth and noisy discontinuous optimization problems. Attention is also paid to the difficulties of expense of function evaluations and the existence of multiple minima that often unnecessarily inhibit the use of gradient-based methods. This second edition addresses further advancements of gradient-only optimization strategies to handle discontinuities in objective functions. New chapters discuss the construction of surrogate models as well as new gradient-only solution strategies and numerical optimization using Python. A special Python module is electronically available (via springerlink) that makes the new algorithms featured in the text easily accessible and dir...
Directory of Open Access Journals (Sweden)
Mark D McDonnell
2013-05-01
Full Text Available The release of neurotransmitter vesicles after arrival of a pre-synaptic action potential at cortical synapses is known to be a stochastic process, as is the availability of vesicles for release. These processes are known to also depend on the recent history of action-potential arrivals, and this can be described in terms of time-varying probabilities of vesicle release. Mathematical models of such synaptic dynamics frequently are based only on the mean number of vesicles released by each pre-synaptic action potential, since if it is assumed there are sufficiently many vesicle sites, then variance is small. However, it has been shown recently that variance across sites can be significant for neuron and network dynamics, and this suggests the potential importance of studying short-term plasticity using simulations that do generate trial-to-trial variability. Therefore, in this paper we study several well-known conceptual models for stochastic availability and release. We state explicitly the random variables that these models describe and propose efficient algorithms for accurately implementing stochastic simulations of these random variables in software or hardware. Our results are complemented by mathematical analysis and statement of pseudo-code algorithms.
Atanassov, E.; Dimitrov, D.; Gurov, T.
2015-10-01
The recent developments in the area of high-performance computing are driven not only by the desire for ever higher performance but also by the rising costs of electricity. The use of various types of accelerators like GPUs, Intel Xeon Phi has become mainstream and many algorithms and applications have been ported to make use of them where available. In Financial Mathematics the question of optimal use of computational resources should also take into account the limitations on space, because in many use cases the servers are deployed close to the exchanges. In this work we evaluate various algorithms for option pricing that we have implemented for different target architectures in terms of their energy and space efficiency. Since it has been established that low-discrepancy sequences may be better than pseudorandom numbers for these types of algorithms, we also test the Sobol and Halton sequences. We present the raw results, the computed metrics and conclusions from our tests.
A Mathematical Model and Algorithm for Routing Air Traffic Under Weather Uncertainty
Sadovsky, Alexander V.
2016-01-01
A central challenge in managing today's commercial en route air traffic is the task of routing the aircraft in the presence of adverse weather. Such weather can make regions of the airspace unusable, so all affected flights must be re-routed. Today this task is carried out by conference and negotiation between human air traffic controllers (ATC) responsible for the involved sectors of the airspace. One can argue that, in so doing, ATC try to solve an optimization problem without giving it a precise quantitative formulation. Such a formulation gives the mathematical machinery for constructing and verifying algorithms that are aimed at solving the problem. This paper contributes one such formulation and a corresponding algorithm. The algorithm addresses weather uncertainty and has closed form, which allows transparent analysis of correctness, realism, and computational costs.
Mathematical Model and Algorithm for the Reefer Mechanic Scheduling Problem at Seaports
Directory of Open Access Journals (Sweden)
Jiantong Zhang
2017-01-01
Full Text Available With the development of seaborne logistics, the international trade of goods transported in refrigerated containers is growing fast. Refrigerated containers, also known as reefers, are used in transportation of temperature sensitive cargo, such as perishable fruits. This trend brings new challenges to terminal managers, that is, how to efficiently arrange mechanics to plug and unplug power for the reefers (i.e., tasks at yards. This work investigates the reefer mechanics scheduling problem at container ports. To minimize the sum of the total tardiness of all tasks and the total working distance of all mechanics, we formulate a mathematical model. For the resolution of this problem, we propose a DE algorithm which is combined with efficient heuristics, local search strategies, and parameter adaption scheme. The proposed algorithm is tested and validated through numerical experiments. Computational results demonstrate the effectiveness and efficiency of the proposed algorithm.
New Mathematical Model and Algorithm for Economic Lot Scheduling Problem in Flexible Flow Shop
Directory of Open Access Journals (Sweden)
H. Zohali
2018-03-01
Full Text Available This paper addresses the lot sizing and scheduling problem for a number of products in flexible flow shop with identical parallel machines. The production stages are in series, while separated by finite intermediate buffers. The objective is to minimize the sum of setup and inventory holding costs per unit of time. The available mathematical model of this problem in the literature suffers from huge complexity in terms of size and computation. In this paper, a new mixed integer linear program is developed for delay with the huge dimentions of the problem. Also, a new meta heuristic algorithm is developed for the problem. The results of the numerical experiments represent a significant advantage of the proposed model and algorithm compared with the available models and algorithms in the literature.
Energy Technology Data Exchange (ETDEWEB)
Atanassov, E.; Dimitrov, D., E-mail: d.slavov@bas.bg, E-mail: emanouil@parallel.bas.bg, E-mail: gurov@bas.bg; Gurov, T. [Institute of Information and Communication Technologies, BAS, Acad. G. Bonchev str., bl. 25A, 1113 Sofia (Bulgaria)
2015-10-28
The recent developments in the area of high-performance computing are driven not only by the desire for ever higher performance but also by the rising costs of electricity. The use of various types of accelerators like GPUs, Intel Xeon Phi has become mainstream and many algorithms and applications have been ported to make use of them where available. In Financial Mathematics the question of optimal use of computational resources should also take into account the limitations on space, because in many use cases the servers are deployed close to the exchanges. In this work we evaluate various algorithms for option pricing that we have implemented for different target architectures in terms of their energy and space efficiency. Since it has been established that low-discrepancy sequences may be better than pseudorandom numbers for these types of algorithms, we also test the Sobol and Halton sequences. We present the raw results, the computed metrics and conclusions from our tests.
Optimal Design of Gravity Pipeline Systems Using Genetic Algorithm and Mathematical Optimization
Directory of Open Access Journals (Sweden)
maryam rohani
2015-03-01
Full Text Available In recent years, the optimal design of pipeline systems has become increasingly important in the water industry. In this study, the two methods of genetic algorithm and mathematical optimization were employed for the optimal design of pipeline systems with the objective of avoiding the water hammer effect caused by valve closure. The problem of optimal design of a pipeline system is a constrained one which should be converted to an unconstrained optimization problem using an external penalty function approach in the mathematical programming method. The quality of the optimal solution greatly depends on the value of the penalty factor that is calculated by the iterative method during the optimization procedure such that the computational effort is simultaneously minimized. The results obtained were used to compare the GA and mathematical optimization methods employed to determine their efficiency and capabilities for the problem under consideration. It was found that the mathematical optimization method exhibited a slightly better performance compared to the GA method.
International Nuclear Information System (INIS)
Pan Yi; Mao Wanchong
2010-01-01
The parameter measurement of nuclear track occupies an important position in the field of nuclear technology. However, traditional artificial counting method has many limitations. In recent years, DSP and digital image processing technology have been applied in nuclear field more and more. For the sake of reducing errors of visual measurement in artificial counting method, an automatic counting system for nuclear track based on DM642 real-time image processing platform is introduced in this article, which is able to effectively remove interferences from the background and noise points, as well as automatically extract nuclear track-points by using mathematical morphology algorithm. (authors)
Dideriksen, Jakob Lund; Feeney, Daniel F; Almuklass, Awad M; Enoka, Roger M
2017-08-01
Force trajectories during isometric force-matching tasks involving isometric contractions vary substantially across individuals. In this study, we investigated if this variability can be explained by discrete time proportional, integral, derivative (PID) control algorithms with varying model parameters. To this end, we analyzed the pinch force trajectories of 24 subjects performing two rapid force-matching tasks with visual feedback. Both tasks involved isometric contractions to a target force of 10% maximal voluntary contraction. One task involved a single action (pinch) and the other required a double action (concurrent pinch and wrist extension). 50,000 force trajectories were simulated with a computational neuromuscular model whose input was determined by a PID controller with different PID gains and frequencies at which the controller adjusted muscle commands. The goal was to find the best match between each experimental force trajectory and all simulated trajectories. It was possible to identify one realization of the PID controller that matched the experimental force produced during each task for most subjects (average index of similarity: 0.87 ± 0.12; 1 = perfect similarity). The similarities for both tasks were significantly greater than that would be expected by chance (single action: p = 0.01; double action: p = 0.04). Furthermore, the identified control frequencies in the simulated PID controller with the greatest similarities decreased as task difficulty increased (single action: 4.0 ± 1.8 Hz; double action: 3.1 ± 1.3 Hz). Overall, the results indicate that discrete time PID controllers are realistic models for the neural control of force in rapid force-matching tasks involving isometric contractions.
Energy Technology Data Exchange (ETDEWEB)
Umarova, Zhanat; Botayeva, Saule; Yegenova, Aliya; Usenova, Aisaule [South Kazakhstan State University, 5, Tauke Khan Avenue, 160012 Shymkent (Kazakhstan)
2015-05-15
In the given article, the main thermodynamic aspects of the issue of modeling diffusion transfer in molecular sieves have been formulated. Dissipation function is used as a basic notion. The differential equation, connecting volume flow with the change of the concentration of catchable component has been derived. As a result, the expression for changing the concentration of the catchable component and the coefficient of membrane detecting has been received. As well, the system approach to describing the process of gases separation in ultra porous membranes has been realized and micro and meso-levels of mathematical modeling have been distinguished. The non-ideality of the shared system is primarily taken into consideration at the micro-level and the departure from the diffusion law of Fick has been taken into account. The calculation method of selectivity considering fractal structure of membranes has been developed at the meso level. The calculation algorithm and its software implementation have been suggested.
International Nuclear Information System (INIS)
Umarova, Zhanat; Botayeva, Saule; Yegenova, Aliya; Usenova, Aisaule
2015-01-01
In the given article, the main thermodynamic aspects of the issue of modeling diffusion transfer in molecular sieves have been formulated. Dissipation function is used as a basic notion. The differential equation, connecting volume flow with the change of the concentration of catchable component has been derived. As a result, the expression for changing the concentration of the catchable component and the coefficient of membrane detecting has been received. As well, the system approach to describing the process of gases separation in ultra porous membranes has been realized and micro and meso-levels of mathematical modeling have been distinguished. The non-ideality of the shared system is primarily taken into consideration at the micro-level and the departure from the diffusion law of Fick has been taken into account. The calculation method of selectivity considering fractal structure of membranes has been developed at the meso level. The calculation algorithm and its software implementation have been suggested
Creativity and Technology in Mathematics: From Story Telling to Algorithmic with Op'Art
Mercat, Christian; Filho, Pedro Lealdino; El-Demerdash, Mohamed
2017-01-01
This article describes some of the results of the European project mcSquared (http://mc2-project.eu/) regarding the use of Op'Art and optical illusion pieces as a tool to foster modeling and creative mathematical thinking in students. We present briefly the c-book technology and some results we got experimenting it. The Op'Art movement, with…
Gratieri, Taís; Kalia, Yogeshvar N
2013-02-01
more esoteric "constant phase element"; the latter provides a better mathematical description of the "non-ideal" behaviour of skin impedance. However, in addition to simply providing a "mathematical" fit of the observed data, it is essential to relate these circuit elements to biological structures present in the skin. More recently, attention has also turned to what happens when the permeant crosses the epidermis and reaches the systemic circulation and pharmacokinetic models have been proposed to interpret data from iontophoretic delivery studies in vivo. Here, we provide an overview of mathematical models that have been proposed to describe (i) the effect of current application on the skin and the implications for potential iontophoretic transport pathways, (ii) electrotransport kinetics and (iii) the fate of iontophoretically delivered drugs once they enter the systemic circulation. Copyright © 2012 Elsevier B.V. All rights reserved.
Thirty-three miniatures mathematical and algorithmic applications of linear algebra
Matousek, Jiří
2010-01-01
This volume contains a collection of clever mathematical applications of linear algebra, mainly in combinatorics, geometry, and algorithms. Each chapter covers a single main result with motivation and full proof in at most ten pages and can be read independently of all other chapters (with minor exceptions), assuming only a modest background in linear algebra. The topics include a number of well-known mathematical gems, such as Hamming codes, the matrix-tree theorem, the Lov�sz bound on the Shannon capacity, and a counterexample to Borsuk's conjecture, as well as other, perhaps less popular but similarly beautiful results, e.g., fast associativity testing, a lemma of Steinitz on ordering vectors, a monotonicity result for integer partitions, or a bound for set pairs via exterior products. The simpler results in the first part of the book provide ample material to liven up an undergraduate course of linear algebra. The more advanced parts can be used for a graduate course of linear-algebraic methods or for s...
Stochastic time-dependent vehicle routing problem: Mathematical models and ant colony algorithm
Directory of Open Access Journals (Sweden)
Zhengyu Duan
2015-11-01
Full Text Available This article addresses the stochastic time-dependent vehicle routing problem. Two mathematical models named robust optimal schedule time model and minimum expected schedule time model are proposed for stochastic time-dependent vehicle routing problem, which can guarantee delivery within the time windows of customers. The robust optimal schedule time model only requires the variation range of link travel time, which can be conveniently derived from historical traffic data. In addition, the robust optimal schedule time model based on robust optimization method can be converted into a time-dependent vehicle routing problem. Moreover, an ant colony optimization algorithm is designed to solve stochastic time-dependent vehicle routing problem. As the improvements in initial solution and transition probability, ant colony optimization algorithm has a good performance in convergence. Through computational instances and Monte Carlo simulation tests, robust optimal schedule time model is proved to be better than minimum expected schedule time model in computational efficiency and coping with the travel time fluctuations. Therefore, robust optimal schedule time model is applicable in real road network.
Gultepe, Nejla; Yalcin Celik, Ayse; Kilic, Ziya
2013-01-01
The purpose of the study was to examine the effects of students' conceptual understanding of chemical concepts and mathematical processing skills on algorithmic problem-solving skills. The sample (N = 554) included grades 9, 10, and 11 students in Turkey. Data were collected using the instrument "MPC Test" and with interviews. The MPC…
Energy Technology Data Exchange (ETDEWEB)
Hung, Nguyen Trong; Thuan, Le Ba [Institute for Technology of Radioactive and Rare Elements (ITRRE), 48 Lang Ha, Dong Da, Ha Noi (Viet Nam); Van Khoai, Do [Micro-Emission Ltd., 1-1 Asahidai, Nomi, Ishikawa, 923-1211 (Japan); Lee, Jin-Young, E-mail: jinlee@kigam.re.kr [Convergence Research Center for Development of Mineral Resources (DMR), Korea Institute of Geoscience and Mineral Resources (KIGAM), Daejeon, 305-350 (Korea, Republic of); Jyothi, Rajesh Kumar, E-mail: rkumarphd@kigam.re.kr [Convergence Research Center for Development of Mineral Resources (DMR), Korea Institute of Geoscience and Mineral Resources (KIGAM), Daejeon, 305-350 (Korea, Republic of)
2016-06-15
Uranium dioxide (UO{sub 2}) powder has been widely used to prepare fuel pellets for commercial light water nuclear reactors. Among typical characteristics of the powder, specific surface area (SSA) is one of the most important parameter that determines the sintering ability of UO{sub 2} powder. This paper built up a mathematical model describing the effect of the fabrication parameters on SSA of UO{sub 2} powders. To the best of our knowledge, the Brandon model is used for the first time to describe the relationship between the essential fabrication parameters [reduction temperature (T{sub R}), calcination temperature (T{sub C}), calcination time (t{sub C}) and reduction time (t{sub R})] and SSA of the obtained UO{sub 2} powder product. The proposed model was tested with Wilcoxon's rank sum test, showing a good agreement with the experimental parameters. The proposed model can be used to predict and control the SSA of UO{sub 2} powder.
System network planning expansion using mathematical programming, genetic algorithms and tabu search
International Nuclear Information System (INIS)
Sadegheih, A.; Drake, P.R.
2008-01-01
In this paper, system network planning expansion is formulated for mixed integer programming, a genetic algorithm (GA) and tabu search (TS). Compared with other optimization methods, GAs are suitable for traversing large search spaces, since they can do this relatively rapidly and because the use of mutation diverts the method away from local minima, which will tend to become more common as the search space increases in size. GA's give an excellent trade off between solution quality and computing time and flexibility for taking into account specific constraints in real situations. TS has emerged as a new, highly efficient, search paradigm for finding quality solutions to combinatorial problems. It is characterized by gathering knowledge during the search and subsequently profiting from this knowledge. The attractiveness of the technique comes from its ability to escape local optimality. The cost function of this problem consists of the capital investment cost in discrete form, the cost of transmission losses and the power generation costs. The DC load flow equations for the network are embedded in the constraints of the mathematical model to avoid sub-optimal solutions that can arise if the enforcement of such constraints is done in an indirect way. The solution of the model gives the best line additions and also provides information regarding the optimal generation at each generation point. This method of solution is demonstrated on the expansion of a 10 bus bar system to 18 bus bars. Finally, a steady-state genetic algorithm is employed rather than generational replacement, also uniform crossover is used
Directory of Open Access Journals (Sweden)
Cheng-Tang Pan
2014-01-01
Full Text Available Traditional surgical shadowless halogen lamps are generally designed as projection type with many light bulbs, which can produce not only mercury pollution but also heat radiation that are serious problems to patient. The study utilized Runge-Kutta methods and mathematical algorithms to design and optimize the freeform lens. The LED (light-emitting diode was adopted to replace the traditional halogen lamp. A uniform lens was designed and fabricated based on the energy conservation. At first, the light field of LED is concentrated through the freeform lens to improve the optical efficiency. Second, the three-shell elliptic curves are applied to the reflective surgical shadowless lamps, where only few LED chips are needed. Light rays emitting from different directions to the target plane can achieve the goal of shadowless. In this study, the LED’s luminance flux is 1,895 lm. The shadow dilution on the target plane is 54%. Ec (central illuminance is 114,900 lux, and the d50/d10 is 57% which is higher than the regulation by 7%, whereas the power consumption is only 20 W. The energy of reflective surgical shadowless lamps can save more than 50%, compared with the traditional projective one.
Mathematical model and algorithm of operation scheduling for monitoring situation in local waters
Directory of Open Access Journals (Sweden)
Sokolov Boris
2017-01-01
Full Text Available A multiple-model approach to description and investigation of control processes in regional maritime security system is presented. The processes considered in this paper were qualified as control processes of computing operations providing monitoring of the situation adding in the local water area and connected to relocation of different ships classes (further the active mobile objects (AMO. Previously developed concept of active moving object (AMO is used. The models describe operation of AMO automated monitoring and control system (AMCS elements as well as their interaction with objects-in-service that are sources or recipients of information being processed. The unified description of various control processes allows synthesizing simultaneously both technical and functional structures of AMO AMCS. The algorithm for solving the scheduling problem is described in terms of the classical theory of optimal automatic control.
Directory of Open Access Journals (Sweden)
Emer Bernal
2017-01-01
Full Text Available In this paper we are presenting a method using fuzzy logic for dynamic parameter adaptation in the imperialist competitive algorithm, which is usually known by its acronym ICA. The ICA algorithm was initially studied in its original form to find out how it works and what parameters have more effect upon its results. Based on this study, several designs of fuzzy systems for dynamic adjustment of the ICA parameters are proposed. The experiments were performed on the basis of solving complex optimization problems, particularly applied to benchmark mathematical functions. A comparison of the original imperialist competitive algorithm and our proposed fuzzy imperialist competitive algorithm was performed. In addition, the fuzzy ICA was compared with another metaheuristic using a statistical test to measure the advantage of the proposed fuzzy approach for dynamic parameter adaptation.
Eringen, A Cemal
2013-01-01
Continuum Physics: Volume 1 - Mathematics is a collection of papers that discusses certain selected mathematical methods used in the study of continuum physics. Papers in this collection deal with developments in mathematics in continuum physics and its applications such as, group theory functional analysis, theory of invariants, and stochastic processes. Part I explains tensor analysis, including the geometry of subspaces and the geometry of Finsler. Part II discusses group theory, which also covers lattices, morphisms, and crystallographic groups. Part III reviews the theory of invariants th
International Nuclear Information System (INIS)
Zhang, Zili; Gao, Chao; Liu, Yuxin; Qian, Tao
2014-01-01
Ant colony optimization (ACO) algorithms often fall into the local optimal solution and have lower search efficiency for solving the travelling salesman problem (TSP). According to these shortcomings, this paper proposes a universal optimization strategy for updating the pheromone matrix in the ACO algorithms. The new optimization strategy takes advantages of the unique feature of critical paths reserved in the process of evolving adaptive networks of the Physarum-inspired mathematical model (PMM). The optimized algorithms, denoted as PMACO algorithms, can enhance the amount of pheromone in the critical paths and promote the exploitation of the optimal solution. Experimental results in synthetic and real networks show that the PMACO algorithms are more efficient and robust than the traditional ACO algorithms, which are adaptable to solve the TSP with single or multiple objectives. Meanwhile, we further analyse the influence of parameters on the performance of the PMACO algorithms. Based on these analyses, the best values of these parameters are worked out for the TSP. (paper)
Stein, Sherman K
2010-01-01
Anyone can appreciate the beauty, depth, and vitality of mathematics with the help of this highly readable text, specially developed from a college course designed to appeal to students in a variety of fields. Readers with little mathematical background are exposed to a broad range of subjects chosen from number theory, topology, set theory, geometry, algebra, and analysis. Starting with a survey of questions on weight, the text discusses the primes, the fundamental theorem of arithmetic, rationals and irrationals, tiling, tiling and electricity, probability, infinite sets, and many other topi
Directory of Open Access Journals (Sweden)
О. E. Prokopchenko
2015-09-01
Full Text Available The article analyzes the basic methods and algorithms of mathematical processing of medical images as objects of computer mathematics. The presented methods and computer algorithms of mathematics relevant and may find application in the field of medical imaging - automated processing of images; as a tool for measurement and determination the optical parameters; identification and formation of medical images database. Methods and computer algorithms presented in the article & based on Wolfram Mathematica are also relevant to the problem of modern medical education. As an example of Wolfram Mathematica may be considered appropriate demonstration, such as recognition of special radiographs and morphological imaging. These methods are used to improve the diagnostic significance and value of medical (clinical research and can serve as an educational interactive demonstration. Implementation submitted individual methods and algorithms of computer Wolfram Mathematics contributes, in general, the optimization process of practical processing and presentation of medical images.
Directory of Open Access Journals (Sweden)
V. S. Kudryashov
2017-01-01
Full Text Available The article is devoted to the development of the algorithm of the heating phase control of a rubber compound for CJSC “Voronezh tyre plant”. The algorithm is designed for implementation on basis of controller Siemens S-300 to control the RS-270 mixer. To compile the algorithm a systematic analysis of the heating process has been performed as a control object, also the mathematical model of the heating phase has been developed on the basis of the heat balance equation, which describes the process of heating of a heat-transfer agent in the heat exchanger and further heating of the mixture in the mixer. The dynamic characteristics of temperature of the heat exchanger and the rubber mixer have been obtained. Taking into account the complexity and nonlinearity of the control object – a rubber mixer, as well as the availability of methods and great experience in managing this machine in an industrial environment, the algorithm has been implemented using the Pontryagin maximum principle. The optimization problem is reduced to determining the optimal control (heating steam supply and the optimal path of the object’s output coordinates (the temperature of the mixture which ensure the least flow of steam while heating a rubber compound in a limited time. To do this, the mathematical model of the heating phase has been written in matrix form. Coefficients matrices for each state of the control, control and disturbance vectors have been created, the Hamilton function has been obtained and time switching points have been found for constructing an optimal control and escape path of the object. Analysis of the model experiments and practical research results in the process of programming of the controller have showed a decrease in the heating steam consumption by 24.4% during the heating phase of the rubber compound.
International Nuclear Information System (INIS)
Tzolakis, G.; Papanikolaou, P.; Kolokotronis, D.; Samaras, N.; Tourlidakis, A.; Tomboulides, A.
2012-01-01
Since most of the world's electric energy production is mainly based on fossil fuels and need for better efficiency of the energy conversion systems is imminent, mathematical programming algorithms were applied for the simulation and optimization of a detailed model of an existing lignite-fired power plant in Kozani, Greece (KARDIA IV). The optimization of its overall thermal efficiency, using as control variables the mass flow rates of the steam turbine extractions and the fuel consumption, was performed with the use of the simulation and optimization software gPROMS. The power plant components' mathematical models were imported in software by the authors and the results showed that further increase to the overall thermal efficiency of the plant can be achieved (a 0.55% absolute increase) through reduction of the HP turbine's and increase of the LP turbine's extractions mass flow rates and the parallel reduction of the fuel consumption by 2.05% which also results to an equivalent reduction of the greenhouse gasses. The setup of the mathematical model and the flexibility of gPROMS, make this software applicable to various power plants. - Highlights: ► Modeling and simulation of the flue gases circuit of a specific plant. ► Designing of modules in gPROMS FO (Foreign Objects). ► Simulation of the complete detailed plant with gPROMS. ► Optimization using a non-linear optimization algorithm of the plant's efficiency.
Murli, Almerico; High Performance Algorithms and Software for Nonlinear Optics
2003-01-01
This volume contains the edited texts of the lectures presented at the Workshop on High Performance Algorithms and Software for Nonlinear Optimization held in Erice, Sicily, at the "G. Stampacchia" School of Mathematics of the "E. Majorana" Centre for Scientific Culture, June 30 - July 8, 2001. In the first year of the new century, the aim of the Workshop was to assess the past and to discuss the future of Nonlinear Optimization, and to highlight recent achieve ments and promising research trends in this field. An emphasis was requested on algorithmic and high performance software developments and on new computational experiences, as well as on theoretical advances. We believe that such goal was basically achieved. The Workshop was attended by 71 people from 22 countries. Although not all topics were covered, the presentations gave indeed a wide overview of the field, from different and complementary stand points. Besides the lectures, several formal and informal discussions took place. We wish ...
Energy Technology Data Exchange (ETDEWEB)
Hurtado, S. [Servicio de Radioisotopos, Centro de Investigacion, Tecnologia e Innovacion (CITIUS), Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla (Spain)], E-mail: shurtado@us.es; Garcia-Leon, M. [Departamento de Fisica Atomica, Molecular y Nuclear, Facultad de Fisica, Universidad de Sevilla, Aptd. 1065, 41080 Sevilla (Spain); Garcia-Tenorio, R. [Departamento de Fisica Aplicada II, E.T.S.A. Universidad de Sevilla, Avda, Reina Mercedes 2, 41012 Sevilla (Spain)
2008-09-11
In this work several mathematical functions are compared in order to perform the full-energy peak efficiency calibration of HPGe detectors using a 126cm{sup 3} HPGe coaxial detector and gamma-ray energies ranging from 36 to 1460 keV. Statistical tests and Monte Carlo simulations were used to study the performance of the fitting curve equations. Furthermore the fitting procedure of these complex functional forms to experimental data is a non-linear multi-parameter minimization problem. In gamma-ray spectrometry usually non-linear least-squares fitting algorithms (Levenberg-Marquardt method) provide a fast convergence while minimizing {chi}{sub R}{sup 2}, however, sometimes reaching only local minima. In order to overcome that shortcoming a hybrid algorithm based on simulated annealing (HSA) techniques is proposed. Additionally a new function is suggested that models the efficiency curve of germanium detectors in gamma-ray spectrometry.
Jansonius, Nomdo M.; Schiefer, Julia; Nevalainen, Jukka; Paetzold, Jens; Schiefer, Ulrich
2012-01-01
Previously we developed a mathematical model for describing the retinal nerve fiber bundle trajectories in the superior-temporal and inferior-temporal regions of the human retina, based on traced trajectories extracted from fundus photographs. Aims of the current study were to (i) validate the
W. Hasan, W. Z.
2018-01-01
The power system always has several variations in its profile due to random load changes or environmental effects such as device switching effects when generating further transients. Thus, an accurate mathematical model is important because most system parameters vary with time. Curve modeling of power generation is a significant tool for evaluating system performance, monitoring and forecasting. Several numerical techniques compete to fit the curves of empirical data such as wind, solar, and demand power rates. This paper proposes a new modified methodology presented as a parametric technique to determine the system’s modeling equations based on the Bode plot equations and the vector fitting (VF) algorithm by fitting the experimental data points. The modification is derived from the familiar VF algorithm as a robust numerical method. This development increases the application range of the VF algorithm for modeling not only in the frequency domain but also for all power curves. Four case studies are addressed and compared with several common methods. From the minimal RMSE, the results show clear improvements in data fitting over other methods. The most powerful features of this method is the ability to model irregular or randomly shaped data and to be applied to any algorithms that estimating models using frequency-domain data to provide state-space or transfer function for the model. PMID:29351554
Directory of Open Access Journals (Sweden)
A H Sabry
Full Text Available The power system always has several variations in its profile due to random load changes or environmental effects such as device switching effects when generating further transients. Thus, an accurate mathematical model is important because most system parameters vary with time. Curve modeling of power generation is a significant tool for evaluating system performance, monitoring and forecasting. Several numerical techniques compete to fit the curves of empirical data such as wind, solar, and demand power rates. This paper proposes a new modified methodology presented as a parametric technique to determine the system's modeling equations based on the Bode plot equations and the vector fitting (VF algorithm by fitting the experimental data points. The modification is derived from the familiar VF algorithm as a robust numerical method. This development increases the application range of the VF algorithm for modeling not only in the frequency domain but also for all power curves. Four case studies are addressed and compared with several common methods. From the minimal RMSE, the results show clear improvements in data fitting over other methods. The most powerful features of this method is the ability to model irregular or randomly shaped data and to be applied to any algorithms that estimating models using frequency-domain data to provide state-space or transfer function for the model.
Sabry, A H; W Hasan, W Z; Ab Kadir, M Z A; Radzi, M A M; Shafie, S
2018-01-01
The power system always has several variations in its profile due to random load changes or environmental effects such as device switching effects when generating further transients. Thus, an accurate mathematical model is important because most system parameters vary with time. Curve modeling of power generation is a significant tool for evaluating system performance, monitoring and forecasting. Several numerical techniques compete to fit the curves of empirical data such as wind, solar, and demand power rates. This paper proposes a new modified methodology presented as a parametric technique to determine the system's modeling equations based on the Bode plot equations and the vector fitting (VF) algorithm by fitting the experimental data points. The modification is derived from the familiar VF algorithm as a robust numerical method. This development increases the application range of the VF algorithm for modeling not only in the frequency domain but also for all power curves. Four case studies are addressed and compared with several common methods. From the minimal RMSE, the results show clear improvements in data fitting over other methods. The most powerful features of this method is the ability to model irregular or randomly shaped data and to be applied to any algorithms that estimating models using frequency-domain data to provide state-space or transfer function for the model.
Indian Academy of Sciences (India)
to as 'divide-and-conquer'. Although there has been a large effort in realizing efficient algorithms, there are not many universally accepted algorithm design paradigms. In this article, we illustrate algorithm design techniques such as balancing, greedy strategy, dynamic programming strategy, and backtracking or traversal of ...
Teaching Proofs and Algorithms in Discrete Mathematics with Online Visual Logic Puzzles
Cigas, John; Hsin, Wen-Jung
2005-01-01
Visual logic puzzles provide a fertile environment for teaching multiple topics in discrete mathematics. Many puzzles can be solved by the repeated application of a small, finite set of strategies. Explicitly reasoning from a strategy to a new puzzle state illustrates theorems, proofs, and logic principles. These provide valuable, concrete…
Directory of Open Access Journals (Sweden)
V. S. Kudryashov
2016-01-01
Full Text Available The article is devoted to the development of a correction control algorithm by temperature mode of a periodic rubber mixing process for JSC "Voronezh tire plant". The algorithm is designed to perform in the main controller a section of rubber mixing Siemens S7 CPU319F-3 PN/DP, which forms tasks for the local temperature controllers HESCH HE086 and Jumo dTRON304, operating by tempering stations. To compile the algorithm was performed a systematic analysis of rubber mixing process as an object of control and was developed a mathematical model of the process based on the heat balance equations describing the processes of heat transfer through the walls of technological devices, the change of coolant temperature and the temperature of the rubber compound mixing until discharge from the mixer chamber. Due to the complexity and nonlinearity of the control object – Rubber mixers and the availability of methods and a wide experience of this device control in an industrial environment, a correction algorithm is implemented on the basis of an artificial single-layer neural network and it provides the correction of tasks for local controllers on the cooling water temperature and air temperature in the workshop, which may vary considerably depending on the time of the year, and during prolonged operation of the equipment or its downtime. Tempering stations control is carried out by changing the flow of cold water from the cooler and on/off control of the heating elements. The analysis of the model experiments results and practical research at the main controller programming in the STEP 7 environment at the enterprise showed a decrease in the mixing time for different types of rubbers by reducing of heat transfer process control error.
Flores, Raymond; Koontz, Esther; Inan, Fethi A.; Alagic, Mara
2015-01-01
This study examined the impact of the order of two teaching approaches on students' abilities and on-task behaviors while learning how to solve percentage problems. Two treatment groups were compared. MR first received multiple representation instruction followed by traditional algorithmic instruction and TA first received these teaching…
Directory of Open Access Journals (Sweden)
Jin Huang
2017-09-01
Full Text Available Process planning is an important function in a manufacturing system; it specifies the manufacturing requirements and details for the shop floor to convert a part from raw material to the finished form. However, considering only economical criterion with technological constraints is not enough in sustainable manufacturing practice; formerly, criteria about low carbon emission awareness have seldom been taken into account in process planning optimization. In this paper, a mathematical model that considers both machining costs reduction as well as carbon emission reduction is established for the process planning problem. However, due to various flexibilities together with complex precedence constraints between operations, the process planning problem is a non-deterministic polynomial-time (NP hard problem. Aiming at the distinctive feature of the multi-objectives process planning optimization, we then developed a hybrid non-dominated sorting genetic algorithm (NSGA-II to tackle this problem. A local search method that considers both the total cost criterion and the carbon emission criterion are introduced into the proposed algorithm to avoid being trapped into local optima. Moreover, the technique for order preference by similarity to an ideal solution (TOPSIS method is also adopted to determine the best solution from the Pareto front. Experiments have been conducted using Kim’s benchmark. Computational results show that process plan schemes with low carbon emission can be captured, and, more importantly, the proposed hybrid NSGA-II algorithm can obtain more promising optimal Pareto front than the plain NSGA-II algorithm. Meanwhile, according to the computational results of Kim’s benchmark, we find that both of the total machining cost and carbon emission are roughly proportional to the number of operations, and a process plan with less operation may be more satisfactory. This study will draw references for the further research on green
PARALLEL ADAPTIVE MULTILEVEL SAMPLING ALGORITHMS FOR THE BAYESIAN ANALYSIS OF MATHEMATICAL MODELS
Prudencio, Ernesto; Cheung, Sai Hung
2012-01-01
In recent years, Bayesian model updating techniques based on measured data have been applied to many engineering and applied science problems. At the same time, parallel computational platforms are becoming increasingly more powerful and are being used more frequently by the engineering and scientific communities. Bayesian techniques usually require the evaluation of multi-dimensional integrals related to the posterior probability density function (PDF) of uncertain model parameters. The fact that such integrals cannot be computed analytically motivates the research of stochastic simulation methods for sampling posterior PDFs. One such algorithm is the adaptive multilevel stochastic simulation algorithm (AMSSA). In this paper we discuss the parallelization of AMSSA, formulating the necessary load balancing step as a binary integer programming problem. We present a variety of results showing the effectiveness of load balancing on the overall performance of AMSSA in a parallel computational environment.
Gribova, N P; Iudel'son, Ia B; Golubev, V L; Abramenkova, I V
2003-01-01
To carry out a differential diagnosis of two facial dyskinesia (FD) models--facial hemispasm (FH) and facial paraspasm (FP), a combined program of electroneuromyographic (ENMG) examination has been created, using statistical analyses, including that for objects identification based on hybrid neural network with the application of adaptive fuzzy logic method and standard statistics programs (Wilcoxon, Student statistics). In FH, a lesion of peripheral facial neuromotor apparatus with augmentation of functions of inter-neurons in segmental and upper segmental stem levels predominated. In FP, primary afferent strengthening in mimic muscles was accompanied by increased motor neurons activity and reciprocal augmentation of inter-neurons, inhibiting motor portion of V pair. Mathematical algorithm for ENMG results recognition worked out in the study provides a precise differentiation of two FD models and opens possibilities for differential diagnosis of other facial motor disorders.
Indian Academy of Sciences (India)
ticians but also forms the foundation of computer science. Two ... with methods of developing algorithms for solving a variety of problems but ... applications of computers in science and engineer- ... numerical calculus are as important. We will ...
From novel mathematics to efficient algorithms. Do we have proper SD foundation to build future?
Energy Technology Data Exchange (ETDEWEB)
Tkachov, Fyodor V. [INR RAS, Moscow (Russian Federation)
2002-08-01
Computer implementation of sophisticated algorithms for physics applications is greatly facilitated by the new generation of component-oriented SD technologies pioneered by Wirth's Oberon and embraced by the software industry (Sun's Java and Microsoft's C no.). In a stark contrast with the deeply flawed C++, the Oberon technologies (specifically, the Component Pascal and the BlackBox development environment) offer an unparalleled SD platform for building scientific applications from sophisticated data processing to demanding symbolic calculations. Specific examples are discussed. (author)
An efficient algorithm for some highly nonlinear fractional PDEs in mathematical physics.
Directory of Open Access Journals (Sweden)
Jamshad Ahmad
Full Text Available In this paper, a fractional complex transform (FCT is used to convert the given fractional partial differential equations (FPDEs into corresponding partial differential equations (PDEs and subsequently Reduced Differential Transform Method (RDTM is applied on the transformed system of linear and nonlinear time-fractional PDEs. The results so obtained are re-stated by making use of inverse transformation which yields it in terms of original variables. It is observed that the proposed algorithm is highly efficient and appropriate for fractional PDEs and hence can be extended to other complex problems of diversified nonlinear nature.
Esfahanian, Mehri; Shokuhi Rad, Ali; Khoshhal, Saeed; Najafpour, Ghasem; Asghari, Behnam
2016-07-01
In this paper, genetic algorithm was used to investigate mathematical modeling of ethanol fermentation in a continuous conventional bioreactor (CCBR) and a continuous membrane bioreactor (CMBR) by ethanol permselective polydimethylsiloxane (PDMS) membrane. A lab scale CMBR with medium glucose concentration of 100gL(-1) and Saccharomyces cerevisiae microorganism was designed and fabricated. At dilution rate of 0.14h(-1), maximum specific cell growth rate and productivity of 0.27h(-1) and 6.49gL(-1)h(-1) were respectively found in CMBR. However, at very high dilution rate, the performance of CMBR was quite similar to conventional fermentation on account of insufficient incubation time. In both systems, genetic algorithm modeling of cell growth, ethanol production and glucose concentration were conducted based on Monod and Moser kinetic models during each retention time at unsteady condition. The results showed that Moser kinetic model was more satisfactory and desirable than Monod model. Copyright © 2016 Elsevier Ltd. All rights reserved.
Ivanova, Violeta M.; Sousa, Rita; Murrihy, Brian; Einstein, Herbert H.
2014-06-01
This paper presents results from research conducted at MIT during 2010-2012 on modeling of natural rock fracture systems with the GEOFRAC three-dimensional stochastic model. Following a background summary of discrete fracture network models and a brief introduction of GEOFRAC, the paper provides a thorough description of the newly developed mathematical and computer algorithms for fracture intensity, aperture, and intersection representation, which have been implemented in MATLAB. The new methods optimize, in particular, the representation of fracture intensity in terms of cumulative fracture area per unit volume, P32, via the Poisson-Voronoi Tessellation of planes into polygonal fracture shapes. In addition, fracture apertures now can be represented probabilistically or deterministically whereas the newly implemented intersection algorithms allow for computing discrete pathways of interconnected fractures. In conclusion, results from a statistical parametric study, which was conducted with the enhanced GEOFRAC model and the new MATLAB-based Monte Carlo simulation program FRACSIM, demonstrate how fracture intensity, size, and orientations influence fracture connectivity.
Directory of Open Access Journals (Sweden)
Rositsa Raikova
Full Text Available An unfused tetanus of a motor unit (MU evoked by a train of pulses at variable interpulse intervals is the sum of non-equal twitch-like responses to these stimuli. A tool for a precise prediction of these successive contractions for MUs of different physiological types with different contractile properties is crucial for modeling the whole muscle behavior during various types of activity. The aim of this paper is to develop such a general mathematical algorithm for the MUs of the medial gastrocnemius muscle of rats. For this purpose, tetanic curves recorded for 30 MUs (10 slow, 10 fast fatigue-resistant and 10 fast fatigable were mathematically decomposed into twitch-like contractions. Each contraction was modeled by the previously proposed 6-parameter analytical function, and the analysis of these six parameters allowed us to develop a prediction algorithm based on the following input data: parameters of the initial twitch, the maximum force of a MU and the series of pulses. Linear relationship was found between the normalized amplitudes of the successive contractions and the remainder between the actual force levels at which the contraction started and the maximum tetanic force. The normalization was made according to the amplitude of the first decomposed twitch. However, the respective approximation lines had different specific angles with respect to the ordinate. These angles had different and non-overlapping ranges for slow and fast MUs. A sensitivity analysis concerning this slope was performed and the dependence between the angles and the maximal fused tetanic force normalized to the amplitude of the first contraction was approximated by a power function. The normalized MU contraction and half-relaxation times were approximated by linear functions depending on the normalized actual force levels at which each contraction starts. The normalization was made according to the contraction time of the first contraction. The actual force levels
Indian Academy of Sciences (India)
algorithm design technique called 'divide-and-conquer'. One of ... Turtle graphics, September. 1996. 5. ... whole list named 'PO' is a pointer to the first element of the list; ..... Program for computing matrices X and Y and placing the result in C *).
Indian Academy of Sciences (India)
algorithm that it is implicitly understood that we know how to generate the next natural ..... Explicit comparisons are made in line (1) where maximum and minimum is ... It can be shown that the function T(n) = 3/2n -2 is the solution to the above ...
'Men of Mathematics', has described math
Indian Academy of Sciences (India)
is interpreted as a physics problem; the laws of physics are utilized for a physical ..... conductances equal to 1, and choose a voltage source such that input current is .... ematics Library, MIR Publishers, Moscow, 1976. [5] B Yu Kogan, The ...
A genetic algorithm for a bi-objective mathematical model for dynamic virtual cell formation problem
Moradgholi, Mostafa; Paydar, Mohammad Mahdi; Mahdavi, Iraj; Jouzdani, Javid
2016-09-01
Nowadays, with the increasing pressure of the competitive business environment and demand for diverse products, manufacturers are force to seek for solutions that reduce production costs and rise product quality. Cellular manufacturing system (CMS), as a means to this end, has been a point of attraction to both researchers and practitioners. Limitations of cell formation problem (CFP), as one of important topics in CMS, have led to the introduction of virtual CMS (VCMS). This research addresses a bi-objective dynamic virtual cell formation problem (DVCFP) with the objective of finding the optimal formation of cells, considering the material handling costs, fixed machine installation costs and variable production costs of machines and workforce. Furthermore, we consider different skills on different machines in workforce assignment in a multi-period planning horizon. The bi-objective model is transformed to a single-objective fuzzy goal programming model and to show its performance; numerical examples are solved using the LINGO software. In addition, genetic algorithm (GA) is customized to tackle large-scale instances of the problems to show the performance of the solution method.
Indian Academy of Sciences (India)
will become clear in the next article when we discuss a simple logo like programming language. ... Rod B may be used as an auxiliary store. The problem is to find an algorithm which performs this task. ... No disks are moved from A to Busing C as auxiliary rod. • move _disk (A, C);. (No + l)th disk is moved from A to C directly ...
Wang, Lui; Bayer, Steven E.
1991-01-01
Genetic algorithms are mathematical, highly parallel, adaptive search procedures (i.e., problem solving methods) based loosely on the processes of natural genetics and Darwinian survival of the fittest. Basic genetic algorithms concepts are introduced, genetic algorithm applications are introduced, and results are presented from a project to develop a software tool that will enable the widespread use of genetic algorithm technology.
Directory of Open Access Journals (Sweden)
Hui-Qin Zou
2015-12-01
Full Text Available Many plants originating from the Asteraceae family are applied as herbal medicines and also beverage ingredients in Asian areas, particularly in China. However, they may be confused due to their similar odor, especially when ground into powder, losing their typical macroscopic characteristics. In this paper, 11 different multiple mathematical algorithms, which are commonly used in data processing, were utilized and compared to analyze the electronic nose (E-nose response signals of different plants from Asteraceae family. Results demonstrate that three-dimensional plot scatter figure of principal component analysis with less extracted components could offer the identification results more visually; simultaneously, all nine kinds of artificial neural network could give classification accuracies at 100%. This paper presents a rapid, accurate, and effective method to distinguish Asteraceae plants based on their response signals in E-nose. It also gives insights to further studies, such as to find unique sensors that are more sensitive and exclusive to volatile components in Chinese herbal medicines and to improve the identification ability of E-nose. Screening sensors made by other novel materials would be also an interesting way to improve identification capability of E-nose.
2012-05-01
The purpose of this document is to fully define and describe the logic flow and mathematical equations for a predictive braking enforcement algorithm intended for implementation in a Positive Train Control (PTC) system.
Energy Technology Data Exchange (ETDEWEB)
Melo, Ana Cristina Bezerra Azedo de
2004-12-15
The fluid dynamic behavior of a riser in a cold type FCC model was investigated by means of catalyst concentration distribution measured with gamma attenuation and simulated with a mathematical model. In the riser of the cold model, MEF, 0,032 m in diameter, 2,30 m in length the fluidized bed, whose components are air and FCC catalyst, circulates. The MEF is operated by automatic control and instruments for measuring fluid dynamic variables. An axial catalyst concentration distribution was measured using an Am-241 gamma source and a NaI detector coupled to a multichannel provided with a software for data acquisition and evaluation. The MEF was adapted for a fluid dynamic model validation which describes the flow in the riser, for example, by introducing an injector for controlling the solid flow in circulation. Mathematical models were selected from literature, analyzed and tested to simulate the fluid dynamic of the riser. A methodology for validating fluid dynamic models was studied and implemented. The stages of the work were developed according to the validation methodology, such as data planning experiments, study of the equations which describe the fluidodynamic, computational solvers application and comparison with experimental data. Operational sequences were carried out keeping the MEF conditions for measuring catalyst concentration and simultaneously measuring the fluid dynamic variables, velocity of the components and pressure drop in the riser. Following this, simulated and experimental values were compared and statistical data treatment done, aiming at the required precision to validate the fluid dynamic model. The comparison tests between experimental and simulated data were carried out under validation criteria. The fluid dynamic behavior of the riser was analyzed and the results and the agreement with literature were discussed. The adopt model was validated under the MEF operational conditions, for a 3 to 6 m/s gas velocity in the riser and a slip
TUTOR SUPPORT OF TEACHING MATHEMATICS WITH INFORMATION AND COMMUNICATION TECHNOLOGIES
Directory of Open Access Journals (Sweden)
Kateryna P. Osadcha
2017-10-01
Full Text Available The paper describes the tutor activity in the process of mathematics teaching support on the basis of the use of information and communication technologies (ICT. The author has analysed the available Internet resources and mobile applications in mathematics, which are classified according to their functional purposes into groups: systems of mass open courses, platforms for adaptive learning, video channels, mathematical online simulators, online tasks, mathematical games, mathematical portals, online platforms, mathematical sites, mathematical online platforms, mathematical services, mobile applications in mathematics (simulators, games, generators of example, assistant programs, training complexes, calculators. In accordance with the student age categories mathematical information and communication technologies are divided into three groups: for elementary school students, secondary school students and high school students. The basic ICT tools for teaching mathematics are outlined. The algorithm for constructing tutorial classes with their application is presented.
Mahalakshmi; Murugesan, R.
2018-04-01
This paper regards with the minimization of total cost of Greenhouse Gas (GHG) efficiency in Automated Storage and Retrieval System (AS/RS). A mathematical model is constructed based on tax cost, penalty cost and discount cost of GHG emission of AS/RS. A two stage algorithm namely positive selection based clonal selection principle (PSBCSP) is used to find the optimal solution of the constructed model. In the first stage positive selection principle is used to reduce the search space of the optimal solution by fixing a threshold value. In the later stage clonal selection principle is used to generate best solutions. The obtained results are compared with other existing algorithms in the literature, which shows that the proposed algorithm yields a better result compared to others.
Trinajstić, Nenad; Gutman, Ivan
2002-01-01
A brief description is given of the historical development of mathematics and chemistry. A path leading to the meeting of these two sciences is described. An attempt is made to define mathematical chemistry, and journals containing the term mathematical chemistry in their titles are noted. In conclusion, the statement is made that although chemistry is an experimental science aimed at preparing new compounds and materials, mathematics is very useful in chemistry, among other things, to produc...
The linogram algorithm and direct fourier method with linograms
International Nuclear Information System (INIS)
Edholm, P.R.
1990-01-01
This text is an attempt to describe the linogram algorithm based on a somewhat simplified mathematical description of the algorithm which is also more similar to the actual digital implementation. Another algorithm with linograms, which may be called a direct fourier method is also presented. (K.A.E.)
International Nuclear Information System (INIS)
Nikolaev, V.I.; Yatsko, S.N.
1995-01-01
A mathematical model and a package of programs are presented for simulating the atmospheric turbulent diffusion of contaminating impurities from land based and other sources. Test calculations and investigations of the effect of various factors are carried out
Energy Technology Data Exchange (ETDEWEB)
Chelikowsky, James R. [Univ. of Texas, Austin, TX (United States)
2013-04-01
Work in nanoscience has increased substantially in recent years owing to its potential technological applications and to fundamental scientific interest. A driving force for this activity is to capitalize on new phenomena that occurs at the nanoscale. For example, the physical confinement of electronic states, i.e., quantum confinement, can dramatically alter the electronic and optical properties of matter. A prime example of this occurs for the optical properties of nanoscale crystals such as those composed of elemental silicon. Silicon in the bulk state is optically inactive due to the small size of the optical gap, which can only be accessed by indirect transitions. However, at the nanoscale, this material becomes optically active. The size of the optical gap is increased by confinement and the conservation of crystal momentum ceases to hold, resulting in the viability of indirect transitions. Our work associated with this grant has focused on developing new scalable algorithms for describing the electronic and optical properties of matter at the nanoscale such as nano structures of silicon and related semiconductor properties.
International Nuclear Information System (INIS)
Aleksandrov, S.I.; Dmitrenko, V.V.; Postnikov, V.V.; Sviridenkov, A.N.; Yurkin, G.V.; Yakunin, I.S.
2007-01-01
Paper dwells upon problems dealing with accuracy improvement of the energy release distribution and the safety margin of the RBMK-1000 operation. The accuracy is improved through the automatic optimization of some constants used in the SKALA-micro system special mathematic ensuring program and the regular self-validation of the algorithm to determine the energy release distribution calculation error. The validation based on the regular scanning of the reactor core by a calibrating detector and through the sequence disabling of the internal detectors is shown to give the close results [ru
Algorithm for programming function generators
International Nuclear Information System (INIS)
Bozoki, E.
1981-01-01
The present paper deals with a mathematical problem, encountered when driving a fully programmable μ-processor controlled function generator. An algorithm is presented to approximate a desired function by a set of straight segments in such a way that additional restrictions (hardware imposed) are also satisfied. A computer program which incorporates this algorithm and automatically generates the necessary input for the function generator for a broad class of desired functions is also described
Jansonius, Nomdo M; Schiefer, Julia; Nevalainen, Jukka; Paetzold, Jens; Schiefer, Ulrich
2012-12-01
Previously we developed a mathematical model for describing the retinal nerve fiber bundle trajectories in the superior-temporal and inferior-temporal regions of the human retina, based on traced trajectories extracted from fundus photographs. Aims of the current study were to (i) validate the existing model, (ii) expand the model to the entire retina and (iii) determine the influence of refraction, optic disc size and optic disc position on the trajectories. A new set of fundus photographs was collected comprising 28 eyes of 28 subjects. From these 28 photographs, 625 trajectories were extracted. Trajectories in the temporal region of the retina were compared to the existing model. In this region, 347 of 399 trajectories (87%) were within the 95% central range of the existing model. The model was extended to the nasal region. With this extension, the model can now be applied to the entire retina that corresponds to the visual field as tested with standard automated perimetry (up to approximately 30° eccentricity). There was an asymmetry between the superior and inferior hemifields and a considerable location-specific inter-subject variability. In the nasal region, we found two "singularities", located roughly at the one and five o'clock positions for the right optic disc. Here, trajectories from relatively widespread areas of the retina converge. Associations between individual deviations from the model and refraction, optic disc size and optic disc position were studied with multiple linear regression. Refraction (P = 0.021) and possibly optic disc inclination (P = 0.09) influenced the trajectories in the superior-temporal region. Copyright © 2012 Elsevier Ltd. All rights reserved.
Morgan, Daniel Patrick
2015-01-01
International audience; Most of what changes from one first-millennium lì 曆 procedure text to another are the ‘numbers’ (shù 數) and not the ‘procedures’ (shù 術) for calculating therewith—algorithms, for example, for finding the position of the mean sun at winter solstice or the hour of quarter moon. What changes do occur in the algorithms are generally cumulative and modular—something new is introduced, or something changed, within an otherwise stable framework of tables and algorithms stretc...
Taksa, Isak; Goldberg, Robert
2004-01-01
Traditional peer-to-peer Supplemental Instruction (SI) was introduced into higher education over a quarter of a century ago and promptly became an integral part of the developmental mathematics curricula in many senior and community colleges. Later, some colleges introduced Video-based Supplemental Instruction (VSI) and, in recent years,…
NLSE: Parameter-Based Inversion Algorithm
Sabbagh, Harold A.; Murphy, R. Kim; Sabbagh, Elias H.; Aldrin, John C.; Knopp, Jeremy S.
Chapter 11 introduced us to the notion of an inverse problem and gave us some examples of the value of this idea to the solution of realistic industrial problems. The basic inversion algorithm described in Chap. 11 was based upon the Gauss-Newton theory of nonlinear least-squares estimation and is called NLSE in this book. In this chapter we will develop the mathematical background of this theory more fully, because this algorithm will be the foundation of inverse methods and their applications during the remainder of this book. We hope, thereby, to introduce the reader to the application of sophisticated mathematical concepts to engineering practice without introducing excessive mathematical sophistication.
An Algorithm for the Convolution of Legendre Series
Hale, Nicholas; Townsend, Alex
2014-01-01
An O(N2) algorithm for the convolution of compactly supported Legendre series is described. The algorithm is derived from the convolution theorem for Legendre polynomials and the recurrence relation satisfied by spherical Bessel functions. Combining with previous work yields an O(N 2) algorithm for the convolution of Chebyshev series. Numerical results are presented to demonstrate the improved efficiency over the existing algorithm. © 2014 Society for Industrial and Applied Mathematics.
Expander graphs in pure and applied mathematics
Lubotzky, Alexander
2012-01-01
Expander graphs are highly connected sparse finite graphs. They play an important role in computer science as basic building blocks for network constructions, error correcting codes, algorithms and more. In recent years they have started to play an increasing role also in pure mathematics: number theory, group theory, geometry and more. This expository article describes their constructions and various applications in pure and applied mathematics.
Energy Technology Data Exchange (ETDEWEB)
Saad, Yousef
2014-03-19
The master project under which this work is funded had as its main objective to develop computational methods for modeling electronic excited-state and optical properties of various nanostructures. The specific goals of the computer science group were primarily to develop effective numerical algorithms in Density Functional Theory (DFT) and Time Dependent Density Functional Theory (TDDFT). There were essentially four distinct stated objectives. The first objective was to study and develop effective numerical algorithms for solving large eigenvalue problems such as those that arise in Density Functional Theory (DFT) methods. The second objective was to explore so-called linear scaling methods or Methods that avoid diagonalization. The third was to develop effective approaches for Time-Dependent DFT (TDDFT). Our fourth and final objective was to examine effective solution strategies for other problems in electronic excitations, such as the GW/Bethe-Salpeter method, and quantum transport problems.
Directory of Open Access Journals (Sweden)
D. Galán Martínez
2000-07-01
Full Text Available Una de las herramientas matemáticas más utilizadas en ingeniería en el estudio de los denominados sistemas de control dedatos muestreados es la transformada Z. La transformada Z como método operacional puede ser utilizada en la resoluciónde ecuaciones en diferencias finitas; las cuales formulan la dinámica de los sistemas de control de datos muestreados. Estatransformada juega un papel similar que el de la transformada de Laplace en el análisis de los sistemas de control de tiempocontinuo.El presente trabajo tiene como objetivo la confección de un programa para computadora digital, utilizando el asistentematemático DERIVE, para la determinación de la transformada Z inversa de una función algebraica racional, las cualesmodelan matemáticamente los sistemas de control de datos muestreados lineales que aparecen con mucha frecuencia en elestudio de los procesos de ingeniería.Palabras claves: Algoritmo, transformada Z, DERIVE, función algebraica racional, modelo matemático._______________________________________________________________________AbstractOne of the mathematical tools more used in engineering in the study of the denominated systems of data control samples isthe transformed Z. The transformed Z like as an operational method can be used in the resolution of equations in finitedifferences; which formulate the dynamics of the systems of data control samples. This transformed plays a similar paperthat the Laplace transformed in the analysis of the systems of control in continuous time.The present work has as objective the confection of a program for digital computer, using the mathematical assistantDERIVES, for the determination of the Z inverse transformed of a rational algebraic function, which model mathematicallythe systems of lineal data control samples that appear very frecuently in the study of the engineering processesKey words: algorithm, Z inverse transformed, Derives, Digital computer program, Rational
Learning Environments in Mathematics
Turner, Vanshelle E.
2017-01-01
Learning mathematics is problematic for most primary school age children because mathematics is rote and the memorization of steps rather than an approach to seeing relationships that builds inquiry and understanding. Therefore, the traditional "algorithmic" way of teaching mathematics has not fully prepared students to be critical…
Sufahani, Suliadi; Mohamad, Mahathir; Roslan, Rozaini; Ghazali Kamardan, M.; Che-Him, Norziha; Ali, Maselan; Khalid, Kamal; Nazri, E. M.; Ahmad, Asmala
2018-04-01
Boarding school student needs to eat well balanced nutritious food which includes proper calories, vitality and supplements for legitimate development, keeping in mind the end goal is to repair and support the body tissues and averting undesired ailments and disease. Serving healthier menu is a noteworthy stride towards accomplishing that goal. Be that as it may, arranging a nutritious and adjusted menu physically is confounded, wasteful and tedious. This study intends to build up a scientific mathematical model for eating routine arranging that improves and meets the vital supplement consumption for boarding school student aged 13-18 and in addition saving the financial plan. It likewise gives the adaptability for the cook to change any favoured menu even after the ideal arrangement has been produced. A recalculation procedure will be performed in view of the ideal arrangement. The information was gathered from the the Ministry of Education and boarding schools’ authorities. Menu arranging is a notable enhancement issue and part of well-established optimization problem. The model was fathomed by utilizing Binary Programming and “Delete-Reshuffle-Reoptimize Algortihm (DDRA)”.
Directory of Open Access Journals (Sweden)
Adriana Rossi
2012-06-01
Full Text Available In this paper the advantages due to the possibility of generating complex surfaces starting from bi-dimensional geometries by means of CAD softwares are discussed. Two case studies are presented to show the hypothetical variation of three primary choice cycles. The study of basic geometries (a, paths where the geometries are swept along (b, places occupied by the sections lofting the paths (c. The strong innovation contained in the continuity of invention process is deeply appreciated. This is especially true when that process is not the result of habit and finds its roots in the principles and in the criteria of geometry. Nothing is left to improvisation in this discipline: every concept is based on mathematical calculus.
A Capstone Mathematics Course for Prospective Secondary Mathematics Teachers
Artzt, Alice F.; Sultan, Alan; Curcio, Frances R.; Gurl, Theresa
2012-01-01
This article describes an innovative capstone mathematics course that links college mathematics with school mathematics and pedagogy. It describes how college juniors in a secondary mathematics teacher preparation program engage in leadership experiences that enable them to learn mathematics for teaching while developing student-centered…
Mathematical Sciences Institute Workshop
Scott, Philip
1990-01-01
A so-called "effective" algorithm may require arbitrarily large finite amounts of time and space resources, and hence may not be practical in the real world. A "feasible" algorithm is one which only requires a limited amount of space and/or time for execution; the general idea is that a feasible algorithm is one which may be practical on today's or at least tomorrow's computers. There is no definitive analogue of Church's thesis giving a mathematical definition of feasibility; however, the most widely studied mathematical model of feasible computability is polynomial-time computability. Feasible Mathematics includes both the study of feasible computation from a mathematical and logical point of view and the reworking of traditional mathematics from the point of view of feasible computation. The diversity of Feasible Mathematics is illustrated by the. contents of this volume which includes papers on weak fragments of arithmetic, on higher type functionals, on bounded linear logic, on sub recursive definitions ...
Complex fluids modeling and algorithms
Saramito, Pierre
2016-01-01
This book presents a comprehensive overview of the modeling of complex fluids, including many common substances, such as toothpaste, hair gel, mayonnaise, liquid foam, cement and blood, which cannot be described by Navier-Stokes equations. It also offers an up-to-date mathematical and numerical analysis of the corresponding equations, as well as several practical numerical algorithms and software solutions for the approximation of the solutions. It discusses industrial (molten plastics, forming process), geophysical (mud flows, volcanic lava, glaciers and snow avalanches), and biological (blood flows, tissues) modeling applications. This book is a valuable resource for undergraduate students and researchers in applied mathematics, mechanical engineering and physics.
Yeast for Mathematicians: A Ferment of Discovery and Model Competition to Describe Data.
Lewis, Matthew; Powell, James
2017-02-01
In addition to the memorization, algorithmic skills and vocabulary which are the default focus in many mathematics classrooms, professional mathematicians are expected to creatively apply known techniques, construct new mathematical approaches and communicate with and about mathematics. We propose that students can learn these professional, higher-level skills through Laboratory Experiences in Mathematical Biology which put students in the role of mathematics researcher creating mathematics to describe and understand biological data. Here we introduce a laboratory experience centered on yeast (Saccharomyces cerevisiae) growing in a small capped flask with a jar to collect carbon dioxide created during yeast growth and respiration. The lab requires no specialized equipment and can easily be run in the context of a college math class. Students collect data and develop mathematical models to explain the data. To help place instructors in the role of mentor/collaborator (as opposed to jury/judge), we facilitate the lab using model competition judged via Bayesian Information Criterion. This article includes details about the class activity conducted, student examples and pedagogical strategies for success.
Directory of Open Access Journals (Sweden)
Byung Duk Song
2017-09-01
Full Text Available In the green manufacturing system that pursues the reuse of used products, the residual value of collected used products (CUP hugely affects a variety of managerial decisions to construct profitable and environmental remanufacturing plans. This paper deals with a closed-loop green manufacturing system for companies which perform both manufacturing with raw materials and remanufacturing with collected used products (CUP. The amount of CUP is assumed as a function of buy-back cost while the quality level of CUP, which means the residual value, follows a known distribution. In addition, the remanufacturing cost can differ according to the quality of the CUP. Moreover, nowadays companies are subject to existing environment-related laws such as Extended Producer Responsibility (EPR. Therefore, a company should collect more used products than its obligatory take-back quota or face fines from the government for not meeting its quota. Through the development of mathematical models, two kinds of inspection policies are examined to validate the efficiency of two different operation processes. To find a managerial solution, a genetic algorithm is proposed and tested with numerical examples.
Joux, Antoine
2009-01-01
Illustrating the power of algorithms, Algorithmic Cryptanalysis describes algorithmic methods with cryptographically relevant examples. Focusing on both private- and public-key cryptographic algorithms, it presents each algorithm either as a textual description, in pseudo-code, or in a C code program.Divided into three parts, the book begins with a short introduction to cryptography and a background chapter on elementary number theory and algebra. It then moves on to algorithms, with each chapter in this section dedicated to a single topic and often illustrated with simple cryptographic applic
Procedure to describe clavicular motion.
Gutierrez Delgado, Guivey; De Beule, Matthieu; Ortega Cardentey, Dolgis R; Segers, Patrick; Iznaga Benítez, Arsenio M; Rodríguez Moliner, Tania; Verhegghe, Benedict; Palmans, Tanneke; Van Hoof, Tom; Van Tongel, Alexander
2017-03-01
For many years, researchers have attempted to describe shoulder motions by using different mathematical methods. The aim of this study was to describe a procedure to quantify clavicular motion. The procedure proposed for the kinematic analysis consists of 4 main processes: 3 transcortical pins in the clavicle, motion capture, obtaining 3-dimensional bone models, and data processing. Clavicular motion by abduction (30° to 150°) and flexion (55° to 165°) were characterized by an increment of retraction of 27° to 33°, elevation of 25° to 28°, and posterior rotation of 14° to 15°, respectively. In circumduction, clavicular movement described an ellipse, which was reflected by retraction and elevation. Kinematic analysis shows that the articular surfaces move by simultaneously rolling and sliding on the convex surface of the sternum for the 3 movements of abduction, flexion, and circumduction. The use of 3 body landmarks in the clavicle and the direct measurement of bone allowed description of the osteokinematic and arthrokinematic movement of the clavicle. Copyright © 2017 Journal of Shoulder and Elbow Surgery Board of Trustees. Published by Elsevier Inc. All rights reserved.
Online handwritten mathematical expression recognition
Büyükbayrak, Hakan; Yanikoglu, Berrin; Erçil, Aytül
2007-01-01
We describe a system for recognizing online, handwritten mathematical expressions. The system is designed with a user-interface for writing scientific articles, supporting the recognition of basic mathematical expressions as well as integrals, summations, matrices etc. A feed-forward neural network recognizes symbols which are assumed to be single-stroke and a recursive algorithm parses the expression by combining neural network output and the structure of the expression. Preliminary results show that writer-dependent recognition rates are very high (99.8%) while writer-independent symbol recognition rates are lower (75%). The interface associated with the proposed system integrates the built-in recognition capabilities of the Microsoft's Tablet PC API for recognizing textual input and supports conversion of hand-drawn figures into PNG format. This enables the user to enter text, mathematics and draw figures in a single interface. After recognition, all output is combined into one LATEX code and compiled into a PDF file.
Pharmacobezoars described and demystified.
Simpson, Serge-Emile
2011-02-01
A bezoar is a concretion of foreign material that forms and persists in the gastrointestinal tract. Bezoars are classified by their material origins. Phytobezoars contain plant material, trichobezoars contain hair, lactobezoars contain milk proteins, and pharmacobezoars contain pharmaceutical products. Tablets, suspensions, and even insoluble drug delivery vehicles can, on rare occasions, and sometimes under specific circumstances, form pharmacobezoars. The goal of this review is to catalog and examine all of the available reports in the English language medical literature that convincingly describe the formation and management of pharmacobezoars. Articles included in this review were identified by performing searches using the terms "bezoar," "pharmacobezoar," and "concretion" in the following databases: OVID MEDLINE, PubMed, and JSTOR. The complete MEDLINE and JSTOR holdings were included in the search without date ranges. The results were limited to English language publications. Articles that described nonmedication bezoars were not included in the review. Articles describing phytobezoars, food bezoars, fecal impactions, illicit drug packet ingestions, enteral feeding material bezoars, and hygroscopic diet aid bezoars were excluded. The bibliographic references within the articles already accumulated were then examined in order to gather additional pharmacobezoar cases. The cases are grouped by pharmaceutical agent that formed the bezoar, and groupings are arranged in alphabetical order. Discussions and conclusions specific to each pharmaceutical agent are included in that agent's subheading. Patterns and themes that emerged in the review of the assembled case reports are reviewed and presented in a more concise format. Pharmacobezoars form under a wide variety of circumstances and in a wide variety of patients. They are difficult to diagnose reliably. Rules for suspecting, diagnosing, and properly managing a pharmacobezoar are highly dependent on the
[Deep mycoses rarely described].
Charles, D
1986-01-01
Beside deep mycoses very well known: histoplasmosis, candidosis, cryptococcosis, there are other mycoses less frequently described. Some of them are endemic in some countries: South American blastomycosis in Brazil, coccidioidomycosis in California; some others are cosmopolitan and may affect everyone: sporotrichosis, or may affect only immunodeficient persons: mucormycosis. They do not spare Africa, we may encounter basidiobolomycosis, rhinophycomycosis, dermatophytosis, sporotrichosis and, more recently reported, rhinosporidiosis. Important therapeutic progresses have been accomplished with amphotericin B and with antifungus imidazole compounds (miconazole and ketoconazole). Surgical intervention is sometime recommended in chromomycosis and rhinosporidiosis.
Honing process optimization algorithms
Kadyrov, Ramil R.; Charikov, Pavel N.; Pryanichnikova, Valeria V.
2018-03-01
This article considers the relevance of honing processes for creating high-quality mechanical engineering products. The features of the honing process are revealed and such important concepts as the task for optimization of honing operations, the optimal structure of the honing working cycles, stepped and stepless honing cycles, simulation of processing and its purpose are emphasized. It is noted that the reliability of the mathematical model determines the quality parameters of the honing process control. An algorithm for continuous control of the honing process is proposed. The process model reliably describes the machining of a workpiece in a sufficiently wide area and can be used to operate the CNC machine CC743.
Mathematical foundations of event trees
International Nuclear Information System (INIS)
Papazoglou, Ioannis A.
1998-01-01
A mathematical foundation from first principles of event trees is presented. The main objective of this formulation is to offer a formal basis for developing automated computer assisted construction techniques for event trees. The mathematical theory of event trees is based on the correspondence between the paths of the tree and the elements of the outcome space of a joint event. The concept of a basic cylinder set is introduced to describe joint event outcomes conditional on specific outcomes of basic events or unconditional on the outcome of basic events. The concept of outcome space partition is used to describe the minimum amount of information intended to be preserved by the event tree representation. These concepts form the basis for an algorithm for systematic search for and generation of the most compact (reduced) form of an event tree consistent with the minimum amount of information the tree should preserve. This mathematical foundation allows for the development of techniques for automated generation of event trees corresponding to joint events which are formally described through other types of graphical models. Such a technique has been developed for complex systems described by functional blocks and it is reported elsewhere. On the quantification issue of event trees, a formal definition of a probability space corresponding to the event tree outcomes is provided. Finally, a short discussion is offered on the relationship of the presented mathematical theory with the more general use of event trees in reliability analysis of dynamic systems
Martin, Tami S.; Speer, William R.
2009-01-01
This article describes features, consistent messages, and new components of "Mathematics Teaching Today: Improving Practice, Improving Student Learning" (NCTM 2007), an updated edition of "Professional Standards for Teaching Mathematics" (NCTM 1991). The new book describes aspects of high-quality mathematics teaching; offers a model for observing,…
New Described Dermatological Disorders
Directory of Open Access Journals (Sweden)
Müzeyyen Gönül
2014-01-01
Full Text Available Many advances in dermatology have been made in recent years. In the present review article, newly described disorders from the last six years are presented in detail. We divided these reports into different sections, including syndromes, autoinflammatory diseases, tumors, and unclassified disease. Syndromes included are “circumferential skin creases Kunze type” and “unusual type of pachyonychia congenita or a new syndrome”; autoinflammatory diseases include “chronic atypical neutrophilic dermatosis with lipodystrophy and elevated temperature (CANDLE syndrome,” “pyoderma gangrenosum, acne, and hidradenitis suppurativa (PASH syndrome,” and “pyogenic arthritis, pyoderma gangrenosum, acne, and hidradenitis suppurativa (PAPASH syndrome”; tumors include “acquired reactive digital fibroma,” “onychocytic matricoma and onychocytic carcinoma,” “infundibulocystic nail bed squamous cell carcinoma,” and “acral histiocytic nodules”; unclassified disorders include “saurian papulosis,” “symmetrical acrokeratoderma,” “confetti-like macular atrophy,” and “skin spicules,” “erythema papulosa semicircularis recidivans.”
Introductory discrete mathematics
Balakrishnan, V K
2010-01-01
This concise text offers an introduction to discrete mathematics for undergraduate students in computer science and mathematics. Mathematics educators consider it vital that their students be exposed to a course in discrete methods that introduces them to combinatorial mathematics and to algebraic and logical structures focusing on the interplay between computer science and mathematics. The present volume emphasizes combinatorics, graph theory with applications to some stand network optimization problems, and algorithms to solve these problems.Chapters 0-3 cover fundamental operations involv
Mathematical structures for computer graphics
Janke, Steven J
2014-01-01
A comprehensive exploration of the mathematics behind the modeling and rendering of computer graphics scenes Mathematical Structures for Computer Graphics presents an accessible and intuitive approach to the mathematical ideas and techniques necessary for two- and three-dimensional computer graphics. Focusing on the significant mathematical results, the book establishes key algorithms used to build complex graphics scenes. Written for readers with various levels of mathematical background, the book develops a solid foundation for graphics techniques and fills in relevant grap
Analytical Solutions To Describe Juxtaposed Sands | Adeniji ...
African Journals Online (AJOL)
Mathematical (linear diffusion) equations are presented for two pseudoreservoir regions intersected by fault that describe the effects of partial communicating fault on pressure transient behaviour for each fault block. Green's and source function technique solve these equations. A two-well system is considered for the ...
Ligomenides, Panos A.
2009-05-01
The power of mathematics is discussed as a way of expressing reasoning, aesthetics and insight in symbolic non-verbal communication. The human culture of discovering mathematical ways of thinking in the enterprise of exploring the understanding of the nature and the evolution of our world through hypotheses, theories and experimental affirmation of the scientific notion of algorithmic and non-algorithmic [`]computation', is examined and commended upon.
Review of mathematical models to describe the food salting process
Julián Andrés Gómez-Salazar; Gabriela Clemente-Polo; Neus Sanjuán-Pelliccer
2015-01-01
El salado y posterior curado forman parte del procesado tradicional de conservación de carne y pescado. En él se añaden difere ntes conservantes (cloruro sódico, nitritos, nitratos, entre otros). En la actualidad se está aumentando el control sobre la cantid ad de sales añadidas y el tiempo de salado. Por ello es importante conocer los factores que controlan la penetración de sal y las condicio nes de proceso más adecuadas. Los mecanismos de transferencia de las s ales en el sólido son a...
Review of mathematical models to describe the food salting process
Directory of Open Access Journals (Sweden)
Julián Andrés Gómez-Salazar
2015-01-01
Full Text Available El salado y posterior curado forman parte del procesado tradicional de conservación de carne y pescado. En él se añaden difere ntes conservantes (cloruro sódico, nitritos, nitratos, entre otros. En la actualidad se está aumentando el control sobre la cantid ad de sales añadidas y el tiempo de salado. Por ello es importante conocer los factores que controlan la penetración de sal y las condicio nes de proceso más adecuadas. Los mecanismos de transferencia de las s ales en el sólido son aspectos muy interesantes a considerar en las industrias de procesado de carne y pescado. Los modelos matemáticos son la mejor manera de conocer los factores controlantes e n estos procesos. Éstos representan y explican los datos observados y p redicen el comportamiento bajo diferentes condiciones. El objet ivo de este trabajo es describir el uso de modelos matemáticos para si milar el salado de carne y pescado y los beneficios derivados d e su uso. La mayoría de los modelos utilizados para describir el proceso de salado son difusionales, basados en la segunda ley de Fick, aun que también son utilizados los modelos empíricos. Para propósitos d e modelización debe ser garantizada una buena descripción de lo s resultados experimentales. La complejidad del modelo dependerá del objetivo a alcanzar será analizado en cada caso.
Foundations of mathematical logic
Curry, Haskell B
2010-01-01
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods, including algorithms and epitheory, and offers a brief treatment of Markov's approach to algorithms, explains elementary facts about lattices and similar algebraic systems, and more. 1963 edition.
Rubin, Andrew
2014-01-01
This book presents concise descriptions and analysis of the classical and modern models used in mathematical biophysics. The authors ask the question "what new information can be provided by the models that cannot be obtained directly from experimental data?" Actively developing fields such as regulatory mechanisms in cells and subcellular systems and electron transport and energy transport in membranes are addressed together with more classical topics such as metabolic processes, nerve conduction and heart activity, chemical kinetics, population dynamics, and photosynthesis. The main approach is to describe biological processes using different mathematical approaches necessary to reveal characteristic features and properties of simulated systems. With the emergence of powerful mathematics software packages such as MAPLE, Mathematica, Mathcad, and MatLab, these methodologies are now accessible to a wide audience. Provides succinct but authoritative coverage of a broad array of biophysical topics and models Wr...
Darlington, Ellie
2014-01-01
This article describes part of a study which investigated the role of questions in students' approaches to learning mathematics at the secondary-tertiary interface, focussing on the enculturation of students at the University of Oxford. Use of the Mathematical Assessment Task Hierarchy taxonomy revealed A-level Mathematics and Further Mathematics…
Empowering Mathematical Practices
Coomes, Jacqueline; Lee, Hyung Sook
2017-01-01
Mathematics teachers want to empower students as mathematical thinkers and doers (NCTM 2000). Specific ways of thinking and doing mathematics were described in the Process Standards (NCTM 2000); they were further characterized as habits of mind (Mark, Goldenberg, and Sword 2010); and more recently, they were detailed in the Common Core's Standards…
Jost, Jürgen
2015-01-01
The main intention of this book is to describe and develop the conceptual, structural and abstract thinking of mathematics. Specific mathematical structures are used to illustrate the conceptual approach; providing a deeper insight into mutual relationships and abstract common features. These ideas are carefully motivated, explained and illustrated by examples so that many of the more technical proofs can be omitted. The book can therefore be used: · simply as an overview of the panorama of mathematical structures and the relations between them, to be supplemented by more detailed texts whenever you want to acquire a working knowledge of some structure · by itself as a first introduction to abstract mathematics · together with existing textbooks, to put their results into a more general perspective · to gain a new and hopefully deeper perspective after having studied such textbooks Mathematical Concepts has a broader scope and is less detaile...
System for corrosion monitoring in pipeline applying fuzzy logic mathematics
Kuzyakov, O. N.; Kolosova, A. L.; Andreeva, M. A.
2018-05-01
A list of factors influencing corrosion rate on the external side of underground pipeline is determined. Principles of constructing a corrosion monitoring system are described; the system performance algorithm and program are elaborated. A comparative analysis of methods for calculating corrosion rate is undertaken. Fuzzy logic mathematics is applied to reduce calculations while considering a wider range of corrosion factors.
Numerical methods of mathematical optimization with Algol and Fortran programs
Künzi, Hans P; Zehnder, C A; Rheinboldt, Werner
1971-01-01
Numerical Methods of Mathematical Optimization: With ALGOL and FORTRAN Programs reviews the theory and the practical application of the numerical methods of mathematical optimization. An ALGOL and a FORTRAN program was developed for each one of the algorithms described in the theoretical section. This should result in easy access to the application of the different optimization methods.Comprised of four chapters, this volume begins with a discussion on the theory of linear and nonlinear optimization, with the main stress on an easily understood, mathematically precise presentation. In addition
House, Peggy A.
1994-01-01
Describes some mathematical investigations of the necktie which includes applications of geometry, statistics, data analysis, sampling, probability, symmetry, proportion, problem solving, and business. (MKR)
Algorithmic foundation of multi-scale spatial representation
Li, Zhilin
2006-01-01
With the widespread use of GIS, multi-scale representation has become an important issue in the realm of spatial data handling. However, no book to date has systematically tackled the different aspects of this discipline. Emphasizing map generalization, Algorithmic Foundation of Multi-Scale Spatial Representation addresses the mathematical basis of multi-scale representation, specifically, the algorithmic foundation.Using easy-to-understand language, the author focuses on geometric transformations, with each chapter surveying a particular spatial feature. After an introduction to the essential operations required for geometric transformations as well as some mathematical and theoretical background, the book describes algorithms for a class of point features/clusters. It then examines algorithms for individual line features, such as the reduction of data points, smoothing (filtering), and scale-driven generalization, followed by a discussion of algorithms for a class of line features including contours, hydrog...
Euclidean shortest paths exact or approximate algorithms
Li, Fajie
2014-01-01
This book reviews algorithms for the exact or approximate solution of shortest-path problems, with a specific focus on a class of algorithms called rubberband algorithms. The coverage includes mathematical proofs for many of the given statements.
Fokkinga, M.M.
1992-01-01
An algorithm is the input-output effect of a computer program; mathematically, the notion of algorithm comes close to the notion of function. Just as arithmetic is the theory and practice of calculating with numbers, so is ALGORITHMICS the theory and practice of calculating with algorithms. Just as
Modified Clipped LMS Algorithm
Directory of Open Access Journals (Sweden)
Lotfizad Mojtaba
2005-01-01
Full Text Available Abstract A new algorithm is proposed for updating the weights of an adaptive filter. The proposed algorithm is a modification of an existing method, namely, the clipped LMS, and uses a three-level quantization ( scheme that involves the threshold clipping of the input signals in the filter weight update formula. Mathematical analysis shows the convergence of the filter weights to the optimum Wiener filter weights. Also, it can be proved that the proposed modified clipped LMS (MCLMS algorithm has better tracking than the LMS algorithm. In addition, this algorithm has reduced computational complexity relative to the unmodified one. By using a suitable threshold, it is possible to increase the tracking capability of the MCLMS algorithm compared to the LMS algorithm, but this causes slower convergence. Computer simulations confirm the mathematical analysis presented.
The development of mathematics
Bell, Eric Temple
1945-01-01
""This important book . . . presents a broad account of the part played by mathematics in the evolution of civilization, describing clearly the main principles, methods, and theories of mathematics that have survived from about 4000 BC to 1940.""― BooklistIn this time-honored study, one of the 20th century's foremost scholars and interpreters of the history and meaning of mathematics masterfully outlines the development of its leading ideas, and clearly explains the mathematics involved in each. According to the author, a professor of mathematics at the California Institute of Technology from
The Laws of Nature and the Effectiveness of Mathematics
Dorato, Mauro
In this paper I try to evaluate what I regard as the main attempts at explaining the effectiveness of mathematics in the natural sciences, namely (1) Antinaturalism, (2) Kantism, (3) Semanticism, (4) Algorithmic Complexity Theory. The first position has been defended by Mark Steiner, who claims that the "user friendliness" of nature for the applied mathematician is the best argument against a naturalistic explanation of the origin of the universe. The second is naturalistic and mixes the Kantian tradition with evolutionary studies about our innate mathematical abilities. The third turns to the Fregean tradition and considers mathematics a particular kind of language, thus treating the effectiveness of mathematics as a particular instance of the effectiveness of natural languages. The fourth hypothesis, building on formal results by Kolmogorov, Solomonov and Chaitin, claims that mathematics is so useful in describing the natural world because it is the science of the abbreviation of sequences, and mathematically formulated laws of nature enable us to compress the information contained in the sequence of numbers in which we code our observations. In this tradition, laws are equivalent to the shortest algorithms capable of generating the lists of zeros and ones representing the empirical data. Along the way, I present and reject the "deflationary explanation", which claims that in wondering about the applicability of so many mathematical structures to nature, we tend to forget the many cases in which no application is possible.
Luther, Kenneth H.
2012-01-01
Mathematical modeling of groundwater flow is a topic at the intersection of mathematics and geohydrology and is rarely encountered in undergraduate mathematics. However, this subject is full of interesting and meaningful examples of truly "applied" mathematics accessible to undergraduates, from the pre-calculus to advanced mathematics levels. This…
Pseudo-deterministic Algorithms
Goldwasser , Shafi
2012-01-01
International audience; In this talk we describe a new type of probabilistic algorithm which we call Bellagio Algorithms: a randomized algorithm which is guaranteed to run in expected polynomial time, and to produce a correct and unique solution with high probability. These algorithms are pseudo-deterministic: they can not be distinguished from deterministic algorithms in polynomial time by a probabilistic polynomial time observer with black box access to the algorithm. We show a necessary an...
VLSI PARTITIONING ALGORITHM WITH ADAPTIVE CONTROL PARAMETER
Directory of Open Access Journals (Sweden)
P. N. Filippenko
2013-03-01
Full Text Available The article deals with the problem of very large-scale integration circuit partitioning. A graph is selected as a mathematical model describing integrated circuit. Modification of ant colony optimization algorithm is presented, which is used to solve graph partitioning problem. Ant colony optimization algorithm is an optimization method based on the principles of self-organization and other useful features of the ants’ behavior. The proposed search system is based on ant colony optimization algorithm with the improved method of the initial distribution and dynamic adjustment of the control search parameters. The experimental results and performance comparison show that the proposed method of very large-scale integration circuit partitioning provides the better search performance over other well known algorithms.
African Journals Online (AJOL)
MATHEMATICS CONNECTION aims at providing a forum topromote the development of Mathematics Education in Ghana. Articles that seekto enhance the teaching and/or learning of mathematics at all levels of theeducational system are welcome.
Soundoff: Mathematics Is Getting Easier.
Usiskin, Zalman
1984-01-01
Teaching mathematics in hard ways, rather than using easier methods or technology, is described. Employing the most efficient means possible to solve a problem is the essence of good mathematics, rather than wasting time in practicing obsolete skills. (MNS)
Diffusion tensor and diffusion weighted imaging. Pictorial mathematics
Energy Technology Data Exchange (ETDEWEB)
Nakada, Tsutomu [California Univ., Davis, CA (United States)
1995-06-01
A new imaging algorithm for the treatment of a second order apparent diffusion tensor, D{sub app}{sup {xi}} is described. The method calls for only mathematics of images (pictorial mathematics) without necessity of eigenvalues/eigenvectors estimation. Nevertheless, it is capable of extracting properties of D{sub app}{sup {xi}} invariant to observation axes. While trace image is an example of images weighted by invariance of the tensor matrix, three dimensional anisotropy (3DAC) contrast represents the imaging method making use to anisotropic direction of tensor ellipsoid producing color coded contrast of exceptionally high anatomic resolution. Contrary to intuition, the processes require only a simple algorithm directly applicable to clinical magnetic resonance imaging (MRI). As a contrast method which precisely represents physical characteristics of a target tissue, invariant D{sub app}{sup {xi}} images produced by pictorial mathematics possess significant potential for a number of biological and clinical applications. (author).
The challenge of computer mathematics.
Barendregt, Henk; Wiedijk, Freek
2005-10-15
Progress in the foundations of mathematics has made it possible to formulate all thinkable mathematical concepts, algorithms and proofs in one language and in an impeccable way. This is not in spite of, but partially based on the famous results of Gödel and Turing. In this way statements are about mathematical objects and algorithms, proofs show the correctness of statements and computations, and computations are dealing with objects and proofs. Interactive computer systems for a full integration of defining, computing and proving are based on this. The human defines concepts, constructs algorithms and provides proofs, while the machine checks that the definitions are well formed and the proofs and computations are correct. Results formalized so far demonstrate the feasibility of this 'computer mathematics'. Also there are very good applications. The challenge is to make the systems more mathematician-friendly, by building libraries and tools. The eventual goal is to help humans to learn, develop, communicate, referee and apply mathematics.
Educating mathematics teacher educators
DEFF Research Database (Denmark)
Højgaard, Tomas; Jankvist, Uffe Thomas
2014-01-01
The paper argues for a three-dimensional course design structure for future mathematics teacher educators. More precisely we describe the design and implementation of a course basing itself on: the two mathematical competencies of modelling and problem tackling, this being the first dimension......; the two mathematical topics of differential equations and stochastics, this being the second dimension; and finally a third dimension the purpose of which is to deepen the two others by means of a didactical perspective....
A Novel Plant Root Foraging Algorithm for Image Segmentation Problems
Directory of Open Access Journals (Sweden)
Lianbo Ma
2014-01-01
Full Text Available This paper presents a new type of biologically-inspired global optimization methodology for image segmentation based on plant root foraging behavior, namely, artificial root foraging algorithm (ARFO. The essential motive of ARFO is to imitate the significant characteristics of plant root foraging behavior including branching, regrowing, and tropisms for constructing a heuristic algorithm for multidimensional and multimodal problems. A mathematical model is firstly designed to abstract various plant root foraging patterns. Then, the basic process of ARFO algorithm derived in the model is described in details. When tested against ten benchmark functions, ARFO shows the superiority to other state-of-the-art algorithms on several benchmark functions. Further, we employed the ARFO algorithm to deal with multilevel threshold image segmentation problem. Experimental results of the new algorithm on a variety of images demonstrated the suitability of the proposed method for solving such problem.
Machine Learning via Mathematical Programming
National Research Council Canada - National Science Library
Mamgasarian, Olivi
1999-01-01
Mathematical programming approaches were applied to a variety of problems in machine learning in order to gain deeper understanding of the problems and to come up with new and more efficient computational algorithms...
Mathematics Alive and in Action
DEFF Research Database (Denmark)
Hansen, Vagn Lundsgaard
2005-01-01
This chapter addresses two main questions: What do mathematicians do? What is mathematics good for? With focus on recent times, a panorama of mathematical contributions to civilization is presented and the intellectual drive by which they were perceived is described.......This chapter addresses two main questions: What do mathematicians do? What is mathematics good for? With focus on recent times, a panorama of mathematical contributions to civilization is presented and the intellectual drive by which they were perceived is described....
Algorithmic approach to diagram techniques
International Nuclear Information System (INIS)
Ponticopoulos, L.
1980-10-01
An algorithmic approach to diagram techniques of elementary particles is proposed. The definition and axiomatics of the theory of algorithms are presented, followed by the list of instructions of an algorithm formalizing the construction of graphs and the assignment of mathematical objects to them. (T.A.)
Mathematical Footprints Discovering Mathematics Everywhere
Pappas, Theoni
1999-01-01
MATHEMATICAL FOOTPRINTS takes a creative look at the role mathematics has played since prehistoric times, and will play in the future, and uncovers mathematics where you least expect to find it from its many uses in medicine, the sciences, and its appearance in art to its patterns in nature and its central role in the development of computers. Pappas presents mathematical ideas in a readable non-threatening manner. MATHEMATICAL FOOTPRINTS is another gem by the creator of THE MATHEMATICS CALENDAR and author of THE JOY OF MATHEMATICS. "Pappas's books have been gold mines of mathematical ent
Mathematical modeling with multidisciplinary applications
Yang, Xin-She
2013-01-01
Features mathematical modeling techniques and real-world processes with applications in diverse fields Mathematical Modeling with Multidisciplinary Applications details the interdisciplinary nature of mathematical modeling and numerical algorithms. The book combines a variety of applications from diverse fields to illustrate how the methods can be used to model physical processes, design new products, find solutions to challenging problems, and increase competitiveness in international markets. Written by leading scholars and international experts in the field, the
Mathematical thinking and origami
Wares, Arsalan
2016-01-01
The purpose of this paper is to describe the mathematics that emanates from the construction of an origami box. We first construct a simple origami box from a rectangular sheet and then discuss some of the mathematical questions that arise in the context of geometry and calculus.
Discrete Mathematics Re "Tooled."
Grassl, Richard M.; Mingus, Tabitha T. Y.
1999-01-01
Indicates the importance of teaching discrete mathematics. Describes how the use of technology can enhance the teaching and learning of discrete mathematics. Explorations using Excel, Derive, and the TI-92 proved how preservice and inservice teachers experienced a new dimension in problem solving and discovery. (ASK)
Algorithms in Algebraic Geometry
Dickenstein, Alicia; Sommese, Andrew J
2008-01-01
In the last decade, there has been a burgeoning of activity in the design and implementation of algorithms for algebraic geometric computation. Some of these algorithms were originally designed for abstract algebraic geometry, but now are of interest for use in applications and some of these algorithms were originally designed for applications, but now are of interest for use in abstract algebraic geometry. The workshop on Algorithms in Algebraic Geometry that was held in the framework of the IMA Annual Program Year in Applications of Algebraic Geometry by the Institute for Mathematics and Its
Algorithms in invariant theory
Sturmfels, Bernd
2008-01-01
J. Kung and G.-C. Rota, in their 1984 paper, write: "Like the Arabian phoenix rising out of its ashes, the theory of invariants, pronounced dead at the turn of the century, is once again at the forefront of mathematics". The book of Sturmfels is both an easy-to-read textbook for invariant theory and a challenging research monograph that introduces a new approach to the algorithmic side of invariant theory. The Groebner bases method is the main tool by which the central problems in invariant theory become amenable to algorithmic solutions. Students will find the book an easy introduction to this "classical and new" area of mathematics. Researchers in mathematics, symbolic computation, and computer science will get access to a wealth of research ideas, hints for applications, outlines and details of algorithms, worked out examples, and research problems.
Mathematics Teachers' Ideas about Mathematical Models: A Diverse Landscape
Bautista, Alfredo; Wilkerson-Jerde, Michelle H.; Tobin, Roger G.; Brizuela, Bárbara M.
2014-01-01
This paper describes the ideas that mathematics teachers (grades 5-9) have regarding mathematical models of real-world phenomena, and explores how teachers' ideas differ depending on their educational background. Participants were 56 United States in-service mathematics teachers. We analyzed teachers' written responses to three open-ended…
Vignesh, S.; Dinesh Babu, P.; Surya, G.; Dinesh, S.; Marimuthu, P.
2018-02-01
The ultimate goal of all production entities is to select the process parameters that would be of maximum strength, minimum wear and friction. The friction and wear are serious problems in most of the industries which are influenced by the working set of parameters, oxidation characteristics and mechanism involved in formation of wear. The experimental input parameters such as sliding distance, applied load, and temperature are utilized in finding out the optimized solution for achieving the desired output responses such as coefficient of friction, wear rate, and volume loss. The optimization is performed with the help of a novel method, Elitist Non-dominated Sorting Genetic Algorithm (NSGA-II) based on an evolutionary algorithm. The regression equations obtained using Response Surface Methodology (RSM) are used in determining the optimum process parameters. Further, the results achieved through desirability approach in RSM are compared with that of the optimized solution obtained through NSGA-II. The results conclude that proposed evolutionary technique is much effective and faster than the desirability approach.
Discrete mathematics using a computer
Hall, Cordelia
2000-01-01
Several areas of mathematics find application throughout computer science, and all students of computer science need a practical working understanding of them. These core subjects are centred on logic, sets, recursion, induction, relations and functions. The material is often called discrete mathematics, to distinguish it from the traditional topics of continuous mathematics such as integration and differential equations. The central theme of this book is the connection between computing and discrete mathematics. This connection is useful in both directions: • Mathematics is used in many branches of computer science, in applica tions including program specification, datastructures,design and analysis of algorithms, database systems, hardware design, reasoning about the correctness of implementations, and much more; • Computers can help to make the mathematics easier to learn and use, by making mathematical terms executable, making abstract concepts more concrete, and through the use of software tools su...
Continuous time Boolean modeling for biological signaling: application of Gillespie algorithm.
Stoll, Gautier; Viara, Eric; Barillot, Emmanuel; Calzone, Laurence
2012-01-01
Abstract Mathematical modeling is used as a Systems Biology tool to answer biological questions, and more precisely, to validate a network that describes biological observations and predict the effect of perturbations. This article presents an algorithm for modeling biological networks in a discrete framework with continuous time. Background There exist two major types of mathematical modeling approaches: (1) quantitative modeling, representing various chemical species concentrations by real...
Mathematics education a spectrum of work in mathematical sciences departments
Hsu, Pao-sheng; Pollatsek, Harriet
2016-01-01
Many in the mathematics community in the U.S. are involved in mathematics education in various capacities. This book highlights the breadth of the work in K-16 mathematics education done by members of US departments of mathematical sciences. It contains contributions by mathematicians and mathematics educators who do work in areas such as teacher education, quantitative literacy, informal education, writing and communication, social justice, outreach and mentoring, tactile learning, art and mathematics, ethnomathematics, scholarship of teaching and learning, and mathematics education research. Contributors describe their work, its impact, and how it is perceived and valued. In addition, there is a chapter, co-authored by two mathematicians who have become administrators, on the challenges of supporting, evaluating, and rewarding work in mathematics education in departments of mathematical sciences. This book is intended to inform the readership of the breadth of the work and to encourage discussion of its val...
Andreescu, Titu; Tetiva, Marian
2017-01-01
Building bridges between classical results and contemporary nonstandard problems, Mathematical Bridges embraces important topics in analysis and algebra from a problem-solving perspective. Blending old and new techniques, tactics and strategies used in solving challenging mathematical problems, readers will discover numerous genuine mathematical gems throughout that will heighten their appreciation of the inherent beauty of mathematics. Most of the problems are original to the authors and are intertwined in a well-motivated exposition driven by representative examples. The book is structured to assist the reader in formulating and proving conjectures, as well as devising solutions to important mathematical problems by making connections between various concepts and ideas from different areas of mathematics. Instructors and educators teaching problem-solving courses or organizing mathematics clubs, as well as motivated mathematics students from high school juniors to college seniors, will find Mathematical Bri...
Combinatorial optimization algorithms and complexity
Papadimitriou, Christos H
1998-01-01
This clearly written, mathematically rigorous text includes a novel algorithmic exposition of the simplex method and also discusses the Soviet ellipsoid algorithm for linear programming; efficient algorithms for network flow, matching, spanning trees, and matroids; the theory of NP-complete problems; approximation algorithms, local search heuristics for NP-complete problems, more. All chapters are supplemented by thought-provoking problems. A useful work for graduate-level students with backgrounds in computer science, operations research, and electrical engineering.
Energy Technology Data Exchange (ETDEWEB)
Geist, G.A. [Oak Ridge National Lab., TN (United States). Computer Science and Mathematics Div.; Howell, G.W. [Florida Inst. of Tech., Melbourne, FL (United States). Dept. of Applied Mathematics; Watkins, D.S. [Washington State Univ., Pullman, WA (United States). Dept. of Pure and Applied Mathematics
1997-11-01
The BR algorithm, a new method for calculating the eigenvalues of an upper Hessenberg matrix, is introduced. It is a bulge-chasing algorithm like the QR algorithm, but, unlike the QR algorithm, it is well adapted to computing the eigenvalues of the narrowband, nearly tridiagonal matrices generated by the look-ahead Lanczos process. This paper describes the BR algorithm and gives numerical evidence that it works well in conjunction with the Lanczos process. On the biggest problems run so far, the BR algorithm beats the QR algorithm by a factor of 30--60 in computing time and a factor of over 100 in matrix storage space.
The Emergence of Mathematical Structures
Hegedus, Stephen John; Moreno-Armella, Luis
2011-01-01
We present epistemological ruptures that have occurred in mathematical history and in the transformation of using technology in mathematics education in the twenty-first century. We describe how such changes establish a new form of digital semiotics that challenges learning paradigms and mathematical inquiry for learners today. We focus on drawing…
Teaching Mathematics in Geography Degrees
Bennett, Robert
1978-01-01
Examines ways of developing college students' motivation for mathematical training; describes the type of mathematical knowledge required in the geography discipline; and explores an applied approach to mathematics teaching based on a systems concept. For journal availability, see SO 506 224. (Author/AV)
Perception determinants in learning mathematics
Mokhtar, Siti Fairus; Ali, Noor Rasidah; Rashid, Nurazlina Abdul
2015-05-01
This article described a statistical study of students' perception in mathematics. The objective of this study is to identify factors related to perception about learning mathematics among non mathematics' student. This study also determined the relationship between of these factors among non mathematics' student. 43 items questionnaires were distributed to one hundred students in UiTM Kedah who enrolled in the Business Mathematics course. These items were measured by using a semantic scale with the following anchors: 1 = strongly disagree to 7 = strongly agree. A factor analysis of respondents were identified into five factors that influencing the students' perception in mathematics. In my study, factors identified were attitude, interest, role of the teacher, role of peers and usefulness of mathematics that may relate to the perception about learning mathematics among non mathematics' student.
Five Describing Factors of Dyslexia
Tamboer, Peter; Vorst, Harrie C. M.; Oort, Frans J.
2016-01-01
Two subtypes of dyslexia (phonological, visual) have been under debate in various studies. However, the number of symptoms of dyslexia described in the literature exceeds the number of subtypes, and underlying relations remain unclear. We investigated underlying cognitive features of dyslexia with exploratory and confirmatory factor analyses. A…
Optimization algorithms and applications
Arora, Rajesh Kumar
2015-01-01
Choose the Correct Solution Method for Your Optimization ProblemOptimization: Algorithms and Applications presents a variety of solution techniques for optimization problems, emphasizing concepts rather than rigorous mathematical details and proofs. The book covers both gradient and stochastic methods as solution techniques for unconstrained and constrained optimization problems. It discusses the conjugate gradient method, Broyden-Fletcher-Goldfarb-Shanno algorithm, Powell method, penalty function, augmented Lagrange multiplier method, sequential quadratic programming, method of feasible direc
Lowe, James; Carter, Merilyn; Cooper, Tom
2018-01-01
Mathematical models are conceptual processes that use mathematics to describe, explain, and/or predict the behaviour of complex systems. This article is written for teachers of mathematics in the junior secondary years (including out-of-field teachers of mathematics) who may be unfamiliar with mathematical modelling, to explain the steps involved…
... this page: //medlineplus.gov/ency/article/001534.htm Mathematics disorder To use the sharing features on this page, please enable JavaScript. Mathematics disorder is a condition in which a child's ...
Ebrahimi, Ahmad; Kia, Reza; Komijan, Alireza Rashidi
2016-01-01
In this article, a novel integrated mixed-integer nonlinear programming model is presented for designing a cellular manufacturing system (CMS) considering machine layout and part scheduling problems simultaneously as interrelated decisions. The integrated CMS model is formulated to incorporate several design features including part due date, material handling time, operation sequence, processing time, an intra-cell layout of unequal-area facilities, and part scheduling. The objective function is to minimize makespan, tardiness penalties, and material handling costs of inter-cell and intra-cell movements. Two numerical examples are solved by the Lingo software to illustrate the results obtained by the incorporated features. In order to assess the effects and importance of integration of machine layout and part scheduling in designing a CMS, two approaches, sequentially and concurrent are investigated and the improvement resulted from a concurrent approach is revealed. Also, due to the NP-hardness of the integrated model, an efficient genetic algorithm is designed. As a consequence, computational results of this study indicate that the best solutions found by GA are better than the solutions found by B&B in much less time for both sequential and concurrent approaches. Moreover, the comparisons between the objective function values (OFVs) obtained by sequential and concurrent approaches demonstrate that the OFV improvement is averagely around 17 % by GA and 14 % by B&B.
Directory of Open Access Journals (Sweden)
Franz Konstantin Fuss
2013-01-01
Full Text Available Standard methods for computing the fractal dimensions of time series are usually tested with continuous nowhere differentiable functions, but not benchmarked with actual signals. Therefore they can produce opposite results in extreme signals. These methods also use different scaling methods, that is, different amplitude multipliers, which makes it difficult to compare fractal dimensions obtained from different methods. The purpose of this research was to develop an optimisation method that computes the fractal dimension of a normalised (dimensionless and modified time series signal with a robust algorithm and a running average method, and that maximises the difference between two fractal dimensions, for example, a minimum and a maximum one. The signal is modified by transforming its amplitude by a multiplier, which has a non-linear effect on the signal’s time derivative. The optimisation method identifies the optimal multiplier of the normalised amplitude for targeted decision making based on fractal dimensions. The optimisation method provides an additional filter effect and makes the fractal dimensions less noisy. The method is exemplified by, and explained with, different signals, such as human movement, EEG, and acoustic signals.
Fuss, Franz Konstantin
2013-01-01
Standard methods for computing the fractal dimensions of time series are usually tested with continuous nowhere differentiable functions, but not benchmarked with actual signals. Therefore they can produce opposite results in extreme signals. These methods also use different scaling methods, that is, different amplitude multipliers, which makes it difficult to compare fractal dimensions obtained from different methods. The purpose of this research was to develop an optimisation method that computes the fractal dimension of a normalised (dimensionless) and modified time series signal with a robust algorithm and a running average method, and that maximises the difference between two fractal dimensions, for example, a minimum and a maximum one. The signal is modified by transforming its amplitude by a multiplier, which has a non-linear effect on the signal's time derivative. The optimisation method identifies the optimal multiplier of the normalised amplitude for targeted decision making based on fractal dimensions. The optimisation method provides an additional filter effect and makes the fractal dimensions less noisy. The method is exemplified by, and explained with, different signals, such as human movement, EEG, and acoustic signals.
Kilpatrick, Jeremy
2014-01-01
This paper addresses the contested way that ethnomathematics has sometimes been received by mathematicians and others and what that disagreement might suggest about issues in mathematics education; namely, (a) the relation of ethnomathematics to academic mathematics; (b) recent efforts to reform secondary school mathematics so that it prepares…
Mathematical Modelling of Unmanned Aerial Vehicles with Four Rotors
Directory of Open Access Journals (Sweden)
Zoran Benić
2016-01-01
Full Text Available Mathematical model of an unmanned aerial vehicle with four propulsors (quadcopter is indispensable in quadcopter movement simulation and later modelling of the control algorithm. Mathematical model is, at the same time, the first step in comprehending the mathematical principles and physical laws which are applied to the quadcopter system. The objective is to define the mathematical model which will describe the quadcopter behavior with satisfactory accuracy and which can be, with certain modifications, applicable for the similar configurations of multirotor aerial vehicles. At the beginning of mathematical model derivation, coordinate systems are defined and explained. By using those coordinate systems, relations between parameters defined in the earth coordinate system and in the body coordinate system are defined. Further, the quadcopter kinematic is described which enables setting those relations. Also, quadcopter dynamics is used to introduce forces and torques to the model through usage of Newton-Euler method. Final derived equation is Newton’s second law in the matrix notation. For the sake of model simplification, hybrid coordinate system is defined, and quadcopter dynamic equations derived with the respect to it. Those equations are implemented in the simulation. Results of behavior of quadcopter mathematical model are graphically shown for four cases. For each of the cases the propellers revolutions per minute (RPM are set in a way that results in the occurrence of the controllable variables which causes one of four basic quadcopter movements in space.
Mathematics for the environment
Walter, Martin
2011-01-01
MATHEMATICS IS CONNECTED TO EVERYTHING ELSEEarth's Climate and Some Basic Principles One of the Greatest Crimes of the 20th Century Feedback Edison's Algorithm: Listening to Nature's Feedback Fuzzy Logic, Filters, the Bigger Picture Principle Consequences of the Crime: Suburbia's Topology A Toxic Consequence of the Crime Hubbert's Peak and the End of Cheap Oil Resource Wars: Oil and Water The CO2 Greenhouse Law of Svante ArrheniusEconomic Instability: Ongoing Causes Necessary Conditions for Economic Success The Mathematical Structure of Ponzi Schemes Dishonest Assessment of Risk One Reason Why
Computer mathematics for programmers
Abney, Darrell H; Sibrel, Donald W
1985-01-01
Computer Mathematics for Programmers presents the Mathematics that is essential to the computer programmer.The book is comprised of 10 chapters. The first chapter introduces several computer number systems. Chapter 2 shows how to perform arithmetic operations using the number systems introduced in Chapter 1. The third chapter covers the way numbers are stored in computers, how the computer performs arithmetic on real numbers and integers, and how round-off errors are generated in computer programs. Chapter 4 details the use of algorithms and flowcharting as problem-solving tools for computer p
Mathematics of aperiodic order
Lenz, Daniel; Savinien, Jean
2015-01-01
What is order that is not based on simple repetition, that is, periodicity? How must atoms be arranged in a material so that it diffracts like a quasicrystal? How can we describe aperiodically ordered systems mathematically? Originally triggered by the – later Nobel prize-winning – discovery of quasicrystals, the investigation of aperiodic order has since become a well-established and rapidly evolving field of mathematical research with close ties to a surprising variety of branches of mathematics and physics. This book offers an overview of the state of the art in the field of aperiodic order, presented in carefully selected authoritative surveys. It is intended for non-experts with a general background in mathematics, theoretical physics or computer science, and offers a highly accessible source of first-hand information for all those interested in this rich and exciting field. Topics covered include the mathematical theory of diffraction, the dynamical systems of tilings or Delone sets, their cohomolog...
MATHEMATICAL MODEL MANIPULATOR ROBOTS
Directory of Open Access Journals (Sweden)
O. N. Krakhmalev
2015-12-01
Full Text Available A mathematical model to describe the dynamics of manipulator robots. Mathematical model are the implementation of the method based on the Lagrange equation and using the transformation matrices of elastic coordinates. Mathematical model make it possible to determine the elastic deviations of manipulator robots from programmed motion trajectories caused by elastic deformations in hinges, which are taken into account in directions of change of the corresponding generalized coordinates. Mathematical model is approximated and makes it possible to determine small elastic quasi-static deviations and elastic vibrations. The results of modeling the dynamics by model are compared to the example of a two-link manipulator system. The considered model can be used when performing investigations of the mathematical accuracy of the manipulator robots.
Describing treatment effects to patients.
Moxey, Annette; O'Connell, Dianne; McGettigan, Patricia; Henry, David
2003-11-01
To examine the impact of different presentations of equivalent information (framing) on treatment decisions faced by patients. A systematic review of the published literature was conducted. English language publications allocating participants to different frames were retrieved using electronic and bibliographic searches. Two reviewers examined each article for inclusion, and assessed methodological quality. Study characteristics were tabulated and where possible, relative risks (RR; 95% confidence intervals) were calculated to estimate intervention effects. Thirty-seven articles, yielding 40 experimental studies, were included. Studies examined treatment (N = 24), immunization (N = 5), or health behavior scenarios (N = 11). Overall, active treatments were preferred when outcomes were described in terms of relative rather than absolute risk reductions or number needed to treat. Surgery was preferred to other treatments when treatment efficacy was presented in a positive frame (survival) rather than a negative frame (mortality) (relative risk [RR] = 1.51, 95% confidence interval [CI], 1.39 to 1.64). Framing effects were less obvious for immunization and health behavior scenarios. Those with little interest in the behavior at baseline were influenced by framing, particularly when information was presented as gains. In studies judged to be of good methodological quality and/or examining actual decisions, the framing effect, although still evident, was less convincing compared to the results of all included studies. Framing effects varied with the type of scenario, responder characteristics, scenario manipulations, and study quality. When describing treatment effects to patients, expressing the information in more than one way may present a balanced view to patients and enable them to make informed decisions.
DEFF Research Database (Denmark)
Blomhøj, Morten
2004-01-01
Developing competences for setting up, analysing and criticising mathematical models are normally seen as relevant only from and above upper secondary level. The general belief among teachers is that modelling activities presuppose conceptual understanding of the mathematics involved. Mathematical...... roots for the construction of important mathematical concepts. In addition competences for setting up, analysing and criticising modelling processes and the possible use of models is a formative aim in this own right for mathematics teaching in general education. The paper presents a theoretical...... modelling, however, can be seen as a practice of teaching that place the relation between real life and mathematics into the centre of teaching and learning mathematics, and this is relevant at all levels. Modelling activities may motivate the learning process and help the learner to establish cognitive...
DEFF Research Database (Denmark)
Sørensen, John Aasted
2011-01-01
The objectives of Discrete Mathematics (IDISM2) are: The introduction of the mathematics needed for analysis, design and verification of discrete systems, including the application within programming languages for computer systems. Having passed the IDISM2 course, the student will be able...... to accomplish the following: -Understand and apply formal representations in discrete mathematics. -Understand and apply formal representations in problems within discrete mathematics. -Understand methods for solving problems in discrete mathematics. -Apply methods for solving problems in discrete mathematics......; construct a finite state machine for a given application. Apply these concepts to new problems. The teaching in Discrete Mathematics is a combination of sessions with lectures and students solving problems, either manually or by using Matlab. Furthermore a selection of projects must be solved and handed...
Mathematical Modeling and Pure Mathematics
Usiskin, Zalman
2015-01-01
Common situations, like planning air travel, can become grist for mathematical modeling and can promote the mathematical ideas of variables, formulas, algebraic expressions, functions, and statistics. The purpose of this article is to illustrate how the mathematical modeling that is present in everyday situations can be naturally embedded in…
Bernhard Riemann 1826-1866 Turning Points in the Conception of Mathematics
Laugwitz, Detlef
2008-01-01
The name of Bernard Riemann is well known to mathematicians and physicists around the world. College students encounter the Riemann integral early in their studies. Real and complex function theories are founded on Riemann’s work. Einstein’s theory of gravitation would be unthinkable without Riemannian geometry. In number theory, Riemann’s famous conjecture stands as one of the classic challenges to the best mathematical minds and continues to stimulate deep mathematical research. The name is indelibly stamped on the literature of mathematics and physics. This book, originally written in German and presented here in an English-language translation, examines Riemann’s scientific work from a single unifying perspective. Laugwitz describes Riemann’s development of a conceptual approach to mathematics at a time when conventional algorithmic thinking dictated that formulas and figures, rigid constructs, and transformations of terms were the only legitimate means of studying mathematical objects. David Hi...
Common barrel and forward CA tracking algorithm
Energy Technology Data Exchange (ETDEWEB)
Mykhailo, Pugach [Goethe-Universitaet, Frankfurt (Germany); Frankfurt Institute for Advanced Studies, Frankfurt (Germany); KINR, Kyiv (Ukraine); Gorbunov, Sergey; Kisel, Ivan [Goethe-Universitaet, Frankfurt (Germany); Frankfurt Institute for Advanced Studies, Frankfurt (Germany); Collaboration: PANDA-Collaboration
2016-07-01
There are complex detector setups which consist of barrel (cylindrical) and forward parts, and such systems require a special approach in the registered charged particles track finding procedure. Currently the tracking procedure might be performed in both parts of such detector independently from each other, but the final goal on this direction is a creation of a combined tracking, which will work in both parts of the detector simultaneously. The basic algorithm is based on Kalman Filter (KF) and Cellular Automata (CA). And the tracking procedure in such a complex system is rather extraordinary as far as it requires 2 different models to describe the state vector of segments of the reconstructed track in the mathematical apparatus of the KF-algorithm. To overcome this specifics a mathematical apparatus of transition matrices must be developed and implemented, so that one can transfer from one track model to another. Afterwards the work of the CA is performed, which reduces to segments sorting, their union into track-candidates and selection of the best candidates by the chi-square criteria after fitting of the track-candidate by the KF. In this report the algorithm, status and perspectives of such combined tracking are described.
Parallel asynchronous systems and image processing algorithms
Coon, D. D.; Perera, A. G. U.
1989-01-01
A new hardware approach to implementation of image processing algorithms is described. The approach is based on silicon devices which would permit an independent analog processing channel to be dedicated to evey pixel. A laminar architecture consisting of a stack of planar arrays of the device would form a two-dimensional array processor with a 2-D array of inputs located directly behind a focal plane detector array. A 2-D image data stream would propagate in neuronlike asynchronous pulse coded form through the laminar processor. Such systems would integrate image acquisition and image processing. Acquisition and processing would be performed concurrently as in natural vision systems. The research is aimed at implementation of algorithms, such as the intensity dependent summation algorithm and pyramid processing structures, which are motivated by the operation of natural vision systems. Implementation of natural vision algorithms would benefit from the use of neuronlike information coding and the laminar, 2-D parallel, vision system type architecture. Besides providing a neural network framework for implementation of natural vision algorithms, a 2-D parallel approach could eliminate the serial bottleneck of conventional processing systems. Conversion to serial format would occur only after raw intensity data has been substantially processed. An interesting challenge arises from the fact that the mathematical formulation of natural vision algorithms does not specify the means of implementation, so that hardware implementation poses intriguing questions involving vision science.
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.
The 24-Hour Mathematical Modeling Challenge
Galluzzo, Benjamin J.; Wendt, Theodore J.
2015-01-01
Across the mathematics curriculum there is a renewed emphasis on applications of mathematics and on mathematical modeling. Providing students with modeling experiences beyond the ordinary classroom setting remains a challenge, however. In this article, we describe the 24-hour Mathematical Modeling Challenge, an extracurricular event that exposes…
Stöltzner, Michael
Answering to the double-faced influence of string theory on mathematical practice and rigour, the mathematical physicists Arthur Jaffe and Frank Quinn have contemplated the idea that there exists a `theoretical' mathematics (alongside `theoretical' physics) whose basic structures and results still require independent corroboration by mathematical proof. In this paper, I shall take the Jaffe-Quinn debate mainly as a problem of mathematical ontology and analyse it against the backdrop of two philosophical views that are appreciative towards informal mathematical development and conjectural results: Lakatos's methodology of proofs and refutations and John von Neumann's opportunistic reading of Hilbert's axiomatic method. The comparison of both approaches shows that mitigating Lakatos's falsificationism makes his insights about mathematical quasi-ontology more relevant to 20th century mathematics in which new structures are introduced by axiomatisation and not necessarily motivated by informal ancestors. The final section discusses the consequences of string theorists' claim to finality for the theory's mathematical make-up. I argue that ontological reductionism as advocated by particle physicists and the quest for mathematically deeper axioms do not necessarily lead to identical results.
Improved multivariate polynomial factoring algorithm
International Nuclear Information System (INIS)
Wang, P.S.
1978-01-01
A new algorithm for factoring multivariate polynomials over the integers based on an algorithm by Wang and Rothschild is described. The new algorithm has improved strategies for dealing with the known problems of the original algorithm, namely, the leading coefficient problem, the bad-zero problem and the occurrence of extraneous factors. It has an algorithm for correctly predetermining leading coefficients of the factors. A new and efficient p-adic algorithm named EEZ is described. Bascially it is a linearly convergent variable-by-variable parallel construction. The improved algorithm is generally faster and requires less store then the original algorithm. Machine examples with comparative timing are included
Mathematics for electronic technology
Howson, D P
1975-01-01
Mathematics for Electronic Technology is a nine-chapter book that begins with the elucidation of the introductory concepts related to use of mathematics in electronic engineering, including differentiation, integration, partial differentiation, infinite series, vectors, vector algebra, and surface, volume and line integrals. Subsequent chapters explore the determinants, differential equations, matrix analysis, complex variable, topography, graph theory, and numerical analysis used in this field. The use of Fourier method for harmonic analysis and the Laplace transform is also described. The ma
Energy Technology Data Exchange (ETDEWEB)
Landauer, C.; Bellman, K.L.
1996-12-31
In this paper, we study foundational issues that we believe will help us develop a theoretically sound approach to constructing complex systems. The two theoretical approaches that have helped us understand and develop computational systems in the past are mathematics and linguistics. We describe some differences and strengths of the approaches, and propose a research program to combine the richness of linguistic reasoning with the precision of mathematics.
Cascade Error Projection Learning Algorithm
Duong, T. A.; Stubberud, A. R.; Daud, T.
1995-01-01
A detailed mathematical analysis is presented for a new learning algorithm termed cascade error projection (CEP) and a general learning frame work. This frame work can be used to obtain the cascade correlation learning algorithm by choosing a particular set of parameters.
Mathematical olympiad challenges
Andreescu, Titu
2000-01-01
Mathematical Olympiad Challenges is a rich collection of problems put together by two experienced and well-known professors and coaches of the U.S. International Mathematical Olympiad Team. Hundreds of beautiful, challenging, and instructive problems from algebra, geometry, trigonometry, combinatorics, and number theory were selected from numerous mathematical competitions and journals. An important feature of the work is the comprehensive background material provided with each grouping of problems. The problems are clustered by topic into self-contained sections with solutions provided separately. All sections start with an essay discussing basic facts and one or two representative examples. A list of carefully chosen problems follows and the reader is invited to take them on. Additionally, historical insights and asides are presented to stimulate further inquiry. The emphasis throughout is on encouraging readers to move away from routine exercises and memorized algorithms toward creative solutions to open-e...
The Princeton companion to mathematics
Barrow-Green, June; Leader, Imre
2008-01-01
This is a one-of-a-kind reference for anyone with a serious interest in mathematics. Edited by Timothy Gowers, a recipient of the Fields Medal, it presents nearly two hundred entries, written especially for this book by some of the world's leading mathematicians, that introduce basic mathematical tools and vocabulary; trace the development of modern mathematics; explain essential terms and concepts; examine core ideas in major areas of mathematics; describe the achievements of scores of famous mathematicians; explore the impact of mathematics on other disciplines such as biology, finance, and music--and much, much more
Data assimilation a mathematical introduction
Law, Kody; Zygalakis, Konstantinos
2015-01-01
This book provides a systematic treatment of the mathematical underpinnings of work in data assimilation, covering both theoretical and computational approaches. Specifically the authors develop a unified mathematical framework in which a Bayesian formulation of the problem provides the bedrock for the derivation, development and analysis of algorithms; the many examples used in the text, together with the algorithms which are introduced and discussed, are all illustrated by the MATLAB software detailed in the book and made freely available online. The book is organized into nine chapters: the first contains a brief introduction to the mathematical tools around which the material is organized; the next four are concerned with discrete time dynamical systems and discrete time data; the last four are concerned with continuous time dynamical systems and continuous time data and are organized analogously to the corresponding discrete time chapters. This book is aimed at mathematical researchers interested in a sy...
Mathematization in introductory physics
Brahmia, Suzanne M.
Mathematization is central to STEM disciplines as a cornerstone of the quantitative reasoning that characterizes these fields. Introductory physics is required for most STEM majors in part so that students develop expert-like mathematization. This dissertation describes coordinated research and curriculum development for strengthening mathematization in introductory physics; it blends scholarship in physics and mathematics education in the form of three papers. The first paper explores mathematization in the context of physics, and makes an original contribution to the measurement of physics students' struggle to mathematize. Instructors naturally assume students have a conceptual mastery of algebra before embarking on a college physics course because these students are enrolled in math courses beyond algebra. This paper provides evidence that refutes the validity of this assumption and categorizes some of the barriers students commonly encounter with quantification and representing ideas symbolically. The second paper develops a model of instruction that can help students progress from their starting points to their instructor's desired endpoints. Instructors recognize that the introductory physics course introduces new ideas at an astonishing rate. More than most physicists realize, however, the way that mathematics is used in the course is foreign to a large portion of class. This paper puts forth an instructional model that can move all students toward better quantitative and physical reasoning, despite the substantial variability of those students' initial states. The third paper describes the design and testing of curricular materials that foster mathematical creativity to prepare students to better understand physics reasoning. Few students enter introductory physics with experience generating equations in response to specific challenges involving unfamiliar quantities and units, yet this generative use of mathematics is typical of the thinking involved in
Concurrent algorithms for nuclear shell model calculations
International Nuclear Information System (INIS)
Mackenzie, L.M.; Macleod, A.M.; Berry, D.J.; Whitehead, R.R.
1988-01-01
The calculation of nuclear properties has proved very successful for light nuclei, but is limited by the power of the present generation of computers. Starting with an analysis of current techniques, this paper discusses how these can be modified to map parallelism inherent in the mathematics onto appropriate parallel machines. A prototype dedicated multiprocessor for nuclear structure calculations, designed and constructed by the authors, is described and evaluated. The approach adopted is discussed in the context of a number of generically similar algorithms. (orig.)
Exponentially Convergent Algorithms for Abstract Differential Equations
Gavrilyuk, Ivan; Vasylyk, Vitalii
2011-01-01
This book presents new accurate and efficient exponentially convergent methods for abstract differential equations with unbounded operator coefficients in Banach space. These methods are highly relevant for the practical scientific computing since the equations under consideration can be seen as the meta-models of systems of ordinary differential equations (ODE) as well as the partial differential equations (PDEs) describing various applied problems. The framework of functional analysis allows one to obtain very general but at the same time transparent algorithms and mathematical results which
Aigner, Martin; Spain, Philip G
2010-01-01
Mathematics is all around us. Often we do not realize it, though. Mathematics Everywhere is a collection of presentations on the role of mathematics in everyday life, through science, technology, and culture. The common theme is the unique position of mathematics as the art of pure thought and at the same time as a universally applicable science. The authors are renowned mathematicians; their presentations cover a wide range of topics. From compact discs to the stock exchange, from computer tomography to traffic routing, from electronic money to climate change, they make the "math inside" unde
Jothi, A Lenin
2009-01-01
Financial services, particularly banking and insurance services is the prominent sector for the development of a nation. After the liberalisation of financial sector in India, the scope of getting career opportunities has been widened. It is heartening to note that various universities in India have introduced professional courses on banking and insurance. A new field of applied mathematics has come into prominence under the name of Financial Mathematics. Financial mathematics has attained much importance in the recent years because of the role played by mathematical concepts in decision - m
Pappas, Theoni
1997-01-01
In this highly readable volume of vignettes of mathematical scandals and gossip, Theoni Pappas assembles 29 fascinating stories of intrigue and the bizarre ? in short, the human background of the history of mathematics. Might a haberdasher have changed Einstein's life? Why was the first woman mathematician murdered? How come there's no Nobel Prize in mathematics?Mathematics is principally about numbers, equations, and solutions, all of them precise and timeless. But, behind this arcane matter lies the sometimes sordid world of real people, whose rivalries and deceptions
Stroud, K A
2013-01-01
A groundbreaking and comprehensive reference that's been a bestseller since it first debuted in 1970, the new seventh edition of Engineering Mathematics has been thoroughly revised and expanded. Providing a broad mathematical survey, this innovative volume covers a full range of topics from the very basic to the advanced. Whether you're an engineer looking for a useful on-the-job reference or want to improve your mathematical skills, or you are a student who needs an in-depth self-study guide, Engineering Mathematics is sure to come in handy time and time again.
Mathematical foundations of epistemology based on experiments
Directory of Open Access Journals (Sweden)
Sergey M. Krylov
2015-09-01
Full Text Available The paper deals with basic prerequisites for the development of epistemology, which uses information concerning real experiments in the real world (with real objects. Such experiments are conducted by “formal-technological” analogs of Turing Machines. These analogs are called “universal synthesizers-analyzers”. They can perform syntheses and analyses of various objects or constructions (obtained by conjunctions of finite number of smaller objects called basic elements with the help of various algorithmic systems having some restrictions. Such algorithmic systems are called Formal Technologies. They have formal structures that are very similar to the formal structure of Maltsev's algebraic systems. This formal closeness allows us, first, to set up a hypothesis concerning algorithmic basis of almost all surrounding physical processes, as understandable as well as till non-understandable ones, that partially explains the wide applicability of mathematics to the outer world; second, this closeness allows one to formulate and prove some theorems (called assertions concerning features and peculiar properties of cognitive algorithms in one-, two- or three-dimensional surroundings for various formal technological systems, including a so called “acquired knowledge effectiveness theorem”. The theorem (assertion can be applied to a very wide class of formal technologies which use an equality predicate for objects analyses. In the paper various cognitive algorithms are listed and proved. These algorithms have different sets of technological operations resembling syntheses and decompositions, as well as different sets of analytical operations including equality predicates, “random stationary mapping” operations (which use unknown algorithms to obtain stationary results, therefore these operations are very similar to oracles in Turing Machines, operations that define object shapes, and so on. The structure of automatic cognitive devices called
DEFF Research Database (Denmark)
Mahnke, Martina; Uprichard, Emma
2014-01-01
Imagine sailing across the ocean. The sun is shining, vastness all around you. And suddenly [BOOM] you’ve hit an invisible wall. Welcome to the Truman Show! Ever since Eli Pariser published his thoughts on a potential filter bubble, this movie scenario seems to have become reality, just with slight...... changes: it’s not the ocean, it’s the internet we’re talking about, and it’s not a TV show producer, but algorithms that constitute a sort of invisible wall. Building on this assumption, most research is trying to ‘tame the algorithmic tiger’. While this is a valuable and often inspiring approach, we...
Kleene, Stephen Cole
1967-01-01
Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition.
Huckstep, Peter
2002-01-01
Contends teachers must resist the temptation to suggest that, while children can create stories and melodies, they cannot create mathematics. Quotes mathematician G. H. Hardy: "A mathematician, like a painter or poet, is a 'maker' of patterns." Considers mathematics should be able to stand up for itself. (BT)
Batchelder, William H
2010-09-01
Mathematical psychology is a sub-field of psychology that started in the 1950s and has continued to grow as an important contributor to formal psychological theory, especially in the cognitive areas of psychology such as learning, memory, classification, choice response time, decision making, attention, and problem solving. In addition, there are several scientific sub-areas that were originated by mathematical psychologists such as the foundations of measurement, stochastic memory models, and psychologically motivated reformulations of expected utility theory. Mathematical psychology does not include all uses of mathematics and statistics in psychology, and indeed there is a long history of such uses especially in the areas of perception and psychometrics. What is most unique about mathematical psychology is its approach to theory construction. While accepting the behaviorist dictum that the data in psychology must be observable and replicable, mathematical models are specified in terms of unobservable formal constructs that can predict detailed aspects of data across multiple experimental and natural settings. By now almost all the substantive areas of cognitive and experimental psychology have formal mathematical models and theories, and many of these are due to researchers that identify with mathematical psychology. Copyright © 2010 John Wiley & Sons, Ltd. For further resources related to this article, please visit the WIREs website. Copyright © 2010 John Wiley & Sons, Ltd.
Kodaira, Kunihiko
1996-01-01
This is the translation from the Japanese textbook for the grade 11 course, "General Mathematics". It is part of the easier of the three elective courses in mathematics offered at this level and is taken by about 40% of students. The book covers basic notions of probability and statistics, vectors, exponential, logarithmic, and trigonometric functions, and an introduction to differentiation and integration.
DEFF Research Database (Denmark)
Sørensen, John Aasted
2011-01-01
; construct a finite state machine for a given application. Apply these concepts to new problems. The teaching in Discrete Mathematics is a combination of sessions with lectures and students solving problems, either manually or by using Matlab. Furthermore a selection of projects must be solved and handed...... to accomplish the following: -Understand and apply formal representations in discrete mathematics. -Understand and apply formal representations in problems within discrete mathematics. -Understand methods for solving problems in discrete mathematics. -Apply methods for solving problems in discrete mathematics...... to new problems. Relations and functions: Define a product set; define and apply equivalence relations; construct and apply functions. Apply these concepts to new problems. Natural numbers and induction: Define the natural numbers; apply the principle of induction to verify a selection of properties...
Murray, James D
1993-01-01
The book is a textbook (with many exercises) giving an in-depth account of the practical use of mathematical modelling in the biomedical sciences. The mathematical level required is generally not high and the emphasis is on what is required to solve the real biological problem. The subject matter is drawn, e.g. from population biology, reaction kinetics, biological oscillators and switches, Belousov-Zhabotinskii reaction, reaction-diffusion theory, biological wave phenomena, central pattern generators, neural models, spread of epidemics, mechanochemical theory of biological pattern formation and importance in evolution. Most of the models are based on real biological problems and the predictions and explanations offered as a direct result of mathematical analysis of the models are important aspects of the book. The aim is to provide a thorough training in practical mathematical biology and to show how exciting and novel mathematical challenges arise from a genuine interdisciplinary involvement with the biosci...
Parshall, Karen Hunger
2002-01-01
Although today's mathematical research community takes its international character very much for granted, this "global nature" is relatively recent, having evolved over a period of roughly 150 years-from the beginning of the nineteenth century to the middle of the twentieth century. During this time, the practice of mathematics changed from being centered on a collection of disparate national communities to being characterized by an international group of scholars for whom the goal of mathematical research and cooperation transcended national boundaries. Yet, the development of an international community was far from smooth and involved obstacles such as war, political upheaval, and national rivalries. Until now, this evolution has been largely overlooked by historians and mathematicians alike. This book addresses the issue by bringing together essays by twenty experts in the history of mathematics who have investigated the genesis of today's international mathematical community. This includes not only develo...
Directory of Open Access Journals (Sweden)
Sead Rešić
2015-09-01
Full Text Available It is very difficult to motivate students when it comes to a school subject like Mathematics. Teachers spend a lot of time trying to find something that will arouse interest in students. It is particularly difficult to find materials that are motivating enough for students that they eagerly wait for the next lesson. One of the solutions may be found in Vedic Mathematics. Traditional methods of teaching Mathematics create fear of this otherwise interesting subject in the majority of students. Fear increases failure. Often the traditional, conventional mathematical methods consist of very long lessons which are difficult to understand. Vedic Mathematics is an ancient system that is very flexible and encourages the development of intuition and innovation. It is a mental calculating tool that does not require a calculator because the calculator is embedded in each of us. Starting from the above problems of fear and failure in Mathematics, the goal of this paper is to do research with the control and the experimental group and to compare the test results. Two tests should be done for each of the groups. The control group would do the tests in the conventional way. The experimental group would do the first test in a conventional manner and then be subjected to different treatment, that is to say, be taught on the basis of Vedic Mathematics. After that, the second group would do the second test according to the principles of Vedic Mathematics. Expectations are that after short lectures on Vedic mathematics results of the experimental group would improve and that students will show greater interest in Mathematics.
The Mathematical State of the World
DEFF Research Database (Denmark)
Christensen, Ole Ravn; Skovsmose, Ole; Yasukawa, Keiko
2009-01-01
the concepts of “mathematical description” and “mathematical model” are inadequate to evaluate the use of mathematics in decision-making processes. As a result we develop a conceptual framework that is complex enough to match what goes on in scenarios involving applications of mathematics.......In this article we try to analyse the conditions for describing the world mathematically. We consider the role played by mathematics in discussing and analysing “the state of the world.” We use this discussion to clarify what it means to use a mathematical description. We illustrate why...
Mathematical Analysis of Algorithms within Mana
2014-06-01
of modern combat modeling can be traced back to the early 1900s as Frederick Lanchester first introduced his equations utilizing force size and...resulted in identifying the winning side and how many survivors would be left [2]. The original Lanchester equations did not take into account...interactions over sub intervals of time within the course of a scenario. The low-resolution models, such as Lanchester equations, utilize relatively simple
On an efficient general mathematical library
International Nuclear Information System (INIS)
Li Xiaomei; Yan Baoyong
1992-01-01
In this paper, the architecture of vector pipeline computer YH-1 is briefly described, and the characteristics of an efficient vector general mathematical library are discussed. Some approaches to vectorization, adopted in developing the vector mathematical library, are presented
Using Student Contributions and Multiple Representations To Develop Mathematical Language.
Herbel-Eisenmann, Beth A.
2002-01-01
Describes a way to introduce and use mathematical language as an alternative to using vocabulary lists to introduce students to mathematical language in mathematics classrooms. Draws on multiple representations and student language. (YDS)
Geocaching: Finding Mathematics in a Global Treasure Hunt
Bragg, Leicha A.
2014-01-01
If you love taking mathematics lessons outdoors, then you will love this article. Leicha Bragg describes geocaching, which combines technology, treasure hunting and mathematics, and results in purposeful, authentic and engaging mathematics.
Automated System for Teaching Computational Complexity of Algorithms Course
Directory of Open Access Journals (Sweden)
Vadim S. Roublev
2017-01-01
Full Text Available This article describes problems of designing automated teaching system for “Computational complexity of algorithms” course. This system should provide students with means to familiarize themselves with complex mathematical apparatus and improve their mathematical thinking in the respective area. The article introduces the technique of algorithms symbol scroll table that allows estimating lower and upper bounds of computational complexity. Further, we introduce a set of theorems that facilitate the analysis in cases when the integer rounding of algorithm parameters is involved and when analyzing the complexity of a sum. At the end, the article introduces a normal system of symbol transformations that allows one both to perform any symbol transformations and simplifies the automated validation of such transformations. The article is published in the authors’ wording.
Secondary School Mathematics Teachers' Knowledge Levels and Use of History of Mathematics
Bütüner, Suphi Önder
2018-01-01
This study describes secondary school mathematics teachers' use of history of mathematics in their classes and their knowledge levels in this field. The study population included a total of 58 secondary school mathematics teachers working at the secondary schools located in Yozgat city center, and the sample included 32 mathematics teachers from…
Darlington, Ellie; Bowyer, Jessica
2016-01-01
332 undergraduate chemistry students were surveyed in order to establish whether they had found A-level Mathematics and/or Further Mathematics to be good preparation for their degree. Perceptions of both subjects were found to be positive, with more than 80% of participants describing Mathematics or Further Mathematics as good preparation. In…
Bird, John
2014-01-01
A practical introduction to the core mathematics required for engineering study and practiceNow in its seventh edition, Engineering Mathematics is an established textbook that has helped thousands of students to succeed in their exams.John Bird's approach is based on worked examples and interactive problems. This makes it ideal for students from a wide range of academic backgrounds as the student can work through the material at their own pace. Mathematical theories are explained in a straightforward manner, being supported by practical engineering examples and applications in order to ensure
Geroch, Robert
1985-01-01
Mathematical Physics is an introduction to such basic mathematical structures as groups, vector spaces, topological spaces, measure spaces, and Hilbert space. Geroch uses category theory to emphasize both the interrelationships among different structures and the unity of mathematics. Perhaps the most valuable feature of the book is the illuminating intuitive discussion of the ""whys"" of proofs and of axioms and definitions. This book, based on Geroch's University of Chicago course, will be especially helpful to those working in theoretical physics, including such areas as relativity, particle
Logan, J David
2013-01-01
Praise for the Third Edition"Future mathematicians, scientists, and engineers should find the book to be an excellent introductory text for coursework or self-study as well as worth its shelf space for reference." -MAA Reviews Applied Mathematics, Fourth Edition is a thoroughly updated and revised edition on the applications of modeling and analyzing natural, social, and technological processes. The book covers a wide range of key topics in mathematical methods and modeling and highlights the connections between mathematics and the applied and nat
Handley, Bill
2012-01-01
This new, revised edition of the bestselling Speed Mathematics features new chapters on memorising numbers and general information, calculating statistics and compound interest, square roots, logarithms and easy trig calculations. Written so anyone can understand, this book teaches simple strategies that will enable readers to make lightning-quick calculations. People who excel at mathematics use better strategies than the rest of us; they are not necessarily more intelligent. With Speed Mathematics you'll discover methods to make maths easy and fun. This book is perfect for stud
Deriving the Normalized Min-Sum Algorithm from Cooperative Optimization
Huang, Xiaofei
2006-01-01
The normalized min-sum algorithm can achieve near-optimal performance at decoding LDPC codes. However, it is a critical question to understand the mathematical principle underlying the algorithm. Traditionally, people thought that the normalized min-sum algorithm is a good approximation to the sum-product algorithm, the best known algorithm for decoding LDPC codes and Turbo codes. This paper offers an alternative approach to understand the normalized min-sum algorithm. The algorithm is derive...
Virdi, Surinder; Virdi, Narinder Kaur
2014-01-01
Construction Mathematics is an introductory level mathematics text, written specifically for students of construction and related disciplines. Learn by tackling exercises based on real-life construction maths. Examples include: costing calculations, labour costs, cost of materials and setting out of building components. Suitable for beginners and easy to follow throughout. Learn the essential basic theory along with the practical necessities. The second edition of this popular textbook is fully updated to match new curricula, and expanded to include even more learning exercises. End of chapter exercises cover a range of theoretical as well as practical problems commonly found in construction practice, and three detailed assignments based on practical tasks give students the opportunity to apply all the knowledge they have gained. Construction Mathematics addresses all the mathematical requirements of Level 2 construction NVQs from City & Guilds/CITB and Edexcel courses, including the BTEC First Diploma in...
2016-01-01
This book provides a thorough introduction to the challenge of applying mathematics in real-world scenarios. Modelling tasks rarely involve well-defined categories, and they often require multidisciplinary input from mathematics, physics, computer sciences, or engineering. In keeping with this spirit of modelling, the book includes a wealth of cross-references between the chapters and frequently points to the real-world context. The book combines classical approaches to modelling with novel areas such as soft computing methods, inverse problems, and model uncertainty. Attention is also paid to the interaction between models, data and the use of mathematical software. The reader will find a broad selection of theoretical tools for practicing industrial mathematics, including the analysis of continuum models, probabilistic and discrete phenomena, and asymptotic and sensitivity analysis.
Sneyd, James
2009-01-01
There has been a long history of interaction between mathematics and physiology. This book looks in detail at a wide selection of mathematical models in physiology, showing how physiological problems can be formulated and studied mathematically, and how such models give rise to interesting and challenging mathematical questions. With its coverage of many recent models it gives an overview of the field, while many older models are also discussed, to put the modern work in context. In this second edition the coverage of basic principles has been expanded to include such topics as stochastic differential equations, Markov models and Gibbs free energy, and the selection of models has also been expanded to include some of the basic models of fluid transport, respiration/perfusion, blood diseases, molecular motors, smooth muscle, neuroendrocine cells, the baroreceptor loop, turboglomerular oscillations, blood clotting and the retina. Owing to this extensive coverage, the second edition is published in two volumes. ...
Eck, Christof; Knabner, Peter
2017-01-01
Mathematical models are the decisive tool to explain and predict phenomena in the natural and engineering sciences. With this book readers will learn to derive mathematical models which help to understand real world phenomena. At the same time a wealth of important examples for the abstract concepts treated in the curriculum of mathematics degrees are given. An essential feature of this book is that mathematical structures are used as an ordering principle and not the fields of application. Methods from linear algebra, analysis and the theory of ordinary and partial differential equations are thoroughly introduced and applied in the modeling process. Examples of applications in the fields electrical networks, chemical reaction dynamics, population dynamics, fluid dynamics, elasticity theory and crystal growth are treated comprehensively.
Pestman, Wiebe R
2009-01-01
This textbook provides a broad and solid introduction to mathematical statistics, including the classical subjects hypothesis testing, normal regression analysis, and normal analysis of variance. In addition, non-parametric statistics and vectorial statistics are considered, as well as applications of stochastic analysis in modern statistics, e.g., Kolmogorov-Smirnov testing, smoothing techniques, robustness and density estimation. For students with some elementary mathematical background. With many exercises. Prerequisites from measure theory and linear algebra are presented.
Berman, Elizabeth
1979-01-01
Mathematics Revealed focuses on the principles, processes, operations, and exercises in mathematics.The book first offers information on whole numbers, fractions, and decimals and percents. Discussions focus on measuring length, percent, decimals, numbers as products, addition and subtraction of fractions, mixed numbers and ratios, division of fractions, addition, subtraction, multiplication, and division. The text then examines positive and negative numbers and powers and computation. Topics include division and averages, multiplication, ratios, and measurements, scientific notation and estim
DEFF Research Database (Denmark)
Sørensen, John Aasted
2010-01-01
The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Spring 2010 Ectent: 5 ects Class size: 18......The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Spring 2010 Ectent: 5 ects Class size: 18...
DEFF Research Database (Denmark)
Sørensen, John Aasted
2010-01-01
The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Autumn 2010 Ectent: 5 ects Class size: 15......The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Autumn 2010 Ectent: 5 ects Class size: 15...
Applied Computational Mathematics in Social Sciences
Damaceanu, Romulus-Catalin
2010-01-01
Applied Computational Mathematics in Social Sciences adopts a modern scientific approach that combines knowledge from mathematical modeling with various aspects of social science. Special algorithms can be created to simulate an artificial society and a detailed analysis can subsequently be used to project social realities. This Ebook specifically deals with computations using the NetLogo platform, and is intended for researchers interested in advanced human geography and mathematical modeling studies.
Modelling and Optimizing Mathematics Learning in Children
Käser, Tanja; Busetto, Alberto Giovanni; Solenthaler, Barbara; Baschera, Gian-Marco; Kohn, Juliane; Kucian, Karin; von Aster, Michael; Gross, Markus
2013-01-01
This study introduces a student model and control algorithm, optimizing mathematics learning in children. The adaptive system is integrated into a computer-based training system for enhancing numerical cognition aimed at children with developmental dyscalculia or difficulties in learning mathematics. The student model consists of a dynamic…
Mathematics for Physicists and Engineers.
Organisation for Economic Cooperation and Development, Paris (France).
The text is a report of the OEEC Seminar on "The Mathematical Knowledge Required by the Physicist and Engineer" held in Paris, 1961. There are twelve major papers presented: (1) An American Parallel (describes the work of the Panel on Physical Sciences and Engineering of the Committee on the Undergraduate Program in Mathematics of the Mathematical…
Mathematical Modeling of Hybrid Electrical Engineering Systems
Directory of Open Access Journals (Sweden)
A. A. Lobaty
2016-01-01
Full Text Available A large class of systems that have found application in various industries and households, electrified transportation facilities and energy sector has been classified as electrical engineering systems. Their characteristic feature is a combination of continuous and discontinuous modes of operation, which is reflected in the appearance of a relatively new term “hybrid systems”. A wide class of hybrid systems is pulsed DC converters operating in a pulse width modulation, which are non-linear systems with variable structure. Using various methods for linearization it is possible to obtain linear mathematical models that rather accurately simulate behavior of such systems. However, the presence in the mathematical models of exponential nonlinearities creates considerable difficulties in the implementation of digital hardware. The solution can be found while using an approximation of exponential functions by polynomials of the first order, that, however, violates the rigor accordance of the analytical model with characteristics of a real object. There are two practical approaches to synthesize algorithms for control of hybrid systems. The first approach is based on the representation of the whole system by a discrete model which is described by difference equations that makes it possible to synthesize discrete algorithms. The second approach is based on description of the system by differential equations. The equations describe synthesis of continuous algorithms and their further implementation in a digital computer included in the control loop system. The paper considers modeling of a hybrid electrical engineering system using differential equations. Neglecting the pulse duration, it has been proposed to describe behavior of vector components in phase coordinates of the hybrid system by stochastic differential equations containing generally non-linear differentiable random functions. A stochastic vector-matrix equation describing dynamics of the
Machine Learning an algorithmic perspective
Marsland, Stephen
2009-01-01
Traditional books on machine learning can be divided into two groups - those aimed at advanced undergraduates or early postgraduates with reasonable mathematical knowledge and those that are primers on how to code algorithms. The field is ready for a text that not only demonstrates how to use the algorithms that make up machine learning methods, but also provides the background needed to understand how and why these algorithms work. Machine Learning: An Algorithmic Perspective is that text.Theory Backed up by Practical ExamplesThe book covers neural networks, graphical models, reinforcement le
Miller, Steven J
2017-01-01
Optimization Theory is an active area of research with numerous applications; many of the books are designed for engineering classes, and thus have an emphasis on problems from such fields. Covering much of the same material, there is less emphasis on coding and detailed applications as the intended audience is more mathematical. There are still several important problems discussed (especially scheduling problems), but there is more emphasis on theory and less on the nuts and bolts of coding. A constant theme of the text is the "why" and the "how" in the subject. Why are we able to do a calculation efficiently? How should we look at a problem? Extensive effort is made to motivate the mathematics and isolate how one can apply ideas/perspectives to a variety of problems. As many of the key algorithms in the subject require too much time or detail to analyze in a first course (such as the run-time of the Simplex Algorithm), there are numerous comparisons to simpler algorithms which students have either seen or c...
Supporting Mathematics Instruction through Community
Amidon, Joel C.; Trevathan, Morgan L.
2016-01-01
Raising expectations is nothing new. Every iteration of standards elevates the expectations for what students should know and be able to do. The Common Core State Standards for Mathematics (CCSSM) is no exception, with standards for content and practice that move beyond memorization of traditional algorithms to "make sense of problems and…
Celebrate Mathematical Curiosity
Redford, Christine
2011-01-01
Children's mathematical questions are often based in real-world experiences, as they instinctively make connections to the world around them. In teaching math methods courses, this author recently started to emphasize the importance of fostering curiosity in, and activating the thinking of, the students. In this article, she describes how to tap…
Continental Mathematics League.
Quartararo, Joseph
2002-01-01
This article describes the activities of the Continental Mathematics League, which offers a series of meets for children in grades 3 though 9. In addition, a Calculus League and a Computer Contest are offered. The league allows schools to participate by mail so that rural schools can participate. (CR)
Elementary School Mathematics Priorities
Wilson, W. Stephen
2009-01-01
This article first describes some of the basic skills and knowledge that a solid elementary school mathematics foundation requires. It then elaborates on several points germane to these practices. These are then followed with a discussion and conclude with final comments and suggestions for future research. The article sets out the five…
Mathematical methods in neutronics
International Nuclear Information System (INIS)
Planchard, J.
1995-01-01
This book presents the mathematical theory of nuclear reactors. It applies to engineers in neutronics and applied mathematicians. After a recall of the elementary notions of neutronics and of diffusion-type partial derivative equations, the theory of reactors criticality calculation is described. (J.S.)
De Götzen , Amalia; Mion , Luca; Tache , Olivier
2007-01-01
International audience; We call sound algorithms the categories of algorithms that deal with digital sound signal. Sound algorithms appeared in the very infancy of computer. Sound algorithms present strong specificities that are the consequence of two dual considerations: the properties of the digital sound signal itself and its uses, and the properties of auditory perception.
Introduction to genetic algorithms as a modeling tool
International Nuclear Information System (INIS)
Wildberger, A.M.; Hickok, K.A.
1990-01-01
Genetic algorithms are search and classification techniques modeled on natural adaptive systems. This is an introduction to their use as a modeling tool with emphasis on prospects for their application in the power industry. It is intended to provide enough background information for its audience to begin to follow technical developments in genetic algorithms and to recognize those which might impact on electric power engineering. Beginning with a discussion of genetic algorithms and their origin as a model of biological adaptation, their advantages and disadvantages are described in comparison with other modeling tools such as simulation and neural networks in order to provide guidance in selecting appropriate applications. In particular, their use is described for improving expert systems from actual data and they are suggested as an aid in building mathematical models. Using the Thermal Performance Advisor as an example, it is suggested how genetic algorithms might be used to make a conventional expert system and mathematical model of a power plant adapt automatically to changes in the plant's characteristics
Energy Technology Data Exchange (ETDEWEB)
Glimm, J.
2009-10-14
Progress for the past decade or so has been extraordinary. The solution of Fermat's Last Theorem [11] and of the Poincare Conjecture [1] have resolved two of the most outstanding challenges to mathematics. For both cases, deep and advanced theories and whole subfields of mathematics came into play and were developed further as part of the solutions. And still the future is wide open. Six of the original seven problems from the Clay Foundation challenge remain open, the 23 DARPA challenge problems are open. Entire new branches of mathematics have been developed, including financial mathematics and the connection between geometry and string theory, proposed to solve the problems of quantized gravity. New solutions of the Einstein equations, inspired by shock wave theory, suggest a cosmology model which fits accelerating expansion of the universe possibly eliminating assumptions of 'dark matter'. Intellectual challenges and opportunities for mathematics are greater than ever. The role of mathematics in society continues to grow; with this growth comes new opportunities and some growing pains; each will be analyzed here. We see a broadening of the intellectual and professional opportunities and responsibilities for mathematicians. These trends are also occuring across all of science. The response can be at the level of the professional societies, which can work to deepen their interactions, not only within the mathematical sciences, but also with other scientific societies. At a deeper level, the choices to be made will come from individual mathematicians. Here, of course, the individual choices will be varied, and we argue for respect and support for this diversity of responses. In such a manner, we hope to preserve the best of the present while welcoming the best of the new.
Computational mathematics in China
Shi, Zhong-Ci
1994-01-01
This volume describes the most significant contributions made by Chinese mathematicians over the past decades in various areas of computational mathematics. Some of the results are quite important and complement Western developments in the field. The contributors to the volume range from noted senior mathematicians to promising young researchers. The topics include finite element methods, computational fluid mechanics, numerical solutions of differential equations, computational methods in dynamical systems, numerical algebra, approximation, and optimization. Containing a number of survey articles, the book provides an excellent way for Western readers to gain an understanding of the status and trends of computational mathematics in China.
Parallel algorithms and cluster computing
Hoffmann, Karl Heinz
2007-01-01
This book presents major advances in high performance computing as well as major advances due to high performance computing. It contains a collection of papers in which results achieved in the collaboration of scientists from computer science, mathematics, physics, and mechanical engineering are presented. From the science problems to the mathematical algorithms and on to the effective implementation of these algorithms on massively parallel and cluster computers we present state-of-the-art methods and technology as well as exemplary results in these fields. This book shows that problems which seem superficially distinct become intimately connected on a computational level.
Uhr, Leonard
1984-01-01
Computer Science and Applied Mathematics: Algorithm-Structured Computer Arrays and Networks: Architectures and Processes for Images, Percepts, Models, Information examines the parallel-array, pipeline, and other network multi-computers.This book describes and explores arrays and networks, those built, being designed, or proposed. The problems of developing higher-level languages for systems and designing algorithm, program, data flow, and computer structure are also discussed. This text likewise describes several sequences of successively more general attempts to combine the power of arrays wi
Mathematics and the physical world
Kline, Morris
1981-01-01
Stimulating account of development of mathematics from arithmetic, algebra, geometry and trigonometry, to calculus, differential equations, and non-Euclidean geometries. Also describes how math is used in optics, astronomy, and other phenomena.
Mathematical Modelling Plant Signalling Networks
Muraro, D.; Byrne, H.M.; King, J.R.; Bennett, M.J.
2013-01-01
methods for modelling gene and signalling networks and their application in plants. We then describe specific models of hormonal perception and cross-talk in plants. This mathematical analysis of sub-cellular molecular mechanisms paves the way for more
Mathematical methods for cancer evolution
Suzuki, Takashi
2017-01-01
The purpose of this monograph is to describe recent developments in mathematical modeling and mathematical analysis of certain problems arising from cell biology. Cancer cells and their growth via several stages are of particular interest. To describe these events, multi-scale models are applied, involving continuously distributed environment variables and several components related to particles. Hybrid simulations are also carried out, using discretization of environment variables and the Monte Carlo method for the principal particle variables. Rigorous mathematical foundations are the bases of these tools. The monograph is composed of four chapters. The first three chapters are concerned with modeling, while the last one is devoted to mathematical analysis. The first chapter deals with molecular dynamics occurring at the early stage of cancer invasion. A pathway network model based on a biological scenario is constructed, and then its mathematical structures are determined. In the second chapter mathematica...
Analysis of students’ mathematical reasoning
Sukirwan; Darhim; Herman, T.
2018-01-01
The reasoning is one of the mathematical abilities that have very complex implications. This complexity causes reasoning including abilities that are not easily attainable by students. Similarly, studies dealing with reason are quite diverse, primarily concerned with the quality of mathematical reasoning. The objective of this study was to determine the quality of mathematical reasoning based perspective Lithner. Lithner looked at how the environment affects the mathematical reasoning. In this regard, Lithner made two perspectives, namely imitative reasoning and creative reasoning. Imitative reasoning can be memorized and algorithmic reasoning. The Result study shows that although the students generally still have problems in reasoning. Students tend to be on imitative reasoning which means that students tend to use a routine procedure when dealing with reasoning. It is also shown that the traditional approach still dominates on the situation of students’ daily learning.
Diagnostic Algorithm Benchmarking
Poll, Scott
2011-01-01
A poster for the NASA Aviation Safety Program Annual Technical Meeting. It describes empirical benchmarking on diagnostic algorithms using data from the ADAPT Electrical Power System testbed and a diagnostic software framework.
Hiriart-Urruty, Jean-Baptiste
This book contains a collection of exercises (called “tapas”) at undergraduate level, mainly from the fields of real analysis, calculus, matrices, convexity, and optimization. Most of the problems presented here are non-standard and some require broad knowledge of different mathematical subjects in order to be solved. The author provides some hints and (partial) answers and also puts these carefully chosen exercises into context, presents information on their origins, and comments on possible extensions. With stars marking the levels of difficulty, these tapas show or prove something interesting, challenge the reader to solve and learn, and may have surprising results. This first volume of Mathematical Tapas will appeal to mathematicians, motivated undergraduate students from science-based areas, and those generally interested in mathematics.
Vivaldi, Franco
2014-01-01
This book teaches the art of writing mathematics, an essential -and difficult- skill for any mathematics student. The book begins with an informal introduction on basic writing principles and a review of the essential dictionary for mathematics. Writing techniques are developed gradually, from the small to the large: words, phrases, sentences, paragraphs, to end with short compositions. These may represent the introduction of a concept, the abstract of a presentation or the proof of a theorem. Along the way the student will learn how to establish a coherent notation, mix words and symbols effectively, write neat formulae, and structure a definition. Some elements of logic and all common methods of proofs are featured, including various versions of induction and existence proofs. The book concludes with advice on specific aspects of thesis writing (choosing of a title, composing an abstract, compiling a bibliography) illustrated by large number of real-life examples. Many exercises are included; over 150...
Cahill, Kevin
2013-01-01
Unique in its clarity, examples and range, Physical Mathematics explains as simply as possible the mathematics that graduate students and professional physicists need in their courses and research. The author illustrates the mathematics with numerous physical examples drawn from contemporary research. In addition to basic subjects such as linear algebra, Fourier analysis, complex variables, differential equations and Bessel functions, this textbook covers topics such as the singular-value decomposition, Lie algebras, the tensors and forms of general relativity, the central limit theorem and Kolmogorov test of statistics, the Monte Carlo methods of experimental and theoretical physics, the renormalization group of condensed-matter physics and the functional derivatives and Feynman path integrals of quantum field theory.
Modeling Approaches for Describing Microbial Population Heterogeneity
DEFF Research Database (Denmark)
Lencastre Fernandes, Rita
environmental conditions. Three cases are presented and discussed in this thesis. Common to all is the use of S. cerevisiae as model organism, and the use of cell size and cell cycle position as single-cell descriptors. The first case focuses on the experimental and mathematical description of a yeast...
Mathematical Methods in Tomography
Louis, Alfred; Natterer, Frank
1991-01-01
The conference was devoted to the discussion of present and future techniques in medical imaging, including 3D x-ray CT, ultrasound and diffraction tomography, and biomagnetic ima- ging. The mathematical models, their theoretical aspects and the development of algorithms were treated. The proceedings contains surveys on reconstruction in inverse obstacle scat- tering, inversion in 3D, and constrained least squares pro- blems.Research papers include besides the mentioned imaging techniques presentations on image reconstruction in Hilbert spaces, singular value decompositions, 3D cone beam recon- struction, diffuse tomography, regularization of ill-posed problems, evaluation reconstruction algorithms and applica- tions in non-medical fields. Contents: Theoretical Aspects: J.Boman: Helgason' s support theorem for Radon transforms-a newproof and a generalization -P.Maass: Singular value de- compositions for Radon transforms- W.R.Madych: Image recon- struction in Hilbert space -R.G.Mukhometov: A problem of in- teg...
Herbart's mathematical psychology.
Boudewijnse, G J; Murray, D J; Bandomir, C A
1999-08-01
J.F. Herbart (1824/1890b) provided a mathematical theory about how mental ideas (Vorstellungen) in consciousness at Time 1 (T1) could compete, possibly driving 1 or more Vorstellungen below a threshold of consciousness. At T1 a Vorstellung A could also fuse with another, B. If at a later T2, A resurfaced into consciousness, it could help B to re-resurface into consciousness. This article describes the historical and mathematical background of Herbart's theory, outlines the mathematical theory itself with the aid of computer graphics, and argues that the theory can be applied to the modern problem of predicting recognition latencies in short-term memory (Sternberg's task; Sternberg, 1966)
Early Years Students' Relationships with Mathematics
Takeuchi, Miwa Aoki; Towers, Jo; Plosz, Jennifer
2016-01-01
Early years mathematics experiences have been shown to be a significant predictor for students' school readiness and future mathematics achievement. Previous research also indicates an important connection between emotion and mathematics learning. How do students in early years education in Alberta describe their emotional relationship with…
Giving Reason to Prospective Mathematics Teachers
D'Ambrosio, Beatriz; Kastberg, Signe
2012-01-01
This article describes the development of the authors' understanding of the contradictions in their mathematics teacher education practice. This understanding emerged from contrasting analyses of the impact of the authors' practices in mathematics content courses versus mathematics methods courses. Examples of the authors' work with two students,…
Bartocci, Claudio; Guerraggio, Angelo; Lucchetti, Roberto; Williams, Kim
2011-01-01
Steps forward in mathematics often reverberate in other scientific disciplines, and give rise to innovative conceptual developments or find surprising technological applications. This volume brings to the forefront some of the proponents of the mathematics of the twentieth century, who have put at our disposal new and powerful instruments for investigating the reality around us. The portraits present people who have impressive charisma and wide-ranging cultural interests, who are passionate about defending the importance of their own research, are sensitive to beauty, and attentive to the soci
Quotable Quotes in Mathematics
Lo, Bruce W. N.
1983-01-01
As a way to dispel negative feelings toward mathematics, a variety of quotations are given. They are categorized by: what mathematics is, mathematicians, mathematics and other disciplines, different areas of mathematics, mathematics and humor, applications of mathematics, and pure versus applied mathematics. (MNS)
Gaber, David; Schlimm, Dirk
2015-01-01
Mathematics is a powerful tool for describing and developing our knowledge of the physical world. It informs our understanding of subjects as diverse as music, games, science, economics, communications protocols, and visual arts. Mathematical thinking has its roots in the adaptive behavior of living creatures: animals must employ judgments about quantities and magnitudes in the assessment of both threats (how many foes) and opportunities (how much food) in order to make effective decisions, and use geometric information in the environment for recognizing landmarks and navigating environments. Correspondingly, cognitive systems that are dedicated to the processing of distinctly mathematical information have developed. In particular, there is evidence that certain core systems for understanding different aspects of arithmetic as well as geometry are employed by humans and many other animals. They become active early in life and, particularly in the case of humans, develop through maturation. Although these core systems individually appear to be quite limited in application, in combination they allow for the recognition of mathematical properties and the formation of appropriate inferences based upon those properties. In this overview, the core systems, their roles, their limitations, and their interaction with external representations are discussed, as well as possibilities for how they can be employed together to allow us to reason about more complex mathematical domains. © 2015 John Wiley & Sons, Ltd.
Directory of Open Access Journals (Sweden)
CHORNOMORETS H. Y.
2016-02-01
Full Text Available Raising of problem. For the design and construction of tube gas heaters in building structures to need solve the problems of analysis and synthesis of such heating system. The mathematical model of this system is consists of: mathematical model of the tube gas heater, mathematical model of heat distribution in the building structure and corresponding boundary conditions. To solve the tasks of analysis and synthesis must be appropriate mathematical and information support. Purpose. The purpose of this paper is to describe the developed mathematical and information support that solve the problems of analysis and synthesis of heating systems with gas tube heaters, located in building constructions.Conclusion. Mathematical support includes the development of algorithms and software for the numerical solution of problems analysis and synthesis heating system. Information support includes all the necessary parameters characterizing the thermal properties of materials which used in the heating system, and the parameters characterizing the heat exchange between the coolant and components of the heating system. It was developed algorithms for solving problems of analysis and synthesis heating system with tube gas heater located in structures to use evolutionary search algorithm and software. It was made experimental study and was obtained results allow to calculate the heat transfer from the gas-air mixture to the boundary surface of the building structure. This results and computation will provide full information support for solving problems of analysis and synthesis of the heating system. Was developed mathematical and software support, which allows to solve the problems of analysis and synthesis heating systems with gas tube heaters, located in building structures. Tube gas heaters located in the building structures allows with small capital expenditures to provide space heating. Is necessary to solve the problems of analysis (calculation and
Mathematics and physics of emerging biomedical imaging
National Research Council Canada - National Science Library
Committee on the Mathematics and Physics of Emerging Dynamic Biomedical Imaging, National Research Council
.... Incorporating input from dozens of biomedical researchers who described what they perceived as key open problems of imaging that are amenable to attack by mathematical scientists and physicists...
International Nuclear Information System (INIS)
Wainwright, J.
1990-01-01
The workshop on mathematical cosmology was devoted to four topics of current interest. This report contains a brief discussion of the historical background of each topic and a concise summary of the content of each talk. The topics were; the observational cosmology program, the cosmological perturbation program, isotropic singularities, and the evolution of Bianchi cosmologies. (author)
Weaver, Nik
2001-01-01
With a unique approach and presenting an array of new and intriguing topics, Mathematical Quantization offers a survey of operator algebras and related structures from the point of view that these objects are quantizations of classical mathematical structures. This approach makes possible, with minimal mathematical detail, a unified treatment of a variety of topics.Detailed here for the first time, the fundamental idea of mathematical quantization is that sets are replaced by Hilbert spaces. Building on this idea, and most importantly on the fact that scalar-valued functions on a set correspond to operators on a Hilbert space, one can determine quantum analogs of a variety of classical structures. In particular, because topologies and measure classes on a set can be treated in terms of scalar-valued functions, we can transfer these constructions to the quantum realm, giving rise to C*- and von Neumann algebras.In the first half of the book, the author quickly builds the operator algebra setting. He uses this ...
Fujita, Shinsaku
2015-01-01
Chirality and stereogenicity are closely related concepts and their differentiation and description is still a challenge in chemoinformatics. A new stereoisogram approach, developed by the author, is introduced in this book, providing a theoretical framework for mathematical aspects of modern stereochemistry. The discussion covers point-groups and permutation symmetry and exemplifies the concepts using organic molecules and inorganic complexes.
Mathematics Education in Singapore - an Insider's Perspective
Kaur, Berinderjeet
2014-01-01
Singapore's Education System has evolved over time and so has Mathematics Education in Singapore. The present day School Mathematics Curricula can best be described as one that caters for the needs of every child in school. It is based on a framework that has mathematical problem solving as its primary focus. The developments from 1946 to 2012 that have shaped the present School Mathematics Curricula in Singapore are direct consequences of developments in the Education System of Singapore dur...
Study on solitary word based on HMM model and Baum-Welch algorithm
Directory of Open Access Journals (Sweden)
Junxia CHEN
Full Text Available This paper introduces the principle of Hidden Markov Model, which is used to describe the Markov process with unknown parameters, is a probability model to describe the statistical properties of the random process. On this basis, designed a solitary word detection experiment based on HMM model, by optimizing the experimental model, Using Baum-Welch algorithm for training the problem of solving the HMM model, HMM model to estimate the parameters of the λ value is found, in this view of mathematics equivalent to other linear prediction coefficient. This experiment in reducing unnecessary HMM training at the same time, reduced the algorithm complexity. In order to test the effectiveness of the Baum-Welch algorithm, The simulation of experimental data, the results show that the algorithm is effective.
Tel, G.
We define the notion of total algorithms for networks of processes. A total algorithm enforces that a "decision" is taken by a subset of the processes, and that participation of all processes is required to reach this decision. Total algorithms are an important building block in the design of
Mathematical model of 137Cs dynamics in the deciduous forest
International Nuclear Information System (INIS)
Mamikhin, S.V.; Klyashtorin, A.L.
1999-01-01
A mathematical model of 137 Cs behaviour in the forest ecosystem is presented. The behaviour of this radionuclide is assumed to obey the same regularities as the behaviour of its stable chemical analogue, potassium. Radionuclide dynamics are considered in parallel with the dynamics of the phytomass. Radionuclides contained in the vegetation are pooled into two basic compartments: external and internal contamination, with separate analysis of each. The model was verified using the data obtained in the 30-km zone of the Chernobyl NPP in 1986-1994. The algorithm described was found to be the most efficient in terms of 137 Cs behaviour in the forest environments
Energy Technology Data Exchange (ETDEWEB)
Tikhonov, A.N.; Samarskii, A.A.
1985-01-01
Various aspects of mathematical modeling and problem-oriented computer software are examined with reference to numerical methods in mathematical physics, methods for solving inverse problems, development of automatic systems for experimental data processing, and mathematical modeling in plasma physics. Papers are presented on some properties of difference schemes in one-dimensional gas dynamics, an algorithm for processing signals reflected from multipoint targets, and the application of simplified Navier-Stokes equations for calculating flow of a viscous gas past long bodies.
Gems of combinatorial optimization and graph algorithms
Skutella, Martin; Stiller, Sebastian; Wagner, Dorothea
2015-01-01
Are you looking for new lectures for your course on algorithms, combinatorial optimization, or algorithmic game theory? Maybe you need a convenient source of relevant, current topics for a graduate student or advanced undergraduate student seminar? Or perhaps you just want an enjoyable look at some beautiful mathematical and algorithmic results, ideas, proofs, concepts, and techniques in discrete mathematics and theoretical computer science? Gems of Combinatorial Optimization and Graph Algorithms is a handpicked collection of up-to-date articles, carefully prepared by a select group of international experts, who have contributed some of their most mathematically or algorithmically elegant ideas. Topics include longest tours and Steiner trees in geometric spaces, cartograms, resource buying games, congestion games, selfish routing, revenue equivalence and shortest paths, scheduling, linear structures in graphs, contraction hierarchies, budgeted matching problems, and motifs in networks. This ...
The language of mathematics telling mathematical tales
Barton, Bill
2008-01-01
Everyday mathematical ideas are expressed differently in different languages. This book probes those differences and explores their implications for mathematics education, arguing for alternatives to how we teach and learn mathematics.
Directory of Open Access Journals (Sweden)
Alexandr Victorovich Budylskiy
2014-06-01
Full Text Available This article considers the multicriteria optimization approach using the modified genetic algorithm to solve the project-scheduling problem under duration and cost constraints. The work contains the list of choices for solving this problem. The multicriteria optimization approach is justified here. The study describes the Pareto principles, which are used in the modified genetic algorithm. We identify the mathematical model of the project-scheduling problem. We introduced the modified genetic algorithm, the ranking strategies, the elitism approaches. The article includes the example.
Interval Mathematics Applied to Critical Point Transitions
Directory of Open Access Journals (Sweden)
Benito A. Stradi
2012-03-01
Full Text Available The determination of critical points of mixtures is important for both practical and theoretical reasons in the modeling of phase behavior, especially at high pressure. The equations that describe the behavior of complex mixtures near critical points are highly nonlinear and with multiplicity of solutions to the critical point equations. Interval arithmetic can be used to reliably locate all the critical points of a given mixture. The method also verifies the nonexistence of a critical point if a mixture of a given composition does not have one. This study uses an interval Newton/Generalized Bisection algorithm that provides a mathematical and computational guarantee that all mixture critical points are located. The technique is illustrated using several example problems. These problems involve cubic equation of state models; however, the technique is general purpose and can be applied in connection with other nonlinear problems.
Mathematical foundation of quantum annealing
International Nuclear Information System (INIS)
Morita, Satoshi; Nishimori, Hidetoshi
2008-01-01
Quantum annealing is a generic name of quantum algorithms that use quantum-mechanical fluctuations to search for the solution of an optimization problem. It shares the basic idea with quantum adiabatic evolution studied actively in quantum computation. The present paper reviews the mathematical and theoretical foundations of quantum annealing. In particular, theorems are presented for convergence conditions of quantum annealing to the target optimal state after an infinite-time evolution following the Schroedinger or stochastic (Monte Carlo) dynamics. It is proved that the same asymptotic behavior of the control parameter guarantees convergence for both the Schroedinger dynamics and the stochastic dynamics in spite of the essential difference of these two types of dynamics. Also described are the prescriptions to reduce errors in the final approximate solution obtained after a long but finite dynamical evolution of quantum annealing. It is shown there that we can reduce errors significantly by an ingenious choice of annealing schedule (time dependence of the control parameter) without compromising computational complexity qualitatively. A review is given on the derivation of the convergence condition for classical simulated annealing from the view point of quantum adiabaticity using a classical-quantum mapping
Current Mathematical Methods Used in QSAR/QSPR Studies
Directory of Open Access Journals (Sweden)
Peixun Liu
2009-04-01
Full Text Available This paper gives an overview of the mathematical methods currently used in quantitative structure-activity/property relationship (QASR/QSPR studies. Recently, the mathematical methods applied to the regression of QASR/QSPR models are developing very fast, and new methods, such as Gene Expression Programming (GEP, Project Pursuit Regression (PPR and Local Lazy Regression (LLR have appeared on the QASR/QSPR stage. At the same time, the earlier methods, including Multiple Linear Regression (MLR, Partial Least Squares (PLS, Neural Networks (NN, Support Vector Machine (SVM and so on, are being upgraded to improve their performance in QASR/QSPR studies. These new and upgraded methods and algorithms are described in detail, and their advantages and disadvantages are evaluated and discussed, to show their application potential in QASR/QSPR studies in the future.
Theoretical Basics of Teaching Discrete Mathematics
Directory of Open Access Journals (Sweden)
Y. A. Perminov
2012-01-01
Full Text Available The paper deals with the research findings concerning the process of mastering the theoretical basics of discrete mathematics by the students of vocational pedagogic profile. The methodological analysis is based on the subject and functions of the modern discrete mathematics and its role in mathematical modeling and computing. The modern discrete mathematics (i.e. mathematics of the finite type structures plays the important role in modernization of vocational training. It is especially rele- vant to training students for vocational pedagogic qualifications, as in the future they will be responsible for training the middle and the senior level specialists in engineer- ing and technical spheres. Nowadays in different industries, there arise the problems which require for their solving both continual – based on the classical mathematical methods – and discrete modeling. The teaching course of discrete mathematics for the future vocational teachers should be relevant to the target qualification and aimed at mastering the mathematical modeling, systems of computer mathematics and computer technologies. The author emphasizes the fundamental role of mastering the language of algebraic and serial structures, as well as the logical, algorithmic, combinatory schemes dominating in dis- crete mathematics. The guidelines for selecting the content of the course in discrete mathematics are specified. The theoretical findings of the research can be put into practice whilst developing curricula and working programs for bachelors and masters’ training.
Sierpinska, Anna
1994-01-01
The concept of understanding in mathematics with regard to mathematics education is considered in this volume, the main problem for mathematics teachers being how to facilitate their students'' understanding of the mathematics being taught.
Driessche, Pauline; Wu, Jianhong
2008-01-01
Based on lecture notes of two summer schools with a mixed audience from mathematical sciences, epidemiology and public health, this volume offers a comprehensive introduction to basic ideas and techniques in modeling infectious diseases, for the comparison of strategies to plan for an anticipated epidemic or pandemic, and to deal with a disease outbreak in real time. It covers detailed case studies for diseases including pandemic influenza, West Nile virus, and childhood diseases. Models for other diseases including Severe Acute Respiratory Syndrome, fox rabies, and sexually transmitted infections are included as applications. Its chapters are coherent and complementary independent units. In order to accustom students to look at the current literature and to experience different perspectives, no attempt has been made to achieve united writing style or unified notation. Notes on some mathematical background (calculus, matrix algebra, differential equations, and probability) have been prepared and may be downlo...
International Nuclear Information System (INIS)
Nedelec, J.C.
1988-01-01
The 1988 progress report of the Applied Mathematics center (Polytechnic School, France), is presented. The research fields of the Center are the scientific calculus, the probabilities and statistics and the video image synthesis. The research topics developed are: the analysis of numerical methods, the mathematical analysis of the physics and mechanics fundamental models, the numerical solution of complex models related to the industrial problems, the stochastic calculus and the brownian movement, the stochastic partial differential equations, the identification of the adaptive filtering parameters, the discrete element systems, statistics, the stochastic control and the development, the image synthesis techniques for education and research programs. The published papers, the congress communications and the thesis are listed [fr
Flux-corrected transport principles, algorithms, and applications
Kuzmin, Dmitri; Turek, Stefan
2005-01-01
Addressing students and researchers as well as CFD practitioners, this book describes the state of the art in the development of high-resolution schemes based on the Flux-Corrected Transport (FCT) paradigm. Intended for readers who have a solid background in Computational Fluid Dynamics, the book begins with historical notes by J.P. Boris and D.L. Book. Review articles that follow describe recent advances in the design of FCT algorithms as well as various algorithmic aspects. The topics addressed in the book and its main highlights include: the derivation and analysis of classical FCT schemes with special emphasis on the underlying physical and mathematical constraints; flux limiting for hyperbolic systems; generalization of FCT to implicit time-stepping and finite element discretizations on unstructured meshes and its role as a subgrid scale model for Monotonically Integrated Large Eddy Simulation (MILES) of turbulent flows. The proposed enhancements of the FCT methodology also comprise the prelimiting and '...
Applications and algorithms for mixed integer nonlinear programming
International Nuclear Information System (INIS)
Leyffer, Sven; Munson, Todd; Linderoth, Jeff; Luedtke, James; Miller, Andrew
2009-01-01
The mathematical modeling of systems often requires the use of both nonlinear and discrete components. Discrete decision variables model dichotomies, discontinuities, and general logical relationships. Nonlinear functions are required to accurately represent physical properties such as pressure, stress, temperature, and equilibrium. Problems involving both discrete variables and nonlinear constraint functions are known as mixed-integer nonlinear programs (MINLPs) and are among the most challenging computational optimization problems faced by researchers and practitioners. In this paper, we describe relevant scientific applications that are naturally modeled as MINLPs, we provide an overview of available algorithms and software, and we describe ongoing methodological advances for solving MINLPs. These algorithmic advances are making increasingly larger instances of this important family of problems tractable.
Handbook of mathematical methods in imaging
2015-01-01
The Handbook of Mathematical Methods in Imaging provides a comprehensive treatment of the mathematical techniques used in imaging science. The material is grouped into two central themes, namely, Inverse Problems (Algorithmic Reconstruction) and Signal and Image Processing. Each section within the themes covers applications (modeling), mathematics, numerical methods (using a case example) and open questions. Written by experts in the area, the presentation is mathematically rigorous. This expanded and revised second edition contains updates to existing chapters and 16 additional entries on important mathematical methods such as graph cuts, morphology, discrete geometry, PDEs, conformal methods, to name a few. The entries are cross-referenced for easy navigation through connected topics. Available in both print and electronic forms, the handbook is enhanced by more than 200 illustrations and an extended bibliography. It will benefit students, scientists and researchers in applied mathematics. Engineers and com...
A readable introduction to real mathematics
Rosenthal, Daniel; Rosenthal, Peter
2014-01-01
Designed for an undergraduate course or for independent study, this text presents sophisticated mathematical ideas in an elementary and friendly fashion. The fundamental purpose of this book is to engage the reader and to teach a real understanding of mathematical thinking while conveying the beauty and elegance of mathematics. The text focuses on teaching the understanding of mathematical proofs. The material covered has applications both to mathematics and to other subjects. The book contains a large number of exercises of varying difficulty, designed to help reinforce basic concepts and to motivate and challenge the reader. The sole prerequisite for understanding the text is basic high school algebra; some trigonometry is needed for Chapters 9 and 12. Topics covered include: * mathematical induction * modular arithmetic * the fundamental theorem of arithmetic * Fermat's little theorem * RSA encryption * the Euclidean algorithm * rational and irrational numbers * complex numbers * cardinality * Euclidean pl...
A Parallel Butterfly Algorithm
Poulson, Jack; Demanet, Laurent; Maxwell, Nicholas; Ying, Lexing
2014-01-01
The butterfly algorithm is a fast algorithm which approximately evaluates a discrete analogue of the integral transform (Equation Presented.) at large numbers of target points when the kernel, K(x, y), is approximately low-rank when restricted to subdomains satisfying a certain simple geometric condition. In d dimensions with O(Nd) quasi-uniformly distributed source and target points, when each appropriate submatrix of K is approximately rank-r, the running time of the algorithm is at most O(r2Nd logN). A parallelization of the butterfly algorithm is introduced which, assuming a message latency of α and per-process inverse bandwidth of β, executes in at most (Equation Presented.) time using p processes. This parallel algorithm was then instantiated in the form of the open-source DistButterfly library for the special case where K(x, y) = exp(iΦ(x, y)), where Φ(x, y) is a black-box, sufficiently smooth, real-valued phase function. Experiments on Blue Gene/Q demonstrate impressive strong-scaling results for important classes of phase functions. Using quasi-uniform sources, hyperbolic Radon transforms, and an analogue of a three-dimensional generalized Radon transform were, respectively, observed to strong-scale from 1-node/16-cores up to 1024-nodes/16,384-cores with greater than 90% and 82% efficiency, respectively. © 2014 Society for Industrial and Applied Mathematics.
A Parallel Butterfly Algorithm
Poulson, Jack
2014-02-04
The butterfly algorithm is a fast algorithm which approximately evaluates a discrete analogue of the integral transform (Equation Presented.) at large numbers of target points when the kernel, K(x, y), is approximately low-rank when restricted to subdomains satisfying a certain simple geometric condition. In d dimensions with O(Nd) quasi-uniformly distributed source and target points, when each appropriate submatrix of K is approximately rank-r, the running time of the algorithm is at most O(r2Nd logN). A parallelization of the butterfly algorithm is introduced which, assuming a message latency of α and per-process inverse bandwidth of β, executes in at most (Equation Presented.) time using p processes. This parallel algorithm was then instantiated in the form of the open-source DistButterfly library for the special case where K(x, y) = exp(iΦ(x, y)), where Φ(x, y) is a black-box, sufficiently smooth, real-valued phase function. Experiments on Blue Gene/Q demonstrate impressive strong-scaling results for important classes of phase functions. Using quasi-uniform sources, hyperbolic Radon transforms, and an analogue of a three-dimensional generalized Radon transform were, respectively, observed to strong-scale from 1-node/16-cores up to 1024-nodes/16,384-cores with greater than 90% and 82% efficiency, respectively. © 2014 Society for Industrial and Applied Mathematics.
Raveh, Ira; Koichu, Boris; Peled, Irit; Zaslavsky, Orit
2016-01-01
In this article we present an integrative framework of knowledge for teaching the standard algorithms of the four basic arithmetic operations. The framework is based on a mathematical analysis of the algorithms, a connectionist perspective on teaching mathematics and an analogy with previous frameworks of knowledge for teaching arithmetic…
Dilemma in Teaching Mathematics
Md Kamaruddin, Nafisah Kamariah; Md Amin, Zulkarnain
2012-01-01
The challenge in mathematics education is finding the best way to teach mathematics. When students learn the reasoning and proving in mathematics, they will be proficient in mathematics. Students must know mathematics before they can apply it. Symbolism and logic is the key to both the learning of mathematics and its effective application to…
An algorithm for three-dimensional imaging in the positron camera
International Nuclear Information System (INIS)
Chen Kun; Ma Mei; Xu Rongfen; Shen Miaohe
1986-01-01
A mathematical algorithm of back-projection filtered for image reconstructions using two-dimensional signals detected from parallel multiwire proportional chambers is described. The approaches of pseudo three-dimensional and full three-dimensional image reconstructions are introduced, and the available point response functions are defined as well. The designing parameters and computation procedure of the full three-dimensional method is presented
Where genetic algorithms excel.
Baum, E B; Boneh, D; Garrett, C
2001-01-01
We analyze the performance of a genetic algorithm (GA) we call Culling, and a variety of other algorithms, on a problem we refer to as the Additive Search Problem (ASP). We show that the problem of learning the Ising perceptron is reducible to a noisy version of ASP. Noisy ASP is the first problem we are aware of where a genetic-type algorithm bests all known competitors. We generalize ASP to k-ASP to study whether GAs will achieve "implicit parallelism" in a problem with many more schemata. GAs fail to achieve this implicit parallelism, but we describe an algorithm we call Explicitly Parallel Search that succeeds. We also compute the optimal culling point for selective breeding, which turns out to be independent of the fitness function or the population distribution. We also analyze a mean field theoretic algorithm performing similarly to Culling on many problems. These results provide insight into when and how GAs can beat competing methods.
Evolutionary Algorithms for Boolean Queries Optimization
Czech Academy of Sciences Publication Activity Database
Húsek, Dušan; Snášel, Václav; Neruda, Roman; Owais, S.S.J.; Krömer, P.
2006-01-01
Roč. 3, č. 1 (2006), s. 15-20 ISSN 1790-0832 R&D Projects: GA AV ČR 1ET100300414 Institutional research plan: CEZ:AV0Z10300504 Keywords : evolutionary algorithms * genetic algorithms * information retrieval * Boolean query Subject RIV: BA - General Mathematics
National Research Council Canada - National Science Library
Quarteroni, Alfio; Sacco, Riccardo; Saleri, Fausto
2000-01-01
... for their qualitative and quantitative analysis. This role is also emphasized by the continual development of computers and algorithms, which make it possible nowadays, using scientiﬁc computing, to tackle problems of such a large size that real-life phenomena can be simulated providing accurate responses at aﬀordable computational cost. The corresp...
Software and mathematical support of Kazakhstani star tracker
Akhmedov, D.; Yelubayev, S.; Ten, V.; Bopeyev, T.; Alipbayev, K.; Sukhenko, A.
2016-10-01
Currently the specialists of Kazakhstan have been developing the star tracker that is further planned to use on Kazakhstani satellites of various purposes. At the first stage it has been developed the experimental model of star tracker that has following characteristics: field of view 20°, update frequency 2 Hz, exclusion angle 40°, accuracy of attitude determination of optical axis/around optical axis 15/50 arcsec. Software and mathematical support are the most high technology parts of star tracker. The results of software and mathematical support development of experimental model of Kazakhstani star tracker are represented in this article. In particular, there are described the main mathematical models and algorithms that have been used as a basis for program units of preliminary image processing of starry sky, stars identification and star tracker attitude determination. The results of software and mathematical support testing with the help of program simulation complex using various configurations of defects including image sensor noises, point spread function modeling, optical system distortion up to 2% are presented. Analysis of testing results has shown that accuracy of attitude determination of star tracker is within the permissible range
Next Generation Suspension Dynamics Algorithms
Energy Technology Data Exchange (ETDEWEB)
Schunk, Peter Randall [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Higdon, Jonathon [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Chen, Steven [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
2014-12-01
This research project has the objective to extend the range of application, improve the efficiency and conduct simulations with the Fast Lubrication Dynamics (FLD) algorithm for concentrated particle suspensions in a Newtonian fluid solvent. The research involves a combination of mathematical development, new computational algorithms, and application to processing flows of relevance in materials processing. The mathematical developments clarify the underlying theory, facilitate verification against classic monographs in the field and provide the framework for a novel parallel implementation optimized for an OpenMP shared memory environment. The project considered application to consolidation flows of major interest in high throughput materials processing and identified hitherto unforeseen challenges in the use of FLD in these applications. Extensions to the algorithm have been developed to improve its accuracy in these applications.
Assessing Mathematical Competencies: An Analysis of Swedish National Mathematics Tests
Boesen, Jesper; Lithner, Johan; Palm, Torulf
2018-01-01
Internationally, education reform has been directed towards describing educational goals that go beyond topic and content descriptions. The idea of mathematical competencies describes such goals. National tests have been seen as one way of communicating these goals and influence teaching. The present study analyses Swedish national tests in…
Causal Bayes Model of Mathematical Competence in Kindergarten
Directory of Open Access Journals (Sweden)
Božidar Tepeš
2016-06-01
Full Text Available In this paper authors define mathematical competences in the kindergarten. The basic objective was to measure the mathematical competences or mathematical knowledge, skills and abilities in mathematical education. Mathematical competences were grouped in the following areas: Arithmetic and Geometry. Statistical set consisted of 59 children, 65 to 85 months of age, from the Kindergarten Milan Sachs from Zagreb. The authors describe 13 variables for measuring mathematical competences. Five measuring variables were described for the geometry, and eight measuring variables for the arithmetic. Measuring variables are tasks which children solved with the evaluated results. By measuring mathematical competences the authors make causal Bayes model using free software Tetrad 5.2.1-3. Software makes many causal Bayes models and authors as experts chose the model of the mathematical competences in the kindergarten. Causal Bayes model describes five levels for mathematical competences. At the end of the modeling authors use Bayes estimator. In the results, authors describe by causal Bayes model of mathematical competences, causal effect mathematical competences or how intervention on some competences cause other competences. Authors measure mathematical competences with their expectation as random variables. When expectation of competences was greater, competences improved. Mathematical competences can be improved with intervention on causal competences. Levels of mathematical competences and the result of intervention on mathematical competences can help mathematical teachers.
Mathematics Placement Test: Typical Results with Unexpected Outcomes
Ingalls, Victoria
2011-01-01
Based on the results of a prior case-study analysis of mathematics placement at one university, the mathematics department developed and piloted a mathematics placement test. This article describes the implementation process for a mathematics placement test and further analyzes the test results for the pilot group. As an unexpected result, the…
Green, Kris; Emerson, Allen
2008-01-01
The first part of this two-part paper [see EJ787497] described the development of a new freshman business mathematics (FBM) course at our college. In this paper, we discuss our assessment tool, the business memo, as a venue for students to apply mathematical skills, via mathematical modelling, to realistic business problems. These memos have…
Teaching Mathematical Modeling in Mathematics Education
Saxena, Ritu; Shrivastava, Keerty; Bhardwaj, Ramakant
2016-01-01
Mathematics is not only a subject but it is also a language consisting of many different symbols and relations. Taught as a compulsory subject up the 10th class, students are then able to choose whether or not to study mathematics as a main subject. The present paper discusses mathematical modeling in mathematics education. The article provides…
Teachers' Mathematics as Mathematics-at-Work
Bednarz, Nadine; Proulx, Jérôme
2017-01-01
Through recognising mathematics teachers as professionals who use mathematics in their workplace, this article traces a parallel between the mathematics enacted by teachers in their practice and the mathematics used in workplaces found in studies of professionals (e.g. nurses, engineers, bankers). This parallel is developed through the five…
Mathematical Modeling of Diverse Phenomena
Howard, J. C.
1979-01-01
Tensor calculus is applied to the formulation of mathematical models of diverse phenomena. Aeronautics, fluid dynamics, and cosmology are among the areas of application. The feasibility of combining tensor methods and computer capability to formulate problems is demonstrated. The techniques described are an attempt to simplify the formulation of mathematical models by reducing the modeling process to a series of routine operations, which can be performed either manually or by computer.
Financial mathematic at secondary school
ISER, Aleš
2010-01-01
The aim of this work is to define financial literacy as one of the main themes of the contemporary world in relation to basic education and development of core competencies. Work summarizes the theoretical knowledge of literature, which converge the issue of financial mathematics and education of students in the selected areas. Simultaneously explore different options for care of pupils in mathematics at elementary school, describes the procedures and methods of work and does not avoid the sp...
The materiality of mathematics: presenting mathematics at the blackboard.
Greiffenhagen, Christian
2014-09-01
Sociology has been accused of neglecting the importance of material things in human life and the material aspects of social practices. Efforts to correct this have recently been made, with a growing concern to demonstrate the materiality of social organization, not least through attention to objects and the body. As a result, there have been a plethora of studies reporting the social construction and effects of a variety of material objects as well as studies that have explored the material dimensions of a diversity of practices. In different ways these studies have questioned the Cartesian dualism of a strict separation of 'mind' and 'body'. However, it could be argued that the idea of the mind as immaterial has not been entirely banished and lingers when it comes to discussing abstract thinking and reasoning. The aim of this article is to extend the material turn to abstract thought, using mathematics as a paradigmatic example. This paper explores how writing mathematics (on paper, blackboards, or even in the air) is indispensable for doing and thinking mathematics. The paper is based on video recordings of lectures in formal logic and investigates how mathematics is presented at the blackboard. The paper discusses the iconic character of blackboards in mathematics and describes in detail a number of inscription practices of presenting mathematics at the blackboard (such as the use of lines and boxes, the designation of particular regions for specific mathematical purposes, as well as creating an 'architecture' visualizing the overall structure of the proof). The paper argues that doing mathematics really is 'thinking with eyes and hands' (Latour 1986). Thinking in mathematics is inextricably interwoven with writing mathematics. © London School of Economics and Political Science 2014.
New Avenues for History in Mathematics Education: Mathematical Competencies and Anchoring
DEFF Research Database (Denmark)
Jankvist, U. T.; Kjeldsen, T. H.
2011-01-01
. The first scenario occurs when history is used as a ‘tool’ for the learning and teaching of mathematics, the second when history of mathematics as a ‘goal’ is pursued as an integral part of mathematics education. We introduce a multiple-perspective approach to history, and suggest that research on history......The paper addresses the apparent lack of impact of ‘history in mathematics education’ in mathematics education research in general, and proposes new avenues for research. We identify two general scenarios of integrating history in mathematics education that each gives rise to different problems...... in mathematics education follows one of two different avenues in dealing with these scenarios. The first is to focus on students’ development of mathematical competencies when history is used a tool for the learning of curriculum-dictated mathematical in-issues. A framework for this is described. Secondly, when...
International Nuclear Information System (INIS)
Dinev, D.
1996-01-01
Several new algorithms for sorting of dipole and/or quadrupole magnets in synchrotrons and storage rings are described. The algorithms make use of a combinatorial approach to the problem and belong to the class of random search algorithms. They use an appropriate metrization of the state space. The phase-space distortion (smear) is used as a goal function. Computational experiments for the case of the JINR-Dubna superconducting heavy ion synchrotron NUCLOTRON have shown a significant reduction of the phase-space distortion after the magnet sorting. (orig.)
The 1989 progress report: Mathematics
International Nuclear Information System (INIS)
Demazure, M.
1989-01-01
The 1989 progress report of the laboratory of Mathematics of the Polytechnic School (France) is presented. The investigations reported were performed in the following fields: analysis of nonlinear partial differential equations, quantum mechanics, scattering, fluid dynamics and homogenization, equations, varieties with negative curvature, elliptical problems on surfaces, Dirac operator, geometry of algorithms and formal calculus, singularities, Lie groups, dynamics systems. The published papers, the conferences and the Laboratory staff are listed [fr
Dragalin, A G
1988-01-01
This monograph is intended to present the most important methods of proof theory in intuitionistic logic, assuming the reader to have mastered an introductory course in mathematical logic. The book starts with purely syntactical methods based on Gentzen's cut-elimination theorem, followed by intuitionistic arithmetic where Kleene's realizability method plays a central role. The author then studies algebraic models and completeness theorems for them. After giving a survey on the principles of intuitionistic analysis, the last part of the book presents the cut-elimination theorem in intuitionistic simple theory of types with an extensionality rule.
A distributed multi-agent linear biobjective algorithm for energy flow optimization in microgrids
DEFF Research Database (Denmark)
Brehm, Robert; Top, Søren; Mátéfi-Tempfli, Stefan
2016-01-01
consisting of local energy resources and storage capacities is presented which is based on the auction algorithm for assignment problems originally introduced by Bertsekas in 1979 [1]. It is shown that the topology of a microgrid can be represented as a bipartite graph and mathematically be described...... as a classical transportation problem. This allows applying an auction algorithm scheme in a distributed way where each energy supply system node is either a source or a sink and is represented by an individual acting agent. The single-objective approach is extended towards bi-objectivity to build a framework...
The Rhetorical Algorithm: WikiLeaks and the Elliptical Secrets of Donald J. Trump
Directory of Open Access Journals (Sweden)
Atilla Hallsby
2018-02-01
Full Text Available Algorithms were a generative force behind many of the leaks and secrets that dominated the 2016 election season. Taking the form of the identity-anonymizing Tor software that protected the identity of leakers, mathematical protocols occupied a prominent place in the secrets generated during the presidential campaign. This essay suggests that the rhetorical trope of ellipsis offers an equally crucial, algorithmic formula for explaining the public production of these secrets and leaks. It then describes the 2016 DNC leak and Donald Trump’s “I love Wikileaks” moment using the trope of ellipsis, which marks a discursive omission or gap in official executive discourse.
Heuristic Biases in Mathematical Reasoning
Inglis, Matthew; Simpson, Adrian
2005-01-01
In this paper we briefly describe the dual process account of reasoning, and explain the role of heuristic biases in human thought. Concentrating on the so-called matching bias effect, we describe a piece of research that indicates a correlation between success at advanced level mathematics and an ability to override innate and misleading…
Appreciation of Mathematics through Origami
Wares, Arsalan
2013-01-01
The purpose of this classroom note is to provide an example of how a simple origami box can be used to explore important mathematical concepts in geometry like surface area. This article describes how an origami box can be folded from a rectangular sheet of paper, then it goes on to describe how its surface area can be determined in terms of the…
Partitional clustering algorithms
2015-01-01
This book summarizes the state-of-the-art in partitional clustering. Clustering, the unsupervised classification of patterns into groups, is one of the most important tasks in exploratory data analysis. Primary goals of clustering include gaining insight into, classifying, and compressing data. Clustering has a long and rich history that spans a variety of scientific disciplines including anthropology, biology, medicine, psychology, statistics, mathematics, engineering, and computer science. As a result, numerous clustering algorithms have been proposed since the early 1950s. Among these algorithms, partitional (nonhierarchical) ones have found many applications, especially in engineering and computer science. This book provides coverage of consensus clustering, constrained clustering, large scale and/or high dimensional clustering, cluster validity, cluster visualization, and applications of clustering. Examines clustering as it applies to large and/or high-dimensional data sets commonly encountered in reali...
International Nuclear Information System (INIS)
Grady, M.
1986-01-01
I describe a fast fermion algorithm which utilizes pseudofermion fields but appears to have little or no systematic error. Test simulations on two-dimensional gauge theories are described. A possible justification for the algorithm being exact is discussed. 8 refs
DEFF Research Database (Denmark)
Mogensen, Arne; Georgiev, Vladimir; Ulovec, Andreas
To encourage many more young people to appreciate the real nature and spirit of mathematics and possibly to be enrolled in mathematics study it is important to involve them in doing mathematics (not just learning about mathematics). This goal could be achieved if mathematics teachers are prepared...... to identify and work with mathematically gifted students (without loosing the rest). The book offers chapters on gifted students, mathematical competences and other issues....
Mathematical models of hysteresis
International Nuclear Information System (INIS)
1998-01-01
The ongoing research has largely been focused on the development of mathematical models of hysteretic nonlinearities with nonlocal memories. The distinct feature of these nonlinearities is that their current states depend on past histories of input variations. It turns out that memories of hysteretic nonlinearities are quite selective. Indeed, experiments show that only some past input extrema (not the entire input variations) leave their marks upon future states of hysteretic nonlinearities. Thus special mathematical tools are needed in order to describe nonlocal selective memories of hysteretic nonlinearities. The origin of such tools can be traced back to the landmark paper of Preisach. Their research has been primarily concerned with Preisach-type models of hysteresis. All these models have a common generic feature; they are constructed as superpositions of simplest hysteretic nonlinearities-rectangular loops. During the past four years, the study has been by and large centered around the following topics: (1) further development of Scalar and vector Preisach-type models of hysteresis; (2) experimental testing of Preisach-type models of hysteresis; (3) development of new models for viscosity (aftereffect) in hysteretic systems; (4) development of mathematical models for superconducting hysteresis in the case of gradual resistive transitions; (5) software implementation of Preisach-type models of hysteresis; and (6) development of new ideas which have emerged in the course of the research work. The author briefly describes the main scientific results obtained in the areas outlined above
Mathematical models of hysteresis
Energy Technology Data Exchange (ETDEWEB)
NONE
1998-08-01
The ongoing research has largely been focused on the development of mathematical models of hysteretic nonlinearities with nonlocal memories. The distinct feature of these nonlinearities is that their current states depend on past histories of input variations. It turns out that memories of hysteretic nonlinearities are quite selective. Indeed, experiments show that only some past input extrema (not the entire input variations) leave their marks upon future states of hysteretic nonlinearities. Thus special mathematical tools are needed in order to describe nonlocal selective memories of hysteretic nonlinearities. The origin of such tools can be traced back to the landmark paper of Preisach. Their research has been primarily concerned with Preisach-type models of hysteresis. All these models have a common generic feature; they are constructed as superpositions of simplest hysteretic nonlinearities-rectangular loops. During the past four years, the study has been by and large centered around the following topics: (1) further development of Scalar and vector Preisach-type models of hysteresis; (2) experimental testing of Preisach-type models of hysteresis; (3) development of new models for viscosity (aftereffect) in hysteretic systems; (4) development of mathematical models for superconducting hysteresis in the case of gradual resistive transitions; (5) software implementation of Preisach-type models of hysteresis; and (6) development of new ideas which have emerged in the course of the research work. The author briefly describes the main scientific results obtained in the areas outlined above.
Comparison of genetic algorithms with conjugate gradient methods
Bosworth, J. L.; Foo, N. Y.; Zeigler, B. P.
1972-01-01
Genetic algorithms for mathematical function optimization are modeled on search strategies employed in natural adaptation. Comparisons of genetic algorithms with conjugate gradient methods, which were made on an IBM 1800 digital computer, show that genetic algorithms display superior performance over gradient methods for functions which are poorly behaved mathematically, for multimodal functions, and for functions obscured by additive random noise. Genetic methods offer performance comparable to gradient methods for many of the standard functions.
Describing function theory as applied to thermal and neutronic problems
International Nuclear Information System (INIS)
Nassersharif, B.
1983-01-01
Describing functions have traditionally been used to obtain the solutions of systems of ordinary differential equations. In this work the describing function concept has been extended to include nonlinear, distributed parameter partial differential equations. A three-stage solution algorithm is presented which can be applied to any nonlinear partial differential equation. Two generalized integral transforms were developed as the T-transform for the time domain and the B-transform for the spatial domain. The thermal diffusion describing function (TDDF) is developed for conduction of heat in solids and a general iterative solution along with convergence criteria is presented. The proposed solution method is used to solve the problem of heat transfer in nuclear fuel rods with annular fuel pellets. As a special instance the solid cylindrical fuel pellet is examined. A computer program is written which uses the describing function concept for computing fuel pin temperatures in the radial direction during reactor transients. The second problem investigated was the neutron diffusion equation which is intrinsically different from the first case. Although, for most situations, it can be treated as a linear differential equation, the describing function method is still applicable. A describing function solution is derived for two possible cases: constant diffusion coefficient and variable diffusion coefficient. Two classes of describing functions are defined for each case which portray the leakage and absorption phenomena. For the specific case of a slab reactor criticality problem the comparison between analytical and describing function solutions revealed an excellent agreement
Recognition algorithms in knot theory
International Nuclear Information System (INIS)
Dynnikov, I A
2003-01-01
In this paper the problem of constructing algorithms for comparing knots and links is discussed. A survey of existing approaches and basic results in this area is given. In particular, diverse combinatorial methods for representing links are discussed, the Haken algorithm for recognizing a trivial knot (the unknot) and a scheme for constructing a general algorithm (using Haken's ideas) for comparing links are presented, an approach based on representing links by closed braids is described, the known algorithms for solving the word problem and the conjugacy problem for braid groups are described, and the complexity of the algorithms under consideration is discussed. A new method of combinatorial description of knots is given together with a new algorithm (based on this description) for recognizing the unknot by using a procedure for monotone simplification. In the conclusion of the paper several problems are formulated whose solution could help to advance towards the 'algorithmization' of knot theory
Directory of Open Access Journals (Sweden)
J. Trdlicka
2010-12-01
Full Text Available This work proposes a distributed algorithm for energy optimal routing in a wireless sensor network. The routing problem is described as a mathematical problem by the minimum-cost multi-commodity network flow problem. Due to the separability of the problem, we use the duality theorem to derive the distributed algorithm. The algorithm computes the energy optimal routing in the network without any central node or knowledge of the whole network structure. Each node only needs to know the flow which is supposed to send or receive and the costs and capacities of the neighboring links. An evaluation of the presented algorithm on benchmarks for the energy optimal data flow routing in sensor networks with up to 100 nodes is presented.
Essential algorithms a practical approach to computer algorithms
Stephens, Rod
2013-01-01
A friendly and accessible introduction to the most useful algorithms Computer algorithms are the basic recipes for programming. Professional programmers need to know how to use algorithms to solve difficult programming problems. Written in simple, intuitive English, this book describes how and when to use the most practical classic algorithms, and even how to create new algorithms to meet future needs. The book also includes a collection of questions that can help readers prepare for a programming job interview. Reveals methods for manipulating common data structures s
Mathematics, the Computer, and the Impact on Mathematics Education.
Tooke, D. James
2001-01-01
Discusses the connection between mathematics and the computer; mathematics curriculum; mathematics instruction, including teachers learning to use computers; and the impact of the computer on learning mathematics. (LRW)
Unconventional Algorithms: Complementarity of Axiomatics and Construction
Directory of Open Access Journals (Sweden)
Gordana Dodig Crnkovic
2012-10-01
Full Text Available In this paper, we analyze axiomatic and constructive issues of unconventional computations from a methodological and philosophical point of view. We explain how the new models of algorithms and unconventional computations change the algorithmic universe, making it open and allowing increased flexibility and expressive power that augment creativity. At the same time, the greater power of new types of algorithms also results in the greater complexity of the algorithmic universe, transforming it into the algorithmic multiverse and demanding new tools for its study. That is why we analyze new powerful tools brought forth by local mathematics, local logics, logical varieties and the axiomatic theory of algorithms, automata and computation. We demonstrate how these new tools allow efficient navigation in the algorithmic multiverse. Further work includes study of natural computation by unconventional algorithms and constructive approaches.
Authenticity of Mathematical Modeling
Tran, Dung; Dougherty, Barbara J.
2014-01-01
Some students leave high school never quite sure of the relevancy of the mathematics they have learned. They fail to see links between school mathematics and the mathematics of everyday life that requires thoughtful decision making and often complex problem solving. Is it possible to bridge the gap between school mathematics and the mathematics in…
A short course in discrete mathematics
Bender, Edward A
2004-01-01
What sort of mathematics do I need for computer science? In response to this frequently asked question, a pair of professors at the University of California at San Diego created this text. Its sources are two of the university's most basic courses: Discrete Mathematics, and Mathematics for Algorithm and System Analysis. Intended for use by sophomores in the first of a two-quarter sequence, the text assumes some familiarity with calculus. Topics include Boolean functions and computer arithmetic; logic; number theory and cryptography; sets and functions; equivalence and order; and induction, seq
Moving boundary - Oxygen diffusion. Two algorithms using Landau transformation
International Nuclear Information System (INIS)
Moyano, E.A.
1991-01-01
A description is made of two algorithms which solve a mathematical model destinated for the study of one-dimensional problems with moving boundaries and implicit boundary conditions. The Landau transformation is used in both methods for each temporal level so as to work all through with the same amount of nodes. Thus, it is necessary to deal with a partial differential equation whose diffusive and convective terms are accompanied by variable coefficients. The partial differential equation is made discrete implicitly, using the Laasonen scheme -which is always stable- instead of the Crank-Nicholson scheme, as performed by Ferris and Hill (5), in the fixed time passing method. The second method employs the tridiagonal algorithm. The first algorithm uses fixed time passing and iterates with variable interface positions, that is to say, it varies δs until it satisfies the boundary condition. The mathematical model describes oxygen diffusion in live tissues. Its numerical solution is obtained by finite differences. An important application of this method could be the estimation of the radiation dose in cancerous tumor treatment. (Author) [es
Exhibition - Mathematics, A Beautiful Elsewhere
2011-01-01
From 21 October 2011 to 18 March 2012, the Fondation Cartier pour l’art contemporain will present the exhibition Mathematics: A Beautiful Elsewhere, an exhibition developed in association with the Institut des Hautes Études Scientifiques (IHÉS) and under the patronage of UNESCO. For this unprecedented event, the foundation invited mathematicians to work with artists with whom it has previously worked to create an exhibition that allows visitors to see, hear, do, interpret and think about mathematics. By bringing mathematics into its premises, the Fondation Cartier is itself undergoing the “sudden change of scenery” described by mathematician Alexandre Grothendieck. More information is available here. Fondation Cartier pour l’art contemporain 261, boulevard Raspail 75014 Paris http://fondation.cartier.com Private Visit For professors, researchers and all the staff of Mathematics departments...
Phenomenological approach to describe logistic growth and ...
Indian Academy of Sciences (India)
2016-10-18
Oct 18, 2016 ... Gompertz function, used to describe biological growth processes undergoing atrophy or a demographic and ... recognizing the characteristic feature of a system and .... demonstrated with the help of a thought experiment by.
describing a collaborative clothing design process between
African Journals Online (AJOL)
user
ISSN 0378-5254 Journal of Family Ecology and Consumer Sciences, Vol 43, 2015. Designing success: describing a ... PROCESS BETWEEN APPRENTICE DESIGNERS AND EXPERT DESIGN .... 5 Evaluation and decisions. (a) Outcomes.
PolyPole-1: An accurate numerical algorithm for intra-granular fission gas release
International Nuclear Information System (INIS)
Pizzocri, D.; Rabiti, C.; Luzzi, L.; Barani, T.; Van Uffelen, P.; Pastore, G.
2016-01-01
The transport of fission gas from within the fuel grains to the grain boundaries (intra-granular fission gas release) is a fundamental controlling mechanism of fission gas release and gaseous swelling in nuclear fuel. Hence, accurate numerical solution of the corresponding mathematical problem needs to be included in fission gas behaviour models used in fuel performance codes. Under the assumption of equilibrium between trapping and resolution, the process can be described mathematically by a single diffusion equation for the gas atom concentration in a grain. In this paper, we propose a new numerical algorithm (PolyPole-1) to efficiently solve the fission gas diffusion equation in time-varying conditions. The PolyPole-1 algorithm is based on the analytic modal solution of the diffusion equation for constant conditions, combined with polynomial corrective terms that embody the information on the deviation from constant conditions. The new algorithm is verified by comparing the results to a finite difference solution over a large number of randomly generated operation histories. Furthermore, comparison to state-of-the-art algorithms used in fuel performance codes demonstrates that the accuracy of PolyPole-1 is superior to other algorithms, with similar computational effort. Finally, the concept of PolyPole-1 may be extended to the solution of the general problem of intra-granular fission gas diffusion during non-equilibrium trapping and resolution, which will be the subject of future work. - Highlights: • A new numerical algorithm (PolyPole-1) for intra-granular fission gas release in time-varying conditions is developed. • The concept combines the modal analytic solution for constant conditions and a polynomial correction. • PolyPole-1 is extensively verified and compared to other state-of-the-art algorithms. • PolyPole-1 exhibits a superior accuracy and a similar computational time relative to other algorithms. • The PolyPole-1 algorithm can be
PolyPole-1: An accurate numerical algorithm for intra-granular fission gas release
Energy Technology Data Exchange (ETDEWEB)
Pizzocri, D. [Politecnico di Milano, Department of Energy, Nuclear Engineering Division, Via La Masa 34, 20156 Milano (Italy); Rabiti, C. [Idaho National Laboratory, P.O. Box 1625, Idaho Falls, ID 83415-3840 (United States); Luzzi, L.; Barani, T. [Politecnico di Milano, Department of Energy, Nuclear Engineering Division, Via La Masa 34, 20156 Milano (Italy); Van Uffelen, P. [European Commission, Joint Research Centre, Institute for Transuranium Elements, P.O. Box 2340, 76125 Karlsruhe (Germany); Pastore, G., E-mail: giovanni.pastore@inl.gov [Idaho National Laboratory, P.O. Box 1625, Idaho Falls, ID 83415-3840 (United States)
2016-09-15
The transport of fission gas from within the fuel grains to the grain boundaries (intra-granular fission gas release) is a fundamental controlling mechanism of fission gas release and gaseous swelling in nuclear fuel. Hence, accurate numerical solution of the corresponding mathematical problem needs to be included in fission gas behaviour models used in fuel performance codes. Under the assumption of equilibrium between trapping and resolution, the process can be described mathematically by a single diffusion equation for the gas atom concentration in a grain. In this paper, we propose a new numerical algorithm (PolyPole-1) to efficiently solve the fission gas diffusion equation in time-varying conditions. The PolyPole-1 algorithm is based on the analytic modal solution of the diffusion equation for constant conditions, combined with polynomial corrective terms that embody the information on the deviation from constant conditions. The new algorithm is verified by comparing the results to a finite difference solution over a large number of randomly generated operation histories. Furthermore, comparison to state-of-the-art algorithms used in fuel performance codes demonstrates that the accuracy of PolyPole-1 is superior to other algorithms, with similar computational effort. Finally, the concept of PolyPole-1 may be extended to the solution of the general problem of intra-granular fission gas diffusion during non-equilibrium trapping and resolution, which will be the subject of future work. - Highlights: • A new numerical algorithm (PolyPole-1) for intra-granular fission gas release in time-varying conditions is developed. • The concept combines the modal analytic solution for constant conditions and a polynomial correction. • PolyPole-1 is extensively verified and compared to other state-of-the-art algorithms. • PolyPole-1 exhibits a superior accuracy and a similar computational time relative to other algorithms. • The PolyPole-1 algorithm can be
A generalization of Takane's algorithm for DEDICOM
Kiers, Henk A.L.; ten Berge, Jos M.F.; Takane, Yoshio; de Leeuw, Jan
An algorithm is described for fitting the DEDICOM model for the analysis of asymmetric data matrices. This algorithm generalizes an algorithm suggested by Takane in that it uses a damping parameter in the iterative process. Takane's algorithm does not always converge monotonically. Based on the
An Improved Harmony Search Algorithm for Power Distribution Network Planning
Directory of Open Access Journals (Sweden)
Wei Sun
2015-01-01
Full Text Available Distribution network planning because of involving many variables and constraints is a multiobjective, discrete, nonlinear, and large-scale optimization problem. Harmony search (HS algorithm is a metaheuristic algorithm inspired by the improvisation process of music players. HS algorithm has several impressive advantages, such as easy implementation, less adjustable parameters, and quick convergence. But HS algorithm still has some defects such as premature convergence and slow convergence speed. According to the defects of the standard algorithm and characteristics of distribution network planning, an improved harmony search (IHS algorithm is proposed in this paper. We set up a mathematical model of distribution network structure planning, whose optimal objective function is to get the minimum annual cost and constraint conditions are overload and radial network. IHS algorithm is applied to solve the complex optimization mathematical model. The empirical results strongly indicate that IHS algorithm can effectively provide better results for solving the distribution network planning problem compared to other optimization algorithms.
Teaching mathematics using excel
Bonello, Mary Rose; Camilleri, Silvana
2004-01-01
'Technology is essential in teaching and learning mathematics; it influences the mathematics that is taught and enhances students' learning.' (Principles and Standards for School Mathematics-NCTM April 2000)
Figures of thought mathematics and mathematical texts
Reed, David
2003-01-01
Examines the ways in which mathematical works can be read as texts, examines their textual strategiesand demonstrates that such readings provide a rich source of philosophical debate regarding mathematics.
An algorithm for discovering Lagrangians automatically from data
Directory of Open Access Journals (Sweden)
Daniel J.A. Hills
2015-11-01
Full Text Available An activity fundamental to science is building mathematical models. These models are used to both predict the results of future experiments and gain insight into the structure of the system under study. We present an algorithm that automates the model building process in a scientifically principled way. The algorithm can take observed trajectories from a wide variety of mechanical systems and, without any other prior knowledge or tuning of parameters, predict the future evolution of the system. It does this by applying the principle of least action and searching for the simplest Lagrangian that describes the system’s behaviour. By generating this Lagrangian in a human interpretable form, it can also provide insight into the workings of the system.
DEFF Research Database (Denmark)
The following topics are dealt with: parallel scientific computing; numerical algorithms; parallel nonnumerical algorithms; cloud computing; evolutionary computing; metaheuristics; applied mathematics; GPU computing; multicore systems; hybrid architectures; hierarchical parallelism; HPC systems......; power monitoring; energy monitoring; and distributed computing....
Mathematical Modelling of Surfactant Self-assembly at Interfaces
Morgan, C. E.; Breward, C. J. W.; Griffiths, I. M.; Howell, P. D.
2015-01-01
© 2015 Society for Industrial and Applied Mathematics. We present a mathematical model to describe the distribution of surfactant pairs in a multilayer structure beneath an adsorbed monolayer. A mesoscopic model comprising a set of ordinary
Hageseth, Gaylord T.
1982-01-01
Describes a project for students to collect and fit data to a theoretical mathematical model that describes the rate of isothermal seed germination, including activation energy for substrate and produce and the autocatalytic reaction, and changes in enthalpy, entropy, and the Gibb's free energy. (Author/SK)
Mathematical Modelling Approach in Mathematics Education
Arseven, Ayla
2015-01-01
The topic of models and modeling has come to be important for science and mathematics education in recent years. The topic of "Modeling" topic is especially important for examinations such as PISA which is conducted at an international level and measures a student's success in mathematics. Mathematical modeling can be defined as using…
Discrete Mathematics and the Secondary Mathematics Curriculum.
Dossey, John
Discrete mathematics, the mathematics of decision making for finite settings, is a topic of great interest in mathematics education at all levels. Attention is being focused on resolving the diversity of opinion concerning the exact nature of the subject, what content the curriculum should contain, who should study that material, and how that…
Introducing philosophy of mathematics
Friend, Michele
2014-01-01
What is mathematics about? Does the subject-matter of mathematics exist independently of the mind or are they mental constructions? How do we know mathematics? Is mathematical knowledge logical knowledge? And how is mathematics applied to the material world? In this introduction to the philosophy of mathematics, Michele Friend examines these and other ontological and epistemological problems raised by the content and practice of mathematics. Aimed at a readership with limited proficiency in mathematics but with some experience of formal logic it seeks to strike a balance between conceptual acc
Sensorimotor Interference When Reasoning About Described Environments
Avraamides, Marios N.; Kyranidou, Melina-Nicole
The influence of sensorimotor interference was examined in two experiments that compared pointing with iconic arrows and verbal responding in a task that entailed locating target-objects from imagined perspectives. Participants studied text narratives describing objects at locations around them in a remote environment and then responded to targets from memory. Results revealed only minor differences between the two response modes suggesting that bodily cues do not exert severe detrimental interference on spatial reasoning from imagined perspective when non-immediate described environments are used. The implications of the findings are discussed.
Control and adaptation in telecommunication systems mathematical foundations
Popovskij, Vladimir; Titarenko, Larysa
2011-01-01
This book is devoted to mathematical foundations providing synthesis and analysis of control and adaptation algorithms targeting modern telecommunication systems (TCS). The most popular technologies and network management methods are discussed.
Annual report of the Center for Applied Mathematics, 1985
International Nuclear Information System (INIS)
1986-01-01
Research on the mathematical aspects of wave propagation; particulate methods in fluid physics and mechanics; nonlinear problems; stochastic equations; martingales, and interacting particle systems; and computer programming and algorithms is presented [fr
Annual report of the Center for Applied Mathematics, 1986
International Nuclear Information System (INIS)
1987-01-01
Research on the mathematical aspects of wave propagation; particulate methods in fluid physics and mechanics; nonlinear problems; stochastic equations; martingales, and interacting particle systems; and computer programming and algorithms is presented [fr
CATEGORIES OF COMPUTER SYSTEMS ALGORITHMS
Directory of Open Access Journals (Sweden)
A. V. Poltavskiy
2015-01-01
Full Text Available Philosophy as a frame of reference on world around and as the first science is a fundamental basis, "roots" (R. Descartes for all branches of the scientific knowledge accumulated and applied in all fields of activity of a human being person. The theory of algorithms as one of the fundamental sections of mathematics, is also based on researches of the gnoseology conducting cognition of a true picture of the world of the buman being. From gnoseology and ontology positions as fundamental sections of philosophy modern innovative projects are inconceivable without development of programs,and algorithms.
Abedon, Stephen T; Katsaounis, Tena I
2018-01-01
Basic mathematical descriptions are useful in phage ecology, applied phage ecology such as in the course of phage therapy, and also toward keeping track of expected phage-bacterial interactions as seen during laboratory manipulation of phages. The most basic mathematical descriptor of phages is their titer, that is, their concentration within stocks, experimental vessels, or other environments. Various phenomena can serve to modify phage titers, and indeed phage titers can vary as a function of how they are measured. An important aspect of how changes in titers can occur results from phage interactions with bacteria. These changes tend to vary in degree as a function of bacterial densities within environments, and particularly densities of those bacteria that are susceptible to or at least adsorbable by a given phage type. Using simple mathematical models one can describe phage-bacterial interactions that give rise particularly to phage adsorption events. With elaboration one can consider changes in both phage and bacterial densities as a function of both time and these interactions. In addition, phages along with their impact on bacteria can be considered as spatially constrained processes. In this chapter we consider the simpler of these concepts, providing in particular detailed verbal explanations toward facile mathematical insight. The primary goal is to stimulate a more informed use and manipulation of phages and phage populations within the laboratory as well as toward more effective phage application outside of the laboratory, such as during phage therapy. More generally, numerous issues and approaches to the quantification of phages are considered along with the quantification of individual, ecological, and applied properties of phages.
Stochastic GARCH dynamics describing correlations between stocks
Prat-Ortega, G.; Savel'ev, S. E.
2014-09-01
The ARCH and GARCH processes have been successfully used for modelling price dynamics such as stock returns or foreign exchange rates. Analysing the long range correlations between stocks, we propose a model, based on the GARCH process, which is able to describe the main characteristics of the stock price correlations, including the mean, variance, probability density distribution and the noise spectrum.
How Digital Native Learners Describe Themselves
Thompson, Penny
2015-01-01
Eight university students from the "digital native" generation were interviewed about the connections they saw between technology use and learning, and also their reactions to the popular press claims about their generation. Themes that emerged from the interviews were coded to show patterns in how digital natives describe themselves.…
Using fundamental equations to describe basic phenomena
DEFF Research Database (Denmark)
Jakobsen, Arne; Rasmussen, Bjarne D.
1999-01-01
When the fundamental thermodynamic balance equations (mass, energy, and momentum) are used to describe the processes in a simple refrigeration system, then one finds that the resulting equation system will have a degree of freedom equal to one. Further investigations reveal that it is the equatio...
Did goethe describe attention deficit hyperactivity disorder?
Bonazza, Sara; Scaglione, Cesa; Poppi, Massimo; Rizzo, Giovanni
2011-01-01
As early as 1846, the typical symptoms of attention deficit hyperactivity disorder (ADHD) were described by Heinrich Hoffmann (1809-1894). However, in Goethe's masterpiece Faust (1832), the character of Euphorion strongly suggests ADHD diagnosis. Copyright © 2011 S. Karger AG, Basel.
Describing linguistic information in a behavioural framework: Possible or not?
Energy Technology Data Exchange (ETDEWEB)
De Cooman, G. [Universiteit Gent, Zwijnaarde (Belgium)
1996-12-31
The paper discusses important aspects of the representation of linguistic information, using imprecise probabilities with a behavioural interpretation. We define linguistic information as the information conveyed by statements in natural language, but restrict ourselves to simple affirmative statements of the type {open_quote}subject-is-predicate{close_quote}. Taking the behavioural stance, as it is described in detail, we investigate whether it is possible to give a mathematical model for this kind of information. In particular, we evaluate Zadeli`s suggestion that we should use possibility measures to this end. We come to tile conclusion that, generally speaking, possibility measures are possibility models for linguistic information, but that more work should be done in order to evaluate the suggestion that they may be the only ones.
Rethinking Mathematics Teaching in Liberia: Realistic Mathematics Education
Stemn, Blidi S.
2017-01-01
In some African cultures, the concept of division does not necessarily mean sharing money or an item equally. How an item is shared might depend on the ages of the individuals involved. This article describes the use of the Realistic Mathematics Education (RME) approach to teach division word problems involving money in a 3rd-grade class in…
Framelets and wavelets algorithms, analysis, and applications
Han, Bin
2017-01-01
Marking a distinct departure from the perspectives of frame theory and discrete transforms, this book provides a comprehensive mathematical and algorithmic introduction to wavelet theory. As such, it can be used as either a textbook or reference guide. As a textbook for graduate mathematics students and beginning researchers, it offers detailed information on the basic theory of framelets and wavelets, complemented by self-contained elementary proofs, illustrative examples/figures, and supplementary exercises. Further, as an advanced reference guide for experienced researchers and practitioners in mathematics, physics, and engineering, the book addresses in detail a wide range of basic and advanced topics (such as multiwavelets/multiframelets in Sobolev spaces and directional framelets) in wavelet theory, together with systematic mathematical analysis, concrete algorithms, and recent developments in and applications of framelets and wavelets. Lastly, the book can also be used to teach on or study selected spe...
Decoding algorithm for vortex communications receiver
Kupferman, Judy; Arnon, Shlomi
2018-01-01
Vortex light beams can provide a tremendous alphabet for encoding information. We derive a symbol decoding algorithm for a direct detection matrix detector vortex beam receiver using Laguerre Gauss (LG) modes, and develop a mathematical model of symbol error rate (SER) for this receiver. We compare SER as a function of signal to noise ratio (SNR) for our algorithm and for the Pearson correlation algorithm. To our knowledge, this is the first comprehensive treatment of a decoding algorithm of a matrix detector for an LG receiver.
Mathematical modeling of control subsystems for CELSS: Application to diet
Waleh, Ahmad; Nguyen, Thoi K.; Kanevsky, Valery
1991-01-01
The dynamic control of a Closed Ecological Life Support System (CELSS) in a closed space habitat is of critical importance. The development of a practical method of control is also a necessary step for the selection and design of realistic subsystems and processors for a CELSS. Diet is one of the dynamic factors that strongly influences, and is influenced, by the operational states of all major CELSS subsystems. The problems of design and maintenance of a stable diet must be obtained from well characterized expert subsystems. The general description of a mathematical model that forms the basis of an expert control program for a CELSS is described. The formulation is expressed in terms of a complete set of time dependent canonical variables. System representation is dynamic and includes time dependent storage buffers. The details of the algorithm are described. The steady state results of the application of the method for representative diets made from wheat, potato, and soybean are presented.
Autumn Algorithm-Computation of Hybridization Networks for Realistic Phylogenetic Trees.
Huson, Daniel H; Linz, Simone
2018-01-01
A minimum hybridization network is a rooted phylogenetic network that displays two given rooted phylogenetic trees using a minimum number of reticulations. Previous mathematical work on their calculation has usually assumed the input trees to be bifurcating, correctly rooted, or that they both contain the same taxa. These assumptions do not hold in biological studies and "realistic" trees have multifurcations, are difficult to root, and rarely contain the same taxa. We present a new algorithm for computing minimum hybridization networks for a given pair of "realistic" rooted phylogenetic trees. We also describe how the algorithm might be used to improve the rooting of the input trees. We introduce the concept of "autumn trees", a nice framework for the formulation of algorithms based on the mathematics of "maximum acyclic agreement forests". While the main computational problem is hard, the run-time depends mainly on how different the given input trees are. In biological studies, where the trees are reasonably similar, our parallel implementation performs well in practice. The algorithm is available in our open source program Dendroscope 3, providing a platform for biologists to explore rooted phylogenetic networks. We demonstrate the utility of the algorithm using several previously studied data sets.
Mathematics related anxiety: Mathematics bogeyman or not?
Directory of Open Access Journals (Sweden)
Videnović Marina
2011-01-01
Full Text Available Data of the PISA 2003 survey indicate high levels of mathematics anxiety of students in Serbia. More than half of our students worry whether they will have difficulties in mathematics class or whether they will earn poor marks. Aims of this study therefore are: examining relationship between math anxiety and achievement at mathematics literacy scale; establishing possible predictors of math anxiety and identification of students' groups in relations to their relationship towards mathematics as a subject. Mathematics anxiety is statistically negatively correlated with school achievement and achievement at mathematics literacy scale. Socio-demographic factors, motivational and cognitive aspects related to learning mathematics, perception of school and classroom climate explain 40% variance of mathematics anxiety. Based on students' relationship towards mathematics they cam be divided into three groups; while dimensions that apart them are uninterested-interested in mathematics and presence-absence of anxiety. The group displaying anxiety scores lowest among the three. Applying qualitative analysis students' and teachers' attitudes on specific issues related to teaching and learning mathematics was examined.
A methodology to describe process control requirements
International Nuclear Information System (INIS)
Carcagno, R.; Ganni, V.
1994-01-01
This paper presents a methodology to describe process control requirements for helium refrigeration plants. The SSC requires a greater level of automation for its refrigeration plants than is common in the cryogenics industry, and traditional methods (e.g., written descriptions) used to describe process control requirements are not sufficient. The methodology presented in this paper employs tabular and graphic representations in addition to written descriptions. The resulting document constitutes a tool for efficient communication among the different people involved in the design, development, operation, and maintenance of the control system. The methodology is not limited to helium refrigeration plants, and can be applied to any process with similar requirements. The paper includes examples
Generating and Describing Affective Eye Behaviors
Mao, Xia; Li, Zheng
The manner of a person's eye movement conveys much about nonverbal information and emotional intent beyond speech. This paper describes work on expressing emotion through eye behaviors in virtual agents based on the parameters selected from the AU-Coded facial expression database and real-time eye movement data (pupil size, blink rate and saccade). A rule-based approach to generate primary (joyful, sad, angry, afraid, disgusted and surprise) and intermediate emotions (emotions that can be represented as the mixture of two primary emotions) utilized the MPEG4 FAPs (facial animation parameters) is introduced. Meanwhile, based on our research, a scripting tool, named EEMML (Emotional Eye Movement Markup Language) that enables authors to describe and generate emotional eye movement of virtual agents, is proposed.
How do consumers describe wine astringency?
Vidal, Leticia; Giménez, Ana; Medina, Karina; Boido, Eduardo; Ares, Gastón
2015-12-01
Astringency is one of the most important sensory characteristics of red wine. Although a hierarchically structured vocabulary to describe the mouthfeel sensations of red wine has been proposed, research on consumers' astringency vocabulary is lacking. In this context, the aim of this work was to gain an insight on the vocabulary used by wine consumers to describe the astringency of red wine and to evaluate the influence of wine involvement on consumers' vocabulary. One hundred and twenty-five wine consumers completed and on-line survey with five tasks: an open-ended question about the definition of wine astringency, free listing the sensations perceived when drinking an astringent wine, free listing the words they would use to describe the astringency of a red wine, a CATA question with 44 terms used in the literature to describe astringency, and a wine involvement questionnaire. When thinking about wine astringency consumers freely elicited terms included in the Mouth-feel Wheel, such as dryness and harsh. The majority of the specific sub-qualities of the Mouth-feel Wheel were not included in consumer responses. Also, terms not classified as astringency descriptors were elicited (e.g. acid and bitter). Only 17 out of the 31 terms from the Mouth-feel Wheel were used by more than 10% of participants when answering the CATA question. There were no large differences in the responses of consumer segments with different wine involvement. Results from the present work suggest that most of the terms of the Mouth-feel Wheel might not be adequate to communicate the astringency characteristics of red wine to consumers. Copyright © 2015 Elsevier Ltd. All rights reserved.
Directory of Open Access Journals (Sweden)
Wang Zi Min
2016-01-01
Full Text Available With the development of social services, people’s living standards improve further requirements, there is an urgent need for a way to adapt to the complex situation of the new positioning technology. In recent years, RFID technology have a wide range of applications in all aspects of life and production, such as logistics tracking, car alarm, security and other items. The use of RFID technology to locate, it is a new direction in the eyes of the various research institutions and scholars. RFID positioning technology system stability, the error is small and low-cost advantages of its location algorithm is the focus of this study.This article analyzes the layers of RFID technology targeting methods and algorithms. First, RFID common several basic methods are introduced; Secondly, higher accuracy to political network location method; Finally, LANDMARC algorithm will be described. Through this it can be seen that advanced and efficient algorithms play an important role in increasing RFID positioning accuracy aspects.Finally, the algorithm of RFID location technology are summarized, pointing out the deficiencies in the algorithm, and put forward a follow-up study of the requirements, the vision of a better future RFID positioning technology.
Emotion and Disaffection with School Mathematics
Lewis, Gareth
2013-01-01
This paper reports some initial findings from research designed to understand more deeply the motivational and emotional landscape of disaffection with school mathematics. A context is described in which there has been significant concern expressed about a number of aspects of mathematics education, but where affect is seen as salient to these…
Assessing Journal Quality in Mathematics Education
Nivens, Ryan Andrew; Otten, Samuel
2017-01-01
In this Research Commentary, we describe 3 journal metrics--the Web of Science's Impact Factor, Scopus's SCImago Journal Rank, and Google Scholar Metrics' h5-index--and compile the rankings (if they exist) for 69 mathematics education journals. We then discuss 2 paths that the mathematics education community should consider with regard to these…
A Note on Discrete Mathematics and Calculus.
O'Reilly, Thomas J.
1987-01-01
Much of the current literature on the topic of discrete mathematics and calculus during the first two years of an undergraduate mathematics curriculum is cited. A relationship between the recursive integration formulas and recursively defined polynomials is described. A Pascal program is included. (Author/RH)
Inhibiting Intuitive Thinking in Mathematics Education
Thomas, Michael O. J.
2015-01-01
The papers in this issue describe recent collaborative research into the role of inhibition of intuitive thinking in mathematics education. This commentary reflects on this research from a mathematics education perspective and draws attention to some of the challenges that arise in collaboration between research fields with different cultures,…
Mathematical literacy teachers' engagement with contextual tasks ...
African Journals Online (AJOL)
This article reports on a study carried out with a group of 108 practising Mathematical Literacy (ML) teachers who participated in an Advanced Certificate in Education (ACE) programme. The purpose of the qualitative study was to identify and describe the teachers' varying levels of engagement with mathematics tools and ...
Plato's problem an introduction to mathematical platonism
Panza, M
2013-01-01
What is mathematics about? And how can we have access to the reality it is supposed to describe? The book tells the story of this problem, first raised by Plato, through the views of Aristotle, Proclus, Kant, Frege, Gödel, Benacerraf, up to the most recent debate on mathematical platonism.
Mathematical models in biology bringing mathematics to life
Ferraro, Maria; Guarracino, Mario
2015-01-01
This book presents an exciting collection of contributions based on the workshop “Bringing Maths to Life” held October 27-29, 2014 in Naples, Italy. The state-of-the art research in biology and the statistical and analytical challenges facing huge masses of data collection are treated in this Work. Specific topics explored in depth surround the sessions and special invited sessions of the workshop and include genetic variability via differential expression, molecular dynamics and modeling, complex biological systems viewed from quantitative models, and microscopy images processing, to name several. In depth discussions of the mathematical analysis required to extract insights from complex bodies of biological datasets, to aid development in the field novel algorithms, methods and software tools for genetic variability, molecular dynamics, and complex biological systems are presented in this book. Researchers and graduate students in biology, life science, and mathematics/statistics will find the content...
A mathematical tapestry demonstrating the beautiful unity of mathematics
Hilton, Peter; Donmoyer, Sylvie
2010-01-01
This easy-to-read 2010 book demonstrates how a simple geometric idea reveals fascinating connections and results in number theory, the mathematics of polyhedra, combinatorial geometry, and group theory. Using a systematic paper-folding procedure it is possible to construct a regular polygon with any number of sides. This remarkable algorithm has led to interesting proofs of certain results in number theory, has been used to answer combinatorial questions involving partitions of space, and has enabled the authors to obtain the formula for the volume of a regular tetrahedron in around three steps, using nothing more complicated than basic arithmetic and the most elementary plane geometry. All of these ideas, and more, reveal the beauty of mathematics and the interconnectedness of its various branches. Detailed instructions, including clear illustrations, enable the reader to gain hands-on experience constructing these models and to discover for themselves the patterns and relationships they unearth.
Mathematical model of accelerator output characteristics and their calculation on a computer
International Nuclear Information System (INIS)
Mishulina, O.A.; Ul'yanina, M.N.; Kornilova, T.V.
1975-01-01
A mathematical model is described of output characteristics of a linear accelerator. The model is a system of differential equations. Presence of phase limitations is a specific feature of setting the problem which makes it possible to ensure higher simulation accuracy and determine a capture coefficient. An algorithm is elaborated of computing output characteristics based upon the mathematical model suggested. A capture coefficient, coordinate expectation characterizing an average phase value of the beam particles, coordinate expectation characterizing an average value of the reverse relative velocity of the beam particles as well as dispersion of these coordinates are output characteristics of the accelerator. Calculation methods of the accelerator output characteristics are described in detail. The computations have been performed on the BESM-6 computer, the characteristics computing time being 2 min 20 sec. Relative error of parameter computation averages 10 -2
International Nuclear Information System (INIS)
Creutz, M.
1987-11-01
A large variety of Monte Carlo algorithms are being used for lattice gauge simulations. For purely bosonic theories, present approaches are generally adequate; nevertheless, overrelaxation techniques promise savings by a factor of about three in computer time. For fermionic fields the situation is more difficult and less clear. Algorithms which involve an extrapolation to a vanishing step size are all quite closely related. Methods which do not require such an approximation tend to require computer time which grows as the square of the volume of the system. Recent developments combining global accept/reject stages with Langevin or microcanonical updatings promise to reduce this growth to V/sup 4/3/
Hu, T C
2002-01-01
Newly enlarged, updated second edition of a valuable text presents algorithms for shortest paths, maximum flows, dynamic programming and backtracking. Also discusses binary trees, heuristic and near optimums, matrix multiplication, and NP-complete problems. 153 black-and-white illus. 23 tables.Newly enlarged, updated second edition of a valuable, widely used text presents algorithms for shortest paths, maximum flows, dynamic programming and backtracking. Also discussed are binary trees, heuristic and near optimums, matrix multiplication, and NP-complete problems. New to this edition: Chapter 9
Techtalk: Mobile Apps and College Mathematics
Hoang, Theresa V.; Caverly, David C.
2013-01-01
In this column, the authors discuss apps useful in developing mathematical reasoning. They place these into a theoretical framework, suggesting how they could be used in an instructional model such as the Algorithmic Instructional Technique (AIT) developed by Vasquez (2003). This model includes four stages: modeling, practice, transition, and…
Rosini, Massimiliano Daniele
2013-01-01
This monograph presents a systematic treatment of the theory for hyperbolic conservation laws and their applications to vehicular traffics and crowd dynamics. In the first part of the book, the author presents very basic considerations and gradually introduces the mathematical tools necessary to describe and understand the mathematical models developed in the following parts focusing on vehicular and pedestrian traffic. The book is a self-contained valuable resource for advanced courses in mathematical modeling, physics and civil engineering. A number of examples and figures facilitate a better understanding of the underlying concepts and motivations for the students. Important new techniques are presented, in particular the wave front tracking algorithm, the operator splitting approach, the non-classical theory of conservation laws and the constrained problems. This book is the first to present a comprehensive account of these fundamental new mathematical advances.
Some software algorithms for microprocessor ratemeters
International Nuclear Information System (INIS)
Savic, Z.
1991-01-01
After a review of the basic theoretical ratemeter problem and a general discussion of microprocessor ratemeters, a short insight into their hardware organization is given. Three software algorithms are described: the old ones the quasi-exponential and floating mean algorithm, and a new weighted moving average algorithm. The equations for statistical characterization of the new algorithm are given and an intercomparison is made. It is concluded that the new algorithm has statistical advantages over the old ones. (orig.)
A survey of parallel multigrid algorithms
Chan, Tony F.; Tuminaro, Ray S.
1987-01-01
A typical multigrid algorithm applied to well-behaved linear-elliptic partial-differential equations (PDEs) is described. Criteria for designing and evaluating parallel algorithms are presented. Before evaluating the performance of some parallel multigrid algorithms, consideration is given to some theoretical complexity results for solving PDEs in parallel and for executing the multigrid algorithm. The effect of mapping and load imbalance on the partial efficiency of the algorithm is studied.
Some software algorithms for microprocessor ratemeters
Energy Technology Data Exchange (ETDEWEB)
Savic, Z. (Military Technical Inst., Belgrade (Yugoslavia))
1991-03-15
After a review of the basic theoretical ratemeter problem and a general discussion of microprocessor ratemeters, a short insight into their hardware organization is given. Three software algorithms are described: the old ones the quasi-exponential and floating mean algorithm, and a new weighted moving average algorithm. The equations for statistical characterization of the new algorithm are given and an intercomparison is made. It is concluded that the new algorithm has statistical advantages over the old ones. (orig.).
The Wonderful Gift of Mathematics
Norton, Anderson
2015-01-01
This theoretical analysis addresses "the unreasonable effectiveness of mathematics in the natural sciences" (Wigner, 1960). For example, how is it that ellipses--constructed by Greek geometers nearly two millennia before Kepler used them--provide such precise models for describing planetary motion? Historical models of gravity and…
Mathematics Career Simulations: An Invitation
Sinn, Robb; Phipps, Marnie
2013-01-01
A simulated academic career was combined with inquiry-based learning in an upper-division undergraduate mathematics course. Concepts such as tenure, professional conferences and journals were simulated. Simulation procedures were combined with student-led, inquiry-based classroom formats. A qualitative analysis (ethnography) describes the culture…
Mathematical models for plant-herbivore interactions
Feng, Zhilan; DeAngelis, Donald L.
2017-01-01
Mathematical Models of Plant-Herbivore Interactions addresses mathematical models in the study of practical questions in ecology, particularly factors that affect herbivory, including plant defense, herbivore natural enemies, and adaptive herbivory, as well as the effects of these on plant community dynamics. The result of extensive research on the use of mathematical modeling to investigate the effects of plant defenses on plant-herbivore dynamics, this book describes a toxin-determined functional response model (TDFRM) that helps explains field observations of these interactions. This book is intended for graduate students and researchers interested in mathematical biology and ecology.
Forum of Mathematics for Industry 2013
Anderssen, Robert; Cheng, Jin; Fukumoto, Yasuhide; McKibbin, Robert; Polthier, Konrad; Takagi, Tsuyoshi; Toh, Kim-Chuan
2014-01-01
This book is a collection of papers presented at the Forum “The Impact of Applications on Mathematics” in October 2013. It describes an appropriate framework in which to highlight how real-world problems, over the centuries and today, have influenced and are influencing the development of mathematics and, thereby, how mathematics is reshaped, in order to advance mathematics and its application. The contents of this book address productive and successful interaction between industry and mathematicians, as well as the cross-fertilization and collaboration that result when mathematics is involved with the advancement of science and technology.
Umphrey, Jan
2011-01-01
The National Council of Teachers of Mathematics (NCTM) is a voice and advocate for mathematics educators, working to ensure that all students receive equitable mathematics learning of the highest quality. To help teachers and school leaders understand the Common Core State Standards for Mathematics (CCSSM) and to point out how the CCSSM can be…
DEFF Research Database (Denmark)
Hansen, Vagn Lundsgaard
2005-01-01
A brief tour through the history of mathematics from the very beginnings to modern times, with an emphasis on the main contributions and important periods of mathematics in various civilizations.......A brief tour through the history of mathematics from the very beginnings to modern times, with an emphasis on the main contributions and important periods of mathematics in various civilizations....
DEFF Research Database (Denmark)
Hansen, Vagn Lundsgaard
A brief tour through the history of mathematics from the very beginnings to modern times, with an emphasis on the main contributions and important periods of mathematics in various civilizations.......A brief tour through the history of mathematics from the very beginnings to modern times, with an emphasis on the main contributions and important periods of mathematics in various civilizations....
Mumcu, Hayal Yavuz
2016-01-01
The purpose of this theoretical study is to explore the relationships between the concepts of using mathematics in the daily life, mathematical applications, mathematical modelling, and mathematical literacy. As these concepts are generally taken as independent concepts in the related literature, they are confused with each other and it becomes…
Quantum algorithms and learning theory
Arunachalam, S.
2018-01-01
This thesis studies strengths and weaknesses of quantum computers. In the first part we present three contributions to quantum algorithms. 1) consider a search space of N elements. One of these elements is "marked" and our goal is to find this. We describe a quantum algorithm to solve this problem
A functional language for describing reversible logic
DEFF Research Database (Denmark)
Thomsen, Michael Kirkedal
2012-01-01
Reversible logic is a computational model where all gates are logically reversible and combined in circuits such that no values are lost or duplicated. This paper presents a novel functional language that is designed to describe only reversible logic circuits. The language includes high....... Reversibility of descriptions is guaranteed with a type system based on linear types. The language is applied to three examples of reversible computations (ALU, linear cosine transformation, and binary adder). The paper also outlines a design flow that ensures garbage- free translation to reversible logic...... circuits. The flow relies on a reversible combinator language as an intermediate language....
The Texas Medication Algorithm Project (TMAP) schizophrenia algorithms.
Miller, A L; Chiles, J A; Chiles, J K; Crismon, M L; Rush, A J; Shon, S P
1999-10-01
In the Texas Medication Algorithm Project (TMAP), detailed guidelines for medication management of schizophrenia and related disorders, bipolar disorders, and major depressive disorders have been developed and implemented. This article describes the algorithms developed for medication treatment of schizophrenia and related disorders. The guidelines recommend a sequence of medications and discuss dosing, duration, and switch-over tactics. They also specify response criteria at each stage of the algorithm for both positive and negative symptoms. The rationale and evidence for each aspect of the algorithms are presented.
Directory of Open Access Journals (Sweden)
Anna Bourmistrova
2011-02-01
Full Text Available The autodriver algorithm is an intelligent method to eliminate the need of steering by a driver on a well-defined road. The proposed method performs best on a four-wheel steering (4WS vehicle, though it is also applicable to two-wheel-steering (TWS vehicles. The algorithm is based on coinciding the actual vehicle center of rotation and road center of curvature, by adjusting the kinematic center of rotation. The road center of curvature is assumed prior information for a given road, while the dynamic center of rotation is the output of dynamic equations of motion of the vehicle using steering angle and velocity measurements as inputs. We use kinematic condition of steering to set the steering angles in such a way that the kinematic center of rotation of the vehicle sits at a desired point. At low speeds the ideal and actual paths of the vehicle are very close. With increase of forward speed the road and tire characteristics, along with the motion dynamics of the vehicle cause the vehicle to turn about time-varying points. By adjusting the steering angles, our algorithm controls the dynamic turning center of the vehicle so that it coincides with the road curvature center, hence keeping the vehicle on a given road autonomously. The position and orientation errors are used as feedback signals in a closed loop control to adjust the steering angles. The application of the presented autodriver algorithm demonstrates reliable performance under different driving conditions.
Mathematical modelling in solid mechanics
Sofonea, Mircea; Steigmann, David
2017-01-01
This book presents new research results in multidisciplinary fields of mathematical and numerical modelling in mechanics. The chapters treat the topics: mathematical modelling in solid, fluid and contact mechanics nonconvex variational analysis with emphasis to nonlinear solid and structural mechanics numerical modelling of problems with non-smooth constitutive laws, approximation of variational and hemivariational inequalities, numerical analysis of discrete schemes, numerical methods and the corresponding algorithms, applications to mechanical engineering numerical aspects of non-smooth mechanics, with emphasis on developing accurate and reliable computational tools mechanics of fibre-reinforced materials behaviour of elasto-plastic materials accounting for the microstructural defects definition of structural defects based on the differential geometry concepts or on the atomistic basis interaction between phase transformation and dislocations at nano-scale energetic arguments bifurcation and post-buckling a...
Using neural networks to describe tracer correlations
Directory of Open Access Journals (Sweden)
D. J. Lary
2004-01-01
Full Text Available Neural networks are ideally suited to describe the spatial and temporal dependence of tracer-tracer correlations. The neural network performs well even in regions where the correlations are less compact and normally a family of correlation curves would be required. For example, the CH4-N2O correlation can be well described using a neural network trained with the latitude, pressure, time of year, and methane volume mixing ratio (v.m.r.. In this study a neural network using Quickprop learning and one hidden layer with eight nodes was able to reproduce the CH4-N2O correlation with a correlation coefficient between simulated and training values of 0.9995. Such an accurate representation of tracer-tracer correlations allows more use to be made of long-term datasets to constrain chemical models. Such as the dataset from the Halogen Occultation Experiment (HALOE which has continuously observed CH4 (but not N2O from 1991 till the present. The neural network Fortran code used is available for download.
On Redundancy in Describing Linguistic Systems
Directory of Open Access Journals (Sweden)
Vladimir Borissov Pericliev
2015-12-01
Full Text Available On Redundancy in Describing Linguistic Systems The notion of system of linguistic elements figures prominently in most post-Saussurian linguistics up to the present. A “system” is the network of the contrastive (or, distinctive features each element in the system bears to the remaining elements. The meaning (valeur of each element in the system is the set of features that are necessary and jointly sufficient to distinguish this element from all others. The paper addresses the problems of “redundancy”, i.e. the occurrence of features that are not strictly necessary in describing an element in a system. Redundancy is shown to smuggle into the description of linguistic systems, this infelicitous practice illustrated with some examples from the literature (e.g. the classical phonemic analysis of Russian by Cherry, Halle, and Jakobson, 1953. The logic and psychology of the occurrence of redundancy are briefly sketched and it is shown that, in addition to some other problems, redundancy leads to a huge and unresolvable ambiguity of descriptions of linguistic systems (the Buridan’s ass problem.
Is an eclipse described in the Odyssey?
Baikouzis, Constantino; Magnasco, Marcelo O
2008-07-01
Plutarch and Heraclitus believed a certain passage in the 20th book of the Odyssey ("Theoclymenus's prophecy") to be a poetic description of a total solar eclipse. In the late 1920s, Schoch and Neugebauer computed that the solar eclipse of 16 April 1178 B.C.E. was total over the Ionian Islands and was the only suitable eclipse in more than a century to agree with classical estimates of the decade-earlier sack of Troy around 1192-1184 B.C.E. However, much skepticism remains about whether the verses refer to this, or any, eclipse. To contribute to the issue independently of the disputed eclipse reference, we analyze other astronomical references in the Epic, without assuming the existence of an eclipse, and search for dates matching the astronomical phenomena we believe they describe. We use three overt astronomical references in the epic: to Boötes and the Pleiades, Venus, and the New Moon; we supplement them with a conjectural identification of Hermes's trip to Ogygia as relating to the motion of planet Mercury. Performing an exhaustive search of all possible dates in the span 1250-1115 B.C., we looked to match these phenomena in the order and manner that the text describes. In that period, a single date closely matches our references: 16 April 1178 B.C.E. We speculate that these references, plus the disputed eclipse reference, may refer to that specific eclipse.
Solution of the mathematical adjoint equations for an interface current nodal formulation
International Nuclear Information System (INIS)
Yang, W.S.; Taiwo, T.A.; Khalil, H.
1994-01-01
Two techniques for solving the mathematical adjoint equations of an interface current nodal method are described. These techniques are the ''similarity transformation'' procedure and a direct solution scheme. A theoretical basis is provided for the similarity transformation procedure originally proposed by Lawrence. It is shown that the matrices associated with the mathematical and physical adjoint equations are similar to each other for the flat transverse leakage approximation but not for the quadratic leakage approximation. It is also shown that a good approximate solution of the mathematical adjoint for the quadratic transverse leakage approximation is obtained by applying the similarity transformation for the flat transverse leakage approximation to the physical adjoint solution. The direct solution scheme, which was developed as an alternative to the similarity transformation procedure, yields the correct mathematical adjoint solution for both flat and quadratic transverse leakage approximations. In this scheme, adjoint nodal equations are cast in a form very similar to that of the forward equations by employing a linear transformation of the adjoint partial currents. This enables the use of the forward solution algorithm with only minor modifications for solving the mathematical adjoint equations. By using the direct solution scheme as a reference method, it is shown that while the results computed with the similarity transformation procedure are approximate, they are sufficiently accurate for calculations of global and local reactivity changes resulting from coolant voiding in a liquid-metal reactor
Directory of Open Access Journals (Sweden)
I. V. Bykov
2013-01-01
Full Text Available Aim. The presented research uncovers the using of mathematical modeling methods for cardio-vascular system and axial blood pump interaction analysis under heart failure with combined valve pathology. The research will pro- vide data for automated pump control algorithm synthesis. Materials and methods. Mathematical model is build up by using experiments results from mock cardio-vascular circulation loop and mathematical representation of Newtonian fluid dynamics in pulsing circulation loop. The model implemented in modeling environment Simulink (Matlab. Results. Authors implemented mathematical model which describe cardio-vascular system and left-ven- tricular assistive device interaction for intact conditions. Values of parameters for intact conditions were acquired in the experiments on animals with implanted axial pump, experiments were conducted in FRCTAO. The model was verified by comparison of instantaneous blood flowrate values in experiments and in model. Conclusion. The paper present implemented mathematical model of cardio-vascular system and axial pump interaction for intact conditions, where the pump connected between left ventricle and aorta. In the next part of research authors will use the presented model to evaluate using the biotechnical system in conditions of heart failure and valve pathology.
Mathematics and art a cultural history
Gamwell, Lynn
2016-01-01
This is a cultural history of mathematics and art, from antiquity to the present. Mathematicians and artists have long been on a quest to understand the physical world they see before them and the abstract objects they know by thought alone. Taking readers on a tour of the practice of mathematics and the philosophical ideas that drive the discipline, Lynn Gamwell points out the important ways mathematical concepts have been expressed by artists. Sumptuous illustrations of artworks and cogent math diagrams are featured in Gamwell’s comprehensive exploration. Gamwell begins by describing mathematics from antiquity to the Enlightenment, including Greek, Islamic, and Asian mathematics. Then focusing on modern culture, Gamwell traces mathematicians’ search for the foundations of their science, such as David Hilbert’s conception of mathematics as an arrangement of meaning-free signs, as well as artists’ search for the essence of their craft, such as Aleksandr Rodchenko’s monochrome paintings. She shows t...
A Multifaceted Mathematical Approach for Complex Systems
Energy Technology Data Exchange (ETDEWEB)
Alexander, F.; Anitescu, M.; Bell, J.; Brown, D.; Ferris, M.; Luskin, M.; Mehrotra, S.; Moser, B.; Pinar, A.; Tartakovsky, A.; Willcox, K.; Wright, S.; Zavala, V.
2012-03-07
Applied mathematics has an important role to play in developing the tools needed for the analysis, simulation, and optimization of complex problems. These efforts require the development of the mathematical foundations for scientific discovery, engineering design, and risk analysis based on a sound integrated approach for the understanding of complex systems. However, maximizing the impact of applied mathematics on these challenges requires a novel perspective on approaching the mathematical enterprise. Previous reports that have surveyed the DOE's research needs in applied mathematics have played a key role in defining research directions with the community. Although these reports have had significant impact, accurately assessing current research needs requires an evaluation of today's challenges against the backdrop of recent advances in applied mathematics and computing. To address these needs, the DOE Applied Mathematics Program sponsored a Workshop for Mathematics for the Analysis, Simulation and Optimization of Complex Systems on September 13-14, 2011. The workshop had approximately 50 participants from both the national labs and academia. The goal of the workshop was to identify new research areas in applied mathematics that will complement and enhance the existing DOE ASCR Applied Mathematics Program efforts that are needed to address problems associated with complex systems. This report describes recommendations from the workshop and subsequent analysis of the workshop findings by the organizing committee.
Semiconvergence and Relaxation Parameters for Projected SIRT Algorithms
DEFF Research Database (Denmark)
Elfving, Tommy; Hansen, Per Christian; Nikazad, Touraj
2012-01-01
We give a detailed study of the semiconverg ence behavior of projected nonstationary simultaneous iterative reconstruction technique (SIRT) algorithms, including the projected Landweber algorithm. We also consider the use of a relaxation parameter strategy, proposed recently for the standard...... algorithms, for controlling the semiconvergence of the projected algorithms. We demonstrate the semiconvergence and the performance of our strategies by examples taken from tomographic imaging. © 2012 Society for Industrial and Applied Mathematics....
Methods of modern mathematical physics
Reed, Michael
1980-01-01
This book is the first of a multivolume series devoted to an exposition of functional analysis methods in modern mathematical physics. It describes the fundamental principles of functional analysis and is essentially self-contained, although there are occasional references to later volumes. We have included a few applications when we thought that they would provide motivation for the reader. Later volumes describe various advanced topics in functional analysis and give numerous applications in classical physics, modern physics, and partial differential equations.
Appreciation of mathematics through origami
Wares, Arsalan
2013-03-01
The purpose of this classroom note is to provide an example of how a simple origami box can be used to explore important mathematical concepts in geometry like surface area. This article describes how an origami box can be folded from a rectangular sheet of paper, then it goes on to describe how its surface area can be determined in terms of the dimensions of the rectangular sheet that was used to construct the box.
Analytical simulation platform describing projections in computed tomography systems
International Nuclear Information System (INIS)
Youn, Hanbean; Kim, Ho Kyung
2013-01-01
To reduce the patient dose, several approaches such as spectral imaging using photon counting detectors and statistical image reconstruction, are being considered. Although image-reconstruction algorithms may significantly enhance image quality in reconstructed images with low dose, true signal-to-noise properties are mainly determined by image quality in projections. We are developing an analytical simulation platform describing projections to investigate how quantum-interaction physics in each component configuring CT systems affect image quality in projections. This simulator will be very useful for an improved design or optimization of CT systems in economy as well as the development of novel image-reconstruction algorithms. In this study, we present the progress of development of the simulation platform with an emphasis on the theoretical framework describing the generation of projection data. We have prepared the analytical simulation platform describing projections in computed tomography systems. The remained further study before the meeting includes the following: Each stage in the cascaded signal-transfer model for obtaining projections will be validated by the Monte Carlo simulations. We will build up energy-dependent scatter and pixel-crosstalk kernels, and show their effects on image quality in projections and reconstructed images. We will investigate the effects of projections obtained from various imaging conditions and system (or detector) operation parameters on reconstructed images. It is challenging to include the interaction physics due to photon-counting detectors into the simulation platform. Detailed descriptions of the simulator will be presented with discussions on its performance and limitation as well as Monte Carlo validations. Computational cost will also be addressed in detail. The proposed method in this study is simple and can be used conveniently in lab environment
Frameworks for understanding and describing business models
DEFF Research Database (Denmark)
Nielsen, Christian; Roslender, Robin
2014-01-01
This chapter provides in a chronological fashion an introduction to six frameworks that one can apply to describing, understanding and also potentially innovating business models. These six frameworks have been chosen carefully as they represent six very different perspectives on business models...... and in this manner “complement” each other. There are a multitude of varying frameworks that could be chosen from and we urge the reader to search and trial these for themselves. The six chosen models (year of release in parenthesis) are: • Service-Profit Chain (1994) • Strategic Systems Auditing (1997) • Strategy...... Maps (2001) • Intellectual Capital Statements (2003) • Chesbrough’s framework for Open Business Models (2006) • Business Model Canvas (2008)...
Does Guru Granth Sahib describe depression?
Kalra, Gurvinder; Bhui, Kamaldeep; Bhugra, Dinesh
2013-01-01
Sikhism is a relatively young religion, with Guru Granth Sahib as its key religious text. This text describes emotions in everyday life, such as happiness, sadness, anger, hatred, and also more serious mental health issues such as depression and psychosis. There are references to the causation of these emotional disturbances and also ways to get out of them. We studied both the Gurumukhi version and the English translation of the Guru Granth Sahib to understand what it had to say about depression, its henomenology, and religious prescriptions for recovery. We discuss these descriptions in this paper and understand its meaning within the context of clinical depression. Such knowledge is important as explicit descriptions about depression and sadness can help encourage culturally appropriate assessment and treatment, as well as promote public health through education.
Describing chaotic attractors: Regular and perpetual points
Dudkowski, Dawid; Prasad, Awadhesh; Kapitaniak, Tomasz
2018-03-01
We study the concepts of regular and perpetual points for describing the behavior of chaotic attractors in dynamical systems. The idea of these points, which have been recently introduced to theoretical investigations, is thoroughly discussed and extended into new types of models. We analyze the correlation between regular and perpetual points, as well as their relation with phase space, showing the potential usefulness of both types of points in the qualitative description of co-existing states. The ability of perpetual points in finding attractors is indicated, along with its potential cause. The location of chaotic trajectories and sets of considered points is investigated and the study on the stability of systems is shown. The statistical analysis of the observing desired states is performed. We focus on various types of dynamical systems, i.e., chaotic flows with self-excited and hidden attractors, forced mechanical models, and semiconductor superlattices, exhibiting the universality of appearance of the observed patterns and relations.
Massively parallel mathematical sieves
Energy Technology Data Exchange (ETDEWEB)
Montry, G.R.
1989-01-01
The Sieve of Eratosthenes is a well-known algorithm for finding all prime numbers in a given subset of integers. A parallel version of the Sieve is described that produces computational speedups over 800 on a hypercube with 1,024 processing elements for problems of fixed size. Computational speedups as high as 980 are achieved when the problem size per processor is fixed. The method of parallelization generalizes to other sieves and will be efficient on any ensemble architecture. We investigate two highly parallel sieves using scattered decomposition and compare their performance on a hypercube multiprocessor. A comparison of different parallelization techniques for the sieve illustrates the trade-offs necessary in the design and implementation of massively parallel algorithms for large ensemble computers.
Algorithmic complexity of quantum capacity
Oskouei, Samad Khabbazi; Mancini, Stefano
2018-04-01
We analyze the notion of quantum capacity from the perspective of algorithmic (descriptive) complexity. To this end, we resort to the concept of semi-computability in order to describe quantum states and quantum channel maps. We introduce algorithmic entropies (like algorithmic quantum coherent information) and derive relevant properties for them. Then we show that quantum capacity based on semi-computable concept equals the entropy rate of algorithmic coherent information, which in turn equals the standard quantum capacity. Thanks to this, we finally prove that the quantum capacity, for a given semi-computable channel, is limit computable.
Introduction to mathematics of satisfiability
Marek, Victor W
2009-01-01
Although this area has a history of over 80 years, it was not until the creation of efficient SAT solvers in the mid-1990s that it became practically important, finding applications in electronic design automation, hardware and software verification, combinatorial optimization, and more. Exploring the theoretical and practical aspects of satisfiability, Introduction to Mathematics of Satisfiability focuses on the satisfiability of theories consisting of propositional logic formulas. It describes how SAT solvers and techniques are applied to problems in mathematics and computer science as well
A concise history of mathematics
Struik, Dirk J
1987-01-01
This compact, well-written history - first published in 1948, and now in its fourth revised edition - describes the main trends in the development of all fields of mathematics from the first available records to the middle of the 20th century. Students, researchers, historians, specialists - in short, everyone with an interest in mathematics - will find it engrossing and stimulating.Beginning with the ancient Near East, the author traces the ideas and techniques developed in Egypt, Babylonia, China, and Arabia, looking into such manuscripts as the Egyptian Papyrus Rhind, the Ten Classics of C
Mathematical Approaches to Cognitive Linguistics
Directory of Open Access Journals (Sweden)
Chuluundorj Begz
2013-05-01
Full Text Available Cognitive linguistics, neuro-cognitive and psychological analysis of human verbal cognition present important area of multidisciplinary research. Mathematical methods and models have been introduced in number of publications with increasing attention to these theories. In this paper we have described some possible applications of mathematical methods to cognitive linguistics. Human verbal perception and verbal mapping deal with dissipative mental structures and symmetric/asymmetric relationships between objects of perception and deep (also surface structures of language. In that’s way methods of tensor analysis are ambitious candidate to be applied to analysis of human verbal thinking and mental space.
CERN. Geneva; PUNZI, Giovanni
2015-01-01
Charge particle reconstruction is one of the most demanding computational tasks found in HEP, and it becomes increasingly important to perform it in real time. We envision that HEP would greatly benefit from achieving a long-term goal of making track reconstruction happen transparently as part of the detector readout ("detector-embedded tracking"). We describe here a track-reconstruction approach based on a massively parallel pattern-recognition algorithm, inspired by studies of the processing of visual images by the brain as it happens in nature ('RETINA algorithm'). It turns out that high-quality tracking in large HEP detectors is possible with very small latencies, when this algorithm is implemented in specialized processors, based on current state-of-the-art, high-speed/high-bandwidth digital devices.
ROBUST CONTROL ALGORITHM FOR MULTIVARIABLE PLANTS WITH QUANTIZED OUTPUT
Directory of Open Access Journals (Sweden)
A. A. Margun
2017-01-01
Full Text Available The paper deals with robust output control algorithm for multivariable plants under disturbances. A plant is described by the system of linear differential equations with known relative degrees. Plant parameters are unknown but belong to the known closed bounded set. Plant state vector is unmeasured. Plant output is measured only via static quantizer. Control system algorithm is based on the high gain feedback method. Developed controller provides exponential convergence of tracking error to the bounded area. The area bounds depend on quantizer parameters and the value of external disturbances. Experimental approbation of the proposed control algorithm is performed with the use of Twin Rotor MIMO System laboratory bench. This bench is a helicopter like model with two degrees of freedom (pitch and yaw. DC motors are used as actuators. The output signals are measured via optical encoders. Mathematical model of laboratory bench is obtained. Proposed algorithm was compared with proportional - integral – differential controller in conditions of output quantization. Obtained results have confirmed the efficiency of proposed controller.
Adam Smith in the Mathematics Classroom
Lipsey, Sally I.
1975-01-01
The author describes a series of current economic ideas and situations which can be used in the mathematics classroom to illustrate the use of signed numbers, the coordinate system, univariate and multivariate functions, linear programing, and variation. (SD)
Cooking Potatoes: Experimentation and Mathematical Modeling.
Chen, Xiao Dong
2002-01-01
Describes a laboratory activity involving a mathematical model of cooking potatoes that can be solved analytically. Highlights the microstructure aspects of the experiment. Provides the key aspects of the results, detailed background readings, laboratory procedures and data analyses. (MM)
A Novel Discrete Differential Evolution Algorithm for the Vehicle Routing Problem in B2C E-Commerce
Xia, Chao; Sheng, Ying; Jiang, Zhong-Zhong; Tan, Chunqiao; Huang, Min; He, Yuanjian
2015-12-01
In this paper, a novel discrete differential evolution (DDE) algorithm is proposed to solve the vehicle routing problems (VRP) in B2C e-commerce, in which VRP is modeled by the incomplete graph based on the actual urban road system. First, a variant of classical VRP is described and a mathematical programming model for the variant is given. Second, the DDE is presented, where individuals are represented as the sequential encoding scheme, and a novel reparation operator is employed to repair the infeasible solutions. Furthermore, a FLOYD operator for dealing with the shortest route is embedded in the proposed DDE. Finally, an extensive computational study is carried out in comparison with the predatory search algorithm and genetic algorithm, and the results show that the proposed DDE is an effective algorithm for VRP in B2C e-commerce.
Mathematics without boundaries surveys in pure mathematics
Pardalos, Panos
2014-01-01
The contributions in this volume have been written by eminent scientists from the international mathematical community and present significant advances in several theories, methods and problems of Mathematical Analysis, Discrete Mathematics, Geometry and their Applications. The chapters focus on both old and recent developments in Functional Analysis, Harmonic Analysis, Complex Analysis, Operator Theory, Combinatorics, Functional Equations, Differential Equations as well as a variety of Applications. The book also contains some review works, which could prove particularly useful for a broader audience of readers in Mathematical Sciences, and especially to graduate students looking for the latest information.
Plans should abstractly describe intended behavior
Energy Technology Data Exchange (ETDEWEB)
Pfleger, K.; Hayes-Roth, B. [Stanford Univ., CA (United States)
1996-12-31
Planning is the process of formulating a potential course of action. How courses of action (plans) produced by a planning module are represented and how they are used by execution-oriented modules of a complex agent to influence or dictate behavior are critical architectural issues. In contrast to the traditional model of plans as executable programs that dictate precise behaviors, we claim that autonomous agents inhabiting dynamic, unpredictable environments can make better use of plans that only abstractly describe their intended behavior. Such plans only influence or constrain behavior, rather than dictating it. This idea has been discussed in a variety of contexts, but it is seldom incorporated into working complex agents. Experiments involving instantiations of our Adaptive Intelligent Systems architecture in a variety of domains have demonstrated the generality and usefulness of the approach, even with our currently simple plan representation and mechanisms for plan following. The behavioral benefits include (1) robust improvisation of goal-directed behavior in response to dynamic situations, (2) ready exploitation of dynamically acquired knowledge or behavioral capabilities, and (3) adaptation based on dynamic aspects of coordinating diverse behaviors to achieve multiple goals. In addition to these run-time advantages, the approach has useful implications for the design and configuration of agents. Indeed, the core ideas of the approach are natural extensions of fundamental ideas in software engineering.
Describing and Enhancing Collaboration at the Computer
Directory of Open Access Journals (Sweden)
Ken Beatty
2002-06-01
Full Text Available Computer-based learning materials differ from classroom practice in that they seldom explicitly offer opportunities for collaboration. Despite this, students do collaborate, helping one another through the content and affordances of computer materials. But, in doing so, students meet with challenges. Paradoxically, these challenges can either inspire or discourage learning and second-language acquisition. This paper, based on research with twenty Hong Kong university students in a controlled experiment, evaluates challenges to collaboration at the computer as evidenced by discourse. The students were videotaped and their discourse transcribed and evaluated both qualitatively and quantitatively, according to a set of discourse markers created to describe collaborative, non-collaborative and ambiguous strategies. The paper begins by exploring the differences between collaboration and similar terms such as teamwork and cooperative learning then goes on to define collaboration in the context of computer-assisted learning. It ends by presenting practical suggestions for software designers, teachers and students to enhance collaboration at the computer.
DEFF Research Database (Denmark)
Markham, Annette
This paper takes an actor network theory approach to explore some of the ways that algorithms co-construct identity and relational meaning in contemporary use of social media. Based on intensive interviews with participants as well as activity logging and data tracking, the author presents a richly...... layered set of accounts to help build our understanding of how individuals relate to their devices, search systems, and social network sites. This work extends critical analyses of the power of algorithms in implicating the social self by offering narrative accounts from multiple perspectives. It also...... contributes an innovative method for blending actor network theory with symbolic interaction to grapple with the complexity of everyday sensemaking practices within networked global information flows....
Critical function monitoring system algorithm development
International Nuclear Information System (INIS)
Harmon, D.L.
1984-01-01
Accurate critical function status information is a key to operator decision-making during events threatening nuclear power plant safety. The Critical Function Monitoring System provides continuous critical function status monitoring by use of algorithms which mathematically represent the processes by which an operating staff would determine critical function status. This paper discusses in detail the systematic design methodology employed to develop adequate Critical Function Monitoring System algorithms
Protective relaying of power systems using mathematical morphology
Wu, QH; Ji, TY
2009-01-01
Discusses the development of novel protective relaying algorithms, using Mathematical Morphology (MM). This book introduces the fundamental principles of MM, and brings together the applications of MM to develop different protective relaying algorithms for the protection of a variety of power system components.
Directory of Open Access Journals (Sweden)
Hanns Holger Rutz
2016-11-01
Full Text Available Although the concept of algorithms has been established a long time ago, their current topicality indicates a shift in the discourse. Classical definitions based on logic seem to be inadequate to describe their aesthetic capabilities. New approaches stress their involvement in material practices as well as their incompleteness. Algorithmic aesthetics can no longer be tied to the static analysis of programs, but must take into account the dynamic and experimental nature of coding practices. It is suggested that the aesthetic objects thus produced articulate something that could be called algorithmicity or the space of algorithmic agency. This is the space or the medium – following Luhmann’s form/medium distinction – where human and machine undergo mutual incursions. In the resulting coupled “extimate” writing process, human initiative and algorithmic speculation cannot be clearly divided out any longer. An observation is attempted of defining aspects of such a medium by drawing a trajectory across a number of sound pieces. The operation of exchange between form and medium I call reconfiguration and it is indicated by this trajectory.
Sayeski, Kristin L.; Paulsen, Kim J.
2010-01-01
In many general education classrooms today, teachers are using "reform" mathematics curricula. These curricula emphasize the application of mathematics in real-life contexts and include such practices as collaborative, group problem solving and student-generated algorithms. Students with learning disabilities in the area of mathematics can…
Could Elementary Mathematics Textbooks Help Give Attention to Reasons in the Classroom?
Newton, Douglas P.; Newton, Lynn D.
2007-01-01
Trainee teachers, new and non-specialist teachers of elementary mathematics have a tendency to avoid thought about reasons in mathematics. Instead, they tend to favour the development of computational skill through the rote application of procedures, routines and algorithms. Could elementary mathematics textbooks serve as models of practice and…
The Role of Expository Writing in Mathematical Problem Solving
Craig, Tracy S.
2016-01-01
Mathematical problem-solving is notoriously difficult to teach in a standard university mathematics classroom. The project on which this article reports aimed to investigate the effect of the writing of explanatory strategies in the context of mathematical problem solving on problem-solving behaviour. This article serves to describe the…
The Role of Mathematics Learning Centres in Engineering Education.
Fuller, Milton
2002-01-01
Points out the diminishing demand for mathematics undergraduate programs and the strong trend in engineering education to make greater use of computer coursework such as Mathcad, Matlab, and other software systems for the mathematical and statistical components of engineering programs. Describes the changing role of mathematics learning centers…
New Readings in Greek Mathematics: Sources, Problems, Publications.
Knorr, Wilbur R.
1990-01-01
The field of ancient Greek mathematics is discussed in terms of how representative is the surviving corpus of the ancient achievement in mathematics, the patterns of thought by which they were discovered, and the construction of mathematics during this period. The research being done in this field is described. (KR)
Tasks that May Occasion Mathematical Creativity: Teachers' Choices
Levenson, Esther
2013-01-01
Promoting mathematical creativity is one of the aims of mathematics education. This study investigates the tasks teachers chose when their aim was to occasion mathematical creativity in the classroom. Five cases are described in depth, and general trends found among these cases as well as in additional data are discussed. Findings indicated that…
Mathematics Education in Singapore--An Insider's Perspective
Kaur, Berinderjeet
2014-01-01
Singapore's Education System has evolved over time and so has Mathematics Education in Singapore. The present day School Mathematics Curricula can best be described as one that caters for the needs of every child in school. It is based on a framework that has mathematical problem solving as its primary focus. The developments from 1946 to 2012…
Standards for Reporting Mathematics Professional Development in Research Studies
Sztajn, Paola
2011-01-01
This Research Commentary addresses the need for standards for describing mathematics professional development in mathematics education research reports. Considering that mathematics professional development is an emerging research field, it is timely to set expectations for what constitutes high-quality reporting in this field. (Contains 2 tables.)
Mathematics in Literature and Cinema: An Interdisciplinary Course
Chabrán, H. Rafael; Kozek, Mark
2016-01-01
We describe our team-taught, interdisciplinary course "Numb3rs in Lett3rs & Fi1ms: Mathematics in Literature and Cinema," which explores mathematics in the context of modern literature and cinema. Our goal with this course is to advance collaborations between mathematics and the written/theatre-based creative arts.
Describing pediatric dysphonia with nonlinear dynamic parameters
Meredith, Morgan L.; Theis, Shannon M.; McMurray, J. Scott; Zhang, Yu; Jiang, Jack J.
2008-01-01
Objective Nonlinear dynamic analysis has emerged as a reliable and objective tool for assessing voice disorders. However, it has only been tested on adult populations. In the present study, nonlinear dynamic analysis was applied to normal and dysphonic pediatric populations with the goal of collecting normative data. Jitter analysis was also applied in order to compare nonlinear dynamic and perturbation measures. This study’s findings will be useful in creating standards for the use of nonlinear dynamic analysis as a tool to describe dysphonia in the pediatric population. Methods The study included 38 pediatric subjects (23 children with dysphonia and 15 without). Recordings of sustained vowels were obtained from each subject and underwent nonlinear dynamic analysis and percent jitter analysis. The resulting correlation dimension (D2) and percent jitter values were compared across the two groups using t-tests set at a significance level of p = 0.05. Results It was shown that D2 values covary with the presence of pathology in children. D2 values were significantly higher in dysphonic children than in normal children (p = 0.002). Standard deviations indicated a higher level of variation in normal children’s D2 values than in dysphonic children’s D2 values. Jitter analysis showed markedly higher percent jitter in dysphonic children than in normal children (p = 0.025) and large standard deviations for both groups. Conclusion This study indicates that nonlinear dynamic analysis could be a viable tool for the detection and assessment of dysphonia in children. Further investigations and more normative data are needed to create standards for using nonlinear dynamic parameters for the clinical evaluation of pediatric dysphonia. PMID:18947887
Principal component analysis networks and algorithms
Kong, Xiangyu; Duan, Zhansheng
2017-01-01
This book not only provides a comprehensive introduction to neural-based PCA methods in control science, but also presents many novel PCA algorithms and their extensions and generalizations, e.g., dual purpose, coupled PCA, GED, neural based SVD algorithms, etc. It also discusses in detail various analysis methods for the convergence, stabilizing, self-stabilizing property of algorithms, and introduces the deterministic discrete-time systems method to analyze the convergence of PCA/MCA algorithms. Readers should be familiar with numerical analysis and the fundamentals of statistics, such as the basics of least squares and stochastic algorithms. Although it focuses on neural networks, the book only presents their learning law, which is simply an iterative algorithm. Therefore, no a priori knowledge of neural networks is required. This book will be of interest and serve as a reference source to researchers and students in applied mathematics, statistics, engineering, and other related fields.
Algorithms for worst-case tolerance optimization
DEFF Research Database (Denmark)
Schjær-Jacobsen, Hans; Madsen, Kaj
1979-01-01
New algorithms are presented for the solution of optimum tolerance assignment problems. The problems considered are defined mathematically as a worst-case problem (WCP), a fixed tolerance problem (FTP), and a variable tolerance problem (VTP). The basic optimization problem without tolerances...... is denoted the zero tolerance problem (ZTP). For solution of the WCP we suggest application of interval arithmetic and also alternative methods. For solution of the FTP an algorithm is suggested which is conceptually similar to algorithms previously developed by the authors for the ZTP. Finally, the VTP...... is solved by a double-iterative algorithm in which the inner iteration is performed by the FTP- algorithm. The application of the algorithm is demonstrated by means of relatively simple numerical examples. Basic properties, such as convergence properties, are displayed based on the examples....
Coaching in Early Mathematics.
Germeroth, Carrie; Sarama, Julie
2017-01-01
Falling scores in math have prompted a renewed interest in math instruction at early ages. By their own admission, early childhood educators are generally underprepared and not always comfortable teaching math. Professional development (PD) in early mathematics is widely considered a main way to increase teachers' skills and efficacy (e.g., Guskey, 2000; Hyson & Woods, 2014; Munby, Russell, & Martin, 2001; Piasta, Logan, Pelatti, Capps, & Petrill, 2015; Richardson & Placier, 2001; Sarama, Clements, Wolfe, & Spitler, 2016; Sarama & DiBiase, 2004; Zaslow, 2014). However, it has been documented that stand-alone PD is not as effective in changing practice (e.g., Biancarosa & Bryk, 2011; Garet et al., 2008; Guskey, 2000; Hyson & Woods, 2014; Institute of Medicine and National Research Council, 2015; Joyce & Showers, 2002; Zaslow, 2014). Site-embedded ongoing support in the form of coaching or mentoring has been shown to be critical for successful implementation (Neuman & Cunningham, 2009; Powell, Diamond, Burchinal, & Koehler, 2010). In this chapter, we describe coaching models and abstract characteristics of effective coaching from the research. With this background, we provide an in-depth view of the coaching aspect of two large empirical studies in early mathematics. We introduce the theoretical framework from which the coaching models for these projects were developed and describe the research on which they were based. We then summarize how the planned models were instantiated and challenges to their implementation within each project. In the final section, we summarize what we have learned and described implications and challenges for the field. © 2017 Elsevier Inc. All rights reserved.
Mathematics, curriculum and assessment: The role of taxonomies in the quest for coherence
Directory of Open Access Journals (Sweden)
Caroline Long
2014-12-01
Full Text Available A challenge encountered when monitoring mathematics teaching and learning at high school is that taxonomies such as Bloom’s, and variations of this work, are not entirely adequate for providing meaningful feedback to teachers beyond very general cognitive categories that are difficult to interpret. Challenges of this nature are also encountered in the setting of examinations, where the requirement is to cover a range of skills and cognitive domains. The contestation as to the cognitive level is inevitable as it is necessary to analyse the relationship between the problem and the learners’ background experience. The challenge in the project described in this article was to find descriptive terms that would be meaningful to teachers. The first attempt at providing explicit feedback was to apply the assessment frameworks that include a content component and a cognitive component, namely knowledge, routine procedures, complex procedures and problem solving, currently used in the South African curriculum documents. The second attempt investigated various taxonomies, including those used in international assessments and in mathematics education research, for constructs that teachers of mathematics might find meaningful. The final outcome of this investigation was to apply the dimensions required to understand a mathematical concept proposed by Usiskin (2012: the skills-algorithm, property-proof, use-application and representation-metaphor dimension. A feature of these dimensions is that they are not hierarchical; rather, within each of the dimensions, the mathematical task may demand recall but may also demand the highest level of creativity. For our purpose, we developed a two-way matrix using Usiskin’s dimensions on one axis and a variation of Bloom’s revised taxonomy on the second axis. Our findings are that this two-way matrix provides an alternative to current taxonomies, is more directly applicable to mathematics and provides the
Real World Connections in High School Mathematics Curriculum and Teaching
Directory of Open Access Journals (Sweden)
Gökhan Karakoç
2015-04-01
Full Text Available Making real world connections in mathematics curricula and in teaching mathematics is generally viewed favorably within the educational community, however, little empirical research has examined how and why to use real world connections in mathematics education based on the views of experts. This study describes the feasibility of the use of real world connections according to high school mathematics teachers and academicians of mathematics education. Opinions of high school mathematics teachers (n=16 and academicians (n=8 about advantages, disadvantages, and examples of real world connections are elicited and reported. Teachers and academicians report several advantages of the use of real world connections in teaching mathematics as well as its disadvantages and limitations. Suggestions about dealing with limiting factors for using real world connections are also reported. Keywords: Mathematics curriculum, real world connections, mathematics teaching
Mathematics Anxiety: What Have We Learned in 60 Years?
Dowker, Ann; Sarkar, Amar; Looi, Chung Yen
2016-01-01
The construct of mathematics anxiety has been an important topic of study at least since the concept of “number anxiety” was introduced by Dreger and Aiken (1957), and has received increasing attention in recent years. This paper focuses on what research has revealed about mathematics anxiety in the last 60 years, and what still remains to be learned. We discuss what mathematics anxiety is; how distinct it is from other forms of anxiety; and how it relates to attitudes to mathematics. We discuss the relationships between mathematics anxiety and mathematics performance. We describe ways in which mathematics anxiety is measured, both by questionnaires, and by physiological measures. We discuss some possible factors in mathematics anxiety, including genetics, gender, age, and culture. Finally, we describe some research on treatment. We conclude with a brief discussion of what still needs to be learned. PMID:27199789
Mathematics anxiety: what have we learned in 60 years?
Directory of Open Access Journals (Sweden)
Ann eDowker
2016-04-01
Full Text Available The construct of mathematics anxiety has been an important topic of study at least since the concept of 'number anxiety' was introduced by Dreger & Aiken (1957, and has received increasing attention in recent years. This paper focuses on what research has revealed about mathematics anxiety in the last 60 years, and what still remains to be learned. We discuss what mathematics anxiety is; how distinct it is from other forms of anxiety; and how it relates to attitudes to mathematics. We discuss the relationships between mathematics anxiety and mathematics performance. We describe ways in which mathematics anxiety is measured, both by questionnaires, and by physiological measures. We discuss some possible factors in mathematics anxiety, including genetics, gender, age and culture. Finally, we describe some research on treatment. We conclude with a brief discussion of what still needs to be learned.
3rd International Conference on Computational Mathematics and Computational Geometry
Ravindran, Anton
2016-01-01
This volume presents original research contributed to the 3rd Annual International Conference on Computational Mathematics and Computational Geometry (CMCGS 2014), organized and administered by Global Science and Technology Forum (GSTF). Computational Mathematics and Computational Geometry are closely related subjects, but are often studied by separate communities and published in different venues. This volume is unique in its combination of these topics. After the conference, which took place in Singapore, selected contributions chosen for this volume and peer-reviewed. The section on Computational Mathematics contains papers that are concerned with developing new and efficient numerical algorithms for mathematical sciences or scientific computing. They also cover analysis of such algorithms to assess accuracy and reliability. The parts of this project that are related to Computational Geometry aim to develop effective and efficient algorithms for geometrical applications such as representation and computati...
Misu, La; Ketut Budayasa, I.; Lukito, Agung
2018-03-01
This study describes the metacognition profile of mathematics and mathematics education students in understanding the concept of integral calculus. The metacognition profile is a natural and intact description of a person’s cognition that involves his own thinking in terms of using his knowledge, planning and monitoring his thinking process, and evaluating his thinking results when understanding a concept. The purpose of this study was to produce the metacognition profile of mathematics and mathematics education students in understanding the concept of integral calculus. This research method is explorative method with the qualitative approach. The subjects of this study are mathematics and mathematics education students who have studied integral calculus. The results of this study are as follows: (1) the summarizing category, the mathematics and mathematics education students can use metacognition knowledge and metacognition skills in understanding the concept of indefinite integrals. While the definite integrals, only mathematics education students use metacognition skills; and (2) the explaining category, mathematics students can use knowledge and metacognition skills in understanding the concept of indefinite integrals, while the definite integrals only use metacognition skills. In addition, mathematics education students can use knowledge and metacognition skills in understanding the concept of both indefinite and definite integrals.
Schleicher, Dierk
2011-01-01
This "Invitation to Mathematics" consists of 14 contributions, many from the world's leading mathematicians, which introduce the readers to exciting aspects of current mathematical research. The contributions are as varied as the personalities of active mathematicians, but together they show mathematics as a rich and lively field of research. The contributions are written for interested students at the age of transition between high school and university who know high school mathematics and perhaps competition mathematics and who want to find out what current research mathematics is
Identifying and Describing Tutor Archetypes: The Pragmatist, the Architect, and the Surveyor
Harootunian, Jeff A.; Quinn, Robert J.
2008-01-01
In this article, the authors identify and anecdotally describe three tutor archetypes: the pragmatist, the architect, and the surveyor. These descriptions, based on observations of remedial mathematics tutors at a land-grant university, shed light on a variety of philosophical beliefs regarding and pedagogical approaches to tutoring. An analysis…
Using the Language of Sets to Describe Nested Systems in Emergy Evaluations
The language of set theory has been recently used to describe the emergy evaluation of a process. In this paper this mathematical language is used as a guide to evaluate the emergy of nested systems. We analyze a territorial system on multiple scales as an example of hierarchical...
Directory of Open Access Journals (Sweden)
Luis Pérez Pozo
2015-11-01
Full Text Available This work presents the operational optimization of a welding operation involving using genetic algorithms. The welding curves correspond to the profile of a blade-shaped Pelton turbine. The procedure involved the development of a series of tests and observation of the parameters that will be controlled during the welding process. After the tests were performed, the samples were prepared for chemical attack, which allowed observation of the penetration, weld area, and dilution. After that, mathematical models were developed that correlate the controllable welding parameters with the aforementioned bead parameters. In those mathematical models, the optimization of the process parameters was performed using genetic algorithms. Specially programmed functions for mutation, reproduction, and initialization processes were written and used in the implemented model. After the optimization process was completed, the results were evaluated through new tests to verify whether the obtained objective functions properly describe the characteristics of the weld. The comparisons showed errors of less than 6%.
The Mathematical Modelling of Heat Transfer in Electrical Cables
Directory of Open Access Journals (Sweden)
Bugajev Andrej
2014-05-01
Full Text Available This paper describes a mathematical modelling approach for heat transfer calculations in underground high voltage and middle voltage electrical power cables. First of the all typical layout of the cable in the sand or soil is described. Then numerical algorithms are targeted to the two-dimensional mathematical models of transient heat transfer. Finite Volume Method is suggested for calculations. Different strategies of nonorthogonality error elimination are considered. Acute triangles meshes were applied in two-dimensional domain to eliminate this error. Adaptive mesh is also tried. For calculations OpenFOAM open source software which uses Finite Volume Method is applied. To generate acute triangles meshes aCute library is used. The efficiency of the proposed approach is analyzed. The results show that the second order of convergence or close to that is achieved (in terms of sizes of finite volumes. Also it is shown that standard strategy, used by OpenFOAM is less efficient than the proposed approach. Finally it is concluded that for solving real problem a spatial adaptive mesh is essential and adaptive time steps also may be needed.
Casanova, Henri; Robert, Yves
2008-01-01
""…The authors of the present book, who have extensive credentials in both research and instruction in the area of parallelism, present a sound, principled treatment of parallel algorithms. … This book is very well written and extremely well designed from an instructional point of view. … The authors have created an instructive and fascinating text. The book will serve researchers as well as instructors who need a solid, readable text for a course on parallelism in computing. Indeed, for anyone who wants an understandable text from which to acquire a current, rigorous, and broad vi
DEFF Research Database (Denmark)
Gustavson, Fred G.; Reid, John K.; Wasniewski, Jerzy
2007-01-01
We present subroutines for the Cholesky factorization of a positive-definite symmetric matrix and for solving corresponding sets of linear equations. They exploit cache memory by using the block hybrid format proposed by the authors in a companion article. The matrix is packed into n(n + 1)/2 real...... variables, and the speed is usually better than that of the LAPACK algorithm that uses full storage (n2 variables). Included are subroutines for rearranging a matrix whose upper or lower-triangular part is packed by columns to this format and for the inverse rearrangement. Also included is a kernel...
Aberdein, Andrew
2014-01-01
This book presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. It offers large array of examples ranging from the history of mathematics to formal proof verification.
Mathematical knowledge in teaching
Rowland, Tim
2011-01-01
This book examines issues of considerable significance in addressing global aspirations to raise standards of teaching and learning in mathematics by developing approaches to characterizing, assessing and developing mathematical knowledge for teaching.
Developing My Mathematics Identity
Gonzalez, Lidia
2016-01-01
Assuming the role of storyteller, the author uses her experiences as a graduate student and beginning teacher to reflect critically on issues related to mathematics, mathematics education, gender, and diversity.
Journal of applied mathematics
National Research Council Canada - National Science Library
2001-01-01
"[The] Journal of Applied Mathematics is a refereed journal devoted to the publication of original research papers and review articles in all areas of applied, computational, and industrial mathematics...
Semiotic Scaffolding in Mathematics
DEFF Research Database (Denmark)
Johansen, Mikkel Willum; Misfeldt, Morten
2015-01-01
This paper investigates the notion of semiotic scaffolding in relation to mathematics by considering its influence on mathematical activities, and on the evolution of mathematics as a research field. We will do this by analyzing the role different representational forms play in mathematical...... cognition, and more broadly on mathematical activities. In the main part of the paper, we will present and analyze three different cases. For the first case, we investigate the semiotic scaffolding involved in pencil and paper multiplication. For the second case, we investigate how the development of new...... in both mathematical cognition and in the development of mathematics itself, but mathematical cognition cannot itself be reduced to the use of semiotic scaffolding....
Mathematics for the nonmathematician
Kline, Morris
1967-01-01
Erudite and entertaining overview follows development of mathematics from ancient Greeks to present. Topics include logic and mathematics, the fundamental concept, differential calculus, probability theory, much more. Exercises and problems.
Mathematical Modeling Using MATLAB
National Research Council Canada - National Science Library
Phillips, Donovan
1998-01-01
.... Mathematical Modeling Using MA MATLAB acts as a companion resource to A First Course in Mathematical Modeling with the goal of guiding the reader to a fuller understanding of the modeling process...
Mathematical cardiac electrophysiology
Colli Franzone, Piero; Scacchi, Simone
2014-01-01
This book covers the main mathematical and numerical models in computational electrocardiology, ranging from microscopic membrane models of cardiac ionic channels to macroscopic bidomain, monodomain, eikonal models and cardiac source representations. These advanced multiscale and nonlinear models describe the cardiac bioelectrical activity from the cell level to the body surface and are employed in both the direct and inverse problems of electrocardiology. The book also covers advanced numerical techniques needed to efficiently carry out large-scale cardiac simulations, including time and space discretizations, decoupling and operator splitting techniques, parallel finite element solvers. These techniques are employed in 3D cardiac simulations illustrating the excitation mechanisms, the anisotropic effects on excitation and repolarization wavefronts, the morphology of electrograms in normal and pathological tissue and some reentry phenomena. The overall aim of the book is to present rigorously the mathematica...
In-Place Algorithms for Computing (Layers of) Maxima
DEFF Research Database (Denmark)
Blunck, Henrik; Vahrenhold, Jan
2010-01-01
We describe space-efficient algorithms for solving problems related to finding maxima among points in two and three dimensions. Our algorithms run in optimal time and occupy only constant extra......We describe space-efficient algorithms for solving problems related to finding maxima among points in two and three dimensions. Our algorithms run in optimal time and occupy only constant extra...
Modern mathematics made simple
Murphy, Patrick
1982-01-01
Modern Mathematics: Made Simple presents topics in modern mathematics, from elementary mathematical logic and switching circuits to multibase arithmetic and finite systems. Sets and relations, vectors and matrices, tesselations, and linear programming are also discussed.Comprised of 12 chapters, this book begins with an introduction to sets and basic operations on sets, as well as solving problems with Venn diagrams. The discussion then turns to elementary mathematical logic, with emphasis on inductive and deductive reasoning; conjunctions and disjunctions; compound statements and conditional
Algorithms for Scheduling and Network Problems
1991-09-01
time. We already know, by Lemma 2.2.1, that WOPT = O(log( mpU )), so if we could solve this integer program optimally we would be done. However, the...Folydirat, 15:177-191, 1982. [6] I.S. Belov and Ya. N. Stolin. An algorithm in a single path operations scheduling problem. In Mathematical Economics and
M4GB : Efficient Groebner Basis algorithm
R.H. Makarim (Rusydi); M.M.J. Stevens (Marc)
2017-01-01
textabstractWe introduce a new efficient algorithm for computing Groebner-bases named M4GB. Like Faugere's algorithm F4 it is an extension of Buchberger's algorithm that describes: how to store already computed (tail-)reduced multiples of basis polynomials to prevent redundant work in the reduction
DBH Prediction Using Allometry Described by Bivariate Copula Distribution
Xu, Q.; Hou, Z.; Li, B.; Greenberg, J. A.
2017-12-01
Forest biomass mapping based on single tree detection from the airborne laser scanning (ALS) usually depends on an allometric equation that relates diameter at breast height (DBH) with per-tree aboveground biomass. The incapability of the ALS technology in directly measuring DBH leads to the need to predict DBH with other ALS-measured tree-level structural parameters. A copula-based method is proposed in the study to predict DBH with the ALS-measured tree height and crown diameter using a dataset measured in the Lassen National Forest in California. Instead of exploring an explicit mathematical equation that explains the underlying relationship between DBH and other structural parameters, the copula-based prediction method utilizes the dependency between cumulative distributions of these variables, and solves the DBH based on an assumption that for a single tree, the cumulative probability of each structural parameter is identical. Results show that compared with the bench-marking least-square linear regression and the k-MSN imputation, the copula-based method obtains better accuracy in the DBH for the Lassen National Forest. To assess the generalization of the proposed method, prediction uncertainty is quantified using bootstrapping techniques that examine the variability of the RMSE of the predicted DBH. We find that the copula distribution is reliable in describing the allometric relationship between tree-level structural parameters, and it contributes to the reduction of prediction uncertainty.
Modern Versus Traditional Mathematics
Roberts, A. M.
1974-01-01
The effect of different secondary school mathematics syllabi on first-year performance in college-level mathematics was studied in an attempt to evaluate the syllabus change. Students with a modern mathematics background performed sigficantly better on most first-year units. A topic-by-topic analysis of results is included. (DT)
Mathematics and quantum mechanics
International Nuclear Information System (INIS)
Santander, M.
2000-01-01
Several episodes in the relation between Mathematics and Quantum Mechanics are discussed; and the emphasis is put in the existence of multiple and sometimes unexpected connections between ideas originating in Mathematics and in Quantum Physics. The question of the unresasonable effectiveness of Mathematics in Physics is also presented in the same light. (Author) 3 refs
Mathematics Teaching as Praxis
Grootenboer, Peter; Edwards-Groves, Christine
2014-01-01
In this paper we argue that mathematics teaching can be conceptualised as a form of praxis. Viewing mathematics teaching as praxis foregrounds the moral nature of teaching and the educational practices that are developed in response to the educational needs in particular sites. The case for praxis in mathematics education is then made by drawing…
Mathematics a minimal introduction
Buium, Alexandru
2013-01-01
Pre-Mathematical Logic Languages Metalanguage Syntax Semantics Tautologies Witnesses Theories Proofs Argot Strategies Examples Mathematics ZFC Sets Maps Relations Operations Integers Induction Rationals Combinatorics Sequences Reals Topology Imaginaries Residues p-adics Groups Orders Vectors Matrices Determinants Polynomials Congruences Lines Conics Cubics Limits Series Trigonometry Integrality Reciprocity Calculus Metamodels Categories Functors Objectives Mathematical Logic Models Incompleteness Bibliography Index
Mendick, Heather
2006-01-01
The study of mathematics, with other ''gendered'' subjects such as science and engineering, usually attracts more male than female pupils. This book explores this phenomenon, addressing the important question of why more boys than girls choose to study mathematics. It illuminates what studying mathematics means for both students and teachers.
Mathematics Connection: Editorial Policies
African Journals Online (AJOL)
Focus and Scope. MATHEMATICS CONNECTION aims at providing a forum to promote the development of Mathematics Education in Ghana. Articles that seek to enhance the teaching and/or learning of mathematics at all levels of the educational system are welcome ...