Maple (Computer Algebra System) in Teaching Pre-Calculus: Example of Absolute Value Function
ERIC Educational Resources Information Center
Tuluk, Güler
2014-01-01
Modules in Computer Algebra Systems (CAS) make Mathematics interesting and easy to understand. The present study focused on the implementation of the algebraic, tabular (numerical), and graphical approaches used for the construction of the concept of absolute value function in teaching mathematical content knowledge along with Maple 9. The study…
Applications of Maple To Algebraic Cryptography.
ERIC Educational Resources Information Center
Sigmon, Neil P.
1997-01-01
Demonstrates the use of technology to enhance the appreciation of applications involving abstract algebra. The symbolic manipulator Maple can perform computations required for a linear cryptosystem. One major benefit of this process is that students can encipher and decipher messages using a linear cryptosystem without becoming confused and…
NASA Astrophysics Data System (ADS)
Nicolaides, Roy A.; Walkington, Noel J.
1996-06-01
A knowledge of one or more high level symbolic mathematics programs is rapidly becoming a necessity for mathematics users from all fields of science. The aim of this book is to provide a solid grounding in Maple, one of the best known of these programs. The authors combine efficiency and economy of exposition with a complete coverage of Maple. The book has twelve chapters, of which eight are completely accessible to anyone who has completed calculus and linear sequences as taught in American universities. These chapters cover the great majority of Maple's capabilities. There are also three chapters on Maple programming that can be read without prior programming experience, although knowledge of a high level programming language (Basic, Fortran, C etc.) will help. There is also a chapter on some relevant aspects of algebra. Above all, the book allows the reader to extract value from Maple without wasting time and effort in the learning process. It is the fastest track to expertise for Maple users in mathematics and computer science.
Born total ionisation cross sections: An algebraic computing program using Maple
NASA Astrophysics Data System (ADS)
Bartlett, Philip L.; Stelbovics, Andris T.
2003-08-01
The software described in this paper uses the Maple algebraic computing environment to calculate an analytic form for the matrix element of the plane-wave Born approximation of the electron-impact ionisation of an atomic orbital, with arbitrary orbital and angular momentum quantum numbers. The atomic orbitals are approximated by Hartree-Fock Slater functions, and the ejected electron is modelled by a hydrogenic Coulomb wave, made orthogonal to all occupied orbitals of the target atom. Clenshaw-Curtis integration techniques are then used to calculate the total ionisation cross-section. For improved performance, the numerical integrations are performed using FORTRAN by automatically converting the analytic matrix element for each orbital into a FORTRAN subroutine. The results compare favourably with experimental data for a wide range of elements, including the transition metals, with excellent convergence at high energies. Program summaryTitle of program: BIX Catalogue identifier:ADRZ Program summary URL:http://www.cpc.cs.qub.ac.uk/cpc/summaries/ADRZ Program obtainable from:CPC Program Library, Queen's University of Belfast, N. Ireland Computers: Platform independent Operating systems: Tested on DEC Alpha Unix, Windows NT 4.0 and Windows XP Professional Edition Programming language used: Maple V Release 5.1 and FORTRAN 90 Memory required: 256 MB No. of processors used: 1 No. of bytes in distributed program, including test data, etc.:61754 Distributed format:tar gzip file Keywords: Born approximation, electron-impact ionisation cross-section, Maple, Hartree-Fock Nature of physical problem: Calculates the total electron impact ionisation cross-section for neutral and ionised atomic species using the first-Born approximation. The scattered electron is modelled by a plane wave, and the ejected electron is modelled by a hydrogenic Coulomb wave, which is made orthogonal to all occupied atomic orbitals, and the atomic orbitals are approximated by Hartree-Fock Slater
Some Unexpected Results Using Computer Algebra Systems.
ERIC Educational Resources Information Center
Alonso, Felix; Garcia, Alfonsa; Garcia, Francisco; Hoya, Sara; Rodriguez, Gerardo; de la Villa, Agustin
2001-01-01
Shows how teachers can often use unexpected outputs from Computer Algebra Systems (CAS) to reinforce concepts and to show students the importance of thinking about how they use the software and reflecting on their results. Presents different examples where DERIVE, MAPLE, or Mathematica does not work as expected and suggests how to use them as a…
NASA Astrophysics Data System (ADS)
Huf, P. A.; Carminati, J.
2015-09-01
In this paper we: (1) introduce TensorPack, a software package for the algebraic manipulation of tensors in covariant index format in Maple; (2) briefly demonstrate the use of the package with an orthonormal tensor proof of the shearfree conjecture for dust. TensorPack is based on the Riemann and Canon tensor software packages and uses their functions to express tensors in an indexed covariant format. TensorPack uses a string representation as input and provides functions for output in index form. It extends the functionality to basic algebra of tensors, substitution, covariant differentiation, contraction, raising/lowering indices, symmetry functions and other accessory functions. The output can be merged with text in the Maple environment to create a full working document with embedded dynamic functionality. The package offers potential for manipulation of indexed algebraic tensor expressions in a flexible software environment.
Maple Explorations, Perfect Numbers, and Mersenne Primes
ERIC Educational Resources Information Center
Ghusayni, B.
2005-01-01
Some examples from different areas of mathematics are explored to give a working knowledge of the computer algebra system Maple. Perfect numbers and Mersenne primes, which have fascinated people for a very long time and continue to do so, are studied using Maple and some questions are posed that still await answers.
Using Maple to Implement eLearning Integrated with Computer Aided Assessment
ERIC Educational Resources Information Center
Blyth, Bill; Labovic, Aleksandra
2009-01-01
Advanced mathematics courses have been developed and refined by the first author, using an action research methodology, for more than a decade. These courses use the computer algebra system (CAS) Maple in an "immersion mode" where all presentations and student work are done using Maple. Assignments and examinations are Maple files downloaded from…
ERIC Educational Resources Information Center
Harris, Gary A.
2000-01-01
Discusses the use of a computer algebra system in a capstone mathematics course for undergraduate mathematics majors preparing to teach secondary school mathematics. Provides sample exercises intended to demonstrate how the power of a computer algebra system such as MAPLE can contribute to desired outcomes including reinforcing and strengthening…
MAPLE Procedures For Boson Fields System On Curved Space - Time
Murariu, Gabriel
2007-04-23
Systems of interacting boson fields are an important subject in the last years. From the problem of dark matter to boson stars' study, boson fields are involved. In the general configuration, it is considered a Klein-Gordon-Maxwell-Einstein fields system for a complex scalar field minimally coupled to a gravitational one. The necessity of studying a larger number of space-time configurations and the huge volume of computations for each particular situation are some reasons for building a MAPLE procedures set for this kind of systems.
Step-by-Step Solution Possibilities in Different Computer Algebra Systems.
ERIC Educational Resources Information Center
Tonisson, Eno
This paper compares a number of different Computer Algebra Systems (CAS) in their solution of one-step and multi-step problems. The CAS programs considered include DERIVE, Maple, Mathematica, and MuPAD while the problems are taken from the final examinations of grades 9 and 12 in Estonian schools. The different outputs to one-step problems with…
Leafhopper control in filed-grown red maples with systemic insecticides
Technology Transfer Automated Retrieval System (TEKTRAN)
Red maple, a popular landscape tree, can be susceptible to foliar damage caused by potato leafhopper feeding. Typical potato leafhopper injury includes distorted leaf tissue and reduced shoot growth. This research identified systemic neonicotinoid insecticides, Allectus and Discus, which controlled...
Handheld Computer Algebra Systems in the Pre-Algebra Classroom
ERIC Educational Resources Information Center
Gantz, Linda Ann Galofaro
2010-01-01
This mixed method analysis sought to investigate several aspects of student learning in pre-algebra through the use of computer algebra systems (CAS) as opposed to non-CAS learning. This research was broken into two main parts, one which compared results from both the experimental group (instruction using CAS, N = 18) and the control group…
Li, Mengxi; Seo, Sooyoun; Karboune, Salwa
2015-11-20
Maple syrups with selected degree Brix (°Bx) (15, 30, 60) were investigated as reaction systems for levansucrase from Bacillus amyloliquefaciens. The enzymatic conversion of sucrose present in the maple syrup and the production of the transfructosylation products were assessed over a time course of 48h. At 30°C, the use of maple syrup 30°Bx led to the highest levansucrase activity (427.53μmol/mg protein/min), while maple syrup 66°Bx led to the highest converted sucrose concentration (1.53M). In maple syrup 30°Bx, oligolevans (10
Evaluation of Systemic Insecticides for Potato Leafhopper Control in Field-Grown Red Maple
Technology Transfer Automated Retrieval System (TEKTRAN)
Systemic insecticides and application methods were evaluated in two tests that began in 2005 and 2006 for control of potato leafhopper (Empoasca fabae [Harris]) on four red maple (Acer rubrum L.) cultivars and rated yearly through 2007. Treatments evaluated in this study included surface drenches o...
The Multiple Pendulum Problem via Maple[R
ERIC Educational Resources Information Center
Salisbury, K. L.; Knight, D. G.
2002-01-01
The way in which computer algebra systems, such as Maple, have made the study of physical problems of some considerable complexity accessible to mathematicians and scientists with modest computational skills is illustrated by solving the multiple pendulum problem. A solution is obtained for four pendulums with no restriction on the size of the…
Algebraic methods in system theory
NASA Technical Reports Server (NTRS)
Brockett, R. W.; Willems, J. C.; Willsky, A. S.
1975-01-01
Investigations on problems of the type which arise in the control of switched electrical networks are reported. The main results concern the algebraic structure and stochastic aspects of these systems. Future reports will contain more detailed applications of these results to engineering studies.
Computer Algebra Systems in Undergraduate Instruction.
ERIC Educational Resources Information Center
Small, Don; And Others
1986-01-01
Computer algebra systems (such as MACSYMA and muMath) can carry out many of the operations of calculus, linear algebra, and differential equations. Use of them with sketching graphs of rational functions and with other topics is discussed. (MNS)
Energy Science and Technology Software Center (ESTSC)
1992-05-04
DOE-MACSYMA (Project MAC''s SYmbolic MAnipulation system) is a large computer programming system written in LISP. With DOE-MACSYMA the user can differentiate, integrate, take limits, solve systems of linear or polynomial equations, factor polynomials, expand functions in Laurent or Taylor series, solve differential equations (using direct or transform methods), compute Poisson series, plot curves, and manipulate matrices and tensors. A language similar to ALGOL-60 permits users to write their own programs for transforming symbolic expressions. Franzmore » Lisp OPUS 38 provides the environment for the Encore, Celerity, and DEC VAX11 UNIX,SUN(OPUS) versions under UNIX and the Alliant version under Concentrix. Kyoto Common Lisp (KCL) provides the environment for the SUN(KCL),Convex, and IBM PC under UNIX and Data General under AOS/VS.« less
Lax operator algebras and integrable systems
NASA Astrophysics Data System (ADS)
Sheinman, O. K.
2016-02-01
A new class of infinite-dimensional Lie algebras, called Lax operator algebras, is presented, along with a related unifying approach to finite-dimensional integrable systems with a spectral parameter on a Riemann surface such as the Calogero-Moser and Hitchin systems. In particular, the approach includes (non-twisted) Kac-Moody algebras and integrable systems with a rational spectral parameter. The presentation is based on quite simple ideas about the use of gradings of semisimple Lie algebras and their interaction with the Riemann-Roch theorem. The basic properties of Lax operator algebras and the basic facts about the theory of the integrable systems in question are treated (and proved) from this general point of view. In particular, the existence of commutative hierarchies and their Hamiltonian properties are considered. The paper concludes with an application of Lax operator algebras to prequantization of finite-dimensional integrable systems. Bibliography: 51 titles.
Some Applications of Algebraic System Solving
ERIC Educational Resources Information Center
Roanes-Lozano, Eugenio
2011-01-01
Technology and, in particular, computer algebra systems, allows us to change both the way we teach mathematics and the mathematical curriculum. Curiously enough, unlike what happens with linear system solving, algebraic system solving is not widely known. The aim of this paper is to show that, although the theory lying behind the "exact solve"…
New directions in algebraic dynamical systems
NASA Astrophysics Data System (ADS)
Schmidt, Klaus; Verbitskiy, Evgeny
2011-02-01
The logarithmic Mahler measure of certain multivariate polynomials occurs frequently as the entropy or the free energy of solvable lattice models (especially dimer models). It is also known that the entropy of an algebraic dynamical system is the logarithmic Mahler measure of the defining polynomial. The connection between the lattice models and the algebraic dynamical systems is still rather mysterious.
Lagacé, L; Jacques, M; Mafu, A A; Roy, D
2006-10-01
The susceptibility of planktonic and biofilm cells of Pseudomonas marginalis toward four commonly used biocides at different temperatures (15 and 30 degrees C) and biofilm growth times (24 and 48 h) was assessed. Using the MBEC biofilm device, biofilm production in maple sap was shown to be highly reproducible for each set of conditions tested. Biofilm formation was influenced by growth temperature and time. A temperature of 15 degrees C and incubation time of 24 h yielded fewer CFU per peg and showed fewer adhered cells and typical biofilm structures, based on scanning electron microscopy observations as compared with other conditions. Minimal biofilm eradication concentration values for P. marginalis were significantly greater (P. < 0.001) than were MBCs for planktonic cells and for every biocide tested, with the exception of minimal biofilm eradication concentration values for peracetic acid at 15 degrees C and 24 h. Sodium hypochlorite and peracetic acid sanitizers were able to eliminate P. marginalis biofilms at lower concentrations as compared with hydrogen peroxide- and quaternary ammonium-based sanitizers (P < 0.001). According to the results obtained, sodium hypochlorite and peracetic acid sanitizers would be more appropriate for maple sap collection system sanitation. PMID:17066920
Use of a Colony of Cooperating Agents and MAPLE To Solve the Traveling Salesman Problem.
ERIC Educational Resources Information Center
Guerrieri, Bruno
This paper reviews an approach for finding optimal solutions to the traveling salesman problem, a well-known problem in combinational optimization, and describes implementing the approach using the MAPLE computer algebra system. The method employed in this approach to the problem is similar to the way ant colonies manage to establish shortest…
On Generating Discrete Integrable Systems via Lie Algebras and Commutator Equations
NASA Astrophysics Data System (ADS)
Zhang, Yu-Feng; Honwah, Tam
2016-03-01
In the paper, we introduce the Lie algebras and the commutator equations to rewrite the Tu-d scheme for generating discrete integrable systems regularly. By the approach the various loop algebras of the Lie algebra A1 are defined so that the well-known Toda hierarchy and a novel discrete integrable system are obtained, respectively. A reduction of the later hierarchy is just right the famous Ablowitz-Ladik hierarchy. Finally, via two different enlarging Lie algebras of the Lie algebra A1, we derive two resulting differential-difference integrable couplings of the Toda hierarchy, of course, they are all various discrete expanding integrable models of the Toda hierarchy. When the introduced spectral matrices are higher degrees, the way presented in the paper is more convenient to generate discrete integrable equations than the Tu-d scheme by using the software Maple. Supported by the National Natural Science Foundation of China under Grant No. 11371361, the Innovation Team of Jiangsu Province hosted by China University of Mining and Technology (2014), and Hong Kong Research Grant Council under Grant No. HKBU202512, as well as the Natural Science Foundation of Shandong Province under Grant No. ZR2013AL016
On Generating Discrete Integrable Systems via Lie Algebras and Commutator Equations
NASA Astrophysics Data System (ADS)
Zhang, Yu-Feng; Tam, Honwah
2016-03-01
In the paper, we introduce the Lie algebras and the commutator equations to rewrite the Tu-d scheme for generating discrete integrable systems regularly. By the approach the various loop algebras of the Lie algebra A1 are defined so that the well-known Toda hierarchy and a novel discrete integrable system are obtained, respectively. A reduction of the later hierarchy is just right the famous Ablowitz–Ladik hierarchy. Finally, via two different enlarging Lie algebras of the Lie algebra A1, we derive two resulting differential-difference integrable couplings of the Toda hierarchy, of course, they are all various discrete expanding integrable models of the Toda hierarchy. When the introduced spectral matrices are higher degrees, the way presented in the paper is more convenient to generate discrete integrable equations than the Tu-d scheme by using the software Maple. Supported by the National Natural Science Foundation of China under Grant No. 11371361, the Innovation Team of Jiangsu Province hosted by China University of Mining and Technology (2014), and Hong Kong Research Grant Council under Grant No. HKBU202512, as well as the Natural Science Foundation of Shandong Province under Grant No. ZR2013AL016
ERIC Educational Resources Information Center
Ozgun-Koca, S. Ash
2010-01-01
Although growing numbers of secondary school mathematics teachers and students use calculators to study graphs, they mainly rely on paper-and-pencil when manipulating algebraic symbols. However, the Computer Algebra Systems (CAS) on computers or handheld calculators create new possibilities for teaching and learning algebraic manipulation. This…
Algebraic models of flexible manufacturing systems
NASA Astrophysics Data System (ADS)
Leskin, Aleksei Alekseevich
Various aspects of the use of mathematical methods in the development of flexible manufacturing systems are examined. Attention is given to dynamical and structural models of flexible manufacturing systems developed by using methods of algebraic and differential geometry, topology, polynomial algebra, and extreme value problem theory. The principles of model integration are discussed, and approaches are proposed for solving problems related to the selection of flexible manufacturing equipment, real-time modeling of the manufacturing process, and optimization of local automation systems. The discussion is illustrated by examples.
Digital Maps, Matrices and Computer Algebra
ERIC Educational Resources Information Center
Knight, D. G.
2005-01-01
The way in which computer algebra systems, such as Maple, have made the study of complex problems accessible to undergraduate mathematicians with modest computational skills is illustrated by some large matrix calculations, which arise from representing the Earth's surface by digital elevation models. Such problems are often considered to lie in…
Simulation of n-qubit quantum systems: A computer-algebraic approach
NASA Astrophysics Data System (ADS)
Radtke, T.; Fritzsche, S.; Surzhykov, A.
2007-03-01
During the last decade, the field of quantum computation has attracted a lot of interest and motivated many theoretical and experimental studies of n-qubit quantum systems. But apart from the promise of more efficient quantum algorithms, these investigations also revealed a number of obstacles which still have to be overcome in practice. In this context, the use of simulation programs has proved to be an appropriate method. In order to facilitate the simulation of n-qubit quantum systems, we present the Feynman software program to provide the necessary tools to define and to deal with quantum registers as well as the operators acting on them. Using an interactive design within the framework of the computer algebra system Maple, we hope that the Feynman software program will be useful not only for teaching the basic elements of quantum computing but also for studying their physical realization in the future.
Integrability of Hamiltonian systems with algebraic potentials
NASA Astrophysics Data System (ADS)
Maciejewski, Andrzej J.; Przybylska, Maria
2016-01-01
Problem of integrability for Hamiltonian systems with potentials that are algebraic thus multivalued functions of coordinates is discussed. Introducing potential as a new variable the original Hamiltonian system on 2n dimensional phase space is extended to 2 n + 1 dimensional system with rational right-hand sides. For extended system its non-canonical degenerated Poisson structure of constant rank 2n and rational Hamiltonian is identified. For algebraic homogeneous potentials of non-zero rational homogeneity degree necessary integrability conditions are formulated. These conditions are deduced from an analysis of the differential Galois group of variational equations around particular solutions of a straight line type. Obtained integrability obstructions are applied to the class of monomial homogeneous potentials. Some integrable potentials satisfying these conditions are found.
Spatial Operator Algebra for multibody system dynamics
NASA Technical Reports Server (NTRS)
Rodriguez, G.; Jain, A.; Kreutz-Delgado, K.
1992-01-01
The Spatial Operator Algebra framework for the dynamics of general multibody systems is described. The use of a spatial operator-based methodology permits the formulation of the dynamical equations of motion of multibody systems in a concise and systematic way. The dynamical equations of progressively more complex grid multibody systems are developed in an evolutionary manner beginning with a serial chain system, followed by a tree topology system and finally, systems with arbitrary closed loops. Operator factorizations and identities are used to develop novel recursive algorithms for the forward dynamics of systems with closed loops. Extensions required to deal with flexible elements are also discussed.
Symmetric linear systems - An application of algebraic systems theory
NASA Technical Reports Server (NTRS)
Hazewinkel, M.; Martin, C.
1983-01-01
Dynamical systems which contain several identical subsystems occur in a variety of applications ranging from command and control systems and discretization of partial differential equations, to the stability augmentation of pairs of helicopters lifting a large mass. Linear models for such systems display certain obvious symmetries. In this paper, we discuss how these symmetries can be incorporated into a mathematical model that utilizes the modern theory of algebraic systems. Such systems are inherently related to the representation theory of algebras over fields. We will show that any control scheme which respects the dynamical structure either implicitly or explicitly uses the underlying algebra.
Hyperfine structure parametrisation in Maple
NASA Astrophysics Data System (ADS)
Gaigalas, G.; Scharf, O.; Fritzsche, S.
2006-02-01
: All computers with a license of the computer algebra package MAPLE Installations: University of Kassel (Germany) Operating systems under which the program has been tested: Linux 9.0 Program language used:MAPLE, Release 7, 8 and 9 Memory required to execute with typical data: 5 MB No. of lines in distributed program, including test data, etc.: 34 300 No. of bytes in distributed program, including test data, etc.: 954 196 Distribution format: tar.gz Nature of the physical problem: Atomic state functions of an many configuration many electron atom with several open shells are defined by a number of quantum numbers, by their coupling and selection rules such as the Pauli exclusion principal or parity conservation. The matrix elements of any one-particle operator acting on these wavefunctions can be analytically integrated up to the radial part [G. Gaigalas, O. Scharf, S. Fritzsche, Central European J. Phys. 2 (2004) 720]. The decoupling of the interacting electrons is general, the obtained submatrix element holds all the peculiarities of the operator in question. These so-called submatrix elements are the key to do hyperfine structure calculations. The interaction between the electrons and the atomic nucleus leads to an additional splitting of the fine structure lines, the hyperfine structure. The leading components are the magnetic dipole interaction defining the so-called A factor and the electric quadrupole interaction, defining the so-called B factor. They express the energetic splitting of the spectral lines. Moreover, they are obtained directly by experiments and can be calculated theoretically in an ab initio approach. A semiempirical approach allows the fitting of the radial parts of the wavefunction to the experimentally obtained A and B factors. Method of solution: Extending the existing csf_LS() and asf_LS() to several open shells and implementing a data structure level_LS() for the fine structure level, the atomic environment is defined in MAPLE. It is used in
Computational algebraic geometry of epidemic models
NASA Astrophysics Data System (ADS)
Rodríguez Vega, Martín.
2014-06-01
Computational Algebraic Geometry is applied to the analysis of various epidemic models for Schistosomiasis and Dengue, both, for the case without control measures and for the case where control measures are applied. The models were analyzed using the mathematical software Maple. Explicitly the analysis is performed using Groebner basis, Hilbert dimension and Hilbert polynomials. These computational tools are included automatically in Maple. Each of these models is represented by a system of ordinary differential equations, and for each model the basic reproductive number (R0) is calculated. The effects of the control measures are observed by the changes in the algebraic structure of R0, the changes in Groebner basis, the changes in Hilbert dimension, and the changes in Hilbert polynomials. It is hoped that the results obtained in this paper become of importance for designing control measures against the epidemic diseases described. For future researches it is proposed the use of algebraic epidemiology to analyze models for airborne and waterborne diseases.
Introducing Computer Algebra to School Teachers of Mathematics
ERIC Educational Resources Information Center
Man, Yiu-Kwong
2007-01-01
Since the last decade, the use of computer algebra systems at the Hong Kong school level is still very limited. Among various reasons behind, the lack of exposure of this kind of software to local school teachers should be taken into account. In this article, we describe how to introduce MAPLE in a BEd module of a local teacher-training programme.…
Hirdes, John P; Poss, Jeff W; Curtin-Telegdi, Nancy
2008-01-01
Background Home care plays a vital role in many health care systems, but there is evidence that appropriate targeting strategies must be used to allocate limited home care resources effectively. The aim of the present study was to develop and validate a methodology for prioritizing access to community and facility-based services for home care clients. Methods Canadian and international data based on the Resident Assessment Instrument – Home Care (RAI-HC) were analyzed to identify predictors for nursing home placement, caregiver distress and for being rated as requiring alternative placement to improve outlook. Results The Method for Assigning Priority Levels (MAPLe) algorithm was a strong predictor of all three outcomes in the derivation sample. The algorithm was validated with additional data from five other countries, three other provinces, and an Ontario sample obtained after the use of the RAI-HC was mandated. Conclusion The MAPLe algorithm provides a psychometrically sound decision-support tool that may be used to inform choices related to allocation of home care resources and prioritization of clients needing community or facility-based services. PMID:18366782
Differential/algebraic systems and matrix pencils
Gear, C.W.; Petzold, L.R.
1982-04-01
In this paper we study the numerical solution of the differential/algebraic systems F(t, y, y') = 0. Many of these systems can be solved conveniently and economically using a range of ODE methods. Others can be solved only by a small subset of ODE methods, and still others present insurmountable difficulty for all current ODE methods. We examine the first two groups of problems and indicate which methods we believe to be best for them. Then we explore the properties of the third group which cause the methods to fail. The important factor which determines the solvability of systems of linear problems is a quantity called the global nilpotency. This differs from the usual nilpotency for matrix pencils when the problem is time dependent, so that techniques based on matrix transformations are unlikely to be successful.
ERIC Educational Resources Information Center
Falcon, Raymond
2009-01-01
Teachers use action research in order to improve their teaching and student learning. This action research will analyze students' algebraic reasoning in finding values of variables in systems of equations pictorially and algebraically. This research will look at students solving linear systems of equations without knowing the algebraic algorithms.…
Integrable Hamiltonian systems on low-dimensional Lie algebras
Korotkevich, Aleksandr A
2009-12-31
For any real Lie algebra of dimension 3, 4 or 5 and any nilpotent algebra of dimension 6 an integrable Hamiltonian system with polynomial coefficients is found on its coalgebra. These systems are constructed using Sadetov's method for constructing complete commutative families of polynomials on a Lie coalgebra. Bibliography: 17 titles.
ERIC Educational Resources Information Center
Johnston, Basil
1978-01-01
Describing the Iroquoi's Maple Sugar Festival, this article details the symbolism of renewal, becoming, and regeneration celebrated by the Iroquoi as the sap from the maple trees begins to flow each year. The symbolic role of woman, the sweet sap itself, and man's fellow creatures are described. (JC)
Fock space, symbolic algebra, and analytical solutions for small stochastic systems
NASA Astrophysics Data System (ADS)
Santos, Fernando A. N.; Gadêlha, Hermes; Gaffney, Eamonn A.
2015-12-01
Randomness is ubiquitous in nature. From single-molecule biochemical reactions to macroscale biological systems, stochasticity permeates individual interactions and often regulates emergent properties of the system. While such systems are regularly studied from a modeling viewpoint using stochastic simulation algorithms, numerous potential analytical tools can be inherited from statistical and quantum physics, replacing randomness due to quantum fluctuations with low-copy-number stochasticity. Nevertheless, classical studies remained limited to the abstract level, demonstrating a more general applicability and equivalence between systems in physics and biology rather than exploiting the physics tools to study biological systems. Here the Fock space representation, used in quantum mechanics, is combined with the symbolic algebra of creation and annihilation operators to consider explicit solutions for the chemical master equations describing small, well-mixed, biochemical, or biological systems. This is illustrated with an exact solution for a Michaelis-Menten single enzyme interacting with limited substrate, including a consideration of very short time scales, which emphasizes when stiffness is present even for small copy numbers. Furthermore, we present a general matrix representation for Michaelis-Menten kinetics with an arbitrary number of enzymes and substrates that, following diagonalization, leads to the solution of this ubiquitous, nonlinear enzyme kinetics problem. For this, a flexible symbolic maple code is provided, demonstrating the prospective advantages of this framework compared to stochastic simulation algorithms. This further highlights the possibilities for analytically based studies of stochastic systems in biology and chemistry using tools from theoretical quantum physics.
Fock space, symbolic algebra, and analytical solutions for small stochastic systems.
Santos, Fernando A N; Gadêlha, Hermes; Gaffney, Eamonn A
2015-12-01
Randomness is ubiquitous in nature. From single-molecule biochemical reactions to macroscale biological systems, stochasticity permeates individual interactions and often regulates emergent properties of the system. While such systems are regularly studied from a modeling viewpoint using stochastic simulation algorithms, numerous potential analytical tools can be inherited from statistical and quantum physics, replacing randomness due to quantum fluctuations with low-copy-number stochasticity. Nevertheless, classical studies remained limited to the abstract level, demonstrating a more general applicability and equivalence between systems in physics and biology rather than exploiting the physics tools to study biological systems. Here the Fock space representation, used in quantum mechanics, is combined with the symbolic algebra of creation and annihilation operators to consider explicit solutions for the chemical master equations describing small, well-mixed, biochemical, or biological systems. This is illustrated with an exact solution for a Michaelis-Menten single enzyme interacting with limited substrate, including a consideration of very short time scales, which emphasizes when stiffness is present even for small copy numbers. Furthermore, we present a general matrix representation for Michaelis-Menten kinetics with an arbitrary number of enzymes and substrates that, following diagonalization, leads to the solution of this ubiquitous, nonlinear enzyme kinetics problem. For this, a flexible symbolic maple code is provided, demonstrating the prospective advantages of this framework compared to stochastic simulation algorithms. This further highlights the possibilities for analytically based studies of stochastic systems in biology and chemistry using tools from theoretical quantum physics. PMID:26764734
Redberry: a computer algebra system designed for tensor manipulation
NASA Astrophysics Data System (ADS)
Poslavsky, Stanislav; Bolotin, Dmitry
2015-05-01
In this paper we focus on the main aspects of computer-aided calculations with tensors and present a new computer algebra system Redberry which was specifically designed for algebraic tensor manipulation. We touch upon distinctive features of tensor software in comparison with pure scalar systems, discuss the main approaches used to handle tensorial expressions and present the comparison of Redberry performance with other relevant tools.
The algebraic criteria for the stability of control systems
NASA Technical Reports Server (NTRS)
Cremer, H.; Effertz, F. H.
1986-01-01
This paper critically examines the standard algebraic criteria for the stability of linear control systems and their proofs, reveals important previously unnoticed connections, and presents new representations. Algebraic stability criteria have also acquired significance for stability studies of non-linear differential equation systems by the Krylov-Bogoljubov-Magnus Method, and allow realization conditions to be determined for classes of broken rational functions as frequency characteristics of electrical network.
Revisiting Newtonian and Non-Newtonian Fluid Mechanics Using Computer Algebra
ERIC Educational Resources Information Center
Knight, D. G.
2006-01-01
This article illustrates how a computer algebra system, such as Maple[R], can assist in the study of theoretical fluid mechanics, for both Newtonian and non-Newtonian fluids. The continuity equation, the stress equations of motion, the Navier-Stokes equations, and various constitutive equations are treated, using a full, but straightforward,…
Code of Federal Regulations, 2012 CFR
2012-04-01
... § 168.140 Maple sirup. (a) Maple sirup is the liquid food derived by concentration and heat treatment of the sap of the maple tree (Acer) or by solution in water of maple sugar (mapel concrete) made...
Code of Federal Regulations, 2013 CFR
2013-04-01
... § 168.140 Maple sirup. (a) Maple sirup is the liquid food derived by concentration and heat treatment of the sap of the maple tree (Acer) or by solution in water of maple sugar (mapel concrete) made...
Code of Federal Regulations, 2011 CFR
2011-04-01
... § 168.140 Maple sirup. (a) Maple sirup is the liquid food derived by concentration and heat treatment of the sap of the maple tree (Acer) or by solution in water of maple sugar (mapel concrete) made...
Code of Federal Regulations, 2011 CFR
2011-01-01
... Yield Coverage Using Actual Production History § 1437.107 Maple sap. (a) NAP assistance for maple sap is... maple sap. (g) The actual production history for maple sap shall be recorded on the basis of gallons...
SD-CAS: Spin Dynamics by Computer Algebra System.
Filip, Xenia; Filip, Claudiu
2010-11-01
A computer algebra tool for describing the Liouville-space quantum evolution of nuclear 1/2-spins is introduced and implemented within a computational framework named Spin Dynamics by Computer Algebra System (SD-CAS). A distinctive feature compared with numerical and previous computer algebra approaches to solving spin dynamics problems results from the fact that no matrix representation for spin operators is used in SD-CAS, which determines a full symbolic character to the performed computations. Spin correlations are stored in SD-CAS as four-entry nested lists of which size increases linearly with the number of spins into the system and are easily mapped into analytical expressions in terms of spin operator products. For the so defined SD-CAS spin correlations a set of specialized functions and procedures is introduced that are essential for implementing basic spin algebra operations, such as the spin operator products, commutators, and scalar products. They provide results in an abstract algebraic form: specific procedures to quantitatively evaluate such symbolic expressions with respect to the involved spin interaction parameters and experimental conditions are also discussed. Although the main focus in the present work is on laying the foundation for spin dynamics symbolic computation in NMR based on a non-matrix formalism, practical aspects are also considered throughout the theoretical development process. In particular, specific SD-CAS routines have been implemented using the YACAS computer algebra package (http://yacas.sourceforge.net), and their functionality was demonstrated on a few illustrative examples. PMID:20843716
Description of DASSL: a differential/algebraic system solver
Petzold, L.R.
1982-09-01
This paper describes a new code DASSL, for the numerical solution of implicit systems of differential/algebraic equations. These equations are written in the form F(t,y,y') = 0, and they can include systems which are substantially more complex than standard form ODE systems y' = f(t,y). Differential/algebraic equations occur in several diverse applications in the physical world. We outline the algorithms and strategies used in DASSL, and explain some of the features of the code. In addition, we outline briefly what needs to be done to solve a problem using DASSL.
Entanglement in algebraic quantum mechanics: Majorana fermion systems
NASA Astrophysics Data System (ADS)
Benatti, F.; Floreanini, R.
2016-07-01
Many-body entanglement is studied within the algebraic approach to quantum physics in systems made of Majorana fermions. In this framework, the notion of separability stems from partitions of the algebra of observables and properties of the associated correlation functions, rather than on particle tensor products. This allows a complete characterization of non-separable Majorana fermion states to be obtained. These results may have direct application in quantum metrology: using Majorana systems, sub-shot-noise accuracy in parameter estimations can be achieved without preliminary resource-consuming, state entanglement operations.
Algebraic Systems Biology: A Case Study for the Wnt Pathway.
Gross, Elizabeth; Harrington, Heather A; Rosen, Zvi; Sturmfels, Bernd
2016-01-01
Steady-state analysis of dynamical systems for biological networks gives rise to algebraic varieties in high-dimensional spaces whose study is of interest in their own right. We demonstrate this for the shuttle model of the Wnt signaling pathway. Here, the variety is described by a polynomial system in 19 unknowns and 36 parameters. It has degree 9 over the parameter space. This case study explores multistationarity, model comparison, dynamics within regions of the state space, identifiability, and parameter estimation, from a geometric point of view. We employ current methods from computational algebraic geometry, polyhedral geometry, and combinatorics. PMID:26645985
Motivating Constraints of a Pedagogy-Embedded Computer Algebra System
ERIC Educational Resources Information Center
Dana-Picard, Thierry
2007-01-01
The constraints of a computer algebra system (CAS) generally induce limitations on its usage. Via the pedagogical features implemented in such a system, "motivating constraints" can appear, encouraging advanced theoretical learning, providing a broader mathematical knowledge and more profound mathematical understanding. We discuss this issue,…
ERIC Educational Resources Information Center
Maguire, Molly; Gunton, Ric
2000-01-01
Maple Leaf Outdoor Centre (Ontario) has added year-round outdoor education facilities and programs to help support its summer camp for disadvantaged children. Schools, youth centers, religious groups, and athletic teams conduct their own programs, collaborate with staff, or use staff-developed programs emphasizing adventure education and personal…
Equivalent Colorings with "Maple"
ERIC Educational Resources Information Center
Cecil, David R.; Wang, Rongdong
2005-01-01
Many counting problems can be modeled as "colorings" and solved by considering symmetries and Polya's cycle index polynomial. This paper presents a "Maple 7" program link http://users.tamuk.edu/kfdrc00/ that, given Polya's cycle index polynomial, determines all possible associated colorings and their partitioning into equivalence classes. These…
Quadratic algebras for three-dimensional superintegrable systems
Daskaloyannis, C. Tanoudis, Y.
2010-02-15
The three-dimensional superintegrable systems with quadratic integrals of motion have five functionally independent integrals, one among them is the Hamiltonian. Kalnins, Kress, and Miller have proved that in the case of nondegenerate potentials with quadratic integrals of motion there is a sixth quadratic integral, which is linearly independent of the other integrals. The existence of this sixth integral implies that the integrals of motion form a ternary parafermionic-like quadratic Poisson algebra with five generators. In this contribution we investigate the structure of this algebra. We show that in all the nondegenerate cases there is at least one subalgebra of three integrals having a Poisson quadratic algebra structure, which is similar to the two-dimensional case.
Computer Algebra Systems and Theorems on Real Roots of Polynomials
ERIC Educational Resources Information Center
Aidoo, Anthony Y.; Manthey, Joseph L.; Ward, Kim Y.
2010-01-01
A computer algebra system is used to derive a theorem on the existence of roots of a quadratic equation on any bounded real interval. This is extended to a cubic polynomial. We discuss how students could be led to derive and prove these theorems. (Contains 1 figure.)
Construction of coherent states for physical algebraic systems
Hassouni, Y.; Curado, E.M.F.; Rego-Monteiro, M.A.
2005-02-01
We construct a general state which is an eigenvector of the annihilation operator of the generalized Heisenberg algebra. We show, for several systems characterized by different energy spectra, that this general state satisfies the minimal set of conditions required to obtain Klauder's minimal coherent states.
Computer Algebra Systems: Permitted but Are They Used?
ERIC Educational Resources Information Center
Pierce, Robyn; Bardini, Caroline
2015-01-01
Since the 1990s, computer algebra systems (CAS) have been available in Australia as hand-held devices designed for students with the expectation that they will be used in the mathematics classroom. The data discussed in this paper was collected as part of a pilot study that investigated first year university mathematics and statistics students'…
Computer Algebra System Calculators: Gender Issues and Teachers' Expectations
ERIC Educational Resources Information Center
Forgasz, Helen J.; Griffith, Shirly
2006-01-01
In this paper we present findings from two studies focusing on computer algebra system (CAS) calculators. In Victoria, Australia, it is currently mandatory for students to use graphics calculators in some grade 12 mathematics examinations. Since 2001, a pilot study has been conducted involving Victorian Certificate of Education (VCE) students…
T-Systems Y-Systems and Cluster Algebras:. Tamely Laced Case
NASA Astrophysics Data System (ADS)
Nakanishi, Tomoki
2011-10-01
The T-systems and Y-systems are classes of algebraic relations originally associated with quantum affine algebras and Yangians. Recently they were generalized to quantum affinizations of quantum Kac-Moody algebras associated with a wide class of generalized Cartan matrices which we say tamely laced. Furthermore, in the simply laced case, and also in the nonsimply laced case of finite type, they were identified with relations arising from cluster algebras.In this note we generalize such an identification to any tamely laced Cartan matrices, especially to the nonsimply laced ones of nonfinite type.
Keyl, Michael; Schlingemann, Dirk-M.
2010-02-15
We present an approach to a noncommutativelike phase space which allows to analyze quasifree states on the algebra of canonical anti-commutation relations (CAR) in analogy to quasifree states on the algebra of canonical commutation relations (CCR). The used mathematical tools are based on a new algebraic structure the 'Grassmann algebra of canonical anticommutation relations' (GAR algebra) which is given by the twisted tensor product of a Grassmann and a CAR algebra. As a new application, the corresponding theory provides an elegant tool for calculating the fidelity of two quasifree fermionic states which is needed for the study of entanglement distillation within fermionic systems.
The Chemical Composition of Maple Syrup
ERIC Educational Resources Information Center
Ball, David W.
2007-01-01
Maple syrup is one of several high-sugar liquids that humans consume. However, maple syrup is more than just a concentrated sugar solution. Here, we review the chemical composition of maple syrup. (Contains 4 tables and 1 figure.)
Generalized Lotka—Volterra systems connected with simple Lie algebras
NASA Astrophysics Data System (ADS)
Charalambides, Stelios A.; Damianou, Pantelis A.; Evripidou, Charalambos A.
2015-06-01
We devise a new method for producing Hamiltonian systems by constructing the corresponding Lax pairs. This is achieved by considering a larger subset of the positive roots than the simple roots of the root system of a simple Lie algebra. We classify all subsets of the positive roots of the root system of type An for which the corresponding Hamiltonian systems are transformed, via a simple change of variables, to Lotka-Volterra systems. For some special cases of subsets of the positive roots of the root system of type An, we produce new integrable Hamiltonian systems.
Spatial operator algebra framework for multibody system dynamics
NASA Technical Reports Server (NTRS)
Rodriguez, G.; Jain, Abhinandan; Kreutz, K.
1989-01-01
The Spatial Operator Algebra framework for the dynamics of general multibody systems is described. The use of a spatial operator-based methodology permits the formulation of the dynamical equations of motion of multibody systems in a concise and systematic way. The dynamical equations of progressively more complex grid multibody systems are developed in an evolutionary manner beginning with a serial chain system, followed by a tree topology system and finally, systems with arbitrary closed loops. Operator factorizations and identities are used to develop novel recursive algorithms for the forward dynamics of systems with closed loops. Extensions required to deal with flexible elements are also discussed.
ERIC Educational Resources Information Center
Farley, Rosemary Carroll
2013-01-01
At Manhattan College, secondary mathematics education students take a capstone course designed specifically for them. In this course, students revisit important topics in the high school curriculum from a mathematically advanced perspective; incorporating the mathematical knowledge they have attained in their college mathematics classes to an…
Using Math With Maple Sugaring.
ERIC Educational Resources Information Center
Christenson, Gary
1984-01-01
Suggest several math activities using the simple technique of tapping a sugar maple tree for sap. Information and activities presented are useful in tapping one or two trees on school property, helping students who tap trees at home, or leading a field trip to a nearby maple sugaring site. (ERB)
Using Mathematica and Maple To Obtain Chemical Equations.
ERIC Educational Resources Information Center
Missen, Ronald W.; Smith, William R.
1997-01-01
Shows how the computer software programs Mathematica and Maple can be used to obtain chemical equations to represent the stoichiometry of a reacting system. Specific examples are included. Contains 10 references. (DKM)
Using computer algebra and SMT solvers in algebraic biology
NASA Astrophysics Data System (ADS)
Pineda Osorio, Mateo
2014-05-01
Biologic processes are represented as Boolean networks, in a discrete time. The dynamics within these networks are approached with the help of SMT Solvers and the use of computer algebra. Software such as Maple and Z3 was used in this case. The number of stationary states for each network was calculated. The network studied here corresponds to the immune system under the effects of drastic mood changes. Mood is considered as a Boolean variable that affects the entire dynamics of the immune system, changing the Boolean satisfiability and the number of stationary states of the immune network. Results obtained show Z3's great potential as a SMT Solver. Some of these results were verified in Maple, even though it showed not to be as suitable for the problem approach. The solving code was constructed using Z3-Python and Z3-SMT-LiB. Results obtained are important in biology systems and are expected to help in the design of immune therapies. As a future line of research, more complex Boolean network representations of the immune system as well as the whole psychological apparatus are suggested.
Code of Federal Regulations, 2010 CFR
2010-01-01
... limited to maple sap produced on private property for sale as sap or syrup. Eligible maple sap must be... sap must be established for the value of the sap before processing into syrup. If price data is available only for maple syrup, this data must be converted to a maple sap basis. The wholesale price for...
The Maple Products: An Outdoor Education Unit.
ERIC Educational Resources Information Center
Yaple, Charles; And Others
Designed to take advantage of the spring season, this resource packet on maple products centers upon a field lesson in harvesting and making maple syrup. The resources in this packet include: a narrative on the origins of maple sugar; an illustrated description of "old time maple sugarin'"; suggestions for pre-trip activities (history of maple…
Code of Federal Regulations, 2013 CFR
2013-01-01
... limited to maple sap produced on private property for sale as sap or syrup. Eligible maple sap must be... sap must be established for the value of the sap before processing into syrup. If price data is available only for maple syrup, this data must be converted to a maple sap basis. The wholesale price for...
Code of Federal Regulations, 2014 CFR
2014-01-01
... limited to maple sap produced on private property for sale as sap or syrup. Eligible maple sap must be... sap must be established for the value of the sap before processing into syrup. If price data is available only for maple syrup, this data must be converted to a maple sap basis. The wholesale price for...
Code of Federal Regulations, 2012 CFR
2012-01-01
... limited to maple sap produced on private property for sale as sap or syrup. Eligible maple sap must be... sap must be established for the value of the sap before processing into syrup. If price data is available only for maple syrup, this data must be converted to a maple sap basis. The wholesale price for...
Phased-mission system analysis using Boolean algebraic methods
NASA Technical Reports Server (NTRS)
Somani, Arun K.; Trivedi, Kishor S.
1993-01-01
Most reliability analysis techniques and tools assume that a system is used for a mission consisting of a single phase. However, multiple phases are natural in many missions. The failure rates of components, system configuration, and success criteria may vary from phase to phase. In addition, the duration of a phase may be deterministic or random. Recently, several researchers have addressed the problem of reliability analysis of such systems using a variety of methods. A new technique for phased-mission system reliability analysis based on Boolean algebraic methods is described. Our technique is computationally efficient and is applicable to a large class of systems for which the failure criterion in each phase can be expressed as a fault tree (or an equivalent representation). Our technique avoids state space explosion that commonly plague Markov chain-based analysis. A phase algebra to account for the effects of variable configurations and success criteria from phase to phase was developed. Our technique yields exact (as opposed to approximate) results. The use of our technique was demonstrated by means of an example and present numerical results to show the effects of mission phases on the system reliability.
Astronomy Education using the Web and a Computer Algebra System
NASA Astrophysics Data System (ADS)
Flurchick, K. M.; Culver, Roger B.; Griego, Ben
2013-04-01
The combination of a web server and a Computer Algebra System to provide students the ability to explore and investigate astronomical concepts presented in a class can help student understanding. This combination of technologies provides a framework to extend the classroom experience with independent student exploration. In this presentation we report on the developmen of this web based material and some initial results of students making use of the computational tools using webMathematica^TM. The material developed allow the student toanalyze and investigate a variety of astronomical phenomena, including topics such as the Runge-Lenz vector, descriptions of the orbits of some of the exo-planets, Bode' law and other topics related to celestial mechanics. The server based Computer Algebra System system allows for computations without installing software on the student's computer but provides a powerful environment to explore the various concepts. The current system is installed at North Carolina A&T State University and has been used in several undergraduate classes.
Parametric Equations, Maple, and Tubeplots.
ERIC Educational Resources Information Center
Feicht, Louis
1997-01-01
Presents an activity that establishes a graphical foundation for parametric equations by using a graphing output form called tubeplots from the computer program Maple. Provides a comprehensive review and exploration of many previously learned topics. (ASK)
ODE methods for the solution of differential/algebraic systems
Gear, C.W.; Petzold, L.R.
1982-09-01
In this paper we study the numerical solution of the differential/algebraic systems F(t, y, y') = 0. Many of these systems can be solved conveniently and economically using a range of ODE methods. Others can be solved only by a small subset of ODE methods, and still others present insurmountable difficulty for all current ODE methods. We examine the first two groups of problems and indicate which methods we believe to be best for them. Then we explore the properties of the third group which cause the methods to fail. We describe a reduction technique which allows systems to be reduced to ones that can be solved. It also provides a tool for the analytical study of the structure of systems.
Abedi-Fardad, J.; Rezaei-Aghdam, A.; Haghighatdoost, Gh.
2014-05-15
We construct integrable and superintegrable Hamiltonian systems using the realizations of four dimensional real Lie algebras as a symmetry of the system with the phase space R{sup 4} and R{sup 6}. Furthermore, we construct some integrable and superintegrable Hamiltonian systems for which the symmetry Lie group is also the phase space of the system.
Combining Automated Theorem Provers with Symbolic Algebraic Systems: Position Paper
NASA Technical Reports Server (NTRS)
Schumann, Johann; Koga, Dennis (Technical Monitor)
1999-01-01
In contrast to pure mathematical applications where automated theorem provers (ATPs) are quite capable, proof tasks arising form real-world applications from the area of Software Engineering show quite different characteristics: they usually do not only contain much arithmetic (albeit often quite simple one), but they also often contain reasoning about specific structures (e.g. graphics, sets). Thus, an ATP must be capable of performing reasoning together with a fair amount of simplification, calculation and solving. Therefore, powerful simplifiers and other (symbolic and semi-symbolic) algorithms seem to be ideally suited to augment ATPs. In the following we shortly describe two major points of interest in combining SASs (symbolic algebraic systems) with top-down automated theorem provers (here: SETHEO [Let92, GLMS94]).
Algebraic versus Exponential Decoherence in Dissipative Many-Particle Systems.
Cai, Zi; Barthel, Thomas
2013-10-11
The interplay between dissipation and internal interactions in quantum many-body systems gives rise to a wealth of novel phenomena. Here we investigate spin-1/2 chains with uniform local couplings to a Markovian environment using the time-dependent density matrix renormalization group. For the open XXZ model, we discover that the decoherence time diverges in the thermodynamic limit. The coherence decay is then algebraic instead of exponential. This is due to a vanishing gap in the spectrum of the corresponding Liouville superoperator and can be explained on the basis of a perturbative treatment. In contrast, decoherence in the open transverse-field Ising model is found to be always exponential. In this case, the internal interactions can both facilitate and impede the environment-induced decoherence. PMID:24160582
ERIC Educational Resources Information Center
Trisler, Carmen E.
1994-01-01
Uses models to illustrate the possible "migration route" of the sugar maple in response to predicted global climate change. Curriculum activities for students are provided that specifically address the sugar maple forests of the Great Lakes regions. (ZWH)
The Design of a System to Support Exploratory Learning of Algebraic Generalisation
ERIC Educational Resources Information Center
Noss, Richard; Poulovassilis, Alexandra; Geraniou, Eirini; Gutierrez-Santos, Sergio; Hoyles, Celia; Kahn, Ken; Magoulas, George D.; Mavrikis, Manolis
2012-01-01
This paper charts the design and application of a system to support 11-14 year old students' learning of algebraic generalisation, presenting students with the means to develop their understanding of the meaning of generality, see its power for mathematics and develop algebraic ways of thinking. We focus squarely on design, while taking account of…
The Effect of an Intelligent Tutoring System (ITS) on Student Achievement in Algebraic Expression
ERIC Educational Resources Information Center
Chien, Tsai Chen; Md. Yunus, Aida Suraya; Ali, Wan Zah Wan; Bakar, Ab. Rahim
2008-01-01
In this experimental study, use of Computer Assisted Instruction (CAI) followed by use of an Intelligent Tutoring System (CAI+ITS) was compared to the use of CAI (CAI only) in tutoring students on the topic of Algebraic Expression. Two groups of students participated in the study. One group of 32 students studied algebraic expression in a CAI…
Applications of computer algebra to distributed parameter systems
NASA Technical Reports Server (NTRS)
Storch, Joel A.
1993-01-01
In the analysis of vibrations of continuous elastic systems, one often encounters complicated transcendental equations with roots directly related to the system's natural frequencies. Typically, these equations contain system parameters whose values must be specified before a numerical solution can be obtained. The present paper presents a method whereby the fundamental frequency can be obtained in analytical form to any desired degree of accuracy. The method is based upon truncation of rapidly converging series involving inverse powers of the system natural frequencies. A straightforward method to developing these series and summing them in closed form is presented. It is demonstrated how Computer Algebra can be exploited to perform the intricate analytical procedures which otherwise would render the technique difficult to apply in practice. We illustrate the method by developing two analytical approximations to the fundamental frequency of a vibrating cantilever carrying a rigid tip body. The results are compared to the numerical solution of the exact (transcendental) frequency equation over a range of system parameters.
Code of Federal Regulations, 2010 CFR
2010-04-01
... 21 Food and Drugs 2 2010-04-01 2010-04-01 false Maple sirup. 168.140 Section 168.140 Food and... CONSUMPTION SWEETENERS AND TABLE SIRUPS Requirements for Specific Standardized Sweeteners and Table Sirups § 168.140 Maple sirup. (a) Maple sirup is the liquid food derived by concentration and heat treatment...
Code of Federal Regulations, 2014 CFR
2014-04-01
... 21 Food and Drugs 2 2014-04-01 2014-04-01 false Maple sirup. 168.140 Section 168.140 Food and... CONSUMPTION SWEETENERS AND TABLE SIRUPS Requirements for Specific Standardized Sweeteners and Table Sirups § 168.140 Maple sirup. (a) Maple sirup is the liquid food derived by concentration and heat treatment...
ERIC Educational Resources Information Center
Cavanagh, Sean
2009-01-01
As educators and policymakers search for ways to prepare students for the rigors of algebra, teachers in the Helena, Montana, school system are starting early by attempting to nurture students' algebraic-reasoning ability, as well as their basic number skills, in early elementary school, rather than waiting until middle or early high school.…
Rosen’s (M,R) system in process algebra
2013-01-01
Background Robert Rosen’s Metabolism-Replacement, or (M,R), system can be represented as a compact network structure with a single source and three products derived from that source in three consecutive reactions. (M,R) has been claimed to be non-reducible to its components and algorithmically non-computable, in the sense of not being evaluable as a function by a Turing machine. If (M,R)-like structures are present in real biological networks, this suggests that many biological networks will be non-computable, with implications for those branches of systems biology that rely on in silico modelling for predictive purposes. Results We instantiate (M,R) using the process algebra Bio-PEPA, and discuss the extent to which our model represents a true realization of (M,R). We observe that under some starting conditions and parameter values, stable states can be achieved. Although formal demonstration of algorithmic computability remains elusive for (M,R), we discuss the extent to which our Bio-PEPA representation of (M,R) allows us to sidestep Rosen’s fundamental objections to computational systems biology. Conclusions We argue that the behaviour of (M,R) in Bio-PEPA shows life-like properties. PMID:24237684
Graphs and Enhancing Maple Multiplication.
ERIC Educational Resources Information Center
Cecil, David R.; Wang, Rongdong
2002-01-01
Description of a technique in Maple programming language that automatically prints all paths of any desired length along with the name of each vertex, proceeding in order from the beginning vertex to the ending vertex for a given graph. (Author/MM)
Ladder operators and associated algebra for position-dependent effective mass systems
NASA Astrophysics Data System (ADS)
Amir, Naila; Iqbal, Shahid
2015-07-01
An algebraic treatment of shape-invariant quantum-mechanical position-dependent effective mass systems is discussed. Using shape invariance, a general recipe for construction of ladder operators and associated algebraic structure of the pertaining system, is obtained. These operators are used to find exact solutions of general one-dimensional systems with spatially varying mass. We apply our formalism to specific translationally shape-invariant potentials having position-dependent effective mass.
Lectures on algebraic system theory: Linear systems over rings
NASA Technical Reports Server (NTRS)
Kamen, E. W.
1978-01-01
The presentation centers on four classes of systems that can be treated as linear systems over a ring. These are: (1) discrete-time systems over a ring of scalars such as the integers; (2) continuous-time systems containing time delays; (3) large-scale discrete-time systems; and (4) time-varying discrete-time systems.
Filteau, Marie; Lagacé, Luc; LaPointe, Gisèle; Roy, Denis
2011-08-01
During collection, maple sap is contaminated by bacteria and fungi that subsequently colonize the tubing system. The bacterial microbiota has been more characterized than the fungal microbiota, but the impact of both components on maple sap quality remains unclear. This study focused on identifying bacterial and fungal members of maple sap and correlating microbiota composition with maple sap properties. A multiplex automated ribosomal intergenic spacer analysis (MARISA) method was developed to presumptively identify bacterial and fungal members of maple sap samples collected from 19 production sites during the tapping period. Results indicate that the fungal community of maple sap is mainly composed of yeast related to Mrakia sp., Mrakiella sp., Guehomyces pullulans, Cryptococcus victoriae and Williopsis saturnus. Mrakia, Mrakiella and Guehomyces peaks were identified in samples of all production sites and can be considered dominant and stable members of the fungal microbiota of maple sap. A multivariate analysis based on MARISA profiles and maple sap chemical composition data showed correlations between Candida sake, Janthinobacterium lividum, Williopsis sp., Leuconostoc mesenteroides, Mrakia sp., Rhodococcus sp., Pseudomonas tolaasii, G. pullulans and maple sap composition at different flow periods. This study provides new insights on the relationship between microbial community and maple sap quality. PMID:21569942
Refined algebraic quantisation in a system with nonconstant gauge invariant structure functions
Martínez-Pascual, Eric
2013-08-15
In a previous work [J. Louko and E. Martínez-Pascual, “Constraint rescaling in refined algebraic quantisation: Momentum constraint,” J. Math. Phys. 52, 123504 (2011)], refined algebraic quantisation (RAQ) within a family of classically equivalent constrained Hamiltonian systems that are related to each other by rescaling one momentum-type constraint was investigated. In the present work, the first steps to generalise this analysis to cases where more constraints occur are developed. The system under consideration contains two momentum-type constraints, originally abelian, where rescalings of these constraints by a non-vanishing function of the coordinates are allowed. These rescalings induce structure functions at the level of the gauge algebra. Providing a specific parametrised family of real-valued scaling functions, the implementation of the corresponding rescaled quantum momentum-type constraints is performed using RAQ when the gauge algebra: (i) remains abelian and (ii) undergoes into an algebra of a nonunimodular group with nonconstant gauge invariant structure functions. Case (ii) becomes the first example known to the author where an open algebra is handled in refined algebraic quantisation. Challenging issues that arise in the presence of non-gauge invariant structure functions are also addressed.
Pseudorational Impulse Responses — Algebraic System Theory for Distributed Parameter Systems
NASA Astrophysics Data System (ADS)
Yamamoto, Yutaka
This paper gives a comprehensive account on a class of distributed parameter systems, whose impulse response is called pseudorational. This notion was introduced by the author in 1980's, and is particularly amenable for the study of systems with bounded-time memory. We emphasize algebraic structures induced by this class of systems. Some recent results on coprimeness issues and H∞ control are discussed and illustrated.
NASA Technical Reports Server (NTRS)
Byrnes, C. I.
1980-01-01
It is noted that recent work by Kamen (1979) on the stability of half-plane digital filters shows that the problem of the existence of a feedback law also arises for other Banach algebras in applications. This situation calls for a realization theory and stabilizability criteria for systems defined over Banach for Frechet algebra A. Such a theory is developed here, with special emphasis placed on the construction of finitely generated realizations, the existence of coprime factorizations for T(s) defined over A, and the solvability of the quadratic optimal control problem and the associated algebraic Riccati equation over A.
Spontaneous PT-Symmetry Breaking for Systems of Noncommutative Euclidean Lie Algebraic Type
NASA Astrophysics Data System (ADS)
Dey, Sanjib; Fring, Andreas; Mathanaranjan, Thilagarajah
2015-11-01
We propose a noncommutative version of the Euclidean Lie algebra E 2. Several types of non-Hermitian Hamiltonian systems expressed in terms of generic combinations of the generators of this algebra are investigated. Using the breakdown of the explicitly constructed Dyson maps as a criterium, we identify the domains in the parameter space in which the Hamiltonians have real energy spectra and determine the exceptional points signifying the crossover into the different types of spontaneously broken PT-symmetric regions with pairs of complex conjugate eigenvalues. We find exceptional points which remain invariant under the deformation as well as exceptional points becoming dependent on the deformation parameter of the algebra.
Algebraic aspects of Tremblay-Turbiner-Winternitz Hamiltonian systems
NASA Astrophysics Data System (ADS)
Calzada, J. A.; Celeghini, E.; del Olmo, M. A.; Velasco, M. A.
2012-02-01
Using the factorization method we find a hierarchy of Tremblay-Turbiner-Winternitz Hamiltonians labeled by discrete indices. The shift operators (those connecting eigenfunctions of different Hamiltonians of the hierarchy) as well the ladder operators (they connect eigenstates of a determined Hamiltonian) obtained in this way close different algebraic structures that are presented here.
Fernando, Denise R; Marshall, Alan T; Lynch, Jonathan P
2016-01-01
Sugar maple and red maple are closely-related co-occurring tree species significant to the North American forest biome. Plant abiotic stress effects including nutritional imbalance and manganese (Mn) toxicity are well documented within this system, and are implicated in enhanced susceptibility to biotic stresses such as insect attack. Both tree species are known to overaccumulate foliar manganese (Mn) when growing on unbuffered acidified soils, however, sugar maple is Mn-sensitive, while red maple is not. Currently there is no knowledge about the cellular sequestration of Mn and other nutrients in these two species. Here, electron-probe x-ray microanalysis was employed to examine cellular and sub-cellular deposition of excessively accumulated foliar Mn and other mineral nutrients in vivo. For both species, excess foliar Mn was deposited in symplastic cellular compartments. There were striking between-species differences in Mn, magnesium (Mg), sulphur (S) and calcium (Ca) distribution patterns. Unusually, Mn was highly co-localised with Mg in mesophyll cells of red maple only. The known sensitivity of sugar maple to excess Mn is likely linked to Mg deficiency in the leaf mesophyll. There was strong evidence that Mn toxicity in sugar maple is primarily a symplastic process. For each species, leaf-surface damage due to biotic stress including insect herbivory was compared between sites with acidified and non-acidified soils. Although it was greatest overall in red maple, there was no difference in biotic stress damage to red maple leaves between acidified and non-acidified soils. Sugar maple trees on buffered non-acidified soil were less damaged by biotic stress compared to those on unbuffered acidified soil, where they are also affected by Mn toxicity abiotic stress. This study concluded that foliar nutrient distribution in symplastic compartments is a determinant of Mn sensitivity, and that Mn stress hinders plant resistance to biotic stress. PMID:27391424
Fernando, Denise R.; Marshall, Alan T.; Lynch, Jonathan P.
2016-01-01
Sugar maple and red maple are closely-related co-occurring tree species significant to the North American forest biome. Plant abiotic stress effects including nutritional imbalance and manganese (Mn) toxicity are well documented within this system, and are implicated in enhanced susceptibility to biotic stresses such as insect attack. Both tree species are known to overaccumulate foliar manganese (Mn) when growing on unbuffered acidified soils, however, sugar maple is Mn-sensitive, while red maple is not. Currently there is no knowledge about the cellular sequestration of Mn and other nutrients in these two species. Here, electron-probe x-ray microanalysis was employed to examine cellular and sub-cellular deposition of excessively accumulated foliar Mn and other mineral nutrients in vivo. For both species, excess foliar Mn was deposited in symplastic cellular compartments. There were striking between-species differences in Mn, magnesium (Mg), sulphur (S) and calcium (Ca) distribution patterns. Unusually, Mn was highly co-localised with Mg in mesophyll cells of red maple only. The known sensitivity of sugar maple to excess Mn is likely linked to Mg deficiency in the leaf mesophyll. There was strong evidence that Mn toxicity in sugar maple is primarily a symplastic process. For each species, leaf-surface damage due to biotic stress including insect herbivory was compared between sites with acidified and non-acidified soils. Although it was greatest overall in red maple, there was no difference in biotic stress damage to red maple leaves between acidified and non-acidified soils. Sugar maple trees on buffered non-acidified soil were less damaged by biotic stress compared to those on unbuffered acidified soil, where they are also affected by Mn toxicity abiotic stress. This study concluded that foliar nutrient distribution in symplastic compartments is a determinant of Mn sensitivity, and that Mn stress hinders plant resistance to biotic stress. PMID:27391424
Titration Calculations with Computer Algebra Software
ERIC Educational Resources Information Center
Lachance, Russ; Biaglow, Andrew
2012-01-01
This article examines the symbolic algebraic solution of the titration equations for a diprotic acid, as obtained using "Mathematica," "Maple," and "Mathcad." The equilibrium and conservation equations are solved symbolically by the programs to eliminate the approximations that normally would be performed by the student. Of the three programs,…
The Mathlet Toolkit: Creating Dynamic Applets for Differential Equations and Dynamical Systems
ERIC Educational Resources Information Center
Decker, Robert
2011-01-01
Dynamic/interactive graphing applets can be used to supplement standard computer algebra systems such as Maple, Mathematica, Derive, or TI calculators, in courses such as Calculus, Differential Equations, and Dynamical Systems. The addition of this type of software can lead to discovery learning, with students developing their own conjectures, and…
Solving stochastic epidemiological models using computer algebra
NASA Astrophysics Data System (ADS)
Hincapie, Doracelly; Ospina, Juan
2011-06-01
Mathematical modeling in Epidemiology is an important tool to understand the ways under which the diseases are transmitted and controlled. The mathematical modeling can be implemented via deterministic or stochastic models. Deterministic models are based on short systems of non-linear ordinary differential equations and the stochastic models are based on very large systems of linear differential equations. Deterministic models admit complete, rigorous and automatic analysis of stability both local and global from which is possible to derive the algebraic expressions for the basic reproductive number and the corresponding epidemic thresholds using computer algebra software. Stochastic models are more difficult to treat and the analysis of their properties requires complicated considerations in statistical mathematics. In this work we propose to use computer algebra software with the aim to solve epidemic stochastic models such as the SIR model and the carrier-borne model. Specifically we use Maple to solve these stochastic models in the case of small groups and we obtain results that do not appear in standard textbooks or in the books updated on stochastic models in epidemiology. From our results we derive expressions which coincide with those obtained in the classical texts using advanced procedures in mathematical statistics. Our algorithms can be extended for other stochastic models in epidemiology and this shows the power of computer algebra software not only for analysis of deterministic models but also for the analysis of stochastic models. We also perform numerical simulations with our algebraic results and we made estimations for the basic parameters as the basic reproductive rate and the stochastic threshold theorem. We claim that our algorithms and results are important tools to control the diseases in a globalized world.
Geary, David C; Hoard, Mary K; Nugent, Lara; Rouder, Jeffrey N
2015-12-01
The relation between performance on measures of algebraic cognition and acuity of the approximate number system (ANS) and memory for addition facts was assessed for 171 ninth graders (92 girls) while controlling for parental education, sex, reading achievement, speed of numeral processing, fluency of symbolic number processing, intelligence, and the central executive component of working memory. The algebraic tasks assessed accuracy in placing x,y pairs in the coordinate plane, speed and accuracy of expression evaluation, and schema memory for algebra equations. ANS acuity was related to accuracy of placements in the coordinate plane and expression evaluation but not to schema memory. Frequency of fact retrieval errors was related to schema memory but not to coordinate plane or expression evaluation accuracy. The results suggest that the ANS may contribute to or be influenced by spatial-numerical and numerical-only quantity judgments in algebraic contexts, whereas difficulties in committing addition facts to long-term memory may presage slow formation of memories for the basic structure of algebra equations. More generally, the results suggest that different brain and cognitive systems are engaged during the learning of different components of algebraic competence while controlling for demographic and domain general abilities. PMID:26255604
Maple Sugar Harvesting/Wild Rice Harvesting.
ERIC Educational Resources Information Center
Minneapolis Public Schools, MN.
Comprised of two separate booklets, this resource unit assists elementary teachers in explaining how the Ojibwe people harvest maple sugar and wild rice. The first booklet explains the procedure of tapping the maple trees for sap, preparation for boiling the sap, and the three forms the sugar is made into (granulated, "molded," and "taffy"). The…
Computing the Moore-Penrose Inverse of a Matrix with a Computer Algebra System
ERIC Educational Resources Information Center
Schmidt, Karsten
2008-01-01
In this paper "Derive" functions are provided for the computation of the Moore-Penrose inverse of a matrix, as well as for solving systems of linear equations by means of the Moore-Penrose inverse. Making it possible to compute the Moore-Penrose inverse easily with one of the most commonly used Computer Algebra Systems--and to have the blueprint…
Mixing Microworld and CAS Features in Building Computer Systems that Help Students Learn Algebra
ERIC Educational Resources Information Center
Nicaud, Jean-Francois; Bouhineau, Denis; Chaachoua, Hamid
2004-01-01
We present the design principles for a new kind of computer system that helps students learn algebra. The fundamental idea is to have a system based on the microworld paradigm that allows students to make their own calculations, as they do with paper and pencil, without being obliged to use commands, and to verify the correctness of these…
ERIC Educational Resources Information Center
Matsumoto, Paul S.
2014-01-01
The article describes the use of Mathematica, a computer algebra system (CAS), in a high school chemistry course. Mathematica was used to generate a graph, where a slider controls the value of parameter(s) in the equation; thus, students can visualize the effect of the parameter(s) on the behavior of the system. Also, Mathematica can show the…
ERIC Educational Resources Information Center
Naval Education and Training Program Development Center, Pensacola, FL.
This textbook is one of a series of publications designed to provide information needed by Navy personnel whose duties require an elementary and general knowledge of the fundamental concepts of number systems, logic circuits, and Boolean algebra. Topic 1, Number Systems, describes the radix; the positional notation; the decimal, binary, octal, and…
Developing a TI-92 Manual Generator Based on Computer Algebra Systems
ERIC Educational Resources Information Center
Jun, Youngcook
2004-01-01
The electronic medium suitable for mathematics learning and teaching is often designed with a notebook interface provided in a computer algebra system. Such a notebook interface facilitates a workspace for mathematical activities along with an online help system. In this paper, the proposed feature is implemented in the Mathematica's notebook…
Filteau, Marie; Lagacé, Luc; Lapointe, Gisèle; Roy, Denis
2012-03-01
Maple sap processing and microbial contamination are significant aspects that affect maple syrup quality. In this study, two sample sets from 2005 and 2008 were used to assess the maple syrup quality variation and its relationship to microbial populations, with respect to processing, production site and harvesting period. The abundance of maple sap predominant bacteria (Pseudomonas fluorescens group and two subgroups, Rahnella spp., Janthinobacterium spp., Leuconostoc mesenteroides) and yeast (Mrakia spp., Mrakiella spp.,Guehomyces pullulans) was assessed by quantitative PCR. Maple syrup properties were analyzed by physicochemical and sensorial methods. Results indicate that P. fluorescens, Mrakia spp., Mrakiella spp. G. pullulans and Rahnella spp. are stable contaminants of maple sap, as they were found for every production site throughout the flow period. Multiple factor analysis reports a link between the relative abundance of P. fluorescens group and Mrakia spp. in maple sap with maple and vanilla odor as well as flavor of maple syrup. This evidence supports the contribution of these microorganisms or a consortium of predominant microbial contaminants to the characteristic properties of maple syrup. PMID:22236761
Maple procedures for the coupling of angular momenta. IX. Wigner D-functions and rotation matrices
NASA Astrophysics Data System (ADS)
Pagaran, J.; Fritzsche, S.; Gaigalas, G.
2006-04-01
expressions to be evaluated. Licensing provisions:None Computer for which the program is designed and others on which it is operable: All computers with a license for the computer algebra package Maple [Maple is a registered trademark of Waterloo Maple Inc.] Installations:University of Kassel (Germany) Operating systems under which the program has been tested: Linux 8.2+ Program language used:MAPLE, Release 8 and 9 Memory required to execute with typical data:10-50 MB No. of lines in distributed program, including test data, etc.:52 653 No. of bytes in distributed program, including test data, etc.:1 195 346 Distribution format:tar.gzip Nature of the physical problem: The Wigner D-functions and (reduced) rotation matrices occur very frequently in physical applications. They are known not only as the (infinite) representation of the rotation group but also to obey a number of integral and summation rules, including those for their orthogonality and completeness. Instead of the direct computation of these matrices, therefore, one first often wishes to find algebraic simplifications before the computations can be carried out in practice. Reasons for new version: The RACAH program has been found an efficient tool during recent years, in order to evaluate and simplify expressions from Racah's algebra. Apart from the Wigner n-j symbols ( j=3,6,9) and spherical harmonics, we now extended the code to allow for Wigner rotation matrices. This extension will support the study of those quantum processes especially where different axis of quantization occurs in course of the theoretical deviations. Summary of revisions: In a revised version of the RACAH program [S. Fritzsche, Comput. Phys. Comm. 103 (1997) 51; S. Fritzsche, T. Inghoff, M. Tomaselli, Comput. Phys. Comm. 153 (2003) 424], we now also support the occurrence of the Wigner D-functions and reduced rotation matrices. By following our previous design, the (algebraic) properties of these rotation matrices as well as a number of
PREFACE: Infinite Dimensional Algebras and their Applications to Quantum Integrable Systems
NASA Astrophysics Data System (ADS)
Fring, Andreas; Kulish, Petr P.; Manojlović, Nenad; Nagy, Zoltán; Nunes da Costa, Joana; Samtleben, Henning
2008-05-01
This special issue is centred around the workshop Infinite Dimensional Algebras and Quantum Integrable Systems II—IDAQUIS 2007, held at the University of Algarve, Faro, Portugal in July 2007. It was the second workshop in the IDAQUIS series following a previous meeting at the same location in 2003. The latest workshop gathered around forty experts in the field reviewing recent developments in the theory and applications of integrable systems in the form of invited lectures and in a number of contributions from the participants. All contributions contain significant new results or provide a survey of the state of the art of the subject or a critical assessment of the present understanding of the topic and a discussion of open problems. Original contributions from non-participants are also included. The origins of the topic of this issue can be traced back a long way to the early investigations of completely integrable systems of classical mechanics in the fundamental papers by Euler, Lagrange, Jacobi, Liouville, Kowalevski and others. By the end of the nineteenth century all interesting examples seemed to have been exhausted. A revival in the study of integrable systems began with the development of the classical inverse scattering method, or the theory of solitons. Later developments led to the basic geometrical ideas of the theory, of which infinite dimensional algebras are a key ingredient. In a loose sense one may think that all integrable systems possess some hidden symmetry. In the quantum version of these systems the representation theory of these algebras may be exploited in the description of the structure of the Hilbert space of states. Modern examples of field theoretical systems such as conformal field theories, with the Liouville model being a prominent example, affine Toda field theories and the AdS/CFT correspondence are based on algebraic structures like quantum groups, modular doubles, global conformal invariance, Hecke algebras, Kac
Structural analysis and design of multivariable control systems: An algebraic approach
NASA Technical Reports Server (NTRS)
Tsay, Yih Tsong; Shieh, Leang-San; Barnett, Stephen
1988-01-01
The application of algebraic system theory to the design of controllers for multivariable (MV) systems is explored analytically using an approach based on state-space representations and matrix-fraction descriptions. Chapters are devoted to characteristic lambda matrices and canonical descriptions of MIMO systems; spectral analysis, divisors, and spectral factors of nonsingular lambda matrices; feedback control of MV systems; and structural decomposition theories and their application to MV control systems.
ERIC Educational Resources Information Center
Buteau, Chantal; Jarvis, Daniel H.; Lavicza, Zsolt
2014-01-01
In this article, we outline the findings of a Canadian survey study (N = 302) that focused on the extent of computer algebra systems (CAS)-based technology use in postsecondary mathematics instruction. Results suggest that a considerable number of Canadian mathematicians use CAS in research and teaching. CAS use in research was found to be the…
Teaching of Real Numbers by Using the Archimedes-Cantor Approach and Computer Algebra Systems
ERIC Educational Resources Information Center
Vorob'ev, Evgenii M.
2015-01-01
Computer technologies and especially computer algebra systems (CAS) allow students to overcome some of the difficulties they encounter in the study of real numbers. The teaching of calculus can be considerably more effective with the use of CAS provided the didactics of the discipline makes it possible to reveal the full computational potential of…
ERIC Educational Resources Information Center
Meagher, Michael
2012-01-01
The research presented here is a group case study of students learning calculus in a Computer Algebra System (CAS) environment which examines the following research questions: What are students' perceptions of the role of technology in their learning? What is the students' relationship to CAS? What is the effect of learning in a CAS environment on…
ERIC Educational Resources Information Center
Tonisson, Eno
2015-01-01
Sometimes Computer Algebra Systems (CAS) offer an answer that is somewhat different from the answer that is probably expected by the student or teacher. These (somewhat unexpected) answers could serve as a catalyst for rich mathematical discussion. In this study, over 120 equations from school mathematics were solved using 8 different CAS. Many…
ERIC Educational Resources Information Center
Maat, Siti Mistima; Zakaria, Effandi
2011-01-01
Ordinary differential equations (ODEs) are one of the important topics in engineering mathematics that lead to the understanding of technical concepts among students. This study was conducted to explore the students' understanding of ODEs when they solve ODE questions using a traditional method as well as a computer algebraic system, particularly…
Flipping an Algebra Classroom: Analyzing, Modeling, and Solving Systems of Linear Equations
ERIC Educational Resources Information Center
Kirvan, Rebecca; Rakes, Christopher R.; Zamora, Regie
2015-01-01
The present study investigated whether flipping an algebra classroom led to a stronger focus on conceptual understanding and improved learning of systems of linear equations for 54 seventh- and eighth-grade students using teacher journal data and district-mandated unit exam items. Multivariate analysis of covariance was used to compare scores on…
Examining the Use of Computer Algebra Systems in University-Level Mathematics Teaching
ERIC Educational Resources Information Center
Lavicza, Zsolt
2009-01-01
The use of Computer Algebra Systems (CAS) is becoming increasingly important and widespread in mathematics research and teaching. In this paper, I will report on a questionnaire study enquiring about mathematicians' use of CAS in mathematics teaching in three countries; the United States, the United Kingdom, and Hungary. Based on the responses…
Introducing a Computer Algebra System in Mathematics Education--Empirical Evidence from Germany
ERIC Educational Resources Information Center
Schmidt, Karsten; Kohler, Anke; Moldenhauer, Wolfgang
2009-01-01
This paper reports on the effects the use of a pocket calculator-based computer algebra system (CAS) has on the performance in mathematics of grade 11 students in Germany. A project started at 8 of about one hundred upper secondary schools in the federal state of Thuringia in 1999; 3 years later the former restrictions on the use of technology in…
A Study of the Use of a Handheld Computer Algebra System in Discrete Mathematics
ERIC Educational Resources Information Center
Powers, Robert A.; Allison, Dean E.; Grassl, Richard M.
2005-01-01
This study investigated the impact of the TI-92 handheld Computer Algebra System (CAS) on student achievement in a discrete mathematics course. Specifically, the researchers examined the differences between a CAS section and a control section of discrete mathematics on students' in-class examinations. Additionally, they analysed student approaches…
Towards Student Instrumentation of Computer-Based Algebra Systems in University Courses
ERIC Educational Resources Information Center
Stewart, Sepideh; Thomas, Michael O. J.; Hannah, John
2005-01-01
There are many perceived benefits of using technology, such as computer algebra systems, in undergraduate mathematics courses. However, attaining these benefits sometimes proves elusive. Some of the key variables are the teaching approach and the student instrumentation of the technology. This paper considers the instrumentation of computer-based…
ERIC Educational Resources Information Center
Lavicza, Zsolt
2007-01-01
Computer Algebra Systems (CAS) are increasing components of university-level mathematics education. However, little is known about the extent of CAS use and the factors influencing its integration into university curricula. Pre-university level studies suggest that beyond the availability of technology, teachers' conceptions and cultural elements…
Realizations of Galilei algebras
NASA Astrophysics Data System (ADS)
Nesterenko, Maryna; Pošta, Severin; Vaneeva, Olena
2016-03-01
All inequivalent realizations of the Galilei algebras of dimensions not greater than five are constructed using the algebraic approach proposed by Shirokov. The varieties of the deformed Galilei algebras are discussed and families of one-parametric deformations are presented in explicit form. It is also shown that a number of well-known and physically interesting equations and systems are invariant with respect to the considered Galilei algebras or their deformations.
Teaching Algebra without Algebra
ERIC Educational Resources Information Center
Kalman, Richard S.
2008-01-01
Algebra is, among other things, a shorthand way to express quantitative reasoning. This article illustrates ways for the classroom teacher to convert algebraic solutions to verbal problems into conversational solutions that can be understood by students in the lower grades. Three reasonably typical verbal problems that either appeared as or…
Family of N-dimensional superintegrable systems and quadratic algebra structures
NASA Astrophysics Data System (ADS)
Fazlul Hoque, Md; Marquette, Ian; Zhang, Yao-Zhong
2016-01-01
Classical and quantum superintegrable systems have a long history and they possess more integrals of motion than degrees of freedom. They have many attractive properties, wide applications in modern physics and connection to many domains in pure and applied mathematics. We overview two new families of superintegrable Kepler-Coulomb systems with non-central terms and superintegrable Hamiltonians with double singular oscillators of type (n, N — n) in N-dimensional Euclidean space. We present their quadratic and polynomial algebras involving Casimir operators of so(N + 1) Lie algebras that exhibit very interesting decompositions Q(3) ⊕ so(N — 1), Q(3) ⊕ so(n) ⊕ so(N — n) and the cubic Casimir operators. The realization of these algebras in terms of deformed oscillator enables the determination of a finite dimensional unitary representation. We present algebraic derivations of the degenerate energy spectra of these systems and relate them with the physical spectra obtained from the separation of variables.
ERIC Educational Resources Information Center
Smith, Authella; And Others
Documentation of the Coursewriter II Function FCALC is provided. The function is designed for use on the IBM 1500 instructional system and has three major applications: 1) comparison of a numeric expression in buffer 5 with a numeric expression in buffer 0; 2) comparison of an algebraic expression in buffer 5 with an algebraic expression in buffer…
Quantum integrable systems, non-skew-symmetric r-matrices and algebraic Bethe ansatz
Skrypnyk, T.
2007-02-15
We prove the integrability of the general quantum Hamiltonian systems governed by an arbitrary non-skew-symmetric, so(3)-valued, nondynamical classical r-matrix with spectral parameters. We consider the most interesting example of these quantum integrable systems, namely, the so(3) 'generalized Gaudin systems' in detail. In the case of an arbitrary r-matrix which is 'diagonal' in the sl(2) basis we calculate the spectrum and the eigenvalues of the corresponding Hamiltonians using the algebraic Bethe ansatz technique.
Benhammouda, Brahim
2016-01-01
Since 1980, the Adomian decomposition method (ADM) has been extensively used as a simple powerful tool that applies directly to solve different kinds of nonlinear equations including functional, differential, integro-differential and algebraic equations. However, for differential-algebraic equations (DAEs) the ADM is applied only in four earlier works. There, the DAEs are first pre-processed by some transformations like index reductions before applying the ADM. The drawback of such transformations is that they can involve complex algorithms, can be computationally expensive and may lead to non-physical solutions. The purpose of this paper is to propose a novel technique that applies the ADM directly to solve a class of nonlinear higher-index Hessenberg DAEs systems efficiently. The main advantage of this technique is that; firstly it avoids complex transformations like index reductions and leads to a simple general algorithm. Secondly, it reduces the computational work by solving only linear algebraic systems with a constant coefficient matrix at each iteration, except for the first iteration where the algebraic system is nonlinear (if the DAE is nonlinear with respect to the algebraic variable). To demonstrate the effectiveness of the proposed technique, we apply it to a nonlinear index-three Hessenberg DAEs system with nonlinear algebraic constraints. This technique is straightforward and can be programmed in Maple or Mathematica to simulate real application problems. PMID:27330880
Using computer algebra for Yang-Baxterization applied to quantum computing
NASA Astrophysics Data System (ADS)
Vélez, Mario; Ospina, Juan
2006-05-01
Using Computer Algebra Software (Mathematica and Maple), the recently introduced topic of Yang- Baxterization applied to quantum computing, is explored from the mathematical and computational views. Some algorithms of computer algebra were elaborated with the aim to make the calculations to obtain some of results that were originally presented in the paper by Shang-Kauffman-Ge. Also certain new results about computational Yang-baxterization are presented. We obtain some Hamiltonians for hypothetical physical systems which can be realized within the domain of spin chains and certain diffusion process. We conclude that it is possible to have real physical systems on which implement, via Yang-baxterization, the standard quantum gates with topological protection. Finally some lines for future research are deligned.
Quantum symmetry algebras of spin systems related to Temperley-Lieb R-matrices
Kulish, P. P.; Manojlovic, N.; Nagy, Z.
2008-02-15
A reducible representation of the Temperley-Lieb algebra is constructed on the tensor product of n-dimensional spaces. One obtains as a centralizer of this action a quantum algebra (a quasitriangular Hopf algebra) U{sub q} with a representation ring equivalent to the representation ring of the sl{sub 2} Lie algebra. This algebra U{sub q} is the symmetry algebra of the corresponding open spin chain.
NASA Astrophysics Data System (ADS)
Idzikowski, A.; Salamon, S.
2013-06-01
A general characteristics of a car hydraulic braking system (CHBS) is presented in this publication. A graphical model of properties-component objects is developed for the above-mentioned system. Moreover, four mathematical models in terms of logic, the set theory and the Boolean algebra of Boolean functions are developed. The examination is ended with a general model of the CHBS for n - Boolean variables and the construction and mathematical-technical interpretation of this model is presented.
Computer algebra and transport theory.
Warsa, J. S.
2004-01-01
Modern symbolic algebra computer software augments and complements more traditional approaches to transport theory applications in several ways. The first area is in the development and enhancement of numerical solution methods for solving the Boltzmann transport equation. Typically, special purpose computer codes are designed and written to solve specific transport problems in particular ways. Different aspects of the code are often written from scratch and the pitfalls of developing complex computer codes are numerous and well known. Software such as MAPLE and MATLAB can be used to prototype, analyze, verify and determine the suitability of numerical solution methods before a full-scale transport application is written. Once it is written, the relevant pieces of the full-scale code can be verified using the same tools I that were developed for prototyping. Another area is in the analysis of numerical solution methods or the calculation of theoretical results that might otherwise be difficult or intractable. Algebraic manipulations are done easily and without error and the software also provides a framework for any additional numerical calculations that might be needed to complete the analysis. We will discuss several applications in which we have extensively used MAPLE and MATLAB in our work. All of them involve numerical solutions of the S{sub N} transport equation. These applications encompass both of the two main areas in which we have found computer algebra software essential.
Mishra, Bud
2009-01-01
Systems biology, as a subject, has captured the imagination of both biologists and systems scientists alike. But what is it? This review provides one researcher's somewhat idiosyncratic view of the subject, but also aims to persuade young scientists to examine the possible evolution of this subject in a rich historical context. In particular, one may wish to read this review to envision a subject built out of a consilience of many interesting concepts from systems sciences, logic and model theory, and algebra, culminating in novel tools, techniques and theories that can reveal deep principles in biology—seen beyond mere observations. A particular focus in this review is on approaches embedded in an embryonic program, dubbed ‘algorithmic algebraic model checking’, and its powers and limitations. PMID:19364723
Paquette, Alain; Fontaine, Bastien; Berninger, Frank; Dubois, Karine; Lechowicz, Martin J; Messier, Christian; Posada, Juan M; Valladares, Fernando; Brisson, Jacques
2012-11-01
Norway maple (Acer platanoides L), which is among the most invasive tree species in forests of eastern North America, is associated with reduced regeneration of the related native species, sugar maple (Acer saccharum Marsh) and other native flora. To identify traits conferring an advantage to Norway maple, we grew both species through an entire growing season under simulated light regimes mimicking a closed forest understorey vs. a canopy disturbance (gap). Dynamic shade-houses providing a succession of high-intensity direct-light events between longer periods of low, diffuse light were used to simulate the light regimes. We assessed seedling height growth three times in the season, as well as stem diameter, maximum photosynthetic capacity, biomass allocation above- and below-ground, seasonal phenology and phenotypic plasticity. Given the north European provenance of Norway maple, we also investigated the possibility that its growth in North America might be increased by delayed fall senescence. We found that Norway maple had significantly greater photosynthetic capacity in both light regimes and grew larger in stem diameter than sugar maple. The differences in below- and above-ground biomass, stem diameter, height and maximum photosynthesis were especially important in the simulated gap where Norway maple continued extension growth during the late fall. In the gap regime sugar maple had a significantly higher root : shoot ratio that could confer an advantage in the deepest shade of closed understorey and under water stress or browsing pressure. Norway maple is especially invasive following canopy disturbance where the opposite (low root : shoot ratio) could confer a competitive advantage. Considering the effects of global change in extending the potential growing season, we anticipate that the invasiveness of Norway maple will increase in the future. PMID:23076822
Nonnumeric Computer Applications to Algebra, Trigonometry and Calculus.
ERIC Educational Resources Information Center
Stoutemyer, David R.
1983-01-01
Described are computer program packages requiring little or no knowledge of computer programing for college algebra, calculus, and abstract algebra. Widely available computer algebra systems are listed. (MNS)
ERIC Educational Resources Information Center
Pye, Cory C.; Mercer, Colin J.
2012-01-01
The symbolic algebra program Maple and the spreadsheet Microsoft Excel were used in an attempt to reproduce the Gaussian fits to a Slater-type orbital, required to construct the popular STO-NG basis sets. The successes and pitfalls encountered in such an approach are chronicled. (Contains 1 table and 3 figures.)
NASA Astrophysics Data System (ADS)
Graefe, Eva-Maria; Korsch, Hans Jürgen; Rush, Alexander
2016-04-01
Bosonic quantum conversion systems can be modeled by many-particle single-mode Hamiltonians describing a conversion of m molecules of type A into n molecules of type B and vice versa. These Hamiltonians are analyzed in terms of generators of a polynomially deformed su(2) algebra. In the mean-field limit of large particle numbers, these systems become classical and their Hamiltonian dynamics can again be described by polynomial deformations of a Lie algebra, where quantum commutators are replaced by Poisson brackets. The Casimir operator restricts the motion to Kummer shapes, deformed Bloch spheres with cusp singularities depending on m and n . It is demonstrated that the many-particle eigenvalues can be recovered from the mean-field dynamics using a WKB-type quantization condition. The many-particle state densities can be semiclassically approximated by the time periods of periodic orbits, which show characteristic steps and singularities related to the fixed points, whose bifurcation properties are analyzed.
Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games
NASA Astrophysics Data System (ADS)
Gaubert, Stéphane
The max-plus algebraic approach of timed discrete event systems emerged in the eighties, after the discovery that synchronization phenomena can be modeled in a linear way in the max-plus setting. This led to a number of results, like the determination of long term characteristics (throughput, stationary regime) by spectral theory methods or the representation of the input-output behavior by rational series.
Environmental setting of Maple Creek watershed, Nebraska
Fredrick, Brian S.; Linard, Joshua I.; Carpenter, Jennifer L.
2006-01-01
The Maple Creek watershed covers a 955-square-kilometer area in eastern Nebraska, which is a region dominated by agricultural land use. The Maple Creek watershed is one of seven areas currently included in a nationwide study of the sources, transport, and fate of water and chemicals in agricultural watersheds. This study, known as the topical study of 'Agricultural Chemicals: Sources, Transport, and Fate' is part of the National Water-Quality Assessment Program being conducted by the U.S. Geological Survey. The Program is designed to describe water-quality conditions and trends based on representative surface- and ground-water resources across the Nation. The objective of the Agricultural Chemicals topical study is to investigate the sources, transport, and fate of selected agricultural chemicals in a variety of agriculturally diverse environmental settings. The Maple Creek watershed was selected for the Agricultural Chemicals topical study because its watershed represents the agricultural setting that characterizes eastern Nebraska. This report describes the environmental setting of the Maple Creek watershed in the context of how agricultural practices, including agricultural chemical applications and irrigation methods, interface with natural settings and hydrologic processes. A description of the environmental setting of a subwatershed within the drainage area of Maple Creek is included to improve the understanding of the variability of hydrologic and chemical cycles at two different scales.
ERIC Educational Resources Information Center
Abdullah, Lazim M.
2007-01-01
Computer algebra systems (CASs) have been used by thousands of teachers and students for teaching and learning algebra. They have the ability to perform efficiently almost all of the algebraic expansions and simplifications. Nevertheless, the traditional approach of using paper and pencil in acquiring procedural knowledge is still widely…
Biosensor Applications of MAPLE Deposited Lipase
Califano, Valeria; Bloisi, Francesco; Aronne, Antonio; Federici, Stefania; Nasti, Libera; Depero, Laura E.; Vicari, Luciano R. M.
2014-01-01
Matrix Assisted Pulsed Laser Evaporation (MAPLE) is a thin film deposition technique derived from Pulsed Laser Deposition (PLD) for deposition of delicate (polymers, complex biological molecules, etc.) materials in undamaged form. The main difference of MAPLE technique with respect to PLD is the target: it is a frozen solution or suspension of the (guest) molecules to be deposited in a volatile substance (matrix). Since laser beam energy is mainly absorbed by the matrix, damages to the delicate guest molecules are avoided, or at least reduced. Lipase, an enzyme catalyzing reactions borne by triglycerides, has been used in biosensors for detection of β-hydroxyacid esters and triglycerides in blood serum. Enzymes immobilization on a substrate is therefore required. In this paper we show that it is possible, using MAPLE technique, to deposit lipase on a substrate, as shown by AFM observation, preserving its conformational structure, as shown by FTIR analysis. PMID:25587426
Calculus of One and More Variables with Maple
ERIC Educational Resources Information Center
Samkova, Libuse
2012-01-01
This is a guide to using Maple in teaching fundamental calculus of one, two and three variables (limits, derivatives, integrals, etc.), also suitable for Maple beginners. It outlines one of the ways to effective use of computers in the teaching process. It scans advantages and disadvantages of using Maple in relation to students and teacher. The…
Tapping the Sugar Maple--Learning and Appreciating
ERIC Educational Resources Information Center
Malone, Charles
1976-01-01
The article discusses how to tap a maple tree. Tapping a maple tree to produce maple syrup can: (1) lead to better understanding in many subject areas, (2) develop skills through participation in a rewarding activity, and (3) help students appreciate the many important roles that trees play in our environment and daily lives. (NQ)
Variable coefficient Davey-Stewartson system with a Kac-Moody-Virasoro symmetry algebra
NASA Astrophysics Data System (ADS)
Güngör, F.; Özemir, C.
2016-06-01
We study the symmetry group properties of the variable coefficient Davey-Stewartson (vcDS) system. The Lie point symmetry algebra with a Kac-Moody-Virasoro (KMV) structure is shown to be isomorphic to that of the usual (constant coefficient) DS system if and only if the coefficients satisfy some conditions. These conditions turn out to coincide with those for the vcDS system to be transformable to the DS system by a point transformation. The equivalence group of the vcDS system is applied to pick out the integrable subsystems from a class of non-integrable ones. Additionally, the full symmetry group of the DS system is derived explicitly without exponentiating its symmetry algebra. Lump solutions (rationally localized in all directions in ℝ2) introduced by Ozawa for the DS system are shown to hold even for the vcDS system precisely when the system belongs to the integrable class, i.e., equivalent to the DS system. These solutions can be used for establishing exact blow-up solutions in finite time in the space L2(ℝ2) in the focusing case.
NASA Astrophysics Data System (ADS)
Marquette, Ian
2015-04-01
Four new families of two-dimensional quantum superintegrable systems are constructed from k-step extension of the harmonic oscillator and the radial oscillator. Their wavefunctions are related with Hermite and Laguerre exceptional orthogonal polynomials (EOP) of type III. We show that ladder operators obtained from alternative construction based on combinations of supercharges in the Krein-Adler and Darboux Crum (or state deleting and creating) approaches can be used to generate a set of integrals of motion and a corresponding polynomial algebra that provides an algebraic derivation of the full spectrum and total number of degeneracies. Such derivation is based on finite dimensional unitary representations (unirreps) and doesn't work for integrals build from standard ladder operators in supersymmetric quantum mechanics (SUSYQM) as they contain singlets isolated from excited states. In this paper, we also rely on a novel approach to obtain the finite dimensional unirreps based on the action of the integrals of motion on the wavefunctions given in terms of these EOP. We compare the results with those obtained from the Daskaloyannis approach and the realizations in terms of deformed oscillator algebras for one of the new families in the case of 1-step extension. This communication is a review of recent works.
Marquette, Ian; Quesne, Christiane
2015-06-15
We extend the construction of 2D superintegrable Hamiltonians with separation of variables in spherical coordinates using combinations of shift, ladder, and supercharge operators to models involving rational extensions of the two-parameter Lissajous systems on the sphere. These new families of superintegrable systems with integrals of arbitrary order are connected with Jacobi exceptional orthogonal polynomials of type I (or II) and supersymmetric quantum mechanics. Moreover, we present an algebraic derivation of the degenerate energy spectrum for the one- and two-parameter Lissajous systems and the rationally extended models. These results are based on finitely generated polynomial algebras, Casimir operators, realizations as deformed oscillator algebras, and finite-dimensional unitary representations. Such results have only been established so far for 2D superintegrable systems separable in Cartesian coordinates, which are related to a class of polynomial algebras that display a simpler structure. We also point out how the structure function of these deformed oscillator algebras is directly related with the generalized Heisenberg algebras spanned by the nonpolynomial integrals.
NASA Astrophysics Data System (ADS)
Marquette, Ian; Quesne, Christiane
2015-06-01
We extend the construction of 2D superintegrable Hamiltonians with separation of variables in spherical coordinates using combinations of shift, ladder, and supercharge operators to models involving rational extensions of the two-parameter Lissajous systems on the sphere. These new families of superintegrable systems with integrals of arbitrary order are connected with Jacobi exceptional orthogonal polynomials of type I (or II) and supersymmetric quantum mechanics. Moreover, we present an algebraic derivation of the degenerate energy spectrum for the one- and two-parameter Lissajous systems and the rationally extended models. These results are based on finitely generated polynomial algebras, Casimir operators, realizations as deformed oscillator algebras, and finite-dimensional unitary representations. Such results have only been established so far for 2D superintegrable systems separable in Cartesian coordinates, which are related to a class of polynomial algebras that display a simpler structure. We also point out how the structure function of these deformed oscillator algebras is directly related with the generalized Heisenberg algebras spanned by the nonpolynomial integrals.
NASA Astrophysics Data System (ADS)
Konopelchenko, B. G.; Ortenzi, G.
2011-11-01
The local properties of the families of algebraic subsets Wg in the Birkhoff strata Σ2g of Gr(2) containing the hyperelliptic curves of genus g are studied. It is shown that the tangent spaces Tg for Wg are isomorphic to the linear spaces of 2-coboundaries. Particular subsets in Wg are described by the integrable dispersionless coupled KdV systems of hydrodynamical type defining a special class of 2-cocycles and 2-coboundaries in Tg. It is demonstrated that the blows-ups of such 2-cocycles and 2-coboundaries and gradient catastrophes for associated integrable systems are interrelated.
Accuracy requirements of optical linear algebra processors in adaptive optics imaging systems
NASA Technical Reports Server (NTRS)
Downie, John D.; Goodman, Joseph W.
1989-01-01
The accuracy requirements of optical processors in adaptive optics systems are determined by estimating the required accuracy in a general optical linear algebra processor (OLAP) that results in a smaller average residual aberration than that achieved with a conventional electronic digital processor with some specific computation speed. Special attention is given to an error analysis of a general OLAP with regard to the residual aberration that is created in an adaptive mirror system by the inaccuracies of the processor, and to the effect of computational speed of an electronic processor on the correction. Results are presented on the ability of an OLAP to compete with a digital processor in various situations.
Omar, Mohamed A
2014-01-01
Initial transient oscillations inhibited in the dynamic simulations responses of multibody systems can lead to inaccurate results, unrealistic load prediction, or simulation failure. These transients could result from incompatible initial conditions, initial constraints violation, and inadequate kinematic assembly. Performing static equilibrium analysis before the dynamic simulation can eliminate these transients and lead to stable simulation. Most exiting multibody formulations determine the static equilibrium position by minimizing the system potential energy. This paper presents a new general purpose approach for solving the static equilibrium in large-scale articulated multibody. The proposed approach introduces an energy drainage mechanism based on Baumgarte constraint stabilization approach to determine the static equilibrium position. The spatial algebra operator is used to express the kinematic and dynamic equations of the closed-loop multibody system. The proposed multibody system formulation utilizes the joint coordinates and modal elastic coordinates as the system generalized coordinates. The recursive nonlinear equations of motion are formulated using the Cartesian coordinates and the joint coordinates to form an augmented set of differential algebraic equations. Then system connectivity matrix is derived from the system topological relations and used to project the Cartesian quantities into the joint subspace leading to minimum set of differential equations. PMID:25045732
Static Analysis of Large-Scale Multibody System Using Joint Coordinates and Spatial Algebra Operator
Omar, Mohamed A.
2014-01-01
Initial transient oscillations inhibited in the dynamic simulations responses of multibody systems can lead to inaccurate results, unrealistic load prediction, or simulation failure. These transients could result from incompatible initial conditions, initial constraints violation, and inadequate kinematic assembly. Performing static equilibrium analysis before the dynamic simulation can eliminate these transients and lead to stable simulation. Most exiting multibody formulations determine the static equilibrium position by minimizing the system potential energy. This paper presents a new general purpose approach for solving the static equilibrium in large-scale articulated multibody. The proposed approach introduces an energy drainage mechanism based on Baumgarte constraint stabilization approach to determine the static equilibrium position. The spatial algebra operator is used to express the kinematic and dynamic equations of the closed-loop multibody system. The proposed multibody system formulation utilizes the joint coordinates and modal elastic coordinates as the system generalized coordinates. The recursive nonlinear equations of motion are formulated using the Cartesian coordinates and the joint coordinates to form an augmented set of differential algebraic equations. Then system connectivity matrix is derived from the system topological relations and used to project the Cartesian quantities into the joint subspace leading to minimum set of differential equations. PMID:25045732
NASA Astrophysics Data System (ADS)
Avellar, J.; Duarte, L. G. S.; da Mota, L. A. C. P.
2012-10-01
We present a set of software routines in Maple 14 for solving first order ordinary differential equations (FOODEs). The package implements the Prelle-Singer method in its original form together with its extension to include integrating factors in terms of elementary functions. The package also presents a theoretical extension to deal with all FOODEs presenting Liouvillian solutions. Applications to ODEs taken from standard references show that it solves ODEs which remain unsolved using Maple's standard ODE solution routines. New version program summary Program title: PSsolver Catalogue identifier: ADPR_v2_0 Program summary URL: http://cpc.cs.qub.ac.uk/summaries/ADPR_v2_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 2302 No. of bytes in distributed program, including test data, etc.: 31962 Distribution format: tar.gz Programming language: Maple 14 (also tested using Maple 15 and 16). Computer: Intel Pentium Processor P6000, 1.86 GHz. Operating system: Windows 7. RAM: 4 GB DDR3 Memory Classification: 4.3. Catalogue identifier of previous version: ADPR_v1_0 Journal reference of previous version: Comput. Phys. Comm. 144 (2002) 46 Does the new version supersede the previous version?: Yes Nature of problem: Symbolic solution of first order differential equations via the Prelle-Singer method. Solution method: The method of solution is based on the standard Prelle-Singer method, with extensions for the cases when the FOODE contains elementary functions. Additionally, an extension of our own which solves FOODEs with Liouvillian solutions is included. Reasons for new version: The program was not running anymore due to changes in the latest versions of Maple. Additionally, we corrected/changed some bugs/details that were hampering the smoother functioning of the routines. Summary
NASA Astrophysics Data System (ADS)
Avellar, J.; Duarte, L. G. S.; da Mota, L. A. C. P.
2012-10-01
We present a set of software routines in Maple 14 for solving first order ordinary differential equations (FOODEs). The package implements the Prelle-Singer method in its original form together with its extension to include integrating factors in terms of elementary functions. The package also presents a theoretical extension to deal with all FOODEs presenting Liouvillian solutions. Applications to ODEs taken from standard references show that it solves ODEs which remain unsolved using Maple's standard ODE solution routines. New version program summary Program title: PSsolver Catalogue identifier: ADPR_v2_0 Program summary URL: http://cpc.cs.qub.ac.uk/summaries/ADPR_v2_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 2302 No. of bytes in distributed program, including test data, etc.: 31962 Distribution format: tar.gz Programming language: Maple 14 (also tested using Maple 15 and 16). Computer: Intel Pentium Processor P6000, 1.86 GHz. Operating system: Windows 7. RAM: 4 GB DDR3 Memory Classification: 4.3. Catalogue identifier of previous version: ADPR_v1_0 Journal reference of previous version: Comput. Phys. Comm. 144 (2002) 46 Does the new version supersede the previous version?: Yes Nature of problem: Symbolic solution of first order differential equations via the Prelle-Singer method. Solution method: The method of solution is based on the standard Prelle-Singer method, with extensions for the cases when the FOODE contains elementary functions. Additionally, an extension of our own which solves FOODEs with Liouvillian solutions is included. Reasons for new version: The program was not running anymore due to changes in the latest versions of Maple. Additionally, we corrected/changed some bugs/details that were hampering the smoother functioning of the routines. Summary
Using geometric algebra to understand pattern rotations in multiple mirror optical systems
Hanlon, J.; Ziock, H.
1997-05-01
Geometric Algebra (GA) is a new formulation of Clifford Algebra that includes vector analysis without notation changes. Most applications of Ga have been in theoretical physics, but GA is also a very good analysis tool for engineering. As an example, the authors use GA to study pattern rotation in optical systems with multiple mirror reflections. The common ways to analyze pattern rotations are to use rotation matrices or optical ray trace codes, but these are often inconvenient. The authors use GA to develop a simple expression for pattern rotation that is useful for designing or tolerancing pattern rotations in a multiple mirror optical system by inspection. Pattern rotation is used in many optical engineering systems, but it is not normally covered in optical system engineering texts. Pattern rotation is important in optical systems such as: (1) the 192 beam National ignition Facility (NIF), which uses square laser beams in close packed arrays to cut costs; (2) visual optical systems, which use pattern rotation to present the image to the observer in the appropriate orientation, and (3) the UR90 unstable ring resonator, which uses pattern rotation to fill a rectangular laser gain region and provide a filled-in laser output beam.
Engineering Mathematics Assessment Using "MapleTA"
ERIC Educational Resources Information Center
Jones, Ian S.
2008-01-01
The assessment of degree level engineering mathematics students using the computer-aided assessment package MapleTA is discussed. Experience of academic and practical issues for both online coursework and examination assessments is presented, hopefully benefiting other academics in this novel area of activity. (Contains 6 figures and 1 table.)
Ophthalmoplegia in Maple Syrup Urine Disease
ERIC Educational Resources Information Center
Zee, David S.; And Others
1974-01-01
Reported is the case of a female infant whose early symptom of ophthalmoplegia (paralysis of one or more motor nerves in the eye) led to eventual diagnosis and treatment for maple syrup urine disease, a condition in which early dietary restrictions can prevent severe mental retardation and neurologic disability. (DB)
MAPLE activities and applications in gas sensors
NASA Astrophysics Data System (ADS)
Jelínek, Miroslav; Remsa, Jan; Kocourek, Tomáš; Kubešová, Barbara; Schůrek, Jakub; Myslík, Vladimír
2011-11-01
During the last decade, many groups have grown thin films of various organic materials by the cryogenic Matrix Assisted Pulsed Laser Evaporation (MAPLE) technique with a wide range of applications. This contribution is focused on the summary of our results with deposition and characterization of thin films of fibrinogen, pullulan derivates, azo-polyurethane, cryoglobulin, polyvinyl alcohol, and bovine serum albumin dissolved in physiological serum, dimethyl sulfoxide, sanguine plasma, phosphate buffer solution, H2O, ethylene glycol, and tert-butanol. MAPLE films were characterized using FTIR, AFM, Raman scattering, and SEM. For deposition, a special hardware was developed including a unique liquid nitrogen cooled target holder. Overview of MAPLE thin film applications is given. We studied SnAcAc, InAcAc, SnO2, porphyrins, and polypyrrole MAPLE fabricated films as small resistive gas sensors. Sensors were tested with ozone, nitrogen dioxide, hydrogen, and water vapor gases. In the last years, our focus was on the study of fibrinogen-based scaffolds for application in tissue engineering, wound healing, and also as a part of layers for medical devices.
The development of an algebraic multigrid algorithm for symmetric positive definite linear systems
Vanek, P.; Mandel, J.; Brezina, M.
1996-12-31
An algebraic multigrid algorithm for symmetric, positive definite linear systems is developed based on the concept of prolongation by smoothed aggregation. Coarse levels are generated automatically. We present a set of requirements motivated heuristically by a convergence theory. The algorithm then attempts to satisfy the requirements. Input to the method are the coefficient matrix and zero energy modes, which are determined from nodal coordinates and knowledge of the differential equation. Efficiency of the resulting algorithm is demonstrated by computational results on real world problems from solid elasticity, plate blending, and shells.
Non-Hermitian systems of Euclidean Lie algebraic type with real energy spectra
Dey, Sanjib Fring, Andreas Mathanaranjan, Thilagarajah
2014-07-15
We study several classes of non-Hermitian Hamiltonian systems, which can be expressed in terms of bilinear combinations of Euclidean–Lie algebraic generators. The classes are distinguished by different versions of antilinear (PT)-symmetries exhibiting various types of qualitative behaviour. On the basis of explicitly computed non-perturbative Dyson maps we construct metric operators, isospectral Hermitian counterparts for which we solve the corresponding time-independent Schrödinger equation for specific choices of the coupling constants. In these cases general analytical expressions for the solutions are obtained in the form of Mathieu functions, which we analyze numerically to obtain the corresponding energy spectra. We identify regions in the parameter space for which the corresponding spectra are entirely real and also domains where the PT symmetry is spontaneously broken and sometimes also regained at exceptional points. In some cases it is shown explicitly how the threshold region from real to complex spectra is characterized by the breakdown of the Dyson maps or the metric operator. We establish the explicit relationship to models currently under investigation in the context of beam dynamics in optical lattices. -- Highlights: •Different PT-symmetries lead to qualitatively different systems. •Construction of non-perturbative Dyson maps and isospectral Hermitian counterparts. •Numerical discussion of the eigenvalue spectra for one of the E(2)-systems. •Established link to systems studied in the context of optical lattices. •Setup for the E(3)-algebra is provided.
Assessing Elementary Algebra with STACK
ERIC Educational Resources Information Center
Sangwin, Christopher J.
2007-01-01
This paper concerns computer aided assessment (CAA) of mathematics in which a computer algebra system (CAS) is used to help assess students' responses to elementary algebra questions. Using a methodology of documentary analysis, we examine what is taught in elementary algebra. The STACK CAA system, http://www.stack.bham.ac.uk/, which uses the CAS…
MAMA: an algebraic map for the secular dynamics of planetesimals in tight binary systems
NASA Astrophysics Data System (ADS)
Leiva, A. M.; Correa-Otto, J. A.; Beaugé, C.
2013-12-01
We present an algebraic map (MAMA) for the dynamical and collisional evolution of a planetesimal swarm orbiting the main star of a tight binary system. The orbital evolution of each planetesimal is dictated by the secular perturbations of the secondary star and gas drag due to interactions with a protoplanetary disc. The gas disc is assumed eccentric with a constant precession rate. Gravitational interactions between the planetesimals are ignored. All bodies are assumed coplanar. A comparison with full N-body simulations shows that the map is of the order of 102 times faster, while preserving all the main characteristics of the full system. In a second part of the work, we apply multiparticle algebraic map for accretion (MAMA) to the γ-Cephei, searching for friendly scenarios that may explain the formation of the giant planet detected in this system. For low-mass protoplanetary discs, we find that a low-eccentricity static disc aligned with the binary yields impact velocities between planetesimals below the disruption threshold. All other scenarios appear hostile to planetary formation.
ERIC Educational Resources Information Center
Levy, Alissa Beth
2012-01-01
The California Department of Education (CDE) has long asserted that success Algebra I by Grade 8 is the goal for all California public school students. In fact, the state's accountability system penalizes schools that do not require all of their students to take the Algebra I end-of-course examination by Grade 8 (CDE, 2009). In this…
Algebraic solutions of shape-invariant position-dependent effective mass systems
NASA Astrophysics Data System (ADS)
Amir, Naila; Iqbal, Shahid
2016-06-01
Keeping in view the ordering ambiguity that arises due to the presence of position-dependent effective mass in the kinetic energy term of the Hamiltonian, a general scheme for obtaining algebraic solutions of quantum mechanical systems with position-dependent effective mass is discussed. We quantize the Hamiltonian of the pertaining system by using symmetric ordering of the operators concerning momentum and the spatially varying mass, initially proposed by von Roos and Lévy-Leblond. The algebraic method, used to obtain the solutions, is based on the concepts of supersymmetric quantum mechanics and shape invariance. In order to exemplify the general formalism a class of non-linear oscillators has been considered. This class includes the particular example of a one-dimensional oscillator with different position-dependent effective mass profiles. Explicit expressions for the eigenenergies and eigenfunctions in terms of generalized Hermite polynomials are presented. Moreover, properties of these modified Hermite polynomials, like existence of generating function and recurrence relations among the polynomials have also been studied. Furthermore, it has been shown that in the harmonic limit, all the results for the linear harmonic oscillator are recovered.
NASA Astrophysics Data System (ADS)
Putnam, Ian F.
2010-03-01
We investigate the C*-algebras associated to aperiodic structures called model sets obtained by the cut-and-project method. These C*-algebras are Morita equivalent to crossed product C*-algebras obtained from dynamics on a disconnected version of the internal space. This construction may be made from more general data, which we call a hyperplane system. From a hyperplane system, others may be constructed by a process of reduction and we show how the C*-algebras involved are related to each other. In particular, there are natural elements in the Kasparov KK-groups for the C*-algebra of a hyperplane system and that of its reduction. The induced map on K-theory fits in a six-term exact sequence. This provides a new method of the computation of the K-theory of such C*-algebras which is done completely in the setting of non-commutative geometry.
Family with intermittent maple syrup urine disease
Valman, H. B.; Patrick, A. D.; Seakins, J. W. T.; Platt, J. W.; Gompertz, D.
1973-01-01
A family is described in which the 3 children presented with episodes of severe metabolic acidosis secondary to minor infections. 2 of them died, and 1 of these was severely retarded. The sole surviving child is 6 years old and is normal with respect to physical and mental development. Gas chromatography of the urine obtained during episodes of ketoacidosis showed the keto and hydroxy acids characteristic of maple syrup urine disease, and thin layer chromatography of the plasma and urine showed greatly increased concentrations of the branched chain amino acids. The urine and plasma of the surviving child was chromatographically normal between episodes. The leucocyte branched chain keto acid decarboxylase activity in this patient and her father was reduced. The range of features in this family with intermittent maple syrup urine disease illustrates the necessity for prompt and careful investigation of metabolic acidosis of unknown aetiology. PMID:4693464
Teaching of real numbers by using the Archimedes-Cantor approach and computer algebra systems
NASA Astrophysics Data System (ADS)
Vorob'ev, Evgenii M.
2015-11-01
Computer technologies and especially computer algebra systems (CAS) allow students to overcome some of the difficulties they encounter in the study of real numbers. The teaching of calculus can be considerably more effective with the use of CAS provided the didactics of the discipline makes it possible to reveal the full computational potential of CAS. In the case of real numbers, the Archimedes-Cantor approach satisfies this requirement. The name of Archimedes brings back the exhaustion method. Cantor's name reminds us of the use of Cauchy rational sequences to represent real numbers. The usage of CAS with the Archimedes-Cantor approach enables the discussion of various representations of real numbers such as graphical, decimal, approximate decimal with precision estimates, and representation as points on a straight line. Exercises with numbers such as e, π, the golden ratio ϕ, and algebraic irrational numbers can help students better understand the real numbers. The Archimedes-Cantor approach also reveals a deep and close relationship between real numbers and continuity, in particular the continuity of functions.
New developments in the numerical solution of differential/algebraic systems
Petzold, L.R.
1987-04-01
In this paper we survey some recent developments in the numerical solution of nonlinear differential/algebraic equation (DAE) systems of the form 0 = F(t,y,y'), where the initial values of y are known and par. deltaF/par. deltay' may be singular. These systems arise in the simulation of electrical networks, as well as in many other applications. DAE systems include standard form ODEs as a special case, but they also include problems which are in many ways quite different from ODEs. We examine the classification of DAE systems according to the degree of singularity of the system, and present some results on the analytical structure of these systems. We give convergence results for backward differentiation formulas applied to DAEs and examine some of the software issues involved in the numerical solution of DAEs. One-step methods are potentially advantageous for solving DAE systems with frequent discontinuities. However, recent results indicate that there is a reduction in the order of accuracy of many implicit Runge-Kutta methods even for simple DAE systems. We examine the current state of solving DAE systems by implicit Runge-Kutta methods. Finding a consistent set of initial conditions is often a problem for DAEs arising in applications. We explore some numerical methods for obtaining a consistent set of initial conditions. 21 refs.
ERIC Educational Resources Information Center
Gonzalez-Vega, Laureano
1999-01-01
Using a Computer Algebra System (CAS) to help with the teaching of an elementary course in linear algebra can be one way to introduce computer algebra, numerical analysis, data structures, and algorithms. Highlights the advantages and disadvantages of this approach to the teaching of linear algebra. (Author/MM)
ERIC Educational Resources Information Center
Marshall, Neil; Buteau, Chantal; Jarvis, Daniel H.; Lavicza, Zsolt
2012-01-01
We present a comparative study of a literature review of 326 selected contributions (Buteau, Marshall, Jarvis & Lavicza, 2010) to an international (US, UK, Hungary) survey of mathematicians (Lavicza, 2008) regarding the use of Computer Algebra Systems (CAS) in post-secondary mathematics education. The comparison results are organized with respect…
ERIC Educational Resources Information Center
Tonisson, Eno; Lepp, Marina
2015-01-01
The answers offered by computer algebra systems (CAS) can sometimes differ from those expected by the students or teachers. The comparison of the students' answers and CAS answers could provide ground for discussion about equivalence and correctness. Investigating the students' comparison of the answers gives the possibility to study different…
Phase noise in oscillators as differential-algebraic systems with colored noise sources
NASA Astrophysics Data System (ADS)
Demir, Alper
2004-05-01
Oscillators are key components of many kinds of systems, particularly electronic and opto-electronic systems. Undesired perturbations, i.e. noise, in practical systems adversely affect the spectral and timing properties of the signals generated by oscillators resulting in phase noise and timing jitter, which are key performance limiting factors, being major contributors to bit-error-rate (BER) of RF and possibly optical communication systems, and creating synchronization problems in clocked and sampled-data electronic systems. In this paper, we review our work on the theory and numerical methods for nonlinear perturbation and noise analysis of oscillators described by a system of differential-algebraic equations (DAEs) with white and colored noise sources. The bulk of the work reviewed in this paper first appeared in [1], then in [2] and [3]. Prior to the work mentioned above, we developed a theory and numerical methods for nonlinear perturbation and noise analysis of oscillators described by a system of ordinary differential equations (ODEs) with white noise sources only [4, 5]. In this paper, we also discuss some open problems and issues in the modeling and analysis of phase noise both in free running oscillators and in phase/injection-locked ones.
Marquette, Ian
2013-07-15
We introduce the most general quartic Poisson algebra generated by a second and a fourth order integral of motion of a 2D superintegrable classical system. We obtain the corresponding quartic (associative) algebra for the quantum analog, extend Daskaloyannis construction obtained in context of quadratic algebras, and also obtain the realizations as deformed oscillator algebras for this quartic algebra. We obtain the Casimir operator and discuss how these realizations allow to obtain the finite-dimensional unitary irreducible representations of quartic algebras and obtain algebraically the degenerate energy spectrum of superintegrable systems. We apply the construction and the formula obtained for the structure function on a superintegrable system related to type I Laguerre exceptional orthogonal polynomials introduced recently.
Aprepro - Algebraic Preprocessor
Energy Science and Technology Software Center (ESTSC)
2005-08-01
Aprepro is an algebraic preprocessor that reads a file containing both general text and algebraic, string, or conditional expressions. It interprets the expressions and outputs them to the output file along witht the general text. Aprepro contains several mathematical functions, string functions, and flow control constructs. In addition, functions are included that, with some additional files, implement a units conversion system and a material database lookup system.
Monitoring the Health of Sugar Maple, "Acer Saccharum"
ERIC Educational Resources Information Center
Carlson, Martha
2013-01-01
The sugar maple, "Acer saccharum," is projected to decline and die in 88 to 100 percent of its current range in the United States. An iconic symbol of the northeastern temperate forest and a dominant species in this forest, the sugar maple is identified as the most sensitive tree in its ecosystem to rising temperatures and a warming…
Algebraic integrability: a survey.
Vanhaecke, Pol
2008-03-28
We give a concise introduction to the notion of algebraic integrability. Our exposition is based on examples and phenomena, rather than on detailed proofs of abstract theorems. We mainly focus on algebraic integrability in the sense of Adler-van Moerbeke, where the fibres of the momentum map are affine parts of Abelian varieties; as it turns out, most examples from classical mechanics are of this form. Two criteria are given for such systems (Kowalevski-Painlevé and Lyapunov) and each is illustrated in one example. We show in the case of a relatively simple example how one proves algebraic integrability, starting from the differential equations for the integrable vector field. For Hamiltonian systems that are algebraically integrable in the generalized sense, two examples are given, which illustrate the non-compact analogues of Abelian varieties which typically appear in such systems. PMID:17588863
Acceleration of multiple solution of a boundary value problem involving a linear algebraic system
NASA Astrophysics Data System (ADS)
Gazizov, Talgat R.; Kuksenko, Sergey P.; Surovtsev, Roman S.
2016-06-01
Multiple solution of a boundary value problem that involves a linear algebraic system is considered. New approach to acceleration of the solution is proposed. The approach uses the structure of the linear system matrix. Particularly, location of entries in the right columns and low rows of the matrix, which undergo variation due to the computing in the range of parameters, is used to apply block LU decomposition. Application of the approach is considered on the example of multiple computing of the capacitance matrix by method of moments used in numerical electromagnetics. Expressions for analytic estimation of the acceleration are presented. Results of the numerical experiments for solution of 100 linear systems with matrix orders of 1000, 2000, 3000 and different relations of variated and constant entries of the matrix show that block LU decomposition can be effective for multiple solution of linear systems. The speed up compared to pointwise LU factorization increases (up to 15) for larger number and order of considered systems with lower number of variated entries.
ERIC Educational Resources Information Center
Schaufele, Christopher; Zumoff, Nancy
Earth Algebra is an entry level college algebra course that incorporates the spirit of the National Council of Teachers of Mathematics (NCTM) Curriculum and Evaluation Standards for School Mathematics at the college level. The context of the course places mathematics at the center of one of the major current concerns of the world. Through…
Virasoro algebra in the KN algebra; Bosonic string with fermionic ghosts on Riemann surfaces
Koibuchi, H. )
1991-10-10
In this paper the bosonic string model with fermionic ghosts is considered in the framework of the KN algebra. The authors' attentions are paid to representations of KN algebra and a Clifford algebra of the ghosts. The authors show that a Virasoro-like algebra is obtained from KN algebra when KN algebra has certain antilinear anti-involution, and that it is isomorphic to the usual Virasoro algebra. The authors show that there is an expected relation between a central charge of this Virasoro-like algebra and an anomaly of the combined system.
NASA Astrophysics Data System (ADS)
Lisitsyn, Ya. V.; Shapovalov, A. V.
1998-05-01
A study is made of the possibility of reducing quantum analogs of Hamiltonian systems to Lie algebras. The procedure of reducing classical systems to orbits in a coadjoint representation based on Lie algebra is well-known. An analog of this procedure for quantum systems described by linear differential equations (LDEs) in partial derivatives is proposed here on the basis of the method of noncommutative integration of LDEs. As an example illustrating the procedure, an examination is made of nontrivial systems that cannot be integrated by separation of variables: the Gryachev-Chaplygin hydrostat and the Kovalevskii gyroscope. In both cases, the problem is reduced to a system with a smaller number of variables.
Prado, Julia; Quesada, Carlos; Gosney, Michael; Mickelbart, Michael V; Sadof, Clifford
2015-06-01
Although leaf nitrogen (N) has been shown to increase the suitability of hosts to herbivorous arthropods, the responses of these pests to N fertilization on susceptible and resistant host plants are not well characterized. This study determined how different rates of N fertilization affected injury caused by the potato leafhopper (Empoasca fabae Harris) and the abundance of maple spider mite (Oligonychus aceris (Shimer)) on 'Red Sunset' red maple (Acer rubrum) and 'Autumn Blaze' Freeman maple (Acer×freemanii) during two years in Indiana. N fertilization increased leaf N concentration in both maple cultivars, albeit to a lesser extent during the second year of the study. Overall, Red Sunset maples were more susceptible to E. fabae injury than Autumn Blaze, whereas Autumn Blaze maples supported higher populations of O. aceris. Differences in populations of O. aceris were attributed to differences between communities of stigmaeid and phytoseiid mites on each cultivar. Injury caused by E. fabae increased with N fertilization in a dose-dependent manner in both cultivars. Although N fertilization increased the abundance of O. aceris on both maple cultivars, there was no difference between the 20 and 40 g rates. We suggest the capacity of N fertilization to increase O. aceris on maples could be limited at higher trophic levels by the community of predatory mites. PMID:26470249
A Maple package for improved global mapping forecast
NASA Astrophysics Data System (ADS)
Carli, H.; Duarte, L. G. S.; da Mota, L. A. C. P.
2014-03-01
We present a Maple implementation of the well known global approach to time series analysis and some further developments designed to improve the computational efficiency of the forecasting capabilities of the approach. This global approach can be summarized as being a reconstruction of the phase space, based on a time ordered series of data obtained from the system. After that, using the reconstructed vectors, a portion of this space is used to produce a mapping, a polynomial fitting, through a minimization procedure, that represents the system and can be employed to forecast further entries for the series. In the present implementation, we introduce a set of commands, tools, in order to perform all these tasks. For example, the command VecTS deals mainly with the reconstruction of the vector in the phase space. The command GfiTS deals with producing the minimization and the fitting. ForecasTS uses all these and produces the prediction of the next entries. For the non-standard algorithms, we here present two commands: IforecasTS and NiforecasTS that, respectively deal with the one-step and the N-step forecasting. Finally, we introduce two further tools to aid the forecasting. The commands GfiTS and AnalysTS, basically, perform an analysis of the behavior of each portion of a series regarding the settings used on the commands just mentioned above. Catalogue identifier: AERW_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AERW_v1_0.html Program obtainable from: CPC Program Library, Queen’s University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 3001 No. of bytes in distributed program, including test data, etc.: 95018 Distribution format: tar.gz Programming language: Maple 14. Computer: Any capable of running Maple Operating system: Any capable of running Maple. Tested on Windows ME, Windows XP, Windows 7. RAM: 128 MB
Matrix Algebra for GPU and Multicore Architectures (MAGMA) for Large Petascale Systems
Dongarra, Jack J.; Tomov, Stanimire
2014-03-24
The goal of the MAGMA project is to create a new generation of linear algebra libraries that achieve the fastest possible time to an accurate solution on hybrid Multicore+GPU-based systems, using all the processing power that future high-end systems can make available within given energy constraints. Our efforts at the University of Tennessee achieved the goals set in all of the five areas identified in the proposal: 1. Communication optimal algorithms; 2. Autotuning for GPU and hybrid processors; 3. Scheduling and memory management techniques for heterogeneity and scale; 4. Fault tolerance and robustness for large scale systems; 5. Building energy efficiency into software foundations. The University of Tennessee’s main contributions, as proposed, were the research and software development of new algorithms for hybrid multi/many-core CPUs and GPUs, as related to two-sided factorizations and complete eigenproblem solvers, hybrid BLAS, and energy efficiency for dense, as well as sparse, operations. Furthermore, as proposed, we investigated and experimented with various techniques targeting the five main areas outlined.
Structural characterization of MAPLE deposited lipase biofilm
NASA Astrophysics Data System (ADS)
Aronne, Antonio; Ausanio, Giovanni; Bloisi, Francesco; Calabria, Raffaela; Califano, Valeria; Fanelli, Esther; Massoli, Patrizio; Vicari, Luciano R. M.
2014-11-01
Lipases (triacylglycerol ester hydrolases) are enzymes used in several industrial applications. Enzymes immobilization can be used to address key issues limiting widespread application at industrial level. Immobilization efficiency is related to the ability to preserve the native conformation of the enzyme. MAPLE (Matrix Assisted Pulsed Laser Evaporation) technique, a laser deposition procedure for treating organic/polymeric/biomaterials, was applied for the deposition of lipase enzyme in an ice matrix, using near infrared laser radiation. Microscopy analysis showed that the deposition occurred in micrometric and submicrometric clusters with a wide size distribution. AFM imaging showed that inter-cluster regions are uniformly covered with smaller aggregates of nanometric size. Fourier transform infrared spectroscopy was used for both recognizing the deposited material and analyzing its secondary structure. Results showed that the protein underwent reversible self-association during the deposition process. Actually, preliminary tests of MAPLE deposited lipase used for soybean oil transesterification with isopropyl alcohol followed by gas chromatography-mass spectrometry gave results consistent with undamaged deposition of lipase.
NASA Astrophysics Data System (ADS)
Cooper, Cameron I.; Pearson, Paul T.
2012-02-01
In higher education, many high-enrollment introductory courses have evolved into "gatekeeper" courses due to their high failure rates. These courses prevent many students from attaining their educational goals and often become graduation roadblocks. At the authors' home institution, general chemistry has become a gatekeeper course in which approximately 25% of students do not pass. This failure rate in chemistry is common, and often higher, at many other institutions of higher education, and mathematical deficiencies are perceived to be a large contributing factor. This paper details the development of a highly accurate predictive system that identifies students at the beginning of the semester who are "at-risk" for earning a grade of C- or below in chemistry. The predictive accuracy of this system is maximized by using a genetically optimized neural network to analyze the results of a diagnostic algebra test designed for a specific population. Once at-risk students have been identified, they can be helped to improve their chances of success using techniques such as concurrent support courses, online tutorials, "just-in-time" instructional aides, study skills, motivational interviewing, and/or peer mentoring.
Development of a GNSS water vapour tomography system using algebraic reconstruction techniques
NASA Astrophysics Data System (ADS)
Bender, Michael; Dick, Galina; Ge, Maorong; Deng, Zhiguo; Wickert, Jens; Kahle, Hans-Gert; Raabe, Armin; Tetzlaff, Gerd
2011-05-01
A GNSS water vapour tomography system developed to reconstruct spatially resolved humidity fields in the troposphere is described. The tomography system was designed to process the slant path delays of about 270 German GNSS stations in near real-time with a temporal resolution of 30 min, a horizontal resolution of 40 km and a vertical resolution of 500 m or better. After a short introduction to the GPS slant delay processing the framework of the GNSS tomography is described in detail. Different implementations of the iterative algebraic reconstruction techniques (ART) used to invert the linear inverse problem are discussed. It was found that the multiplicative techniques (MART) provide the best results with least processing time, i.e., a tomographic reconstruction of about 26,000 slant delays on a 8280 cell grid can be obtained in less than 10 min. Different iterative reconstruction techniques are compared with respect to their convergence behaviour and some numerical parameters. The inversion can be considerably stabilized by using additional non-GNSS observations and implementing various constraints. Different strategies for initialising the tomography and utilizing extra information are discussed. At last an example of a reconstructed field of the wet refractivity is presented and compared to the corresponding distribution of the integrated water vapour, an analysis of a numerical weather model (COSMO-DE) and some radiosonde profiles.
Definite Integrals, Some Involving Residue Theory Evaluated by Maple Code
Bowman, Kimiko o
2010-01-01
The calculus of residue is applied to evaluate certain integrals in the range (-{infinity} to {infinity}) using the Maple symbolic code. These integrals are of the form {integral}{sub -{infinity}}{sup {infinity}} cos(x)/[(x{sup 2} + a{sup 2})(x{sup 2} + b{sup 2}) (x{sup 2} + c{sup 2})]dx and similar extensions. The Maple code is also applied to expressions in maximum likelihood estimator moments when sampling from the negative binomial distribution. In general the Maple code approach to the integrals gives correct answers to specified decimal places, but the symbolic result may be extremely long and complex.
NASA Astrophysics Data System (ADS)
Wu, P. K.; Ringeisen, B. R.; Krizman, D. B.; Frondoza, C. G.; Brooks, M.; Bubb, D. M.; Auyeung, R. C. Y.; Piqué, A.; Spargo, B.; McGill, R. A.; Chrisey, D. B.
2003-04-01
Two techniques for transferring biomaterial using a pulsed laser beam were developed: matrix-assisted pulsed laser evaporation (MAPLE) and MAPLE direct write (MDW). MAPLE is a large-area vacuum based technique suitable for coatings, i.e., antibiofouling, and MDW is a localized deposition technique capable of fast prototyping of devices, i.e., protein or tissue arrays. Both techniques have demonstrated the capability of transferring large (mol wt>100 kDa) molecules in different forms, e.g., liquid and gel, and preserving their functions. They can deposit patterned films with spatial accuracy and resolution of tens of μm and layering on a variety of substrate materials and geometries. MDW can dispense volumes less than 100 pl, transfer solid tissues, fabricate a complete device, and is computed aided design/computer aided manufacturing compatible. They are noncontact techniques and can be integrated with other sterile processes. These attributes are substantiated by films and arrays of biomaterials, e.g., polymers, enzymes, proteins, eucaryotic cells, and tissue, and a dopamine sensor. These examples, the instrumentation, basic mechanisms, a comparison with other techniques, and future developments are discussed.
Adaptive Algebraic Multigrid Methods
Brezina, M; Falgout, R; MacLachlan, S; Manteuffel, T; McCormick, S; Ruge, J
2004-04-09
Our ability to simulate physical processes numerically is constrained by our ability to solve the resulting linear systems, prompting substantial research into the development of multiscale iterative methods capable of solving these linear systems with an optimal amount of effort. Overcoming the limitations of geometric multigrid methods to simple geometries and differential equations, algebraic multigrid methods construct the multigrid hierarchy based only on the given matrix. While this allows for efficient black-box solution of the linear systems associated with discretizations of many elliptic differential equations, it also results in a lack of robustness due to assumptions made on the near-null spaces of these matrices. This paper introduces an extension to algebraic multigrid methods that removes the need to make such assumptions by utilizing an adaptive process. The principles which guide the adaptivity are highlighted, as well as their application to algebraic multigrid solution of certain symmetric positive-definite linear systems.
Quantum computation using geometric algebra
NASA Astrophysics Data System (ADS)
Matzke, Douglas James
This dissertation reports that arbitrary Boolean logic equations and operators can be represented in geometric algebra as linear equations composed entirely of orthonormal vectors using only addition and multiplication Geometric algebra is a topologically based algebraic system that naturally incorporates the inner and anticommutative outer products into a real valued geometric product, yet does not rely on complex numbers or matrices. A series of custom tools was designed and built to simplify geometric algebra expressions into a standard sum of products form, and automate the anticommutative geometric product and operations. Using this infrastructure, quantum bits (qubits), quantum registers and EPR-bits (ebits) are expressed symmetrically as geometric algebra expressions. Many known quantum computing gates, measurement operators, and especially the Bell/magic operators are also expressed as geometric products. These results demonstrate that geometric algebra can naturally and faithfully represent the central concepts, objects, and operators necessary for quantum computing, and can facilitate the design and construction of quantum computing tools.
Higher level twisted Zhu algebras
Ekeren, Jethro van
2011-05-15
The study of twisted representations of graded vertex algebras is important for understanding orbifold models in conformal field theory. In this paper, we consider the general setup of a vertex algebra V, graded by {Gamma}/Z for some subgroup {Gamma} of R containing Z, and with a Hamiltonian operator H having real (but not necessarily integer) eigenvalues. We construct the directed system of twisted level p Zhu algebras Zhu{sub p,{Gamma}}(V), and we prove the following theorems: For each p, there is a bijection between the irreducible Zhu{sub p,{Gamma}}(V)-modules and the irreducible {Gamma}-twisted positive energy V-modules, and V is ({Gamma}, H)-rational if and only if all its Zhu algebras Zhu{sub p,{Gamma}}(V) are finite dimensional and semisimple. The main novelty is the removal of the assumption of integer eigenvalues for H. We provide an explicit description of the level p Zhu algebras of a universal enveloping vertex algebra, in particular of the Virasoro vertex algebra Vir{sup c} and the universal affine Kac-Moody vertex algebra V{sup k}(g) at non-critical level. We also compute the inverse limits of these directed systems of algebras.
Invariant classification of second-order conformally flat superintegrable systems
NASA Astrophysics Data System (ADS)
Capel, J. J.; Kress, J. M.
2014-12-01
In this paper we continue the work of Kalnins et al in classifying all second-order conformally-superintegrable (Laplace-type) systems over conformally flat spaces, using tools from algebraic geometry and classical invariant theory. The results obtained show, through Stäckel equivalence, that the list of known nondegenerate superintegrable systems over three-dimensional conformally flat spaces is complete. In particular, a seven-dimensional manifold is determined such that each point corresponds to a conformal class of superintegrable systems. This manifold is foliated by the nonlinear action of the conformal group in three dimensions. Two systems lie in the same conformal class if and only if they lie in the same leaf of the foliation. This foliation is explicitly described using algebraic varieties formed from representations of the conformal group. The proof of these results rely heavily on Gröbner basis calculations using the computer algebra software packages Maple and Singular.
Dynamics of the inverse MAPLE nanoparticle deposition process
NASA Astrophysics Data System (ADS)
Steiner, Matthew A.; Fitz-Gerald, James M.
2015-05-01
Matrix-assisted pulsed laser evaporation (MAPLE) is a processing technique by which laser-sensitive materials are dissolved or placed into colloidal solution with a strongly absorbing sacrificial solvent, which when frozen into a solid target and irradiated under vacuum disperses the undamaged solute material onto a desired substrate. We present an inversion of the original MAPLE process, where the irradiation of metal-based acetate precursors in solution with UV transparent water results in the deposition of inorganic nanoparticles. A theory is forwarded to explain the underlying multiscale sequence of events that control the inverse MAPLE process from acetate decomposition to nanoparticle formation and subsequent ejection. Support for this theory is provided through the analysis of deposited nanoparticles and by novel characterization of MAPLE targets post-irradiation via cryostage scanning electron microscopy. Ejection is shown to proceed through the same phase-explosion mechanism that drives conventional MAPLE, relating the two techniques and advancing the broader understanding of MAPLE deposition processes.
The possible role of air quality in sugar maple decline
Linzon, S.N. )
1987-01-01
The decline of sugar maple (Acer saccharum L.) was first reported to occur in North America in 1913. A review of the literature on the occurrence of sugar maple decline and the associated causal agents was made in 1986 based on 189 reports. No single cause for the decline was identified with a number of diverse factors being reported to be involved. These factors included defoliating insects, drought, nutritional deficiencies, improper woodlot management, secondary root rot organisms, road salt and acidic precipitation. In the Provinces of Quebec and Ontario, Canada, intensive studies into the occurrence and etiology of sugar maple decline commenced in the early 1980s. Maple syrup producers in both provinces complained that sugar maple trees were declining and dying in greater numbers than usual and suspected that air pollution, including acidic precipitation, was involved. This paper describes the symptoms associated with sugar maple decline, the surveys underway in both provinces, and the field and experimental studies being carried out to determine the role of air quality.
Examinations in the Final Year of Transition to Mathematical Methods Computer Algebra System (CAS)
ERIC Educational Resources Information Center
Leigh-Lancaster, David; Les, Magdalena; Evans, Michael
2010-01-01
2009 was the final year of parallel implementation for Mathematical Methods Units 3 and 4 and Mathematical Methods (CAS) Units 3 and 4. From 2006-2009 there was a common technology-free short answer examination that covered the same function, algebra, calculus and probability content for both studies with corresponding expectations for key…
NASA Technical Reports Server (NTRS)
Shahshahani, M.
1991-01-01
The performance characteristics are discussed of certain algebraic geometric codes. Algebraic geometric codes have good minimum distance properties. On many channels they outperform other comparable block codes; therefore, one would expect them eventually to replace some of the block codes used in communications systems. It is suggested that it is unlikely that they will become useful substitutes for the Reed-Solomon codes used by the Deep Space Network in the near future. However, they may be applicable to systems where the signal to noise ratio is sufficiently high so that block codes would be more suitable than convolutional or concatenated codes.
Sugar Maple Pigments Through the Fall and the Role of Anthocyanin as an Analytical Tool
NASA Astrophysics Data System (ADS)
Lindgren, E.; Rock, B.; Middleton, E.; Aber, J.
2008-12-01
Sugar maple habitat is projected to almost disappear in future climate scenarios. In fact, many institutions state that these trees are already in decline. Being able to detect sugar maple health could prove to be a useful analytical tool to monitor changes in phenology. Anthocyanin, a red pigment found in sugar maples, is thought to be a universal indicator of plant stress. It is very prominent in the spring during the first flush of leaves, as well as in the fall as leaves senesce. Determining an anthocyanin index that could be used with satellite systems will provide a greater understanding of tree phenology and the distribution of plant stress, both over large areas as well as changes over time. The utilization of anthocyanin for one of it's functions, prevention of oxidative stress, may fluctuate in response to changing climatic conditions that occur during senescence or vary from year to year. By monitoring changes in pigment levels and antioxidant capacity through the fall, one may be able to draw conclusions about the ability to detect anthocyanin remotely from space-based systems, and possibly determine a more specific function for anthocyanin during fall senescence. These results could then be applied to track changes in tree stress.
ERIC Educational Resources Information Center
Ketterlin-Geller, Leanne R.; Jungjohann, Kathleen; Chard, David J.; Baker, Scott
2007-01-01
Much of the difficulty that students encounter in the transition from arithmetic to algebra stems from their early learning and understanding of arithmetic. Too often, students learn about the whole number system and the operations that govern that system as a set of procedures to solve addition, subtraction, multiplication, and division problems.…
NASA Astrophysics Data System (ADS)
Ahunov, Roman R.; Kuksenko, Sergey P.; Gazizov, Talgat R.
2016-06-01
A multiple solution of linear algebraic systems with dense matrix by iterative methods is considered. To accelerate the process, the recomputing of the preconditioning matrix is used. A priory condition of the recomputing based on change of the arithmetic mean of the current solution time during the multiple solution is proposed. To confirm the effectiveness of the proposed approach, the numerical experiments using iterative methods BiCGStab and CGS for four different sets of matrices on two examples of microstrip structures are carried out. For solution of 100 linear systems the acceleration up to 1.6 times, compared to the approach without recomputing, is obtained.
Monitoring the health of sugar maple, Acer saccharum
NASA Astrophysics Data System (ADS)
Carlson, Martha
The sugar maple, Acer saccharum, is projected to decline and die in 88 to 100 percent of its current range in the United States. An iconic symbol of the northeastern temperate forest and a dominant species in this forest, the sugar maple is identified as the most sensitive tree in its ecosystem to rising temperatures and a warming climate. This study measures the health of sugar maples on 12 privately owned forests and at three schools in New Hampshire. Laboratory quantitative analyses of leaves, buds and sap as well as qualitative measures of leaf and bud indicate that record high beat in 2012 stressed the sugar maple. The study identifies several laboratory and qualitative tests of health which seem most sensitive and capable of identifying stress early when intervention in forest management or public policy change might counter decline of the species. The study presents evidence of an unusual atmospheric pollution event which defoliated sugar maples in 2010. The study examines the work of citizen scientists in Forest Watch, a K-12 school program in which students monitor the impacts of ozone on white pine, Pinus strobus, another keystone species in New Hampshire's forest. Finally, the study examines three simple measurements of bud, leaf and the tree's acclimation to light. The findings of these tests illuminate findings in the first study. And they present examples of what citizen scientists might contribute to long-term monitoring of maples. A partnership between science and citizens is proposed to begin long-term monitoring and to report on the health of sugar maples.
Bifurcation diagram and the discriminant of a spectral curve of integrable systems on Lie algebras
Konyaev, Andrei Yu
2010-11-11
A bifurcation diagram is a stratified (in general, nonclosed) set and is one of the efficient tools of studying the topology of the Liouville foliation. In the framework of the present paper, the coincidence of the closure of a bifurcation diagram {Sigma}-bar of the moment map defined by functions obtained by the method of argument shift with the closure of the discriminant D-bar{sub z} of a spectral curve is proved for the Lie algebras sl(n+1), sp(2n), so(2n+1), and g{sub 2}. Moreover, it is proved that these sets are distinct for the Lie algebra so(2n). Bibliography: 22 titles.
Bifurcation diagram and the discriminant of a spectral curve of integrable systems on Lie algebras
NASA Astrophysics Data System (ADS)
Konyaev, Andrei Yu
2010-11-01
A bifurcation diagram is a stratified (in general, nonclosed) set and is one of the efficient tools of studying the topology of the Liouville foliation. In the framework of the present paper, the coincidence of the closure of a bifurcation diagram \\overline\\Sigma of the moment map defined by functions obtained by the method of argument shift with the closure of the discriminant \\overline D_z of a spectral curve is proved for the Lie algebras \\operatorname{sl}(n+1), \\operatorname{sp}(2n), \\operatorname{so}(2n+1), and \\operatorname{g}_2. Moreover, it is proved that these sets are distinct for the Lie algebra \\operatorname{so}(2n). Bibliography: 22 titles.
SUSY QM, symmetries and spectrum generating algebras for two-dimensional systems
Martinez, D. Mota, R.D.
2008-04-15
We show in a systematic and clear way how factorization methods can be used to construct the generators for hidden and dynamical symmetries. This is shown by studying the 2D problems of hydrogen atom, the isotropic harmonic oscillator and the radial potential A{rho}{sup 2{zeta}}{sup -2} - B{rho}{sup {zeta}}{sup -2}. We show that in these cases the non-compact (compact) algebra corresponds to so(2, 1) (su(2))
Analytical solution using computer algebra of a biosensor for detecting toxic substances in water
NASA Astrophysics Data System (ADS)
Rúa Taborda, María. Isabel
2014-05-01
In a relatively recent paper an electrochemical biosensor for water toxicity detection based on a bio-chip as a whole cell was proposed and numerically solved and analyzed. In such paper the kinetic processes in a miniaturized electrochemical biosensor system was described using the equations for specific enzymatic reaction and the diffusion equation. The numerical solution shown excellent agreement with the measured data but such numerical solution is not enough to design efficiently the corresponding bio-chip. For this reason an analytical solution is demanded. The object of the present work is to provide such analytical solution and then to give algebraic guides to design the bio-sensor. The analytical solution is obtained using computer algebra software, specifically Maple. The method of solution is the Laplace transform, with Bromwich integral and residue theorem. The final solution is given as a series of Bessel functions and the effective time for the bio-sensor is computed. It is claimed that the analytical solutions that were obtained will be very useful to predict further current variations in similar systems with different geometries, materials and biological components. Beside of this the analytical solution that we provide is very useful to investigate the relationship between different chamber parameters such as cell radius and height; and electrode radius.
ERIC Educational Resources Information Center
Dougherty, Shaun M.; Goodman, Joshua S.; Hill, Darryl V.; Litke, Erica G.; Page, Lindsay C.
2015-01-01
Taking algebra by eighth grade is considered an important milestone on the pathway to college readiness. We highlight a collaboration to investigate one district's effort to increase middle school algebra course-taking. In 2010, the Wake County Public Schools began assigning middle school students to accelerated math and eighth-grade algebra based…
Phenylbutyrate therapy for maple syrup urine disease
Brunetti-Pierri, Nicola; Lanpher, Brendan; Erez, Ayelet; Ananieva, Elitsa A.; Islam, Mohammad; Marini, Juan C.; Sun, Qin; Yu, Chunli; Hegde, Madhuri; Li, Jun; Wynn, R. Max; Chuang, David T.; Hutson, Susan; Lee, Brendan
2011-01-01
Therapy with sodium phenylacetate/benzoate or sodium phenylbutyrate in urea cycle disorder patients has been associated with a selective reduction in branched-chain amino acids (BCAA) in spite of adequate dietary protein intake. Based on this clinical observation, we investigated the potential of phenylbutyrate treatment to lower BCAA and their corresponding α-keto acids (BCKA) in patients with classic and variant late-onset forms of maple syrup urine disease (MSUD). We also performed in vitro and in vivo experiments to elucidate the mechanism for this effect. We found that BCAA and BCKA are both significantly reduced following phenylbutyrate therapy in control subjects and in patients with late-onset, intermediate MSUD. In vitro treatment with phenylbutyrate of control fibroblasts and lymphoblasts resulted in an increase in the residual enzyme activity, while treatment of MSUD cells resulted in the variable response which did not simply predict the biochemical response in the patients. In vivo phenylbutyrate increases the proportion of active hepatic enzyme and unphosphorylated form over the inactive phosphorylated form of the E1α subunit of the branched-chain α-keto acid dehydrogenase complex (BCKDC). Using recombinant enzymes, we show that phenylbutyrate prevents phosphorylation of E1α by inhibition of the BCKDC kinase to activate BCKDC overall activity, providing a molecular explanation for the effect of phenylbutyrate in a subset of MSUD patients. Phenylbutyrate treatment may be a valuable treatment for reducing the plasma levels of neurotoxic BCAA and their corresponding BCKA in a subset of MSUD patients and studies of its long-term efficacy are indicated. PMID:21098507
Results of Using Algebra Tiles as Meaningful Representations of Algebra Concepts.
ERIC Educational Resources Information Center
Sharp, Janet M.
Mathematical meanings can be developed when individuals construct translations between algebra symbol systems and physical systems that represent one another. Previous research studies indicated (1) few high school students connect whole number manipulations to algebraic manipulations and (2) students who encounter algebraic ideas through…
Development of a more efficient maple syrup evaporator. Final report
Parsons, D.
1982-11-30
The goal of this project was to retrofit a traditional wood-fired maple syrup evaporator to make more efficient use of the wood fuel. A sap preheater was constructed that used waste heat from the steam to preheat the incoming sap. The preheater was tested on the evaporator and 8% more water was processed. There were some problems that will be discussed in the body of the report. A sap pan with fins incorporated into the bottom (described in the 1st and 2nd quarterly reports) was built but was not tested because the fins could not be properly sealed at the ends. Put more simply, it leaked. The bulk of time and energy was spent designing, building, and installing the forced draft and heat exchanger system (refer to 3rd quarterly report). A squirrel cage blower forced fresh air through twelve pipes that were arranged in the stack to the firebox and a draft inducer was mounted on top of the stack. With this arrangement plus the preheater 27% more water was processed than the original rig with the same amount of wood.
Skrypnyk, T.
2009-03-15
We construct quantum integrable systems associated with non-skew-symmetric gl(2)-valued classical r-matrices. We find a new explicit multiparametric family of such the non-skew-symmetric classical r-matrices. We consider two classes of examples of the corresponding integrable systems, namely generalized Gaudin systems with and without an external magnetic field. In the case of arbitrary r-matrices diagonal in a standard gl(2)-basis, we calculate the spectrum of the corresponding quantum integrable systems using the algebraic Bethe ansatz. We apply these results to a construction of integrable fermionic models and obtain a wide class of integrable Bardeen-Cooper-Schrieffer (BCS)-type fermionic Hamiltonians containing the pairing and electrostatic interaction terms. We also consider special cases when the corresponding integrable Hamiltonians contain only pairing interaction term and are exact analogs of the 'reduced BCS Hamiltonian' of Richardson.
Technology Transfer Automated Retrieval System (TEKTRAN)
Air injection (AI) is a maple sap processing technology reported to increase the efficiency of maple syrup production by increasing production of more economically valuable light-colored maple syrup, and reducing development of loose scale mineral precipitates in syrup, and scale deposits on evapora...
Maple syrup-production, composition, chemistry, and sensory characteristics.
Perkins, Timothy D; van den Berg, Abby K
2009-01-01
Maple syrup is made from sap exuded from stems of the genus Acer during the springtime. Sap is a dilute solution of primarily water and sucrose, with varying amounts of amino and organic acids and phenolic substances. When concentrated, usually by heating, a series of complex reactions produce a wide variety of flavor compounds that vary due to processing and other management factors, seasonal changes in sap chemistry, and microbial contamination. Color also forms during thermal evaporation. Flavor and color together are the primary factors determining maple syrup grade, and syrup can range from very light-colored and delicate-flavored to very dark-colored and strong-flavored. PMID:19389608
Static algebraic solitons in Korteweg-de Vries type systems and the Hirota transformation.
Burde, G I
2011-08-01
Some effects in the soliton dynamics governed by higher-order Korteweg-de Vries (KdV) type equations are discussed. This is done based on the exact explicit solutions of the equations derived in the paper. It is shown that some higher order KdV equations possessing multisoliton solutions also admit steady state solutions in terms of algebraic functions describing localized patterns. Solutions including both those static patterns and propagating KdV-like solitons are combinations of algebraic and hyperbolic functions. It is shown that the localized structures behave like static solitons upon collisions with regular moving solitons, with their shape remaining unchanged after the collision and only the position shifted. These phenomena are not revealed in common multisoliton solutions derived using inverse scattering or Hirota's method. The solutions of the higher-order KdV type equations were obtained using a method devised for obtaining soliton solutions of nonlinear evolution equations. This method can be combined with Hirota's method with a modified representation of the solution which allows the results to be extended to multisoliton solutions. The prospects for applying the methods to soliton equations not of KdV type are discussed. PMID:21929136
Multiobjective algebraic synthesis of neural control systems by implicit model following.
Ferrari, Silvia
2009-03-01
The advantages brought about by using classical linear control theory in conjunction with neural approximators have long been recognized in the literature. In particular, using linear controllers to obtain the starting neural control design has been shown to be a key step for the successful development and implementation of adaptive-critic neural controllers. Despite their adaptive capabilities, neural controllers are often criticized for not providing the same performance and stability guarantees as classical linear designs. Therefore, this paper develops an algebraic synthesis procedure for designing dynamic output-feedback neural controllers that are closed-loop stable and meet the same performance objectives as any classical linear design. The performance synthesis problem is addressed by deriving implicit model-following algebraic relationships between model matrices, obtained from the classical design, and the neural control parameters. Additional linear matrix inequalities (LMIs) conditions for closed-loop exponential stability of the neural controller are derived using existing integral quadratic constraints (IQCs) for operators with repeated slope-restricted nonlinearities. The approach is demonstrated by designing a recurrent neural network controller for a highly maneuverable tailfin-controlled missile that meets multiple design objectives, including pole placement for transient tuning, H(infinity) and H(2) performance in the presence of parameter uncertainty, and command-input tracking. PMID:19203887
The Exocenter of a Generalized Effect Algebra
NASA Astrophysics Data System (ADS)
Foulis, David J.; Pulmannová, Sylvia
2011-12-01
Elements of the exocenter of a generalized effect algebra (GEA) correspond to decompositions of the GEA as a direct sum and thus the exocenter is a generalization to GEAs of the center of an effect algebra. The exocenter of a GEA is shown to be a boolean algebra, and the notion of a hull mapping for an effect algebra is generalized to a hull system for a GEA. We study Dedekind orthocompleteness of GEAs and extend to GEAs the notion of a centrally orthocomplete effect algebra.
Twisted Quantum Toroidal Algebras
NASA Astrophysics Data System (ADS)
Jing, Naihuan; Liu, Rongjia
2014-09-01
We construct a principally graded quantum loop algebra for the Kac-Moody algebra. As a special case a twisted analog of the quantum toroidal algebra is obtained together with the quantum Serre relations.
Kalay, Berfin; Demiralp, Metin
2015-12-31
This proceedings paper aims to show the efficiency of an expectation value identity for a given algebraic function operator which is assumed to be depending pn only position operator. We show that this expectation value formula becomes enabled to determine the eigenstates of the quantum system Hamiltonian as long as it is autonomous and an appropriate basis set in position operator is used. This approach produces a denumerable infinite recursion which may be considered as revisited but at the same time generalized form of the recursions over the natural number powers of the position operator. The content of this short paper is devoted not only to the formulation of the new method but also to show that this novel approach is capable of catching the eigenvalues and eigenfunctions for Hydrogen-like systems, beyond that, it can give a hand to us to reveal the wavefunction structure. So it has also somehow a confirmative nature.
Algebraic vs physical N = 6 3-algebras
Cantarini, Nicoletta; Kac, Victor G.
2014-01-15
In our previous paper, we classified linearly compact algebraic simple N = 6 3-algebras. In the present paper, we classify their “physical” counterparts, which actually appear in the N = 6 supersymmetric 3-dimensional Chern-Simons theories.
Quantum algebra of N superspace
Hatcher, Nicolas; Restuccia, A.; Stephany, J.
2007-08-15
We identify the quantum algebra of position and momentum operators for a quantum system bearing an irreducible representation of the super Poincare algebra in the N>1 and D=4 superspace, both in the case where there are no central charges in the algebra, and when they are present. This algebra is noncommutative for the position operators. We use the properties of superprojectors acting on the superfields to construct explicit position and momentum operators satisfying the algebra. They act on the projected wave functions associated to the various supermultiplets with defined superspin present in the representation. We show that the quantum algebra associated to the massive superparticle appears in our construction and is described by a supermultiplet of superspin 0. This result generalizes the construction for D=4, N=1 reported recently. For the case N=2 with central charges, we present the equivalent results when the central charge and the mass are different. For the {kappa}-symmetric case when these quantities are equal, we discuss the reduction to the physical degrees of freedom of the corresponding superparticle and the construction of the associated quantum algebra.
CHICKEN COOP AND BROAD LEAF MAPLE, LOOKING NORTHEAST. Three chicken ...
CHICKEN COOP AND BROAD LEAF MAPLE, LOOKING NORTHEAST. Three chicken coops on the farm were used by both chickens and turkeys. The yards around the buildings were once fenced in to give the poultry brooding space. - Kineth Farm, Chicken Coop, 19162 STATE ROUTE 20, Coupeville, Island County, WA
Student's Lab Assignments in PDE Course with MAPLE.
ERIC Educational Resources Information Center
Ponidi, B. Alhadi
Computer-aided software has been used intensively in many mathematics courses, especially in computational subjects, to solve initial value and boundary value problems in Partial Differential Equations (PDE). Many software packages were used in student lab assignments such as FORTRAN, PASCAL, MATLAB, MATHEMATICA, and MAPLE in order to accelerate…
FACTORS INFLUENCING FALL FOLIAGE COLOR EXPRESSION IN SUGAR MAPLE TREES.
Abstract: We evaluated factors influencing red autumn coloration in leaves of sugar maple (Acer saccharum Marsh.) by measuring mineral nutrition and carbohydrate concentrations, moisture content, and phenology of color development of leaves from 16 mature open-grown trees on 12 d...
Semiclassical states on Lie algebras
Tsobanjan, Artur
2015-03-15
The effective technique for analyzing representation-independent features of quantum systems based on the semiclassical approximation (developed elsewhere) has been successfully used in the context of the canonical (Weyl) algebra of the basic quantum observables. Here, we perform the important step of extending this effective technique to the quantization of a more general class of finite-dimensional Lie algebras. The case of a Lie algebra with a single central element (the Casimir element) is treated in detail by considering semiclassical states on the corresponding universal enveloping algebra. Restriction to an irreducible representation is performed by “effectively” fixing the Casimir condition, following the methods previously used for constrained quantum systems. We explicitly determine the conditions under which this restriction can be consistently performed alongside the semiclassical truncation.
NASA Technical Reports Server (NTRS)
Cleaveland, Rance; Luettgen, Gerald; Natarajan, V.
1999-01-01
This paper surveys the semantic ramifications of extending traditional process algebras with notions of priority that allow for some transitions to be given precedence over others. These enriched formalisms allow one to model system features such as interrupts, prioritized choice, or real-time behavior. Approaches to priority in process algebras can be classified according to whether the induced notion of preemption on transitions is global or local and whether priorities are static or dynamic. Early work in the area concentrated on global pre-emption and static priorities and led to formalisms for modeling interrupts and aspects of real-time, such as maximal progress, in centralized computing environments. More recent research has investigated localized notions of pre-emption in which the distribution of systems is taken into account, as well as dynamic priority approaches, i.e., those where priority values may change as systems evolve. The latter allows one to model behavioral phenomena such as scheduling algorithms and also enables the efficient encoding of real-time semantics. Technically, this paper studies the different models of priorities by presenting extensions of Milner's Calculus of Communicating Systems (CCS) with static and dynamic priority as well as with notions of global and local pre- emption. In each case the operational semantics of CCS is modified appropriately, behavioral theories based on strong and weak bisimulation are given, and related approaches for different process-algebraic settings are discussed.
NASA Astrophysics Data System (ADS)
Dankova, T. S.; Rosensteel, G.
1998-10-01
Mean field theory has an unexpected group theoretic mathematical foundation. Instead of representation theory which applies to most group theoretic quantum models, Hartree-Fock and Hartree-Fock-Bogoliubov have been formulated in terms of coadjoint orbits for the groups U(n) and O(2n). The general theory of mean fields is formulated for an arbitrary Lie algebra L of fermion operators. The moment map provides the correspondence between the Hilbert space of microscopic wave functions and the dual space L^* of densities. The coadjoint orbits of the group in the dual space are phase spaces on which time-dependent mean field theory is equivalent to a classical Hamiltonian dynamical system. Indeed it forms a finite-dimensional Lax system. The mean field theories for the Elliott SU(3) and symplectic Sp(3,R) algebras are constructed explicitly in the coadjoint orbit framework.
2013-05-06
AMG2013 is a parallel algebraic multigrid solver for linear systems arising from problems on unstructured grids. It has been derived directly from the Boomer AMG solver in the hypre library, a large linear solvers library that is being developed in the Center for Applied Scientific Computing (CASC) at LLNL. The driver provided in the benchmark can build various test problems. The default problem is a Laplace type problem on an unstructured domain with various jumps and an anisotropy in one part.
ERIC Educational Resources Information Center
National Council of Teachers of Mathematics, Inc., Reston, VA.
This is a reprint of the historical capsules dealing with algebra from the 31st Yearbook of NCTM,"Historical Topics for the Mathematics Classroom." Included are such themes as the change from a geometric to an algebraic solution of problems, the development of algebraic symbolism, the algebraic contributions of different countries, the origin and…
Sequential products on effect algebras
NASA Astrophysics Data System (ADS)
Gudder, Stan; Greechie, Richard
2002-02-01
A sequential effect algebra (SEA) is an effect algebra on which a sequential product with natural properties is defined. The properties of sequential products on Hilbert space effect algebras are discussed. For a general SEA, relationships between sequential independence, coexistence and compatibility are given. It is shown that the sharp elements of a SEA form an orthomodular poset. The sequential center of a SEA is discussed and a characterization of when the sequential center is isomorphic to a fuzzy set system is presented. It is shown that the existence, of a sequential product is a strong restriction that eliminates many effect algebras from being SEA's. For example, there are no finite nonboolean SEA's, A measure of sharpness called the sharpness index is studied. The existence of horizontal sums of SEA's is characterized and examples of horizontal sums and tensor products are presented.
Figueroa-O'Farrill, Jose Miguel
2009-11-15
We phrase deformations of n-Leibniz algebras in terms of the cohomology theory of the associated Leibniz algebra. We do the same for n-Lie algebras and for the metric versions of n-Leibniz and n-Lie algebras. We place particular emphasis on the case of n=3 and explore the deformations of 3-algebras of relevance to three-dimensional superconformal Chern-Simons theories with matter.
Quantum cluster algebras and quantum nilpotent algebras
Goodearl, Kenneth R.; Yakimov, Milen T.
2014-01-01
A major direction in the theory of cluster algebras is to construct (quantum) cluster algebra structures on the (quantized) coordinate rings of various families of varieties arising in Lie theory. We prove that all algebras in a very large axiomatically defined class of noncommutative algebras possess canonical quantum cluster algebra structures. Furthermore, they coincide with the corresponding upper quantum cluster algebras. We also establish analogs of these results for a large class of Poisson nilpotent algebras. Many important families of coordinate rings are subsumed in the class we are covering, which leads to a broad range of applications of the general results to the above-mentioned types of problems. As a consequence, we prove the Berenstein–Zelevinsky conjecture [Berenstein A, Zelevinsky A (2005) Adv Math 195:405–455] for the quantized coordinate rings of double Bruhat cells and construct quantum cluster algebra structures on all quantum unipotent groups, extending the theorem of Geiß et al. [Geiß C, et al. (2013) Selecta Math 19:337–397] for the case of symmetric Kac–Moody groups. Moreover, we prove that the upper cluster algebras of Berenstein et al. [Berenstein A, et al. (2005) Duke Math J 126:1–52] associated with double Bruhat cells coincide with the corresponding cluster algebras. PMID:24982197
Philip, Bobby; Chartier, Dr Timothy
2012-01-01
methods based on Local Sensitivity Analysis (LSA). The method can be used in the context of geometric and algebraic multigrid methods for constructing smoothers, and in the context of Krylov methods for constructing block preconditioners. It is suitable for both constant and variable coecient problems. Furthermore, the method can be applied to systems arising from both scalar and coupled system partial differential equations (PDEs), as well as linear systems that do not arise from PDEs. The simplicity of the method will allow it to be easily incorporated into existing multigrid and Krylov solvers while providing a powerful tool for adaptively constructing methods tuned to a problem.
Explicit travelling waves and invariant algebraic curves
NASA Astrophysics Data System (ADS)
Gasull, Armengol; Giacomini, Hector
2015-06-01
We introduce a precise definition of algebraic travelling wave solution of n-th order partial differential equations and prove that the only algebraic travelling waves solutions for the celebrated Fisher-Kolmogorov equation are the ones found in 1979 by Ablowitz and Zeppetella. This question is equivalent to study when an associated one-parameter family of planar ordinary differential systems has invariant algebraic curves.
Binomial and Poisson Mixtures, Maximum Likelihood, and Maple Code
Bowman, Kimiko o; Shenton, LR
2006-01-01
The bias, variance, and skewness of maximum likelihoood estimators are considered for binomial and Poisson mixture distributions. The moments considered are asymptotic, and they are assessed using the Maple code. Question of existence of solutions and Karl Pearson's study are mentioned, along with the problems of valid sample space. Large samples to reduce variances are not unusual; this also applies to the size of the asymptotic skewness.
Phenolic glycosides from sugar maple (Acer saccharum) bark.
Yuan, Tao; Wan, Chunpeng; González-Sarrías, Antonio; Kandhi, Vamsikrishna; Cech, Nadja B; Seeram, Navindra P
2011-11-28
Four new phenolic glycosides, saccharumosides A-D (1-4), along with eight known phenolic glycosides, were isolated from the bark of sugar maple (Acer saccharum). The structures of 1-4 were elucidated on the basis of spectroscopic data analysis. All compounds isolated were evaluated for cytotoxicity effects against human colon tumorigenic (HCT-116 and Caco-2) and nontumorigenic (CCD-18Co) cell lines. PMID:22032697
Classical and quantum Kummer shape algebras
NASA Astrophysics Data System (ADS)
Odzijewicz, A.; Wawreniuk, E.
2016-07-01
We study a family of integrable systems of nonlinearly coupled harmonic oscillators on the classical and quantum levels. We show that the integrability of these systems follows from their symmetry characterized by algebras, here called Kummer shape algebras. The resolution of identity for a wide class of reproducing kernels is found. A number of examples, illustrating this theory, are also presented.
Assessing the Factors of Regional Growth Decline of Sugar Maple
NASA Astrophysics Data System (ADS)
Bishop, D. A.; Beier, C. M.; Pederson, N.; Lawrence, G. B.; Stella, J. C.; Sullivan, T. J.
2014-12-01
Sugar maple (Acer saccharum Marsh) is among the most ecologically, economically and culturally important trees in North America, but has experienced a decline disease across much of its range. We investigated the climatic and edaphic factors associated with A. saccharum growth in the Adirondack Mountains (USA) using a well-replicated tree-ring network incorporating a range of soil fertility (base cation availability). We found that nearly 3 in 4 A. saccharum trees exhibited declining growth rates during the last several decades, regardless of tree age or size. Although diameter growth was consistently higher on base-rich soils, the negative trends in growth were largely consistent across the soil chemistry gradient. Sensitivity of sugar maple growth to climatic variability was overall weaker than expected, but were also non-stationary during the 20th century. We observed increasingly positive responses to late-winter precipitation, increasingly negative responses to growing season temperatures, and strong positive responses to moisture availability during the 1960s drought that became much weaker during the recent pluvial. Further study is needed of these factors and their interactions as potential mechanisms for sugar maple growth decline.
Statecharts Via Process Algebra
NASA Technical Reports Server (NTRS)
Luttgen, Gerald; vonderBeeck, Michael; Cleaveland, Rance
1999-01-01
Statecharts is a visual language for specifying the behavior of reactive systems. The Language extends finite-state machines with concepts of hierarchy, concurrency, and priority. Despite its popularity as a design notation for embedded system, precisely defining its semantics has proved extremely challenging. In this paper, a simple process algebra, called Statecharts Process Language (SPL), is presented, which is expressive enough for encoding Statecharts in a structure-preserving and semantic preserving manner. It is establish that the behavioral relation bisimulation, when applied to SPL, preserves Statecharts semantics
Inhibitory effect of maple syrup on the cell growth and invasion of human colorectal cancer cells.
Yamamoto, Tetsushi; Uemura, Kentaro; Moriyama, Kaho; Mitamura, Kuniko; Taga, Atsushi
2015-04-01
Maple syrup is a natural sweetener consumed by individuals of all ages throughout the world. Maple syrup contains not only carbohydrates such as sucrose but also various components such as organic acids, amino acids, vitamins and phenolic compounds. Recent studies have shown that these phenolic compounds in maple syrup may possess various activities such as decreasing the blood glucose level and an anticancer effect. In this study, we examined the effect of three types of maple syrup, classified by color, on the cell proliferation, migration and invasion of colorectal cancer (CRC) cells in order to investigate whether the maple syrup is suitable as a phytomedicine for cancer treatment. CRC cells that were administered maple syrup showed significantly lower growth rates than cells that were administered sucrose. In addition, administration of maple syrup to CRC cells caused inhibition of cell invasion, while there was no effect on cell migration. Administration of maple syrup clearly inhibited AKT phosphorylation, while there was no effect on ERK phosphorylation. These data suggest that maple syrup might inhibit cell proliferation and invasion through suppression of AKT activation and be suitable as a phytomedicine for CRC treatment, with fewer adverse effects than traditional chemotherapy. PMID:25647359
I CAN Learn[R] Pre-Algebra and Algebra. What Works Clearinghouse Intervention Report
ERIC Educational Resources Information Center
What Works Clearinghouse, 2009
2009-01-01
The I CAN Learn[R] Education System is an interactive, self-paced, mastery-based software system that includes the I CAN Learn[R] Fundamentals of Math (5th-6th grade math) curriculum, the I CAN Learn[R] Pre-Algebra curriculum, and the I CAN Learn[R] Algebra curriculum. College algebra credit is also available to students in participating schools…
Learning Algebra in a Computer Algebra Environment
ERIC Educational Resources Information Center
Drijvers, Paul
2004-01-01
This article summarises a doctoral thesis entitled "Learning algebra in a computer algebra environment, design research on the understanding of the concept of parameter" (Drijvers, 2003). It describes the research questions, the theoretical framework, the methodology and the results of the study. The focus of the study is on the understanding of…
Commutative algebraic methods for controllability of discrete-time polynomial systems
NASA Astrophysics Data System (ADS)
Kawano, Yu; Ohtsuka, Toshiyuki
2016-02-01
In this paper, we consider controllability of discrete-time polynomial systems. First, we present a forward accessibility (local reachability) condition that can be verified in finite time, in contrast to conventional conditions. Second, we give a backward accessibility (local controllability) condition for an invertible system and a condition to verify invertibility. Finally, we derive sufficient conditions to test whether the forward accessible system is reachable and to test the backward accessible system is controllable.
Difficulties in initial algebra learning in Indonesia
NASA Astrophysics Data System (ADS)
Jupri, Al; Drijvers, Paul; van den Heuvel-Panhuizen, Marja
2014-12-01
Within mathematics curricula, algebra has been widely recognized as one of the most difficult topics, which leads to learning difficulties worldwide. In Indonesia, algebra performance is an important issue. In the Trends in International Mathematics and Science Study (TIMSS) 2007, Indonesian students' achievement in the algebra domain was significantly below the average student performance in other Southeast Asian countries such as Thailand, Malaysia, and Singapore. This fact gave rise to this study which aims to investigate Indonesian students' difficulties in algebra. In order to do so, a literature study was carried out on students' difficulties in initial algebra. Next, an individual written test on algebra tasks was administered, followed by interviews. A sample of 51 grade VII Indonesian students worked the written test, and 37 of them were interviewed afterwards. Data analysis revealed that mathematization, i.e., the ability to translate back and forth between the world of the problem situation and the world of mathematics and to reorganize the mathematical system itself, constituted the most frequently observed difficulty in both the written test and the interview data. Other observed difficulties concerned understanding algebraic expressions, applying arithmetic operations in numerical and algebraic expressions, understanding the different meanings of the equal sign, and understanding variables. The consequences of these findings on both task design and further research in algebra education are discussed.
Banach Algebras Associated to Lax Pairs
NASA Astrophysics Data System (ADS)
Glazebrook, James F.
2015-04-01
Lax pairs featuring in the theory of integrable systems are known to be constructed from a commutative algebra of formal pseudodifferential operators known as the Burchnall- Chaundy algebra. Such pairs induce the well known KP flows on a restricted infinite-dimensional Grassmannian. The latter can be exhibited as a Banach homogeneous space constructed from a Banach *-algebra. It is shown that this commutative algebra of operators generating Lax pairs can be associated with a commutative C*-subalgebra in the C*-norm completion of the *-algebra. In relationship to the Bose-Fermi correspondence and the theory of vertex operators, this C*-algebra has an association with the CAR algebra of operators as represented on Fermionic Fock space by the Gelfand-Naimark-Segal construction. Instrumental is the Plücker embedding of the restricted Grassmannian into the projective space of the associated Hilbert space. The related Baker and tau-functions provide a connection between these two C*-algebras, following which their respective state spaces and Jordan-Lie-Banach algebras structures can be compared.
Elementary Algebra Connections to Precalculus
ERIC Educational Resources Information Center
Lopez-Boada, Roberto; Daire, Sandra Arguelles
2013-01-01
This article examines the attitudes of some precalculus students to solve trigonometric and logarithmic equations and systems using the concepts of elementary algebra. With the goal of enticing the students to search for and use connections among mathematical topics, they are asked to solve equations or systems specifically designed to allow…
Moving frames and prolongation algebras
NASA Technical Reports Server (NTRS)
Estabrook, F. B.
1982-01-01
Differential ideals generated by sets of 2-forms which can be written with constant coefficients in a canonical basis of 1-forms are considered. By setting up a Cartan-Ehresmann connection, in a fiber bundle over a base space in which the 2-forms live, one finds an incomplete Lie algebra of vector fields in the fields in the fibers. Conversely, given this algebra (a prolongation algebra), one can derive the differential ideal. The two constructs are thus dual, and analysis of either derives properties of both. Such systems arise in the classical differential geometry of moving frames. Examples of this are discussed, together with examples arising more recently: the Korteweg-de Vries and Harrison-Ernst systems.
Energy Science and Technology Software Center (ESTSC)
2013-05-06
AMG2013 is a parallel algebraic multigrid solver for linear systems arising from problems on unstructured grids. It has been derived directly from the Boomer AMG solver in the hypre library, a large linear solvers library that is being developed in the Center for Applied Scientific Computing (CASC) at LLNL. The driver provided in the benchmark can build various test problems. The default problem is a Laplace type problem on an unstructured domain with various jumpsmore » and an anisotropy in one part.« less
NASA Technical Reports Server (NTRS)
Iachello, Franco
1995-01-01
An algebraic formulation of quantum mechanics is presented. In this formulation, operators of interest are expanded onto elements of an algebra, G. For bound state problems in nu dimensions the algebra G is taken to be U(nu + 1). Applications to the structure of molecules are presented.