Computer Hardware, Advanced Mathematics and Model Physics pilot project final report
International Nuclear Information System (INIS)
1992-05-01
The Computer Hardware, Advanced Mathematics and Model Physics (CHAMMP) Program was launched in January, 1990. A principal objective of the program has been to utilize the emerging capabilities of massively parallel scientific computers in the challenge of regional scale predictions of decade-to-century climate change. CHAMMP has already demonstrated the feasibility of achieving a 10,000 fold increase in computational throughput for climate modeling in this decade. What we have also recognized, however, is the need for new algorithms and computer software to capitalize on the radically new computing architectures. This report describes the pilot CHAMMP projects at the DOE National Laboratories and the National Center for Atmospheric Research (NCAR). The pilot projects were selected to identify the principal challenges to CHAMMP and to entrain new scientific computing expertise. The success of some of these projects has aided in the definition of the CHAMMP scientific plan. Many of the papers in this report have been or will be submitted for publication in the open literature. Readers are urged to consult with the authors directly for questions or comments about their papers
Advanced hardware design for error correcting codes
Coussy, Philippe
2015-01-01
This book provides thorough coverage of error correcting techniques. It includes essential basic concepts and the latest advances on key topics in design, implementation, and optimization of hardware/software systems for error correction. The book’s chapters are written by internationally recognized experts in this field. Topics include evolution of error correction techniques, industrial user needs, architectures, and design approaches for the most advanced error correcting codes (Polar Codes, Non-Binary LDPC, Product Codes, etc). This book provides access to recent results, and is suitable for graduate students and researchers of mathematics, computer science, and engineering. • Examines how to optimize the architecture of hardware design for error correcting codes; • Presents error correction codes from theory to optimized architecture for the current and the next generation standards; • Provides coverage of industrial user needs advanced error correcting techniques.
Advanced engineering mathematics
Jeffrey, Alan
2001-01-01
Advanced Engineering Mathematics provides comprehensive and contemporary coverage of key mathematical ideas, techniques, and their widespread applications, for students majoring in engineering, computer science, mathematics and physics. Using a wide range of examples throughout the book, Jeffrey illustrates how to construct simple mathematical models, how to apply mathematical reasoning to select a particular solution from a range of possible alternatives, and how to determine which solution has physical significance. Jeffrey includes material that is not found in works of a similar nature, such as the use of the matrix exponential when solving systems of ordinary differential equations. The text provides many detailed, worked examples following the introduction of each new idea, and large problem sets provide both routine practice, and, in many cases, greater challenge and insight for students. Most chapters end with a set of computer projects that require the use of any CAS (such as Maple or Mathematica) th...
Advances in mathematical economics
Maruyama, Toru
2015-01-01
The series is designed to bring together those mathematicians who are seriously interested in getting new challenging stimuli from economic theories with those economists who are seeking effective mathematical tools for their research. A lot of economic problems can be formulated as constrained optimizations and equilibration of their solutions. Various mathematical theories have been supplying economists with indispensable machineries for these problems arising in economic theory. Conversely, mathematicians have been stimulated by various mathematical difficulties raised by economic theories.
Advances in mathematical economics
Maruyama, Toru
2014-01-01
A lot of economic problems can be formulated as constrained optimizations and equilibration of their solutions. Various mathematical theories have been supplying economists with indispensable machineries for these problems arising in economic theory. Conversely, mathematicians have been stimulated by various mathematical difficulties raised by economic theories. The series is designed to bring together those mathematicians who are seriously interested in getting new challenging stimuli from economic theories with those economists who are seeking effective mathematical tools for their research.
Advances in mathematical economics
Yamazaki, Akira
2006-01-01
A lot of economic problems can formulated as constrained optimizations and equilibration of their solutions. Various mathematical theories have been supplying economists with indispensable machineries for these problems arising in economic theory. Conversely, mathematicians have been stimulated by various mathematical difficulties raised by economic theories. The series is designed to bring together those mathematicians who were seriously interested in getting new challenging stimuli from economic theories with those economists who are seeking for effective mathematical tools for their researchers.
Advances in mathematical economics
Yamazaki, Akira
2006-01-01
A lot of economic problems can formulated as constrained optimizations and equilibration of their solutions.Various mathematical theories have been supplying economists with indispensable machineries for these problems arising in economic theory. Conversely, mathematicians have been stimulated by various mathematical difficulties raised by economic theories. The series is designed to bring together those mathematicians who were seriously interested in getting new challenging stimuli from economic theories with those economists who are seeking for effective mathematical tools for their researchers.
Advances in mathematical economics
Maruyama, Toru
2017-01-01
The series is designed to bring together those mathematicians who are seriously interested in getting new challenging stimuli from economic theories with those economists who are seeking effective mathematical tools for their research. A lot of economic problems can be formulated as constrained optimizations and equilibration of their solutions. Various mathematical theories have been supplying economists with indispensable machineries for these problems arising in economic theory. Conversely, mathematicians have been stimulated by various mathematical difficulties raised by economic theories.
Advances in mathematical economics
Maruyama, Toru
2016-01-01
The series is designed to bring together those mathematicians who are seriously interested in getting new challenging stimuli from economic theories with those economists who are seeking effective mathematical tools for their research. A lot of economic problems can be formulated as constrained optimizations and equilibration of their solutions. Various mathematical theories have been supplying economists with indispensable machineries for these problems arising in economic theory. Conversely, mathematicians have been stimulated by various mathematical difficulties raised by economic theories.
Advanced Training in Mathematics Schools
Indian Academy of Sciences (India)
Advanced Training in Mathematics Schools (ATM Schools) are a joint effort of more than. 50 active researchers across the country with support from the National Board for Higher. Mathematics. The objective of these schools is to impart basic knowledge in algebra, analysis and topology in the Annual Foundation School ...
A bridge to advanced mathematics
Sentilles, Dennis
2011-01-01
This helpful workbook-style ""bridge"" book introduces students to the foundations of advanced mathematics, spanning the gap between a practically oriented calculus sequence and subsequent courses in algebra and analysis with a more theoretical slant. Part 1 focuses on logic and number systems, providing the most basic tools, examples, and motivation for the manner, method, and concerns of higher mathematics. Part 2 covers sets, relations, functions, infinite sets, and mathematical proofs and reasoning. Author Dennis Sentilles also discusses the history and development of mathematics as well a
Advances in mathematical economics
Yamazaki, Akira
2005-01-01
A lot of economic problems can be formulated as constrained optimizations and equilibration of their solutions. Various mathematical theories have been supplying economists with indispensable machineries for these problems arising in economic theory. Conversely, mathematicians have been stimulated by various mathematical difficulties raised by economic theories. The series is designed to bring together those mathematicians who are seriously interested in getting new challenging stimuli from economic theories with those economists who are seeking effective mathematical tools for their research. The editorial board of this series comprises the following prominent economists and mathematicians: Managing Editors: S. Kusuoka (Univ. Tokyo), T. Maruyama (Keio Univ.). Editors: R. Anderson (U.C. Berkeley), C. Castaing (Univ. Montpellier), F.H. Clarke (Univ. Lyon I), G. Debreu (U.C. Berkeley), E. Dierker (Univ. Vienna), D. Duffie (Stanford Univ.), L.C. Evans (U.C. Berkeley), T. Fujimoto (Okayama Univ.), J.-M. Grandmont...
Racial Differences in Mathematics Test Scores for Advanced Mathematics Students
Minor, Elizabeth Covay
2016-01-01
Research on achievement gaps has found that achievement gaps are larger for students who take advanced mathematics courses compared to students who do not. Focusing on the advanced mathematics student achievement gap, this study found that African American advanced mathematics students have significantly lower test scores and are less likely to be…
MRI - From basic knowledge to advanced strategies: Hardware
International Nuclear Information System (INIS)
Carpenter, T.A.; Williams, E.J.
1999-01-01
There have been remarkable advances in the hardware used for nuclear magnetic resonance imaging scanners. These advances have enabled an extraordinary range of sophisticated magnetic resonance MR sequences to be performed routinely. This paper focuses on the following particular aspects: (a) Magnet system. Advances in magnet technology have allowed superconducting magnets which are low maintenance and have excellent homogeneity and very small stray field footprints. (b) Gradient system. Optimisation of gradient design has allowed gradient coils which provide excellent field for spatial encoding, have reduced diameter and have technology to minimise the effects of eddy currents. These coils can now routinely provide the strength and switching rate required by modern imaging methods. (c) Radio-frequency (RF) system. The advances in digital electronics can now provide RF electronics which have low noise characteristics, high accuracy and improved stability, which are all essential to the formation of excellent images. The use of surface coils has increased with the availability of phased-array systems, which are ideal for spinal work. (d) Computer system. The largest advance in technology has been in the supporting computer hardware which is now affordable, reliable and with performance to match the processing requirements demanded by present imaging sequences. (orig.)
Advances in neuromorphic hardware exploiting emerging nanoscale devices
2017-01-01
This book covers all major aspects of cutting-edge research in the field of neuromorphic hardware engineering involving emerging nanoscale devices. Special emphasis is given to leading works in hybrid low-power CMOS-Nanodevice design. The book offers readers a bidirectional (top-down and bottom-up) perspective on designing efficient bio-inspired hardware. At the nanodevice level, it focuses on various flavors of emerging resistive memory (RRAM) technology. At the algorithm level, it addresses optimized implementations of supervised and stochastic learning paradigms such as: spike-time-dependent plasticity (STDP), long-term potentiation (LTP), long-term depression (LTD), extreme learning machines (ELM) and early adoptions of restricted Boltzmann machines (RBM) to name a few. The contributions discuss system-level power/energy/parasitic trade-offs, and complex real-world applications. The book is suited for both advanced researchers and students interested in the field.
Advances in mechanics and mathematics
Ogden, Ray
2002-01-01
Advances in Mechanics and Mathematics (AMMA) is intended to bridge the gap by providing multi-disciplinary publications. This volume, AMMA 2002, includes two parts with three articles by four subject experts. Part 1 deals with nonsmooth static and dynamic systems. A systematic mathematical theory for multibody dynamics with unilateral and frictional constraints and a brief introduction to hemivariational inequalities together with some new developments in nonsmooth semi-linear elliptic boundary value problems are presented. Part 2 provides a comprehensive introduction and the latest research on dendritic growth in fluid mechanics, one of the most profound and fundamental subjects in the area of interfacial pattern formation, a commonly observed phenomenon in crystal growth and solidification processes.
Cognitive correlates of performance in advanced mathematics.
Wei, Wei; Yuan, Hongbo; Chen, Chuansheng; Zhou, Xinlin
2012-03-01
Much research has been devoted to understanding cognitive correlates of elementary mathematics performance, but little such research has been done for advanced mathematics (e.g., modern algebra, statistics, and mathematical logic). To promote mathematical knowledge among college students, it is necessary to understand what factors (including cognitive factors) are important for acquiring advanced mathematics. We recruited 80 undergraduates from four universities in Beijing. The current study investigated the associations between students' performance on a test of advanced mathematics and a battery of 17 cognitive tasks on basic numerical processing, complex numerical processing, spatial abilities, language abilities, and general cognitive processing. The results showed that spatial abilities were significantly correlated with performance in advanced mathematics after controlling for other factors. In addition, certain language abilities (i.e., comprehension of words and sentences) also made unique contributions. In contrast, basic numerical processing and computation were generally not correlated with performance in advanced mathematics. Results suggest that spatial abilities and language comprehension, but not basic numerical processing, may play an important role in advanced mathematics. These results are discussed in terms of their theoretical significance and practical implications. ©2011 The British Psychological Society.
Advanced Problems in Mathematics : Preparing for University
Siklos, Stephen
2016-01-01
" This book is intended to help candidates prepare for entrance examinations in mathematics and scientific subjects, including STEP (Sixth Term Examination Paper). STEP is an examination used by Cambridge colleges as the basis for conditional offers. They are also used by Warwick University, and many other mathematics departments recommend that their applicants practice on the past papers even if they do not take the examination. Advanced Problems in Mathematics is recommended as preparati...
Assessing mathematics within advanced school science qualifications
McAlinden, Mary; Noyes, Andrew
2017-01-01
Following sustained discussion regarding the relationship between advanced mathematics and science learning in England, the government has pursued a reform agenda in which mathematics is embedded in national, high stakes A-level science qualifications and their assessments for 18-year-olds. For example, A-level Chemistry must incorporate the assessment of relevant mathematics for at least 20% of the qualification. Other sciences have different mandated percentages. This embedding policy is ru...
Gestures and Insight in Advanced Mathematical Thinking
Yoon, Caroline; Thomas, Michael O. J.; Dreyfus, Tommy
2011-01-01
What role do gestures play in advanced mathematical thinking? We argue that the role of gestures goes beyond merely communicating thought and supporting understanding--in some cases, gestures can help generate new mathematical insights. Gestures feature prominently in a case study of two participants working on a sequence of calculus activities.…
International Conference on Advances in Applied Mathematics
Hammami, Mohamed; Masmoudi, Afif
2015-01-01
This contributed volume presents some recent theoretical advances in mathematics and its applications in various areas of science and technology. Written by internationally recognized scientists and researchers, the chapters in this book are based on talks given at the International Conference on Advances in Applied Mathematics (ICAAM), which took place December 16-19, 2013, in Hammamet, Tunisia. Topics discussed at the conference included spectral theory, operator theory, optimization, numerical analysis, ordinary and partial differential equations, dynamical systems, control theory, probability, and statistics. These proceedings aim to foster and develop further growth in all areas of applied mathematics.
Mathematics for natural scientists II advanced methods
Kantorovich, Lev
2016-01-01
This book covers the advanced mathematical techniques useful for physics and engineering students, presented in a form accessible to physics students, avoiding precise mathematical jargon and laborious proofs. Instead, all proofs are given in a simplified form that is clear and convincing for a physicist. Examples, where appropriate, are given from physics contexts. Both solved and unsolved problems are provided in each chapter. Mathematics for Natural Scientists II: Advanced Methods is the second of two volumes. It follows the first volume on Fundamentals and Basics.
Advanced Training in Mathematics Schools
Indian Academy of Sciences (India)
Mail the completed forms to: Prof. E K Narayanan, Department of Mathematics, Indian Institute of Science, Bangalore. 560012, Tel: 080-22933270,22932711 Fax: 80-23600146, Email: atm@math.iisc.ernet.in so as to reach before 20 April 2006. List of selected candidates will be posted on the websites on 24th April 2006.
Why Do Students Drop Advanced Mathematics?
Horn, Ilana
2004-01-01
Students, especially black, Latino and Native American youth and students of low socio-economic status drop out of advanced mathematics. Teachers must coordinate their expectations, their knowledge of students and their teaching practices in order to stop struggling students from dropping out of advanced math classes.
A discrete transition to advanced mathematics
Richmond, Bettina
2009-01-01
As the title indicates, this book is intended for courses aimed at bridging the gap between lower-level mathematics and advanced mathematics. The text provides a careful introduction to techniques for writing proofs and a logical development of topics based on intuitive understanding of concepts. The authors utilize a clear writing style and a wealth of examples to develop an understanding of discrete mathematics and critical thinking skills. While including many traditional topics, the text offers innovative material throughout. Surprising results are used to motivate the reader. The last thr
Advances in flexible optrode hardware for use in cybernetic insects
Register, Joseph; Callahan, Dennis M.; Segura, Carlos; LeBlanc, John; Lissandrello, Charles; Kumar, Parshant; Salthouse, Christopher; Wheeler, Jesse
2017-08-01
Optogenetic manipulation is widely used to selectively excite and silence neurons in laboratory experiments. Recent efforts to miniaturize the components of optogenetic systems have enabled experiments on freely moving animals, but further miniaturization is required for freely flying insects. In particular, miniaturization of high channel-count optical waveguides are needed for high-resolution interfaces. Thin flexible waveguide arrays are needed to bend light around tight turns to access small anatomical targets. We present the design of lightweight miniaturized optogentic hardware and supporting electronics for the untethered steering of dragonfly flight. The system is designed to enable autonomous flight and includes processing, guidance sensors, solar power, and light stimulators. The system will weigh less than 200mg and be worn by the dragonfly as a backpack. The flexible implant has been designed to provide stimuli around nerves through micron scale apertures of adjacent neural tissue without the use of heavy hardware. We address the challenges of lightweight optogenetics and the development of high contrast polymer waveguides for this purpose.
Advanced mathematics communication beyond modality of sight
Sedaghatjou, Mina
2018-01-01
This study illustrates how mathematical communication and learning are inherently multimodal and embodied; hence, sight-disabled students are also able to conceptualize visuospatial information and mathematical concepts through tactile and auditory activities. Adapting a perceptuomotor integration approach, the study shows that the lack of access to visual fields in an advanced mathematics course does not obstruct a blind student's ability to visualize, but transforms it. The goal of this study is not to compare the visually impaired student with non-visually impaired students to address the 'differences' in understanding; instead, I discuss the challenges that a blind student, named Anthony, has encountered and the ways that we tackled those problems. I also demonstrate how the proper and precisely crafted tactile materials empowered Anthony to learn mathematical functions.
Hardware design for the production of NTD silicon in the Advanced Test Reactor
International Nuclear Information System (INIS)
Schell, M.J.
1984-01-01
The Advanced Test Reactor (ATR) is a 250-MW(t) materials testing and nuclear research facility operated for EG and G Idaho, Inc. The unique capabilities of the ATR can be readily adapted via hardware to produce large quantitities of large-diameter (20 cm plus) doped silicon crystals. Conservative estimates place the production capability in excess of 15 metric tons per year. The proposed hardware is based upon a closed-loop, hydraulic-shuttle tube system
Test Hardware Design for Flightlike Operation of Advanced Stirling Convertors (ASC-E3)
Oriti, Salvatore M.
2012-01-01
NASA Glenn Research Center (GRC) has been supporting development of the Advanced Stirling Radioisotope Generator (ASRG) since 2006. A key element of the ASRG project is providing life, reliability, and performance testing of the Advanced Stirling Convertor (ASC). For this purpose, the Thermal Energy Conversion branch at GRC has been conducting extended operation of a multitude of free-piston Stirling convertors. The goal of this effort is to generate long-term performance data (tens of thousands of hours) simultaneously on multiple units to build a life and reliability database. The test hardware for operation of these convertors was designed to permit in-air investigative testing, such as performance mapping over a range of environmental conditions. With this, there was no requirement to accurately emulate the flight hardware. For the upcoming ASC-E3 units, the decision has been made to assemble the convertors into a flight-like configuration. This means the convertors will be arranged in the dual-opposed configuration in a housing that represents the fit, form, and thermal function of the ASRG. The goal of this effort is to enable system level tests that could not be performed with the traditional test hardware at GRC. This offers the opportunity to perform these system-level tests much earlier in the ASRG flight development, as they would normally not be performed until fabrication of the qualification unit. This paper discusses the requirements, process, and results of this flight-like hardware design activity.
Test Hardware Design for Flight-Like Operation of Advanced Stirling Convertors
Oriti, Salvatore M.
2012-01-01
NASA Glenn Research Center (GRC) has been supporting development of the Advanced Stirling Radioisotope Generator (ASRG) since 2006. A key element of the ASRG project is providing life, reliability, and performance testing of the Advanced Stirling Convertor (ASC). For this purpose, the Thermal Energy Conversion branch at GRC has been conducting extended operation of a multitude of free-piston Stirling convertors. The goal of this effort is to generate long-term performance data (tens of thousands of hours) simultaneously on multiple units to build a life and reliability database. The test hardware for operation of these convertors was designed to permit in-air investigative testing, such as performance mapping over a range of environmental conditions. With this, there was no requirement to accurately emulate the flight hardware. For the upcoming ASC-E3 units, the decision has been made to assemble the convertors into a flight-like configuration. This means the convertors will be arranged in the dual-opposed configuration in a housing that represents the fit, form, and thermal function of the ASRG. The goal of this effort is to enable system level tests that could not be performed with the traditional test hardware at GRC. This offers the opportunity to perform these system-level tests much earlier in the ASRG flight development, as they would normally not be performed until fabrication of the qualification unit. This paper discusses the requirements, process, and results of this flight-like hardware design activity.
Adding Structure to the Transition Process to Advanced Mathematical Activity
Engelbrecht, Johann
2010-01-01
The transition process to advanced mathematical thinking is experienced as traumatic by many students. Experiences that students had of school mathematics differ greatly to what is expected from them at university. Success in school mathematics meant application of different methods to get an answer. Students are not familiar with logical…
Adding structure to the transition process to advanced mathematical activity
Engelbrecht, Johann
2010-03-01
The transition process to advanced mathematical thinking is experienced as traumatic by many students. Experiences that students had of school mathematics differ greatly to what is expected from them at university. Success in school mathematics meant application of different methods to get an answer. Students are not familiar with logical deductive reasoning, required in advanced mathematics. It is necessary to assist students in this transition process, in moving from general to mathematical thinking. In this article some structure is suggested for this transition period. This essay is an argumentative exposition supported by personal experience and international literature. This makes this study theoretical rather than empirical.
Koichu, Boris
2010-01-01
This article discusses an issue of inserting mathematical knowledge within the problem-solving processes. Relatively advanced mathematical knowledge is defined in terms of "three mathematical worlds"; relatively advanced problem-solving behaviours are defined in terms of taxonomies of "proof schemes" and "heuristic behaviours". The relationships…
Pepin, Gerard R.
1992-01-01
The Interim Service Integrated Service Digital Network (ISDN) Satellite (ISIS) Hardware Experiment Development for Advanced Satellite Designs describes the development of the ISDN Satellite Terminal Adapter (ISTA) capable of translating ISDN protocol traffic into Time Division Multiple Access (TDMA) signals for use by a communications satellite. The ISTA connects the Type 1 Network Termination (NT1) via the U-interface on the line termination side of the CPE to the RS-499 interface for satellite uplink. The same ISTA converts in the opposite direction the RS-499 to U-interface data with a simple switch setting.
Pepin, Gerard R.
1992-01-01
The Interim Service Integrated Services Digital Network (ISDN) Satellite (ISIS) Hardware Experiment Design for Advanced Satellite Designs describes the design of the ISDN Satellite Terminal Adapter (ISTA) capable of translating ISDN protocol traffic into time division multiple access (TDMA) signals for use by a communications satellite. The ISTA connects the Type 1 Network Termination (NT1) via the U-interface on the line termination side of the CPE to the V.35 interface for satellite uplink. The same ISTA converts in the opposite direction the V.35 to U-interface data with a simple switch setting.
Computational experiment approach to advanced secondary mathematics curriculum
Abramovich, Sergei
2014-01-01
This book promotes the experimental mathematics approach in the context of secondary mathematics curriculum by exploring mathematical models depending on parameters that were typically considered advanced in the pre-digital education era. This approach, by drawing on the power of computers to perform numerical computations and graphical constructions, stimulates formal learning of mathematics through making sense of a computational experiment. It allows one (in the spirit of Freudenthal) to bridge serious mathematical content and contemporary teaching practice. In other words, the notion of teaching experiment can be extended to include a true mathematical experiment. When used appropriately, the approach creates conditions for collateral learning (in the spirit of Dewey) to occur including the development of skills important for engineering applications of mathematics. In the context of a mathematics teacher education program, this book addresses a call for the preparation of teachers capable of utilizing mo...
All Students Need Advanced Mathematics. Math Works
Achieve, Inc., 2013
2013-01-01
This fact sheet explains that to thrive in today's world, all students will need to graduate with very strong math skills. That can only mean one thing: advanced math courses are now essential math courses. Highlights of this paper include: (1) Advanced math equals college success; (2) Advanced math equals career opportunity; and (3) Advanced math…
Reassessing the Economic Value of Advanced Level Mathematics
Adkins, Michael; Noyes, Andrew
2016-01-01
In the late 1990s, the economic return to Advanced level (A-level) mathematics was examined. The analysis was based upon a series of log-linear models of earnings in the 1958 National Child Development Survey (NCDS) and the National Survey of 1980 Graduates and Diplomates. The core finding was that A-level mathematics had a unique earnings premium…
European Conference on Numerical Mathematics and Advanced Applications
Manguoğlu, Murat; Tezer-Sezgin, Münevver; Göktepe, Serdar; Uğur, Ömür
2016-01-01
The European Conference on Numerical Mathematics and Advanced Applications (ENUMATH), held every 2 years, provides a forum for discussing recent advances in and aspects of numerical mathematics and scientific and industrial applications. The previous ENUMATH meetings took place in Paris (1995), Heidelberg (1997), Jyvaskyla (1999), Ischia (2001), Prague (2003), Santiago de Compostela (2005), Graz (2007), Uppsala (2009), Leicester (2011) and Lausanne (2013). This book presents a selection of invited and contributed lectures from the ENUMATH 2015 conference, which was organised by the Institute of Applied Mathematics (IAM), Middle East Technical University, Ankara, Turkey, from September 14 to 18, 2015. It offers an overview of central recent developments in numerical analysis, computational mathematics, and applications in the form of contributions by leading experts in the field.
Advanced mathematics for engineers and scientists
DuChateau, Paul
2012-01-01
This book can be used as either a primary text or a supplemental reference for courses in applied mathematics. Its core chapters are devoted to linear algebra, calculus, and ordinary differential equations. Additional topics include partial differential equations and approximation methods. Each chapter features an ample selection of solved problems. These problems were chosen to illustrate not only how to solve various algebraic and differential equations but also how to interpret the solutions in order to gain insight into the behavior of the system modeled by the equation. In addition to th
System-Level Testing of the Advanced Stirling Radioisotope Generator Engineering Hardware
Chan, Jack; Wiser, Jack; Brown, Greg; Florin, Dominic; Oriti, Salvatore M.
2014-01-01
To support future NASA deep space missions, a radioisotope power system utilizing Stirling power conversion technology was under development. This development effort was performed under the joint sponsorship of the Department of Energy and NASA, until its termination at the end of 2013 due to budget constraints. The higher conversion efficiency of the Stirling cycle compared with that of the Radioisotope Thermoelectric Generators (RTGs) used in previous missions (Viking, Pioneer, Voyager, Galileo, Ulysses, Cassini, Pluto New Horizons and Mars Science Laboratory) offers the advantage of a four-fold reduction in Pu-238 fuel, thereby extending its limited domestic supply. As part of closeout activities, system-level testing of flight-like Advanced Stirling Convertors (ASCs) with a flight-like ASC Controller Unit (ACU) was performed in February 2014. This hardware is the most representative of the flight design tested to date. The test fully demonstrates the following ACU and system functionality: system startup; ASC control and operation at nominal and worst-case operating conditions; power rectification; DC output power management throughout nominal and out-of-range host voltage levels; ACU fault management, and system command / telemetry via MIL-STD 1553 bus. This testing shows the viability of such a system for future deep space missions and bolsters confidence in the maturity of the flight design.
Peterson, Peter Y.; Kamhawi, Hani; Huang, Wensheng; Yim, John T.; Haag, Thomas W.; Mackey, Jonathan A.; McVetta, Michael S.; Sorrelle, Luke T.; Tomsik, Thomas M.; Gilligan, Ryan P.;
2018-01-01
The NASA Hall Effect Rocket with Magnetic Shielding (HERMeS) 12.5 kW Hall thruster has been the subject of extensive technology maturation in preparation for development into a flight propulsion system. The HERMeS thruster is being developed and tested at NASA GRC and NASA JPL through support of the Space Technology Mission Directorate (STMD) and is intended to be used as the electric propulsion system on the Power and Propulsion Element (PPE) of the recently announced Deep Space Gateway (DSG). The Advanced Electric Propulsion System (AEPS) contract was awarded to Aerojet-Rocketdyne to develop the HERMeS system into a flight system for use by NASA. To address the hardware test needs of the AEPS project, NASA GRC launched an effort to reconfigure Vacuum Facility 6 (VF-6) for high-power electric propulsion testing including upgrades and reconfigurations necessary to conduct performance, plasma plume, and system level integration testing. Results of the verification and validation testing with HERMeS Technology Demonstration Unit (TDU)-1 and TDU-3 Hall thrusters are also included.
Advanced Research and Education in Electrical Drives by Using Digital Real-Time Hardware-in-the-Loop Simulation
DEFF Research Database (Denmark)
Bojoi, R.; Profumo, F.; Griva, G.
2002-01-01
The authors present in this paper a digital real-time hardware-in-the-loop simulation of a three-phase induction motor drive. The main real-time simulation tool is the dSPACE DS1103 PPC Controller Board which simulates the power and signal conditioning parts. The control algorithm of the virtual...... drive has been implemented on the Evaluation Board of TMS320F240 DSP. The experimental results validate this solution as a powerful tool to be used in research and advanced education. Thus, the students can put in practic the theory without spending too much time with details concerning the hardware...
Advances in Reactor physics, mathematics and computation. Volume 3
Energy Technology Data Exchange (ETDEWEB)
1987-01-01
These proceedings of the international topical meeting on advances in reactor physics, mathematics and computation, volume 3, are divided into sessions bearing on: - poster sessions on benchmark and codes: 35 conferences - review of status of assembly spectrum codes: 9 conferences - Numerical methods in fluid mechanics and thermal hydraulics: 16 conferences - stochastic transport and methods: 7 conferences.
Tools of the trade introduction to advanced mathematics
Sally, Jr, Paul J
2008-01-01
This book provides a transition from the formula-full aspects of the beginning study of college level mathematics to the rich and creative world of more advanced topics. It is designed to assist the student in mastering the techniques of analysis and proof that are required to do mathematics. Along with the standard material such as linear algebra, construction of the real numbers via Cauchy sequences, metric spaces and complete metric spaces, there are three projects at the end of each chapter that form an integral part of the text. These projects include a detailed discussion of topics such
Recent advances in hardware and software are to improve spent fuel measurements
International Nuclear Information System (INIS)
Staples, P.; Beddingfield, D.H.; Lestone, J.P.; Pelowitz, D.G.; Bytchkov, M.; Starovich, Z.; Harizanov, I.; Luna-Vellejo, J.; Lavender, C.
2001-01-01
Vast quantities of spent fuel are available for safeguard measurements, primarily in Commonwealth of Independent States (CIS) of the former Soviet Union. This spent fuel, much of which consists of long-cooling-time material, is going to become less unique in the world safeguards arena as reprocessing projects or permanent repositories continue to be delayed or postponed. The long cooling time of many of the spent fuel assemblies being prepared for intermediate term storage in the CIS countries promotes the possibility of increased accuracy in spent fuel assays. This improvement is made possible through the process of decay of the Curium isotopes and of fission products. An important point to consider for the future that could advance safeguards measurements for reverification and inspection would be to determine what safeguards requirements should be imposed upon this 'new' class of spent fuel, Improvements in measurement capability will obviously affect the safeguards requirements. What most significantly enables this progress in spent fuel measurements is the improvement in computer processing power and software enhancements leading to user-friendly Graphical User Interfaces (GUT's). The software used for these projects significantly reduces the IAEA inspector's time expenditure for both learning and operating computer and data acquisition systems, At the same time, by standardizing the spent fuel measurements, it is possible to increase reproducibility and reliability of the measurement data. Hardware systems will be described which take advantage of the increased computer control available to enable more complex measurement scenarios. A specific example of this is the active regulation of a spent fuel neutron coincident counter's 3 He tubes high voltage, and subsequent scaling of measurement results to maintain a calibration for direct assay of the plutonium content of Fast Breeder Reactor spent fuel. The plutonium content has been successfully determined for
Survey of hardware supported by the Control System at the Advanced Photon Source
International Nuclear Information System (INIS)
Coulter, K.J.; Nawrocki, G.J.
1993-01-01
The Experimental Physics and Industrial control System (EPICS) has been under development at Los Alamos and Argonne National Laboratories for over six years. A wide variety of instrumentation is now supported. This presentation will give an overview of the types of hardware and subsystems which are currently supported and will discuss future plans for addressing additional hardware requirements at the APS. Supported systems to be discussed include: motion control, vacuum pump control and system monitoring, standard laboratory instrumentation (ADCs, DVMs, pulse generators, etc.), image processing, discrete binary and analog I/O, and standard temperature, pressure and flow monitoring
Advances in Reactor Physics, Mathematics and Computation. Volume 1
Energy Technology Data Exchange (ETDEWEB)
1987-01-01
These proceedings of the international topical meeting on advances in reactor physics, mathematics and computation, volume one, are divided into 6 sessions bearing on: - session 1: Advances in computational methods including utilization of parallel processing and vectorization (7 conferences) - session 2: Fast, epithermal, reactor physics, calculation, versus measurements (9 conferences) - session 3: New fast and thermal reactor designs (9 conferences) - session 4: Thermal radiation and charged particles transport (7 conferences) - session 5: Super computers (7 conferences) - session 6: Thermal reactor design, validation and operating experience (8 conferences).
Advances in Reactor Physics, Mathematics and Computation. Volume 2
Energy Technology Data Exchange (ETDEWEB)
1987-01-01
These proceedings of the international topical meeting on advances in reactor physics, mathematics and computation, Volume 2, are divided into 7 sessions bearing on: - session 7: Deterministic transport methods 1 (7 conferences), - session 8: Interpretation and analysis of reactor instrumentation (6 conferences), - session 9: High speed computing applied to reactor operations (5 conferences), - session 10: Diffusion theory and kinetics (7 conferences), - session 11: Fast reactor design, validation and operating experience (8 conferences), - session 12: Deterministic transport methods 2 (7 conferences), - session 13: Application of expert systems to physical aspects of reactor design and operation.
Directory of Open Access Journals (Sweden)
Siva Kotipalli
2014-01-01
(SCA resistance. These designs are based on a delay-insensitive (DI logic paradigm known as null convention logic (NCL, which supports useful properties for resisting SCAs including dual-rail encoding, clock-free operation, and monotonic transitions. Potential benefits include reduced and more uniform switching activities and reduced signal-to-noise (SNR ratio. A novel method to further augment NCL AES hardware with random voltage scaling technique is also presented for additional security. Thereby, the proposed components leak significantly less side-channel information than conventional clocked approaches. To quantitatively verify such improvements, functional verification and WASSO (weighted average simultaneous switching output analysis have been carried out on both conventional synchronous approach and the proposed NCL based approach using Mentor Graphics ModelSim and Xilinx simulation tools. Hardware implementation has been carried out on both designs exploiting a specified side-channel attack standard evaluation FPGA board, called SASEBO-GII, and the corresponding power waveforms for both designs have been collected. Along with the results of software simulations, we have analyzed the collected waveforms to validate the claims related to benefits of the proposed cryptohardware design approach.
An iLab for Teaching Advanced Logic Concepts with Hardware Descriptive Languages
Ayodele, Kayode P.; Inyang, Isaac A.; Kehinde, Lawrence O.
2015-01-01
One of the more interesting approaches to teaching advanced logic concepts is the use of online laboratory frameworks to provide student access to remote field-programmable devices. There is as yet, however, no conclusive evidence of the effectiveness of such an approach. This paper presents the Advanced Digital Lab, a remote laboratory based on…
Directory of Open Access Journals (Sweden)
Trude Nilsen
2013-10-01
Full Text Available As students advance in their learning of physics over the course of their education, the requirement of mathematical applications in physics-related tasks increases, especially so in upper secondary school and in higher education. Yet there is little empirical work (particularly large-scale or longitudinal on the application of mathematics in physics education compared with the research related to the conceptual knowledge of physics. In order to clarify the nature of mathematics in physics education, we developed a theoretical framework for mathematical competencies pertinent to various physics tasks based on theoretical frameworks from mathematics and physics education. We used this synthesis of frameworks as a basis to create a model for physics competence. The framework also served as a tool for analyzing and categorizing trend items from the international large-scale survey, TIMSS Advanced 1995 and 2008. TIMSS Advanced assessed students in upper secondary school with special preparation in advanced physics and mathematics. We then investigated the changes in achievements on these categorized items across time for nations who participated in both surveys. The results from our analysis indicate that students whose overall physics achievement declined struggled the most with items requiring mathematics, especially items requiring them to handle symbols, such as manipulating equations. This finding suggests the importance of collaboration between mathematics and physics education as well as the importance of traditional algebra for physics education.
TU-F-18C-07: Hardware Advances for MTF Improvement in Dedicated Breast CT
International Nuclear Information System (INIS)
Gazi, P; Burkett, G; Yang, K; Boone, J
2014-01-01
Purpose: In this study, we have designed and implemented a prototype dedicated breast CT system (bCT) to improve the spatial resolution characteristics, in order to improve detection of micro-calcifications. Methods: A 10.8 kW water-cooled, tungsten anode x-ray tube, running up to 240 mA at 60 kV, coupled with an x-ray generator specifically designed for this application, and 0.3 mm of added copper filter was used to generate x-ray pulses. A CsI CMOS flat panel detector with a pixel pitch of 0.075 mm in native binning mode was used. The system geometry was designed in a way to achieve an FOV on par with similar bCT prototypes, resulting in a magnification factor of 1.39. A 0.013 mm tungsten wire was used to generate point spread functions. Multiple scans were performed with different numbers of projections, different reconstruction kernel sizes and different reconstruction filters to study the effects of each parameter on MTF. The resulting MTFs were then evaluated quantitatively using the generated PFSs. Duplicate scans with the same parameters were performed on two other dedicated breast CT systems to compare the performance of the new prototype. Results: The results of the MTF experiments demonstrate a significant improvement in the spatial resolution characteristics. In the new prototype, using the pulsed x-ray source results in a restoration of the azimuthal MTF degradation, due to motion blurring previously seen in other bCT systems. Moreover, employing the higher resolution x-ray detector considerably improves the MTF. The MTF at 10% of the new system is at 3.5 1/mm, a factor of 4.36 greater than an earlier bCT scanner. Conclusion: The MTF analysis of the new prototype bCT shows that using the new hardware and control results in a significant improvement in visualization of finer detail. This suggests that the visualization of micro-calcifications will be significantly improved
Energy Technology Data Exchange (ETDEWEB)
Prabakar, Kumaraguru [National Renewable Energy Laboratory (NREL), Golden, CO (United States); Shirazi, Mariko [National Renewable Energy Laboratory (NREL), Golden, CO (United States); Singh, Akanksha [National Renewable Energy Laboratory (NREL), Golden, CO (United States); Chakraborty, Sudipta [National Renewable Energy Laboratory (NREL), Golden, CO (United States)
2017-11-07
Penetration levels of solar photovoltaic (PV) generation on the electric grid have increased in recent years. In the past, most PV installations have not included grid-support functionalities. But today, standards such as the upcoming revisions to IEEE 1547 recommend grid support and anti-islanding functions-including volt-var, frequency-watt, volt-watt, frequency/voltage ride-through, and other inverter functions. These functions allow for the standardized interconnection of distributed energy resources into the grid. This paper develops and tests low-level inverter current control and high-level grid support functions. The controller was developed to integrate advanced inverter functions in a systematic approach, thus avoiding conflict among the different control objectives. The algorithms were then programmed on an off-the-shelf, embedded controller with a dual-core computer processing unit and field-programmable gate array (FPGA). This programmed controller was tested using a controller-hardware-in-the-loop (CHIL) test bed setup using an FPGA-based real-time simulator. The CHIL was run at a time step of 500 ns to accommodate the 20-kHz switching frequency of the developed controller. The details of the advanced control function and CHIL test bed provided here will aide future researchers when designing, implementing, and testing advanced functions of PV inverters.
Weaver, A. S.; Funk, J. H.; Funk, N. W.; Sheehan, C. C.; Humphreys, B. T.; Perusek, G. P.
2015-01-01
Long-duration space flight poses many hazards to the health of the crew. Among those hazards is the physiological deconditioning of the musculoskeletal and cardiovascular systems due to prolonged exposure to microgravity. To combat this erosion of physical condition space flight may take on the crew, the Human Research Program (HRP) is charged with developing Advanced Exercise Concepts to maintain astronaut health and fitness during long-term missions, while keeping device mass, power, and volume to a minimum. The goal of this effort is to preserve the physical capability of the crew to perform mission critical tasks in transit and during planetary surface operations. The HULK is a pneumatic-based exercise system, which provides both resistive and aerobic modes to protect against human deconditioning in microgravity. Its design targeted the International Space Station (ISS) Advanced Resistive Exercise Device (ARED) high level performance characteristics and provides up to 600 foot pounds resitive loading with the capability to allow for eccentric to concentric (E:C) ratios of higher than 1:1 through a DC motor assist component. The device's rowing mode allows for high cadence aerobic activity. The HULK parabolic flight campaign, conducted through the NASA Flight Opportunities Program at Ellington Field, resulted in the creation of device specific data sets including low fidelity motion capture, accelerometry and both inline and ground reaction forces. These data provide a critical link in understanding how to vibration isolate the device in both ISS and space transit applications. Secondarily, the study of human exercise and associated body kinematics in microgravity allows for more complete understanding of human to machine interface designs to allow for maximum functionality of the device in microgravity.
A Cross-National Comparison of Reported Effort and Mathematics Performance in TIMSS Advanced
Eklöf, Hanna; Pavešic, Barbara Japelj; Grønmo, Liv Sissel
2014-01-01
The purpose of the study was to measure students' reported test-taking effort and the relationship between reported effort and performance on the Trends in International Mathematics and Science Study (TIMSS) Advanced mathematics test. This was done in three countries participating in TIMSS Advanced 2008 (Sweden, Norway, and Slovenia), and the…
Effects of mathematical game and instructional analogy as advance ...
African Journals Online (AJOL)
The study investigated the effects of mathematical game and instructional analogy on students' achievement in junior secondary school mathematics. A total of 246 Junior Secondary Two (JS2) Mathematics students were involved in the study. A 3×2 factorial design was adopted in the research. From the findings, it was ...
Cobbs, Joyce Bernice
2015-01-01
The literature on minority student achievement indicates that Black students are underrepresented in advanced mathematics courses. Advanced mathematics courses offer students the opportunity to engage with challenging curricula, experience rigorous instruction, and interact with quality teachers. The middle school years are particularly significant for mathematics education since the courses students pursue during those years affect later access to rigorous mathematics coursework at the high ...
Advanced Mathematics Communication beyond Modality of Sight
Sedaghatjou, Mina
2018-01-01
This study illustrates how mathematical communication and learning are inherently multimodal and embodied; hence, sight-disabled students are also able to conceptualize visuospatial information and mathematical concepts through tactile and auditory activities. Adapting a perceptuomotor integration approach, the study shows that the lack of access…
Elementary and Advanced Mathematic thinking as human activity in permanent evolution.
Directory of Open Access Journals (Sweden)
Mauricio Penagos
2017-01-01
Full Text Available The objective of this text is to present a reflection and analysis about the processes in the development of fundamental and advanced mathematical thinking as a human activity. Traditionally, mathematics education has had two barriers to overcome: First, advanced mathematical thinking is only shown at a determined age and therefore it must be addressed in university level courses. Second, the teachers of this discipline regularly introduce mathematics to students as a body of complete and irrefutable knowledge shared by a scientific community. The task of the student is to learn it, do demonstrations and reproduce this knowledge in a given period of time. Mathematical entities or objects that in occasions have taken centuries to build. In contrast with the true sense of education of this discipline that must be to empower in the students the development of mathematical thinking.
Lew, Kristen; Fukawa-Connelly, Timothy Patrick; Mejía-Ramos , Juan Pablo; Weber, Keith
2016-01-01
We describe a case study in which we investigate the effectiveness of a lecture in advanced mathematics. We first videorecorded a lecture delivered by an experienced professor who had a reputation for being an outstanding instructor. Using video recall, we then interviewed the professor to determine the ideas that he intended to convey and how he…
Treacy, Páraic Thomas
2018-01-01
Secondary level mathematics education in Ireland has recently experienced a period of significant change with the introduction of new curricula and the addition of an incentive to study upper secondary mathematics at the most advanced level (Higher Level). This incentive, typically referred to as 'bonus points', appears to have aided a significant…
Fiero, Diane M.
2013-01-01
Purpose: The purpose of this study was to determine which basic skills program factors were exhibited by successful basic skills programs that helped students advance to transfer-level mathematics. This study specifically examined California community college basic skills programs that assist students who place in mathematics courses 2 levels…
Gender Differences in the Use and Benefit of Advanced Learning Technologies for Mathematics
Arroyo, Ivon; Burleson, Winslow; Tai, Minghui; Muldner, Kasia; Woolf, Beverly Park
2013-01-01
We provide evidence of persistent gender effects for students using advanced adaptive technology while learning mathematics. This technology improves each gender's learning and affective predispositions toward mathematics, but specific features in the software help either female or male students. Gender differences were seen in the students' style…
Informal Content and Student Note-Taking in Advanced Mathematics Classes
Fukawa-Connelly, Timothy; Weber, Keith; Mejía-Ramos, Juan Pablo
2017-01-01
This study investigates 3 hypotheses about proof-based mathematics instruction: (a) that lectures include informal content (ways of thinking and reasoning about advanced mathematics that are not captured by formal symbolic statements), (b) that informal content is usually presented orally but not written on the board, and (c) that students do not…
Origins of the brain networks for advanced mathematics in expert mathematicians.
Amalric, Marie; Dehaene, Stanislas
2016-05-03
The origins of human abilities for mathematics are debated: Some theories suggest that they are founded upon evolutionarily ancient brain circuits for number and space and others that they are grounded in language competence. To evaluate what brain systems underlie higher mathematics, we scanned professional mathematicians and mathematically naive subjects of equal academic standing as they evaluated the truth of advanced mathematical and nonmathematical statements. In professional mathematicians only, mathematical statements, whether in algebra, analysis, topology or geometry, activated a reproducible set of bilateral frontal, Intraparietal, and ventrolateral temporal regions. Crucially, these activations spared areas related to language and to general-knowledge semantics. Rather, mathematical judgments were related to an amplification of brain activity at sites that are activated by numbers and formulas in nonmathematicians, with a corresponding reduction in nearby face responses. The evidence suggests that high-level mathematical expertise and basic number sense share common roots in a nonlinguistic brain circuit.
Ganikhodjaev, Nasir; Mukhamedov, Farrukh; Hee, Pah Chin
2013-04-01
The 4th International Conference on the Advancement of Science and Technology 2012 (iCAST 2012), with theme 'Contemporary Mathematics, Mathematical Physics and their Applications', took place in Kuantan, Malaysia, from Wednesday 7 to Friday 9 November 2012. The conference was attended by more than 100 participants, and hosted about 160 oral and poster papers by more than 140 pre-registered authors. The key topics of the 4th iCAST 2012 include Pure Mathematics, Applied Mathematics, Theoretical/Mathematical Physics, Dynamical Systems, Statistics and Financial Mathematics. The scientific program was rather full since after the Keynote and Invited Talks in the morning, four parallel sessions ran every day. However, according to all attendees, the program was excellent with a high level of talks and the scientific environment was fruitful; thus all attendees had a creative time. The conference aimed to promote the knowledge and development of high-quality research in mathematical fields concerned with the application of other scientific fields as well as modern technological trends in physics, chemistry, biology, medicine, economics, sociology and environmental sciences. We would like to thank the Keynote and the Invited Speakers for their significant contributions to 4th iCAST 2012. We would also like to thank the members of the International Scientific Committee and the members of the Organizing Committee. We cannot end without expressing our many thanks to International Islamic University Malaysia and our sponsors for their financial support . This volume presents selected papers which have been peer-reviewed. The editors hope that it may be useful and fruitful for scholars, researchers, and advanced technical members of the industrial laboratory facilities for developing new tools and products. Guest Editors Nasir Ganikhodjaev, Farrukh Mukhamedov and Pah Chin Hee The PDF contains the committee lists, board list and biographies of the plenary speakers.
5th Conference on Advanced Mathematical and Computational Tools in Metrology
Cox, M G; Filipe, E; Pavese, F; Richter, D
2001-01-01
Advances in metrology depend on improvements in scientific and technical knowledge and in instrumentation quality, as well as on better use of advanced mathematical tools and development of new ones. In this volume, scientists from both the mathematical and the metrological fields exchange their experiences. Industrial sectors, such as instrumentation and software, will benefit from this exchange, since metrology has a high impact on the overall quality of industrial products, and applied mathematics is becoming more and more important in industrial processes.This book is of interest to people
Mathematical preliminaries to the advanced treatment of Hamiltonian dynamics
International Nuclear Information System (INIS)
Douglas, S.R.
1991-07-01
Hamilton's equations of motion and their solution are discussed from the viewpoints of geometry and algebra. The intention is to explain the mathematical underpinnings of the Lie algebraic methods due to A. Dragt and co-workers for solving problems in charged particle optics. Most of the important formulas in Lie algebraic optics are derived. These methods are being applied to the study of the particle trajectories in the superconducting cyclotron at Chalk River Laboratories
Advanced Analysis of Isobaric Heat Capacities by Mathematical Gnostics
Czech Academy of Sciences Publication Activity Database
Wagner, Zdeněk; Bendová, Magdalena; Rotrekl, Jan; Velíšek, Petr; Storch, Jan; Uchytil, Petr; Setničková, Kateřina; Řezníčková Čermáková, Jiřina
2017-01-01
Roč. 46, 9-10 (2017), s. 1836-1853 ISSN 0095-9782. [International Symposium on Solubility Phenomena and Related Equilibrium Processes. Geneva, 24.07.2016-29.07.2016] R&D Projects: GA MŠk LD14090 Institutional support: RVO:67985858 Keywords : isobaric heat capacity * ionic liquids * mathematical gnostics Subject RIV: CF - Physical ; Theoretical Chemistry OBOR OECD: Physical chemistry Impact factor: 1.342, year: 2016
Workshop on Advanced Modelling in Mathematical Finance : in Honour of Ernst Eberlein
Papapantoleon, Antonis
2016-01-01
This Festschrift resulted from a workshop on “Advanced Modelling in Mathematical Finance” held in honour of Ernst Eberlein’s 70th birthday, from 20 to 22 May 2015 in Kiel, Germany. It includes contributions by several invited speakers at the workshop, including several of Ernst Eberlein’s long-standing collaborators and former students. Advanced mathematical techniques play an ever-increasing role in modern quantitative finance. Written by leading experts from academia and financial practice, this book offers state-of-the-art papers on the application of jump processes in mathematical finance, on term-structure modelling, and on statistical aspects of financial modelling. It is aimed at graduate students and researchers interested in mathematical finance, as well as practitioners wishing to learn about the latest developments.
New trends and advanced methods in interdisciplinary mathematical sciences
2017-01-01
The latest of five multidisciplinary volumes, this book spans the STEAM-H (Science, Technology, Engineering, Agriculture, Mathematics, and Health) disciplines with the intent to generate meaningful interdisciplinary interaction and student interest. Emphasis is placed on important methods and applications within and beyond each field. Topics include geometric triple systems, image segmentation, pattern recognition in medicine, pricing barrier options, p-adic numbers distribution in geophysics data pattern, adelic physics, and evolutionary game theory. Contributions were by invitation only and peer-reviewed. Each chapter is reasonably self-contained and pedagogically presented for a multidisciplinary readership.
International Conference on Recent Advances in Mathematical Biology, Analysis and Applications
Saleem, M; Srivastava, H; Khan, Mumtaz; Merajuddin, M
2016-01-01
The book contains recent developments and contemporary research in mathematical analysis and in its application to problems arising from the biological and physical sciences. The book is of interest to readers who wish to learn of new research in such topics as linear and nonlinear analysis, mathematical biology and ecology, dynamical systems, graph theory, variational analysis and inequalities, functional analysis, differential and difference equations, partial differential equations, approximation theory, and chaos. All papers were prepared by participants at the International Conference on Recent Advances in Mathematical Biology, Analysis and Applications (ICMBAA-2015) held during 4–6 June 2015 in Aligarh, India. A focal theme of the conference was the application of mathematics to the biological sciences and on current research in areas of theoretical mathematical analysis that can be used as sophisticated tools for the study of scientific problems. The conference provided researchers, academicians and ...
Complementing Mathematics Teachers’ Horizon Content Knowledge with an Elementary-on-Advanced Aspect
Directory of Open Access Journals (Sweden)
Yi-An Cho
2018-02-01
Full Text Available Although Ball and her colleagues provided empirical evidence to support the existence of the six sub-domains in mathematical knowledge for teaching (MKT and further explained or defined the majority of these sub-domains, there were few explanations of what horizon content knowledge (HCK embedded in MKT meant and they merely provided ideas about HCK. Many researchers attempted to provide some teaching incidents and exemplification to interpret the construct of HCK. Moreover, they thought teachers’ studies of tertiary mathematics are useful for classroom teaching practice. Their discourse and instantiation of HCK was correspondent with a higher perspective on elementary mathematics mentioned by Felix Klein (1924, but was not entirely coincide with a kind of elementary perspective on advanced knowledge introduced by Ball and Bass (2009. This study lasted 1 years, and data collection included in-depth interviews, classroom observation and video analysis. We provide a shared classroom teaching incidence and illustrations to explain and to describe the construct of HCK. HCK not only is a kind of elementary perspective on advanced mathematical knowledge, but also complements to a higher perspective on elementary mathematics. Furthermore, HCK could be seen as a reciprocal pathway between the elementary and advanced mathematical knowledge.
Assuring benefits from advanced mathematical modeling of fossil power stations
International Nuclear Information System (INIS)
Divakaruni, S.M.; Hottenstine, R.D.
1990-01-01
Although the capability to model power plants and power plant control systems has progressed rapidly during the last two decades, the quality of control found in the best controlled stations of the 1960's and 1970's has not been improved to any great extent as a result of the improved hardware and the systems presently being installed. This paper presents a review of the probable reasons for the limited success in transferring good dynamic modeling technology into useful benefits for the power industry. The authors suggest that a major reason for this lack of success is a lack of understanding of the needs and the present capabilities of the power industry by the modeling community. They establish a state-of-the-art power plant control to assist investigators in directing their efforts toward true needs and to assist them in judging the potential for improvement through their efforts to utilize improved dynamic analysis methods. The United States has already initiated an effort to improve the transfer of technology into beneficial use in the utility industry and it is suggested that the methods they have developed can be used for improvement on an international scale
Advances and Problems in Mathematical Modelling of Dispersion of ...
African Journals Online (AJOL)
Most expressions for dispersion of pollutants have failed to give accurate predictions in both channel and natural stream flows. This paper outlines the basic concepts on which the fundamental dispersion equations have been derived. Some of the advances on these equations are examined and their deficiencies pointed ...
Advanced Placement Mathematics Calculus, Grade 12 Curriculum Guide.
Scharf, John; And Others
This document is a guide to the advanced placement program in calculus for grade 12 in the city schools in Warren, Ohio. The program covers analytic geometry, differential and integral calculus of algebraic functions, elementary transcendental functions, and applications of differentiation and integration. The philosophy and aims of the program…
NATO Advanced Research Workshop on Exploiting Mental Imagery with Computers in Mathematics Education
Mason, John
1995-01-01
The advent of fast and sophisticated computer graphics has brought dynamic and interactive images under the control of professional mathematicians and mathematics teachers. This volume in the NATO Special Programme on Advanced Educational Technology takes a comprehensive and critical look at how the computer can support the use of visual images in mathematical problem solving. The contributions are written by researchers and teachers from a variety of disciplines including computer science, mathematics, mathematics education, psychology, and design. Some focus on the use of external visual images and others on the development of individual mental imagery. The book is the first collected volume in a research area that is developing rapidly, and the authors pose some challenging new questions.
Conceptual and mathematical advances in the search for a unified framework
Müller, Olaf; Nardmann, Marc; Tolksdorf, Jürgen; Zeidler, Eberhard; Quantum field theory and gravity
2012-01-01
One of the most challenging problems of contemporary theoretical physics is the mathematically rigorous construction of a theory which describes gravitation and the other fundamental physical interactions within a common framework. The physical ideas which grew from attempts to develop such a theory require highly advanced mathematical methods and radically new physical concepts. This book presents different approaches to a rigorous unified description of quantum fields and gravity. It contains a carefully selected cross-section of lively discussions which took place in autumn 2010 at the fifth conference "Quantum field theory and gravity - Conceptual and mathematical advances in the search for a unified framework" in Regensburg, Germany. In the tradition of the other proceedings covering this series of conferences, a special feature of this book is the exposition of a wide variety of approaches, with the intention to facilitate a comparison. The book is mainly addressed to mathematicians and physicis...
Lee, Sang Eun
2017-01-01
This dissertation examines gender differences in career advancement outcomes among academic science, technology, engineering and mathematics (STEM) scientists. In particular, this research examines effects of gender, PhD advisors and postdoctoral supervisors mentoring resources and gender homophily in the mentoring dyads on the career advancement…
Cobbs, Joyce Bernice
2014-01-01
The literature on minority student achievement indicates that Black students are underrepresented in advanced mathematics courses. Advanced mathematics courses offer students the opportunity to engage with challenging curricula, experience rigorous instruction, and interact with quality teachers. The middle school years are particularly…
Study on advancement of in vivo counting using mathematical simulation
Energy Technology Data Exchange (ETDEWEB)
Kinase, Sakae [Japan Atomic Energy Research Inst., Tokai, Ibaraki (Japan). Tokai Research Establishment
2003-05-01
To obtain an assessment of the committed effective dose, individual monitoring for the estimation of intakes of radionuclides is required. For individual monitoring of exposure to intakes of radionuclides, direct measurement of radionuclides in the body - in vivo counting- is very useful. To advance in a precision in vivo counting which fulfills the requirements of ICRP 1990 recommendations, some problems, such as the investigation of uncertainties in estimates of body burdens by in vivo counting, and the selection of the way to improve the precision, have been studied. In the present study, a calibration technique for in vivo counting application using Monte Carlo simulation was developed. The advantage of the technique is that counting efficiency can be obtained for various shapes and sizes that are very difficult to change for phantoms. To validate the calibration technique, the response functions and counting efficiencies of a whole-body counter installed in JAERI were evaluated using the simulation and measurements. Consequently, the calculations are in good agreement with the measurements. The method for the determination of counting efficiency curves as a function of energy was developed using the present technique and a physiques correction equation was derived from the relationship between parameters of correction factor and counting efficiencies of the JAERI whole-body counter. The uncertainties in body burdens of {sup 137}Cs estimated with the JAERI whole-body counter were also investigated using the Monte Carlo simulation and measurements. It was found that the uncertainties of body burdens estimated with the whole-body counter are strongly dependent on various sources of uncertainty such as radioactivity distribution within the body and counting statistics. Furthermore, the evaluation method of the peak efficiencies of a Ge semi-conductor detector was developed by Monte Carlo simulation for optimum arrangement of Ge semi-conductor detectors for
Krieg, Christian
2013-01-01
In our digital world, integrated circuits are present in nearly every moment of our daily life. Even when using the coffee machine in the morning, or driving our car to work, we interact with integrated circuits. The increasing spread of information technology in virtually all areas of life in the industrialized world offers a broad range of attack vectors. So far, mainly software-based attacks have been considered and investigated, while hardware-based attacks have attracted comparatively little interest. The design and production process of integrated circuits is mostly decentralized due to
International Nuclear Information System (INIS)
Korsah, K.; Antonescu, C.
1993-01-01
The instrumentation and control (I ampersand C) systems in advanced reactors will make extensive use of digital controls, microprocessors, multiplexing, and Tiber-optic transmission. Elements of these advances in I ampersand C have been implemented on some current operating plants. However, the widespread use of the above technologies, as well as the use of artificial intelligence with minimum reliance on human operator control of reactors, highlights the need to develop standards for qualifying I ampersand C used in the next generation of nuclear power plants. As a first step in this direction, the protection system I ampersand C for present-day plants was compared to that proposed for advanced light water reactors (ALWRs). An evaluation template was developed by assembling a configuration of a safety channel instrument string for a generic ALWR, then comparing the impact of environmental stressors on that string to their effect on an equivalent instrument string from an existing light water reactor. The template was then used to address reliability issues for microprocessor-based protection systems. Standards (or lack thereof) for the qualification of microprocessor-based safety I ampersand C systems were also identified. This approach addresses in part issues raised in Nuclear Regulatory Commission policy document SECY-91-292. which recognizes that advanced I ampersand C systems for the nuclear industry are ''being developed without consensus standards, as the technology available for design is ahead of the technology that is well understood through experience and supported by application standards.''
International Nuclear Information System (INIS)
Korsah, K.; Antonescu, C.
1993-01-01
The instrumentation and control (I ampersand C) systems in advanced reactors will make extensive use of digital controls, microprocessors, multiplexing, and fiber-optic transmission. Elements of these advances in I ampersand C have been implemented on some current operating plants. However, the widespread use of the above technologies, as well as the use of artificial intelligence with minimum reliance on human operator control of reactors, highlights the need to develop standards for qualifying I ampersand C used in the next generation of nuclear power plants. As a first step in this direction, the protection system I ampersand C for present-day plants was compared to that proposed for advanced light water reactors (ALWRs). An evaluation template was developed by assembling a configuration of a safety channel instrument string for a generic ALWR, then comparing the impact of environmental stressors on that string to their effect on an equivalent instrument string from an existing light water reactor. The template was then used to address reliability issues for microprocessor-based protection systems. Standards (or lack thereof) for the qualification of microprocessor-based safety I ampersand C systems were also identified. This approach addresses in part issues raised in Nuclear Regulatory Commission policy document SECY-91-292, which recognizes that advanced I ampersand C systems for the nuclear industry are open-quotes being developed without consensus standards, as the technology available for design is ahead of the technology that is well understood through experience and supported by application standards.close quotes
Eringen, A Cemal
2013-01-01
Continuum Physics: Volume 1 - Mathematics is a collection of papers that discusses certain selected mathematical methods used in the study of continuum physics. Papers in this collection deal with developments in mathematics in continuum physics and its applications such as, group theory functional analysis, theory of invariants, and stochastic processes. Part I explains tensor analysis, including the geometry of subspaces and the geometry of Finsler. Part II discusses group theory, which also covers lattices, morphisms, and crystallographic groups. Part III reviews the theory of invariants th
Multi-band effective mass approximations advanced mathematical models and numerical techniques
Koprucki, Thomas
2014-01-01
This book addresses several mathematical models from the most relevant class of kp-Schrödinger systems. Both mathematical models and state-of-the-art numerical methods for adequately solving the arising systems of differential equations are presented. The operational principle of modern semiconductor nano structures, such as quantum wells, quantum wires or quantum dots, relies on quantum mechanical effects. The goal of numerical simulations using quantum mechanical models in the development of semiconductor nano structures is threefold: First they are needed for a deeper understanding of experimental data and of the operational principle. Secondly, they allow us to predict and optimize in advance the qualitative and quantitative properties of new devices in order to minimize the number of prototypes needed. Semiconductor nano structures are embedded as an active region in semiconductor devices. Thirdly and finally, the results of quantum mechanical simulations of semiconductor nano structures can be used wit...
Stein, Sherman K
2010-01-01
Anyone can appreciate the beauty, depth, and vitality of mathematics with the help of this highly readable text, specially developed from a college course designed to appeal to students in a variety of fields. Readers with little mathematical background are exposed to a broad range of subjects chosen from number theory, topology, set theory, geometry, algebra, and analysis. Starting with a survey of questions on weight, the text discusses the primes, the fundamental theorem of arithmetic, rationals and irrationals, tiling, tiling and electricity, probability, infinite sets, and many other topi
International Nuclear Information System (INIS)
Demazure, M.
1988-01-01
The 1988 progress report of the Mathematics center (Polytechnic School, France), is presented. The Center is composed of different research teams: analysis, Riemann geometry, group theory, formal calculus and algorithm geometry, dynamical systems, topology and singularity. For each team, the members, the research topics, the national and international cooperations, are given. The papers concerning the investigations carried out in 1988, are listed [fr
Moscardini, Alfredo
1994-01-01
As the role of the modern engineer is markedly different from that of even a decade ago, the theme of engineering mathematics educa tion (EME) is an important one. The need for mathematical model ling (MM) courses and consideration of the educational impact of computer-based technology environments merit special attention. This book contains the proceeding of the NATO Advanced Research Workshop held on this theme in July 1993. We have left the industrial age behind and have entered the in formation age. Computers and other emerging technologies are penetrating society in depth and gaining a strong influence in de termining how in future society will be organised, while the rapid change of information requires a more qualified work force. This work force is vital to high technology and economic competitive ness in many industrialised countries throughout the world. Within this framework, the quality of EME has become an issue. It is expected that the content of mathematics courses taught in schools o...
Luther, Kenneth H.
2012-01-01
Mathematical modeling of groundwater flow is a topic at the intersection of mathematics and geohydrology and is rarely encountered in undergraduate mathematics. However, this subject is full of interesting and meaningful examples of truly "applied" mathematics accessible to undergraduates, from the pre-calculus to advanced mathematics levels. This…
International Nuclear Information System (INIS)
Whitaker, A
2004-01-01
second book under consideration, that of Schwabl, contains 'Advanced' elements of quantum theory; it is designed for a course following on from one for which Gottfried and Yan, or Schwabl's own 'Quantum Mechanics' might be recommended. Many useful student problems are included. The presentation is said to be rigorous, but again this is a book for the physicist rather than the mathematician. The third book under consideration, that by Gustafson and Sigal is very different from the others. In academic level, at least the initial sections may actually be slightly lower; the book covers a one-term course taken by senior undergraduates or junior graduate students in mathematics or physics, and the initial chapters are on basic topics, such as the physical background, basic dynamics, observables and the uncertainty principle. However the level of mathematical sophistication is far higher than in the other books. While the mathematical prerequisites are modest, a third of the book is made up of what are called mathematical supplements. On the basis of these supplements, the level of mathematical sophistication and difficulty is increased substantially in the middle section of the book, where the topics considered are many-particle systems, density matrices, positive temperatures, the Feynman path integral, and quasi-classical analysis, and there is a final substantial step for the concluding chapters on resonances, an introduction to quantum field theory, and quantum electrodynamics of non-relativistic particles. A supplementary chapter contains an interesting approach to the renormalization group due to Bach, Froehlich and Sigal himself. This book is well-written, and the topics discussed have been well thought-out. It would provide a useful approach to quantum theory for the mathematician, and would also provide access for the physicist to some mathematically advanced methods and topics, but the physicist would definitely have to be prepared to work hard at the mathematics
An Improved Mathematical Scheme for LTE-Advanced Coexistence with FM Broadcasting Service.
Shamsan, Zaid Ahmed; Al-Hetar, Abdulaziz M
2016-01-01
Power spectral density (PSD) overlapping analysis is considered the surest approach to evaluate feasibility of compatibility between wireless communication systems. In this paper, a new closed-form for the Interference Signal Power Attenuation (ISPA) is mathematically derived to evaluate interference caused from Orthogonal Frequency Division Multiplexing (OFDM)-based Long Term Evolution (LTE)-Advanced into Frequency Modulation (FM) broadcasting service. In this scheme, ISPA loss due to PSD overlapping of both OFDM-based LTE-Advanced and FM broadcasting service is computed. The proposed model can estimate power attenuation loss more precisely than the Advanced Minimum Coupling Loss (A-MCL) and approximate-ISPA methods. Numerical results demonstrate that the interference power is less than that obtained using the A-MCL and approximate ISPA methods by 2.8 and 1.5 dB at the co-channel and by 5.2 and 2.2 dB at the adjacent channel with null guard band, respectively. The outperformance of this scheme over the other methods leads to more diminishing in the required physical distance between the two systems which ultimately supports efficient use of the radio frequency spectrum.
Lee, Sang Eun
This dissertation examines gender differences in career advancement outcomes among academic science, technology, engineering and mathematics (STEM) scientists. In particular, this research examines effects of gender, PhD advisors and postdoctoral supervisors mentoring resources and gender homophily in the mentoring dyads on the career advancement outcomes at early career stages. Female academic scientists have disadvantages in the career progress in the academic STEM. They tend to fall behind throughout their career paths and to leave the field compared to their male colleagues. Researchers have found that gender differences in the career advancement are shaped by gender-biased evaluations derived from gender stereotypes. Other studies demonstrate the positive impacts of mentoring and gender homophily in the mentoring dyads. To add greater insights to the current findings of female academic scientists' career disadvantages, this dissertation investigates comprehensive effects of gender, mentoring, and gender homophily in the mentoring dyads on female scientists' career advancement outcomes in academic science. Based on the Status Characteristics Theory, the concept of mentoring, Social Capital Theory, and Ingroup Bias Theory, causal path models are developed to test direct and indirect effects of gender, mentoring resources, and gender homophily on STEM faculty's career advancement. The research models were tested using structural equation modeling (SEM) with data collected from a national survey, funded by the National Science Foundation, completed in 2011 by tenured and tenure-track academic STEM faculty from higher education institutions in the United States. Findings suggest that there is no gender difference in career advancement controlling for mentoring resources and gender homophily in the mentoring dyads and other factors including research productivity and domestic caregiving responsibilities. Findings also show that the positive relationship between
DEFF Research Database (Denmark)
Carugati, Andrea
through negotiation and democratic decision making will it be possible for the team members to have their current weltanschauung represented in decision making. Thirdly, geographical distribution and loose coupling foster individualist rather than group behavior. The more the social tissue is disconnected...... to the customers of the system. The use of democratic decision making that brings together the team members on regular basis contributes to both the reconstruction of the social tissue and to the satisfaction of the development team as customer of the project. Fourth, the novelty of the technology created problems......This dissertation presents the results of a three-year long case study of an information systems development project where a scheduling and control system was developed for a manufacturing company. The project goal was to test the feasibility of a new technology called advanced mathematical...
International Nuclear Information System (INIS)
Mayyas, Abdel Ra'ouf; Kumar, Sushil; Pisu, Pierluigi; Rios, Jacqueline; Jethani, Puneet
2017-01-01
Highlights: •Vehicle hardware In-the-loop VHiL testing and validation is implemented in vehicle test bed. •Torque at the roller bench test is used to control the torque at wheels to reflect vehicle electrification symptoms. •Electrified powertrain with Equivalent Consumption Minimization Strategy is tested and validated using VHiL. •Fuel economy and power train performance is measured using high precision fuel measurement device. -- Abstract: Hybridization of automotive powertrains by using more than one type of energy converter is considered as an important step towards reducing fuel consumption and air pollutants. Specifically, the development of energy efficient, highly complex, alternative drive-train systems, in which the interactions of different energy converters play an important role, requires new design methods and processes. This paper discusses the inclusion of an alternative hybrid power train into an existing vehicle platform for maximum energy efficiency. The new proposed integrated Vehicle Hardware In-the-loop (VHiL) and Model Based Design (MBD) approach is utilized to evaluate the energy efficiency of electrified powertrain. In VHiL, a complete chassis system becomes an integrated part of the vehicle test bed. A complete conventional Internal Combustion Engine (ICE) powered vehicle is tested in roller bench test for the integration of energy efficient hybrid electric power train modules in closed-loop, real-time, feedback configuration. A model that is a replica of the test vehicle is executed – in real-time- where all hybrid power train modules are included. While the VHiL platform is controlling the signal exchange between the test bed automation software and the vehicle on-board controller, the road load exerted on the driving wheels is manipulated in closed –loop real-time manner in order to reflect all hybrid driving modes including: All Electric Range (AER), Electric Power Assist (EPA) and blended Modes (BM). Upon successful
Scarborough, Jule Dee
2004-01-01
This document (book) reports on the Strategic Alliance to Advance Technological Education through Enhanced Mathematics, Science, Technology, and English Education at the Secondary Level, funded by National Science Foundation. It was a collaborative partnership involving the Rockford Public Schools, Rock Valley College, and Northern Illinois…
Roschelle, Jeremy; Shechtman, Nicole; Tatar, Deborah; Hegedus, Stephen; Hopkins, Bill; Empson, Susan; Knudsen, Jennifer; Gallagher, Lawrence P.
2010-01-01
The authors present three studies (two randomized controlled experiments and one embedded quasi-experiment) designed to evaluate the impact of replacement units targeting student learning of advanced middle school mathematics. The studies evaluated the SimCalc approach, which integrates an interactive representational technology, paper curriculum,…
Analyzing the Teaching of Advanced Mathematics Courses via the Enacted Example Space
Fukawa-Connelly, Timothy Patrick; Newton, Charlene
2014-01-01
Examples are believed to be very important in developing conceptual understanding of mathematical ideas, useful both in mathematics research and instruction (Bills & Watson in "Educational Studies in Mathematics" 69:77-79, 2008; Mason & Watson, 2008; Bills & Tall, 1998; Tall & Vinner, 1981). In this study, we draw on the…
Singer, Florence Mihaela; Sheffield, Linda Jensen; Leikin, Roza
2017-01-01
Creativity and giftedness in mathematics education research are topics of an increased interest in the education community during recent years. This introductory paper to the special issue on Mathematical Creativity and Giftedness in Mathematics Education has a twofold purpose: to offer a brief historical perspective on the study of creativity and…
Introduction to Hardware Security
Directory of Open Access Journals (Sweden)
Yier Jin
2015-10-01
Full Text Available Hardware security has become a hot topic recently with more and more researchers from related research domains joining this area. However, the understanding of hardware security is often mixed with cybersecurity and cryptography, especially cryptographic hardware. For the same reason, the research scope of hardware security has never been clearly defined. To help researchers who have recently joined in this area better understand the challenges and tasks within the hardware security domain and to help both academia and industry investigate countermeasures and solutions to solve hardware security problems, we will introduce the key concepts of hardware security as well as its relations to related research topics in this survey paper. Emerging hardware security topics will also be clearly depicted through which the future trend will be elaborated, making this survey paper a good reference for the continuing research efforts in this area.
Constructing Hardware in a Scale Embedded Language
Energy Technology Data Exchange (ETDEWEB)
2014-08-21
Chisel is a new open-source hardware construction language developed at UC Berkeley that supports advanced hardware design using highly parameterized generators and layered domain-specific hardware languages. Chisel is embedded in the Scala programming language, which raises the level of hardware design abstraction by providing concepts including object orientation, functional programming, parameterized types, and type inference. From the same source, Chisel can generate a high-speed C++-based cycle-accurate software simulator, or low-level Verilog designed to pass on to standard ASIC or FPGA tools for synthesis and place and route.
International Nuclear Information System (INIS)
Monteleone, S.
1994-04-01
This three-volume report contains 90 papers out of the 102 that were presented at the Twenty-First Water Reactor Safety Information Meeting held at the Bethesda Marriott Hotel, Bethesda, Maryland, during the week of October 25--27, 1993. The papers are printed in the order of their presentation in each session and describe progress and results of programs in nuclear safety research conducted in this country and abroad. Foreign participation in the meeting included papers presented by researchers from France, Germany, Japan, Russia, Switzerland, Taiwan, and United Kingdom. The titles of the papers and the names of the authors have been updated and may differ from those that appeared in the final program of the meeting. Individual papers have been cataloged separately. This document, Volume 1 covers the following topics: Advanced Reactor Research; Advanced Instrumentation and Control Hardware; Advanced Control System Technology; Human Factors Research; Probabilistic Risk Assessment Topics; Thermal Hydraulics; and Thermal Hydraulic Research for Advanced Passive Light Water Reactors
Energy Technology Data Exchange (ETDEWEB)
Monteleone, S. [Brookhaven National Lab., Upton, NY (United States)] [comp.
1994-04-01
This three-volume report contains 90 papers out of the 102 that were presented at the Twenty-First Water Reactor Safety Information Meeting held at the Bethesda Marriott Hotel, Bethesda, Maryland, during the week of October 25--27, 1993. The papers are printed in the order of their presentation in each session and describe progress and results of programs in nuclear safety research conducted in this country and abroad. Foreign participation in the meeting included papers presented by researchers from France, Germany, Japan, Russia, Switzerland, Taiwan, and United Kingdom. The titles of the papers and the names of the authors have been updated and may differ from those that appeared in the final program of the meeting. Individual papers have been cataloged separately. This document, Volume 1 covers the following topics: Advanced Reactor Research; Advanced Instrumentation and Control Hardware; Advanced Control System Technology; Human Factors Research; Probabilistic Risk Assessment Topics; Thermal Hydraulics; and Thermal Hydraulic Research for Advanced Passive Light Water Reactors.
Energy Technology Data Exchange (ETDEWEB)
Monteleone, S. [comp.] [Brookhaven National Lab., Upton, NY (United States)
1996-03-01
This three-volume report contains papers presented at the Twenty- Third Water Reactor Safety Information Meeting held at the Bethesda Marriott Hotel, Bethesda, Maryland, October 23-25, 1995. The papers are printed in the order of their presentation in each session and describe progress and results of programs in nuclear safety research conducted in this country and abroad. Foreign participation in the meeting included papers presented by researchers from France, Italy, Japan, Norway, Russia, Sweden, and Switzerland. This document, Volume 2, present topics in human factors research, advanced instrumentation and control hardware and software, severe accident research, probabilistic risk assessment, and individual plant examination. Individual papers have been cataloged separately.
Directory of Open Access Journals (Sweden)
Edy Ferreira
2008-04-01
Full Text Available In the September issue of the Open Source Business Resource, Patrick McNamara, president of the Open Hardware Foundation, gave a comprehensive introduction to the concept of open hardware, including some insights about the potential benefits for both companies and users. In this article, we present the topic from a different perspective, providing a classification of market offers from companies that are making money with open hardware.
Edy Ferreira
2008-01-01
In the September issue of the Open Source Business Resource, Patrick McNamara, president of the Open Hardware Foundation, gave a comprehensive introduction to the concept of open hardware, including some insights about the potential benefits for both companies and users. In this article, we present the topic from a different perspective, providing a classification of market offers from companies that are making money with open hardware.
Hillman, Thomas
2014-01-01
This article examines mathematical activity with digital technology by tracing it from its development through its use in classrooms. Drawing on material-semiotic approaches from the field of Science and Technology Studies, it examines the visions of mathematical activity that developers had for an advanced graphing calculator. It then follows the…
Energy Technology Data Exchange (ETDEWEB)
Lundstrom, B.; Shirazi, M.; Coddington, M.; Kroposki, B.
2013-01-01
This paper, presented at the IEEE Green Technologies Conference 2013, describes a Grid Interconnection System Evaluator (GISE) that leverages hardware-in-the-loop (HIL) simulation techniques to rapidly evaluate the grid interconnection standard conformance of an ICS according to the procedures in IEEE Std 1547.1 (TM). The architecture and test sequencing of this evaluation tool, along with a set of representative ICS test results from three different photovoltaic (PV) inverters, are presented. The GISE adds to the National Renewable Energy Laboratory's (NREL) evaluation platform that now allows for rapid development of ICS control algorithms using controller HIL (CHIL) techniques, the ability to test the dc input characteristics of PV-based ICSs through the use of a PV simulator capable of simulating real-world dynamics using power HIL (PHIL), and evaluation of ICS grid interconnection conformance.
Energy Technology Data Exchange (ETDEWEB)
Lundstrom, B.; Shirazi, M.; Coddington, M.; Kroposki, B.
2013-01-01
This paper describes a Grid Interconnection System Evaluator (GISE) that leverages hardware-in-the-loop (HIL) simulation techniques to rapidly evaluate the grid interconnection standard conformance of an ICS according to the procedures in IEEE Std 1547.1. The architecture and test sequencing of this evaluation tool, along with a set of representative ICS test results from three different photovoltaic (PV) inverters, are presented. The GISE adds to the National Renewable Energy Laboratory's (NREL) evaluation platform that now allows for rapid development of ICS control algorithms using controller HIL (CHIL) techniques, the ability to test the dc input characteristics of PV-based ICSs through the use of a PV simulator capable of simulating real-world dynamics using power HIL (PHIL), and evaluation of ICS grid interconnection conformance.
Recent Advances of Malaria Parasites Detection Systems Based on Mathematical Morphology
Directory of Open Access Journals (Sweden)
Andrea Loddo
2018-02-01
Full Text Available Malaria is an epidemic health disease and a rapid, accurate diagnosis is necessary for proper intervention. Generally, pathologists visually examine blood stained slides for malaria diagnosis. Nevertheless, this kind of visual inspection is subjective, error-prone and time-consuming. In order to overcome the issues, numerous methods of automatic malaria diagnosis have been proposed so far. In particular, many researchers have used mathematical morphology as a powerful tool for computer aided malaria detection and classification. Mathematical morphology is not only a theory for the analysis of spatial structures, but also a very powerful technique widely used for image processing purposes and employed successfully in biomedical image analysis, especially in preprocessing and segmentation tasks. Microscopic image analysis and particularly malaria detection and classification can greatly benefit from the use of morphological operators. The aim of this paper is to present a review of recent mathematical morphology based methods for malaria parasite detection and identification in stained blood smears images.
Recent Advances of Malaria Parasites Detection Systems Based on Mathematical Morphology.
Loddo, Andrea; Di Ruberto, Cecilia; Kocher, Michel
2018-02-08
Malaria is an epidemic health disease and a rapid, accurate diagnosis is necessary for proper intervention. Generally, pathologists visually examine blood stained slides for malaria diagnosis. Nevertheless, this kind of visual inspection is subjective, error-prone and time-consuming. In order to overcome the issues, numerous methods of automatic malaria diagnosis have been proposed so far. In particular, many researchers have used mathematical morphology as a powerful tool for computer aided malaria detection and classification. Mathematical morphology is not only a theory for the analysis of spatial structures, but also a very powerful technique widely used for image processing purposes and employed successfully in biomedical image analysis, especially in preprocessing and segmentation tasks. Microscopic image analysis and particularly malaria detection and classification can greatly benefit from the use of morphological operators. The aim of this paper is to present a review of recent mathematical morphology based methods for malaria parasite detection and identification in stained blood smears images.
CERN Knowledge Transfer Group
2015-01-01
CERN is actively making its knowledge and technology available for the benefit of society and does so through a variety of different mechanisms. Open hardware has in recent years established itself as a very effective way for CERN to make electronics designs and in particular printed circuit board layouts, accessible to anyone, while also facilitating collaboration and design re-use. It is creating an impact on many levels, from companies producing and selling products based on hardware designed at CERN, to new projects being released under the CERN Open Hardware Licence. Today the open hardware community includes large research institutes, universities, individual enthusiasts and companies. Many of the companies are actively involved in the entire process from design to production, delivering services and consultancy and even making their own products available under open licences.
Hardware description languages
Tucker, Jerry H.
1994-01-01
Hardware description languages are special purpose programming languages. They are primarily used to specify the behavior of digital systems and are rapidly replacing traditional digital system design techniques. This is because they allow the designer to concentrate on how the system should operate rather than on implementation details. Hardware description languages allow a digital system to be described with a wide range of abstraction, and they support top down design techniques. A key feature of any hardware description language environment is its ability to simulate the modeled system. The two most important hardware description languages are Verilog and VHDL. Verilog has been the dominant language for the design of application specific integrated circuits (ASIC's). However, VHDL is rapidly gaining in popularity.
Hardware protection through obfuscation
Bhunia, Swarup; Tehranipoor, Mark
2017-01-01
This book introduces readers to various threats faced during design and fabrication by today’s integrated circuits (ICs) and systems. The authors discuss key issues, including illegal manufacturing of ICs or “IC Overproduction,” insertion of malicious circuits, referred as “Hardware Trojans”, which cause in-field chip/system malfunction, and reverse engineering and piracy of hardware intellectual property (IP). The authors provide a timely discussion of these threats, along with techniques for IC protection based on hardware obfuscation, which makes reverse-engineering an IC design infeasible for adversaries and untrusted parties with any reasonable amount of resources. This exhaustive study includes a review of the hardware obfuscation methods developed at each level of abstraction (RTL, gate, and layout) for conventional IC manufacturing, new forms of obfuscation for emerging integration strategies (split manufacturing, 2.5D ICs, and 3D ICs), and on-chip infrastructure needed for secure exchange o...
Montiel, Mariana; Bhatti, Uzma
2010-01-01
This article presents an overview of some issues that were confronted when delivering an online second Linear Algebra course (assuming a previous Introductory Linear Algebra course) to graduate students enrolled in a Secondary Mathematics Education program. The focus is on performance in one particular aspect of the course: "change of basis" and…
Cooperative Learning in the Advanced Algebra and Trigonometry Mathematics High School Classroom
Jozsa, Alison
2017-01-01
Over the past three decades, researchers have found cooperative learning to have positive effects on student achievement in various subject areas and levels in education. However, there are limited studies on the impact of cooperative learning on student achievement in the area of high school mathematics. This study examined the impact of…
Investigating Participation in Advanced Level Mathematics: A Study of Student Drop-Out
Noyes, Andrew; Sealey, Paula
2012-01-01
There has, for some years, been a growing concern about participation in university-entrance level mathematics in England and across the developed world. Extensive statistical analyses present the decline but offer little to help us understand the causes. In this paper we explore a concern which cannot be explored through national data-sets,…
Leddy, Mark H.
2010-01-01
Americans with disabilities are underemployed in science, technology, engineering and mathematics (STEM) at higher rates than their nondisabled peers. This article provides an overview of the National science Foundation's Research in Disabilities Education (RDE) program, of technology use by students with disabilities (SWD) in STEM, and of…
DEFF Research Database (Denmark)
Martens, Sebastian; Mijatovic, Nenad; Holbøll, Joachim
2015-01-01
in many areas of electrical machine analysis. However, for fault investigations, the phase-coordinate representation has been found more suitable. This paper presents a mathematical model in phase coordinates of the DFIG with two parallel windings per rotor phase. The model has been implemented in Matlab...
Advancing Inclusive Mathematics Education: Strategies and Resources for Effective IEP Practices
Tan, Paulo
2017-01-01
Personal experiences promoting inclusive mathematics education for my own child have mostly been met with staunch resistance on the part of educators, and a resulting breakdown in collaborative efforts during individualized education program (IEP) meetings. However, I found that utilizing certain strategies and introducing innovative mathematics…
Clickers and Classroom Voting in a Transition to Advanced Mathematics Course
Lockard, Shannon R.; Metcalf, Rebecca C.
2015-01-01
Clickers and classroom voting are used across a number of disciplines in a variety of institutions. There are several papers that describe the use of clickers in mathematics classrooms such as precalculus, calculus, statistics, and even differential equations. This paper describes a method of incorporating clickers and classroom voting in a…
Loveless, R.; Erhard, P.; Ficenec, J.; Gather, K.; Heath, G.; Iacovacci, M.; Kehres, J.; Mobayyen, M.; Notz, D.; Orr, R.; Orr, R.; Sephton, A.; Stroili, R.; Tokushuku, K.; Vogel, W.; Whitmore, J.; Wiggers, L.
1989-12-01
The ZEUS collaboration is building a system to monitor, control and document the hardware of the ZEUS detector. This system is based on a network of VAX computers and microprocessors connected via ethernet. The database for the hardware values will be ADAMO tables; the ethernet connection will be DECNET, TCP/IP, or RPC. Most of the documentation will also be kept in ADAMO tables for easy access by users.
International Nuclear Information System (INIS)
Loveless, R.; Erhard, P.; Ficenec, J.; Gather, K.; Heath, G.; Iacovacci, M.; Kehres, J.; Mobayyen, M.; Notz, D.; Orr, R.; Sephton, A.; Stroili, R.; Tokushuku, K.; Vogel, W.; Whitmore, J.; Wiggers, L.
1989-01-01
The ZEUS collaboration is building a system to monitor, control and document the hardware of the ZEUS detector. This system is based on a network of VAX computers and microprocessors connected via ethernet. The database for the hardware values will be ADAMO tables; the ethernet connection will be DECNET, TCP/IP, or RPC. Most of the documentation will also be kept in ADAMO tables for easy access by users. (orig.)
McCormack, Sherry L.; Zieman, Stuart
2017-01-01
Hopkinsville Community College's Technological Education for the Rural Community (TERC) project is funded through the National Science Foundation Advanced Technological Education (NSF ATE) division. It is advancing innovative educational pathways for technological education promoted at the community college level serving rural communities to fill…
Current advances in mathematical modeling of anti-cancer drug penetration into tumor tissues.
Kim, Munju; Gillies, Robert J; Rejniak, Katarzyna A
2013-11-18
Delivery of anti-cancer drugs to tumor tissues, including their interstitial transport and cellular uptake, is a complex process involving various biochemical, mechanical, and biophysical factors. Mathematical modeling provides a means through which to understand this complexity better, as well as to examine interactions between contributing components in a systematic way via computational simulations and quantitative analyses. In this review, we present the current state of mathematical modeling approaches that address phenomena related to drug delivery. We describe how various types of models were used to predict spatio-temporal distributions of drugs within the tumor tissue, to simulate different ways to overcome barriers to drug transport, or to optimize treatment schedules. Finally, we discuss how integration of mathematical modeling with experimental or clinical data can provide better tools to understand the drug delivery process, in particular to examine the specific tissue- or compound-related factors that limit drug penetration through tumors. Such tools will be important in designing new chemotherapy targets and optimal treatment strategies, as well as in developing non-invasive diagnosis to monitor treatment response and detect tumor recurrence.
Schaid, Daniel J
2010-01-01
Measures of genomic similarity are the basis of many statistical analytic methods. We review the mathematical and statistical basis of similarity methods, particularly based on kernel methods. A kernel function converts information for a pair of subjects to a quantitative value representing either similarity (larger values meaning more similar) or distance (smaller values meaning more similar), with the requirement that it must create a positive semidefinite matrix when applied to all pairs of subjects. This review emphasizes the wide range of statistical methods and software that can be used when similarity is based on kernel methods, such as nonparametric regression, linear mixed models and generalized linear mixed models, hierarchical models, score statistics, and support vector machines. The mathematical rigor for these methods is summarized, as is the mathematical framework for making kernels. This review provides a framework to move from intuitive and heuristic approaches to define genomic similarities to more rigorous methods that can take advantage of powerful statistical modeling and existing software. A companion paper reviews novel approaches to creating kernels that might be useful for genomic analyses, providing insights with examples [1]. Copyright © 2010 S. Karger AG, Basel.
DEFF Research Database (Denmark)
Schoeberl, Martin; Thalinger, Christian; Korsholm, Stephan
2008-01-01
Java, as a safe and platform independent language, avoids access to low-level I/O devices or direct memory access. In standard Java, low-level I/O it not a concern; it is handled by the operating system. However, in the embedded domain resources are scarce and a Java virtual machine (JVM) without...... an underlying middleware is an attractive architecture. When running the JVM on bare metal, we need access to I/O devices from Java; therefore we investigate a safe and efficient mechanism to represent I/O devices as first class Java objects, where device registers are represented by object fields. Access...... to those registers is safe as Java’s type system regulates it. The access is also fast as it is directly performed by the bytecodes getfield and putfield. Hardware objects thus provide an object-oriented abstraction of low-level hardware devices. As a proof of concept, we have implemented hardware objects...
Rosini, Massimiliano Daniele
2013-01-01
This monograph presents a systematic treatment of the theory for hyperbolic conservation laws and their applications to vehicular traffics and crowd dynamics. In the first part of the book, the author presents very basic considerations and gradually introduces the mathematical tools necessary to describe and understand the mathematical models developed in the following parts focusing on vehicular and pedestrian traffic. The book is a self-contained valuable resource for advanced courses in mathematical modeling, physics and civil engineering. A number of examples and figures facilitate a better understanding of the underlying concepts and motivations for the students. Important new techniques are presented, in particular the wave front tracking algorithm, the operator splitting approach, the non-classical theory of conservation laws and the constrained problems. This book is the first to present a comprehensive account of these fundamental new mathematical advances.
Computer hardware fault administration
Archer, Charles J.; Megerian, Mark G.; Ratterman, Joseph D.; Smith, Brian E.
2010-09-14
Computer hardware fault administration carried out in a parallel computer, where the parallel computer includes a plurality of compute nodes. The compute nodes are coupled for data communications by at least two independent data communications networks, where each data communications network includes data communications links connected to the compute nodes. Typical embodiments carry out hardware fault administration by identifying a location of a defective link in the first data communications network of the parallel computer and routing communications data around the defective link through the second data communications network of the parallel computer.
Pattanayak, Santanu
2017-01-01
Deploy deep learning solutions in production with ease using TensorFlow. You'll also develop the mathematical understanding and intuition required to invent new deep learning architectures and solutions on your own. Pro Deep Learning with TensorFlow provides practical, hands-on expertise so you can learn deep learning from scratch and deploy meaningful deep learning solutions. This book will allow you to get up to speed quickly using TensorFlow and to optimize different deep learning architectures. All of the practical aspects of deep learning that are relevant in any industry are emphasized in this book. You will be able to use the prototypes demonstrated to build new deep learning applications. The code presented in the book is available in the form of iPython notebooks and scripts which allow you to try out examples and extend them in interesting ways. You will be equipped with the mathematical foundation and scientific knowledge to pursue research in this field and give back to the community.
Puccio, B
1998-01-01
The document describes the hardware features of the CERN Master Timing Generator. This board is the common platform for the transmission of General Timing Machine required by the CERN accelerators. In addition, the paper shows the various jumper options to customise the card which is compliant to the VMEbus standard.
International Nuclear Information System (INIS)
Kunz, P.F.
1976-01-01
The problems of data analysis with hardware processors are reviewed and a description is given of a programmable processor. This processor, the 168/E, has been designed for use in the LASS multi-processor system; it has an execution speed comparable to the IBM 370/168 and uses the subset of IBM 370 instructions appropriate to the LASS analysis task. (Auth.)
CERN Neutrino Platform Hardware
Nelson, Kevin
2017-01-01
My summer research was broadly in CERN's neutrino platform hardware efforts. This project had two main components: detector assembly and data analysis work for ICARUS. Specifically, I worked on assembly for the ProtoDUNE project and monitored the safety of ICARUS as it was transported to Fermilab by analyzing the accelerometer data from its move.
RRFC hardware operation manual
International Nuclear Information System (INIS)
Abhold, M.E.; Hsue, S.T.; Menlove, H.O.; Walton, G.
1996-05-01
The Research Reactor Fuel Counter (RRFC) system was developed to assay the 235 U content in spent Material Test Reactor (MTR) type fuel elements underwater in a spent fuel pool. RRFC assays the 235 U content using active neutron coincidence counting and also incorporates an ion chamber for gross gamma-ray measurements. This manual describes RRFC hardware, including detectors, electronics, and performance characteristics
AN ADVANCED PLACEMENT COURSE IN ANALYTIC GEOMETRY AND CALCULUS (MATHEMATICS XV X AP).
DEROLF, JOHN J.; MIENTKA, WALTER E.
THIS TEXT ON ANALYTIC GEOMETRY AND CALCULUS IS A CORRESPONDENCE COURSE DESIGNED FOR ADVANCED PLACEMENT OF HIGH SCHOOL STUDENTS IN COLLEGE. EACH OF THE 21 LESSONS INCLUDES READING ASSIGNMENTS AND LISTS OF PROBLEMS TO BE WORKED. IN ADDITION, SUPPLEMENTARY EXPLANATIONS AND COMMENTS ARE INCLUDED THAT (1) PROVIDE ILLUSTRATIVE EXAMPLES OF CONCEPTS AND…
Directory of Open Access Journals (Sweden)
Joan Moss
2010-12-01
Full Text Available Three classrooms of Grade 4 students from different schools and diverse backgrounds collaborated in early algebra research to solve a series of linear and quadratic generalizing problems. Results revealed that high- and low-achieving students were able to solve problems of recognized difficulty. We discuss Knowledge Building principles and practices that fostered deep understanding and broad participation. Students used the online Knowledge Building environment Knowledge Forum® to conduct their work and we illustrate how Knowledge Forum supported a Knowledge Building culture for mathematical learning and problem solving. Analyses of participation patterns and note content revealed practices consistent with Knowledge Building principles, specifically democratization of knowledge, with students at all achievement levels participating, and epistemic agency, with students providing evidence and justification for conjectures and generating multiple solutions to challenging problems.
Stroud, K A
2013-01-01
A groundbreaking and comprehensive reference that's been a bestseller since it first debuted in 1970, the new seventh edition of Engineering Mathematics has been thoroughly revised and expanded. Providing a broad mathematical survey, this innovative volume covers a full range of topics from the very basic to the advanced. Whether you're an engineer looking for a useful on-the-job reference or want to improve your mathematical skills, or you are a student who needs an in-depth self-study guide, Engineering Mathematics is sure to come in handy time and time again.
Hardware Accelerated Simulated Radiography
International Nuclear Information System (INIS)
Laney, D; Callahan, S; Max, N; Silva, C; Langer, S; Frank, R
2005-01-01
We present the application of hardware accelerated volume rendering algorithms to the simulation of radiographs as an aid to scientists designing experiments, validating simulation codes, and understanding experimental data. The techniques presented take advantage of 32 bit floating point texture capabilities to obtain validated solutions to the radiative transport equation for X-rays. An unsorted hexahedron projection algorithm is presented for curvilinear hexahedra that produces simulated radiographs in the absorption-only regime. A sorted tetrahedral projection algorithm is presented that simulates radiographs of emissive materials. We apply the tetrahedral projection algorithm to the simulation of experimental diagnostics for inertial confinement fusion experiments on a laser at the University of Rochester. We show that the hardware accelerated solution is faster than the current technique used by scientists
Sterilization of space hardware.
Pflug, I. J.
1971-01-01
Discussion of various techniques of sterilization of space flight hardware using either destructive heating or the action of chemicals. Factors considered in the dry-heat destruction of microorganisms include the effects of microbial water content, temperature, the physicochemical properties of the microorganism and adjacent support, and nature of the surrounding gas atmosphere. Dry-heat destruction rates of microorganisms on the surface, between mated surface areas, or buried in the solid material of space vehicle hardware are reviewed, along with alternative dry-heat sterilization cycles, thermodynamic considerations, and considerations of final sterilization-process design. Discussed sterilization chemicals include ethylene oxide, formaldehyde, methyl bromide, dimethyl sulfoxide, peracetic acid, and beta-propiolactone.
Hardware characteristic and application
International Nuclear Information System (INIS)
Gu, Dong Hyeon
1990-03-01
The contents of this book are system board on memory, performance, system timer system click and specification, coprocessor such as programing interface and hardware interface, power supply on input and output, protection for DC output, Power Good signal, explanation on 84 keyboard and 101/102 keyboard,BIOS system, 80286 instruction set and 80287 coprocessor, characters, keystrokes and colors, communication and compatibility of IBM personal computer on application direction, multitasking and code for distinction of system.
Quantum neuromorphic hardware for quantum artificial intelligence
Prati, Enrico
2017-08-01
The development of machine learning methods based on deep learning boosted the field of artificial intelligence towards unprecedented achievements and application in several fields. Such prominent results were made in parallel with the first successful demonstrations of fault tolerant hardware for quantum information processing. To which extent deep learning can take advantage of the existence of a hardware based on qubits behaving as a universal quantum computer is an open question under investigation. Here I review the convergence between the two fields towards implementation of advanced quantum algorithms, including quantum deep learning.
Eubanks-Turner, Christina; Beaulieu, Patricia; Pal, Nabendu
2018-01-01
The Smooth Transition for Advancement to Graduate Education (STAGE) project was a three-year pilot project designed to mentor undergraduate students primarily from under-represented groups in the mathematical sciences. The STAGE pilot project focused on mentoring students as they transitioned from undergraduate education to either graduate school…
Mathematical Modelling for EOQ Inventory System with Advance Payment and Fuzzy Parameters
Directory of Open Access Journals (Sweden)
S Priyan
2014-11-01
Full Text Available This study considers an EOQ inventory model with advance payment policy in a fuzzy situation by employing two types of fuzzy numbers that are trapezoidal and triangular. Two fuzzy models are developed here. In the first model the cost parameters are fuzzified, but the demand rate is treated as crisp constant. In the second model, the demand rate is fuzzified but the cost parameters are treated as crisp constants. For each fuzzy model, we use signed distance method to defuzzify the fuzzy total cost and obtain an estimate of the total cost in the fuzzy sense. Numerical example is provided to ascertain the sensitiveness in the decision variables about fuzziness in the components. In practical situations, costs may be dependent on some foreign monetary unit. In such a case, due to a change in the exchange rates, the costs are often not known precisely. The first model can be used in this situation. In actual applications, demand is uncertain and must be predicted. Accordingly, the decision maker faces a fuzzy environment rather than a stochastic one in these cases. The second model can be used in this situation. Moreover, the proposed models can be expended for imperfect production process.
Kavlock, R J
1997-01-01
During the last several years, significant changes in the risk assessment process for developmental toxicity of environmental contaminants have begun to emerge. The first of these changes is the development and beginning use of statistically based dose-response models [the benchmark dose (BMD) approach] that better utilize data derived from existing testing approaches. Accompanying this change is the greater emphasis placed on understanding and using mechanistic information to yield more accurate, reliable, and less uncertain risk assessments. The next stage in the evolution of risk assessment will be the use of biologically based dose-response (BBDR) models that begin to build into the statistically based models factors related to the underlying kinetic, biochemical, and/or physiologic processes perturbed by a toxicant. Such models are now emerging from several research laboratories. The introduction of quantitative models and the incorporation of biologic information into them has pointed to the need for even more sophisticated modifications for which we offer the term embryologically based dose-response (EBDR) models. Because these models would be based upon the understanding of normal morphogenesis, they represent a quantum leap in our thinking, but their complexity presents daunting challenges both to the developmental biologist and the developmental toxicologist. Implementation of these models will require extensive communication between developmental toxicologists, molecular embryologists, and biomathematicians. The remarkable progress in the understanding of mammalian embryonic development at the molecular level that has occurred over the last decade combined with advances in computing power and computational models should eventually enable these as yet hypothetical models to be brought into use.
Groupe de protection des biens
2000-01-01
As part of the campaign to protect CERN property and for insurance reasons, all computer hardware belonging to the Organization must be marked with the words 'PROPRIETE CERN'.IT Division has recently introduced a new marking system that is both economical and easy to use. From now on all desktop hardware (PCs, Macintoshes, printers) issued by IT Division with a value equal to or exceeding 500 CHF will be marked using this new system.For equipment that is already installed but not yet marked, including UNIX workstations and X terminals, IT Division's Desktop Support Service offers the following services free of charge:Equipment-marking wherever the Service is called out to perform other work (please submit all work requests to the IT Helpdesk on 78888 or helpdesk@cern.ch; for unavoidable operational reasons, the Desktop Support Service will only respond to marking requests when these coincide with requests for other work such as repairs, system upgrades, etc.);Training of personnel designated by Division Leade...
Foundations of hardware IP protection
Torres, Lionel
2017-01-01
This book provides a comprehensive and up-to-date guide to the design of security-hardened, hardware intellectual property (IP). Readers will learn how IP can be threatened, as well as protected, by using means such as hardware obfuscation/camouflaging, watermarking, fingerprinting (PUF), functional locking, remote activation, hidden transmission of data, hardware Trojan detection, protection against hardware Trojan, use of secure element, ultra-lightweight cryptography, and digital rights management. This book serves as a single-source reference to design space exploration of hardware security and IP protection. · Provides readers with a comprehensive overview of hardware intellectual property (IP) security, describing threat models and presenting means of protection, from integrated circuit layout to digital rights management of IP; · Enables readers to transpose techniques fundamental to digital rights management (DRM) to the realm of hardware IP security; · Introduce designers to the concept of salutar...
Open hardware for open science
CERN Bulletin
2011-01-01
Inspired by the open source software movement, the Open Hardware Repository was created to enable hardware developers to share the results of their R&D activities. The recently published CERN Open Hardware Licence offers the legal framework to support this knowledge and technology exchange. Two years ago, a group of electronics designers led by Javier Serrano, a CERN engineer, working in experimental physics laboratories created the Open Hardware Repository (OHR). This project was initiated in order to facilitate the exchange of hardware designs across the community in line with the ideals of “open science”. The main objectives include avoiding duplication of effort by sharing results across different teams that might be working on the same need. “For hardware developers, the advantages of open hardware are numerous. For example, it is a great learning tool for technologies some developers would not otherwise master, and it avoids unnecessary work if someone ha...
Livy, Sharyn
2012-01-01
The theoretical understanding that underpins a teacher's foundation knowledge draws on their common content knowledge (CCK) and influences their mathematics' teaching (Rowland, Turner, Thwaites, & Huckstep, 2009). Teachers who have specialised content knowledge (SCK) demonstrate a unique kind of content knowledge which is more than knowing the…
Hardware Support for Embedded Java
DEFF Research Database (Denmark)
Schoeberl, Martin
2012-01-01
The general Java runtime environment is resource hungry and unfriendly for real-time systems. To reduce the resource consumption of Java in embedded systems, direct hardware support of the language is a valuable option. Furthermore, an implementation of the Java virtual machine in hardware enables...... worst-case execution time analysis of Java programs. This chapter gives an overview of current approaches to hardware support for embedded and real-time Java....
HARDWARE TROJAN IDENTIFICATION AND DETECTION
Samer Moein; Fayez Gebali; T. Aaron Gulliver; Abdulrahman Alkandari
2017-01-01
ABSTRACT The majority of techniques developed to detect hardware trojans are based on specific attributes. Further, the ad hoc approaches employed to design methods for trojan detection are largely ineffective. Hardware trojans have a number of attributes which can be used to systematically develop detection techniques. Based on this concept, a detailed examination of current trojan detection techniques and the characteristics of existing hardware trojans is presented. This is used to dev...
Mathematics Connection: Advanced Search
African Journals Online (AJOL)
Search tips: Search terms are case-insensitive; Common words are ignored; By default only articles containing all terms in the query are returned (i.e., AND is implied); Combine multiple words with OR to find articles containing either term; e.g., education OR research; Use parentheses to create more complex queries; e.g., ...
Advances in mathematical economics
Maruyama, Toru
2000-01-01
The role of asymmetric information in allocation of resources, together with the associated information-revelation process, has long been a central focus of economic research. While the bulk of the literature addresses these is sues within the framework of principal-agent relationship, which essentially reduces the problem to the sole principal's (the sole Stackelberg leader's) optimization problem subject to the agents' (the Stackelberg followers') re sponses, there are recent attempts to extend analysis to other economic setups characterized by different relationships among decision-makers. A notable strand of such attempts is the core analysis of incomplete in formation. Here, there is no Stackelberg-type relationship, and more impor tantly the players can talk to each other for coordinated choice of strategies. See, e.g., Wilson (1978) for a pioneering work; Yannelis (1991) for formula tion of feasibility of a strategy as its measurability; Ichiishi and Idzik (1996) for introduction of Bayesian ...
Hardware assisted hypervisor introspection.
Shi, Jiangyong; Yang, Yuexiang; Tang, Chuan
2016-01-01
In this paper, we introduce hypervisor introspection, an out-of-box way to monitor the execution of hypervisors. Similar to virtual machine introspection which has been proposed to protect virtual machines in an out-of-box way over the past decade, hypervisor introspection can be used to protect hypervisors which are the basis of cloud security. Virtual machine introspection tools are usually deployed either in hypervisor or in privileged virtual machines, which might also be compromised. By utilizing hardware support including nested virtualization, EPT protection and #BP, we are able to monitor all hypercalls belongs to the virtual machines of one hypervisor, include that of privileged virtual machine and even when the hypervisor is compromised. What's more, hypercall injection method is used to simulate hypercall-based attacks and evaluate the performance of our method. Experiment results show that our method can effectively detect hypercall-based attacks with some performance cost. Lastly, we discuss our furture approaches of reducing the performance cost and preventing the compromised hypervisor from detecting the existence of our introspector, in addition with some new scenarios to apply our hypervisor introspection system.
Delord, V; Neufeld, N
2009-01-01
The LHCb High Level Trigger and Data Acquisition system selects about 2 kHz of events out of the 1 MHz of events, which have been selected previously by the first-level hardware trigger. The selected events are consolidated into files and then sent to permanent storage for subsequent analysis on the Grid. The goal of the upgrade of the LHCb readout is to lift the limitation to 1 MHz. This means speeding up the DAQ to 40 MHz. Such a DAQ system will certainly employ 10 Gigabit or technologies and might also need new networking protocols: a customized TCP or proprietary solutions. A test module is being presented, which integrates in the existing LHCb infrastructure. It is a 10-Gigabit traffic generator, flexible enough to generate LHCb's raw data packets using dummy data or simulated data. These data are seen as real data coming from sub-detectors by the DAQ. The implementation is based on an FPGA using 10 Gigabit Ethernet interface. This module is integrated in the experiment control system. The architecture, ...
Hardware for soft computing and soft computing for hardware
Nedjah, Nadia
2014-01-01
Single and Multi-Objective Evolutionary Computation (MOEA), Genetic Algorithms (GAs), Artificial Neural Networks (ANNs), Fuzzy Controllers (FCs), Particle Swarm Optimization (PSO) and Ant colony Optimization (ACO) are becoming omnipresent in almost every intelligent system design. Unfortunately, the application of the majority of these techniques is complex and so requires a huge computational effort to yield useful and practical results. Therefore, dedicated hardware for evolutionary, neural and fuzzy computation is a key issue for designers. With the spread of reconfigurable hardware such as FPGAs, digital as well as analog hardware implementations of such computation become cost-effective. The idea behind this book is to offer a variety of hardware designs for soft computing techniques that can be embedded in any final product. Also, to introduce the successful application of soft computing technique to solve many hard problem encountered during the design of embedded hardware designs. Reconfigurable em...
FY1995 evolvable hardware chip; 1995 nendo shinkasuru hardware chip
Energy Technology Data Exchange (ETDEWEB)
NONE
1997-03-01
This project aims at the development of 'Evolvable Hardware' (EHW) which can adapt its hardware structure to the environment to attain better hardware performance, under the control of genetic algorithms. EHW is a key technology to explore the new application area requiring real-time performance and on-line adaptation. 1. Development of EHW-LSI for function level hardware evolution, which includes 15 DSPs in one chip. 2. Application of the EHW to the practical industrial applications such as data compression, ATM control, digital mobile communication. 3. Two patents : (1) the architecture and the processing method for programmable EHW-LSI. (2) The method of data compression for loss-less data, using EHW. 4. The first international conference for evolvable hardware was held by authors: Intl. Conf. on Evolvable Systems (ICES96). It was determined at ICES96 that ICES will be held every two years between Japan and Europe. So the new society has been established by us. (NEDO)
Secure coupling of hardware components
Hoepman, J.H.; Joosten, H.J.M.; Knobbe, J.W.
2011-01-01
A method and a system for securing communication between at least a first and a second hardware components of a mobile device is described. The method includes establishing a first shared secret between the first and the second hardware components during an initialization of the mobile device and,
Wood, William B
2002-01-01
A recently released National Research Council (NRC) report, Learning and Understanding: Improving Advanced Study of Mathematics and Science in U.S. High Schools, evaluated and recommended changes in the Advanced Placement (AP), International Baccalaureate (IB), and other advanced secondary school science programs. As part of this study, discipline-specific panels were formed to evaluate advanced programs in biology, chemistry, physics, and mathematics. Among the conclusions of the Content Panel for Biology were that AP courses in particular suffer from inadequate quality control as well as excessive pressure to fulfill their advanced placement function, which encourages teachers to attempt coverage of all areas of biology and emphasize memorization of facts rather than in-depth understanding. In this essay, the Panel's principal findings are discussed, with an emphasis on its recommendation that colleges and universities should be strongly discouraged from using performance on either the AP examination or the IB examination as the sole basis for automatic placement out of required introductory courses for biology majors and distribution requirements for nonmajors.
Flight Avionics Hardware Roadmap
Hodson, Robert; McCabe, Mary; Paulick, Paul; Ruffner, Tim; Some, Rafi; Chen, Yuan; Vitalpur, Sharada; Hughes, Mark; Ling, Kuok; Redifer, Matt;
2013-01-01
As part of NASA's Avionics Steering Committee's stated goal to advance the avionics discipline ahead of program and project needs, the committee initiated a multi-Center technology roadmapping activity to create a comprehensive avionics roadmap. The roadmap is intended to strategically guide avionics technology development to effectively meet future NASA missions needs. The scope of the roadmap aligns with the twelve avionics elements defined in the ASC charter, but is subdivided into the following five areas: Foundational Technology (including devices and components), Command and Data Handling, Spaceflight Instrumentation, Communication and Tracking, and Human Interfaces.
Utilizing IXP1200 hardware and software for packet filtering
Lindholm, Jeffery L.
2004-01-01
As network processors have advanced in speed and efficiency they have become more and more complex in both hardware and software configurations. Intel's IXP1200 is one of these new network processors that has been given to different universities worldwide to conduct research on. The goal of this thesis is to take the first step in starting that research by providing a stable system that can provide a reliable platform for further research. This thesis introduces the fundamental hardware of In...
Barlesi, Fabrice; Imbs, Diane-Charlotte; Tomasini, Pascale; Greillier, Laurent; Galloux, Melissa; Testot-Ferry, Albane; Garcia, Mélanie; Elharrar, Xavier; Pelletier, Annick; André, Nicolas; Mascaux, Céline; Lacarelle, Bruno; Cheikh, Raouf El; Serre, Raphaël; Ciccolini, Joseph; Barbolosi, Dominique
2017-07-18
Using mathematical modelling allows to select a treatment's regimen across infinite possibilities. Here, we report the phase I assessment of a new schedule for metronomic vinorelbine in treating refractory advanced NSCLC and mesothelioma patients. Overall, 13 patients were screened and 12 were treated (50% male, median age: 68yrs), including 9 NSCLC patients. All patients received at least one week (3 doses) of treatment. At data cut-off, the median length of treatment was 6.5 weeks (1-32+). All the patients presented with at least one adverse event (AE) and six patients with a severe AE (SAE). One partial response and 5 stable diseases were observed. The median OS was 6.4 months (95% CI, 4.8 to 12 months). The median and mean vinorelbine's AUC were 122 ng/ml*h and 159 ng/ml*h, respectively, with the higher plasmatic vinorelbine exposure associated with the best ORR (difference of AUC comparison between responders and non-responders, p-value 0.017). The mathematical modelling determined the administration of vinorelbine, 60 mg on Day 1, 30 mg on Day 2 and 60 mg on Day 4 weekly until progression, as the best schedule. Advanced NSCLC or mesothelioma patients progressing after standard treatment were eligible for the trial. NCT02555007. Responses with acceptable safety profile were observed in heavily pretreated NSCLC and mesothelioma patients using oral vinorelbine at this metronomic dosage based on a mathematic modeling. This study demonstrates the feasibility of this new type of approach, as mathematical modeling may help to rationally decide the better regimen to be clinically tested across infinite possibilities.
NDAS Hardware Translation Layer Development
Nazaretian, Ryan N.; Holladay, Wendy T.
2011-01-01
The NASA Data Acquisition System (NDAS) project is aimed to replace all DAS software for NASA s Rocket Testing Facilities. There must be a software-hardware translation layer so the software can properly talk to the hardware. Since the hardware from each test stand varies, drivers for each stand have to be made. These drivers will act more like plugins for the software. If the software is being used in E3, then the software should point to the E3 driver package. If the software is being used at B2, then the software should point to the B2 driver package. The driver packages should also be filled with hardware drivers that are universal to the DAS system. For example, since A1, A2, and B2 all use the Preston 8300AU signal conditioners, then the driver for those three stands should be the same and updated collectively.
Hardware for dynamic quantum computing.
Ryan, Colm A; Johnson, Blake R; Ristè, Diego; Donovan, Brian; Ohki, Thomas A
2017-10-01
We describe the hardware, gateware, and software developed at Raytheon BBN Technologies for dynamic quantum information processing experiments on superconducting qubits. In dynamic experiments, real-time qubit state information is fed back or fed forward within a fraction of the qubits' coherence time to dynamically change the implemented sequence. The hardware presented here covers both control and readout of superconducting qubits. For readout, we created a custom signal processing gateware and software stack on commercial hardware to convert pulses in a heterodyne receiver into qubit state assignments with minimal latency, alongside data taking capability. For control, we developed custom hardware with gateware and software for pulse sequencing and steering information distribution that is capable of arbitrary control flow in a fraction of superconducting qubit coherence times. Both readout and control platforms make extensive use of field programmable gate arrays to enable tailored qubit control systems in a reconfigurable fabric suitable for iterative development.
FY1995 evolvable hardware chip; 1995 nendo shinkasuru hardware chip
Energy Technology Data Exchange (ETDEWEB)
NONE
1997-03-01
This project aims at the development of 'Evolvable Hardware' (EHW) which can adapt its hardware structure to the environment to attain better hardware performance, under the control of genetic algorithms. EHW is a key technology to explore the new application area requiring real-time performance and on-line adaptation. 1. Development of EHW-LSI for function level hardware evolution, which includes 15 DSPs in one chip. 2. Application of the EHW to the practical industrial applications such as data compression, ATM control, digital mobile communication. 3. Two patents : (1) the architecture and the processing method for programmable EHW-LSI. (2) The method of data compression for loss-less data, using EHW. 4. The first international conference for evolvable hardware was held by authors: Intl. Conf. on Evolvable Systems (ICES96). It was determined at ICES96 that ICES will be held every two years between Japan and Europe. So the new society has been established by us. (NEDO)
Desoer, C. A.; Polak, E.; Zadeh, L. A.
1974-01-01
A series of research projects is briefly summarized which includes investigations in the following areas: (1) mathematical programming problems for large system and infinite-dimensional spaces, (2) bounded-input bounded-output stability, (3) non-parametric approximations, and (4) differential games. A list of reports and papers which were published over the ten year period of research is included.
Federal Laboratory Consortium — The Advanced Simulation Center consists of 10 individual facilities which provide missile and submunition hardware-in-the-loop simulation capabilities. The following...
Energy Technology Data Exchange (ETDEWEB)
Glimm, J.
2009-10-14
Progress for the past decade or so has been extraordinary. The solution of Fermat's Last Theorem [11] and of the Poincare Conjecture [1] have resolved two of the most outstanding challenges to mathematics. For both cases, deep and advanced theories and whole subfields of mathematics came into play and were developed further as part of the solutions. And still the future is wide open. Six of the original seven problems from the Clay Foundation challenge remain open, the 23 DARPA challenge problems are open. Entire new branches of mathematics have been developed, including financial mathematics and the connection between geometry and string theory, proposed to solve the problems of quantized gravity. New solutions of the Einstein equations, inspired by shock wave theory, suggest a cosmology model which fits accelerating expansion of the universe possibly eliminating assumptions of 'dark matter'. Intellectual challenges and opportunities for mathematics are greater than ever. The role of mathematics in society continues to grow; with this growth comes new opportunities and some growing pains; each will be analyzed here. We see a broadening of the intellectual and professional opportunities and responsibilities for mathematicians. These trends are also occuring across all of science. The response can be at the level of the professional societies, which can work to deepen their interactions, not only within the mathematical sciences, but also with other scientific societies. At a deeper level, the choices to be made will come from individual mathematicians. Here, of course, the individual choices will be varied, and we argue for respect and support for this diversity of responses. In such a manner, we hope to preserve the best of the present while welcoming the best of the new.
A Mathematics Software Database Update.
Cunningham, R. S.; Smith, David A.
1987-01-01
Contains an update of an earlier listing of software for mathematics instruction at the college level. Topics are: advanced mathematics, algebra, calculus, differential equations, discrete mathematics, equation solving, general mathematics, geometry, linear and matrix algebra, logic, statistics and probability, and trigonometry. (PK)
Raspberry Pi hardware projects 1
Robinson, Andrew
2013-01-01
Learn how to take full advantage of all of Raspberry Pi's amazing features and functions-and have a blast doing it! Congratulations on becoming a proud owner of a Raspberry Pi, the credit-card-sized computer! If you're ready to dive in and start finding out what this amazing little gizmo is really capable of, this ebook is for you. Taken from the forthcoming Raspberry Pi Projects, Raspberry Pi Hardware Projects 1 contains three cool hardware projects that let you have fun with the Raspberry Pi while developing your Raspberry Pi skills. The authors - PiFace inventor, Andrew Robinson and Rasp
Peculiarities of hardware implementation of generalized cellular tetra automaton
Аноприенко, Александр Яковлевич; Федоров, Евгений Евгениевич; Иваница, Сергей Васильевич; Альрабаба, Хамза
2015-01-01
Cellular automata are widely used in many fields of knowledge for the study of variety of complex real processes: computer engineering and computer science, cryptography, mathematics, physics, chemistry, ecology, biology, medicine, epidemiology, geology, architecture, sociology, theory of neural networks. Thus, cellular automata (CA) and tetra automata are gaining relevance taking into account the hardware and software solutions.Also it is marked a trend towards an increase in the number of p...
Mathematics without boundaries surveys in pure mathematics
Pardalos, Panos
2014-01-01
The contributions in this volume have been written by eminent scientists from the international mathematical community and present significant advances in several theories, methods and problems of Mathematical Analysis, Discrete Mathematics, Geometry and their Applications. The chapters focus on both old and recent developments in Functional Analysis, Harmonic Analysis, Complex Analysis, Operator Theory, Combinatorics, Functional Equations, Differential Equations as well as a variety of Applications. The book also contains some review works, which could prove particularly useful for a broader audience of readers in Mathematical Sciences, and especially to graduate students looking for the latest information.
Algorithmic Principles of Mathematical Programming
Faigle, Ulrich; Kern, Walter; Still, Georg
2002-01-01
Algorithmic Principles of Mathematical Programming investigates the mathematical structures and principles underlying the design of efficient algorithms for optimization problems. Recent advances in algorithmic theory have shown that the traditionally separate areas of discrete optimization, linear
Hardware standardization for embedded systems
International Nuclear Information System (INIS)
Sharma, M.K.; Kalra, Mohit; Patil, M.B.; Mohanty, Ashutos; Ganesh, G.; Biswas, B.B.
2010-01-01
Reactor Control Division (RCnD) has been one of the main designers of safety and safety related systems for power reactors. These systems have been built using in-house developed hardware. Since the present set of hardware was designed long ago, a need was felt to design a new family of hardware boards. A Working Group on Electronics Hardware Standardization (WG-EHS) was formed with an objective to develop a family of boards, which is general purpose enough to meet the requirements of the system designers/end users. RCnD undertook the responsibility of design, fabrication and testing of boards for embedded systems. VME and a proprietary I/O bus were selected as the two system buses. The boards have been designed based on present day technology and components. The intelligence of these boards has been implemented on FPGA/CPLD using VHDL. This paper outlines the various boards that have been developed with a brief description. (author)
Commodity hardware and software summary
International Nuclear Information System (INIS)
Wolbers, S.
1997-04-01
A review is given of the talks and papers presented in the Commodity Hardware and Software Session at the CHEP97 conference. An examination of the trends leading to the consideration of PC's for HEP is given, and a status of the work that is being done at various HEP labs and Universities is given
Aziznia, Amin; Oloman, Colin W.; Gyenge, Előd L.
2014-11-01
The Swiss-roll single-cell mixed reactant (SR-MRFC) borohydride - oxygen fuel cell equipped with Pt/carbon cloth 3D anode and either MnO2 or Ag gas-diffusion cathodes is investigated by a combination of experimental studies and preliminary mathematical modeling of the polarization curve. We investigate the effects of four variables: cathode side metallic mesh fluid distributor, separator type (Nafion 112® vs. Viledon®), cathode catalyst (MnO2 vs. Ag), and the hydrophilic pore volume fraction of the gas-diffusion cathode. Using a two-phase feed of alkaline borohydride solution (1 M NaBH4 - 2 M NaOH) and O2 gas in an SR-MRFC equipped with Pt/C 3D anode, MnO2 gas diffusion cathode, Viledon® porous diaphragm, expanded mesh cathode-side fluid distributor, the maximum superficial power density is 2230 W m-2 at 323 K and 105 kPa(abs). The latter superficial power density is almost 3.5 times higher than our previously reported superficial power density for the same catalyst combinations. Furthermore, with a Pt anode and Ag cathode catalyst combination, a superficial power density of 2500 W m-2 is achieved with superior performance durability compared to the MnO2 cathode. The fuel cell results are substantiated by impedance spectroscopy analysis and preliminary mathematical model predictions based on mixed potential theory.
Directory of Open Access Journals (Sweden)
LIVIU S. BOCÎI
2013-06-01
Full Text Available This paper establishes a mathematical model of induction machine connected to a frequency inverter necessary to adjust the electric motor drive. The mathematical model based on the Park's theory allows the analysis of the whole spectrum (electric car – frequency inverter to drive the electric trolley bus made on ASTRA Bus Arad (Romania. To remove higher order harmonics, the PWM waveform of supply voltage is used, set in the general case. Operating characteristics of electric motor drive are set to sub-nominal frequency (f Bele 2007.Este documento estabelece um modelo matemático de máquina de indução conectado a um inversor de frequência necessário para ajustar o motor de acionamento elétrico. O modelo matemático baseado na Teoria de Park permite a análise de todo o espectro (carro elétrico com inversor de frequência para dirigir o ônibus elétrico feito em ASTRA Bus Arad (Romênia. Para remover harmônicas de ordem mais alta, a forma de onda da tensão de alimentação PWM é utilizado, definido no caso geral. Características de funcionamento do motor de acionamento elétrico são definidas para frequência sub-nominal (f
Foundations of digital signal processing theory, algorithms and hardware design
Gaydecki, Patrick
2005-01-01
An excellent introductory text, this book covers the basic theoretical, algorithmic and real-time aspects of digital signal processing (DSP). Detailed information is provided on off-line, real-time and DSP programming and the reader is effortlessly guided through advanced topics such as DSP hardware design, FIR and IIR filter design and difference equation manipulation.
Hardware Descriptive Languages: An Efficient Approach to Device ...
African Journals Online (AJOL)
Contemporarily, owing to astronomical advancements in the very large scale integration (VLSI) market segments, hardware engineers are now focusing on how to develop their new digital system designs in programmable languages like very high speed integrated circuit hardwaredescription language (VHDL) and Verilog ...
Optimizing main-memory join on modern hardware
Boncz, Peter; Manegold, Stefan; Kersten, Martin
2002-01-01
textabstractIn the past decade, the exponential growth in commodity CPUs speed has far outpaced advances in memory latency. A second trend is that CPU performance advances are not only brought by increased clock rate, but also by increasing parallelism inside the CPU. Current database systems have not yet adapted to these trends, and show poor utilization of both CPU and memory resources on current hardware. In this article, we show how these resources can be optimized for large joins and tra...
Mathematical Modeling in the Undergraduate Curriculum
Toews, Carl
2012-01-01
Mathematical modeling occupies an unusual space in the undergraduate mathematics curriculum: typically an "advanced" course, it nonetheless has little to do with formal proof, the usual hallmark of advanced mathematics. Mathematics departments are thus forced to decide what role they want the modeling course to play, both as a component of the…
Rowlett, Joel Everett
2013-01-01
This case study examined the beliefs of African American males on the psychosocial and pedagogical factors contributing to the underrepresentation of African American males in advanced high school math courses. Six 11th grade African American male juniors from a large, comprehensive, Southeastern high school served as individual cases. Within- and…
Discrete mathematics using a computer
Hall, Cordelia
2000-01-01
Several areas of mathematics find application throughout computer science, and all students of computer science need a practical working understanding of them. These core subjects are centred on logic, sets, recursion, induction, relations and functions. The material is often called discrete mathematics, to distinguish it from the traditional topics of continuous mathematics such as integration and differential equations. The central theme of this book is the connection between computing and discrete mathematics. This connection is useful in both directions: • Mathematics is used in many branches of computer science, in applica tions including program specification, datastructures,design and analysis of algorithms, database systems, hardware design, reasoning about the correctness of implementations, and much more; • Computers can help to make the mathematics easier to learn and use, by making mathematical terms executable, making abstract concepts more concrete, and through the use of software tools su...
CASIS Fact Sheet: Hardware and Facilities
Solomon, Michael R.; Romero, Vergel
2016-01-01
Vencore is a proven information solutions, engineering, and analytics company that helps our customers solve their most complex challenges. For more than 40 years, we have designed, developed and delivered mission-critical solutions as our customers' trusted partner. The Engineering Services Contract, or ESC, provides engineering and design services to the NASA organizations engaged in development of new technologies at the Kennedy Space Center. Vencore is the ESC prime contractor, with teammates that include Stinger Ghaffarian Technologies, Sierra Lobo, Nelson Engineering, EASi, and Craig Technologies. The Vencore team designs and develops systems and equipment to be used for the processing of space launch vehicles, spacecraft, and payloads. We perform flight systems engineering for spaceflight hardware and software; develop technologies that serve NASA's mission requirements and operations needs for the future. Our Flight Payload Support (FPS) team at Kennedy Space Center (KSC) provides engineering, development, and certification services as well as payload integration and management services to NASA and commercial customers. Our main objective is to assist principal investigators (PIs) integrate their science experiments into payload hardware for research aboard the International Space Station (ISS), commercial spacecraft, suborbital vehicles, parabolic flight aircrafts, and ground-based studies. Vencore's FPS team is AS9100 certified and a recognized implementation partner for the Center for Advancement of Science in Space (CASIS
BIOLOGICALLY INSPIRED HARDWARE CELL ARCHITECTURE
DEFF Research Database (Denmark)
2010-01-01
Disclosed is a system comprising: - a reconfigurable hardware platform; - a plurality of hardware units defined as cells adapted to be programmed to provide self-organization and self-maintenance of the system by means of implementing a program expressed in a programming language defined as DNA...... language, where each cell is adapted to communicate with one or more other cells in the system, and where the system further comprises a converter program adapted to convert keywords from the DNA language to a binary DNA code; where the self-organisation comprises that the DNA code is transmitted to one...... or more of the cells, and each of the one or more cells is adapted to determine its function in the system; where if a fault occurs in a first cell and the first cell ceases to perform its function, self-maintenance is performed by that the system transmits information to the cells that the first cell has...
Hardware-Accelerated Simulated Radiography
International Nuclear Information System (INIS)
Laney, D; Callahan, S; Max, N; Silva, C; Langer, S.; Frank, R
2005-01-01
We present the application of hardware accelerated volume rendering algorithms to the simulation of radiographs as an aid to scientists designing experiments, validating simulation codes, and understanding experimental data. The techniques presented take advantage of 32-bit floating point texture capabilities to obtain solutions to the radiative transport equation for X-rays. The hardware accelerated solutions are accurate enough to enable scientists to explore the experimental design space with greater efficiency than the methods currently in use. An unsorted hexahedron projection algorithm is presented for curvilinear hexahedral meshes that produces simulated radiographs in the absorption-only regime. A sorted tetrahedral projection algorithm is presented that simulates radiographs of emissive materials. We apply the tetrahedral projection algorithm to the simulation of experimental diagnostics for inertial confinement fusion experiments on a laser at the University of Rochester
The principles of computer hardware
Clements, Alan
2000-01-01
Principles of Computer Hardware, now in its third edition, provides a first course in computer architecture or computer organization for undergraduates. The book covers the core topics of such a course, including Boolean algebra and logic design; number bases and binary arithmetic; the CPU; assembly language; memory systems; and input/output methods and devices. It then goes on to cover the related topics of computer peripherals such as printers; the hardware aspects of the operating system; and data communications, and hence provides a broader overview of the subject. Its readable, tutorial-based approach makes it an accessible introduction to the subject. The book has extensive in-depth coverage of two microprocessors, one of which (the 68000) is widely used in education. All chapters in the new edition have been updated. Major updates include: powerful software simulations of digital systems to accompany the chapters on digital design; a tutorial-based introduction to assembly language, including many exam...
Archives: Mathematics Connection
African Journals Online (AJOL)
Items 1 - 9 of 9 ... Archives: Mathematics Connection. Journal Home > Archives: Mathematics Connection. Log in or Register to get access to full text downloads. Username, Password, Remember me, or Register · Journal Home · ABOUT THIS JOURNAL · Advanced Search · Current Issue · Archives. 1 - 9 of 9 Items. 2011 ...
Hunting for hardware changes in data centres
International Nuclear Information System (INIS)
Coelho dos Santos, M; Steers, I; Szebenyi, I; Xafi, A; Barring, O; Bonfillou, E
2012-01-01
With many servers and server parts the environment of warehouse sized data centres is increasingly complex. Server life-cycle management and hardware failures are responsible for frequent changes that need to be managed. To manage these changes better a project codenamed “hardware hound” focusing on hardware failure trending and hardware inventory has been started at CERN. By creating and using a hardware oriented data set - the inventory - with detailed information on servers and their parts as well as tracking changes to this inventory, the project aims at, for example, being able to discover trends in hardware failure rates.
Energy Technology Data Exchange (ETDEWEB)
Lee, Stephen R [Los Alamos National Laboratory
2010-01-01
Los Alamos National Laboratory will review its Computational Physics and Applied Mathematics (CPAM) capabilities in 2010. The goals of capability reviews are to assess the quality of science, technology, and engineering (STE) performed by the capability, evaluate the integration of this capability across the Laboratory and within the scientific community, examine the relevance of this capability to the Laboratory's programs, and provide advice on the current and future directions of this capability. This is the first such review for CPAM, which has a long and unique history at the laboratory, starting from the inception of the Laboratory in 1943. The CPAM capability covers an extremely broad technical area at Los Alamos, encompassing a wide array of disciplines, research topics, and organizations. A vast array of technical disciplines and activities are included in this capability, from general numerical modeling, to coupled mUlti-physics simulations, to detailed domain science activities in mathematics, methods, and algorithms. The CPAM capability involves over 12 different technical divisions and a majority of our programmatic and scientific activities. To make this large scope tractable, the CPAM capability is broken into the following six technical 'themes.' These themes represent technical slices through the CP AM capability and collect critical core competencies of the Laboratory, each of which contributes to the capability (and each of which is divided into multiple additional elements in the detailed descriptions of the themes in subsequent sections): (1) Computational Fluid Dynamics - This theme speaks to the vast array of scientific capabilities for the simulation of fluids under shocks, low-speed flow, and turbulent conditions - which are key, historical, and fundamental strengths of the laboratory; (2) Partial Differential Equations - The technical scope of this theme is the applied mathematics and numerical solution of partial
Hardware and software maintenance strategies for upgrading vintage computers
International Nuclear Information System (INIS)
Wang, B.C.; Buijs, W.J.; Banting, R.D.
1992-01-01
The paper focuses on the maintenance of the computer hardware and software for digital control computers (DCC). Specific design and problems related to various maintenance strategies are reviewed. A foundation was required for a reliable computer maintenance and upgrading program to provide operation of the DCC with high availability and reliability for 40 years. This involved a carefully planned and executed maintenance and upgrading program, involving complementary hardware and software strategies. The computer system was designed on a modular basis, with large sections easily replaceable, to facilitate maintenance and improve availability of the system. Advances in computer hardware have made it possible to replace DCC peripheral devices with reliable, inexpensive, and widely available components from PC-based systems (PC = personal computer). By providing a high speed link from the DCC to a PC, it is now possible to use many commercial software packages to process data from the plant. 1 fig
Qualification of software and hardware
International Nuclear Information System (INIS)
Gossner, S.; Schueller, H.; Gloee, G.
1987-01-01
The qualification of on-line process control equipment is subdivided into three areas: 1) materials and structural elements; 2) on-line process-control components and devices; 3) electrical systems (reactor protection and confinement system). Microprocessor-aided process-control equipment are difficult to verify for failure-free function owing to the complexity of the functional structures of the hardware and to the variety of the software feasible for microprocessors. Hence, qualification will make great demands on the inspecting expert. (DG) [de
Door Hardware and Installations; Carpentry: 901894.
Dade County Public Schools, Miami, FL.
The curriculum guide outlines a course designed to provide instruction in the selection, preparation, and installation of hardware for door assemblies. The course is divided into five blocks of instruction (introduction to doors and hardware, door hardware, exterior doors and jambs, interior doors and jambs, and a quinmester post-test) totaling…
Higher engineering mathematics
John Bird
2014-01-01
A practical introduction to the core mathematics principles required at higher engineering levelJohn Bird's approach to mathematics, based on numerous worked examples and interactive problems, is ideal for vocational students that require an advanced textbook.Theory is kept to a minimum, with the emphasis firmly placed on problem-solving skills, making this a thoroughly practical introduction to the advanced mathematics engineering that students need to master. The extensive and thorough topic coverage makes this an ideal text for upper level vocational courses. Now in
GOSH! A roadmap for open-source science hardware
Stefania Pandolfi
2016-01-01
The goal of the Gathering for Open Science Hardware (GOSH! 2016), held from 2 to 5 March 2016 at IdeaSquare, was to lay the foundations of the open-source hardware for science movement. The participants in the GOSH! 2016 meeting gathered in IdeaSquare. (Image: GOSH Community) “Despite advances in technology, many scientific innovations are held back because of a lack of affordable and customisable hardware,” says François Grey, a professor at the University of Geneva and coordinator of Citizen Cyberlab – a partnership between CERN, the UN Institute for Training and Research and the University of Geneva – which co-organised the GOSH! 2016 workshop. “This scarcity of accessible science hardware is particularly obstructive for citizen science groups and humanitarian organisations that don’t have the same economic means as a well-funded institution.” Instead, open sourcing science hardware co...
Travel Software using GPU Hardware
Szalwinski, Chris M; Dimov, Veliko Atanasov; CERN. Geneva. ATS Department
2015-01-01
Travel is the main multi-particle tracking code being used at CERN for the beam dynamics calculations through hadron and ion linear accelerators. It uses two routines for the calculation of space charge forces, namely, rings of charges and point-to-point. This report presents the studies to improve the performance of Travel using GPU hardware. The studies showed that the performance of Travel with the point-to-point simulations of space-charge effects can be speeded up at least 72 times using current GPU hardware. Simple recompilation of the source code using an Intel compiler can improve performance at least 4 times without GPU support. The limited memory of the GPU is the bottleneck. Two algorithms were investigated on this point: repeated computation and tiling. The repeating computation algorithm is simpler and is the currently recommended solution. The tiling algorithm was more complicated and degraded performance. Both build and test instructions for the parallelized version of the software are inclu...
Annual Perspectives in Mathematics Education 2016: Mathematical Modeling and Modeling Mathematics
Hirsch, Christian R., Ed.; McDuffie, Amy Roth, Ed.
2016-01-01
Mathematical modeling plays an increasingly important role both in real-life applications--in engineering, business, the social sciences, climate study, advanced design, and more--and within mathematics education itself. This 2016 volume of "Annual Perspectives in Mathematics Education" ("APME") focuses on this key topic from a…
Hardware Support for Dynamic Languages
DEFF Research Database (Denmark)
Schleuniger, Pascal; Karlsson, Sven; Probst, Christian W.
2011-01-01
In recent years, dynamic programming languages have enjoyed increasing popularity. For example, JavaScript has become one of the most popular programming languages on the web. As the complexity of web applications is growing, compute-intensive workloads are increasingly handed off to the client...... side. While a lot of effort is put in increasing the performance of web browsers, we aim for multicore systems with dedicated cores to effectively support dynamic languages. We have designed Tinuso, a highly flexible core for experimentation that is optimized for high performance when implemented...... on FPGA. We composed a scalable multicore configuration where we study how hardware support for software speculation can be used to increase the performance of dynamic languages....
African Journals Online (AJOL)
MATHEMATICS CONNECTION aims at providing a forum topromote the development of Mathematics Education in Ghana. Articles that seekto enhance the teaching and/or learning of mathematics at all levels of theeducational system are welcome.
Automatic Optimization of Hardware Accelerators for Image Processing
Reiche, Oliver; Häublein, Konrad; Reichenbach, Marc; Hannig, Frank; Teich, Jürgen; Fey, Dietmar
2015-01-01
In the domain of image processing, often real-time constraints are required. In particular, in safety-critical applications, such as X-ray computed tomography in medical imaging or advanced driver assistance systems in the automotive domain, timing is of utmost importance. A common approach to maintain real-time capabilities of compute-intensive applications is to offload those computations to dedicated accelerator hardware, such as Field Programmable Gate Arrays (FPGAs). Programming such arc...
Stephens, Maria; Landeros, Katherine; Perkins, Robert; Tang, Judy H.
2016-01-01
The Trends in International Mathematics and Science Study (TIMSS) 2015 is the sixth administration of this international comparative study since 1995 when first administered. TIMSS is used to compare over time the mathematics and science knowledge and skills of fourth- and eighth-graders. TIMSS is designed to align broadly with mathematics and…
Driven by History: Mathematics Education Reform
Permuth, Steve; Dalzell, Nicole
2013-01-01
The advancement of modern societies is fueled by mathematics, and mathematics education provides the foundation upon which future scientists and engineers will build. Society dictates how mathematics will be taught through the development and implementation of mathematics standards. When examining the progression of these standards, it is…
Open-source hardware for medical devices.
Niezen, Gerrit; Eslambolchilar, Parisa; Thimbleby, Harold
2016-04-01
Open-source hardware is hardware whose design is made publicly available so anyone can study, modify, distribute, make and sell the design or the hardware based on that design. Some open-source hardware projects can potentially be used as active medical devices. The open-source approach offers a unique combination of advantages, including reducing costs and faster innovation. This article compares 10 of open-source healthcare projects in terms of how easy it is to obtain the required components and build the device.
Mathematical Footprints Discovering Mathematics Everywhere
Pappas, Theoni
1999-01-01
MATHEMATICAL FOOTPRINTS takes a creative look at the role mathematics has played since prehistoric times, and will play in the future, and uncovers mathematics where you least expect to find it from its many uses in medicine, the sciences, and its appearance in art to its patterns in nature and its central role in the development of computers. Pappas presents mathematical ideas in a readable non-threatening manner. MATHEMATICAL FOOTPRINTS is another gem by the creator of THE MATHEMATICS CALENDAR and author of THE JOY OF MATHEMATICS. "Pappas's books have been gold mines of mathematical ent
Hardware Resource Allocation for Hardware/Software Partitioning in the LYCOS System
DEFF Research Database (Denmark)
Grode, Jesper Nicolai Riis; Knudsen, Peter Voigt; Madsen, Jan
1998-01-01
as a designer's/design tool's aid to generate good hardware allocations for use in hardware/software partitioning. The algorithm has been implemented in a tool under the LYCOS system. The results show that the allocations produced by the algorithm come close to the best allocations obtained by exhaustive search.......This paper presents a novel hardware resource allocation technique for hardware/software partitioning. It allocates hardware resources to the hardware data-path using information such as data-dependencies between operations in the application, and profiling information. The algorithm is useful...
Mathematical methods for physicists
Arfken, George B
2005-01-01
This best-selling title provides in one handy volume the essential mathematical tools and techniques used to solve problems in physics. It is a vital addition to the bookshelf of any serious student of physics or research professional in the field. The authors have put considerable effort into revamping this new edition.* Updates the leading graduate-level text in mathematical physics* Provides comprehensive coverage of the mathematics necessary for advanced study in physics and engineering* Focuses on problem-solving skills and offers a vast array of exercises * Clearly illustrates and proves mathematical relationsNew in the Sixth Edition:* Updated content throughout, based on users'' feedback * More advanced sections, including differential forms and the elegant forms of Maxwell''s equations* A new chapter on probability and statistics* More elementary sections have been deleted
Nanorobot Hardware Architecture for Medical Defense
Directory of Open Access Journals (Sweden)
Luiz C. Kretly
2008-05-01
Full Text Available This work presents a new approach with details on the integrated platform and hardware architecture for nanorobots application in epidemic control, which should enable real time in vivo prognosis of biohazard infection. The recent developments in the field of nanoelectronics, with transducers progressively shrinking down to smaller sizes through nanotechnology and carbon nanotubes, are expected to result in innovative biomedical instrumentation possibilities, with new therapies and efficient diagnosis methodologies. The use of integrated systems, smart biosensors, and programmable nanodevices are advancing nanoelectronics, enabling the progressive research and development of molecular machines. It should provide high precision pervasive biomedical monitoring with real time data transmission. The use of nanobioelectronics as embedded systems is the natural pathway towards manufacturing methodology to achieve nanorobot applications out of laboratories sooner as possible. To demonstrate the practical application of medical nanorobotics, a 3D simulation based on clinical data addresses how to integrate communication with nanorobots using RFID, mobile phones, and satellites, applied to long distance ubiquitous surveillance and health monitoring for troops in conflict zones. Therefore, the current model can also be used to prevent and save a population against the case of some targeted epidemic disease.
Rethinking the mathematics curriculum
Hoyles, Celia; Woodhouse, Geoffrey
1998-01-01
At a time when political interest in mathematics education is at its highest, this book demonstrates that the issues are far from straightforward. A wide range of international contributors address such questions as: What is mathematics, and what is it for? What skills does mathematics education need to provide as technology advances? What are the implications for teacher education? What can we learn from past attempts to change the mathematics curriculum? Rethinking the Mathematics Curriculum offers stimulating discussions, showing much is to be learnt from the differences in culture, national expectations, and political restraints revealed in the book. This accessible book will be of particular interest to policy makers, curriculum developers, educators, researchers and employers as well as the general reader.
Equations of mathematical physics
Tikhonov, A N
2011-01-01
Mathematical physics plays an important role in the study of many physical processes - hydrodynamics, elasticity, and electrodynamics, to name just a few. Because of the enormous range and variety of problems dealt with by mathematical physics, this thorough advanced-undergraduate or graduate-level text considers only those problems leading to partial differential equations. The authors - two well-known Russian mathematicians - have focused on typical physical processes and the principal types of equations deailing with them. Special attention is paid throughout to mathematical formulation, ri
Computer hardware description languages - A tutorial
Shiva, S. G.
1979-01-01
The paper introduces hardware description languages (HDL) as useful tools for hardware design and documentation. The capabilities and limitations of HDLs are discussed along with the guidelines needed in selecting an appropriate HDL. The directions for future work are provided and attention is given to the implementation of HDLs in microcomputers.
An evaluation of Skylab habitability hardware
Stokes, J.
1974-01-01
For effective mission performance, participants in space missions lasting 30-60 days or longer must be provided with hardware to accommodate their personal needs. Such habitability hardware was provided on Skylab. Equipment defined as habitability hardware was that equipment composing the food system, water system, sleep system, waste management system, personal hygiene system, trash management system, and entertainment equipment. Equipment not specifically defined as habitability hardware but which served that function were the Wardroom window, the exercise equipment, and the intercom system, which was occasionally used for private communications. All Skylab habitability hardware generally functioned as intended for the three missions, and most items could be considered as adequate concepts for future flights of similar duration. Specific components were criticized for their shortcomings.
Comparative Modal Analysis of Sieve Hardware Designs
Thompson, Nathaniel
2012-01-01
The CMTB Thwacker hardware operates as a testbed analogue for the Flight Thwacker and Sieve components of CHIMRA, a device on the Curiosity Rover. The sieve separates particles with a diameter smaller than 150 microns for delivery to onboard science instruments. The sieving behavior of the testbed hardware should be similar to the Flight hardware for the results to be meaningful. The elastodynamic behavior of both sieves was studied analytically using the Rayleigh Ritz method in conjunction with classical plate theory. Finite element models were used to determine the mode shapes of both designs, and comparisons between the natural frequencies and mode shapes were made. The analysis predicts that the performance of the CMTB Thwacker will closely resemble the performance of the Flight Thwacker within the expected steady state operating regime. Excitations of the testbed hardware that will mimic the flight hardware were recommended, as were those that will improve the efficiency of the sieving process.
Andreescu, Titu; Tetiva, Marian
2017-01-01
Building bridges between classical results and contemporary nonstandard problems, Mathematical Bridges embraces important topics in analysis and algebra from a problem-solving perspective. Blending old and new techniques, tactics and strategies used in solving challenging mathematical problems, readers will discover numerous genuine mathematical gems throughout that will heighten their appreciation of the inherent beauty of mathematics. Most of the problems are original to the authors and are intertwined in a well-motivated exposition driven by representative examples. The book is structured to assist the reader in formulating and proving conjectures, as well as devising solutions to important mathematical problems by making connections between various concepts and ideas from different areas of mathematics. Instructors and educators teaching problem-solving courses or organizing mathematics clubs, as well as motivated mathematics students from high school juniors to college seniors, will find Mathematical Bri...
Mathematical foundations of elasticity
Marsden, Jerrold E
1994-01-01
This advanced-level study approaches mathematical foundations of three-dimensional elasticity using modern differential geometry and functional analysis. It is directed to mathematicians, engineers and physicists who wish to see this classical subject in a modern setting with examples of newer mathematical contributions. Prerequisites include a solid background in advanced calculus and the basics of geometry and functional analysis.The first two chapters cover the background geometry ― developed as needed ― and use this discussion to obtain the basic results on kinematics and dynamics of con
Dennery, Philippe
1967-01-01
""A fine example of how to present 'classical' physical mathematics."" - American ScientistWritten for advanced undergraduate and graduate students, this volume provides a thorough background in the mathematics needed to understand today's more advanced topics in physics and engineering. Without sacrificing rigor, the authors develop the theoretical material at length, in a highly readable, and, wherever possible, in an intuitive manner. Each abstract idea is accompanied by a very simple, concrete example, showing the student that the abstraction is merely a generalization from easily understo
Continuum mechanics the birthplace of mathematical models
Allen, Myron B
2015-01-01
Continuum mechanics is a standard course in many graduate programs in engineering and applied mathematics as it provides the foundations for the various differential equations and mathematical models that are encountered in fluid mechanics, solid mechanics, and heat transfer. This book successfully makes the topic more accessible to advanced undergraduate mathematics majors by aligning the mathematical notation and language with related courses in multivariable calculus, linear algebra, and differential equations; making connections with other areas of applied mathematics where parial differe
ADvanced Electric Powertrain Technology (ADEPT) : virtual and hardware platforms
Lomonova, E.A.; Paulides, J.J.H.; Wilkins, S.; Tegenbosch, J.A.P.
2015-01-01
Alternative energy sources for traditional combustion engines (e.g. fuel cells, solar cells, batteries) in vehicles like motorbikes, cars, trucks, boats, planes will go hand in hand with a massive growth of the application of electric machines inside (`E-propulsion'). For automotive, marine,
African Journal of Educational Studies in Mathematics and Sciences ...
African Journals Online (AJOL)
African Journal of Educational Studies in Mathematics and Sciences: Advanced Search. Journal Home > African Journal of Educational Studies in Mathematics and Sciences: Advanced Search. Log in or Register to get access to full text downloads.
Transmission delays in hardware clock synchronization
Shin, Kang G.; Ramanathan, P.
1988-01-01
Various methods, both with software and hardware, have been proposed to synchronize a set of physical clocks in a system. Software methods are very flexible and economical but suffer an excessive time overhead, whereas hardware methods require no time overhead but are unable to handle transmission delays in clock signals. The effects of nonzero transmission delays in synchronization have been studied extensively in the communication area in the absence of malicious or Byzantine faults. The authors show that it is easy to incorporate the ideas from the communication area into the existing hardware clock synchronization algorithms to take into account the presence of both malicious faults and nonzero transmission delays.
Calculator: A Hardware Design, Math and Software Programming Project Base Learning
Directory of Open Access Journals (Sweden)
F. Criado
2015-03-01
Full Text Available This paper presents the implementation by the students of a complex calculator in hardware. This project meets hardware design goals, and also highly motivates them to use competences learned in others subjects. The learning process, associated to System Design, is hard enough because the students have to deal with parallel execution, signal delay, synchronization … Then, to strengthen the knowledge of hardware design a methodology as project based learning (PBL is proposed. Moreover, it is also used to reinforce cross subjects like math and software programming. This methodology creates a course dynamics that is closer to a professional environment where they will work with software and mathematics to resolve the hardware design problems. The students design from zero the functionality of the calculator. They are who make the decisions about the math operations that it is able to resolve it, and also the operands format or how to introduce a complex equation into the calculator. This will increase the student intrinsic motivation. In addition, since the choices may have consequences on the reliability of the calculator, students are encouraged to program in software the decisions about how implement the selected mathematical algorithm. Although math and hardware design are two tough subjects for students, the perception that they get at the end of the course is quite positive.
... this page: //medlineplus.gov/ency/article/001534.htm Mathematics disorder To use the sharing features on this page, please enable JavaScript. Mathematics disorder is a condition in which a child's ...
Trinajstić, Nenad; Gutman, Ivan
2002-01-01
A brief description is given of the historical development of mathematics and chemistry. A path leading to the meeting of these two sciences is described. An attempt is made to define mathematical chemistry, and journals containing the term mathematical chemistry in their titles are noted. In conclusion, the statement is made that although chemistry is an experimental science aimed at preparing new compounds and materials, mathematics is very useful in chemistry, among other things, to produc...
Introduction to mathematics of satisfiability
Marek, Victor W
2009-01-01
Although this area has a history of over 80 years, it was not until the creation of efficient SAT solvers in the mid-1990s that it became practically important, finding applications in electronic design automation, hardware and software verification, combinatorial optimization, and more. Exploring the theoretical and practical aspects of satisfiability, Introduction to Mathematics of Satisfiability focuses on the satisfiability of theories consisting of propositional logic formulas. It describes how SAT solvers and techniques are applied to problems in mathematics and computer science as well
Kilpatrick, Jeremy
2014-01-01
This paper addresses the contested way that ethnomathematics has sometimes been received by mathematicians and others and what that disagreement might suggest about issues in mathematics education; namely, (a) the relation of ethnomathematics to academic mathematics; (b) recent efforts to reform secondary school mathematics so that it prepares…
Federal Laboratory Consortium — RTC has a suite of Hardware-in-the Loop facilities that include three operational facilities that provide performance assessment and production acceptance testing of...
Hardware device binding and mutual authentication
Hamlet, Jason R; Pierson, Lyndon G
2014-03-04
Detection and deterrence of device tampering and subversion by substitution may be achieved by including a cryptographic unit within a computing device for binding multiple hardware devices and mutually authenticating the devices. The cryptographic unit includes a physically unclonable function ("PUF") circuit disposed in or on the hardware device, which generates a binding PUF value. The cryptographic unit uses the binding PUF value during an enrollment phase and subsequent authentication phases. During a subsequent authentication phase, the cryptographic unit uses the binding PUF values of the multiple hardware devices to generate a challenge to send to the other device, and to verify a challenge received from the other device to mutually authenticate the hardware devices.
Implementation of Hardware Accelerators on Zynq
DEFF Research Database (Denmark)
Toft, Jakob Kenn
of the ARM Cortex-9 processor featured on the Zynq SoC, with regard to execution time, power dissipation and energy consumption. The implementation of the hardware accelerators were successful. Use of the Monte Carlo processor resulted in a significant increase in performance. The Telco hardware accelerator......In the recent years it has become obvious that the performance of general purpose processors are having trouble meeting the requirements of high performance computing applications of today. This is partly due to the relatively high power consumption, compared to the performance, of general purpose...... processors, which has made hardware accelerators an essential part of several datacentres and the worlds fastest super-computers. In this work, two different hardware accelerators were implemented on a Xilinx Zynq SoC platform mounted on the ZedBoard platform. The two accelerators are based on two different...
Mathematics for physical chemistry
Mortimer, Robert G
2005-01-01
Mathematics for Physical Chemistry, Third Edition, is the ideal text for students and physical chemists who want to sharpen their mathematics skills. It can help prepare the reader for an undergraduate course, serve as a supplementary text for use during a course, or serve as a reference for graduate students and practicing chemists. The text concentrates on applications instead of theory, and, although the emphasis is on physical chemistry, it can also be useful in general chemistry courses. The Third Edition includes new exercises in each chapter that provide practice in a technique immediately after discussion or example and encourage self-study. The first ten chapters are constructed around a sequence of mathematical topics, with a gradual progression into more advanced material. The final chapter discusses mathematical topics needed in the analysis of experimental data.* Numerous examples and problems interspersed throughout the presentations * Each extensive chapter contains a preview, objectives, and ...
Cooperative communications hardware, channel and PHY
Dohler, Mischa
2010-01-01
Facilitating Cooperation for Wireless Systems Cooperative Communications: Hardware, Channel & PHY focuses on issues pertaining to the PHY layer of wireless communication networks, offering a rigorous taxonomy of this dispersed field, along with a range of application scenarios for cooperative and distributed schemes, demonstrating how these techniques can be employed. The authors discuss hardware, complexity and power consumption issues, which are vital for understanding what can be realized at the PHY layer, showing how wireless channel models differ from more traditional
Designing Secure Systems on Reconfigurable Hardware
Huffmire, Ted; Brotherton, Brett; Callegari, Nick; Valamehr, Jonathan; White, Jeff; Kastner, Ryan; Sherwood, Ted
2008-01-01
The extremely high cost of custom ASIC fabrication makes FPGAs an attractive alternative for deployment of custom hardware. Embedded systems based on reconfigurable hardware integrate many functions onto a single device. Since embedded designers often have no choice but to use soft IP cores obtained from third parties, the cores operate at different trust levels, resulting in mixed trust designs. The goal of this project is to evaluate recently proposed security primitives for reconfigurab...
IDD Archival Hardware Architecture and Workflow
Energy Technology Data Exchange (ETDEWEB)
Mendonsa, D; Nekoogar, F; Martz, H
2008-10-09
This document describes the functionality of every component in the DHS/IDD archival and storage hardware system shown in Fig. 1. The document describes steps by step process of image data being received at LLNL then being processed and made available to authorized personnel and collaborators. Throughout this document references will be made to one of two figures, Fig. 1 describing the elements of the architecture and the Fig. 2 describing the workflow and how the project utilizes the available hardware.
Nickerson, HK; Steenrod, NE
2011-01-01
""This book is a radical departure from all previous concepts of advanced calculus,"" declared the Bulletin of the American Mathematics Society, ""and the nature of this departure merits serious study of the book by everyone interested in undergraduate education in mathematics."" Classroom-tested in a Princeton University honors course, it offers students a unified introduction to advanced calculus. Starting with an abstract treatment of vector spaces and linear transforms, the authors introduce a single basic derivative in an invariant form. All other derivatives - gradient, divergent, curl,
New Technologies in Mathematics.
Sarmiento, Jorge
An understanding of past technological advancements can help educators understand the influence of new technologies in education. Inventions such as the abacus, logarithms, the slide rule, the calculating machine, computers, and electronic calculators have all found their place in mathematics education. While new technologies can be very useful,…
Software for Managing Inventory of Flight Hardware
Salisbury, John; Savage, Scott; Thomas, Shirman
2003-01-01
The Flight Hardware Support Request System (FHSRS) is a computer program that relieves engineers at Marshall Space Flight Center (MSFC) of most of the non-engineering administrative burden of managing an inventory of flight hardware. The FHSRS can also be adapted to perform similar functions for other organizations. The FHSRS affords a combination of capabilities, including those formerly provided by three separate programs in purchasing, inventorying, and inspecting hardware. The FHSRS provides a Web-based interface with a server computer that supports a relational database of inventory; electronic routing of requests and approvals; and electronic documentation from initial request through implementation of quality criteria, acquisition, receipt, inspection, storage, and final issue of flight materials and components. The database lists both hardware acquired for current projects and residual hardware from previous projects. The increased visibility of residual flight components provided by the FHSRS has dramatically improved the re-utilization of materials in lieu of new procurements, resulting in a cost savings of over $1.7 million. The FHSRS includes subprograms for manipulating the data in the database, informing of the status of a request or an item of hardware, and searching the database on any physical or other technical characteristic of a component or material. The software structure forces normalization of the data to facilitate inquiries and searches for which users have entered mixed or inconsistent values.
Benchmarking and Hardware-In-The-Loop Operation of a ...
Engine Performance evaluation in support of LD MTE. EPA used elements of its ALPHA model to apply hardware-in-the-loop (HIL) controls to the SKYACTIV engine test setup to better understand how the engine would operate in a chassis test after combined with future leading edge technologies, advanced high-efficiency transmission, reduced mass, and reduced roadload. Predict future vehicle performance with Atkinson engine. As part of its technology assessment for the upcoming midterm evaluation of the 2017-2025 LD vehicle GHG emissions regulation, EPA has been benchmarking engines and transmissions to generate inputs for use in its ALPHA model
Fundamentals of GPS Receivers A Hardware Approach
Doberstein, Dan
2012-01-01
While much of the current literature on GPS receivers is aimed at those intimately familiar with their workings, this volume summarizes the basic principles using as little mathematics as possible, and details the necessary specifications and circuits for constructing a GPS receiver that is accurate to within 300 meters. Dedicated sections deal with the features of the GPS signal and its data stream, the details of the receiver (using a hybrid design as exemplar), and more advanced receivers and topics including time and frequency measurements. Later segments discuss the Zarlink GPS receiver chip set, as well as providing a thorough examination of the TurboRogue receiver, one of the most accurate yet made. Guiding the reader through the concepts and circuitry, from the antenna to the solution of user position, the book’s deployment of a hybrid receiver as a basis for discussion allows for extrapolation of the core ideas to more complex, and more accurate designs. Digital methods are used, but any analogue c...
DEFF Research Database (Denmark)
Blomhøj, Morten
2004-01-01
Developing competences for setting up, analysing and criticising mathematical models are normally seen as relevant only from and above upper secondary level. The general belief among teachers is that modelling activities presuppose conceptual understanding of the mathematics involved. Mathematical...... roots for the construction of important mathematical concepts. In addition competences for setting up, analysing and criticising modelling processes and the possible use of models is a formative aim in this own right for mathematics teaching in general education. The paper presents a theoretical...... modelling, however, can be seen as a practice of teaching that place the relation between real life and mathematics into the centre of teaching and learning mathematics, and this is relevant at all levels. Modelling activities may motivate the learning process and help the learner to establish cognitive...
DEFF Research Database (Denmark)
Sørensen, John Aasted
2011-01-01
The objectives of Discrete Mathematics (IDISM2) are: The introduction of the mathematics needed for analysis, design and verification of discrete systems, including the application within programming languages for computer systems. Having passed the IDISM2 course, the student will be able...... to accomplish the following: -Understand and apply formal representations in discrete mathematics. -Understand and apply formal representations in problems within discrete mathematics. -Understand methods for solving problems in discrete mathematics. -Apply methods for solving problems in discrete mathematics......; construct a finite state machine for a given application. Apply these concepts to new problems. The teaching in Discrete Mathematics is a combination of sessions with lectures and students solving problems, either manually or by using Matlab. Furthermore a selection of projects must be solved and handed...
Mathematical Modeling and Pure Mathematics
Usiskin, Zalman
2015-01-01
Common situations, like planning air travel, can become grist for mathematical modeling and can promote the mathematical ideas of variables, formulas, algebraic expressions, functions, and statistics. The purpose of this article is to illustrate how the mathematical modeling that is present in everyday situations can be naturally embedded in…
International Nuclear Information System (INIS)
Kole, J S; Beekman, F J
2006-01-01
Statistical reconstruction methods offer possibilities to improve image quality as compared with analytical methods, but current reconstruction times prohibit routine application in clinical and micro-CT. In particular, for cone-beam x-ray CT, the use of graphics hardware has been proposed to accelerate the forward and back-projection operations, in order to reduce reconstruction times. In the past, wide application of this texture hardware mapping approach was hampered owing to limited intrinsic accuracy. Recently, however, floating point precision has become available in the latest generation commodity graphics cards. In this paper, we utilize this feature to construct a graphics hardware accelerated version of the ordered subset convex reconstruction algorithm. The aims of this paper are (i) to study the impact of using graphics hardware acceleration for statistical reconstruction on the reconstructed image accuracy and (ii) to measure the speed increase one can obtain by using graphics hardware acceleration. We compare the unaccelerated algorithm with the graphics hardware accelerated version, and for the latter we consider two different interpolation techniques. A simulation study of a micro-CT scanner with a mathematical phantom shows that at almost preserved reconstructed image accuracy, speed-ups of a factor 40 to 222 can be achieved, compared with the unaccelerated algorithm, and depending on the phantom and detector sizes. Reconstruction from physical phantom data reconfirms the usability of the accelerated algorithm for practical cases
Multistage switching hardware and software implementations for student experiment purpose
Sani, A.; Suherman
2018-02-01
Current communication and internet networks are underpinned by the switching technologies that interconnect one network to the others. Students’ understanding on networks rely on how they conver the theories. However, understanding theories without touching the reality may exert spots in the overall knowledge. This paper reports the progress of the multistage switching design and implementation for student laboratory activities. The hardware and software designs are based on three stages clos switching architecture with modular 2x2 switches, controlled by an arduino microcontroller. The designed modules can also be extended for batcher and bayan switch, and working on circuit and packet switching systems. The circuit analysis and simulation show that the blocking probability for each switch combinations can be obtained by generating random or patterned traffics. The mathematic model and simulation analysis shows 16.4% blocking probability differences as the traffic generation is uniform. The circuits design components and interfacing solution have been identified to allow next step implementation.
Cognon Neural Model Software Verification and Hardware Implementation Design
Haro Negre, Pau
Little is known yet about how the brain can recognize arbitrary sensory patterns within milliseconds using neural spikes to communicate information between neurons. In a typical brain there are several layers of neurons, with each neuron axon connecting to ˜104 synapses of neurons in an adjacent layer. The information necessary for cognition is contained in theses synapses, which strengthen during the learning phase in response to newly presented spike patterns. Continuing on the model proposed in "Models for Neural Spike Computation and Cognition" by David H. Staelin and Carl H. Staelin, this study seeks to understand cognition from an information theoretic perspective and develop potential models for artificial implementation of cognition based on neuronal models. To do so we focus on the mathematical properties and limitations of spike-based cognition consistent with existing neurological observations. We validate the cognon model through software simulation and develop concepts for an optical hardware implementation of a network of artificial neural cognons.
Stöltzner, Michael
Answering to the double-faced influence of string theory on mathematical practice and rigour, the mathematical physicists Arthur Jaffe and Frank Quinn have contemplated the idea that there exists a `theoretical' mathematics (alongside `theoretical' physics) whose basic structures and results still require independent corroboration by mathematical proof. In this paper, I shall take the Jaffe-Quinn debate mainly as a problem of mathematical ontology and analyse it against the backdrop of two philosophical views that are appreciative towards informal mathematical development and conjectural results: Lakatos's methodology of proofs and refutations and John von Neumann's opportunistic reading of Hilbert's axiomatic method. The comparison of both approaches shows that mitigating Lakatos's falsificationism makes his insights about mathematical quasi-ontology more relevant to 20th century mathematics in which new structures are introduced by axiomatisation and not necessarily motivated by informal ancestors. The final section discusses the consequences of string theorists' claim to finality for the theory's mathematical make-up. I argue that ontological reductionism as advocated by particle physicists and the quest for mathematically deeper axioms do not necessarily lead to identical results.
VEG-01: Veggie Hardware Verification Testing
Massa, Gioia; Newsham, Gary; Hummerick, Mary; Morrow, Robert; Wheeler, Raymond
2013-01-01
The Veggie plant/vegetable production system is scheduled to fly on ISS at the end of2013. Since much of the technology associated with Veggie has not been previously tested in microgravity, a hardware validation flight was initiated. This test will allow data to be collected about Veggie hardware functionality on ISS, allow crew interactions to be vetted for future improvements, validate the ability of the hardware to grow and sustain plants, and collect data that will be helpful to future Veggie investigators as they develop their payloads. Additionally, food safety data on the lettuce plants grown will be collected to help support the development of a pathway for the crew to safely consume produce grown on orbit. Significant background research has been performed on the Veggie plant growth system, with early tests focusing on the development of the rooting pillow concept, and the selection of fertilizer, rooting medium and plant species. More recent testing has been conducted to integrate the pillow concept into the Veggie hardware and to ensure that adequate water is provided throughout the growth cycle. Seed sanitation protocols have been established for flight, and hardware sanitation between experiments has been studied. Methods for shipping and storage of rooting pillows and the development of crew procedures and crew training videos for plant activities on-orbit have been established. Science verification testing was conducted and lettuce plants were successfully grown in prototype Veggie hardware, microbial samples were taken, plant were harvested, frozen, stored and later analyzed for microbial growth, nutrients, and A TP levels. An additional verification test, prior to the final payload verification testing, is desired to demonstrate similar growth in the flight hardware and also to test a second set of pillows containing zinnia seeds. Issues with root mat water supply are being resolved, with final testing and flight scheduled for later in 2013.
From Open Source Software to Open Source Hardware
Viseur , Robert
2012-01-01
Part 2: Lightning Talks; International audience; The open source software principles progressively give rise to new initiatives for culture (free culture), data (open data) or hardware (open hardware). The open hardware is experiencing a significant growth but the business models and legal aspects are not well known. This paper is dedicated to the economics of open hardware. We define the open hardware concept and determine intellectual property tools we can apply to open hardware, with a str...
Introduction to co-simulation of software and hardware in embedded processor systems
Energy Technology Data Exchange (ETDEWEB)
Dreike, P.L.; McCoy, J.A.
1996-09-01
From the dawn of the first use of microprocessors and microcontrollers in embedded systems, the software has been blamed for products being late to market, This is due to software being developed after hardware is fabricated. During the past few years, the use of Hardware Description (or Design) Languages (HDLs) and digital simulation have advanced to a point where the concurrent development of software and hardware can be contemplated using simulation environments. This offers the potential of 50% or greater reductions in time-to-market for embedded systems. This paper is a tutorial on the technical issues that underlie software-hardware (swhw) co-simulation, and the current state of the art. We review the traditional sequential hardware-software design paradigm, and suggest a paradigm for concurrent design, which is supported by co-simulation of software and hardware. This is followed by sections on HDLs modeling and simulation;hardware assisted approaches to simulation; microprocessor modeling methods; brief descriptions of four commercial products for sw-hw co-simulation and a description of our own experiments to develop a co-simulation environment.
Flight Hardware Virtualization for On-Board Science Data Processing
National Aeronautics and Space Administration — Utilize Hardware Virtualization technology to benefit on-board science data processing by investigating new real time embedded Hardware Virtualization solutions and...
Mathematical Creativity: Psychology, Progress and Caveats
Sriraman, Bharath
2017-01-01
The aim of this paper is to provide a concise survey of advances in the study of the psychology of creativity, with an emphasis on literature that is typically not cited in mathematics education. In spite of claims that mathematical creativity is an ill-defined area of inquiry in mathematics education, the literature from psychology can serve as…
Non-fuel bearing hardware melting technology
International Nuclear Information System (INIS)
Newman, D.F.
1993-01-01
Battelle has developed a portable hardware melter concept that would allow spent fuel rod consolidation operations at commercial nuclear power plants to provide significantly more storage space for other spent fuel assemblies in existing pool racks at lower cost. Using low pressure compaction, the non-fuel bearing hardware (NFBH) left over from the removal of spent fuel rods from the stainless steel end fittings and the Zircaloy guide tubes and grid spacers still occupies 1/3 to 2/5 of the volume of the consolidated fuel rod assemblies. Melting the non-fuel bearing hardware reduces its volume by a factor 4 from that achievable with low-pressure compaction. This paper describes: (1) the configuration and design features of Battelle's hardware melter system that permit its portability, (2) the system's throughput capacity, (3) the bases for capital and operating estimates, and (4) the status of NFBH melter demonstration to reduce technical risks for implementation of the concept. Since all NFBH handling and processing operations would be conducted at the reactor site, costs for shipping radioactive hardware to and from a stationary processing facility for volume reduction are avoided. Initial licensing, testing, and installation in the field would follow the successful pattern achieved with rod consolidation technology
Mathematics across cultures the history of non-Western mathematics
2000-01-01
Mathematics Across Cultures: A History of Non-Western Mathematics consists of essays dealing with the mathematical knowledge and beliefs of cultures outside the United States and Europe. In addition to articles surveying Islamic, Chinese, Native American, Aboriginal Australian, Inca, Egyptian, and African mathematics, among others, the book includes essays on Rationality, Logic and Mathematics, and the transfer of knowledge from East to West. The essays address the connections between science and culture and relate the mathematical practices to the cultures which produced them. Each essay is well illustrated and contains an extensive bibliography. Because the geographic range is global, the book fills a gap in both the history of science and in cultural studies. It should find a place on the bookshelves of advanced undergraduate students, graduate students, and scholars, as well as in libraries serving those groups.
Aigner, Martin; Spain, Philip G
2010-01-01
Mathematics is all around us. Often we do not realize it, though. Mathematics Everywhere is a collection of presentations on the role of mathematics in everyday life, through science, technology, and culture. The common theme is the unique position of mathematics as the art of pure thought and at the same time as a universally applicable science. The authors are renowned mathematicians; their presentations cover a wide range of topics. From compact discs to the stock exchange, from computer tomography to traffic routing, from electronic money to climate change, they make the "math inside" unde
Jothi, A Lenin
2009-01-01
Financial services, particularly banking and insurance services is the prominent sector for the development of a nation. After the liberalisation of financial sector in India, the scope of getting career opportunities has been widened. It is heartening to note that various universities in India have introduced professional courses on banking and insurance. A new field of applied mathematics has come into prominence under the name of Financial Mathematics. Financial mathematics has attained much importance in the recent years because of the role played by mathematical concepts in decision - m
Pappas, Theoni
1997-01-01
In this highly readable volume of vignettes of mathematical scandals and gossip, Theoni Pappas assembles 29 fascinating stories of intrigue and the bizarre ? in short, the human background of the history of mathematics. Might a haberdasher have changed Einstein's life? Why was the first woman mathematician murdered? How come there's no Nobel Prize in mathematics?Mathematics is principally about numbers, equations, and solutions, all of them precise and timeless. But, behind this arcane matter lies the sometimes sordid world of real people, whose rivalries and deceptions
A Hardware Abstraction Layer in Java
DEFF Research Database (Denmark)
Schoeberl, Martin; Korsholm, Stephan; Kalibera, Tomas
2011-01-01
Embedded systems use specialized hardware devices to interact with their environment, and since they have to be dependable, it is attractive to use a modern, type-safe programming language like Java to develop programs for them. Standard Java, as a platform-independent language, delegates access...... to devices, direct memory access, and interrupt handling to some underlying operating system or kernel, but in the embedded systems domain resources are scarce and a Java Virtual Machine (JVM) without an underlying middleware is an attractive architecture. The contribution of this article is a proposal...... for Java packages with hardware objects and interrupt handlers that interface to such a JVM. We provide implementations of the proposal directly in hardware, as extensions of standard interpreters, and finally with an operating system middleware. The latter solution is mainly seen as a migration path...
Hardware Acceleration of Adaptive Neural Algorithms.
Energy Technology Data Exchange (ETDEWEB)
James, Conrad D. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
2017-11-01
As tradit ional numerical computing has faced challenges, researchers have turned towards alternative computing approaches to reduce power - per - computation metrics and improve algorithm performance. Here, we describe an approach towards non - conventional computing that strengthens the connection between machine learning and neuroscience concepts. The Hardware Acceleration of Adaptive Neural Algorithms (HAANA) project ha s develop ed neural machine learning algorithms and hardware for applications in image processing and cybersecurity. While machine learning methods are effective at extracting relevant features from many types of data, the effectiveness of these algorithms degrades when subjected to real - world conditions. Our team has generated novel neural - inspired approa ches to improve the resiliency and adaptability of machine learning algorithms. In addition, we have also designed and fabricated hardware architectures and microelectronic devices specifically tuned towards the training and inference operations of neural - inspired algorithms. Finally, our multi - scale simulation framework allows us to assess the impact of microelectronic device properties on algorithm performance.
MFTF supervisory control and diagnostics system hardware
International Nuclear Information System (INIS)
Butner, D.N.
1979-01-01
The Supervisory Control and Diagnostics System (SCDS) for the Mirror Fusion Test Facility (MFTF) is a multiprocessor minicomputer system designed so that for most single-point failures, the hardware may be quickly reconfigured to provide continued operation of the experiment. The system is made up of nine Perkin-Elmer computers - a mixture of 8/32's and 7/32's. Each computer has ports on a shared memory system consisting of two independent shared memory modules. Each processor can signal other processors through hardware external to the shared memory. The system communicates with the Local Control and Instrumentation System, which consists of approximately 65 microprocessors. Each of the six system processors has facilities for communicating with a group of microprocessors; the groups consist of from four to 24 microprocessors. There are hardware switches so that if an SCDS processor communicating with a group of microprocessors fails, another SCDS processor takes over the communication
Mathematical analysis fundamentals
Bashirov, Agamirza
2014-01-01
The author's goal is a rigorous presentation of the fundamentals of analysis, starting from elementary level and moving to the advanced coursework. The curriculum of all mathematics (pure or applied) and physics programs include a compulsory course in mathematical analysis. This book will serve as can serve a main textbook of such (one semester) courses. The book can also serve as additional reading for such courses as real analysis, functional analysis, harmonic analysis etc. For non-math major students requiring math beyond calculus, this is a more friendly approach than many math-centric o
Mathematical problems in meteorological modelling
Csomós, Petra; Faragó, István; Horányi, András; Szépszó, Gabriella
2016-01-01
This book deals with mathematical problems arising in the context of meteorological modelling. It gathers and presents some of the most interesting and important issues from the interaction of mathematics and meteorology. It is unique in that it features contributions on topics like data assimilation, ensemble prediction, numerical methods, and transport modelling, from both mathematical and meteorological perspectives. The derivation and solution of all kinds of numerical prediction models require the application of results from various mathematical fields. The present volume is divided into three parts, moving from mathematical and numerical problems through air quality modelling, to advanced applications in data assimilation and probabilistic forecasting. The book arose from the workshop “Mathematical Problems in Meteorological Modelling” held in Budapest in May 2014 and organized by the ECMI Special Interest Group on Numerical Weather Prediction. Its main objective is to highlight the beauty of the de...
Hardware Accelerated Sequence Alignment with Traceback
Directory of Open Access Journals (Sweden)
Scott Lloyd
2009-01-01
in a timely manner. Known methods to accelerate alignment on reconfigurable hardware only address sequence comparison, limit the sequence length, or exhibit memory and I/O bottlenecks. A space-efficient, global sequence alignment algorithm and architecture is presented that accelerates the forward scan and traceback in hardware without memory and I/O limitations. With 256 processing elements in FPGA technology, a performance gain over 300 times that of a desktop computer is demonstrated on sequence lengths of 16000. For greater performance, the architecture is scalable to more processing elements.
Human Centered Hardware Modeling and Collaboration
Stambolian Damon; Lawrence, Brad; Stelges, Katrine; Henderson, Gena
2013-01-01
In order to collaborate engineering designs among NASA Centers and customers, to in clude hardware and human activities from multiple remote locations, live human-centered modeling and collaboration across several sites has been successfully facilitated by Kennedy Space Center. The focus of this paper includes innovative a pproaches to engineering design analyses and training, along with research being conducted to apply new technologies for tracking, immersing, and evaluating humans as well as rocket, vehic le, component, or faci lity hardware utilizing high resolution cameras, motion tracking, ergonomic analysis, biomedical monitoring, wor k instruction integration, head-mounted displays, and other innovative human-system integration modeling, simulation, and collaboration applications.
The Effect of Superstar Software on Hardware Sales in System Markets
Binken, Jeroen; Stremersch, Stefan
2008-01-01
textabstractSystems are composed of complementary products (e.g., video game systems are composed of the video game console and video games). Prior literature on indirect network effects argues that, in system markets, sales of the primary product (often referred to as "hardware") largely depend on the availability of complementary products (often referred to as "software"). Mathematical and empirical analyses have almost exclusively operationalized software availability as software quantity....
Kleene, Stephen Cole
1967-01-01
Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition.
Huckstep, Peter
2002-01-01
Contends teachers must resist the temptation to suggest that, while children can create stories and melodies, they cannot create mathematics. Quotes mathematician G. H. Hardy: "A mathematician, like a painter or poet, is a 'maker' of patterns." Considers mathematics should be able to stand up for itself. (BT)
Batchelder, William H
2010-09-01
Mathematical psychology is a sub-field of psychology that started in the 1950s and has continued to grow as an important contributor to formal psychological theory, especially in the cognitive areas of psychology such as learning, memory, classification, choice response time, decision making, attention, and problem solving. In addition, there are several scientific sub-areas that were originated by mathematical psychologists such as the foundations of measurement, stochastic memory models, and psychologically motivated reformulations of expected utility theory. Mathematical psychology does not include all uses of mathematics and statistics in psychology, and indeed there is a long history of such uses especially in the areas of perception and psychometrics. What is most unique about mathematical psychology is its approach to theory construction. While accepting the behaviorist dictum that the data in psychology must be observable and replicable, mathematical models are specified in terms of unobservable formal constructs that can predict detailed aspects of data across multiple experimental and natural settings. By now almost all the substantive areas of cognitive and experimental psychology have formal mathematical models and theories, and many of these are due to researchers that identify with mathematical psychology. Copyright © 2010 John Wiley & Sons, Ltd. For further resources related to this article, please visit the WIREs website. Copyright © 2010 John Wiley & Sons, Ltd.
Kodaira, Kunihiko
1996-01-01
This is the translation from the Japanese textbook for the grade 11 course, "General Mathematics". It is part of the easier of the three elective courses in mathematics offered at this level and is taken by about 40% of students. The book covers basic notions of probability and statistics, vectors, exponential, logarithmic, and trigonometric functions, and an introduction to differentiation and integration.
Rodríguez, Nancy
2015-03-01
The use of mathematical tools has long proved to be useful in gaining understanding of complex systems in physics [1]. Recently, many researchers have realized that there is an analogy between emerging phenomena in complex social systems and complex physical or biological systems [4,5,12]. This realization has particularly benefited the modeling and understanding of crime, a ubiquitous phenomena that is far from being understood. In fact, when one is interested in the bulk behavior of patterns that emerge from small and seemingly unrelated interactions as well as decisions that occur at the individual level, the mathematical tools that have been developed in statistical physics, game theory, network theory, dynamical systems, and partial differential equations can be useful in shedding light into the dynamics of these patterns [2-4,6,12].
Modern mathematics for the engineer second series
1961-01-01
This volume and its predecessor were conceived to advance the level of mathematical sophistication in the engineering community. The books particularly focus on material relevant to solving the kinds of mathematical problems regularly confronted by engineers. Suitable as a text for advanced undergraduate and graduate courses as well as a reference for professionals, Volume Two's three-part treatment covers mathematical methods, statistical and scheduling studies, and physical phenomena. Contributions include chapters on chance processes and fluctuations by William Feller, Monte Carlo calculati
Modern mathematics for the engineer first series
1956-01-01
This volume and its successor were conceived to advance the level of mathematical sophistication in the engineering community. The books particularly focus on material relevant to solving the kinds of mathematical problems regularly confronted by engineers. Suitable as a text for advanced undergraduate and graduate courses as well as a reference for professionals, Volume One's three-part treatment covers mathematical models, probabilistic problems, and computational considerations. Contributions include chapters on linear and nonlinear oscillations by Solomon Lefschetz, on hyperbolic partial
DEFF Research Database (Denmark)
Sørensen, John Aasted
2011-01-01
; construct a finite state machine for a given application. Apply these concepts to new problems. The teaching in Discrete Mathematics is a combination of sessions with lectures and students solving problems, either manually or by using Matlab. Furthermore a selection of projects must be solved and handed...... to accomplish the following: -Understand and apply formal representations in discrete mathematics. -Understand and apply formal representations in problems within discrete mathematics. -Understand methods for solving problems in discrete mathematics. -Apply methods for solving problems in discrete mathematics...... to new problems. Relations and functions: Define a product set; define and apply equivalence relations; construct and apply functions. Apply these concepts to new problems. Natural numbers and induction: Define the natural numbers; apply the principle of induction to verify a selection of properties...
Murray, James D
1993-01-01
The book is a textbook (with many exercises) giving an in-depth account of the practical use of mathematical modelling in the biomedical sciences. The mathematical level required is generally not high and the emphasis is on what is required to solve the real biological problem. The subject matter is drawn, e.g. from population biology, reaction kinetics, biological oscillators and switches, Belousov-Zhabotinskii reaction, reaction-diffusion theory, biological wave phenomena, central pattern generators, neural models, spread of epidemics, mechanochemical theory of biological pattern formation and importance in evolution. Most of the models are based on real biological problems and the predictions and explanations offered as a direct result of mathematical analysis of the models are important aspects of the book. The aim is to provide a thorough training in practical mathematical biology and to show how exciting and novel mathematical challenges arise from a genuine interdisciplinary involvement with the biosci...
Parshall, Karen Hunger
2002-01-01
Although today's mathematical research community takes its international character very much for granted, this "global nature" is relatively recent, having evolved over a period of roughly 150 years-from the beginning of the nineteenth century to the middle of the twentieth century. During this time, the practice of mathematics changed from being centered on a collection of disparate national communities to being characterized by an international group of scholars for whom the goal of mathematical research and cooperation transcended national boundaries. Yet, the development of an international community was far from smooth and involved obstacles such as war, political upheaval, and national rivalries. Until now, this evolution has been largely overlooked by historians and mathematicians alike. This book addresses the issue by bringing together essays by twenty experts in the history of mathematics who have investigated the genesis of today's international mathematical community. This includes not only develo...
Directory of Open Access Journals (Sweden)
Sead Rešić
2015-09-01
Full Text Available It is very difficult to motivate students when it comes to a school subject like Mathematics. Teachers spend a lot of time trying to find something that will arouse interest in students. It is particularly difficult to find materials that are motivating enough for students that they eagerly wait for the next lesson. One of the solutions may be found in Vedic Mathematics. Traditional methods of teaching Mathematics create fear of this otherwise interesting subject in the majority of students. Fear increases failure. Often the traditional, conventional mathematical methods consist of very long lessons which are difficult to understand. Vedic Mathematics is an ancient system that is very flexible and encourages the development of intuition and innovation. It is a mental calculating tool that does not require a calculator because the calculator is embedded in each of us. Starting from the above problems of fear and failure in Mathematics, the goal of this paper is to do research with the control and the experimental group and to compare the test results. Two tests should be done for each of the groups. The control group would do the tests in the conventional way. The experimental group would do the first test in a conventional manner and then be subjected to different treatment, that is to say, be taught on the basis of Vedic Mathematics. After that, the second group would do the second test according to the principles of Vedic Mathematics. Expectations are that after short lectures on Vedic mathematics results of the experimental group would improve and that students will show greater interest in Mathematics.
Monitoring and Hardware Management for Critical Fusion Plasma Instrumentation
Directory of Open Access Journals (Sweden)
Carvalho Paulo F.
2018-01-01
Full Text Available Controlled nuclear fusion aims to obtain energy by particles collision confined inside a nuclear reactor (Tokamak. These ionized particles, heavier isotopes of hydrogen, are the main elements inside of plasma that is kept at high temperatures (millions of Celsius degrees. Due to high temperatures and magnetic confinement, plasma is exposed to several sources of instabilities which require a set of procedures by the control and data acquisition systems throughout fusion experiments processes. Control and data acquisition systems often used in nuclear fusion experiments are based on the Advanced Telecommunication Computer Architecture (AdvancedTCA® standard introduced by the Peripheral Component Interconnect Industrial Manufacturers Group (PICMG®, to meet the demands of telecommunications that require large amount of data (TB transportation at high transfer rates (Gb/s, to ensure high availability including features such as reliability, serviceability and redundancy. For efficient plasma control, systems are required to collect large amounts of data, process it, store for later analysis, make critical decisions in real time and provide status reports either from the experience itself or the electronic instrumentation involved. Moreover, systems should also ensure the correct handling of detected anomalies and identified faults, notify the system operator of occurred events, decisions taken to acknowledge and implemented changes. Therefore, for everything to work in compliance with specifications it is required that the instrumentation includes hardware management and monitoring mechanisms for both hardware and software. These mechanisms should check the system status by reading sensors, manage events, update inventory databases with hardware system components in use and maintenance, store collected information, update firmware and installed software modules, configure and handle alarms to detect possible system failures and prevent emergency
Monitoring and Hardware Management for Critical Fusion Plasma Instrumentation
Carvalho, Paulo F.; Santos, Bruno; Correia, Miguel; Combo, Álvaro M.; Rodrigues, AntÓnio P.; Pereira, Rita C.; Fernandes, Ana; Cruz, Nuno; Sousa, Jorge; Carvalho, Bernardo B.; Batista, AntÓnio J. N.; Correia, Carlos M. B. A.; Gonçalves, Bruno
2018-01-01
Controlled nuclear fusion aims to obtain energy by particles collision confined inside a nuclear reactor (Tokamak). These ionized particles, heavier isotopes of hydrogen, are the main elements inside of plasma that is kept at high temperatures (millions of Celsius degrees). Due to high temperatures and magnetic confinement, plasma is exposed to several sources of instabilities which require a set of procedures by the control and data acquisition systems throughout fusion experiments processes. Control and data acquisition systems often used in nuclear fusion experiments are based on the Advanced Telecommunication Computer Architecture (AdvancedTCA®) standard introduced by the Peripheral Component Interconnect Industrial Manufacturers Group (PICMG®), to meet the demands of telecommunications that require large amount of data (TB) transportation at high transfer rates (Gb/s), to ensure high availability including features such as reliability, serviceability and redundancy. For efficient plasma control, systems are required to collect large amounts of data, process it, store for later analysis, make critical decisions in real time and provide status reports either from the experience itself or the electronic instrumentation involved. Moreover, systems should also ensure the correct handling of detected anomalies and identified faults, notify the system operator of occurred events, decisions taken to acknowledge and implemented changes. Therefore, for everything to work in compliance with specifications it is required that the instrumentation includes hardware management and monitoring mechanisms for both hardware and software. These mechanisms should check the system status by reading sensors, manage events, update inventory databases with hardware system components in use and maintenance, store collected information, update firmware and installed software modules, configure and handle alarms to detect possible system failures and prevent emergency scenarios
TIMSS Advanced 2015 Assessment Frameworks
Mullis, Ina V. S., Ed.; Martin, Michael O., Ed.
2014-01-01
The "TIMSS Advanced 2015 Assessment Frameworks" provides the foundation for the two international assessments to take place as part of the International Association for the Evaluation of Educational Achievement's TIMSS (Trends in International Mathematics and Science Study) Advanced 2015--Advanced Mathematics and Physics. Chapter 1 (Liv…
Enabling Open Hardware through FOSS tools
CERN. Geneva
2016-01-01
Software developers often take open file formats and tools for granted. When you publish code on github, you do not ask yourself if somebody will be able to open it and modify it. We need the same freedom in the open hardware world, to make it truly accessible for everyone.
Hardware and layout aspects affecting maintainability
International Nuclear Information System (INIS)
Jayaraman, V.N.; Surendar, Ch.
1977-01-01
It has been found from maintenance experience at the Rajasthan Atomic Power Station that proper hardware and instrumentation layout can reduce maintenance and down-time on the related equipment. The problems faced in this connection and how they were solved is narrated. (M.G.B.)
CAMAC high energy physics electronics hardware
International Nuclear Information System (INIS)
Kolpakov, I.F.
1977-01-01
CAMAC hardware for high energy physics large spectrometers and control systems is reviewed as is the development of CAMAC modules at the High Energy Laboratory, JINR (Dubna). The total number of crates used at the Laboratory is 179. The number of CAMAC modules of 120 different types exceeds 1700. The principles of organization and the structure of developed CAMAC systems are described. (author)
Design of hardware accelerators for demanding applications.
Jozwiak, L.; Jan, Y.
2010-01-01
This paper focuses on mastering the architecture development of hardware accelerators. It presents the results of our analysis of the main issues that have to be addressed when designing accelerators for modern demanding applications, when using as an example the accelerator design for LDPC decoding
Building Correlators with Many-Core Hardware
van Nieuwpoort, R.V.
2010-01-01
Radio telescopes typically consist of multiple receivers whose signals are cross-correlated to filter out noise. A recent trend is to correlate in software instead of custom-built hardware, taking advantage of the flexibility that software solutions offer. Examples include e-VLBI and LOFAR. However,
Computer hardware for radiologists: Part I
Directory of Open Access Journals (Sweden)
Indrajit I
2010-01-01
Full Text Available Computers are an integral part of modern radiology practice. They are used in different radiology modalities to acquire, process, and postprocess imaging data. They have had a dramatic influence on contemporary radiology practice. Their impact has extended further with the emergence of Digital Imaging and Communications in Medicine (DICOM, Picture Archiving and Communication System (PACS, Radiology information system (RIS technology, and Teleradiology. A basic overview of computer hardware relevant to radiology practice is presented here. The key hardware components in a computer are the motherboard, central processor unit (CPU, the chipset, the random access memory (RAM, the memory modules, bus, storage drives, and ports. The personnel computer (PC has a rectangular case that contains important components called hardware, many of which are integrated circuits (ICs. The fiberglass motherboard is the main printed circuit board and has a variety of important hardware mounted on it, which are connected by electrical pathways called "buses". The CPU is the largest IC on the motherboard and contains millions of transistors. Its principal function is to execute "programs". A Pentium® 4 CPU has transistors that execute a billion instructions per second. The chipset is completely different from the CPU in design and function; it controls data and interaction of buses between the motherboard and the CPU. Memory (RAM is fundamentally semiconductor chips storing data and instructions for access by a CPU. RAM is classified by storage capacity, access speed, data rate, and configuration.
Computer hardware for radiologists: Part I
International Nuclear Information System (INIS)
Indrajit, IK; Alam, A
2010-01-01
Computers are an integral part of modern radiology practice. They are used in different radiology modalities to acquire, process, and postprocess imaging data. They have had a dramatic influence on contemporary radiology practice. Their impact has extended further with the emergence of Digital Imaging and Communications in Medicine (DICOM), Picture Archiving and Communication System (PACS), Radiology information system (RIS) technology, and Teleradiology. A basic overview of computer hardware relevant to radiology practice is presented here. The key hardware components in a computer are the motherboard, central processor unit (CPU), the chipset, the random access memory (RAM), the memory modules, bus, storage drives, and ports. The personnel computer (PC) has a rectangular case that contains important components called hardware, many of which are integrated circuits (ICs). The fiberglass motherboard is the main printed circuit board and has a variety of important hardware mounted on it, which are connected by electrical pathways called “buses”. The CPU is the largest IC on the motherboard and contains millions of transistors. Its principal function is to execute “programs”. A Pentium ® 4 CPU has transistors that execute a billion instructions per second. The chipset is completely different from the CPU in design and function; it controls data and interaction of buses between the motherboard and the CPU. Memory (RAM) is fundamentally semiconductor chips storing data and instructions for access by a CPU. RAM is classified by storage capacity, access speed, data rate, and configuration
Environmental Control System Software & Hardware Development
Vargas, Daniel Eduardo
2017-01-01
ECS hardware: (1) Provides controlled purge to SLS Rocket and Orion spacecraft. (2) Provide mission-focused engineering products and services. ECS software: (1) NASA requires Compact Unique Identifiers (CUIs); fixed-length identifier used to identify information items. (2) CUI structure; composed of nine semantic fields that aid the user in recognizing its purpose.
Digital Hardware Design Teaching: An Alternative Approach
Benkrid, Khaled; Clayton, Thomas
2012-01-01
This article presents the design and implementation of a complete review of undergraduate digital hardware design teaching in the School of Engineering at the University of Edinburgh. Four guiding principles have been used in this exercise: learning-outcome driven teaching, deep learning, affordability, and flexibility. This has identified…
The fast Amsterdam multiprocessor (FAMP) system hardware
International Nuclear Information System (INIS)
Hertzberger, L.O.; Kieft, G.; Kisielewski, B.; Wiggers, L.W.; Engster, C.; Koningsveld, L. van
1981-01-01
The architecture of a multiprocessor system is described that will be used for on-line filter and second stage trigger applications. The system is based on the MC 68000 microprocessor from Motorola. Emphasis is paid to hardware aspects, in particular the modularity, processor communication and interfacing, whereas the system software and the applications will be described in separate articles. (orig.)
Remote hardware-reconfigurable robotic camera
Arias-Estrada, Miguel; Torres-Huitzil, Cesar; Maya-Rueda, Selene E.
2001-10-01
In this work, a camera with integrated image processing capabilities is discussed. The camera is based on an imager coupled to an FPGA device (Field Programmable Gate Array) which contains an architecture for real-time computer vision low-level processing. The architecture can be reprogrammed remotely for application specific purposes. The system is intended for rapid modification and adaptation for inspection and recognition applications, with the flexibility of hardware and software reprogrammability. FPGA reconfiguration allows the same ease of upgrade in hardware as a software upgrade process. The camera is composed of a digital imager coupled to an FPGA device, two memory banks, and a microcontroller. The microcontroller is used for communication tasks and FPGA programming. The system implements a software architecture to handle multiple FPGA architectures in the device, and the possibility to download a software/hardware object from the host computer into its internal context memory. System advantages are: small size, low power consumption, and a library of hardware/software functionalities that can be exchanged during run time. The system has been validated with an edge detection and a motion processing architecture, which will be presented in the paper. Applications targeted are in robotics, mobile robotics, and vision based quality control.
Mathematical tools for physicists
International Nuclear Information System (INIS)
Trigg, G.L.
2005-01-01
Mathematical Tools for Physisists is a unique collection of 18 review articles, each one written by a renowned expert of its field. Their professional style will be beneficial for advanced students as well as for the scientist at work. The first may find a comprehensive introduction while the latter use it as a quick reference. Great attention was paid to ensuring fast access to the information, and each carefully reviewed article includes a glossary of terms and a guide to further reading. The contributions range from fundamental methods right up to the latest applications, including: - Algebraic Methods - Analytic Methods - Fourier and Other Mathematical Transforms - Fractal Geometry - Geometrical Methods - Green's Functions - Group Theory - Mathematical Modeling - Monte Carlo Methods - Numerical Methods - Perturbation Methods - Quantum Computation - Quantum Logic - Special Functions - Stochastic Processes - Symmetries and Conservation Laws - Topology - Variational Methods. (orig.)
Zorich, Vladimir A
2015-01-01
VLADIMIR A. ZORICH is professor of mathematics at Moscow State University. His areas of specialization are analysis, conformal geometry, quasiconformal mappings, and mathematical aspects of thermodynamics. He solved the problem of global homeomorphism for space quasiconformal mappings. He holds a patent in the technology of mechanical engineering, and he is also known by his book Mathematical Analysis of Problems in the Natural Sciences . This second English edition of a very popular two-volume work presents a thorough first course in analysis, leading from real numbers to such advanced topics as differential forms on manifolds; asymptotic methods; Fourier, Laplace, and Legendre transforms; elliptic functions; and distributions. Especially notable in this course are the clearly expressed orientation toward the natural sciences and the informal exploration of the essence and the roots of the basic concepts and theorems of calculus. Clarity of exposition is matched by a wealth of instructive exercises, problems...
Bird, John
2014-01-01
A practical introduction to the core mathematics required for engineering study and practiceNow in its seventh edition, Engineering Mathematics is an established textbook that has helped thousands of students to succeed in their exams.John Bird's approach is based on worked examples and interactive problems. This makes it ideal for students from a wide range of academic backgrounds as the student can work through the material at their own pace. Mathematical theories are explained in a straightforward manner, being supported by practical engineering examples and applications in order to ensure
Geroch, Robert
1985-01-01
Mathematical Physics is an introduction to such basic mathematical structures as groups, vector spaces, topological spaces, measure spaces, and Hilbert space. Geroch uses category theory to emphasize both the interrelationships among different structures and the unity of mathematics. Perhaps the most valuable feature of the book is the illuminating intuitive discussion of the ""whys"" of proofs and of axioms and definitions. This book, based on Geroch's University of Chicago course, will be especially helpful to those working in theoretical physics, including such areas as relativity, particle
Logan, J David
2013-01-01
Praise for the Third Edition"Future mathematicians, scientists, and engineers should find the book to be an excellent introductory text for coursework or self-study as well as worth its shelf space for reference." -MAA Reviews Applied Mathematics, Fourth Edition is a thoroughly updated and revised edition on the applications of modeling and analyzing natural, social, and technological processes. The book covers a wide range of key topics in mathematical methods and modeling and highlights the connections between mathematics and the applied and nat
Handley, Bill
2012-01-01
This new, revised edition of the bestselling Speed Mathematics features new chapters on memorising numbers and general information, calculating statistics and compound interest, square roots, logarithms and easy trig calculations. Written so anyone can understand, this book teaches simple strategies that will enable readers to make lightning-quick calculations. People who excel at mathematics use better strategies than the rest of us; they are not necessarily more intelligent. With Speed Mathematics you'll discover methods to make maths easy and fun. This book is perfect for stud
Test Program for Stirling Radioisotope Generator Hardware at NASA Glenn Research Center
Lewandowski, Edward J.; Bolotin, Gary S.; Oriti, Salvatore M.
2015-01-01
Stirling-based energy conversion technology has demonstrated the potential of high efficiency and low mass power systems for future space missions. This capability is beneficial, if not essential, to making certain deep space missions possible. Significant progress was made developing the Advanced Stirling Radioisotope Generator (ASRG), a 140-W radioisotope power system. A variety of flight-like hardware, including Stirling convertors, controllers, and housings, was designed and built under the ASRG flight development project. To support future Stirling-based power system development NASA has proposals that, if funded, will allow this hardware to go on test at the NASA Glenn Research Center. While future flight hardware may not be identical to the hardware developed under the ASRG flight development project, many components will likely be similar, and system architectures may have heritage to ASRG. Thus, the importance of testing the ASRG hardware to the development of future Stirling-based power systems cannot be understated. This proposed testing will include performance testing, extended operation to establish an extensive reliability database, and characterization testing to quantify subsystem and system performance and better understand system interfaces. This paper details this proposed test program for Stirling radioisotope generator hardware at NASA Glenn. It explains the rationale behind the proposed tests and how these tests will meet the stated objectives.
Methods of applied mathematics
Hildebrand, Francis B
1992-01-01
This invaluable book offers engineers and physicists working knowledge of a number of mathematical facts and techniques not commonly treated in courses in advanced calculus, but nevertheless extremely useful when applied to typical problems in many different fields. It deals principally with linear algebraic equations, quadratic and Hermitian forms, operations with vectors and matrices, the calculus of variations, and the formulations and theory of linear integral equations. Annotated problems and exercises accompany each chapter.
Bolton, W
2012-01-01
Mathematics for Engineering has been carefully designed to provide a maths course for a wide ability range, and does not go beyond the requirements of Advanced GNVQ. It is an ideal text for any pre-degree engineering course where students require revision of the basics and plenty of practice work. Bill Bolton introduces the key concepts through examples set firmly in engineering contexts, which students will find relevant and motivating. The second edition has been carefully matched to the Curriculum 2000 Advanced GNVQ units:
Virdi, Surinder; Virdi, Narinder Kaur
2014-01-01
Construction Mathematics is an introductory level mathematics text, written specifically for students of construction and related disciplines. Learn by tackling exercises based on real-life construction maths. Examples include: costing calculations, labour costs, cost of materials and setting out of building components. Suitable for beginners and easy to follow throughout. Learn the essential basic theory along with the practical necessities. The second edition of this popular textbook is fully updated to match new curricula, and expanded to include even more learning exercises. End of chapter exercises cover a range of theoretical as well as practical problems commonly found in construction practice, and three detailed assignments based on practical tasks give students the opportunity to apply all the knowledge they have gained. Construction Mathematics addresses all the mathematical requirements of Level 2 construction NVQs from City & Guilds/CITB and Edexcel courses, including the BTEC First Diploma in...
2016-01-01
This book provides a thorough introduction to the challenge of applying mathematics in real-world scenarios. Modelling tasks rarely involve well-defined categories, and they often require multidisciplinary input from mathematics, physics, computer sciences, or engineering. In keeping with this spirit of modelling, the book includes a wealth of cross-references between the chapters and frequently points to the real-world context. The book combines classical approaches to modelling with novel areas such as soft computing methods, inverse problems, and model uncertainty. Attention is also paid to the interaction between models, data and the use of mathematical software. The reader will find a broad selection of theoretical tools for practicing industrial mathematics, including the analysis of continuum models, probabilistic and discrete phenomena, and asymptotic and sensitivity analysis.
Hougardy, Stefan
2016-01-01
Algorithms play an increasingly important role in nearly all fields of mathematics. This book allows readers to develop basic mathematical abilities, in particular those concerning the design and analysis of algorithms as well as their implementation. It presents not only fundamental algorithms like the sieve of Eratosthenes, the Euclidean algorithm, sorting algorithms, algorithms on graphs, and Gaussian elimination, but also discusses elementary data structures, basic graph theory, and numerical questions. In addition, it provides an introduction to programming and demonstrates in detail how to implement algorithms in C++. This textbook is suitable for students who are new to the subject and covers a basic mathematical lecture course, complementing traditional courses on analysis and linear algebra. Both authors have given this "Algorithmic Mathematics" course at the University of Bonn several times in recent years.
Sneyd, James
2009-01-01
There has been a long history of interaction between mathematics and physiology. This book looks in detail at a wide selection of mathematical models in physiology, showing how physiological problems can be formulated and studied mathematically, and how such models give rise to interesting and challenging mathematical questions. With its coverage of many recent models it gives an overview of the field, while many older models are also discussed, to put the modern work in context. In this second edition the coverage of basic principles has been expanded to include such topics as stochastic differential equations, Markov models and Gibbs free energy, and the selection of models has also been expanded to include some of the basic models of fluid transport, respiration/perfusion, blood diseases, molecular motors, smooth muscle, neuroendrocine cells, the baroreceptor loop, turboglomerular oscillations, blood clotting and the retina. Owing to this extensive coverage, the second edition is published in two volumes. ...
Eck, Christof; Knabner, Peter
2017-01-01
Mathematical models are the decisive tool to explain and predict phenomena in the natural and engineering sciences. With this book readers will learn to derive mathematical models which help to understand real world phenomena. At the same time a wealth of important examples for the abstract concepts treated in the curriculum of mathematics degrees are given. An essential feature of this book is that mathematical structures are used as an ordering principle and not the fields of application. Methods from linear algebra, analysis and the theory of ordinary and partial differential equations are thoroughly introduced and applied in the modeling process. Examples of applications in the fields electrical networks, chemical reaction dynamics, population dynamics, fluid dynamics, elasticity theory and crystal growth are treated comprehensively.
Pestman, Wiebe R
2009-01-01
This textbook provides a broad and solid introduction to mathematical statistics, including the classical subjects hypothesis testing, normal regression analysis, and normal analysis of variance. In addition, non-parametric statistics and vectorial statistics are considered, as well as applications of stochastic analysis in modern statistics, e.g., Kolmogorov-Smirnov testing, smoothing techniques, robustness and density estimation. For students with some elementary mathematical background. With many exercises. Prerequisites from measure theory and linear algebra are presented.
Berman, Elizabeth
1979-01-01
Mathematics Revealed focuses on the principles, processes, operations, and exercises in mathematics.The book first offers information on whole numbers, fractions, and decimals and percents. Discussions focus on measuring length, percent, decimals, numbers as products, addition and subtraction of fractions, mixed numbers and ratios, division of fractions, addition, subtraction, multiplication, and division. The text then examines positive and negative numbers and powers and computation. Topics include division and averages, multiplication, ratios, and measurements, scientific notation and estim
DEFF Research Database (Denmark)
Sørensen, John Aasted
2010-01-01
The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Spring 2010 Ectent: 5 ects Class size: 18......The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Spring 2010 Ectent: 5 ects Class size: 18...
DEFF Research Database (Denmark)
Sørensen, John Aasted
2010-01-01
The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Autumn 2010 Ectent: 5 ects Class size: 15......The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Autumn 2010 Ectent: 5 ects Class size: 15...
Hardware for dynamic quantum computing experiments: Part I
Johnson, Blake; Ryan, Colm; Riste, Diego; Donovan, Brian; Ohki, Thomas
Static, pre-defined control sequences routinely achieve high-fidelity operation on superconducting quantum processors. Efforts toward dynamic experiments depending on real-time information have mostly proceeded through hardware duplication and triggers, requiring a combinatorial explosion in the number of channels. We provide a hardware efficient solution to dynamic control with a complete platform of specialized FPGA-based control and readout electronics; these components enable arbitrary control flow, low-latency feedback and/or feedforward, and scale far beyond single-qubit control and measurement. We will introduce the BBN Arbitrary Pulse Sequencer 2 (APS2) control system and the X6 QDSP readout platform. The BBN APS2 features: a sequencer built around implementing short quantum gates, a sequence cache to allow long sequences with branching structures, subroutines for code re-use, and a trigger distribution module to capture and distribute steering information. The X6 QDSP features a single-stage DSP pipeline that combines demodulation with arbitrary integration kernels, and multiple taps to inspect data flow for debugging and calibration. We will show system performance when putting it all together, including a latency budget for feedforward operations. This research was funded by the Office of the Director of National Intelligence (ODNI), Intelligence Advanced Research Projects Activity (IARPA), through the Army Research Office Contract No. W911NF-10-1-0324.
Energy Technology Data Exchange (ETDEWEB)
Moore, R.M.; Randolf, G.; Virji, M. [University of Hawaii, Hawaii Natural Energy Institute (United States); Hauer, K.H. [Xcellvision (Germany)
2006-11-08
Hardware-in-loop (HiL) methodology is well established in the automotive industry. One typical application is the development and validation of control algorithms for drive systems by simulating the vehicle plus the vehicle environment in combination with specific control hardware as the HiL component. This paper introduces the use of a fuel cell HiL methodology for fuel cell and fuel cell system design and evaluation-where the fuel cell (or stack) is the unique HiL component that requires evaluation and development within the context of a fuel cell system designed for a specific application (e.g., a fuel cell vehicle) in a typical use pattern (e.g., a standard drive cycle). Initial experimental results are presented for the example of a fuel cell within a fuel cell vehicle simulation under a dynamic drive cycle. (author)
Hardware and software status of QCDOC
International Nuclear Information System (INIS)
Boyle, P.A.; Chen, D.; Christ, N.H.; Clark, M.; Cohen, S.D.; Cristian, C.; Dong, Z.; Gara, A.; Joo, B.; Jung, C.; Kim, C.; Levkova, L.; Liao, X.; Liu, G.; Mawhinney, R.D.; Ohta, S.; Petrov, K.; Wettig, T.; Yamaguchi, A.
2004-01-01
QCDOC is a massively parallel supercomputer whose processing nodes are based on an application-specific integrated circuit (ASIC). This ASIC was custom-designed so that crucial lattice QCD kernels achieve an overall sustained performance of 50% on machines with several 10,000 nodes. This strong scalability, together with low power consumption and a price/performance ratio of $1 per sustained MFlops, enable QCDOC to attack the most demanding lattice QCD problems. The first ASICs became available in June of 2003, and the testing performed so far has shown all systems functioning according to specification. We review the hardware and software status of QCDOC and present performance figures obtained in real hardware as well as in simulation
Mathematical physics applied mathematics for scientists and engineers
Kusse, Bruce R
2006-01-01
What sets this volume apart from other mathematics texts is its emphasis on mathematical tools commonly used by scientists and engineers to solve real-world problems. Using a unique approach, it covers intermediate and advanced material in a manner appropriate for undergraduate students. Based on author Bruce Kusse's course at the Department of Applied and Engineering Physics at Cornell University, Mathematical Physics begins with essentials such as vector and tensor algebra, curvilinear coordinate systems, complex variables, Fourier series, Fourier and Laplace transforms, differential and integral equations, and solutions to Laplace's equations
A Scalable Approach for Hardware Semiformal Verification
Grimm, Tomas; Lettnin, Djones; Hübner, Michael
2018-01-01
The current verification flow of complex systems uses different engines synergistically: virtual prototyping, formal verification, simulation, emulation and FPGA prototyping. However, none is able to verify a complete architecture. Furthermore, hybrid approaches aiming at complete verification use techniques that lower the overall complexity by increasing the abstraction level. This work focuses on the verification of complex systems at the RT level to handle the hardware peculiarities. Our r...
Hardware Design of a Smart Meter
Ganiyu A. Ajenikoko; Anthony A. Olaomi
2014-01-01
Smart meters are electronic measurement devices used by utilities to communicate information for billing customers and operating their electric systems. This paper presents the hardware design of a smart meter. Sensing and circuit protection circuits are included in the design of the smart meter in which resistors are naturally a fundamental part of the electronic design. Smart meters provides a route for energy savings, real-time pricing, automated data collection and elimina...
Optimization Strategies for Hardware-Based Cofactorization
Loebenberger, Daniel; Putzka, Jens
We use the specific structure of the inputs to the cofactorization step in the general number field sieve (GNFS) in order to optimize the runtime for the cofactorization step on a hardware cluster. An optimal distribution of bitlength-specific ECM modules is proposed and compared to existing ones. With our optimizations we obtain a speedup between 17% and 33% of the cofactorization step of the GNFS when compared to the runtime of an unoptimized cluster.
Particle Transport Simulation on Heterogeneous Hardware
CERN. Geneva
2014-01-01
CPUs and GPGPUs. About the speaker Vladimir Koylazov is CTO and founder of Chaos Software and one of the original developers of the V-Ray raytracing software. Passionate about 3D graphics and programming, Vlado is the driving force behind Chaos Group's software solutions. He participated in the implementation of algorithms for accurate light simulations and support for different hardware platforms, including CPU and GPGPU, as well as distributed calculat...
High exposure rate hardware ALARA plan
International Nuclear Information System (INIS)
Nellesen, A.L.
1996-10-01
This as low as reasonably achievable review provides a description of the engineering and administrative controls used to manage personnel exposure and to control contamination levels and airborne radioactivity concentrations. HERH waste is hardware found in the N-Fuel Storage Basin, which has a contact dose rate greater than 1 R/hr and used filters. This waste will be collected in the fuel baskets at various locations in the basins
The effects of advanced digital signal processing concepts on VLSIC/VHSIC design
Jankowski, C.
Implementations of sophisticated mathematical techniques in advanced digital signal processors can significantly improve performance. Future VLSI and VHSI circuit designs must include the practical realization of these algorithms. A structured design approach is described and illustrated with examples from a RNS FIR filter processor development project. The CAE hardware and software required to support tasks of this complexity are also discussed. An EWS is recommended for controlling essential functions such as logic optimization, simulation and verification. The total IC design system is illustrated with the implementation of a new high performance algorithm for computing complex magnitude.
Trends in computer hardware and software.
Frankenfeld, F M
1993-04-01
Previously identified and current trends in the development of computer systems and in the use of computers for health care applications are reviewed. Trends identified in a 1982 article were increasing miniaturization and archival ability, increasing software costs, increasing software independence, user empowerment through new software technologies, shorter computer-system life cycles, and more rapid development and support of pharmaceutical services. Most of these trends continue today. Current trends in hardware and software include the increasing use of reduced instruction-set computing, migration to the UNIX operating system, the development of large software libraries, microprocessor-based smart terminals that allow remote validation of data, speech synthesis and recognition, application generators, fourth-generation languages, computer-aided software engineering, object-oriented technologies, and artificial intelligence. Current trends specific to pharmacy and hospitals are the withdrawal of vendors of hospital information systems from the pharmacy market, improved linkage of information systems within hospitals, and increased regulation by government. The computer industry and its products continue to undergo dynamic change. Software development continues to lag behind hardware, and its high cost is offsetting the savings provided by hardware.
Software error masking effect on hardware faults
International Nuclear Information System (INIS)
Choi, Jong Gyun; Seong, Poong Hyun
1999-01-01
Based on the Very High Speed Integrated Circuit (VHSIC) Hardware Description Language (VHDL), in this work, a simulation model for fault injection is developed to estimate the dependability of the digital system in operational phase. We investigated the software masking effect on hardware faults through the single bit-flip and stuck-at-x fault injection into the internal registers of the processor and memory cells. The fault location reaches all registers and memory cells. Fault distribution over locations is randomly chosen based on a uniform probability distribution. Using this model, we have predicted the reliability and masking effect of an application software in a digital system-Interposing Logic System (ILS) in a nuclear power plant. We have considered four the software operational profiles. From the results it was found that the software masking effect on hardware faults should be properly considered for predicting the system dependability accurately in operation phase. It is because the masking effect was formed to have different values according to the operational profile
A Hardware Lab Anywhere At Any Time
Directory of Open Access Journals (Sweden)
Tobias Schubert
2004-12-01
Full Text Available Scientific technical courses are an important component in any student's education. These courses are usually characterised by the fact that the students execute experiments in special laboratories. This leads to extremely high costs and a reduction in the maximum number of possible participants. From this traditional point of view, it doesn't seem possible to realise the concepts of a Virtual University in the context of sophisticated technical courses since the students must be "on the spot". In this paper we introduce the so-called Mobile Hardware Lab which makes student participation possible at any time and from any place. This lab nevertheless transfers a feeling of being present in a laboratory. This is accomplished with a special Learning Management System in combination with hardware components which correspond to a fully equipped laboratory workstation that are lent out to the students for the duration of the lab. The experiments are performed and solved at home, then handed in electronically. Judging and marking are also both performed electronically. Since 2003 the Mobile Hardware Lab is now offered in a completely web based form.
Instrument hardware and software upgrades at IPNS
International Nuclear Information System (INIS)
Worlton, Thomas; Hammonds, John; Mikkelson, D.; Mikkelson, Ruth; Porter, Rodney; Tao, Julian; Chatterjee, Alok
2006-01-01
IPNS is in the process of upgrading their time-of-flight neutron scattering instruments with improved hardware and software. The hardware upgrades include replacing old VAX Qbus and Multibus-based data acquisition systems with new systems based on VXI and VME. Hardware upgrades also include expanded detector banks and new detector electronics. Old VAX Fortran-based data acquisition and analysis software is being replaced with new software as part of the ISAW project. ISAW is written in Java for ease of development and portability, and is now used routinely for data visualization, reduction, and analysis on all upgraded instruments. ISAW provides the ability to process and visualize the data from thousands of detector pixels, each having thousands of time channels. These operations can be done interactively through a familiar graphical user interface or automatically through simple scripts. Scripts and operators provided by end users are automatically included in the ISAW menu structure, along with those distributed with ISAW, when the application is started
Supersymmetry in mathematics and physics
Energy Technology Data Exchange (ETDEWEB)
Ferrara, Sergio [CERN, Geneve (Switzerland). Div. Theorie; Fioresi, Rita [Bologna Univ. (Italy). Dept. of Mathematics; Varadarajan, V.S. (eds.) [UCLA, Los Angeles, CA (United States). Dept. of Mathematics
2011-07-01
Supersymmetry was created by the physicists in the 1970's to give a unified treatment of fermions and bosons, the basic constituents of matter. Since then its mathematical structure has been recognized as that of a new development in geometry, and mathematicians have busied themselves with exploring this aspect. This volume collects recent advances in this field, both from a physical and a mathematical point of view, with an accent on a rigorous treatment of the various questions raised. (orig.)
Berryman, Sue E.
This paper describes trends in and causes of minority and female representation among holders of advanced science and math degrees. The minority groups studied are Blacks, Hispanic Americans, American Indians, and Asian Americans, all of whom are compared with Whites. The degrees looked at include those in math, the computer sciences, physical…
CT and MRI techniques for imaging around orthopedic hardware
Energy Technology Data Exchange (ETDEWEB)
Do, Thuy Duong; Skornitzke, Stephan; Weber, Marc-Andre [Heidelberg Univ. (Germany). Dept. of Clinical Radiology; Sutter, Reto [Uniklinik Balgrist, Zurich (Switzerland). Radiology
2018-01-15
Orthopedic hardware impairs image quality in cross-sectional imaging. With an increasing number of orthopedic implants in an aging population, the need to mitigate metal artifacts in computed tomography and magnetic resonance imaging is becoming increasingly relevant. This review provides an overview of the major artifacts in CT and MRI and state-of-the-art solutions to improve image quality. All steps of image acquisition from device selection, scan preparations and parameters to image post-processing influence the magnitude of metal artifacts. Technological advances like dual-energy CT with the possibility of virtual monochromatic imaging (VMI) and new materials offer opportunities to further reduce artifacts in CT and MRI. Dedicated metal artifact reduction sequences contain algorithms to reduce artifacts and improve imaging of surrounding tissue and are essential tools in orthopedic imaging to detect postoperative complications in early stages.
Programming languages and compiler design for realistic quantum hardware
Chong, Frederic T.; Franklin, Diana; Martonosi, Margaret
2017-09-01
Quantum computing sits at an important inflection point. For years, high-level algorithms for quantum computers have shown considerable promise, and recent advances in quantum device fabrication offer hope of utility. A gap still exists, however, between the hardware size and reliability requirements of quantum computing algorithms and the physical machines foreseen within the next ten years. To bridge this gap, quantum computers require appropriate software to translate and optimize applications (toolflows) and abstraction layers. Given the stringent resource constraints in quantum computing, information passed between layers of software and implementations will differ markedly from in classical computing. Quantum toolflows must expose more physical details between layers, so the challenge is to find abstractions that expose key details while hiding enough complexity.
Programming languages and compiler design for realistic quantum hardware.
Chong, Frederic T; Franklin, Diana; Martonosi, Margaret
2017-09-13
Quantum computing sits at an important inflection point. For years, high-level algorithms for quantum computers have shown considerable promise, and recent advances in quantum device fabrication offer hope of utility. A gap still exists, however, between the hardware size and reliability requirements of quantum computing algorithms and the physical machines foreseen within the next ten years. To bridge this gap, quantum computers require appropriate software to translate and optimize applications (toolflows) and abstraction layers. Given the stringent resource constraints in quantum computing, information passed between layers of software and implementations will differ markedly from in classical computing. Quantum toolflows must expose more physical details between layers, so the challenge is to find abstractions that expose key details while hiding enough complexity.
The Application of Hardware in the Loop Testing for Distributed Engine Control
Thomas, George L.; Culley, Dennis E.; Brand, Alex
2016-01-01
The essence of a distributed control system is the modular partitioning of control function across a hardware implementation. This type of control architecture requires embedding electronics in a multitude of control element nodes for the execution of those functions, and their integration as a unified system. As the field of distributed aeropropulsion control moves toward reality, questions about building and validating these systems remain. This paper focuses on the development of hardware-in-the-loop (HIL) test techniques for distributed aero engine control, and the application of HIL testing as it pertains to potential advanced engine control applications that may now be possible due to the intelligent capability embedded in the nodes.
How open hardware drives digital fabrication tools such as the 3D printer
Directory of Open Access Journals (Sweden)
Johan Söderberg
2013-06-01
Full Text Available A case study of hobbyists developing a desktop 3D printer, indicative of a broader movement around open hardware development, is used to advance a theoretical apparatus drawing on social movement research. This is proposed as an alternative to how innovation by users is typically studied in innovation studies literature, namely, as discrete, isolated cases. Open hardware development projects make up a larger ecology, held together by common ideas, a shared communication infrastructure, conferences and licenses, among other things, and it therefore makes sense to look at them as part of a single movement.
A Cost-Effective Approach to Hardware-in-the-Loop Simulation
DEFF Research Database (Denmark)
Pedersen, Mikkel Melters; Hansen, M. R.; Ballebye, M.
2012-01-01
This paper presents an approach for developing cost effective hardware-in-the- loop (HIL) simulation platforms for the use in controller software test and development. The approach is aimed at the many smaller manufacturers of e.g. mobile hydraulic machinery, which often do not have very advanced...... testing facilities at their disposal. A case study is presented where a HIL simulation platform is developed for the controller of a truck mounted loader crane. The total expenses in hardware and software is less than 10.000$....
Autonomous distributed self-organizing and self-healing hardware architecture - The eDNA concept
DEFF Research Database (Denmark)
Boesen, Michael Reibel; Madsen, Jan; Keymeulen, Didier
2011-01-01
This paper presents the current state of the autonomous distributed self-organizing and self-healing electronic DNA (eDNA) hardware architecture (patent pending). In its current prototype state, the eDNA architecture is capable of responding to multiple injected faults by autonomously reconfiguring...... itself to accommodate the fault and keep the application running. This paper will also disclose advanced features currently available in the simulation model only. These features are future work and will soon be implemented in hardware. Finally we will describe step-by-step how an application...
Forum of Mathematics for Industry 2013
Anderssen, Robert; Cheng, Jin; Fukumoto, Yasuhide; McKibbin, Robert; Polthier, Konrad; Takagi, Tsuyoshi; Toh, Kim-Chuan
2014-01-01
This book is a collection of papers presented at the Forum “The Impact of Applications on Mathematics” in October 2013. It describes an appropriate framework in which to highlight how real-world problems, over the centuries and today, have influenced and are influencing the development of mathematics and, thereby, how mathematics is reshaped, in order to advance mathematics and its application. The contents of this book address productive and successful interaction between industry and mathematicians, as well as the cross-fertilization and collaboration that result when mathematics is involved with the advancement of science and technology.
Francesco La Mura; Giovanni Todeschini; Hermes Giberti
2018-01-01
This article focuses on a Hardware-In-the-Loop application developed from the advanced energy field project LIFES50+. The aim is to replicate, inside a wind gallery test facility, the combined effect of aerodynamic and hydrodynamic loads on a floating wind turbine model for offshore energy production, using a force controlled robotic device, emulating floating substructure’s behaviour. In addition to well known real-time Hardware-In-the-Loop (HIL) issues, the particular application presented ...
Jost, Jürgen
2015-01-01
The main intention of this book is to describe and develop the conceptual, structural and abstract thinking of mathematics. Specific mathematical structures are used to illustrate the conceptual approach; providing a deeper insight into mutual relationships and abstract common features. These ideas are carefully motivated, explained and illustrated by examples so that many of the more technical proofs can be omitted. The book can therefore be used: · simply as an overview of the panorama of mathematical structures and the relations between them, to be supplemented by more detailed texts whenever you want to acquire a working knowledge of some structure · by itself as a first introduction to abstract mathematics · together with existing textbooks, to put their results into a more general perspective · to gain a new and hopefully deeper perspective after having studied such textbooks Mathematical Concepts has a broader scope and is less detaile...
The Mathematics-language symbiosis: The learners' benefits ...
African Journals Online (AJOL)
On their own part, those whose course of study is mathematics are curious ... of Applied Linguistics propounded by Leonard Bloomfield in 1941 guides the study. ... a mathematics classroom so as to continue learning advanced concepts.
The Role and Relevance of Mathematics in the Maritime Industry
African Journals Online (AJOL)
kofi.mereku
symmetry in chemistry and physics; Calculus (differential equations) applicable in ... and engineering; and is a branch of applied mathematics. .... The maritime and offshore industries use advanced mathematical methods in the design of ships.
Energy Technology Data Exchange (ETDEWEB)
J.K. Brimacombe; I.V. Samarasekera; E.B. Hawbolt; T.R. Meadowcroft; M. Militzer; W.J. Pool; D.Q. Jin
1999-07-31
This report describes the work of developing an integrated model used to predict the thermal history, deformation, roll forces, microstructural evolution and mechanical properties of steel strip in a hot-strip mill. This achievement results from a joint research effort that is part of the American Iron and Steel Institute's (AIS) Advanced Process Control Program, a collaboration between the U.S. DOE and fifteen North American Steelmakers.
Rubin, Andrew
2014-01-01
This book presents concise descriptions and analysis of the classical and modern models used in mathematical biophysics. The authors ask the question "what new information can be provided by the models that cannot be obtained directly from experimental data?" Actively developing fields such as regulatory mechanisms in cells and subcellular systems and electron transport and energy transport in membranes are addressed together with more classical topics such as metabolic processes, nerve conduction and heart activity, chemical kinetics, population dynamics, and photosynthesis. The main approach is to describe biological processes using different mathematical approaches necessary to reveal characteristic features and properties of simulated systems. With the emergence of powerful mathematics software packages such as MAPLE, Mathematica, Mathcad, and MatLab, these methodologies are now accessible to a wide audience. Provides succinct but authoritative coverage of a broad array of biophysical topics and models Wr...
Hiriart-Urruty, Jean-Baptiste
This book contains a collection of exercises (called “tapas”) at undergraduate level, mainly from the fields of real analysis, calculus, matrices, convexity, and optimization. Most of the problems presented here are non-standard and some require broad knowledge of different mathematical subjects in order to be solved. The author provides some hints and (partial) answers and also puts these carefully chosen exercises into context, presents information on their origins, and comments on possible extensions. With stars marking the levels of difficulty, these tapas show or prove something interesting, challenge the reader to solve and learn, and may have surprising results. This first volume of Mathematical Tapas will appeal to mathematicians, motivated undergraduate students from science-based areas, and those generally interested in mathematics.
Vivaldi, Franco
2014-01-01
This book teaches the art of writing mathematics, an essential -and difficult- skill for any mathematics student. The book begins with an informal introduction on basic writing principles and a review of the essential dictionary for mathematics. Writing techniques are developed gradually, from the small to the large: words, phrases, sentences, paragraphs, to end with short compositions. These may represent the introduction of a concept, the abstract of a presentation or the proof of a theorem. Along the way the student will learn how to establish a coherent notation, mix words and symbols effectively, write neat formulae, and structure a definition. Some elements of logic and all common methods of proofs are featured, including various versions of induction and existence proofs. The book concludes with advice on specific aspects of thesis writing (choosing of a title, composing an abstract, compiling a bibliography) illustrated by large number of real-life examples. Many exercises are included; over 150...
Cahill, Kevin
2013-01-01
Unique in its clarity, examples and range, Physical Mathematics explains as simply as possible the mathematics that graduate students and professional physicists need in their courses and research. The author illustrates the mathematics with numerous physical examples drawn from contemporary research. In addition to basic subjects such as linear algebra, Fourier analysis, complex variables, differential equations and Bessel functions, this textbook covers topics such as the singular-value decomposition, Lie algebras, the tensors and forms of general relativity, the central limit theorem and Kolmogorov test of statistics, the Monte Carlo methods of experimental and theoretical physics, the renormalization group of condensed-matter physics and the functional derivatives and Feynman path integrals of quantum field theory.
A course of higher mathematics
Smirnov, Vladimir Ivanovich
1964-01-01
A Course of Higher Mathematics, Volume II: Advanced Calculus covers the theory of functions of real variable in advanced calculus. This volume is divided into seven chapters and begins with a full discussion of the solution of ordinary differential equations with many applications to the treatment of physical problems. This topic is followed by an account of the properties of multiple integrals and of line integrals, with a valuable section on the theory of measurable sets and of multiple integrals. The subsequent chapters deal with the mathematics necessary to the examination of problems in
Hardware implementation of a GFSR pseudo-random number generator
Aiello, G. R.; Budinich, M.; Milotti, E.
1989-12-01
We describe the hardware implementation of a pseudo-random number generator of the "Generalized Feedback Shift Register" (GFSR) type. After brief theoretical considerations we describe two versions of the hardware, the tests done and the performances achieved.
Bartocci, Claudio; Guerraggio, Angelo; Lucchetti, Roberto; Williams, Kim
2011-01-01
Steps forward in mathematics often reverberate in other scientific disciplines, and give rise to innovative conceptual developments or find surprising technological applications. This volume brings to the forefront some of the proponents of the mathematics of the twentieth century, who have put at our disposal new and powerful instruments for investigating the reality around us. The portraits present people who have impressive charisma and wide-ranging cultural interests, who are passionate about defending the importance of their own research, are sensitive to beauty, and attentive to the soci
Application of advanced electronics to a future spacecraft computer design
Carney, P. C.
1980-01-01
Advancements in hardware and software technology are summarized with specific emphasis on spacecraft computer capabilities. Available state of the art technology is reviewed and candidate architectures are defined.
Mastorakis, Nikos E
2009-01-01
Features contributions that are focused on significant aspects of current numerical methods and computational mathematics. This book carries chapters that advanced methods and various variations on known techniques that can solve difficult scientific problems efficiently.
Open Source Hardware for DIY Environmental Sensing
Aufdenkampe, A. K.; Hicks, S. D.; Damiano, S. G.; Montgomery, D. S.
2014-12-01
The Arduino open source electronics platform has been very popular within the DIY (Do It Yourself) community for several years, and it is now providing environmental science researchers with an inexpensive alternative to commercial data logging and transmission hardware. Here we present the designs for our latest series of custom Arduino-based dataloggers, which include wireless communication options like self-meshing radio networks and cellular phone modules. The main Arduino board uses a custom interface board to connect to various research-grade sensors to take readings of turbidity, dissolved oxygen, water depth and conductivity, soil moisture, solar radiation, and other parameters. Sensors with SDI-12 communications can be directly interfaced to the logger using our open Arduino-SDI-12 software library (https://github.com/StroudCenter/Arduino-SDI-12). Different deployment options are shown, like rugged enclosures to house the loggers and rigs for mounting the sensors in both fresh water and marine environments. After the data has been collected and transmitted by the logger, the data is received by a mySQL-PHP stack running on a web server that can be accessed from anywhere in the world. Once there, the data can be visualized on web pages or served though REST requests and Water One Flow (WOF) services. Since one of the main benefits of using open source hardware is the easy collaboration between users, we are introducing a new web platform for discussion and sharing of ideas and plans for hardware and software designs used with DIY environmental sensors and data loggers.
Computer hardware for radiologists: Part 2
Directory of Open Access Journals (Sweden)
Indrajit I
2010-01-01
Full Text Available Computers are an integral part of modern radiology equipment. In the first half of this two-part article, we dwelt upon some fundamental concepts regarding computer hardware, covering components like motherboard, central processing unit (CPU, chipset, random access memory (RAM, and memory modules. In this article, we describe the remaining computer hardware components that are of relevance to radiology. "Storage drive" is a term describing a "memory" hardware used to store data for later retrieval. Commonly used storage drives are hard drives, floppy drives, optical drives, flash drives, and network drives. The capacity of a hard drive is dependent on many factors, including the number of disk sides, number of tracks per side, number of sectors on each track, and the amount of data that can be stored in each sector. "Drive interfaces" connect hard drives and optical drives to a computer. The connections of such drives require both a power cable and a data cable. The four most popular "input/output devices" used commonly with computers are the printer, monitor, mouse, and keyboard. The "bus" is a built-in electronic signal pathway in the motherboard to permit efficient and uninterrupted data transfer. A motherboard can have several buses, including the system bus, the PCI express bus, the PCI bus, the AGP bus, and the (outdated ISA bus. "Ports" are the location at which external devices are connected to a computer motherboard. All commonly used peripheral devices, such as printers, scanners, and portable drives, need ports. A working knowledge of computers is necessary for the radiologist if the workflow is to realize its full potential and, besides, this knowledge will prepare the radiologist for the coming innovations in the ′ever increasing′ digital future.
Computer hardware for radiologists: Part 2
International Nuclear Information System (INIS)
Indrajit, IK; Alam, A
2010-01-01
Computers are an integral part of modern radiology equipment. In the first half of this two-part article, we dwelt upon some fundamental concepts regarding computer hardware, covering components like motherboard, central processing unit (CPU), chipset, random access memory (RAM), and memory modules. In this article, we describe the remaining computer hardware components that are of relevance to radiology. “Storage drive” is a term describing a “memory” hardware used to store data for later retrieval. Commonly used storage drives are hard drives, floppy drives, optical drives, flash drives, and network drives. The capacity of a hard drive is dependent on many factors, including the number of disk sides, number of tracks per side, number of sectors on each track, and the amount of data that can be stored in each sector. “Drive interfaces” connect hard drives and optical drives to a computer. The connections of such drives require both a power cable and a data cable. The four most popular “input/output devices” used commonly with computers are the printer, monitor, mouse, and keyboard. The “bus” is a built-in electronic signal pathway in the motherboard to permit efficient and uninterrupted data transfer. A motherboard can have several buses, including the system bus, the PCI express bus, the PCI bus, the AGP bus, and the (outdated) ISA bus. “Ports” are the location at which external devices are connected to a computer motherboard. All commonly used peripheral devices, such as printers, scanners, and portable drives, need ports. A working knowledge of computers is necessary for the radiologist if the workflow is to realize its full potential and, besides, this knowledge will prepare the radiologist for the coming innovations in the ‘ever increasing’ digital future
The Impact of Flight Hardware Scavenging on Space Logistics
Oeftering, Richard C.
2011-01-01
For a given fixed launch vehicle capacity the logistics payload delivered to the moon may be only roughly 20 percent of the payload delivered to the International Space Station (ISS). This is compounded by the much lower flight frequency to the moon and thus low availability of spares for maintenance. This implies that lunar hardware is much more scarce and more costly per kilogram than ISS and thus there is much more incentive to preserve hardware. The Constellation Lunar Surface System (LSS) program is considering ways of utilizing hardware scavenged from vehicles including the Altair lunar lander. In general, the hardware will have only had a matter of hours of operation yet there may be years of operational life remaining. By scavenging this hardware the program, in effect, is treating vehicle hardware as part of the payload. Flight hardware may provide logistics spares for system maintenance and reduce the overall logistics footprint. This hardware has a wide array of potential applications including expanding the power infrastructure, and exploiting in-situ resources. Scavenging can also be seen as a way of recovering the value of, literally, billions of dollars worth of hardware that would normally be discarded. Scavenging flight hardware adds operational complexity and steps must be taken to augment the crew s capability with robotics, capabilities embedded in flight hardware itself, and external processes. New embedded technologies are needed to make hardware more serviceable and scavengable. Process technologies are needed to extract hardware, evaluate hardware, reconfigure or repair hardware, and reintegrate it into new applications. This paper also illustrates how scavenging can be used to drive down the cost of the overall program by exploiting the intrinsic value of otherwise discarded flight hardware.
Quotable Quotes in Mathematics
Lo, Bruce W. N.
1983-01-01
As a way to dispel negative feelings toward mathematics, a variety of quotations are given. They are categorized by: what mathematics is, mathematicians, mathematics and other disciplines, different areas of mathematics, mathematics and humor, applications of mathematics, and pure versus applied mathematics. (MNS)
Management of cladding hulls and fuel hardware
International Nuclear Information System (INIS)
1985-01-01
The reprocessing of spent fuel from power reactors based on chop-leach technology produces a solid waste product of cladding hulls and other metallic residues. This report describes the current situation in the management of fuel cladding hulls and hardware. Information is presented on the material composition of such waste together with the heating effects due to neutron-induced activation products and fuel contamination. As no country has established a final disposal route and the corresponding repository, this report also discusses possible disposal routes and various disposal options under consideration at present
Open Hardware for CERN's accelerator control systems
International Nuclear Information System (INIS)
Bij, E van der; Serrano, J; Wlostowski, T; Cattin, M; Gousiou, E; Sanchez, P Alvarez; Boccardi, A; Voumard, N; Penacoba, G
2012-01-01
The accelerator control systems at CERN will be upgraded and many electronics modules such as analog and digital I/O, level converters and repeaters, serial links and timing modules are being redesigned. The new developments are based on the FPGA Mezzanine Card, PCI Express and VME64x standards while the Wishbone specification is used as a system on a chip bus. To attract partners, the projects are developed in an 'Open' fashion. Within this Open Hardware project new ways of working with industry are being evaluated and it has been proven that industry can be involved at all stages, from design to production and support.
Hardware for computing the integral image
Fernández-Berni, J.; Rodríguez-Vázquez, Ángel; Río, Rocío del; Carmona-Galán, R.
2015-01-01
La presente invención, según se expresa en el enunciado de esta memoria descriptiva, consiste en hardware de señal mixta para cómputo de la imagen integral en el plano focal mediante una agrupación de celdas básicas de sensado-procesamiento cuya interconexión puede ser reconfigurada mediante circuitería periférica que hace posible una implementación muy eficiente de una tarea de procesamiento muy útil en visión artificial como es el cálculo de la imagen integral en escenarios tales como monit...
Development of Hardware Dual Modality Tomography System
Directory of Open Access Journals (Sweden)
R. M. Zain
2009-06-01
Full Text Available The paper describes the hardware development and performance of the Dual Modality Tomography (DMT system. DMT consists of optical and capacitance sensors. The optical sensors consist of 16 LEDs and 16 photodiodes. The Electrical Capacitance Tomography (ECT electrode design use eight electrode plates as the detecting sensor. The digital timing and the control unit have been developing in order to control the light projection of optical emitters, switching the capacitance electrodes and to synchronize the operation of data acquisition. As a result, the developed system is able to provide a maximum 529 set data per second received from the signal conditioning circuit to the computer.
Fast Gridding on Commodity Graphics Hardware
DEFF Research Database (Denmark)
Sørensen, Thomas Sangild; Schaeffter, Tobias; Noe, Karsten Østergaard
2007-01-01
is the far most time consuming of the three steps (Table 1). Modern graphics cards (GPUs) can be utilised as a fast parallel processor provided that algorithms are reformulated in a parallel solution. The purpose of this work is to test the hypothesis, that a non-cartesian reconstruction can be efficiently...... implemented on graphics hardware giving a significant speedup compared to CPU based alternatives. We present a novel GPU implementation of the convolution step that overcomes the problems of memory bandwidth that has limited the speed of previous GPU gridding algorithms [2]....
Reconfigurable Hardware for Compressing Hyperspectral Image Data
Aranki, Nazeeh; Namkung, Jeffrey; Villapando, Carlos; Kiely, Aaron; Klimesh, Matthew; Xie, Hua
2010-01-01
High-speed, low-power, reconfigurable electronic hardware has been developed to implement ICER-3D, an algorithm for compressing hyperspectral-image data. The algorithm and parts thereof have been the topics of several NASA Tech Briefs articles, including Context Modeler for Wavelet Compression of Hyperspectral Images (NPO-43239) and ICER-3D Hyperspectral Image Compression Software (NPO-43238), which appear elsewhere in this issue of NASA Tech Briefs. As described in more detail in those articles, the algorithm includes three main subalgorithms: one for computing wavelet transforms, one for context modeling, and one for entropy encoding. For the purpose of designing the hardware, these subalgorithms are treated as modules to be implemented efficiently in field-programmable gate arrays (FPGAs). The design takes advantage of industry- standard, commercially available FPGAs. The implementation targets the Xilinx Virtex II pro architecture, which has embedded PowerPC processor cores with flexible on-chip bus architecture. It incorporates an efficient parallel and pipelined architecture to compress the three-dimensional image data. The design provides for internal buffering to minimize intensive input/output operations while making efficient use of offchip memory. The design is scalable in that the subalgorithms are implemented as independent hardware modules that can be combined in parallel to increase throughput. The on-chip processor manages the overall operation of the compression system, including execution of the top-level control functions as well as scheduling, initiating, and monitoring processes. The design prototype has been demonstrated to be capable of compressing hyperspectral data at a rate of 4.5 megasamples per second at a conservative clock frequency of 50 MHz, with a potential for substantially greater throughput at a higher clock frequency. The power consumption of the prototype is less than 6.5 W. The reconfigurability (by means of reprogramming) of
List search hardware for interpretive software
Altaber, Jacques; Mears, B; Rausch, R
1979-01-01
Interpreted languages, e.g. BASIC, are simple to learn, easy to use, quick to modify and in general 'user-friendly'. However, a critically time consuming process during interpretation is that of list searching. A special microprogrammed device for fast list searching has therefore been developed at the SPS Division of CERN. It uses bit- sliced hardware. Fast algorithms perform search, insert and delete of a six-character name and its value in a list of up to 1000 pairs. The prototype shows retrieval times of the order of 10-30 microseconds. (11 refs).
Hardware trigger processor for the MDT system
AUTHOR|(SzGeCERN)757787; The ATLAS collaboration; Hazen, Eric; Butler, John; Black, Kevin; Gastler, Daniel Edward; Ntekas, Konstantinos; Taffard, Anyes; Martinez Outschoorn, Verena; Ishino, Masaya; Okumura, Yasuyuki
2017-01-01
We are developing a low-latency hardware trigger processor for the Monitored Drift Tube system in the Muon spectrometer. The processor will fit candidate Muon tracks in the drift tubes in real time, improving significantly the momentum resolution provided by the dedicated trigger chambers. We present a novel pure-FPGA implementation of a Legendre transform segment finder, an associative-memory alternative implementation, an ARM (Zynq) processor-based track fitter, and compact ATCA carrier board architecture. The ATCA architecture is designed to allow a modular, staged approach to deployment of the system and exploration of alternative technologies.
Hardware-in-the-Loop emulator for a hydrokinetic turbine
Rat, C. L.; Prostean, O.; Filip, I.
2018-01-01
Hydroelectric power has proven to be an efficient and reliable form of renewable energy, but its impact on the environment has long been a source of concern. Hydrokinetic turbines are an emerging class of renewable energy technology designed for deployment in small rivers and streams with minimal environmental impact on the local ecosystem. Hydrokinetic technology represents a truly clean source of energy, having the potential to become a highly efficient method of harvesting renewable energy. However, in order to achieve this goal, extensive research is necessary. This paper presents a Hardware-in-the-Loop emulator for a run-of-the-river type hydrokinetic turbine. The HIL system uses an ABB ACS800 drive to control an induction machine as a significant means of replicating the behavior of the real turbine. The induction machine is coupled to a permanent magnet synchronous generator and the corresponding load. The ACS800 drive is controlled through the software system, which comprises of the hydrokinetic turbine real-time simulation through mathematical modeling in the LabVIEW programming environment running on a NI CompactRIO (cRIO) platform. The advantages of this method are that it can provide a means for testing many control configurations without requiring the presence of the real turbine. This paper contains the basic principles of a hydrokinetic turbine, particularly the run-of-the-river configurations along with the experimental results obtained from the HIL system.
Directory of Open Access Journals (Sweden)
Ikbel Belaid
2011-01-01
Full Text Available Task graph scheduling for reconfigurable hardware devices can be defined as finding a schedule for a set of periodic tasks with precedence, dependence, and deadline constraints as well as their optimal allocations on the available heterogeneous hardware resources. This paper proposes a new methodology comprising three main stages. Using these three main stages, dynamic partial reconfiguration and mixed integer programming, pipelined scheduling and efficient placement are achieved and enable parallel computing of the task graph on the reconfigurable devices by optimizing placement/scheduling quality. Experiments on an application of heterogeneous hardware tasks demonstrate an improvement of resource utilization of 12.45% of the available reconfigurable resources corresponding to a resource gain of 17.3% compared to a static design. The configuration overhead is reduced to 2% of the total running time. Due to pipelined scheduling, the task graph spanning is minimized by 4% compared to sequential execution of the graph.
Is Hardware Removal Recommended after Ankle Fracture Repair?
Directory of Open Access Journals (Sweden)
Hong-Geun Jung
2016-01-01
Full Text Available The indications and clinical necessity for routine hardware removal after treating ankle or distal tibia fracture with open reduction and internal fixation are disputed even when hardware-related pain is insignificant. Thus, we determined the clinical effects of routine hardware removal irrespective of the degree of hardware-related pain, especially in the perspective of patients’ daily activities. This study was conducted on 80 consecutive cases (78 patients treated by surgery and hardware removal after bony union. There were 56 ankle and 24 distal tibia fractures. The hardware-related pain, ankle joint stiffness, discomfort on ambulation, and patient satisfaction were evaluated before and at least 6 months after hardware removal. Pain score before hardware removal was 3.4 (range 0 to 6 and decreased to 1.3 (range 0 to 6 after removal. 58 (72.5% patients experienced improved ankle stiffness and 65 (81.3% less discomfort while walking on uneven ground and 63 (80.8% patients were satisfied with hardware removal. These results suggest that routine hardware removal after ankle or distal tibia fracture could ameliorate hardware-related pain and improves daily activities and patient satisfaction even when the hardware-related pain is minimal.
International Nuclear Information System (INIS)
Wainwright, J.
1990-01-01
The workshop on mathematical cosmology was devoted to four topics of current interest. This report contains a brief discussion of the historical background of each topic and a concise summary of the content of each talk. The topics were; the observational cosmology program, the cosmological perturbation program, isotropic singularities, and the evolution of Bianchi cosmologies. (author)
Weaver, Nik
2001-01-01
With a unique approach and presenting an array of new and intriguing topics, Mathematical Quantization offers a survey of operator algebras and related structures from the point of view that these objects are quantizations of classical mathematical structures. This approach makes possible, with minimal mathematical detail, a unified treatment of a variety of topics.Detailed here for the first time, the fundamental idea of mathematical quantization is that sets are replaced by Hilbert spaces. Building on this idea, and most importantly on the fact that scalar-valued functions on a set correspond to operators on a Hilbert space, one can determine quantum analogs of a variety of classical structures. In particular, because topologies and measure classes on a set can be treated in terms of scalar-valued functions, we can transfer these constructions to the quantum realm, giving rise to C*- and von Neumann algebras.In the first half of the book, the author quickly builds the operator algebra setting. He uses this ...
Fujita, Shinsaku
2015-01-01
Chirality and stereogenicity are closely related concepts and their differentiation and description is still a challenge in chemoinformatics. A new stereoisogram approach, developed by the author, is introduced in this book, providing a theoretical framework for mathematical aspects of modern stereochemistry. The discussion covers point-groups and permutation symmetry and exemplifies the concepts using organic molecules and inorganic complexes.
Multi-loop PWR modeling and hardware-in-the-loop testing using ACSL
International Nuclear Information System (INIS)
Thomas, V.M.; Heibel, M.D.; Catullo, W.J.
1989-01-01
Westinghouse has developed an Advanced Digital Feedwater Control System (ADFCS) which is aimed at reducing feedwater related reactor trips through improved control performance for pressurized water reactor (PWR) power plants. To support control system setpoint studies and functional design efforts for the ADFCS, an ACSL based model of the nuclear steam supply system (NSSS) of a Westinghouse (PWR) was generated. Use of this plant model has been extended from system design to system testing through integration of the model into a Hardware-in-Loop test environment for the ADFCS. This integration includes appropriate interfacing between a Gould SEL 32/87 computer, upon which the plant model executes in real time, and the Westinghouse Distributed Processing family (WDPF) test hardware. A development program has been undertaken to expand the existing ACSL model to include capability to explicitly model multiple plant loops, steam generators, and corresponding feedwater systems. Furthermore, the program expands the ADFCS Hardware-in-Loop testing to include the multi-loop plant model. This paper provides an overview of the testing approach utilized for the ADFCS with focus on the role of Hardware-in-Loop testing. Background on the plant model, methodology and test environment is also provided. Finally, an overview is presented of the program to expand the model and associated Hardware-in-Loop test environment to handle multiple loops
Internet-based hardware/software co-design framework for embedded 3D graphics applications
Directory of Open Access Journals (Sweden)
Wong Weng-Fai
2011-01-01
Full Text Available Abstract Advances in technology are making it possible to run three-dimensional (3D graphics applications on embedded and handheld devices. In this article, we propose a hardware/software co-design environment for 3D graphics application development that includes the 3D graphics software, OpenGL ES application programming interface (API, device driver, and 3D graphics hardware simulators. We developed a 3D graphics system-on-a-chip (SoC accelerator using transaction-level modeling (TLM. This gives software designers early access to the hardware even before it is ready. On the other hand, hardware designers also stand to gain from the more complex test benches made available in the software for verification. A unique aspect of our framework is that it allows hardware and software designers from geographically dispersed areas to cooperate and work on the same framework. Designs can be entered and executed from anywhere in the world without full access to the entire framework, which may include proprietary components. This results in controlled and secure transparency and reproducibility, granting leveled access to users of various roles.
International Nuclear Information System (INIS)
Agrachev, A.A.
2002-01-01
This volume is based on the lecture notes of the minicourses given in the frame of the school on Mathematical Control Theory held at the Abdus Salam ICTP from 3 to 28 September 2001. Mathematical Control Theory is a rapidly growing field which provides strict theoretical and computational tools for dealing with problems arising in electrical and aerospace engineering, automatics, robotics, applied chemistry, and biology etc. Control methods are also involved in questions pertaining to the development of countries in the South, such as wastewater treatment, agronomy, epidemiology, population dynamics, control of industrial and natural bio-reactors. Since most of these natural processes are highly nonlinear, the tools of nonlinear control are essential for the modelling and control of such processes. At present regular courses in Mathematical Control Theory are rarely included in the curricula of universities, and very few researchers receive enough background in the field. Therefore it is important to organize specific activities in the form of schools to provide the necessary background for those embarking on research in this field. The school at the Abdus Salam ICTP consisted of several minicourses intended to provide an introduction to various topics of Mathematical Control Theory, including Linear Control Theory (finite and infinite-dimensional), Nonlinear Control, and Optimal Control. The last week of the school was concentrated on applications of Mathematical Control Theory, in particular, those which are important for the development of non-industrialized countries. The school was intended primarily for mathematicians and mathematically oriented engineers at the beginning of their career. The typical participant was expected to be a graduate student or young post-doctoral researcher interested in Mathematical Control Theory. It was assumed that participants have sufficient background in Ordinary Differential Equations and Advanced Calculus. The volume
Energy Technology Data Exchange (ETDEWEB)
Agrachev, A A [Steklov Mathematical Institute, Moscow (Russian Federation); SISSA, Trieste [Italy; ed.
2002-07-15
This volume is based on the lecture notes of the minicourses given in the frame of the school on Mathematical Control Theory held at the Abdus Salam ICTP from 3 to 28 September 2001. Mathematical Control Theory is a rapidly growing field which provides strict theoretical and computational tools for dealing with problems arising in electrical and aerospace engineering, automatics, tics, applied chemistry, and biology etc. Control methods are also involved in questions pertaining to the development of countries in the South, such as wastewater treatment, agronomy, epidemiology, population dynamics, control of industrial and natural bio-reactors. Since most of these natural processes are highly nonlinear, the tools of nonlinear control are essential for the modelling and control of such processes. At present regular courses in Mathematical Control Theory are rarely included in the curricula of universities, and very few researchers receive enough background in the field. Therefore it is important to organize specific activities in the form of schools to provide the necessary background for those embarking on research in this field. The school at the Abdus Salam ICTP consisted of several minicourses intended to provide an introduction to various topics of Mathematical Control Theory, including Linear Control Theory (finite and infinite-dimensional), Nonlinear Control, and Optimal Control. The last week of the school was concentrated on applications of Mathematical Control Theory, in particular, those which are important for the development of non-industrialized countries. The school was intended primarily for mathematicians and mathematically oriented engineers at the beginning of their career. The typical participant was expected to be a graduate student or young post-doctoral researcher interested in Mathematical Control Theory. It was assumed that participants have sufficient background in Ordinary Differential Equations and Advanced Calculus. The volume contains
ISS Logistics Hardware Disposition and Metrics Validation
Rogers, Toneka R.
2010-01-01
I was assigned to the Logistics Division of the International Space Station (ISS)/Spacecraft Processing Directorate. The Division consists of eight NASA engineers and specialists that oversee the logistics portion of the Checkout, Assembly, and Payload Processing Services (CAPPS) contract. Boeing, their sub-contractors and the Boeing Prime contract out of Johnson Space Center, provide the Integrated Logistics Support for the ISS activities at Kennedy Space Center. Essentially they ensure that spares are available to support flight hardware processing and the associated ground support equipment (GSE). Boeing maintains a Depot for electrical, mechanical and structural modifications and/or repair capability as required. My assigned task was to learn project management techniques utilized by NASA and its' contractors to provide an efficient and effective logistics support infrastructure to the ISS program. Within the Space Station Processing Facility (SSPF) I was exposed to Logistics support components, such as, the NASA Spacecraft Services Depot (NSSD) capabilities, Mission Processing tools, techniques and Warehouse support issues, required for integrating Space Station elements at the Kennedy Space Center. I also supported the identification of near-term ISS Hardware and Ground Support Equipment (GSE) candidates for excessing/disposition prior to October 2010; and the validation of several Logistics Metrics used by the contractor to measure logistics support effectiveness.
ARM assembly language with hardware experiments
Elahi, Ata
2015-01-01
This book provides a hands-on approach to learning ARM assembly language with the use of a TI microcontroller. The book starts with an introduction to computer architecture and then discusses number systems and digital logic. The text covers ARM Assembly Language, ARM Cortex Architecture and its components, and Hardware Experiments using TILM3S1968. Written for those interested in learning embedded programming using an ARM Microcontroller. · Introduces number systems and signal transmission methods · Reviews logic gates, registers, multiplexers, decoders and memory · Provides an overview and examples of ARM instruction set · Uses using Keil development tools for writing and debugging ARM assembly language Programs · Hardware experiments using a Mbed NXP LPC1768 microcontroller; including General Purpose Input/Output (GPIO) configuration, real time clock configuration, binary input to 7-segment display, creating ...
Introduction to Hardware Security and Trust
Wang, Cliff
2012-01-01
The emergence of a globalized, horizontal semiconductor business model raises a set of concerns involving the security and trust of the information systems on which modern society is increasingly reliant for mission-critical functionality. Hardware-oriented security and trust issues span a broad range including threats related to the malicious insertion of Trojan circuits designed, e.g.,to act as a ‘kill switch’ to disable a chip, to integrated circuit (IC) piracy,and to attacks designed to extract encryption keys and IP from a chip. This book provides the foundations for understanding hardware security and trust, which have become major concerns for national security over the past decade. Coverage includes security and trust issues in all types of electronic devices and systems such as ASICs, COTS, FPGAs, microprocessors/DSPs, and embedded systems. This serves as an invaluable reference to the state-of-the-art research that is of critical significance to the security of,and trust in, modern society�...
Fast image processing on parallel hardware
International Nuclear Information System (INIS)
Bittner, U.
1988-01-01
Current digital imaging modalities in the medical field incorporate parallel hardware which is heavily used in the stage of image formation like the CT/MR image reconstruction or in the DSA real time subtraction. In order to image post-processing as efficient as image acquisition, new software approaches have to be found which take full advantage of the parallel hardware architecture. This paper describes the implementation of two-dimensional median filter which can serve as an example for the development of such an algorithm. The algorithm is analyzed by viewing it as a complete parallel sort of the k pixel values in the chosen window which leads to a generalization to rank order operators and other closely related filters reported in literature. A section about the theoretical base of the algorithm gives hints for how to characterize operations suitable for implementations on pipeline processors and the way to find the appropriate algorithms. Finally some results that computation time and usefulness of medial filtering in radiographic imaging are given
Functional modelling for integration of human-software-hardware in complex physical systems
International Nuclear Information System (INIS)
Modarres, M.
1996-01-01
A framework describing the properties of complex physical systems composed of human-software-hardware interactions in terms of their functions is described. It is argued that such a framework is domain-general, so that functional primitives present a language that is more general than most other modeling methods such as mathematical simulation. The characteristics and types of functional models are described. Examples of uses of the framework in modeling physical systems composed of human-software-hardware (hereby we refer to them as only physical systems) are presented. It is concluded that a function-centered model of a physical system provides a capability for generating a high-level simulation of the system for intelligent diagnostic, control or other similar applications
ANNarchy: a code generation approach to neural simulations on parallel hardware
Vitay, Julien; Dinkelbach, Helge Ü.; Hamker, Fred H.
2015-01-01
Many modern neural simulators focus on the simulation of networks of spiking neurons on parallel hardware. Another important framework in computational neuroscience, rate-coded neural networks, is mostly difficult or impossible to implement using these simulators. We present here the ANNarchy (Artificial Neural Networks architect) neural simulator, which allows to easily define and simulate rate-coded and spiking networks, as well as combinations of both. The interface in Python has been designed to be close to the PyNN interface, while the definition of neuron and synapse models can be specified using an equation-oriented mathematical description similar to the Brian neural simulator. This information is used to generate C++ code that will efficiently perform the simulation on the chosen parallel hardware (multi-core system or graphical processing unit). Several numerical methods are available to transform ordinary differential equations into an efficient C++code. We compare the parallel performance of the simulator to existing solutions. PMID:26283957
The language of mathematics telling mathematical tales
Barton, Bill
2008-01-01
Everyday mathematical ideas are expressed differently in different languages. This book probes those differences and explores their implications for mathematics education, arguing for alternatives to how we teach and learn mathematics.
Applied Computational Mathematics in Social Sciences
Damaceanu, Romulus-Catalin
2010-01-01
Applied Computational Mathematics in Social Sciences adopts a modern scientific approach that combines knowledge from mathematical modeling with various aspects of social science. Special algorithms can be created to simulate an artificial society and a detailed analysis can subsequently be used to project social realities. This Ebook specifically deals with computations using the NetLogo platform, and is intended for researchers interested in advanced human geography and mathematical modeling studies.
Accelerating epistasis analysis in human genetics with consumer graphics hardware
Directory of Open Access Journals (Sweden)
Cancare Fabio
2009-07-01
Full Text Available Abstract Background Human geneticists are now capable of measuring more than one million DNA sequence variations from across the human genome. The new challenge is to develop computationally feasible methods capable of analyzing these data for associations with common human disease, particularly in the context of epistasis. Epistasis describes the situation where multiple genes interact in a complex non-linear manner to determine an individual's disease risk and is thought to be ubiquitous for common diseases. Multifactor Dimensionality Reduction (MDR is an algorithm capable of detecting epistasis. An exhaustive analysis with MDR is often computationally expensive, particularly for high order interactions. This challenge has previously been met with parallel computation and expensive hardware. The option we examine here exploits commodity hardware designed for computer graphics. In modern computers Graphics Processing Units (GPUs have more memory bandwidth and computational capability than Central Processing Units (CPUs and are well suited to this problem. Advances in the video game industry have led to an economy of scale creating a situation where these powerful components are readily available at very low cost. Here we implement and evaluate the performance of the MDR algorithm on GPUs. Of primary interest are the time required for an epistasis analysis and the price to performance ratio of available solutions. Findings We found that using MDR on GPUs consistently increased performance per machine over both a feature rich Java software package and a C++ cluster implementation. The performance of a GPU workstation running a GPU implementation reduces computation time by a factor of 160 compared to an 8-core workstation running the Java implementation on CPUs. This GPU workstation performs similarly to 150 cores running an optimized C++ implementation on a Beowulf cluster. Furthermore this GPU system provides extremely cost effective
Accelerating epistasis analysis in human genetics with consumer graphics hardware.
Sinnott-Armstrong, Nicholas A; Greene, Casey S; Cancare, Fabio; Moore, Jason H
2009-07-24
Human geneticists are now capable of measuring more than one million DNA sequence variations from across the human genome. The new challenge is to develop computationally feasible methods capable of analyzing these data for associations with common human disease, particularly in the context of epistasis. Epistasis describes the situation where multiple genes interact in a complex non-linear manner to determine an individual's disease risk and is thought to be ubiquitous for common diseases. Multifactor Dimensionality Reduction (MDR) is an algorithm capable of detecting epistasis. An exhaustive analysis with MDR is often computationally expensive, particularly for high order interactions. This challenge has previously been met with parallel computation and expensive hardware. The option we examine here exploits commodity hardware designed for computer graphics. In modern computers Graphics Processing Units (GPUs) have more memory bandwidth and computational capability than Central Processing Units (CPUs) and are well suited to this problem. Advances in the video game industry have led to an economy of scale creating a situation where these powerful components are readily available at very low cost. Here we implement and evaluate the performance of the MDR algorithm on GPUs. Of primary interest are the time required for an epistasis analysis and the price to performance ratio of available solutions. We found that using MDR on GPUs consistently increased performance per machine over both a feature rich Java software package and a C++ cluster implementation. The performance of a GPU workstation running a GPU implementation reduces computation time by a factor of 160 compared to an 8-core workstation running the Java implementation on CPUs. This GPU workstation performs similarly to 150 cores running an optimized C++ implementation on a Beowulf cluster. Furthermore this GPU system provides extremely cost effective performance while leaving the CPU available for other
Mathematical literacy teachers' engagement with contextual tasks ...
African Journals Online (AJOL)
This article reports on a study carried out with a group of 108 practising Mathematical Literacy (ML) teachers who participated in an Advanced Certificate in Education (ACE) programme. The purpose of the qualitative study was to identify and describe the teachers' varying levels of engagement with mathematics tools and ...
Introduction to mathematical physics methods and concepts
Wong, Chun Wa
2013-01-01
Mathematical physics provides physical theories with their logical basis and the tools for drawing conclusions from hypotheses. Introduction to Mathematical Physics explains to the reader why and how mathematics is needed in the description of physical events in space. For undergraduates in physics, it is a classroom-tested textbook on vector analysis, linear operators, Fourier series and integrals, differential equations, special functions and functions of a complex variable. Strongly correlated with core undergraduate courses on classical and quantum mechanics and electromagnetism, it helps the student master these necessary mathematical skills. It contains advanced topics of interest to graduate students on relativistic square-root spaces and nonlinear systems. It contains many tables of mathematical formulas and references to useful materials on the Internet. It includes short tutorials on basic mathematical topics to help readers refresh their mathematical knowledge. An appendix on Mathematica encourages...
Sierpinska, Anna
1994-01-01
The concept of understanding in mathematics with regard to mathematics education is considered in this volume, the main problem for mathematics teachers being how to facilitate their students'' understanding of the mathematics being taught.
Driessche, Pauline; Wu, Jianhong
2008-01-01
Based on lecture notes of two summer schools with a mixed audience from mathematical sciences, epidemiology and public health, this volume offers a comprehensive introduction to basic ideas and techniques in modeling infectious diseases, for the comparison of strategies to plan for an anticipated epidemic or pandemic, and to deal with a disease outbreak in real time. It covers detailed case studies for diseases including pandemic influenza, West Nile virus, and childhood diseases. Models for other diseases including Severe Acute Respiratory Syndrome, fox rabies, and sexually transmitted infections are included as applications. Its chapters are coherent and complementary independent units. In order to accustom students to look at the current literature and to experience different perspectives, no attempt has been made to achieve united writing style or unified notation. Notes on some mathematical background (calculus, matrix algebra, differential equations, and probability) have been prepared and may be downlo...
International Nuclear Information System (INIS)
Nedelec, J.C.
1988-01-01
The 1988 progress report of the Applied Mathematics center (Polytechnic School, France), is presented. The research fields of the Center are the scientific calculus, the probabilities and statistics and the video image synthesis. The research topics developed are: the analysis of numerical methods, the mathematical analysis of the physics and mechanics fundamental models, the numerical solution of complex models related to the industrial problems, the stochastic calculus and the brownian movement, the stochastic partial differential equations, the identification of the adaptive filtering parameters, the discrete element systems, statistics, the stochastic control and the development, the image synthesis techniques for education and research programs. The published papers, the congress communications and the thesis are listed [fr
Heuristic Biases in Mathematical Reasoning
Inglis, Matthew; Simpson, Adrian
2005-01-01
In this paper we briefly describe the dual process account of reasoning, and explain the role of heuristic biases in human thought. Concentrating on the so-called matching bias effect, we describe a piece of research that indicates a correlation between success at advanced level mathematics and an ability to override innate and misleading…
Introduction to mathematical fluid dynamics
Meyer, Richard E
2010-01-01
An introduction to the behavior of liquids and gases, this volume provides excellent coverage of kinematics, momentum principle, Newtonian fluid, rotating fluids, compressibility, and more. It is geared toward advanced undergraduate and graduate students of mathematics and general science, and it requires a background in calculus and vector analysis. 1971 edition.
Mathematics Connection - Vol 9 (2010)
African Journals Online (AJOL)
The effect of behavioural objectives used as advance organizers on senior secondary students' mathematics achievement · EMAIL FULL TEXT EMAIL FULL TEXT DOWNLOAD FULL TEXT DOWNLOAD FULL TEXT. A.S Ifamuyiwa, 11-20. http://dx.doi.org/10.4314/mc.v9i1.61552 ...
Science and Mathematics in Astronomy
Woolack, Edward
2009-01-01
A brief historical introduction to the development of observational astronomy will be presented. The close historical relationship between the successful application of mathematical concepts and advances in astronomy will be presented. A variety of simple physical demonstrations, hands-on group activities, and puzzles will be used to understand how the properties of light can be used to understand the contents of our universe.
Handbook of hardware/software codesign
Teich, Jürgen
2017-01-01
This handbook presents fundamental knowledge on the hardware/software (HW/SW) codesign methodology. Contributing expert authors look at key techniques in the design flow as well as selected codesign tools and design environments, building on basic knowledge to consider the latest techniques. The book enables readers to gain real benefits from the HW/SW codesign methodology through explanations and case studies which demonstrate its usefulness. Readers are invited to follow the progress of design techniques through this work, which assists readers in following current research directions and learning about state-of-the-art techniques. Students and researchers will appreciate the wide spectrum of subjects that belong to the design methodology from this handbook. .
Battery Management System Hardware Concepts: An Overview
Directory of Open Access Journals (Sweden)
Markus Lelie
2018-03-01
Full Text Available This paper focuses on the hardware aspects of battery management systems (BMS for electric vehicle and stationary applications. The purpose is giving an overview on existing concepts in state-of-the-art systems and enabling the reader to estimate what has to be considered when designing a BMS for a given application. After a short analysis of general requirements, several possible topologies for battery packs and their consequences for the BMS’ complexity are examined. Four battery packs that were taken from commercially available electric vehicles are shown as examples. Later, implementation aspects regarding measurement of needed physical variables (voltage, current, temperature, etc. are discussed, as well as balancing issues and strategies. Finally, safety considerations and reliability aspects are investigated.
EPICS: Allen-Bradley hardware reference manual
International Nuclear Information System (INIS)
Nawrocki, G.
1993-01-01
This manual covers the following hardware: Allen-Bradley 6008 -- SV VMEbus I/O scanner; Allen-Bradley universal I/O chassis 1771-A1B, -A2B, -A3B, and -A4B; Allen-Bradley power supply module 1771-P4S; Allen-Bradley 1771-ASB remote I/O adapter module; Allen-Bradley 1771-IFE analog input module; Allen-Bradley 1771-OFE analog output module; Allen-Bradley 1771-IG(D) TTL input module; Allen-Bradley 1771-OG(d) TTL output; Allen-Bradley 1771-IQ DC selectable input module; Allen-Bradley 1771-OW contact output module; Allen-Bradley 1771-IBD DC (10--30V) input module; Allen-Bradley 1771-OBD DC (10--60V) output module; Allen-Bradley 1771-IXE thermocouple/millivolt input module; and the Allen-Bradley 2705 RediPANEL push button module
Locating hardware faults in a parallel computer
Archer, Charles J.; Megerian, Mark G.; Ratterman, Joseph D.; Smith, Brian E.
2010-04-13
Locating hardware faults in a parallel computer, including defining within a tree network of the parallel computer two or more sets of non-overlapping test levels of compute nodes of the network that together include all the data communications links of the network, each non-overlapping test level comprising two or more adjacent tiers of the tree; defining test cells within each non-overlapping test level, each test cell comprising a subtree of the tree including a subtree root compute node and all descendant compute nodes of the subtree root compute node within a non-overlapping test level; performing, separately on each set of non-overlapping test levels, an uplink test on all test cells in a set of non-overlapping test levels; and performing, separately from the uplink tests and separately on each set of non-overlapping test levels, a downlink test on all test cells in a set of non-overlapping test levels.
Theorem Proving in Intel Hardware Design
O'Leary, John
2009-01-01
For the past decade, a framework combining model checking (symbolic trajectory evaluation) and higher-order logic theorem proving has been in production use at Intel. Our tools and methodology have been used to formally verify execution cluster functionality (including floating-point operations) for a number of Intel products, including the Pentium(Registered TradeMark)4 and Core(TradeMark)i7 processors. Hardware verification in 2009 is much more challenging than it was in 1999 - today s CPU chip designs contain many processor cores and significant firmware content. This talk will attempt to distill the lessons learned over the past ten years, discuss how they apply to today s problems, outline some future directions.
Hardware implementation of stochastic spiking neural networks.
Rosselló, Josep L; Canals, Vincent; Morro, Antoni; Oliver, Antoni
2012-08-01
Spiking Neural Networks, the last generation of Artificial Neural Networks, are characterized by its bio-inspired nature and by a higher computational capacity with respect to other neural models. In real biological neurons, stochastic processes represent an important mechanism of neural behavior and are responsible of its special arithmetic capabilities. In this work we present a simple hardware implementation of spiking neurons that considers this probabilistic nature. The advantage of the proposed implementation is that it is fully digital and therefore can be massively implemented in Field Programmable Gate Arrays. The high computational capabilities of the proposed model are demonstrated by the study of both feed-forward and recurrent networks that are able to implement high-speed signal filtering and to solve complex systems of linear equations.
Communication Estimation for Hardware/Software Codesign
DEFF Research Database (Denmark)
Knudsen, Peter Voigt; Madsen, Jan
1998-01-01
This paper presents a general high level estimation model of communication throughput for the implementation of a given communication protocol. The model, which is part of a larger model that includes component price, software driver object code size and hardware driver area, is intended...... to be general enough to be able to capture the characteristics of a wide range of communication protocols and yet to be sufficiently detailed as to allow the designer or design tool to efficiently explore tradeoffs between throughput, bus widths, burst/non-burst transfers and data packing strategies. Thus...... it provides a basis for decision making with respect to communication protocols/components and communication driver design in the initial design space exploration phase of a co-synthesis process where a large number of possibilities must be examined and where fast estimators are therefore necessary. The fill...
The double Chooz hardware trigger system
Energy Technology Data Exchange (ETDEWEB)
Cucoanes, Andi; Beissel, Franz; Reinhold, Bernd; Roth, Stefan; Stahl, Achim; Wiebusch, Christopher [RWTH Aachen (Germany)
2008-07-01
The double Chooz neutrino experiment aims to improve the present knowledge on {theta}{sub 13} mixing angle using two similar detectors placed at {proportional_to}280 m and respectively 1 km from the Chooz power plant reactor cores. The detectors measure the disappearance of reactor antineutrinos. The hardware trigger has to be very efficient for antineutrinos as well as for various types of background events. The triggering condition is based on discriminated PMT sum signals and the multiplicity of groups of PMTs. The talk gives an outlook to the double Chooz experiment and explains the requirements of the trigger system. The resulting concept and its performance is shown as well as first results from a prototype system.
Dilemma in Teaching Mathematics
Md Kamaruddin, Nafisah Kamariah; Md Amin, Zulkarnain
2012-01-01
The challenge in mathematics education is finding the best way to teach mathematics. When students learn the reasoning and proving in mathematics, they will be proficient in mathematics. Students must know mathematics before they can apply it. Symbolism and logic is the key to both the learning of mathematics and its effective application to…
Teaching Mathematical Modeling in Mathematics Education
Saxena, Ritu; Shrivastava, Keerty; Bhardwaj, Ramakant
2016-01-01
Mathematics is not only a subject but it is also a language consisting of many different symbols and relations. Taught as a compulsory subject up the 10th class, students are then able to choose whether or not to study mathematics as a main subject. The present paper discusses mathematical modeling in mathematics education. The article provides…
Doing Mathematics with Purpose: Mathematical Text Types
Dostal, Hannah M.; Robinson, Richard
2018-01-01
Mathematical literacy includes learning to read and write different types of mathematical texts as part of purposeful mathematical meaning making. Thus in this article, we describe how learning to read and write mathematical texts (proof text, algorithmic text, algebraic/symbolic text, and visual text) supports the development of students'…
Teachers' Mathematics as Mathematics-at-Work
Bednarz, Nadine; Proulx, Jérôme
2017-01-01
Through recognising mathematics teachers as professionals who use mathematics in their workplace, this article traces a parallel between the mathematics enacted by teachers in their practice and the mathematics used in workplaces found in studies of professionals (e.g. nurses, engineers, bankers). This parallel is developed through the five…
Mathematical cardiac electrophysiology
Colli Franzone, Piero; Scacchi, Simone
2014-01-01
This book covers the main mathematical and numerical models in computational electrocardiology, ranging from microscopic membrane models of cardiac ionic channels to macroscopic bidomain, monodomain, eikonal models and cardiac source representations. These advanced multiscale and nonlinear models describe the cardiac bioelectrical activity from the cell level to the body surface and are employed in both the direct and inverse problems of electrocardiology. The book also covers advanced numerical techniques needed to efficiently carry out large-scale cardiac simulations, including time and space discretizations, decoupling and operator splitting techniques, parallel finite element solvers. These techniques are employed in 3D cardiac simulations illustrating the excitation mechanisms, the anisotropic effects on excitation and repolarization wavefronts, the morphology of electrograms in normal and pathological tissue and some reentry phenomena. The overall aim of the book is to present rigorously the mathematica...
Dragalin, A G
1988-01-01
This monograph is intended to present the most important methods of proof theory in intuitionistic logic, assuming the reader to have mastered an introductory course in mathematical logic. The book starts with purely syntactical methods based on Gentzen's cut-elimination theorem, followed by intuitionistic arithmetic where Kleene's realizability method plays a central role. The author then studies algebraic models and completeness theorems for them. After giving a survey on the principles of intuitionistic analysis, the last part of the book presents the cut-elimination theorem in intuitionistic simple theory of types with an extensionality rule.
Research in collegiate mathematics education VI
Selden, Annie; Harel, Guershon; Hauk, Shandy
2006-01-01
The sixth volume of Research in Collegiate Mathematics Education presents state-of-the-art research on understanding, teaching, and learning mathematics at the postsecondary level. The articles advance our understanding of collegiate mathematics education while being readable by a wide audience of mathematicians interested in issues affecting their own students. This is a collection of useful and informative research regarding the ways our students think about and learn mathematics. The volume opens with studies on students' experiences with calculus reform and on the effects of concept-based
Research in collegiate mathematics education V
Selden, Annie; Harel, Guershon; Hitt, Fernando
2003-01-01
This fifth volume of Research in Collegiate Mathematics Education presents state-of-the-art research on understanding, teaching, and learning mathematics at the post-secondary level. The articles in RCME are peer-reviewed for two major features: (1) advancing our understanding of collegiate mathematics education, and (2) readability by a wide audience of practicing mathematicians interested in issues affecting their own students. This is not a collection of scholarly arcana, but a compilation of useful and informative research regarding the ways our students think about and learn mathematics.
Hardware descriptions of the I and C systems for NPP
International Nuclear Information System (INIS)
Lee, Cheol Kwon; Oh, In Suk; Park, Joo Hyun; Kim, Dong Hoon; Han, Jae Bok; Shin, Jae Whal; Kim, Young Bak
2003-09-01
The hardware specifications for I and C Systems of SNPP(Standard Nuclear Power Plant) are reviewed in order to acquire the hardware requirement and specification of KNICS (Korea Nuclear Instrumentation and Control System). In the study, we investigated hardware requirements, hardware configuration, hardware specifications, man-machine hardware requirements, interface requirements with the other system, and data communication requirements that are applicable to SNP. We reviewed those things of control systems, protection systems, monitoring systems, information systems, and process instrumentation systems. Through the study, we described the requirements and specifications of digital systems focusing on a microprocessor and a communication interface, and repeated it for analog systems focusing on the manufacturing companies. It is expected that the experience acquired from this research will provide vital input for the development of the KNICS
International Nuclear Information System (INIS)
Williamson, D.A.
1991-01-01
Almost all of the effort being expended on radioactive waste disposal in the United States is being focused on the disposal of spent Nuclear Fuel, with little consideration for other areas that will have to be disposed of in the same facilities. one area of radioactive waste that has not been addressed adequately because it is considered a secondary part of the waste issue is the disposal of the various Non-Fuel Bearing Components of the reactor core. These hardware components fall somewhat arbitrarily into two categories: Non-Fuel Assembly (NFA) hardware and Spent Fuel Disassembly (SFD) hardware. This work provides a detailed examination of the generation and disposal of NFA hardware and SFD hardware by the nuclear utilities of the United States as it relates to the Civilian Radioactive Waste Management Program. All available sources of data on NFA and SFD hardware are analyzed with particular emphasis given to the Characteristics Data Base developed by Oak Ridge National Laboratory and the characterization work performed by Pacific Northwest Laboratories and Rochester Gas ampersand Electric. An Expert System developed as a portion of this work is used to assist in the prediction of quantities of NFA hardware and SFD hardware that will be generated by the United States' utilities. Finally, the hardware waste management practices of the United Kingdom, France, Germany, Sweden, and Japan are studied for possible application to the disposal of domestic hardware wastes. As a result of this work, a general classification scheme for NFA and SFD hardware was developed. Only NFA and SFD hardware constructed of zircaloy and experiencing a burnup of less than 70,000 MWD/MTIHM and PWR control rods constructed of stainless steel are considered Low-Level Waste. All other hardware is classified as Greater-ThanClass-C waste
Pedagogical Applications from Real Analysis for Secondary Mathematics Teachers
Wasserman, Nicholas; Weber, Keith
2017-01-01
In this article, we consider the potential influences of the study of proofs in advanced mathematics on secondary mathematics teaching. Thus far, the literature has highlighted the benefits of applying the conclusions of particular proofs to secondary content and of developing a more general sense of disciplinary practices in mathematics in…
Mathematics in Literature and Cinema: An Interdisciplinary Course
Chabrán, H. Rafael; Kozek, Mark
2016-01-01
We describe our team-taught, interdisciplinary course "Numb3rs in Lett3rs & Fi1ms: Mathematics in Literature and Cinema," which explores mathematics in the context of modern literature and cinema. Our goal with this course is to advance collaborations between mathematics and the written/theatre-based creative arts.
Why Open Source Hardware matters and why you should care
Gürkaynak, Frank K.
2017-01-01
Open source hardware is currently where open source software was about 30 years ago. The idea is well received by enthusiasts, there is interest and the open source hardware has gained visible momentum recently, with several well-known universities including UC Berkeley, Cambridge and ETH Zürich actively working on large projects involving open source hardware, attracting the attention of companies big and small. But it is still not quite there yet. In this talk, based on my experience on the...
Support for NUMA hardware in HelenOS
Horký, Vojtěch
2011-01-01
The goal of this master thesis is to extend HelenOS operating system with the support for ccNUMA hardware. The text of the thesis contains a brief introduction to ccNUMA hardware, an overview of NUMA features and relevant features of HelenOS (memory management, scheduling, etc.). The thesis analyses various design decisions of the implementation of NUMA support -- introducing the hardware topology into the kernel data structures, propagating this information to user space, thread affinity to ...
DEFF Research Database (Denmark)
Mogensen, Arne; Georgiev, Vladimir; Ulovec, Andreas
To encourage many more young people to appreciate the real nature and spirit of mathematics and possibly to be enrolled in mathematics study it is important to involve them in doing mathematics (not just learning about mathematics). This goal could be achieved if mathematics teachers are prepared...... to identify and work with mathematically gifted students (without loosing the rest). The book offers chapters on gifted students, mathematical competences and other issues....
Reliable software for unreliable hardware a cross layer perspective
Rehman, Semeen; Henkel, Jörg
2016-01-01
This book describes novel software concepts to increase reliability under user-defined constraints. The authors’ approach bridges, for the first time, the reliability gap between hardware and software. Readers will learn how to achieve increased soft error resilience on unreliable hardware, while exploiting the inherent error masking characteristics and error (stemming from soft errors, aging, and process variations) mitigations potential at different software layers. · Provides a comprehensive overview of reliability modeling and optimization techniques at different hardware and software levels; · Describes novel optimization techniques for software cross-layer reliability, targeting unreliable hardware.
Environmental Friendly Coatings and Corrosion Prevention For Flight Hardware Project
Calle, Luz
2014-01-01
Identify, test and develop qualification criteria for environmentally friendly corrosion protective coatings and corrosion preventative compounds (CPC's) for flight hardware an ground support equipment.
Open Hardware For CERN's Accelerator Control Systems
van der Bij, E; Ayass, M; Boccardi, A; Cattin, M; Gil Soriano, C; Gousiou, E; Iglesias Gonsálvez, S; Penacoba Fernandez, G; Serrano, J; Voumard, N; Wlostowski, T
2011-01-01
The accelerator control systems at CERN will be renovated and many electronics modules will be redesigned as the modules they will replace cannot be bought anymore or use obsolete components. The modules used in the control systems are diverse: analog and digital I/O, level converters and repeaters, serial links and timing modules. Overall around 120 modules are supported that are used in systems such as beam instrumentation, cryogenics and power converters. Only a small percentage of the currently used modules are commercially available, while most of them had been specifically designed at CERN. The new developments are based on VITA and PCI-SIG standards such as FMC (FPGA Mezzanine Card), PCI Express and VME64x using transition modules. As system-on-chip interconnect, the public domain Wishbone specification is used. For the renovation, it is considered imperative to have for each board access to the full hardware design and its firmware so that problems could quickly be resolved by CERN engineers or its ...
Magnetic qubits as hardware for quantum computers
International Nuclear Information System (INIS)
Tejada, J.; Chudnovsky, E.; Barco, E. del
2000-01-01
We propose two potential realisations for quantum bits based on nanometre scale magnetic particles of large spin S and high anisotropy molecular clusters. In case (1) the bit-value basis states vertical bar-0> and vertical bar-1> are the ground and first excited spin states S z = S and S-1, separated by an energy gap given by the ferromagnetic resonance (FMR) frequency. In case (2), when there is significant tunnelling through the anisotropy barrier, the qubit states correspond to the symmetric, vertical bar-0>, and antisymmetric, vertical bar-1>, combinations of the two-fold degenerate ground state S z = ± S. In each case the temperature of operation must be low compared to the energy gap, Δ, between the states vertical bar-0> and vertical bar-1>. The gap Δ in case (2) can be controlled with an external magnetic field perpendicular to the easy axis of the molecular cluster. The states of different molecular clusters and magnetic particles may be entangled by connecting them by superconducting lines with Josephson switches, leading to the potential for quantum computing hardware. (author)
Magnetic qubits as hardware for quantum computers
Energy Technology Data Exchange (ETDEWEB)
Tejada, J.; Chudnovsky, E.; Barco, E. del [and others
2000-07-01
We propose two potential realisations for quantum bits based on nanometre scale magnetic particles of large spin S and high anisotropy molecular clusters. In case (1) the bit-value basis states vertical bar-0> and vertical bar-1> are the ground and first excited spin states S{sub z} = S and S-1, separated by an energy gap given by the ferromagnetic resonance (FMR) frequency. In case (2), when there is significant tunnelling through the anisotropy barrier, the qubit states correspond to the symmetric, vertical bar-0>, and antisymmetric, vertical bar-1>, combinations of the two-fold degenerate ground state S{sub z} = {+-} S. In each case the temperature of operation must be low compared to the energy gap, {delta}, between the states vertical bar-0> and vertical bar-1>. The gap {delta} in case (2) can be controlled with an external magnetic field perpendicular to the easy axis of the molecular cluster. The states of different molecular clusters and magnetic particles may be entangled by connecting them by superconducting lines with Josephson switches, leading to the potential for quantum computing hardware. (author)
Hardware upgrade for A2 data acquisition
Energy Technology Data Exchange (ETDEWEB)
Ostrick, Michael; Gradl, Wolfgang; Otte, Peter-Bernd; Neiser, Andreas; Steffen, Oliver; Wolfes, Martin; Koerner, Tito [Institut fuer Kernphysik, Mainz (Germany); Collaboration: A2-Collaboration
2014-07-01
The A2 Collaboration uses an energy tagged photon beam which is produced via bremsstrahlung off the MAMI electron beam. The detector system consists of Crystal Ball and TAPS and covers almost the whole solid angle. A frozen-spin polarized target allows to perform high precision measurements of polarization observables in meson photo-production. During the last summer, a major upgrade of the data acquisition system was performed, both on the hardware and the software side. The goal of this upgrade was increased reliability of the system and an improvement in the data rate to disk. By doubling the number of readout CPUs and employing special VME crates with a split backplane, the number of bus accesses per readout cycle and crate was cut by a factor of two, giving almost a factor of two gain in the readout rate. In the course of the upgrade, we also switched most of the detector control system to using the distributed control system EPICS. For the upgraded control system, some new tools were developed to make full use of the capabilities of this decentralised slow control and monitoring system. The poster presents some of the major contributions to this project.
Energy Technology Data Exchange (ETDEWEB)
Ibrahim, Ahmad Salah; Jung, Jaecheon [KEPCO International Nuclear Graduate School, Ulsan (Korea, Republic of)
2016-10-15
In the Korean Advanced Power Reactor (APR1400), safety control systems network is electrically isolated and physically separated from non-safety systems data network. Unidirectional gateways, include data diode fiber-optic cabling and computer-based servers, transmit the plant safety critical parameters to the main control room (MCR) for control and monitoring processes. The data transmission is only one-way from safety to non-safety. Reverse communication is blocked so that safety systems network is protected from potential cyberattacks or intrusions from non-safety side. Most of commercials off-the-shelf (COTS) security devices are software-based solutions that require operating systems and processors to perform its functions. Field Programmable Gate Arrays (FPGAs) offer digital hardware solutions to implement security controls such as data packet filtering and deep data packet inspection. This paper presents a conceptual design to implement hardware-based network security controls for maintaining the availability of gateway servers. A conceptual design of hardware-based network security controls was discussed in this paper. The proposed design is aiming at utilizing the hardware-based capabilities of FPGAs together with filtering and DPI functions of COTS software-based firewalls and intrusion detection and prevention systems (IDPS). The proposed design implemented a network security perimeter between the DCN-I zone and gateway servers zone. Security control functions are to protect the gateway servers from potential DoS attacks that could affect the data availability and integrity.
International Nuclear Information System (INIS)
Ibrahim, Ahmad Salah; Jung, Jaecheon
2016-01-01
In the Korean Advanced Power Reactor (APR1400), safety control systems network is electrically isolated and physically separated from non-safety systems data network. Unidirectional gateways, include data diode fiber-optic cabling and computer-based servers, transmit the plant safety critical parameters to the main control room (MCR) for control and monitoring processes. The data transmission is only one-way from safety to non-safety. Reverse communication is blocked so that safety systems network is protected from potential cyberattacks or intrusions from non-safety side. Most of commercials off-the-shelf (COTS) security devices are software-based solutions that require operating systems and processors to perform its functions. Field Programmable Gate Arrays (FPGAs) offer digital hardware solutions to implement security controls such as data packet filtering and deep data packet inspection. This paper presents a conceptual design to implement hardware-based network security controls for maintaining the availability of gateway servers. A conceptual design of hardware-based network security controls was discussed in this paper. The proposed design is aiming at utilizing the hardware-based capabilities of FPGAs together with filtering and DPI functions of COTS software-based firewalls and intrusion detection and prevention systems (IDPS). The proposed design implemented a network security perimeter between the DCN-I zone and gateway servers zone. Security control functions are to protect the gateway servers from potential DoS attacks that could affect the data availability and integrity
Mathematical methods of classical physics
Cortés, Vicente
2017-01-01
This short primer, geared towards students with a strong interest in mathematically rigorous approaches, introduces the essentials of classical physics, briefly points out its place in the history of physics and its relation to modern physics, and explains what benefits can be gained from a mathematical perspective. As a starting point, Newtonian mechanics is introduced and its limitations are discussed. This leads to and motivates the study of different formulations of classical mechanics, such as Lagrangian and Hamiltonian mechanics, which are the subjects of later chapters. In the second part, a chapter on classical field theories introduces more advanced material. Numerous exercises are collected in the appendix.
The Hardware Topological Trigger of ATLAS: Commissioning and Operations
AUTHOR|(INSPIRE)INSPIRE-00226165; The ATLAS collaboration
2018-01-01
The Level-1 trigger is the first rate-reducing step in the ATLAS trigger system with an output rate of 100 kHz and decision latency smaller than 2.5 μs. It consists of a calorimeter trigger, muon trigger and a central trigger processor. To improve the physics potential reach in ATLAS, during the LHC shutdown after Run 1, the Level-1 trigger system was upgraded at hardware, firmware and software level. In particular, a new electronics sub-system was introduced in the real-time data processing path: the Topological Processor System (L1Topo). It consists of a single AdvancedCTA shelf equipped with two Level-1 topological processor blades. For individual blades, real-time information from calorimeter and muon Level-1 trigger systems, is processed by four individual state-of-the-art FPGAs. It needs to deal with a large input bandwidth of up to 6 Tb/s, optical connectivity and low processing latency on the real-time data path. The L1Topo firmware apply measurements of angles between jets and/or leptons and several...
Astronaut Prepares for Mission With Virtual Reality Hardware
2001-01-01
Astronaut John M. Grunsfeld, STS-109 payload commander, uses virtual reality hardware at Johnson Space Center to rehearse some of his duties prior to the STS-109 mission. The most familiar form of virtual reality technology is some form of headpiece, which fits over your eyes and displays a three dimensional computerized image of another place. Turn your head left and right, and you see what would be to your sides; turn around, and you see what might be sneaking up on you. An important part of the technology is some type of data glove that you use to propel yourself through the virtual world. This technology allows NASA astronauts to practice International Space Station work missions in advance. Currently, the medical community is using the new technologies in four major ways: To see parts of the body more accurately, for study, to make better diagnosis of disease and to plan surgery in more detail; to obtain a more accurate picture of a procedure during surgery; to perform more types of surgery with the most noninvasive, accurate methods possible; and to model interactions among molecules at a molecular level.
A Fast hardware tracker for the ATLAS Trigger
Pandini, Carlo Enrico; The ATLAS collaboration
2015-01-01
The trigger system at the ATLAS experiment is designed to lower the event rate occurring from the nominal bunch crossing at 40 MHz to about 1 kHz for a designed LHC luminosity of 10$^{34}$ cm$^{-2}$ s$^{-1}$. To achieve high background rejection while maintaining good efficiency for interesting physics signals, sophisticated algorithms are needed which require extensive use of tracking information. The Fast TracKer (FTK) trigger system, part of the ATLAS trigger upgrade program, is a highly parallel hardware device designed to perform track-finding at 100 kHz and based on a mixture of advanced technologies. Modern, powerful Field Programmable Gate Arrays (FPGA) form an important part of the system architecture, and the combinatorial problem of pattern recognition is solved by ~8000 standard-cell ASICs named Associative Memories. The availability of the tracking and subsequent vertex information within a short latency ensures robust selections and allows improved trigger performance for the most difficult sign...
A Fast hardware Tracker for the ATLAS Trigger system
Pandini, Carlo Enrico; The ATLAS collaboration
2015-01-01
The trigger system at the ATLAS experiment is designed to lower the event rate occurring from the nominal bunch crossing at 40 MHz to about 1 kHz for a designed LHC luminosity of 10$^{34}$ cm$^{-2}$ s$^{-1}$. After a very successful data taking run the LHC is expected to run starting in 2015 with much higher instantaneous luminosities and this will increase the load on the High Level Trigger system. More sophisticated algorithms will be needed to achieve higher background rejection while maintaining good efficiency for interesting physics signals, which requires a more extensive use of tracking information. The Fast Tracker (FTK) trigger system, part of the ATLAS trigger upgrade program, is a highly parallel hardware device designed to perform full-scan track-finding at the event rate of 100 kHz. FTK is a dedicated processor based on a mixture of advanced technologies. Modern, powerful, Field Programmable Gate Arrays form an important part of the system architecture, and the combinatorial problem of pattern r...
RF control hardware design for CYCIAE-100 cyclotron
Energy Technology Data Exchange (ETDEWEB)
Yin, Zhiguo, E-mail: bitbearAT@hotmail.com; Fu, Xiaoliang; Ji, Bin; Zhao, Zhenlu; Zhang, Tianjue; Li, Pengzhan; Wei, Junyi; Xing, Jiansheng; Wang, Chuan
2015-11-21
The Beijing Radioactive Ion-beam Facility project is being constructed by BRIF division of China Institute of Atomic Energy. In this project, a 100 MeV high intensity compact proton cyclotron is built for multiple applications. The first successful beam extraction of CYCIAE-100 cyclotron was done in the middle of 2014. The extracted proton beam energy is 100 MeV and the beam current is more than 20 μA. The RF system of the CYCIAE-100 cyclotron includes two half-wavelength cavities, two 100 kW tetrode amplifiers and power transmission line systems (all above are independent from each other) and two sets of Low Level RF control crates. Each set of LLRF control includes an amplitude control unit, a tuning control unit, a phase control unit, a local Digital Signal Process control unit and an Advanced RISC Machines based EPICS IOC unit. These two identical LLRF control crates share one common reference clock and take advantages of modern digital technologies (e.g. DSP and Direct Digital Synthesizer) to achieve closed loop voltage and phase regulations of the dee-voltage. In the beam commission, the measured dee-voltage stability of RF system is better than 0.1% and phase stability is better than 0.03°. The hardware design of the LLRF system will be reviewed in this paper.
Fitzpatrick, Patrick M
2009-01-01
Advanced Calculus is intended as a text for courses that furnish the backbone of the student's undergraduate education in mathematical analysis. The goal is to rigorously present the fundamental concepts within the context of illuminating examples and stimulating exercises. This book is self-contained and starts with the creation of basic tools using the completeness axiom. The continuity, differentiability, integrability, and power series representation properties of functions of a single variable are established. The next few chapters describe the topological and metric properties of Euclide
Mathematics for natural scientists fundamentals and basics
Kantorovich, Lev
2016-01-01
This book, the first in a two part series, covers a course of mathematics tailored specifically for physics, engineering and chemistry students at the undergraduate level. It is unique in that it begins with logical concepts of mathematics first encountered at A-level and covers them in thorough detail, filling in the gaps in students' knowledge and reasoning. Then the book aids the leap between A-level and university-level mathematics, with complete proofs provided throughout and all complex mathematical concepts and techniques presented in a clear and transparent manner. Numerous examples and problems (with answers) are given for each section and, where appropriate, mathematical concepts are illustrated in a physics context. This text gives an invaluable foundation to students and a comprehensive aid to lecturers. Mathematics for Natural Scientists: Fundamentals and Basics is the first of two volumes. Advanced topics and their applications in physics are covered in the second volume.
Mathematics, the Computer, and the Impact on Mathematics Education.
Tooke, D. James
2001-01-01
Discusses the connection between mathematics and the computer; mathematics curriculum; mathematics instruction, including teachers learning to use computers; and the impact of the computer on learning mathematics. (LRW)
Authenticity of Mathematical Modeling
Tran, Dung; Dougherty, Barbara J.
2014-01-01
Some students leave high school never quite sure of the relevancy of the mathematics they have learned. They fail to see links between school mathematics and the mathematics of everyday life that requires thoughtful decision making and often complex problem solving. Is it possible to bridge the gap between school mathematics and the mathematics in…
Tularam, Gurudeo Anand
2013-01-01
This paper addresses the importance of teaching mathematics in business and finance schools of tertiary institutions of Australia. The paper explores the nature of thinking and reasoning required for advancement financial or economic studies involves the use of higher order thinking and creativity skills (HOTS) for teaching in mathematics classes.…
FPGA BASED HARDWARE KEY FOR TEMPORAL ENCRYPTION
Directory of Open Access Journals (Sweden)
B. Lakshmi
2010-09-01
Full Text Available In this paper, a novel encryption scheme with time based key technique on an FPGA is presented. Time based key technique ensures right key to be entered at right time and hence, vulnerability of encryption through brute force attack is eliminated. Presently available encryption systems, suffer from Brute force attack and in such a case, the time taken for breaking a code depends on the system used for cryptanalysis. The proposed scheme provides an effective method in which the time is taken as the second dimension of the key so that the same system can defend against brute force attack more vigorously. In the proposed scheme, the key is rotated continuously and four bits are drawn from the key with their concatenated value representing the delay the system has to wait. This forms the time based key concept. Also the key based function selection from a pool of functions enhances the confusion and diffusion to defend against linear and differential attacks while the time factor inclusion makes the brute force attack nearly impossible. In the proposed scheme, the key scheduler is implemented on FPGA that generates the right key at right time intervals which is then connected to a NIOS – II processor (a virtual microcontroller which is brought out from Altera FPGA that communicates with the keys to the personal computer through JTAG (Joint Test Action Group communication and the computer is used to perform encryption (or decryption. In this case the FPGA serves as hardware key (dongle for data encryption (or decryption.
Bayesian Estimation and Inference using Stochastic Hardware
Directory of Open Access Journals (Sweden)
Chetan Singh Thakur
2016-03-01
Full Text Available In this paper, we present the implementation of two types of Bayesian inference problems to demonstrate the potential of building probabilistic algorithms in hardware using single set of building blocks with the ability to perform these computations in real time. The first implementation, referred to as the BEAST (Bayesian Estimation and Stochastic Tracker, demonstrates a simple problem where an observer uses an underlying Hidden Markov Model (HMM to track a target in one dimension. In this implementation, sensors make noisy observations of the target position at discrete time steps. The tracker learns the transition model for target movement, and the observation model for the noisy sensors, and uses these to estimate the target position by solving the Bayesian recursive equation online. We show the tracking performance of the system and demonstrate how it can learn the observation model, the transition model, and the external distractor (noise probability interfering with the observations. In the second implementation, referred to as the Bayesian INference in DAG (BIND, we show how inference can be performed in a Directed Acyclic Graph (DAG using stochastic circuits. We show how these building blocks can be easily implemented using simple digital logic gates. An advantage of the stochastic electronic implementation is that it is robust to certain types of noise, which may become an issue in integrated circuit (IC technology with feature sizes in the order of tens of nanometers due to their low noise margin, the effect of high-energy cosmic rays and the low supply voltage. In our framework, the flipping of random individual bits would not affect the system performance because information is encoded in a bit stream.
Hardware replacements and software tools for digital control computers
International Nuclear Information System (INIS)
Walker, R.A.P.; Wang, B-C.; Fung, J.
1996-01-01
Technological obsolescence is an on-going challenge for all computer use. By design, and to some extent good fortune, AECL has had a good track record with respect to the march of obsolescence in CANDU digital control computer technology. Recognizing obsolescence as a fact of life, AECL has undertaken a program of supporting the digital control technology of existing CANDU plants. Other AECL groups are developing complete replacement systems for the digital control computers, and more advanced systems for the digital control computers of the future CANDU reactors. This paper presents the results of the efforts of AECL's DCC service support group to replace obsolete digital control computer and related components and to provide friendlier software technology related to the maintenance and use of digital control computers in CANDU. These efforts are expected to extend the current lifespan of existing digital control computers through their mandated life. This group applied two simple rules; the product, whether new or replacement should have a generic basis, and the products should be applicable to both existing CANDU plants and to 'repeat' plant designs built using current design guidelines. While some exceptions do apply, the rules have been met. The generic requirement dictates that the product should not be dependent on any brand technology, and should back-fit to and interface with any such technology which remains in the control design. The application requirement dictates that the product should have universal use and be user friendly to the greatest extent possible. Furthermore, both requirements were designed to anticipate user involvement, modifications and alternate user defined applications. The replacements for hardware components such as paper tape reader/punch, moving arm disk, contact scanner and Ramtek are discussed. The development of these hardware replacements coincide with the development of a gateway system for selected CANDU digital control
A Multifaceted Mathematical Approach for Complex Systems
Energy Technology Data Exchange (ETDEWEB)
Alexander, F.; Anitescu, M.; Bell, J.; Brown, D.; Ferris, M.; Luskin, M.; Mehrotra, S.; Moser, B.; Pinar, A.; Tartakovsky, A.; Willcox, K.; Wright, S.; Zavala, V.
2012-03-07
Applied mathematics has an important role to play in developing the tools needed for the analysis, simulation, and optimization of complex problems. These efforts require the development of the mathematical foundations for scientific discovery, engineering design, and risk analysis based on a sound integrated approach for the understanding of complex systems. However, maximizing the impact of applied mathematics on these challenges requires a novel perspective on approaching the mathematical enterprise. Previous reports that have surveyed the DOE's research needs in applied mathematics have played a key role in defining research directions with the community. Although these reports have had significant impact, accurately assessing current research needs requires an evaluation of today's challenges against the backdrop of recent advances in applied mathematics and computing. To address these needs, the DOE Applied Mathematics Program sponsored a Workshop for Mathematics for the Analysis, Simulation and Optimization of Complex Systems on September 13-14, 2011. The workshop had approximately 50 participants from both the national labs and academia. The goal of the workshop was to identify new research areas in applied mathematics that will complement and enhance the existing DOE ASCR Applied Mathematics Program efforts that are needed to address problems associated with complex systems. This report describes recommendations from the workshop and subsequent analysis of the workshop findings by the organizing committee.
Sharing open hardware through ROP, the robotic open platform
Lunenburg, J.; Soetens, R.P.T.; Schoenmakers, F.; Metsemakers, P.M.G.; van de Molengraft, M.J.G.; Steinbuch, M.; Behnke, S.; Veloso, M.; Visser, A.; Xiong, R.
2014-01-01
The robot open source software community, in particular ROS, drastically boosted robotics research. However, a centralized place to exchange open hardware designs does not exist. Therefore we launched the Robotic Open Platform (ROP). A place to share and discuss open hardware designs. Among others
Sharing open hardware through ROP, the Robotic Open Platform
Lunenburg, J.J.M.; Soetens, R.P.T.; Schoenmakers, Ferry; Metsemakers, P.M.G.; Molengraft, van de M.J.G.; Steinbuch, M.
2013-01-01
The robot open source software community, in particular ROS, drastically boosted robotics research. However, a centralized place to exchange open hardware designs does not exist. Therefore we launched the Robotic Open Platform (ROP). A place to share and discuss open hardware designs. Among others
The role of the visual hardware system in rugby performance ...
African Journals Online (AJOL)
This study explores the importance of the 'hardware' factors of the visual system in the game of rugby. A group of professional and club rugby players were tested and the results compared. The results were also compared with the established norms for elite athletes. The findings indicate no significant difference in hardware ...
Hardware packet pacing using a DMA in a parallel computer
Chen, Dong; Heidelberger, Phillip; Vranas, Pavlos
2013-08-13
Method and system for hardware packet pacing using a direct memory access controller in a parallel computer which, in one aspect, keeps track of a total number of bytes put on the network as a result of a remote get operation, using a hardware token counter.
Hardware/software virtualization for the reconfigurable multicore platform.
Ferger, M.; Al Kadi, M.; Hübner, M.; Koedam, M.L.P.J.; Sinha, S.S.; Goossens, K.G.W.; Marchesan Almeida, Gabriel; Rodrigo Azambuja, J.; Becker, Juergen
2012-01-01
This paper presents the Flex Tiles approach for the virtualization of hardware and software for a reconfigurable multicore architecture. The approach enables the virtualization of a dynamic tile-based hardware architecture consisting of processing tiles connected via a network-on-chip and a
Flexible hardware design for RSA and Elliptic Curve Cryptosystems
Batina, L.; Bruin - Muurling, G.; Örs, S.B.; Okamoto, T.
2004-01-01
This paper presents a scalable hardware implementation of both commonly used public key cryptosystems, RSA and Elliptic Curve Cryptosystem (ECC) on the same platform. The introduced hardware accelerator features a design which can be varied from very small (less than 20 Kgates) targeting wireless
Hardware and software for image acquisition in nuclear medicine
International Nuclear Information System (INIS)
Fideles, E.L.; Vilar, G.; Silva, H.S.
1992-01-01
A system for image acquisition and processing in nuclear medicine is presented, including the hardware and software referring to acquisition. The hardware is consisted of an analog-digital conversion card, developed in wire-wape. Its function is digitate the analogic signs provided by gamma camera. The acquisitions are made in list or frame mode. (C.G.C.)
Hardware Abstraction and Protocol Optimization for Coded Sensor Networks
DEFF Research Database (Denmark)
Nistor, Maricica; Roetter, Daniel Enrique Lucani; Barros, João
2015-01-01
The design of the communication protocols in wireless sensor networks (WSNs) often neglects several key characteristics of the sensor's hardware, while assuming that the number of transmitted bits is the dominating factor behind the system's energy consumption. A closer look at the hardware speci...
A Practical Introduction to HardwareSoftware Codesign
Schaumont, Patrick R
2013-01-01
This textbook provides an introduction to embedded systems design, with emphasis on integration of custom hardware components with software. The key problem addressed in the book is the following: how can an embedded systems designer strike a balance between flexibility and efficiency? The book describes how combining hardware design with software design leads to a solution to this important computer engineering problem. The book covers four topics in hardware/software codesign: fundamentals, the design space of custom architectures, the hardware/software interface and application examples. The book comes with an associated design environment that helps the reader to perform experiments in hardware/software codesign. Each chapter also includes exercises and further reading suggestions. Improvements in this second edition include labs and examples using modern FPGA environments from Xilinx and Altera, which make the material applicable to a greater number of courses where these tools are already in use. Mo...
Teaching mathematics using excel
Bonello, Mary Rose; Camilleri, Silvana
2004-01-01
'Technology is essential in teaching and learning mathematics; it influences the mathematics that is taught and enhances students' learning.' (Principles and Standards for School Mathematics-NCTM April 2000)
Inevitable randomness in discrete mathematics
Beck, Jozsef
2009-01-01
Mathematics has been called the science of order. The subject is remarkably good for generalizing specific cases to create abstract theories. However, mathematics has little to say when faced with highly complex systems, where disorder reigns. This disorder can be found in pure mathematical arenas, such as the distribution of primes, the 3n+1 conjecture, and class field theory. The purpose of this book is to provide examples--and rigorous proofs--of the complexity law: (1) discrete systems are either simple or they exhibit advanced pseudorandomness; (2) a priori probabilities often exist even when there is no intrinsic symmetry. Part of the difficulty in achieving this purpose is in trying to clarify these vague statements. The examples turn out to be fascinating instances of deep or mysterious results in number theory and combinatorics. This book considers randomness and complexity. The traditional approach to complexity--computational complexity theory--is to study very general complexity classes, such as P...
Mathematical modeling of biological processes
Friedman, Avner
2014-01-01
This book on mathematical modeling of biological processes includes a wide selection of biological topics that demonstrate the power of mathematics and computational codes in setting up biological processes with a rigorous and predictive framework. Topics include: enzyme dynamics, spread of disease, harvesting bacteria, competition among live species, neuronal oscillations, transport of neurofilaments in axon, cancer and cancer therapy, and granulomas. Complete with a description of the biological background and biological question that requires the use of mathematics, this book is developed for graduate students and advanced undergraduate students with only basic knowledge of ordinary differential equations and partial differential equations; background in biology is not required. Students will gain knowledge on how to program with MATLAB without previous programming experience and how to use codes in order to test biological hypothesis.
Figures of thought mathematics and mathematical texts
Reed, David
2003-01-01
Examines the ways in which mathematical works can be read as texts, examines their textual strategiesand demonstrates that such readings provide a rich source of philosophical debate regarding mathematics.
Global Journal of Mathematical Sciences: Advanced Search
African Journals Online (AJOL)
Search tips: Search terms are case-insensitive; Common words are ignored; By default only articles containing all terms in the query are returned (i.e., AND is implied); Combine multiple words with OR to find articles containing either term; e.g., education OR research; Use parentheses to create more complex queries; e.g., ...
Directory of Open Access Journals (Sweden)
Eleni Bougioukou
2018-02-01
Full Text Available Cloud computing allows users and enterprises to process their data in high performance servers, thus reducing the need for advanced hardware at the client side. Although local processing is viable in many cases, collecting data from multiple clients and processing them in a server gives the best possible performance in terms of processing rate. In this work, the implementation of a high performance cloud computing engine for recognizing handwritten digits is presented. The engine exploits the benefits of cloud and uses a powerful hardware accelerator in order to classify the images received concurrently from multiple clients. The accelerator implements a number of neural networks, operating in parallel, resulting to a processing rate of more than 10 MImages/sec.
Hardware Development Process for Human Research Facility Applications
Bauer, Liz
2000-01-01
The simple goal of the Human Research Facility (HRF) is to conduct human research experiments on the International Space Station (ISS) astronauts during long-duration missions. This is accomplished by providing integration and operation of the necessary hardware and software capabilities. A typical hardware development flow consists of five stages: functional inputs and requirements definition, market research, design life cycle through hardware delivery, crew training, and mission support. The purpose of this presentation is to guide the audience through the early hardware development process: requirement definition through selecting a development path. Specific HRF equipment is used to illustrate the hardware development paths. The source of hardware requirements is the science community and HRF program. The HRF Science Working Group, consisting of SCientists from various medical disciplines, defined a basic set of equipment with functional requirements. This established the performance requirements of the hardware. HRF program requirements focus on making the hardware safe and operational in a space environment. This includes structural, thermal, human factors, and material requirements. Science and HRF program requirements are defined in a hardware requirements document which includes verification methods. Once the hardware is fabricated, requirements are verified by inspection, test, analysis, or demonstration. All data is compiled and reviewed to certify the hardware for flight. Obviously, the basis for all hardware development activities is requirement definition. Full and complete requirement definition is ideal prior to initiating the hardware development. However, this is generally not the case, but the hardware team typically has functional inputs as a guide. The first step is for engineers to conduct market research based on the functional inputs provided by scientists. CommerCially available products are evaluated against the science requirements as
Mathematical Modelling Approach in Mathematics Education
Arseven, Ayla
2015-01-01
The topic of models and modeling has come to be important for science and mathematics education in recent years. The topic of "Modeling" topic is especially important for examinations such as PISA which is conducted at an international level and measures a student's success in mathematics. Mathematical modeling can be defined as using…
Discrete Mathematics and the Secondary Mathematics Curriculum.
Dossey, John
Discrete mathematics, the mathematics of decision making for finite settings, is a topic of great interest in mathematics education at all levels. Attention is being focused on resolving the diversity of opinion concerning the exact nature of the subject, what content the curriculum should contain, who should study that material, and how that…
Introducing philosophy of mathematics
Friend, Michele
2014-01-01
What is mathematics about? Does the subject-matter of mathematics exist independently of the mind or are they mental constructions? How do we know mathematics? Is mathematical knowledge logical knowledge? And how is mathematics applied to the material world? In this introduction to the philosophy of mathematics, Michele Friend examines these and other ontological and epistemological problems raised by the content and practice of mathematics. Aimed at a readership with limited proficiency in mathematics but with some experience of formal logic it seeks to strike a balance between conceptual acc
Monitoring Particulate Matter with Commodity Hardware
Holstius, David
Health effects attributed to outdoor fine particulate matter (PM 2.5) rank it among the risk factors with the highest health burdens in the world, annually accounting for over 3.2 million premature deaths and over 76 million lost disability-adjusted life years. Existing PM2.5 monitoring infrastructure cannot, however, be used to resolve variations in ambient PM2.5 concentrations with adequate spatial and temporal density, or with adequate coverage of human time-activity patterns, such that the needs of modern exposure science and control can be met. Small, inexpensive, and portable devices, relying on newly available off-the-shelf sensors, may facilitate the creation of PM2.5 datasets with improved resolution and coverage, especially if many such devices can be deployed concurrently with low system cost. Datasets generated with such technology could be used to overcome many important problems associated with exposure misclassification in air pollution epidemiology. Chapter 2 presents an epidemiological study of PM2.5 that used data from ambient monitoring stations in the Los Angeles basin to observe a decrease of 6.1 g (95% CI: 3.5, 8.7) in population mean birthweight following in utero exposure to the Southern California wildfires of 2003, but was otherwise limited by the sparsity of the empirical basis for exposure assessment. Chapter 3 demonstrates technical potential for remedying PM2.5 monitoring deficiencies, beginning with the generation of low-cost yet useful estimates of hourly and daily PM2.5 concentrations at a regulatory monitoring site. The context (an urban neighborhood proximate to a major goods-movement corridor) and the method (an off-the-shelf sensor costing approximately USD $10, combined with other low-cost, open-source, readily available hardware) were selected to have special significance among researchers and practitioners affiliated with contemporary communities of practice in public health and citizen science. As operationalized by
A Power Hardware-in-the-Loop Platform with Remote Distribution Circuit Cosimulation
Energy Technology Data Exchange (ETDEWEB)
Palmintier, Bryan; Lundstrom, Blake; Chakraborty, Sudipta; Williams, Tess L.; Schneider, Kevin P.; Chassin, David P.
2015-04-01
This paper demonstrates the use of a novel cosimulation architecture that integrates hardware testing using Power Hardware-in-the-Loop (PHIL) with larger-scale electric grid models using off-the-shelf, non-PHIL software tools. This architecture enables utilities to study the impacts of emerging energy technologies on their system and manufacturers to explore the interactions of new devices with existing and emerging devices on the power system, both without the need to convert existing grid models to a new platform or to conduct in-field trials. The paper describes an implementation of this architecture for testing two residential-scale advanced solar inverters at separate points of common coupling. The same hardware setup is tested with two different distribution feeders (IEEE 123 and 8500 node test systems) modeled using GridLAB-D. In addition to simplifying testing with multiple feeders, the architecture demonstrates additional flexibility with hardware testing in one location linked via the Internet to software modeling in a remote location. In testing, inverter current, real and reactive power, and PCC voltage are well captured by the co-simulation platform. Testing of the inverter advanced control features is currently somewhat limited by the software model time step (1 sec) and tested communication latency (24 msec). Overshoot induced oscillations are observed with volt/VAR control delays of 0 and 1.5 sec, while 3.4 sec and 5.5 sec delays produced little or no oscillation. These limitations could be overcome using faster modeling and communication within the same co-simulation architecture.
Boesen, Michael Reibel; Madsen, Jan; Keymeulen, Didier
2011-01-01
This paper presents the current state of the autonomous dynamically self-organizing and self-healing electronic DNA (eDNA) hardware architecture (patent pending). In its current prototype state, the eDNA architecture is capable of responding to multiple injected faults by autonomously reconfiguring itself to accommodate the fault and keep the application running. This paper will also disclose advanced features currently available in the simulation model only. These features are future work and will soon be implemented in hardware. Finally we will describe step-by-step how an application is implemented on the eDNA architecture.
Methods of modern mathematical physics
Reed, Michael
1980-01-01
This book is the first of a multivolume series devoted to an exposition of functional analysis methods in modern mathematical physics. It describes the fundamental principles of functional analysis and is essentially self-contained, although there are occasional references to later volumes. We have included a few applications when we thought that they would provide motivation for the reader. Later volumes describe various advanced topics in functional analysis and give numerous applications in classical physics, modern physics, and partial differential equations.
Use of CAS in Secondary School: A Factor Influencing the Transition to University-Level Mathematics?
Varsavsky, Cristina
2012-01-01
Australian secondary school systems offer three levels of senior (year 12) mathematics studies, none of them compulsory: elementary, intermediate and advanced. The intermediate and advanced studies prepare students for further mathematics studies at university level. In the state of Victoria, there are two versions of intermediate mathematics: one…
Targeting multiple heterogeneous hardware platforms with OpenCL
Fox, Paul A.; Kozacik, Stephen T.; Humphrey, John R.; Paolini, Aaron; Kuller, Aryeh; Kelmelis, Eric J.
2014-06-01
The OpenCL API allows for the abstract expression of parallel, heterogeneous computing, but hardware implementations have substantial implementation differences. The abstractions provided by the OpenCL API are often insufficiently high-level to conceal differences in hardware architecture. Additionally, implementations often do not take advantage of potential performance gains from certain features due to hardware limitations and other factors. These factors make it challenging to produce code that is portable in practice, resulting in much OpenCL code being duplicated for each hardware platform being targeted. This duplication of effort offsets the principal advantage of OpenCL: portability. The use of certain coding practices can mitigate this problem, allowing a common code base to be adapted to perform well across a wide range of hardware platforms. To this end, we explore some general practices for producing performant code that are effective across platforms. Additionally, we explore some ways of modularizing code to enable optional optimizations that take advantage of hardware-specific characteristics. The minimum requirement for portability implies avoiding the use of OpenCL features that are optional, not widely implemented, poorly implemented, or missing in major implementations. Exposing multiple levels of parallelism allows hardware to take advantage of the types of parallelism it supports, from the task level down to explicit vector operations. Static optimizations and branch elimination in device code help the platform compiler to effectively optimize programs. Modularization of some code is important to allow operations to be chosen for performance on target hardware. Optional subroutines exploiting explicit memory locality allow for different memory hierarchies to be exploited for maximum performance. The C preprocessor and JIT compilation using the OpenCL runtime can be used to enable some of these techniques, as well as to factor in hardware
Mathematics related anxiety: Mathematics bogeyman or not?
Directory of Open Access Journals (Sweden)
Videnović Marina
2011-01-01
Full Text Available Data of the PISA 2003 survey indicate high levels of mathematics anxiety of students in Serbia. More than half of our students worry whether they will have difficulties in mathematics class or whether they will earn poor marks. Aims of this study therefore are: examining relationship between math anxiety and achievement at mathematics literacy scale; establishing possible predictors of math anxiety and identification of students' groups in relations to their relationship towards mathematics as a subject. Mathematics anxiety is statistically negatively correlated with school achievement and achievement at mathematics literacy scale. Socio-demographic factors, motivational and cognitive aspects related to learning mathematics, perception of school and classroom climate explain 40% variance of mathematics anxiety. Based on students' relationship towards mathematics they cam be divided into three groups; while dimensions that apart them are uninterested-interested in mathematics and presence-absence of anxiety. The group displaying anxiety scores lowest among the three. Applying qualitative analysis students' and teachers' attitudes on specific issues related to teaching and learning mathematics was examined.
Advanced Environmental Monitoring Technologies
Jan, Darrell
2004-01-01
Viewgraphs on Advanced Environmental Monitoring Technologies are presented. The topics include: 1) Monitoring & Controlling the Environment; 2) Illustrative Example: Canary 3) Ground-based Commercial Technology; 4) High Capability & Low Mass/Power + Autonomy = Key to Future SpaceFlight; 5) Current Practice: in Flight; 6) Current Practice: Post Flight; 7) Miniature Mass Spectrometer for Planetary Exploration and Long Duration Human Flight; 8) Hardware and Data Acquisition System; 9) 16S rDNA Phylogenetic Tree; and 10) Preview of Porter.
Hardware Implementation of a Bilateral Subtraction Filter
Huertas, Andres; Watson, Robert; Villalpando, Carlos; Goldberg, Steven
2009-01-01
A bilateral subtraction filter has been implemented as a hardware module in the form of a field-programmable gate array (FPGA). In general, a bilateral subtraction filter is a key subsystem of a high-quality stereoscopic machine vision system that utilizes images that are large and/or dense. Bilateral subtraction filters have been implemented in software on general-purpose computers, but the processing speeds attainable in this way even on computers containing the fastest processors are insufficient for real-time applications. The present FPGA bilateral subtraction filter is intended to accelerate processing to real-time speed and to be a prototype of a link in a stereoscopic-machine- vision processing chain, now under development, that would process large and/or dense images in real time and would be implemented in an FPGA. In terms that are necessarily oversimplified for the sake of brevity, a bilateral subtraction filter is a smoothing, edge-preserving filter for suppressing low-frequency noise. The filter operation amounts to replacing the value for each pixel with a weighted average of the values of that pixel and the neighboring pixels in a predefined neighborhood or window (e.g., a 9 9 window). The filter weights depend partly on pixel values and partly on the window size. The present FPGA implementation of a bilateral subtraction filter utilizes a 9 9 window. This implementation was designed to take advantage of the ability to do many of the component computations in parallel pipelines to enable processing of image data at the rate at which they are generated. The filter can be considered to be divided into the following parts (see figure): a) An image pixel pipeline with a 9 9- pixel window generator, b) An array of processing elements; c) An adder tree; d) A smoothing-and-delaying unit; and e) A subtraction unit. After each 9 9 window is created, the affected pixel data are fed to the processing elements. Each processing element is fed the pixel value for
Sabin, John R
2013-01-01
Advances in Quantum Chemistry presents surveys of current topics in this rapidly developing field that has emerged at the cross section of the historically established areas of mathematics, physics, chemistry, and biology. It features detailed reviews written by leading international researchers. This volume focuses on the theory of heavy ion physics in medicine.Advances in Quantum Chemistry presents surveys of current topics in this rapidly developing field that has emerged at the cross section of the historically established areas of mathematics, physics, chemistry, and biology. It features
Hardware Realization of Chaos Based Symmetric Image Encryption
Barakat, Mohamed L.
2012-06-01
This thesis presents a novel work on hardware realization of symmetric image encryption utilizing chaos based continuous systems as pseudo random number generators. Digital implementation of chaotic systems results in serious degradations in the dynamics of the system. Such defects are illuminated through a new technique of generalized post proceeding with very low hardware cost. The thesis further discusses two encryption algorithms designed and implemented as a block cipher and a stream cipher. The security of both systems is thoroughly analyzed and the performance is compared with other reported systems showing a superior results. Both systems are realized on Xilinx Vetrix-4 FPGA with a hardware and throughput performance surpassing known encryption systems.
Dynamically-Loaded Hardware Libraries (HLL) Technology for Audio Applications
DEFF Research Database (Denmark)
Esposito, A.; Lomuscio, A.; Nunzio, L. Di
2016-01-01
In this work, we apply hardware acceleration to embedded systems running audio applications. We present a new framework, Dynamically-Loaded Hardware Libraries or HLL, to dynamically load hardware libraries on reconfigurable platforms (FPGAs). Provided a library of application-specific processors......, we load on-the-fly the specific processor in the FPGA, and we transfer the execution from the CPU to the FPGA-based accelerator. The proposed architecture provides excellent flexibility with respect to the different audio applications implemented, high quality audio, and an energy efficient solution....
Acceleration of Meshfree Radial Point Interpolation Method on Graphics Hardware
International Nuclear Information System (INIS)
Nakata, Susumu
2008-01-01
This article describes a parallel computational technique to accelerate radial point interpolation method (RPIM)-based meshfree method using graphics hardware. RPIM is one of the meshfree partial differential equation solvers that do not require the mesh structure of the analysis targets. In this paper, a technique for accelerating RPIM using graphics hardware is presented. In the method, the computation process is divided into small processes suitable for processing on the parallel architecture of the graphics hardware in a single instruction multiple data manner.
Hardware support for collecting performance counters directly to memory
Gara, Alan; Salapura, Valentina; Wisniewski, Robert W.
2012-09-25
Hardware support for collecting performance counters directly to memory, in one aspect, may include a plurality of performance counters operable to collect one or more counts of one or more selected activities. A first storage element may be operable to store an address of a memory location. A second storage element may be operable to store a value indicating whether the hardware should begin copying. A state machine may be operable to detect the value in the second storage element and trigger hardware copying of data in selected one or more of the plurality of performance counters to the memory location whose address is stored in the first storage element.
Aspects of system modelling in Hardware/Software partitioning
DEFF Research Database (Denmark)
Knudsen, Peter Voigt; Madsen, Jan
1996-01-01
This paper addresses fundamental aspects of system modelling and partitioning algorithms in the area of Hardware/Software Codesign. Three basic system models for partitioning are presented and the consequences of partitioning according to each of these are analyzed. The analysis shows...... the importance of making a clear distinction between the model used for partitioning and the model used for evaluation It also illustrates the importance of having a realistic hardware model such that hardware sharing can be taken into account. Finally, the importance of integrating scheduling and allocation...
Umphrey, Jan
2011-01-01
The National Council of Teachers of Mathematics (NCTM) is a voice and advocate for mathematics educators, working to ensure that all students receive equitable mathematics learning of the highest quality. To help teachers and school leaders understand the Common Core State Standards for Mathematics (CCSSM) and to point out how the CCSSM can be…
DEFF Research Database (Denmark)
Hansen, Vagn Lundsgaard
2005-01-01
A brief tour through the history of mathematics from the very beginnings to modern times, with an emphasis on the main contributions and important periods of mathematics in various civilizations.......A brief tour through the history of mathematics from the very beginnings to modern times, with an emphasis on the main contributions and important periods of mathematics in various civilizations....
DEFF Research Database (Denmark)
Hansen, Vagn Lundsgaard
A brief tour through the history of mathematics from the very beginnings to modern times, with an emphasis on the main contributions and important periods of mathematics in various civilizations.......A brief tour through the history of mathematics from the very beginnings to modern times, with an emphasis on the main contributions and important periods of mathematics in various civilizations....
Mumcu, Hayal Yavuz
2016-01-01
The purpose of this theoretical study is to explore the relationships between the concepts of using mathematics in the daily life, mathematical applications, mathematical modelling, and mathematical literacy. As these concepts are generally taken as independent concepts in the related literature, they are confused with each other and it becomes…
Workshop on Supersymmetry in Mathematics and Physics
Fioresi, Rita; Varadarajan, VS
2011-01-01
Supersymmetry was created by the physicists in the 1970's to give a unified treatment of fermions and bosons, the basic constituents of matter. Since then its mathematical structure has been recognized as that of a new development in geometry, and mathematicians have busied themselves with exploring this aspect. This volume collects recent advances in this field, both from a physical and a mathematical point of view, with an accent on a rigorous treatment of the various questions raised.
Mathematical methods for physicists and engineers
Collins, Royal Eugene
2011-01-01
This practical, highly readable text provides physics and engineering students with the essential mathematical tools for thorough comprehension of their disciplines. Featuring all the necessary topics in applied mathematics in the form of programmed instruction, the text can be understood by advanced undergraduates and beginning graduate students without any assistance from the instructor. Topics include elementary vector calculus, matrix algebra, and linear vector operations; the many and varied methods of solving linear boundary value problems, including the more common special functions o
15th International Congress on Mathematical Physics
New Trends in Mathematical Physics
2009-01-01
This book collects selected papers written by invited and plenary speakers of the 15th International Congress on Mathematical Physics (ICMP) in the aftermath of the conference. In extensive review articles and expository texts as well as advanced research articles the world leading experts present the state of the art in modern mathematical physics. New mathematical concepts and ideas are introduced by prominent mathematicalphysicists and mathematicians, covering among others the fields of Dynamical Systems, Operator Algebras, Partial Differential Equations, Probability Theory, Random Matrices, Condensed Matter Physics, Statistical Mechanics, General Relativity, Quantum Mechanics, Quantum Field Theory, Quantum Information and String Theory. All together the contributions in this book give a panoramic view of the latest developments in mathematical physics. They will help readers with a general interest in mathematical physics to get an update on the most recent developments in their field, and give a broad ov...
Topics in mathematical analysis and applications
Tóth, László
2014-01-01
This volume presents significant advances in a number of theories and problems of Mathematical Analysis and its applications in disciplines such as Analytic Inequalities, Operator Theory, Functional Analysis, Approximation Theory, Functional Equations, Differential Equations, Wavelets, Discrete Mathematics and Mechanics. The contributions focus on recent developments and are written by eminent scientists from the international mathematical community. Special emphasis is given to new results that have been obtained in the above mentioned disciplines in which Nonlinear Analysis plays a central role. Some review papers published in this volume will be particularly useful for a broader readership in Mathematical Analysis, as well as for graduate students. An attempt is given to present all subjects in this volume in a unified and self-contained manner, to be particularly useful to the mathematical community.
Generation of Embedded Hardware/Software from SystemC
Directory of Open Access Journals (Sweden)
Dominique Houzet
2006-08-01
Full Text Available Designers increasingly rely on reusing intellectual property (IP and on raising the level of abstraction to respect system-on-chip (SoC market characteristics. However, most hardware and embedded software codes are recoded manually from system level. This recoding step often results in new coding errors that must be identified and debugged. Thus, shorter time-to-market requires automation of the system synthesis from high-level specifications. In this paper, we propose a design flow intended to reduce the SoC design cost. This design flow unifies hardware and software using a single high-level language. It integrates hardware/software (HW/SW generation tools and an automatic interface synthesis through a custom library of adapters. We have validated our interface synthesis approach on a hardware producer/consumer case study and on the design of a given software radiocommunication application.
Generation of Embedded Hardware/Software from SystemC
Directory of Open Access Journals (Sweden)
Ouadjaout Salim
2006-01-01
Full Text Available Designers increasingly rely on reusing intellectual property (IP and on raising the level of abstraction to respect system-on-chip (SoC market characteristics. However, most hardware and embedded software codes are recoded manually from system level. This recoding step often results in new coding errors that must be identified and debugged. Thus, shorter time-to-market requires automation of the system synthesis from high-level specifications. In this paper, we propose a design flow intended to reduce the SoC design cost. This design flow unifies hardware and software using a single high-level language. It integrates hardware/software (HW/SW generation tools and an automatic interface synthesis through a custom library of adapters. We have validated our interface synthesis approach on a hardware producer/consumer case study and on the design of a given software radiocommunication application.
Hardware device to physical structure binding and authentication
Hamlet, Jason R.; Stein, David J.; Bauer, Todd M.
2013-08-20
Detection and deterrence of device tampering and subversion may be achieved by including a cryptographic fingerprint unit within a hardware device for authenticating a binding of the hardware device and a physical structure. The cryptographic fingerprint unit includes an internal physically unclonable function ("PUF") circuit disposed in or on the hardware device, which generate an internal PUF value. Binding logic is coupled to receive the internal PUF value, as well as an external PUF value associated with the physical structure, and generates a binding PUF value, which represents the binding of the hardware device and the physical structure. The cryptographic fingerprint unit also includes a cryptographic unit that uses the binding PUF value to allow a challenger to authenticate the binding.
Hardware Realization of Chaos Based Symmetric Image Encryption
Barakat, Mohamed L.
2012-01-01
This thesis presents a novel work on hardware realization of symmetric image encryption utilizing chaos based continuous systems as pseudo random number generators. Digital implementation of chaotic systems results in serious degradations
Hardware Implementation Of Line Clipping A lgorithm By Using FPGA
Directory of Open Access Journals (Sweden)
Amar Dawod
2013-04-01
Full Text Available The computer graphics system performance is increasing faster than any other computing application. Algorithms for line clipping against convex polygons and lines have been studied for a long time and many research papers have been published so far. In spite of the latest graphical hardware development and significant increase of performance the clipping is still a bottleneck of any graphical system. So its implementation in hardware is essential for real time applications. In this paper clipping operation is discussed and a hardware implementation of the line clipping algorithm is presented and finally formulated and tested using Field Programmable Gate Arrays (FPGA. The designed hardware unit consists of two parts : the first is positional code generator unit and the second is the clipping unit. Finally it is worth mentioning that the designed unit is capable of clipping (232524 line segments per second.
Performance comparison between ISCSI and other hardware and software solutions
Gug, M
2003-01-01
We report on our investigations on some technologies that can be used to build disk servers and networks of disk servers using commodity hardware and software solutions. It focuses on the performance that can be achieved by these systems and gives measured figures for different configurations. It is divided into two parts : iSCSI and other technologies and hardware and software RAID solutions. The first part studies different technologies that can be used by clients to access disk servers using a gigabit ethernet network. It covers block access technologies (iSCSI, hyperSCSI, ENBD). Experimental figures are given for different numbers of clients and servers. The second part compares a system based on 3ware hardware RAID controllers, a system using linux software RAID and IDE cards and a system mixing both hardware RAID and software RAID. Performance measurements for reading and writing are given for different RAID levels.
Hardware Realization of Chaos-based Symmetric Video Encryption
Ibrahim, Mohamad A.
2013-01-01
This thesis reports original work on hardware realization of symmetric video encryption using chaos-based continuous systems as pseudo-random number generators. The thesis also presents some of the serious degradations caused by digitally
Rask, Ulf; Mannestig, Pontus
2002-01-01
In the ever-increasing development pace, circuits and hardware are no exception. Hardware designs grow and circuits gets more complex at the same time as the market pressure lowers the expected time-to-market. In this rush, verification methods often lag behind. Hardware manufacturers must be aware of the importance of total verification if they want to avoid quality flaws and broken deadlines which in the long run will lead to delayed time-to-market, bad publicity and a decreasing market sha...
Energy Technology Data Exchange (ETDEWEB)
Sun, Wenhao, E-mail: wenhao_sun@126.com [Southeast University, Nanjing 210096 (China); Cai, Xudong [Massachusetts Institute of Technology, MA 02139-4307 (United States); Meng, Qiao [Southeast University, Nanjing 210096 (China)
2016-04-11
Complex automatic protection functions are being added to the onboard software of the Alpha Magnetic Spectrometer. A hardware-in-the-loop simulation method has been introduced to overcome the difficulties of ground testing that are brought by hardware and environmental limitations. We invented a time-saving approach by reusing the flight data as the data source of the simulation system instead of mathematical models. This is easy to implement and it works efficiently. This paper presents the system framework, implementation details and some application examples.
Basics of spectroscopic instruments. Hardware of NMR spectrometer
International Nuclear Information System (INIS)
Sato, Hajime
2009-01-01
NMR is a powerful tool for structure analysis of small molecules, natural products, biological macromolecules, synthesized polymers, samples from material science and so on. Magnetic Resonance Imaging (MRI) is applicable to plants and animals Because most of NMR experiments can be done by an automation mode, one can forget hardware of NMR spectrometers. It would be good to understand features and performance of NMR spectrometers. Here I present hardware of a modern NMR spectrometer which is fully equipped with digital technology. (author)
Memory Based Machine Intelligence Techniques in VLSI hardware
James, Alex Pappachen
2012-01-01
We briefly introduce the memory based approaches to emulate machine intelligence in VLSI hardware, describing the challenges and advantages. Implementation of artificial intelligence techniques in VLSI hardware is a practical and difficult problem. Deep architectures, hierarchical temporal memories and memory networks are some of the contemporary approaches in this area of research. The techniques attempt to emulate low level intelligence tasks and aim at providing scalable solutions to high ...
Security challenges and opportunities in adaptive and reconfigurable hardware
Costan, Victor Marius; Devadas, Srinivas
2011-01-01
We present a novel approach to building hardware support for providing strong security guarantees for computations running in the cloud (shared hardware in massive data centers), while maintaining the high performance and low cost that make cloud computing attractive in the first place. We propose augmenting regular cloud servers with a Trusted Computation Base (TCB) that can securely perform high-performance computations. Our TCB achieves cost savings by spreading functionality across two pa...
Review of Maxillofacial Hardware Complications and Indications for Salvage
Hernandez Rosa, Jonatan; Villanueva, Nathaniel L.; Sanati-Mehrizy, Paymon; Factor, Stephanie H.; Taub, Peter J.
2015-01-01
From 2002 to 2006, more than 117,000 facial fractures were recorded in the U.S. National Trauma Database. These fractures are commonly treated with open reduction and internal fixation. While in place, the hardware facilitates successful bony union. However, when postoperative complications occur, the plates may require removal before bony union. Indications for salvage versus removal of the maxillofacial hardware are not well defined. A literature review was performed to identify instances w...
Testing Microgravity Flight Hardware Concepts on the NASA KC-135
Motil, Susan M.; Harrivel, Angela R.; Zimmerli, Gregory A.
2001-01-01
This paper provides an overview of utilizing the NASA KC-135 Reduced Gravity Aircraft for the Foam Optics and Mechanics (FOAM) microgravity flight project. The FOAM science requirements are summarized, and the KC-135 test-rig used to test hardware concepts designed to meet the requirements are described. Preliminary results regarding foam dispensing, foam/surface slip tests, and dynamic light scattering data are discussed in support of the flight hardware development for the FOAM experiment.
Accelerator Technology: Injection and Extraction Related Hardware: Kickers and Septa
Barnes, M J; Mertens, V
2013-01-01
This document is part of Subvolume C 'Accelerators and Colliders' of Volume 21 'Elementary Particles' of Landolt-Börnstein - Group I 'Elementary Particles, Nuclei and Atoms'. It contains the the Section '8.7 Injection and Extraction Related Hardware: Kickers and Septa' of the Chapter '8 Accelerator Technology' with the content: 8.7 Injection and Extraction Related Hardware: Kickers and Septa 8.7.1 Fast Pulsed Systems (Kickers) 8.7.2 Electrostatic and Magnetic Septa
Learning Machines Implemented on Non-Deterministic Hardware
Gupta, Suyog; Sindhwani, Vikas; Gopalakrishnan, Kailash
2014-01-01
This paper highlights new opportunities for designing large-scale machine learning systems as a consequence of blurring traditional boundaries that have allowed algorithm designers and application-level practitioners to stay -- for the most part -- oblivious to the details of the underlying hardware-level implementations. The hardware/software co-design methodology advocated here hinges on the deployment of compute-intensive machine learning kernels onto compute platforms that trade-off deter...
Hardware control system using modular software under RSX-11D
International Nuclear Information System (INIS)
Kittell, R.S.; Helland, J.A.
1978-01-01
A modular software system used to control extensive hardware is described. The development, operation, and experience with this software are discussed. Included are the methods employed to implement this system while taking advantage of the Real-Time features of RSX-11D. Comparisons are made between this system and an earlier nonmodular system. The controlled hardware includes magnet power supplies, stepping motors, DVM's, and multiplexors, and is interfaced through CAMAC. 4 figures
2015 Association for Women in Mathematics Symposium
Lauter, Kristin; Chambers, Erin; Flournoy, Nancy; Grigsby, Julia; Martin, Carla; Ryan, Kathleen; Trivisa, Konstantina
2016-01-01
Presenting the latest findings in topics from across the mathematical spectrum, this volume includes results in pure mathematics along with a range of new advances and novel applications to other fields such as probability, statistics, biology, and computer science. All contributions feature authors who attended the Association for Women in Mathematics Research Symposium in 2015: this conference, the third in a series of biennial conferences organized by the Association, attracted over 330 participants and showcased the research of women mathematicians from academia, industry, and government.
MRI monitoring of focused ultrasound sonications near metallic hardware.
Weber, Hans; Ghanouni, Pejman; Pascal-Tenorio, Aurea; Pauly, Kim Butts; Hargreaves, Brian A
2018-07-01
To explore the temperature-induced signal change in two-dimensional multi-spectral imaging (2DMSI) for fast thermometry near metallic hardware to enable MR-guided focused ultrasound surgery (MRgFUS) in patients with implanted metallic hardware. 2DMSI was optimized for temperature sensitivity and applied to monitor focus ultrasound surgery (FUS) sonications near metallic hardware in phantoms and ex vivo porcine muscle tissue. Further, we evaluated its temperature sensitivity for in vivo muscle in patients without metallic hardware. In addition, we performed a comparison of temperature sensitivity between 2DMSI and conventional proton-resonance-frequency-shift (PRFS) thermometry at different distances from metal devices and different signal-to-noise ratios (SNR). 2DMSI thermometry enabled visualization of short ultrasound sonications near metallic hardware. Calibration using in vivo muscle yielded a constant temperature sensitivity for temperatures below 43 °C. For an off-resonance coverage of ± 6 kHz, we achieved a temperature sensitivity of 1.45%/K, resulting in a minimum detectable temperature change of ∼2.5 K for an SNR of 100 with a temporal resolution of 6 s per frame. The proposed 2DMSI thermometry has the potential to allow MR-guided FUS treatments of patients with metallic hardware and therefore expand its reach to a larger patient population. Magn Reson Med 80:259-271, 2018. © 2017 International Society for Magnetic Resonance in Medicine. © 2017 International Society for Magnetic Resonance in Medicine.
Hardware Middleware for Person Tracking on Embedded Distributed Smart Cameras
Directory of Open Access Journals (Sweden)
Ali Akbar Zarezadeh
2012-01-01
Full Text Available Tracking individuals is a prominent application in such domains like surveillance or smart environments. This paper provides a development of a multiple camera setup with jointed view that observes moving persons in a site. It focuses on a geometry-based approach to establish correspondence among different views. The expensive computational parts of the tracker are hardware accelerated via a novel system-on-chip (SoC design. In conjunction with this vision application, a hardware object request broker (ORB middleware is presented as the underlying communication system. The hardware ORB provides a hardware/software architecture to achieve real-time intercommunication among multiple smart cameras. Via a probing mechanism, a performance analysis is performed to measure network latencies, that is, time traversing the TCP/IP stack, in both software and hardware ORB approaches on the same smart camera platform. The empirical results show that using the proposed hardware ORB as client and server in separate smart camera nodes will considerably reduce the network latency up to 100 times compared to the software ORB.
Compiling quantum circuits to realistic hardware architectures using temporal planners
Venturelli, Davide; Do, Minh; Rieffel, Eleanor; Frank, Jeremy
2018-04-01
To run quantum algorithms on emerging gate-model quantum hardware, quantum circuits must be compiled to take into account constraints on the hardware. For near-term hardware, with only limited means to mitigate decoherence, it is critical to minimize the duration of the circuit. We investigate the application of temporal planners to the problem of compiling quantum circuits to newly emerging quantum hardware. While our approach is general, we focus on compiling to superconducting hardware architectures with nearest neighbor constraints. Our initial experiments focus on compiling Quantum Alternating Operator Ansatz (QAOA) circuits whose high number of commuting gates allow great flexibility in the order in which the gates can be applied. That freedom makes it more challenging to find optimal compilations but also means there is a greater potential win from more optimized compilation than for less flexible circuits. We map this quantum circuit compilation problem to a temporal planning problem, and generated a test suite of compilation problems for QAOA circuits of various sizes to a realistic hardware architecture. We report compilation results from several state-of-the-art temporal planners on this test set. This early empirical evaluation demonstrates that temporal planning is a viable approach to quantum circuit compilation.
Sixel-Döring, F; Trenkwalder, C; Kappus, C; Hellwig, D
2006-08-01
Deep brain stimulation of the subthalamic nucleus is an important treatment option for advanced stages of idiopathic Parkinson's disease, leading to significant improvement of motor symptoms in suited patients. Hardware-related complications such as technical malfunction, skin erosion, and infections however cause patient discomfort and additional expense. The patient presented here suffered a putrid infection of the impulse generator site following only local dental treatment of apical parodontitis. Therefore, prophylactic systemic antibiotic treatment is recommended for patients with implanted deep brain stimulation devices in case of operations, dental procedures, or infectious disease.
IT Career JumpStart An Introduction to PC Hardware, Software, and Networking
Alpern, Naomi J; Muller, Randy
2011-01-01
A practical approach for anyone looking to enter the IT workforce Before candidates can begin to prepare for any kind of certification, they need a basic understanding of the various hardware and software components used in a computer network. Aimed at aspiring IT professionals, this invaluable book strips down a network to its bare basics, and discusses this complex topic in a clear and concise manner so that IT beginners can confidently gain an understanding of fundamental IT concepts. In addition, a base knowledge has been established so that more advanced topics and technologies can be lea
HISTRAP [Heavy Ion Storage Ring for Atomic Physics] prototype hardware studies
International Nuclear Information System (INIS)
Olsen, D.K.; Atkins, W.H.; Dowling, D.T.; Johnson, J.W.; Lord, R.S.; McConnell, J.W.; Milner, W.T.; Mosko, S.W.; Tatum, B.A.
1989-01-01
HISTRAP, Heavy Ion Storage Ring for Atomic Physics, is a proposed 2.67-Tm synchrotron/cooler/storage ring optimized for advanced atomic physics research which will be injected with ions from either the HHIRF 25-MV tandem accelerator or a dedicated ECR source and RFQ linac. Over the last two years, hardware prototypes have been developed for difficult and long lead-time components. A vacuum test stand, the rf cavity, and a prototype dipole magnet have been designed, constructed, and tested. 7 refs., 8 figs., 2 tabs
Total Quality Management in the Classroom: Applications to University-Level Mathematics.
Williams, Frank
1995-01-01
Describes a Total Quality Management-based system of instruction that is used in a variety of undergraduate mathematics courses. The courses that incorporate this approach include mathematics appreciation, introductory calculus, and advanced applied linear algebra. (DDR)
Dynamic modelling and hardware-in-the-loop testing of PEMFC
Energy Technology Data Exchange (ETDEWEB)
Vath, Andreas; Soehn, Matthias; Nicoloso, Norbert; Hartkopf, Thomas [Technische Universitaet Darmstadt/Institut fuer Elektrische Energie wand lung, Landgraf-Georg-Str. 4, D-64283 Darmstadt (Germany); Lemes, Zijad; Maencher, Hubert [MAGNUM Automatisierungstechnik GmbH, Bunsenstr. 22, D-64293 Darmstadt (Germany)
2006-07-03
Modelling and hardware-in-the-loop (HIL) testing of fuel cell components and entire systems open new ways for the design and advance development of FCs. In this work proton exchange membrane fuel cells (PEMFC) are dynamically modelled within MATLAB-Simulink at various operation conditions in order to establish a comprehensive description of their dynamic behaviour as well as to explore the modelling facility as a diagnostic tool. Set-up of a hardware-in-the-loop (HIL) system enables real time interaction between the selected hardware and the model. The transport of hydrogen, nitrogen, oxygen, water vapour and liquid water in the gas diffusion and catalyst layers of the stack are incorporated into the model according to their physical and electrochemical characteristics. Other processes investigated include, e.g., the membrane resistance as a function of the water content during fast load changes. Cells are modelled three-dimensionally and dynamically. In case of system simulations a one-dimensional model is preferred to reduce computation time. The model has been verified by experiments with a water-cooled stack. (author)
Hardware design and implementation of the closed-orbit feedback system at APS
International Nuclear Information System (INIS)
Barr, D.; Chung, Youngjoo.
1996-01-01
The Advanced Photon Source (APS) storage ring will utilize a closed-orbit feedback system in order to produce a more stable beam. The specified orbit measurement resolution is 25 microns for global feedback and 1 micron for local feedback. The system will sample at 4 kHz and provide a correction bandwidth of 100 Hz. At this bandwidth, standard rf BPMs will provide a resolution of 0.7 micron, while specialized miniature BPMs positioned on either side of the insertion devices for local feedback will provide a resolution of 0.2 micron (1). The measured BPM noise floor for standard BPMs is 0.06 micron per root hertz mA. Such a system has been designed, simulated, and tested on a small scale (2). This paper covers the actual hardware design and layout of the entire closed-loop system. This includes commercial hardware components, in addition to many components designed and built in-house. The paper will investigate the large-scale workings of all these devices, as well as an overall view of each piece of hardware used
The link between middle school mathematics course placement and achievement.
Domina, Thurston
2014-01-01
The proportion of eighth graders in United States public schools enrolled in algebra or a more advanced mathematics course doubled between 1990 and 2011. This article uses Early Childhood Longitudinal Study's Kindergarten Cohort data to consider the selection process into advanced middle school mathematics courses and estimate the effects of advanced courses on students' mathematics achievement (n = 6,425; mean age at eighth grade = 13.7). Eighth-grade algebra and geometry course placements are academically selective, but considerable between-school variation exists in students' odds of taking these advanced courses. While analyses indicate that advanced middle school mathematics courses boost student achievement, these effects are most pronounced in content areas closely related to class content and may be contingent on student academic readiness. © 2014 The Author. Child Development © 2014 Society for Research in Child Development, Inc.