Gestures and Insight in Advanced Mathematical Thinking

Science.gov (United States)

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

Adding structure to the transition process to advanced mathematical activity

Science.gov (United States)

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.

Advances in mechanics and mathematics

CERN Document Server

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.

Advanced mathematics communication beyond modality of sight

Science.gov (United States)

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.

Mathematical competencies and the role of mathematics in physics education: A trend analysis of TIMSS Advanced 1995 and 2008

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.

Computational experiment approach to advanced secondary mathematics curriculum

CERN Document Server

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

Reassessing the Economic Value of Advanced Level Mathematics

Science.gov (United States)

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…

Adding Structure to the Transition Process to Advanced Mathematical Activity

Science.gov (United States)

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…

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.

5th Conference on Advanced Mathematical and Computational Tools in Metrology

CERN Document Server

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

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.

Informal Content and Student Note-Taking in Advanced Mathematics Classes

Science.gov (United States)

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…

A Cross-National Comparison of Reported Effort and Mathematics Performance in TIMSS Advanced

Science.gov (United States)

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…

Workshop on Advanced Modelling in Mathematical Finance : in Honour of Ernst Eberlein

CERN Document Server

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.

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

Tools of the trade introduction to advanced mathematics

CERN Document Server

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

Conceptual and mathematical advances in the search for a unified framework

CERN Document Server

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

Origins of the brain networks for advanced mathematics in expert mathematicians.

Science.gov (United States)

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.

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.

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

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

Science.gov (United States)

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…

International Conference on Recent Advances in Mathematical Biology, Analysis and Applications

CERN Document Server

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

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.

Preparing and Supporting Black Students to Enroll and Achieve in Advanced Mathematics Classes in Middle School: A Case Study

OpenAIRE

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

PREFACE: International Conference on Advancement in Science and Technology 2012 (iCAST): Contemporary Mathematics, Mathematical Physics and their Applications

Science.gov (United States)

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.

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.

Advances in mathematical economics

CERN Document Server

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

CERN Document Server

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

CERN Document Server

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

CERN Document Server

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

CERN Document Server

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

CERN Document Server

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.

Interim Service ISDN Satellite (ISIS) hardware experiment development for advanced ISDN satellite designs and experiments

Science.gov (United States)

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.

Interim Service ISDN Satellite (ISIS) hardware experiment design for advanced ISDN satellite design and experiments

Science.gov (United States)

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.

NATO Advanced Research Workshop on Exploiting Mental Imagery with Computers in Mathematics Education

CERN Document Server

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.

Preparing and Supporting Black Students to Enroll and Achieve in Advanced Mathematics Classes in Middle School: A Case Study

Science.gov (United States)

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…

Lectures in Advanced Mathematics: Why Students Might Not Understand What the Mathematics Professor Is Trying to Convey

Science.gov (United States)

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…

Incentivizing Advanced Mathematics Study at Upper Secondary Level: The Case of Bonus Points in Ireland

Science.gov (United States)

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…

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

Science.gov (United States)

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…

GOSH! A roadmap for open-source science hardware

CERN Multimedia

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

Annual Perspectives in Mathematics Education 2016: Mathematical Modeling and Modeling Mathematics

Science.gov (United States)

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…

Advances in mathematical economics

CERN Document Server

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

Quantum neuromorphic hardware for quantum artificial intelligence

Science.gov (United States)

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.

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.

Mathematics Underground

Science.gov (United States)

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…

System-Level Testing of the Advanced Stirling Radioisotope Generator Engineering Hardware

Science.gov (United States)

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.

Advanced Photovoltaic Inverter Control Development and Validation in a Controller-Hardware-in-the-Loop Test Bed

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.

Peculiarities of hardware implementation of generalized cellular tetra automaton

OpenAIRE

Аноприенко, Александр Яковлевич; Федоров, Евгений Евгениевич; Иваница, Сергей Васильевич; Альрабаба, Хамза

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

Discrete mathematics using a computer

CERN Document Server

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

Optimizing main-memory join on modern hardware

OpenAIRE

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

Utilizing IXP1200 hardware and software for packet filtering

OpenAIRE

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

Proceedings of the Twenty-First Water Reactor Safety Information Meeting: Volume 1, Plenary session; Advanced reactor research; advanced control system technology; advanced instrumentation and control hardware; human factors research; probabilistic risk assessment topics; thermal hydraulics; thermal hydraulic research for advanced passive LWRs

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

Proceedings of the Twenty-First Water Reactor Safety Information Meeting: Volume 1, Plenary session; Advanced reactor research; advanced control system technology; advanced instrumentation and control hardware; human factors research; probabilistic risk assessment topics; thermal hydraulics; thermal hydraulic research for advanced passive LWRs

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.

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

Advances in flexible optrode hardware for use in cybernetic insects

Science.gov (United States)

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.

Multi-band effective mass approximations advanced mathematical models and numerical techniques

CERN Document Server

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

Mathematical Modeling in the Undergraduate Curriculum

Science.gov (United States)

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…

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

Higher engineering mathematics

CERN Document Server

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

Introduction to mathematics of satisfiability

CERN Document Server

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

Macroscopic models for vehicular flows and crowd dynamics theory and applications classical and non–classical advanced mathematics for real life applications

CERN Document Server

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.  

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.

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

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

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

Hardware for soft computing and soft computing for hardware

CERN Document Server

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

The Effect of Superstar Software on Hardware Sales in System Markets

OpenAIRE

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

Mathematics without boundaries surveys in pure mathematics

CERN Document Server

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.

Quantum Mechanics: Fundamentals; Advanced Quantum Mechanics; Mathematical Concepts of Quantum Mechanics

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

Career Advancement Outcomes in Academic Science, Technology, Engineering and Mathematics (STEM): Gender, Mentoring Resources, and Homophily

Science.gov (United States)

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…

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

Integration of Technology, Curriculum, and Professional Development for Advancing Middle School Mathematics: Three Large-Scale Studies

Science.gov (United States)

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

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.

Tracing the Construction of Mathematical Activity with an Advanced Graphing Calculator to Understand the Roles of Technology Developers, Teachers and Students

Science.gov (United States)

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…

The effects of advanced digital signal processing concepts on VLSIC/VHSIC design

Science.gov (United States)

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.

A Mathematics Software Database Update.

Science.gov (United States)

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)

Engineering mathematics

CERN Document Server

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.

Evaluation of accelerated iterative x-ray CT image reconstruction using floating point graphics hardware

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

NATO Advanced Research Workshop on The Design of Mathematical Modelling Courses for Engineering Education

CERN Document Server

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

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)

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)

An Improved Mathematical Scheme for LTE-Advanced Coexistence with FM Broadcasting Service.

Science.gov (United States)

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.

Mathematical physics applied mathematics for scientists and engineers

CERN Document Server

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

Mathematics for physicists

CERN Document Server

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

Test Program for Stirling Radioisotope Generator Hardware at NASA Glenn Research Center

Science.gov (United States)

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.

Mathematical methods for physicists

CERN Document Server

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

Hardware description languages

Science.gov (United States)

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.

Reconfiguration of NASA GRC's Vacuum Facility 6 for Testing of Advanced Electric Propulsion System (AEPS) Hardware

Science.gov (United States)

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

Forum of Mathematics for Industry 2013

CERN Document Server

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.

Driven by History: Mathematics Education Reform

Science.gov (United States)

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…

Strategic Alliance to Advanced Technological Education through Enhanced Mathematics, Science, Technology, and English Education at the Secondary Level

Science.gov (United States)

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…

Foundations of digital signal processing theory, algorithms and hardware design

CERN Document Server

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.

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.

Mathematics across cultures the history of non-Western mathematics

CERN Document Server

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.

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

Automatic Optimization of Hardware Accelerators for Image Processing

OpenAIRE

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

Advanced Mathematics Communication beyond Modality of Sight

Science.gov (United States)

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…

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

Science.gov (United States)

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

A mathematical model of an automatic assembler to stack fuel pellets

International Nuclear Information System (INIS)

Jarvis, R.G.; Joynes, R.; Bretzlaff, C.I.

1980-11-01

Fuel elements for CANDU reactors are assembled from stacks of cylindrical UO 2 pellets, with close tolerances on lengths and diameters. Present stacking techniques involve extensive manual operations and they can be speeded up and reduced in cost by an automated device. If gamma-active fuel is handled such a device is essential. An automatic fuel pellet assembly process was modelled mathematically. The model indicated a suitable sequence of pellet manipulations to arrive at a stack length that was always within tolerance. This sequence was used as the inital input for the design of mechanical hardware. The mechanical design and the refinement of the mathematical model proceeded simultaneously. Mechanical constraints were allowed for in the model, and its optimized sequence of operations was incorporated in a microcomputer program to control the mechanical hardware. (auth)

ANNarchy: a code generation approach to neural simulations on parallel hardware

Science.gov (United States)

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

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

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.

Foundations of hardware IP protection

CERN Document Server

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

Advanced high school biology in an era of rapid change: a summary of the biology panel report from the NRC Committee on Programs for Advanced Study of Mathematics and Science in American High Schools.

Science.gov (United States)

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.

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

Mathematical foundations of elasticity

CERN Document Server

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

Open hardware for open science

CERN Multimedia

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

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.

Open Hardware Business Models

OpenAIRE

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.

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)

TIMSS Advanced 2015 Assessment Frameworks

Science.gov (United States)

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…

Algorithmic Principles of Mathematical Programming

NARCIS (Netherlands)

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

Open Hardware Business Models

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.

Advanced Simulation Center

Data.gov (United States)

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

Modern mathematics for the engineer second series

CERN Document Server

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

CERN Document Server

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

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.

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.

Laser light scattering instrument advanced technology development

Science.gov (United States)

Wallace, J. F.

1993-01-01

The objective of this advanced technology development (ATD) project has been to provide sturdy, miniaturized laser light scattering (LLS) instrumentation for use in microgravity experiments. To do this, we assessed user requirements, explored the capabilities of existing and prospective laser light scattering hardware, and both coordinated and participated in the hardware and software advances needed for a flight hardware instrument. We have successfully breadboarded and evaluated an engineering version of a single-angle glove-box instrument which uses solid state detectors and lasers, along with fiber optics, for beam delivery and detection. Additionally, we have provided the specifications and written verification procedures necessary for procuring a miniature multi-angle LLS instrument which will be used by the flight hardware project which resulted from this work and from this project's interaction with the laser light scattering community.

The link between middle school mathematics course placement and achievement.

Science.gov (United States)

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.

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

Open Hardware at CERN

CERN Multimedia

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.

The Application of Hardware in the Loop Testing for Distributed Engine Control

Science.gov (United States)

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.

Mathematical Creativity: Psychology, Progress and Caveats

Science.gov (United States)

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…

Hardware protection through obfuscation

CERN Document Server

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

A course of higher mathematics

CERN Document Server

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

Autonomous Dynamically Self-Organizing and Self-Healing Distributed Hardware Architecture - the eDNA Concept

Science.gov (United States)

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.

Equations of mathematical physics

CERN Document Server

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

Rethinking the mathematics curriculum

CERN Document Server

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.

Expert System analysis of non-fuel assembly hardware and spent fuel disassembly hardware: Its generation and recommended disposal

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

High Performance Motion-Planner Architecture for Hardware-In-the-Loop System Based on Position-Based-Admittance-Control

OpenAIRE

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

Testing flight software on the ground: Introducing the hardware-in-the-loop simulation method to the Alpha Magnetic Spectrometer on the International Space Station

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.

CERN-IPMC solution for AdvancedTCA blades

CERN Document Server

Mendez, Julian Maxime; Haas, Stefan Ludwig; Joos, Markus; Mico, Sylvain; Vasey, Francois

2018-01-01

The AdvancedTCA standard has been selected as one of the hardware platforms for the upgrades of the back-end electronics of the CMS and ATLAS experiments of the Large Hadron Collider. In this context, the CERN EP-ESE group has designed and produced an IPMC mezzanine card for the management of AdvancedTCA blades. This paper presents the CERN-IPMC hardware and the software environment to be used for its customization and describes a test pad that can also be used as a development kit.

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

Advanced calculus

CERN Document Server

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,

Mathematics in Finance and Economics: Importance of Teaching Higher Order Mathematical Thinking Skills in Finance

Science.gov (United States)

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

HARDWARE TROJAN IDENTIFICATION AND DETECTION

OpenAIRE

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

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

CASIS Fact Sheet: Hardware and Facilities

Science.gov (United States)

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

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.

Continuum mechanics the birthplace of mathematical models

CERN Document Server

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

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.

Open-source hardware for medical devices.

Science.gov (United States)

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.

Smooth Transition for Advancement to Graduate Education (STAGE) for Underrepresented Groups in the Mathematical Sciences Pilot Project: Broadening Participation through Mentoring

Science.gov (United States)

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…

All Students Need Advanced Mathematics. Math Works

Science.gov (United States)

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…

An evaluation of Skylab habitability hardware

Science.gov (United States)

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.

Research in collegiate mathematics education VI

CERN Document Server

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

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.

Door Hardware and Installations; Carpentry: 901894.

Science.gov (United States)

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…

Applied Computational Mathematics in Social Sciences

CERN Document Server

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.

Shielded battery syndrome: a new hardware complication of deep brain stimulation.

Science.gov (United States)

Chelvarajah, Ramesh; Lumsden, Daniel; Kaminska, Margaret; Samuel, Michael; Hulse, Natasha; Selway, Richard P; Lin, Jean-Pierre; Ashkan, Keyoumars

2012-01-01

Deep brain stimulation hardware is constantly advancing. The last few years have seen the introduction of rechargeable cell technology into the implanted pulse generator design, allowing for longer battery life and fewer replacement operations. The Medtronic® system requires an additional pocket adaptor when revising a non-rechargeable battery such as their Kinetra® to their rechargeable Activa® RC. This additional hardware item can, if it migrates superficially, become an impediment to the recharging of the battery and negate the intended technological advance. To report the emergence of the 'shielded battery syndrome', which has not been previously described. We reviewed our deep brain stimulation database to identify cases of recharging difficulties reported by patients with Activa RC implanted pulse generators. Two cases of shielded battery syndrome were identified. The first required surgery to reposition the adaptor to the deep aspect of the subcutaneous pocket. In the second case, it was possible to perform external manual manipulation to restore the adaptor to its original position deep to the battery. We describe strategies to minimise the occurrence of the shielded battery syndrome and advise vigilance in all patients who experience difficulty with recharging after replacement surgery of this type for the implanted pulse generator. Copyright © 2012 S. Karger AG, Basel.

Engineering Undergraduates' Views of A-Level Mathematics and Further Mathematics as Preparation for Their Degree

Science.gov (United States)

Darlington, Ellie; Bowyer, Jessica

2017-01-01

An ongoing reform programme of the post-16 Advanced "A"-level qualifications in England and Wales means that pre-university mathematics content and assessment will change from 2017. Undergraduate engineering is a subject that relies heavily on mathematics, and applicants to engineering degree programmes in the UK are required to have…

Data management system advanced development

Science.gov (United States)

Douglas, Katherine; Humphries, Terry

1990-01-01

The Data Management System (DMS) Advanced Development task provides for the development of concepts, new tools, DMS services, and for the testing of the Space Station DMS hardware and software. It also provides for the development of techniques capable of determining the effects of system changes/enhancements, additions of new technology, and/or hardware and software growth on system performance. This paper will address the built-in characteristics which will support network monitoring requirements in the design of the evolving DMS network implementation, functional and performance requirements for a real-time, multiprogramming, multiprocessor operating system, and the possible use of advanced development techniques such as expert systems and artificial intelligence tools in the DMS design.

How we understand mathematics conceptual integration in the language of mathematical description

CERN Document Server

Woźny, Jacek

2018-01-01

This volume examines mathematics as a product of the human mind and analyzes the language of "pure mathematics" from various advanced-level sources. Through analysis of the foundational texts of mathematics, it is demonstrated that math is a complex literary creation, containing objects, actors, actions, projection, prediction, planning, explanation, evaluation, roles, image schemas, metonymy, conceptual blending, and, of course, (natural) language. The book follows the narrative of mathematics in a typical order of presentation for a standard university-level algebra course, beginning with analysis of set theory and mappings and continuing along a path of increasing complexity. At each stage, primary concepts, axioms, definitions, and proofs will be examined in an effort to unfold the tell-tale traces of the basic human cognitive patterns of story and conceptual blending. This book will be of interest to mathematicians, teachers of mathematics, cognitive scientists, cognitive linguists, and anyone interested...

Research in collegiate mathematics education V

CERN Document Server

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.

Mathematics in Literature and Cinema: An Interdisciplinary Course

Science.gov (United States)

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.

From Open Source Software to Open Source Hardware

OpenAIRE

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

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

ZEUS hardware control system

Science.gov (United States)

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.

ZEUS hardware control system

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

Mathematical analysis fundamentals

CERN Document Server

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

Lectures on the mathematics of quantum mechanics I

CERN Document Server

Dell'Antonio, Gianfausto

2015-01-01

The first volume (General Theory) differs from most textbooks as it emphasizes the mathematical structure and mathematical rigor, while being adapted to the teaching the first semester of an advanced course in Quantum Mechanics (the content of the book are the lectures of courses actually delivered.). It differs also from the very few texts in Quantum Mechanics that give emphasis to the mathematical aspects because this book, being written as Lecture Notes, has the structure of lectures delivered in a course, namely introduction of the problem, outline of the relevant points, mathematical tools needed, theorems, proofs. This makes this book particularly useful for self-study and for instructors in the preparation of a second course in Quantum Mechanics (after a first basic course). With some minor additions it can be used also as a basis of a first course in Quantum Mechanics for students in mathematics curricula. The second part (Selected Topics) are lecture notes of a more advanced course aimed at giving th...

Introduction to mathematical systems theory a behavioral approach

CERN Document Server

Polderman, Jan Willem

1998-01-01

Mathematics is playing an ever more important role in the physical and biological sciences, provoking a blurring of boundaries between scientific disciplines and a resurgence of interest in the modem as well as the classical techniques of applied mathematics. This renewal of interest,both in research and teaching, has led to the establishment of the series: Texts in Applied Mathematics (TAM). The developmentof new courses is a natural consequenceof a high level of excite­ ment on the research frontier as newer techniques, such as numerical and symbolic computersystems,dynamicalsystems,and chaos, mix with and reinforce the tradi­ tional methods of applied mathematics. Thus, the purpose of this textbook series is to meet the current and future needs of these advances and encourage the teaching of new courses. TAM will publish textbookssuitable for use in advancedundergraduate and begin­ ning graduate courses, and will complement the Applied Mathematical Seiences (AMS) series, which will focus on advanced tex...

NDAS Hardware Translation Layer Development

Science.gov (United States)

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

Hardware for dynamic quantum computing.

Science.gov (United States)

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.

Benchmarking and Hardware-In-The-Loop Operation of a ...

Science.gov (United States)

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

Mathematical problems in meteorological modelling

CERN Document Server

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 device binding and mutual authentication

Science.gov (United States)

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.

Analyzing the Teaching of Advanced Mathematics Courses via the Enacted Example Space

Science.gov (United States)

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…

Secure coupling of hardware components

NARCIS (Netherlands)

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,

Advanced mathematics for engineers and scientists

CERN Document Server

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

Mathematical models of physics problems (physics research and technology)

CERN Document Server

Anchordoqui, Luis Alfredo

2013-01-01

This textbook is intended to provide a foundation for a one-semester introductory course on the advanced mathematical methods that form the cornerstones of the hard sciences and engineering. The work is suitable for first year graduate or advanced undergraduate students in the fields of Physics, Astronomy and Engineering. This text therefore employs a condensed narrative sufficient to prepare graduate and advanced undergraduate students for the level of mathematics expected in more advanced graduate physics courses, without too much exposition on related but non-essential material. In contrast to the two semesters traditionally devoted to mathematical methods for physicists, the material in this book has been quite distilled, making it a suitable guide for a one-semester course. The assumption is that the student, once versed in the fundamentals, can master more esoteric aspects of these topics on his or her own if and when the need arises during the course of conducting research. The book focuses on two cor...

Asynchronous Advanced Encryption Standard Hardware with Random Noise Injection for Improved Side-Channel Attack Resistance

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.

Operational Range of Several Interface Algorithms for Different Power Hardware-In-The-Loop Setups

Directory of Open Access Journals (Sweden)

Ron Brandl

2017-11-01

Full Text Available The importance of Power Hardware-in-the-Loop (PHIL experiments is rising more and more over the last decade in the field of power system and components testing. Due to the bidirectional exchange between virtual and physical systems, a true-to-reality interface is essential; however, linking several dynamic systems, stability issues can challenge the experiments, the components under test, and the individuals performing the experiments. Over the time, several interface algorithms (IA have been developed and analyzed, each having different advantages and disadvantages in view of combining virtual simulations with physical power systems. Finally, IA are very specific to the kind of PHIL experiment. This paper investigates the operational range of several IA for specific PHIL setups by calculations, simulations, and measurements. Therefore, a selection of the mainly used respectively optimized IA is mathematically described. The operational range is verified in a PHIL system testing environment. Furthermore, in order to study the influence of different PHIL setups, according to software and hardware impedance, different tests using linear and switching amplifiers are performed.

Pedagogical Applications from Real Analysis for Secondary Mathematics Teachers

Science.gov (United States)

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…

What do mathematics teachers and teacher trainees know about the history of mathematics?

Science.gov (United States)

Gazit, Avikam

2013-06-01

The aim of this study is to present the findings of a study that examined the knowledge of mathematics teachers and teacher trainees, in different tracks, about the concepts, topics and characters from the history of mathematics. The findings indicate a lack of knowledge concerning most of the topics examined. Only about 40% of the participants knew about the origin of our counting system and the only item that reached above 50% was the item relating to the man who edited the book which is the basis for the plane geometry - Euclid (about 83%). Another meaningful finding was that the group with the highest score was that of mathematics teacher trainees in the accelerated track - a unique training scheme for middle school teachers (65.7%). The group with the lowest score was that of the elementary school mathematics student teachers (19.3%). One obvious conclusion is that we need to strengthen the knowledge of the history of mathematics in teacher training and in-service teachers' advanced studies.

The Impact of Flight Hardware Scavenging on Space Logistics

Science.gov (United States)

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.

Mathematical Biology Modules Based on Modern Molecular Biology and Modern Discrete Mathematics

Science.gov (United States)

Davies, Robin; Hodge, Terrell; Enyedi, Alexander

2010-01-01

We describe an ongoing collaborative curriculum materials development project between Sweet Briar College and Western Michigan University, with support from the National Science Foundation. We present a collection of modules under development that can be used in existing mathematics and biology courses, and we address a critical national need to introduce students to mathematical methods beyond the interface of biology with calculus. Based on ongoing research, and designed to use the project-based-learning approach, the modules highlight applications of modern discrete mathematics and algebraic statistics to pressing problems in molecular biology. For the majority of projects, calculus is not a required prerequisite and, due to the modest amount of mathematical background needed for some of the modules, the materials can be used for an early introduction to mathematical modeling. At the same time, most modules are connected with topics in linear and abstract algebra, algebraic geometry, and probability, and they can be used as meaningful applied introductions into the relevant advanced-level mathematics courses. Open-source software is used to facilitate the relevant computations. As a detailed example, we outline a module that focuses on Boolean models of the lac operon network. PMID:20810955

Mathematical biology modules based on modern molecular biology and modern discrete mathematics.

Science.gov (United States)

Robeva, Raina; Davies, Robin; Hodge, Terrell; Enyedi, Alexander

2010-01-01

We describe an ongoing collaborative curriculum materials development project between Sweet Briar College and Western Michigan University, with support from the National Science Foundation. We present a collection of modules under development that can be used in existing mathematics and biology courses, and we address a critical national need to introduce students to mathematical methods beyond the interface of biology with calculus. Based on ongoing research, and designed to use the project-based-learning approach, the modules highlight applications of modern discrete mathematics and algebraic statistics to pressing problems in molecular biology. For the majority of projects, calculus is not a required prerequisite and, due to the modest amount of mathematical background needed for some of the modules, the materials can be used for an early introduction to mathematical modeling. At the same time, most modules are connected with topics in linear and abstract algebra, algebraic geometry, and probability, and they can be used as meaningful applied introductions into the relevant advanced-level mathematics courses. Open-source software is used to facilitate the relevant computations. As a detailed example, we outline a module that focuses on Boolean models of the lac operon network.

Hardware-in-the-loop simulation for the virtual application of control functions for a coordination of the interaction between a gasoline engine and the 14V-power electrical system; Hardware-in-the-Loop-Simulation fuer die virtuelle Applikation von Steuerungsfunktionen zur Motor-Energiebordnetz-Koordination

Energy Technology Data Exchange (ETDEWEB)

Schiele, Thomas

2010-07-01

The development of advanced engine management systems increasingly is supported by model-based development tools. Thereby the hardware-in-the-loop simulation is one of these tools. The author of the contribution under consideration reports on an extension of the capabilities of the hardware-in-the-loop simulation from the classic functional testing and safety tests up to the model-based application. Using the control functions for the coordination of the interaction between a gasoline engine and the 14V-power electrical system as an example, the practical application of hardware-in-the-loop systems is presented. Here, the author reviews on the state of technology for the real-time modeling of internal combustion engines and wiring systems.

International Conference on Quantum Mathematical Physics : a Bridge between Mathematics and Physics

CERN Document Server

Kleiner, Johannes; Röken, Christian; Tolksdorf, Jürgen

2016-01-01

Quantum physics has been highly successful for more than 90 years. Nevertheless, a rigorous construction of interacting quantum field theory is still missing. Moreover, it is still unclear how to combine quantum physics and general relativity in a unified physical theory. Attacking these challenging problems of contemporary physics requires highly advanced mathematical methods as well as radically new physical concepts. This book presents different physical ideas and mathematical approaches in this direction. It contains a carefully selected cross-section of lectures which took place in autumn 2014 at the sixth conference ``Quantum Mathematical Physics - A Bridge between Mathematics and Physics'' 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 physicists who are interested in fu...

Huffman coding in advanced audio coding standard

Science.gov (United States)

Brzuchalski, Grzegorz

2012-05-01

This article presents several hardware architectures of Advanced Audio Coding (AAC) Huffman noiseless encoder, its optimisations and working implementation. Much attention has been paid to optimise the demand of hardware resources especially memory size. The aim of design was to get as short binary stream as possible in this standard. The Huffman encoder with whole audio-video system has been implemented in FPGA devices.

Improvement of nuclear ship engineering simulation system. Hardware renewal and interface improvement of the integral type reactor

Energy Technology Data Exchange (ETDEWEB)

Takahashi, Hiroki; Kyoya, Masahiko; Shimazaki, Junya [Japan Atomic Energy Research Inst., Tokai, Ibaraki (Japan). Tokai Research Establishment; Kano, Tadashi [KCS, Co., Mito, Ibaraki (Japan); Takahashi, Teruo [Energis, Co., Kobe, Hyogo (Japan)

2001-10-01

JAERI had carried out the design study about a lightweight and compact integral type reactor (an advanced marine reactor) with passive safety equipment as a power source for the future nuclear ships, and completed an engineering design. We have developed the simulator for the integral type reactor to confirm the design and operation performance and to utilize the study of automation of the reactor operation. The simulator can be used also for future research and development of a compact reactor. However, the improvement in a performance of hardware and a human machine interface of software of the simulator were needed for future research and development. Therefore, renewal of hardware and improvement of software have been conducted. The operability of the integral-reactor simulator has been improved. Furthermore, this improvement with the hardware and software on the market brought about better versatility, maintainability, extendibility and transfer of the system. This report mainly focuses on contents of the enhancement in a human machine interface, and describes hardware renewal and the interface improvement of the integral type reactor simulator. (author)

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

Hardware Objects for Java

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

Use of CAS in Secondary School: A Factor Influencing the Transition to University-Level Mathematics?

Science.gov (United States)

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…

Hardware Development Process for Human Research Facility Applications

Science.gov (United States)

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

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

Mathematics for engineering

CERN Document Server

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:

A mathematical approach to research problems of science and technology theoretical basis and developments in mathematical modeling

CERN Document Server

Ei, Shin-ichiro; Koiso, Miyuki; Ochiai, Hiroyuki; Okada, Kanzo; Saito, Shingo; Shirai, Tomoyuki

2014-01-01

This book deals with one of the most novel advances in mathematical modeling for applied scientific technology, including computer graphics, public-key encryption, data visualization, statistical data analysis, symbolic calculation, encryption, error correcting codes, and risk management. It also shows that mathematics can be used to solve problems from nature, e.g., slime mold algorithms. One of the unique features of this book is that it shows readers how to use pure and applied mathematics, especially those mathematical theory/techniques developed in the twentieth century, and developing now, to solve applied problems in several fields of industry. Each chapter includes clues on how to use "mathematics" to solve concrete problems faced in industry as well as practical applications. The target audience is not limited to researchers working in applied mathematics and includes those in engineering, material sciences, economics, and life sciences.

FPGA hardware acceleration for high performance neutron transport computation based on agent methodology - 318

International Nuclear Information System (INIS)

Shanjie, Xiao; Tatjana, Jevremovic

2010-01-01

The accurate, detailed and 3D neutron transport analysis for Gen-IV reactors is still time-consuming regardless of advanced computational hardware available in developed countries. This paper introduces a new concept in addressing the computational time while persevering the detailed and accurate modeling; a specifically designed FPGA co-processor accelerates robust AGENT methodology for complex reactor geometries. For the first time this approach is applied to accelerate the neutronics analysis. The AGENT methodology solves neutron transport equation using the method of characteristics. The AGENT methodology performance was carefully analyzed before the hardware design based on the FPGA co-processor was adopted. The most time-consuming kernel part is then transplanted into the FPGA co-processor. The FPGA co-processor is designed with data flow-driven non von-Neumann architecture and has much higher efficiency than the conventional computer architecture. Details of the FPGA co-processor design are introduced and the design is benchmarked using two different examples. The advanced chip architecture helps the FPGA co-processor obtaining more than 20 times speed up with its working frequency much lower than the CPU frequency. (authors)

Which Preschool Mathematics Competencies Are Most Predictive of Fifth Grade Achievement?

Science.gov (United States)

Nguyen, Tutrang; Watts, Tyler W.; Duncan, Greg J.; Clements, Douglas H.; Sarama, Julie S.; Wolfe, Christopher; Spitler, Mary Elaine

2016-01-01

In an effort to promote best practices regarding mathematics teaching and learning at the preschool level, national advisory panels and organizations have emphasized the importance of children’s emergent counting and related competencies, such as the ability to verbally count, maintain one-to-one correspondence, count with cardinality, subitize, and count forward or backward from a given number. However, little research has investigated whether the kind of mathematical knowledge promoted by the various standards documents actually predict later mathematics achievement. The present study uses longitudinal data from a primarily low-income and minority sample of children to examine the extent to which preschool mathematical competencies, specifically basic and advanced counting, predict fifth grade mathematics achievement. Using regression analyses, we find early numeracy abilities to be the strongest predictors of later mathematics achievement, with advanced counting competencies more predictive than basic counting competencies. Our results highlight the significance of preschool mathematics knowledge for future academic achievement. PMID:27057084

VEG-01: Veggie Hardware Verification Testing

Science.gov (United States)

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.

High Performance Motion-Planner Architecture for Hardware-In-the-Loop System Based on Position-Based-Admittance-Control

Directory of Open Access Journals (Sweden)

Francesco La Mura

2018-02-01

Full Text Available 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 has stringent safety requirements of the HIL equipment and difficult to predict operating conditions, so that extra computational efforts have to be spent running specific safety algorithms and achieving desired performance. To meet project requirements, a high performance software architecture based on Position-Based-Admittance-Control (PBAC is presented, combining low level motion interpolation techniques, efficient motion planning, based on buffer management and Time-base control, and advanced high level safety algorithms, implemented in a rapid real-time control architecture.

Multiple Antennas Systems and Full Duplex Relay Systems with Hardware Impairments: New Performance Limits

KAUST Repository

Javed, Sidrah

2016-12-01

Next generation of wireless communication mostly relies on multiple-input multipleoutput (MIMO) configuration and full-duplex relaying to improve data-rates, spectrale efficiency, spatial-multiplexing, quality-of-service and energy-efficiency etc. However, multiple radio frequency (RF) transceivers in MIMO system and multi-hops in relay networks, accumulate transceiver impairments, rendering an unacceptable system performance. Majority of the technical contributions either assume ideal hardware or inappropriately model hardware impairments which often induce misleading results especially for high data-rate communication systems. We propose statistical mathematical modeling of various hardware impairment (HWI) to characterize their deteriorating effects on the information signal. In addition, we model the aggregate HWI as improper Gaussian signaling (IGS), to fully characterize their asymmetric properties and the self-interfering signal attribute under I/Q imbalance. The proposed model encourages to adopt asymmetric transmission scheme, as opposed to traditional symmetric signaling. First, we present statistical baseband equivalent mathematical models for general MIMO system and two special scenarios of receive and transmit diversity systems under HWI. Then, we express their achievable rate under PGS and IGS transmit schemes. Moreover, we tune the IGS statistical characteristics to maximize the achievable rate. We also present optimal beam-forming/pre-coding and receive combiner vector for multiple-input single-output (MISO) and single-input multiple output (SIMO) systems, which lead to SDNR maximization. Moreover, we propose an adaptive scheme to switch between maximal IGS (MIGS) and PGS transmission based on the described conditions to reduce computational overhead. Subsequently, two case studies are presented. 1) Outage analysis has been carried out for SIMO, under transceiver distortion noise, for two diversity combining schemes 2) The benefits of employing IGS

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

CERN Document Server

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

Mathematical challenges from theoretical/computational chemistry

Energy Technology Data Exchange (ETDEWEB)

NONE

1995-12-31

The committee believes that this report has relevance and potentially valuable suggestions for a wide range of readers. Target audiences include: graduate departments in the mathematical and chemical sciences; federal and private agencies that fund research in the mathematical and chemical sciences; selected industrial and government research and development laboratories; developers of software and hardware for computational chemistry; and selected individual researchers. Chapter 2 of this report covers some history of computational chemistry for the nonspecialist, while Chapter 3 illustrates the fruits of some past successful cross-fertilization between mathematical scientists and computational/theoretical chemists. In Chapter 4 the committee has assembled a representative, but not exhaustive, survey of research opportunities. Most of these are descriptions of important open problems in computational/theoretical chemistry that could gain much from the efforts of innovative mathematical scientists, written so as to be accessible introductions to the nonspecialist. Chapter 5 is an assessment, necessarily subjective, of cultural differences that must be overcome if collaborative work is to be encouraged between the mathematical and the chemical communities. Finally, the report ends with a brief list of conclusions and recommendations that, if followed, could promote accelerated progress at this interface. Recognizing that bothersome language issues can inhibit prospects for collaborative research at the interface between distinctive disciplines, the committee has attempted throughout to maintain an accessible style, in part by using illustrative boxes, and has included at the end of the report a glossary of technical terms that may be familiar to only a subset of the target audiences listed above.

Mathematical modeling for Phase I cancer trials: A study of metronomic vinorelbine for advanced non-small cell lung cancer (NSCLC) and mesothelioma patients.

Science.gov (United States)

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.

Computer hardware fault administration

Science.gov (United States)

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.

Conceptual Design Approach to Implementing Hardware-based Security Controls in Data Communication Systems

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

Conceptual Design Approach to Implementing Hardware-based Security Controls in Data Communication Systems

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.

Laser Light Scattering, from an Advanced Technology Development Program to Experiments in a Reduced Gravity Environment

Science.gov (United States)

Meyer, William V.; Tscharnuter, Walther W.; Macgregor, Andrew D.; Dautet, Henri; Deschamps, Pierre; Boucher, Francois; Zuh, Jixiang; Tin, Padetha; Rogers, Richard B.; Ansari, Rafat R.

1994-01-01

Recent advancements in laser light scattering hardware are described. These include intelligent single card correlators; active quench/active reset avalanche photodiodes; laser diodes; and fiber optics which were used by or developed for a NASA advanced technology development program. A space shuttle experiment which will employ aspects of these hardware developments is previewed.

Topics in mathematical analysis and applications

CERN Document Server

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.

Introduction to mathematical physics methods and concepts

CERN Document Server

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

Cognon Neural Model Software Verification and Hardware Implementation Design

Science.gov (United States)

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.

Topics in algebra and analysis preparing for the mathematical olympiad

CERN Document Server

Bulajich Manfrino, Radmila; Valdez Delgado, Rogelio

2015-01-01

The techniques presented here are useful for solving mathematical contest problems in algebra and analysis. Most of the examples and exercises that appear in the book originate from mathematical Olympiad competitions around the world. In the first four chapters the authors cover material for competitions at high school level. The level advances with the chapters. The topics explored include polynomials, functional equations, sequences and an elementary treatment of complex numbers. The final chapters provide a comprehensive list of problems posed at national and international contests in recent years, and solutions to all exercises and problems presented in the book. It helps students in preparing for national and international mathematical contests form high school level to more advanced competitions and will also be useful for their first year of mathematical studies at the university. It will be of interest to teachers in college and university level, and trainers of the mathematical Olympiads.

Advances in quantum chemistry

CERN Document Server

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 Acceleration on Cloud Services: The use of Restricted Boltzmann Machines on Handwritten Digits Recognition

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.

Methods of mathematical modelling continuous systems and differential equations

CERN Document Server

Witelski, Thomas

2015-01-01

This book presents mathematical modelling and the integrated process of formulating sets of equations to describe real-world problems. It describes methods for obtaining solutions of challenging differential equations stemming from problems in areas such as chemical reactions, population dynamics, mechanical systems, and fluid mechanics. Chapters 1 to 4 cover essential topics in ordinary differential equations, transport equations and the calculus of variations that are important for formulating models. Chapters 5 to 11 then develop more advanced techniques including similarity solutions, matched asymptotic expansions, multiple scale analysis, long-wave models, and fast/slow dynamical systems. Methods of Mathematical Modelling will be useful for advanced undergraduate or beginning graduate students in applied mathematics, engineering and other applied sciences.

Multiple Perspective Approach for the Development of Information Systems Based on Advanced Mathematical Models

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

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.

Physics, Computer Science and Mathematics Division annual report, 1 January--31 December 1975

International Nuclear Information System (INIS)

Lepore, J.L.

1975-01-01

This annual report describes the scientific research and other work carried out during the calendar year 1975. The report is nontechnical in nature, with almost no data. A 17-page bibliography lists the technical papers which detail the work. The contents of the report include the following: experimental physics (high-energy physics--SPEAR, PEP, SLAC, FNAL, BNL, Bevatron; particle data group; medium-energy physics; astrophysics, astronomy, and cosmic rays; instrumentation development), theoretical physics (particle theory and accelerator theory and design), computer science and applied mathematics (data management systems, socio-economic environment demographic information system, computer graphics, computer networks, management information systems, computational physics and data analysis, mathematical modeling, programing languages, applied mathematics research), real-time systems (ModComp and PDP networks), and computer center activities (systems programing, user services, hardware development, computer operations). A glossary of computer science and mathematics terms is also included. 32 figures

Advanced information processing system for advanced launch system: Avionics architecture synthesis

Science.gov (United States)

Lala, Jaynarayan H.; Harper, Richard E.; Jaskowiak, Kenneth R.; Rosch, Gene; Alger, Linda S.; Schor, Andrei L.

1991-01-01

The Advanced Information Processing System (AIPS) is a fault-tolerant distributed computer system architecture that was developed to meet the real time computational needs of advanced aerospace vehicles. One such vehicle is the Advanced Launch System (ALS) being developed jointly by NASA and the Department of Defense to launch heavy payloads into low earth orbit at one tenth the cost (per pound of payload) of the current launch vehicles. An avionics architecture that utilizes the AIPS hardware and software building blocks was synthesized for ALS. The AIPS for ALS architecture synthesis process starting with the ALS mission requirements and ending with an analysis of the candidate ALS avionics architecture is described.

Mathematical Perspectives

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.

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

A Practical Introduction to HardwareSoftware Codesign

CERN Document Server

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

Comparative Modal Analysis of Sieve Hardware Designs

Science.gov (United States)

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.

Utilization of a hardware-in-the-loop-system for controlling the speed of an eddy current brake

International Nuclear Information System (INIS)

Kramer, V; Brauneis, P; Schmidt, K; Mishra, R

2012-01-01

Rapid prototyping with a hardware-in-the-loop (HiL) system significantly reduces the development time for controller-type testing and is widely used in various fields of engineering. In this discussion, a controller is developed for a speed control application utilizing a magnetic brake. A mathematical model is presented first that has been implemented in Matlab/ Simulink. The controller development steps are described that will form the basis of a control system for a wind turbine. A test is carried out that simulates the wind turbine inertial load.

Hardware for dynamic quantum computing experiments: Part I

Science.gov (United States)

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.

Forward and adjoint spectral-element simulations of seismic wave propagation using hardware accelerators

Science.gov (United States)

Peter, Daniel; Videau, Brice; Pouget, Kevin; Komatitsch, Dimitri

2015-04-01

Improving the resolution of tomographic images is crucial to answer important questions on the nature of Earth's subsurface structure and internal processes. Seismic tomography is the most prominent approach where seismic signals from ground-motion records are used to infer physical properties of internal structures such as compressional- and shear-wave speeds, anisotropy and attenuation. Recent advances in regional- and global-scale seismic inversions move towards full-waveform inversions which require accurate simulations of seismic wave propagation in complex 3D media, providing access to the full 3D seismic wavefields. However, these numerical simulations are computationally very expensive and need high-performance computing (HPC) facilities for further improving the current state of knowledge. During recent years, many-core architectures such as graphics processing units (GPUs) have been added to available large HPC systems. Such GPU-accelerated computing together with advances in multi-core central processing units (CPUs) can greatly accelerate scientific applications. There are mainly two possible choices of language support for GPU cards, the CUDA programming environment and OpenCL language standard. CUDA software development targets NVIDIA graphic cards while OpenCL was adopted mainly by AMD graphic cards. In order to employ such hardware accelerators for seismic wave propagation simulations, we incorporated a code generation tool BOAST into an existing spectral-element code package SPECFEM3D_GLOBE. This allows us to use meta-programming of computational kernels and generate optimized source code for both CUDA and OpenCL languages, running simulations on either CUDA or OpenCL hardware accelerators. We show here applications of forward and adjoint seismic wave propagation on CUDA/OpenCL GPUs, validating results and comparing performances for different simulations and hardware usages.

Mathematical analysis I

CERN Document Server

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

An iLab for Teaching Advanced Logic Concepts with Hardware Descriptive Languages

Science.gov (United States)

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…

Advanced Energy Validated Photovoltaic Inverter Technology at NREL | Energy

Science.gov (United States)

Inverter Technology at NREL Advanced Energy Industries-NREL's first partner at the Energy Systems Integration Facility (ESIF)-validated its advanced photovoltaic (PV) inverter technology using the ESIF's computer screen in a laboratory, with power inverter hardware in the background Photo by Dennis Schroeder

Remote hardware-reconfigurable robotic camera

Science.gov (United States)

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 concepts of quantum mechanics. 2. ed.

International Nuclear Information System (INIS)

Gustafson, Stephen J.; Sigal, Israel Michael

2011-01-01

The book gives a streamlined introduction to quantum mechanics while describing the basic mathematical structures underpinning this discipline. Starting with an overview of key physical experiments illustrating the origin of the physical foundations, the book proceeds with a description of the basic notions of quantum mechanics and their mathematical content. It then makes its way to topics of current interest, specifically those in which mathematics plays an important role. The more advanced topics presented include many-body systems, modern perturbation theory, path integrals, the theory of resonances, quantum statistics, mean-field theory, second quantization, the theory of radiation (non-relativistic quantum electrodynamics), and the renormalization group. With different selections of chapters, the book can serve as a text for an introductory, intermediate, or advanced course in quantum mechanics. The last four chapters could also serve as an introductory course in quantum field theory. (orig.)

2015 Association for Women in Mathematics Symposium

CERN Document Server

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.

Rays, waves, and scattering topics in classical mathematical physics

CERN Document Server

Adam, John A

2017-01-01

This one-of-a-kind book presents many of the mathematical concepts, structures, and techniques used in the study of rays, waves, and scattering. Panoramic in scope, it includes discussions of how ocean waves are refracted around islands and underwater ridges, how seismic waves are refracted in the earth's interior, how atmospheric waves are scattered by mountains and ridges, how the scattering of light waves produces the blue sky, and meteorological phenomena such as rainbows and coronas. Rays, Waves, and Scattering is a valuable resource for practitioners, graduate students, and advanced undergraduates in applied mathematics, theoretical physics, and engineering. Bridging the gap between advanced treatments of the subject written for specialists and less mathematical books aimed at beginners, this unique mathematical compendium features problems and exercises throughout that are geared to various levels of sophistication, covering everything from Ptolemy's theorem to Airy integrals (as well as more technica...

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

Lectures on the mathematics of quantum mechanics II selected topics

CERN Document Server

Dell'Antonio, Gianfausto

2016-01-01

The first volume (General Theory) differs from most textbooks as it emphasizes the mathematical structure and mathematical rigor, while being adapted to the teaching the first semester of an advanced course in Quantum Mechanics (the content of the book are the lectures of courses actually delivered.). It differs also from the very few texts in Quantum Mechanics that give emphasis to the mathematical aspects because this book, being written as Lecture Notes, has the structure of lectures delivered in a course, namely introduction of the problem, outline of the relevant points, mathematical tools needed, theorems, proofs. This makes this book particularly useful for self-study and for instructors in the preparation of a second course in Quantum Mechanics (after a first basic course). With some minor additions it can be used also as a basis of a first course in Quantum Mechanics for students in mathematics curricula. The second part (Selected Topics) are lecture notes of a more advanced course aimed at giving th...

Mathematical aspects of quantum field theory

CERN Document Server

de Faria, Edson

2010-01-01

Over the last century quantum field theory has made a significant impact on the formulation and solution of mathematical problems and inspired powerful advances in pure mathematics. However, most accounts are written by physicists, and mathematicians struggle to find clear definitions and statements of the concepts involved. This graduate-level introduction presents the basic ideas and tools from quantum field theory to a mathematical audience. Topics include classical and quantum mechanics, classical field theory, quantization of classical fields, perturbative quantum field theory, renormalization, and the standard model. The material is also accessible to physicists seeking a better understanding of the mathematical background, providing the necessary tools from differential geometry on such topics as connections and gauge fields, vector and spinor bundles, symmetries and group representations.

Transmission delays in hardware clock synchronization

Science.gov (United States)

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.

Computer hardware description languages - A tutorial

Science.gov (United States)

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.

Hawaiian Electric Advanced Inverter Test Plan - Result Summary

Energy Technology Data Exchange (ETDEWEB)

Hoke, Anderson; Nelson, Austin; Prabakar, Kumaraguru; Nagarajan, Adarsh

2016-10-14

This presentation is intended to share the results of lab testing of five PV inverters with the Hawaiian Electric Companies and other stakeholders and interested parties. The tests included baseline testing of advanced inverter grid support functions, as well as distribution circuit-level tests to examine the impact of the PV inverters on simulated distribution feeders using power hardware-in-the-loop (PHIL) techniques. hardware-in-the-loop (PHIL) techniques.

African Journal of Educational Studies in Mathematics and Sciences ...

African Journals Online (AJOL)

Effects of mathematical game and instructional analogy as advance organizers on students' achievement in secondary school mathematics · EMAIL FREE FULL ... Family socio-economic status and its influences on adolescents perception of, and attitude to, HIV/AIDS prevention among secondary schools in Cross River ...

Support for NUMA hardware in HelenOS

OpenAIRE

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

Career Advancement Outcomes in Academic Science, Technology, Engineering and Mathematics (STEM): Gender, Mentoring Resources, and Homophily

Science.gov (United States)

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

Sterilization of space hardware.

Science.gov (United States)

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.

Software for Managing Inventory of Flight Hardware

Science.gov (United States)

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.

Standard Hardware Acquisition and Reliability Program's (SHARP's) efforts in incorporating fiber optic interconnects into standard electronic module (SEM) connectors

Science.gov (United States)

Riggs, William R.

1994-05-01

SHARP is a Navy wide logistics technology development effort aimed at reducing the acquisition costs, support costs, and risks of military electronic weapon systems while increasing the performance capability, reliability, maintainability, and readiness of these systems. Lower life cycle costs for electronic hardware are achieved through technology transition, standardization, and reliability enhancement to improve system affordability and availability as well as enhancing fleet modernization. Advanced technology is transferred into the fleet through hardware specifications for weapon system building blocks of standard electronic modules, standard power systems, and standard electronic systems. The product lines are all defined with respect to their size, weight, I/O, environmental performance, and operational performance. This method of defining the standard is very conducive to inserting new technologies into systems using the standard hardware. This is the approach taken thus far in inserting photonic technologies into SHARP hardware. All of the efforts have been related to module packaging; i.e. interconnects, component packaging, and module developments. Fiber optic interconnects are discussed in this paper.

Hardware Interface Description for the Integrated Power, Avionics, and Software (iPAS) Space Telecommunications Radio Ssystem (STRS) Radio

Science.gov (United States)

Shalkhauser, Mary Jo W.; Roche, Rigoberto

2017-01-01

The Space Telecommunications Radio System (STRS) provides a common, consistent framework for software defined radios (SDRs) to abstract the application software from the radio platform hardware. The STRS standard aims to reduce the cost and risk of using complex, configurable and reprogrammable radio systems across NASA missions. To promote the use of the STRS architecture for future NASA advanced exploration missions, NASA Glenn Research Center (GRC) developed an STRS-compliant SDR on a radio platform used by the Advance Exploration System program at the Johnson Space Center (JSC) in their Integrated Power, Avionics, and Software (iPAS) laboratory. The iPAS STRS Radio was implemented on the Reconfigurable, Intelligently-Adaptive Communication System (RIACS) platform, currently being used for radio development at JSC. The platform consists of a Xilinx ML605 Virtex-6 FPGA board, an Analog Devices FMCOMMS1-EBZ RF transceiver board, and an Embedded PC (Axiomtek eBox 620-110-FL) running the Ubuntu 12.4 operating system. Figure 1 shows the RIACS platform hardware. The result of this development is a very low cost STRS compliant platform that can be used for waveform developments for multiple applications.The purpose of this document is to describe how to develop a new waveform using the RIACS platform and the Very High Speed Integrated Circuits (VHSIC) Hardware Description Language (VHDL) FPGA wrapper code and the STRS implementation on the Axiomtek processor.

Physics, Computer Science and Mathematics Division annual report, 1 January--31 December 1975. [LBL

Energy Technology Data Exchange (ETDEWEB)

Lepore, J.L. (ed.)

1975-01-01

This annual report describes the scientific research and other work carried out during the calendar year 1975. The report is nontechnical in nature, with almost no data. A 17-page bibliography lists the technical papers which detail the work. The contents of the report include the following: experimental physics (high-energy physics--SPEAR, PEP, SLAC, FNAL, BNL, Bevatron; particle data group; medium-energy physics; astrophysics, astronomy, and cosmic rays; instrumentation development), theoretical physics (particle theory and accelerator theory and design), computer science and applied mathematics (data management systems, socio-economic environment demographic information system, computer graphics, computer networks, management information systems, computational physics and data analysis, mathematical modeling, programing languages, applied mathematics research), real-time systems (ModComp and PDP networks), and computer center activities (systems programing, user services, hardware development, computer operations). A glossary of computer science and mathematics terms is also included. 32 figures. (RWR)

Targeting multiple heterogeneous hardware platforms with OpenCL

Science.gov (United States)

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

New Technologies in Mathematics.

Science.gov (United States)

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

International seminar series on mathematics and applied mathematics and a series of three focused international research workshops on engineering mathematics organised by the Research Environment in Mathematics and Applied Mathematics at Mälardalen University from autumn 2014 to autumn 2015: the International Workshop on Engineering Mathematics for Electromagnetics and Health Technology; the International Workshop on Engineering Mathematics, Algebra, Analysis and Electromagnetics; and the 1st Swedish-Estonian International Workshop on Engineering Mathematics, Algebra, Analysis and Applications

CERN Document Server

Rancic, Milica

2016-01-01

This book highlights the latest advances in engineering mathematics with a main focus on the mathematical models, structures, concepts, problems and computational methods and algorithms most relevant for applications in modern technologies and engineering. It addresses mathematical methods of algebra, applied matrix analysis, operator analysis, probability theory and stochastic processes, geometry and computational methods in network analysis, data classification, ranking and optimisation. The individual chapters cover both theory and applications, and include a wealth of figures, schemes, algorithms, tables and results of data analysis and simulation. Presenting new methods and results, reviews of cutting-edge research, and open problems for future research, they equip readers to develop new mathematical methods and concepts of their own, and to further compare and analyse the methods and results discussed. The book consists of contributed chapters covering research developed as a result of a focused interna...

Advanced Packaging Materials and Techniques for High Power TR Module: Standard Flight vs. Advanced Packaging

Science.gov (United States)

Hoffman, James Patrick; Del Castillo, Linda; Miller, Jennifer; Jenabi, Masud; Hunter, Donald; Birur, Gajanana

2011-01-01

The higher output power densities required of modern radar architectures, such as the proposed DESDynI [Deformation, Ecosystem Structure, and Dynamics of Ice] SAR [Synthetic Aperture Radar] Instrument (or DSI) require increasingly dense high power electronics. To enable these higher power densities, while maintaining or even improving hardware reliability, requires advances in integrating advanced thermal packaging technologies into radar transmit/receive (TR) modules. New materials and techniques have been studied and compared to standard technologies.

Improvement of hardware basic testing : Identification and development of a scripted automation tool that will support hardware basic testing

OpenAIRE

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

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

The mathematics of banking and finance

CERN Document Server

Cox, Dennis

2006-01-01

Throughout banking, mathematical techniques are used. Some of these are within software products or models; mathematicians use others to analyse data. The current literature on the subject is either very basic or very advanced. The Mathematics of Banking offers an intermediate guide to the various techniques used in the industry, and a consideration of how each one should be approached. Written in a practical style, it will enable readers to quickly appreciate the purpose of the techniques and, through illustrations, see how they can be applied in practice. Coverage is extensive and includes techniques such as VaR analysis, Monte Carlo simulation, extreme value theory, variance and many others.A practical review of mathematical techniques needed in banking which does not expect a high level of mathematical competence from the reader

Mathematical and physical theory of turbulence

CERN Document Server

Cannon, John

2006-01-01

Although the current dynamical system approach offers several important insights into the turbulence problem, issues still remain that present challenges to conventional methodologies and concepts. These challenges call for the advancement and application of new physical concepts, mathematical modeling, and analysis techniques. Bringing together experts from physics, applied mathematics, and engineering, Mathematical and Physical Theory of Turbulence discusses recent progress and some of the major unresolved issues in two- and three-dimensional turbulence as well as scalar compressible turbulence. Containing introductory overviews as well as more specialized sections, this book examines a variety of turbulence-related topics. The authors concentrate on theory, experiments, computational, and mathematical aspects of Navier-Stokes turbulence; geophysical flows; modeling; laboratory experiments; and compressible/magnetohydrodynamic effects. The topics discussed in these areas include finite-time singularities a...

Twenty-third water reactor safety information meeting: Volume 2, Human factors research; Advanced I and C hardware and software; Severe accident research; Probabilistic risk assessment topics; Individual plant examination: Proceedings

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.

On the role of visual experience in mathematical development: Evidence from blind mathematicians

Directory of Open Access Journals (Sweden)

Marie Amalric

2018-04-01

Full Text Available Advanced mathematical reasoning, regardless of domain or difficulty, activates a reproducible set of bilateral brain areas including intraparietal, inferior temporal and dorsal prefrontal cortex. The respective roles of genetics, experience and education in the development of this math-responsive network, however, remain unresolved. Here, we investigate the role of visual experience by studying the exceptional case of three professional mathematicians who were blind from birth (n = 1 or became blind during childhood (n = 2. Subjects were scanned with fMRI while they judged the truth value of spoken mathematical and nonmathematical statements. Blind mathematicians activated the classical network of math-related areas during mathematical reflection, similar to that found in a group of sighted professional mathematicians. Thus, brain networks for advanced mathematical reasoning can develop in the absence of visual experience. Additional activations were found in occipital cortex, even in individuals who became blind during childhood, suggesting that either mental imagery or a more radical repurposing of visual cortex may occur in blind mathematicians. Keywords: Advanced mathematical development, Blindness, Functional MRI

Multistage switching hardware and software implementations for student experiment purpose

Science.gov (United States)

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.

Quantum field theory I: Basics in mathematics and physics. A bridge between mathematicians and physicists

International Nuclear Information System (INIS)

Zeidler, Eberhard

2009-01-01

This is the first volume of a modern introduction to quantum field theory which addresses both mathematicians and physicists, at levels ranging from advanced undergraduate students to professional scientists. The book bridges the acknowledged gap between the different languages used by mathematicians and physicists. For students of mathematics the author shows that detailed knowledge of the physical background helps to motivate the mathematical subjects and to discover interesting interrelationships between quite different mathematical topics. For students of physics, fairly advanced mathematics is presented, which goes beyond the usual curriculum in physics. (orig.)

Quantum field theory I: Basics in mathematics and physics. A bridge between mathematicians and physicists

Energy Technology Data Exchange (ETDEWEB)

Zeidler, Eberhard [Max-Planck-Institut fuer Mathematik in den Naturwissenschaften, Leipzig (Germany)

2009-07-01

This is the first volume of a modern introduction to quantum field theory which addresses both mathematicians and physicists, at levels ranging from advanced undergraduate students to professional scientists. The book bridges the acknowledged gap between the different languages used by mathematicians and physicists. For students of mathematics the author shows that detailed knowledge of the physical background helps to motivate the mathematical subjects and to discover interesting interrelationships between quite different mathematical topics. For students of physics, fairly advanced mathematics is presented, which goes beyond the usual curriculum in physics. (orig.)

VLSI implementation of RSA encryption system using ancient Indian Vedic mathematics

Science.gov (United States)

Thapliyal, Himanshu; Srinivas, M. B.

2005-06-01

This paper proposes the hardware implementation of RSA encryption/decryption algorithm using the algorithms of Ancient Indian Vedic Mathematics that have been modified to improve performance. The recently proposed hierarchical overlay multiplier architecture is used in the RSA circuitry for multiplication operation. The most significant aspect of the paper is the development of a division architecture based on Straight Division algorithm of Ancient Indian Vedic Mathematics and embedding it in RSA encryption/decryption circuitry for improved efficiency. The coding is done in Verilog HDL and the FPGA synthesis is done using Xilinx Spartan library. The results show that RSA circuitry implemented using Vedic division and multiplication is efficient in terms of area/speed compared to its implementation using conventional multiplication and division architectures.

Static Scheduling of Periodic Hardware Tasks with Precedence and Deadline Constraints on Reconfigurable Hardware Devices

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.

Total Quality Management in the Classroom: Applications to University-Level Mathematics.

Science.gov (United States)

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)

Contamination Control and Hardware Processing Solutions at Marshall Space Flight Center

Science.gov (United States)

Burns, DeWitt H.; Hampton, Tammy; Huey, LaQuieta; Mitchell, Mark; Norwood, Joey; Lowrey, Nikki

2012-01-01

The Contamination Control Team of Marshall Space Flight Center's Materials and Processes Laboratory supports many Programs/ Projects that design, manufacture, and test a wide range of hardware types that are sensitive to contamination and foreign object damage (FOD). Examples where contamination/FOD concerns arise include sensitive structural bondline failure, critical orifice blockage, seal leakage, and reactive fluid compatibility (liquid oxygen, hydrazine) as well as performance degradation of sensitive instruments or spacecraft surfaces such as optical elements and thermal control systems. During the design phase, determination of the sensitivity of a hardware system to different types or levels of contamination/FOD is essential. A contamination control and FOD control plan must then be developed and implemented through all phases of ground processing, and, sometimes, on-orbit use, recovery, and refurbishment. Implementation of proper controls prevents cost and schedule impacts due to hardware damage or rework and helps assure mission success. Current capabilities are being used to support recent and on-going activities for multiple Mission Directorates / Programs such as International Space Station (ISS), James Webb Space Telescope (JWST), Space Launch System (SLS) elements (tanks, engines, booster), etc. The team also advances Green Technology initiatives and addresses materials obsolescence issues for NASA and external customers, most notably in the area of solvent replacement (e.g. aqueous cleaners containing hexavalent chrome, ozone depleting chemicals (CFC s and HCFC's), suspect carcinogens). The team evaluates new surface cleanliness inspection and cleaning technologies (e.g. plasma cleaning), and maintains databases for processing support materials as well as outgassing and optical compatibility test results for spaceflight environments.

An AES chip with DPA resistance using hardware-based random order execution

International Nuclear Information System (INIS)

Yu Bo; Li Xiangyu; Chen Cong; Sun Yihe; Wu Liji; Zhang Xiangmin

2012-01-01

This paper presents an AES (advanced encryption standard) chip that combats differential power analysis (DPA) side-channel attack through hardware-based random order execution. Both decryption and encryption procedures of an AES are implemented on the chip. A fine-grained dataflow architecture is proposed, which dynamically exploits intrinsic byte-level independence in the algorithm. A novel circuit called an HMF (Hold-Match-Fetch) unit is proposed for random control, which randomly sets execution orders for concurrent operations. The AES chip was manufactured in SMIC 0.18 μm technology. The average energy for encrypting one group of plain texts (128 bits secrete keys) is 19 nJ. The core area is 0.43 mm 2 . A sophisticated experimental setup was built to test the DPA resistance. Measurement-based experimental results show that one byte of a secret key cannot be disclosed from our chip under random mode after 64000 power traces were used in the DPA attack. Compared with the corresponding fixed order execution, the hardware based random order execution is improved by at least 21 times the DPA resistance. (semiconductor integrated circuits)

An AES chip with DPA resistance using hardware-based random order execution

Science.gov (United States)

Bo, Yu; Xiangyu, Li; Cong, Chen; Yihe, Sun; Liji, Wu; Xiangmin, Zhang

2012-06-01

This paper presents an AES (advanced encryption standard) chip that combats differential power analysis (DPA) side-channel attack through hardware-based random order execution. Both decryption and encryption procedures of an AES are implemented on the chip. A fine-grained dataflow architecture is proposed, which dynamically exploits intrinsic byte-level independence in the algorithm. A novel circuit called an HMF (Hold-Match-Fetch) unit is proposed for random control, which randomly sets execution orders for concurrent operations. The AES chip was manufactured in SMIC 0.18 μm technology. The average energy for encrypting one group of plain texts (128 bits secrete keys) is 19 nJ. The core area is 0.43 mm2. A sophisticated experimental setup was built to test the DPA resistance. Measurement-based experimental results show that one byte of a secret key cannot be disclosed from our chip under random mode after 64000 power traces were used in the DPA attack. Compared with the corresponding fixed order execution, the hardware based random order execution is improved by at least 21 times the DPA resistance.

Programming languages and compiler design for realistic quantum hardware

Science.gov (United States)

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.

Science.gov (United States)

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.

COMPUTER HARDWARE MARKING

CERN Multimedia

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

DEVELOPING EVALUATION INSTRUMENT FOR MATHEMATICS EDUCATIONAL SOFTWARE

Directory of Open Access Journals (Sweden)

Wahyu Setyaningrum

2012-02-01

Full Text Available The rapid increase and availability of mathematics software, either for classroom or individual learning activities, presents a challenge for teachers. It has been argued that many products are limited in quality. Some of the more commonly used software products have been criticized for poor content, activities which fail to address some learning issues, poor graphics presentation, inadequate documentation, and other technical problems. The challenge for schools is to ensure that the educational software used in classrooms is appropriate and effective in supporting intended outcomes and goals. This paper aimed to develop instrument for evaluating mathematics educational software in order to help teachers in selecting the appropriate software. The instrument considers the notion of educational including content, teaching and learning skill, interaction, and feedback and error correction; and technical aspects of educational software including design, clarity, assessment and documentation, cost and hardware and software interdependence. The instrument use a checklist approach, the easier and effective methods in assessing the quality of educational software, thus the user needs to put tick in each criteria. The criteria in this instrument are adapted and extended from standard evaluation instrument in several references.   Keywords: mathematics educational software, educational aspect, technical aspect.

Mathematics for natural scientists fundamentals and basics

CERN Document Server

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.

The mathematics of soap films

CERN Document Server

Oprea, John

2000-01-01

Nature tries to minimize the surface area of a soap film through the action of surface tension. The process can be understood mathematically by using differential geometry, complex analysis, and the calculus of variations. This book employs ingredients from each of these subjects to tell the mathematical story of soap films. The text is fully self-contained, bringing together a mixture of types of mathematics along with a bit of the physics that underlies the subject. The development is primarily from first principles, requiring no advanced background material from either mathematics or physics. Through the Maple® applications, the reader is given tools for creating the shapes that are being studied. Thus, you can "see" a fluid rising up an inclined plane, create minimal surfaces from complex variables data, and investigate the "true" shape of a balloon. Oprea also includes descriptions of experiments and photographs that let you see real soap films on wire frames. The theory of minimal surfaces is a beautif...

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.

Science.gov (United States)

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.

Pre-college Mathematics *Optional subject

OpenAIRE

ISHIDA, Yukio

2015-01-01

This course is a companion course to Calculus I. It aims to help students with little or no precalculus knowledge to master the basic calculus material in preparation for the more advanced course of Calculus I. This is done by reviewing high school mathematics.

Evidence of the Need to Prepare Prospective Teachers to Engage in Mathematics Consultations

Science.gov (United States)

van Ingen, Sarah; Eskelson, Samuel L.; Allsopp, David

2016-01-01

The mathematics consultation represents a powerful opportunity for mathematics teachers to leverage the knowledge base of special education professionals to advance equity for students with special education needs. Yet, most teacher preparation programs do not specifically prepare prospective teachers to engage in mathematics-specific…

Differential equations and applications recent advances

CERN Document Server

2014-01-01

Differential Equations and Applications : Recent Advances focus on the latest developments in Nonlinear Dynamical Systems, Neural Networks, Fluid Dynamics, Fractional Differential Systems, Mathematical Modelling and Qualitative Theory. Different aspects such as Existence, Stability, Controllability, Viscosity and Numerical Analysis for different systems have been discussed in this book. This book will be of great interest and use to researchers in Applied Mathematics, Engineering and Mathematical Physics.

Mathematical methods for physicists and engineers

CERN Document Server

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

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

International Conference on Mathematics and Computing

CERN Document Server

Giri, Debasis; Saxena, P; Srivastava, P

2014-01-01

This book discusses recent developments and contemporary research in mathematics, statistics and their applications in computing. All contributing authors are eminent academicians, scientists, researchers and scholars in their respective fields, hailing from around the world. The conference has emerged as a powerful forum, offering researchers a venue to discuss, interact and collaborate, and stimulating the advancement of mathematics and its applications in computer science. The book will allow aspiring researchers to update their knowledge of cryptography, algebra, frame theory, optimizations, stochastic processes, compressive sensing, functional analysis, complex variables, etc. Educating future consumers, users, producers, developers and researchers in mathematics and computing is a challenging task and essential to the development of modern society. Hence, mathematics and its applications in computer science are of vital importance to a broad range of communities, including mathematicians and computing p...

Mathematical modeling of biological processes

CERN Document Server

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.

Fifty Years of A-Level Mathematics: Have Standards Changed?

Science.gov (United States)

Jones, Ian; Wheadon, Chris; Humphries, Sara; Inglis, Matthew

2016-01-01

Advanced-level (A-level) mathematics is a high-profile qualification taken by many school leavers in England, Wales, Northern Ireland and around the world as preparation for university study. Concern has been expressed in these countries that standards in A-level mathematics have declined over time, and that school leavers enter university or the…

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

Mathematical Heroes--No Longer Unsung

Science.gov (United States)

Chin, Cynthia E.

2007-01-01

The history of Fermat's Last Theorem, recounted in the theatrical piece "Fermat's Last Tango," is a useful vehicle for introducing students to the variety of personalities, processes, and products involved in advanced mathematical investigation. The musical's accessible, informative, and positive portrayal of mathematicians and their work is…

Reliable software for unreliable hardware a cross layer perspective

CERN Document Server

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.

Hardware device to physical structure binding and authentication

Science.gov (United States)

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.

15th International Congress on Mathematical Physics

CERN Document Server

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

Mathematical Theory of Dispersion-Managed Optical Solitons

CERN Document Server

Biswas, Anjan; Edwards, Matthew

2010-01-01

"Mathematical Theory of Dispersion-Managed Optical Solitons" discusses recent advances covering optical solitons, soliton perturbation, optical cross-talk, Gabitov-Turitsyn Equations, quasi-linear pulses, and higher order Gabitov-Turitsyn Equations. Focusing on a mathematical perspective, the book bridges the gap between concepts in engineering and mathematics, and gives an outlook to many new topics for further research. The book is intended for researchers and graduate students in applied mathematics, physics and engineering and also it will be of interest to those who are conducting research in nonlinear fiber optics. Dr. Anjan Biswas is an Associate Professor at the Department of Applied Mathematics & Theoretical Physics, Delaware State University, Dover, DE, USA; Dr. Daniela Milovic is an Associate Professor at the Department of Telecommunications, Faculty of Electronic Engineering, University of Nis, Serbia; Dr. Matthew Edwards is the Dean of the School of Arts and Sciences at Alabama A & M Univ...

Raspberry Pi hardware projects 1

CERN Document Server

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

The Chess and Mathematics Connection: More than Just a Game

Science.gov (United States)

Berkman, Robert M.

2004-01-01

This article describes connections between chess and mathematics, including examples of activities that connect chess with set theory, patterns, algebra, geometry, combinatorics, and Pascal's triangle. The author observes that competitive games play a dual purpose in advancing the work of mathematics educators: to reinforce a specific skill and to…

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

Designing Secure Systems on Reconfigurable Hardware

OpenAIRE

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

A mechanical brake hardware-in-the-loop simulation of a railway vehicle that accounts for hysteresis and pneumatic cylinder dynamics

Directory of Open Access Journals (Sweden)

Dong-Chan Lee

2015-11-01

Full Text Available A brake hardware-in-the-loop simulation system for a railway vehicle provides an effective platform for testing the braking performance under various dangerous braking conditions. However, in general, four-brake calipers are required to implement a mechanical brake system for one car. In this article, we implement a brake hardware-in-the-loop simulation system only with one brake caliper and three air tanks accounting for hysteresis and pneumatic cylinder dynamics, ultimately saving installation space and reducing financial budget costs. Since the brake caliper has a high nonlinearity, such as hysteresis resulting from friction and from the precompressed spring of the brake cylinder, we measured the hysteresis of the brake caliper clamping force for a mechanical brake system using loadcells, based on which a mathematical model was constructed for the hysteresis of the clamping force between the brake pad and the disk. Moreover, the pneumatic cylinder dynamics are identified and are implemented in three air tanks, together with hysteresis nonlinearity. The proposed brake hardware-in-the-loop simulation system is applied to the wheel-slide protection simulation of a railway vehicle with an initial speed of 80 km/h and demonstrated experimentally accounting for the hysteresis and brake cylinder dynamics.

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

IT Career JumpStart An Introduction to PC Hardware, Software, and Networking

CERN Document Server

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

Designing Design into an Advanced Desktop Publishing Course (A Teaching Tip).

Science.gov (United States)

Guthrie, Jim

1995-01-01

Describes an advanced desktop publishing course that combines instruction in a few advanced techniques for using software with extensive discussion of such design principles as consistency, proportion, asymmetry, appropriateness, contrast, and color. Describes computer hardware and software, class assignments, problems, and the rationale for such…

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

Discovering Mathematics with Magma Reducing the Abstract to the Concrete

CERN Document Server

Bosma, Wieb

2006-01-01

With a design based on the ontology and semantics of algebra, Magma enables users to rapidly formulate and perform calculations in the more abstract parts of mathematics. This book introduces the role Magma plays in advanced mathematical research through 14 case studies which, in most cases, describe computations underpinning theoretical results.

Advanced TCA Backplane Tester

CERN Document Server

Oltean, Alexandra Dana

2004-01-01

At the beginning of 2003, the PICMG group adopted the AdvancedTCA (Advanced Telecom Computing Architecture) standard. The 10Gb/s backplane of the AdvancedTCA chassis is well specified in the standard but it remains however a high end product, which can be itself subject to printed circuit board manufacturing control problems that could greatly affect its quality control. In order to study the practical aspects of high speed Ethernet switching at 10Gb/s and to validate the signal integrity of the AdvancedTCA backplane, we developed a Backplane Tester. The tester system is able of running monitored PRBS traffic at 3.125Gb/s over every link on the AdvancedTCA backplane simultaneously and to monitor any possible connectivity failure immediately in terms of link and slot position inside the chassis. The present report presents the architectural hardware design, the control structure and software aspects of the AdvancedTCA Backplane Tester design.

Workshop on Supersymmetry in Mathematics and Physics

CERN Document Server

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.

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.

Pyrolysis kinetics and combustion of thin wood using advanced cone calorimetry test method

Science.gov (United States)

Mark A. Dietenberger

2011-01-01

Mechanistic pyrolysis kinetics analysis of extractives, holocellulose, and lignin in solid wood over entire heating regime was possible using specialized cone calorimeter test and new mathematical analysis tools. Added hardware components include: modified sample holder for thin specimen with tiny thermocouples, methane ring burner with stainless steel mesh above cone...

Advanced computers and simulation

International Nuclear Information System (INIS)

Ryne, R.D.

1993-01-01

Accelerator physicists today have access to computers that are far more powerful than those available just 10 years ago. In the early 1980's, desktop workstations performed less one million floating point operations per second (Mflops), and the realized performance of vector supercomputers was at best a few hundred Mflops. Today vector processing is available on the desktop, providing researchers with performance approaching 100 Mflops at a price that is measured in thousands of dollars. Furthermore, advances in Massively Parallel Processors (MPP) have made performance of over 10 gigaflops a reality, and around mid-decade MPPs are expected to be capable of teraflops performance. Along with advances in MPP hardware, researchers have also made significant progress in developing algorithms and software for MPPS. These changes have had, and will continue to have, a significant impact on the work of computational accelerator physicists. Now, instead of running particle simulations with just a few thousand particles, we can perform desktop simulations with tens of thousands of simulation particles, and calculations with well over 1 million particles are being performed on MPPs. In the area of computational electromagnetics, simulations that used to be performed only on vector supercomputers now run in several hours on desktop workstations, and researchers are hoping to perform simulations with over one billion mesh points on future MPPs. In this paper we will discuss the latest advances, and what can be expected in the near future, in hardware, software and applications codes for advanced simulation of particle accelerators

International Conference on Applied Mathematics, Modeling and Computational Science & Annual meeting of the Canadian Applied and Industrial Mathematics

CERN Document Server

Bélair, Jacques; Kunze, Herb; Makarov, Roman; Melnik, Roderick; Spiteri, Raymond J

2016-01-01

Focusing on five main groups of interdisciplinary problems, this book covers a wide range of topics in mathematical modeling, computational science and applied mathematics. It presents a wealth of new results in the development of modeling theories and methods, advancing diverse areas of applications and promoting interdisciplinary interactions between mathematicians, scientists, engineers and representatives from other disciplines. The book offers a valuable source of methods, ideas, and tools developed for a variety of disciplines, including the natural and social sciences, medicine, engineering, and technology. Original results are presented on both the fundamental and applied level, accompanied by an ample number of real-world problems and examples emphasizing the interdisciplinary nature and universality of mathematical modeling, and providing an excellent outline of today’s challenges. Mathematical modeling, with applied and computational methods and tools, plays a fundamental role in modern science a...

Mathematical Models for Immunology: Current State of the Art and Future Research Directions.

Science.gov (United States)

Eftimie, Raluca; Gillard, Joseph J; Cantrell, Doreen A

2016-10-01

The advances in genetics and biochemistry that have taken place over the last 10 years led to significant advances in experimental and clinical immunology. In turn, this has led to the development of new mathematical models to investigate qualitatively and quantitatively various open questions in immunology. In this study we present a review of some research areas in mathematical immunology that evolved over the last 10 years. To this end, we take a step-by-step approach in discussing a range of models derived to study the dynamics of both the innate and immune responses at the molecular, cellular and tissue scales. To emphasise the use of mathematics in modelling in this area, we also review some of the mathematical tools used to investigate these models. Finally, we discuss some future trends in both experimental immunology and mathematical immunology for the upcoming years.

Improving the Stability and Accuracy of Power Hardware-in-the-Loop Simulation Using Virtual Impedance Method

Directory of Open Access Journals (Sweden)

Xiaoming Zha

2016-11-01

Full Text Available Power hardware-in-the-loop (PHIL systems are advanced, real-time platforms for combined software and hardware testing. Two paramount issues in PHIL simulations are the closed-loop stability and simulation accuracy. This paper presents a virtual impedance (VI method for PHIL simulations that improves the simulation’s stability and accuracy. Through the establishment of an impedance model for a PHIL simulation circuit, which is composed of a voltage-source converter and a simple network, the stability and accuracy of the PHIL system are analyzed. Then, the proposed VI method is implemented in a digital real-time simulator and used to correct the combined impedance in the impedance model, achieving higher stability and accuracy of the results. The validity of the VI method is verified through the PHIL simulation of two typical PHIL examples.

Software-Controlled Dynamically Swappable Hardware Design in Partially Reconfigurable Systems

Directory of Open Access Journals (Sweden)

Huang Chun-Hsian

2008-01-01

Full Text Available Abstract We propose two basic wrapper designs and an enhanced wrapper design for arbitrary digital hardware circuit designs such that they can be enhanced with the capability for dynamic swapping controlled by software. A hardware design with either of the proposed wrappers can thus be swapped out of the partially reconfigurable logic at runtime in some intermediate state of computation and then swapped in when required to continue from that state. The context data is saved to a buffer in the wrapper at interruptible states, and then the wrapper takes care of saving the hardware context to communication memory through a peripheral bus, and later restoring the hardware context after the design is swapped in. The overheads of the hardware standardization and the wrapper in terms of additional reconfigurable logic resources and the time for context switching are small and generally acceptable. With the capability for dynamic swapping, high priority hardware tasks can interrupt low-priority tasks in real-time embedded systems so that the utilization of hardware space per unit time is increased.

Introduction to mathematical fluid dynamics

CERN Document Server

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.

Applied mathematics for engineers and physicists

CERN Document Server

Pipes, Louis A

2014-01-01

One of the most widely used reference books on applied mathematics for a generation, distributed in multiple languages throughout the world, this text is geared toward use with a one-year advanced course in applied mathematics for engineering students. The treatment assumes a solid background in the theory of complex variables and a familiarity with complex numbers, but it includes a brief review. Chapters are as self-contained as possible, offering instructors flexibility in designing their own courses. The first eight chapters explore the analysis of lumped parameter systems. Succeeding topi

A first course in mathematical physics

CERN Document Server

Whelan, Colm T

2016-01-01

The book assumes next to no prior knowledge of the topic. The first part introduces the core mathematics, always in conjunction with the physical context. In the second part of the book, a series of examples showcases some of the more conceptually advanced areas of physics, the presentation of which draws on the developments in the first part. A large number of problems helps students to hone their skills in using the presented mathematical methods. Solutions to the problems are available to instructors on an associated password-protected website for lecturers.

A Framework for Mathematical Thinking: The Case of Linear Algebra

Science.gov (United States)

Stewart, Sepideh; Thomas, Michael O. J.

2009-01-01

Linear algebra is one of the unavoidable advanced courses that many mathematics students encounter at university level. The research reported here was part of the first author's recent PhD study, where she created and applied a theoretical framework combining the strengths of two major mathematics education theories in order to investigate the…

Blended Learning, E-Learning and Mobile Learning in Mathematics Education

Science.gov (United States)

Borba, Marcelo C.; Askar, Petek; Engelbrecht, Johann; Gadanidis, George; Llinares, Salvador; Aguilar, Mario Sánchez

2016-01-01

In this literature survey we focus on identifying recent advances in research on digital technology in the field of mathematics education. To conduct the survey we have used internet search engines with keywords related to mathematics education and digital technology and have reviewed some of the main international journals, including the ones in…

2nd International Conference on Mathematics and Computing

CERN Document Server

Chowdhury, Dipanwita; Giri, Debasis

2015-01-01

This book discusses recent developments and contemporary research in mathematics, statistics and their applications in computing. All contributing authors are eminent academicians, scientists, researchers and scholars in their respective fields, hailing from around the world. This is the second conference on mathematics and computing organized at Haldia Institute of Technology, India. The conference has emerged as a powerful forum, offering researchers a venue to discuss, interact and collaborate, and stimulating the advancement of mathematics and its applications in computer science. The book will allow aspiring researchers to update their knowledge of cryptography, algebra, frame theory, optimizations, stochastic processes, compressive sensing, functional analysis, complex variables, etc. Educating future consumers, users, producers, developers and researchers in mathematics and computing is a challenging task and essential to the development of modern society. Hence, mathematics and its applications in com...

Investigation of an advanced fault tolerant integrated avionics system

Science.gov (United States)

Dunn, W. R.; Cottrell, D.; Flanders, J.; Javornik, A.; Rusovick, M.

1986-01-01

Presented is an advanced, fault-tolerant multiprocessor avionics architecture as could be employed in an advanced rotorcraft such as LHX. The processor structure is designed to interface with existing digital avionics systems and concepts including the Army Digital Avionics System (ADAS) cockpit/display system, navaid and communications suites, integrated sensing suite, and the Advanced Digital Optical Control System (ADOCS). The report defines mission, maintenance and safety-of-flight reliability goals as might be expected for an operational LHX aircraft. Based on use of a modular, compact (16-bit) microprocessor card family, results of a preliminary study examining simplex, dual and standby-sparing architectures is presented. Given the stated constraints, it is shown that the dual architecture is best suited to meet reliability goals with minimum hardware and software overhead. The report presents hardware and software design considerations for realizing the architecture including redundancy management requirements and techniques as well as verification and validation needs and methods.

University of Chicago School Mathematics Project 6-12 Curriculum. What Works Clearinghouse Intervention Report

Science.gov (United States)

What Works Clearinghouse, 2011

2011-01-01

The "University of Chicago School Mathematics Project ("UCSMP") 6-12 Curriculum" is a series of yearlong courses--(1) Transition Mathematics; (2) Algebra; (3) Geometry; (4) Advanced Algebra; (5) Functions, Statistics, and Trigonometry; and (6) Precalculus and Discrete Mathematics--emphasizing problem solving, real-world applications, and the use…

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.

Cooperative communications hardware, channel and PHY

CERN Document Server

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

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.

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

Application of advanced electronics to a future spacecraft computer design

Science.gov (United States)

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.

Basic gambling mathematics the numbers behind the neon

CERN Document Server

Bollman, Mark

2014-01-01

Introduction HISTORICAL BACKGROUND MATHEMATICAL BACKGROUND WHAT DOES IT MEAN TO BE RANDOM? Fundamental Ideas DEFINITIONS AXIOMS OF PROBABILITY ELEMENTARY COUNTING ARGUMENTS ADVANCED COUNTING ARGUMENTS ODDS Compound Events THE ADDITION RULES THE MULTIPLICATION RULES AND CONDITIONAL PROBABILITY Probability Distributions and Expectation RANDOM VARIABLES EXPECTED VALUE THE BINOMIAL DISTRIBUTION Modified Casino Games ROULETTE DICE GAMES CARD GAMES CASINO PROMOTIONS Blackjack: The Mathematical Exception RULES OF BLACKJACK THE MATHEMATICS OF BLACKJACK BASIC STRATEGY CARD COUNTING Betting Strategies: Why They Don't Work ROULETTE STRATEGIESCRAPS STRATEGIES SLOT MACHINE STRATEGIES BLACKJACK STRATEGIES AND ONE THAT DOES: LOTTERY STRATEGIES HOW TO DOUBLE YOUR MONEY Appendix A: House AdvantagesAppendix B: Mathematical Induction Appendix C: Internet Resources Answers to Odd-Numbered Exercises BibliographyIndexExercises appear at the end of each chapter.

The Chimera II Real-Time Operating System for advanced sensor-based control applications

Science.gov (United States)

Stewart, David B.; Schmitz, Donald E.; Khosla, Pradeep K.

1992-01-01

Attention is given to the Chimera II Real-Time Operating System, which has been developed for advanced sensor-based control applications. The Chimera II provides a high-performance real-time kernel and a variety of IPC features. The hardware platform required to run Chimera II consists of commercially available hardware, and allows custom hardware to be easily integrated. The design allows it to be used with almost any type of VMEbus-based processors and devices. It allows radially differing hardware to be programmed using a common system, thus providing a first and necessary step towards the standardization of reconfigurable systems that results in a reduction of development time and cost.

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.

Advanced maintenance research programs

International Nuclear Information System (INIS)

Marston, T.U.; Gelhaus, F.; Burke, R.

1985-01-01

The purpose of this paper is to provide the reader with an idea of the advanced maintenance research program at the Electric Power Research Institute (EPRI). A brief description of the maintenance-related activities is provided as a foundation for the advanced maintenance research projects. The projects can be divided into maintenance planning, preventive maintenance program development and implementation, predictive (or conditional) maintenance, and innovative maintenance techniques. The projects include hardware and software development, human factors considerations, and technology promotion and implementation. The advanced concepts include: the incorporation of artificial intelligence into outage planning; turbine and pump maintenance; rotating equipment monitoring and diagnostics with the aid of expert systems; and the development of mobile robots for nuclear power plant maintenance

Variational analysis and aerospace engineering mathematical challenges for the aerospace of the future

CERN Document Server

Mohammadi, Bijan; Pironneau, Olivier; Cipolla, Vittorio

2016-01-01

This book presents papers surrounding the extensive discussions that took place from the ‘Variational Analysis and Aerospace Engineering’ workshop held at the Ettore Majorana Foundation and Centre for Scientific Culture in 2015. Contributions to this volume focus on advanced mathematical methods in aerospace engineering and industrial engineering such as computational fluid dynamics methods, optimization methods in aerodynamics, optimum controls, dynamic systems, the theory of structures, space missions, flight mechanics, control theory, algebraic geometry for CAD applications, and variational methods and applications. Advanced graduate students, researchers, and professionals in mathematics and engineering will find this volume useful as it illustrates current collaborative research projects in applied mathematics and aerospace engineering.

Study on the Efficiency of Mathematics Distance Education

Directory of Open Access Journals (Sweden)

Abdollah Safavi

2013-07-01

Full Text Available In view of scientific and technological advancements, enthusiasm and need of the people for learning and the phenomenon of urban sprawl in many countries, especially advanced and industrial countries, distance education system has been used for many years as a method of teaching people in different locations and in different times without the student's needing to attend a class. Since it has been only a few years that this type of education has been used in the education system of the vast country of Iran and in view of special structure of mathematics and the importance and sensitiveness of its education, the present study was made to assess the success of students in this system of mathematics education. The statistical population of this research consists of 95 boy students from high schools of Tehran who were chosen by quasi-cluster method. 35 students in distance education system were chosen as experiment group and 60 students in traditional education system were chosen as control group. Using quasi-standard harmonious mathematics test and according to the results of descriptive statistics, Levene tests and independent samples test, this method of mathematics education was not found efficient for high school students of Tehran.

Hardware-in-the-Loop Modeling and Simulation Methods for Daylight Systems in Buildings

Science.gov (United States)

Mead, Alex Robert

This dissertation introduces hardware-in-the-loop modeling and simulation techniques to the daylighting community, with specific application to complex fenestration systems. No such application of this class of techniques, optimally combining mathematical-modeling and physical-modeling experimentation, is known to the author previously in the literature. Daylighting systems in buildings have a large impact on both the energy usage of a building as well as the occupant experience within a space. As such, a renewed interest has been placed on designing and constructing buildings with an emphasis on daylighting in recent times as part of the "green movement.''. Within daylighting systems, a specific subclass of building envelope is receiving much attention: complex fenestration systems (CFSs). CFSs are unique as compared to regular fenestration systems (e.g. glazing) in the regard that they allow for non-specular transmission of daylight into a space. This non-specular nature can be leveraged by designers to "optimize'' the times of the day and the days of the year that daylight enters a space. Examples of CFSs include: Venetian blinds, woven fabric shades, and prismatic window coatings. In order to leverage the non-specular transmission properties of CFSs, however, engineering analysis techniques capable of faithfully representing the physics of these systems are needed. Traditionally, the analysis techniques available to the daylighting community fall broadly into three classes: simplified techniques, mathematical-modeling and simulation, and physical-modeling and experimentation. Simplified techniques use "rules-of-thumb'' heuristics to provide insights for simple daylighting systems. Mathematical-modeling and simulation use complex numerical models to provide more detailed insights into system performance. Finally, physical-models can be instrumented and excited using artificial and natural light sources to provide performance insight into a daylighting system

Advancements in Research on Creativity and Giftedness in Mathematics Education: Introduction to the Special Issue

Science.gov (United States)

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…

Mathematical methods of classical physics

CERN Document Server

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.

Advances in tracking and trigger concepts

International Nuclear Information System (INIS)

Kisel, Ivan

2014-01-01

Increasing beam intensities and input data rates require to rethink the traditional approaches in trigger concepts. At the same time the advanced many-core computer architectures providing new dimensions in programming require to rework the standard methods or to develop new methods of track reconstruction in order to efficiently use parallelism of the computer hardware. As a results a new tendency appears to replace the standard (usually implemented in FPGA) hardware triggers by clusters of computers running software reconstruction and selection algorithms. In addition that makes possible unification of the offline and on-line data processing and analysis in one software package running on a heterogeneous computer farm

Hardware/software virtualization for the reconfigurable multicore platform.

NARCIS (Netherlands)

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

TIMSS Advanced 2015 and Advanced Placement Calculus & Physics. A Framework Analysis. Research in Review 2016-1

Science.gov (United States)

Lazzaro, Christopher; Jones, Lee; Webb, David C.; Grover, Ryan; Di Giacomo, F. Tony; Marino, Katherine Adele

2016-01-01

This report will determine to what degree the AP Physics 1 and 2 and AP Calculus AB and BC frameworks are aligned with the Trends in International Mathematics and Science Study (TIMSS) Advanced Physics and Mathematics frameworks. This will enable an exploration of any differences in content coverage and levels of complexity, and will set the stage…

Proceedings, 3rd International Satellite Conference on Mathematical Methods in Physics (ICMP13)

CERN Document Server

2013-01-01

The aim of the Conference is to present the latest advances in Mathematical Methods to researchers, post-docs and graduated students acting in the areas of Physics of Particles and Fields, Mathematical Physics and Applied Mathematics. Topics: Methods of Spectral and Group Theory, Differential and Algebraic Geometry and Topology in Field Theory, Quantum Gravity, String Theory and Cosmology.

PERANCANGAN APLIKASI SISTEM PAKAR DIAGNOSA KERUSAKAN HARDWARE KOMPUTER METODE FORWARD CHAINING

Directory of Open Access Journals (Sweden)

Ali Akbar Rismayadi

2016-09-01

Full Text Available Abstract Damage to computer hardware, not a big disaster, because not all damage to computer hardware can not be repaired, nearly all computer users, whether public or institutions often suffer various kinds of damage that occurred in the computer hardware it has, and the damage can be caused by various factors that are basically as the user does not know the cause of what makes the computer hardware used damaged. Therefore, it is necessary to build an application that can help users to mendiganosa damage to computer hardware. So that everyone can diagnose the type of hardware damage his computer. Development of expert system diagnosis of damage to computer hardware uses forward chaining method by promoting alisisis descriptive of various damage data obtained from several experts and other sources of literature to reach a conclusion on the diagnosis of damage. As well as using the waterfall model as a model system development, starting from the analysis stage to stage software needs support. This application is built using a programming language tools Eclipse ADT as well as SQLite as its database. diagnosis expert system damage computer hardware is expected to be used as a tool to help find the causes of damage to computer hardware independently without the help of a computer technician.

Advances in Cross-Cutting Ideas for Computational Climate Science

Energy Technology Data Exchange (ETDEWEB)

Ng, Esmond [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States); Evans, Katherine J. [Oak Ridge National Lab. (ORNL), Oak Ridge, TN (United States); Caldwell, Peter [Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States); Hoffman, Forrest M. [Oak Ridge National Lab. (ORNL), Oak Ridge, TN (United States); Jackson, Charles [Univ. of Texas, Austin, TX (United States); Kerstin, Van Dam [Brookhaven National Lab. (BNL), Upton, NY (United States); Leung, Ruby [Pacific Northwest National Lab. (PNNL), Richland, WA (United States); Martin, Daniel F. [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States); Ostrouchov, George [Oak Ridge National Lab. (ORNL), Oak Ridge, TN (United States); Tuminaro, Raymond [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Ullrich, Paul [Univ. of California, Davis, CA (United States); Wild, S. [Argonne National Lab. (ANL), Argonne, IL (United States); Williams, Samuel [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States)

2017-01-01

This report presents results from the DOE-sponsored workshop titled, ``Advancing X-Cutting Ideas for Computational Climate Science Workshop,'' known as AXICCS, held on September 12--13, 2016 in Rockville, MD. The workshop brought together experts in climate science, computational climate science, computer science, and mathematics to discuss interesting but unsolved science questions regarding climate modeling and simulation, promoted collaboration among the diverse scientists in attendance, and brainstormed about possible tools and capabilities that could be developed to help address them. Emerged from discussions at the workshop were several research opportunities that the group felt could advance climate science significantly. These include (1) process-resolving models to provide insight into important processes and features of interest and inform the development of advanced physical parameterizations, (2) a community effort to develop and provide integrated model credibility, (3) including, organizing, and managing increasingly connected model components that increase model fidelity yet complexity, and (4) treating Earth system models as one interconnected organism without numerical or data based boundaries that limit interactions. The group also identified several cross-cutting advances in mathematics, computer science, and computational science that would be needed to enable one or more of these big ideas. It is critical to address the need for organized, verified, and optimized software, which enables the models to grow and continue to provide solutions in which the community can have confidence. Effectively utilizing the newest computer hardware enables simulation efficiency and the ability to handle output from increasingly complex and detailed models. This will be accomplished through hierarchical multiscale algorithms in tandem with new strategies for data handling, analysis, and storage. These big ideas and cross-cutting technologies for

Advances in Cross-Cutting Ideas for Computational Climate Science

Energy Technology Data Exchange (ETDEWEB)

Ng, E.; Evans, K.; Caldwell, P.; Hoffman, F.; Jackson, C.; Van Dam, K.; Leung, R.; Martin, D.; Ostrouchov, G.; Tuminaro, R.; Ullrich, P.; Wild, S.; Williams, S.

2017-01-01

This report presents results from the DOE-sponsored workshop titled, Advancing X-Cutting Ideas for Computational Climate Science Workshop,'' known as AXICCS, held on September 12--13, 2016 in Rockville, MD. The workshop brought together experts in climate science, computational climate science, computer science, and mathematics to discuss interesting but unsolved science questions regarding climate modeling and simulation, promoted collaboration among the diverse scientists in attendance, and brainstormed about possible tools and capabilities that could be developed to help address them. Emerged from discussions at the workshop were several research opportunities that the group felt could advance climate science significantly. These include (1) process-resolving models to provide insight into important processes and features of interest and inform the development of advanced physical parameterizations, (2) a community effort to develop and provide integrated model credibility, (3) including, organizing, and managing increasingly connected model components that increase model fidelity yet complexity, and (4) treating Earth system models as one interconnected organism without numerical or data based boundaries that limit interactions. The group also identified several cross-cutting advances in mathematics, computer science, and computational science that would be needed to enable one or more of these big ideas. It is critical to address the need for organized, verified, and optimized software, which enables the models to grow and continue to provide solutions in which the community can have confidence. Effectively utilizing the newest computer hardware enables simulation efficiency and the ability to handle output from increasingly complex and detailed models. This will be accomplished through hierarchical multiscale algorithms in tandem with new strategies for data handling, analysis, and storage. These big ideas and cross-cutting technologies for enabling

Flight Hardware Virtualization for On-Board Science Data Processing

Data.gov (United States)

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

Advanced TCA BAckplane Tester

CERN Document Server

Oltean, Alexandra Dana; PGNet2005

2005-01-01

The “Advanced Telecom Computing Architecture” (AdvancedTCA) is a modular standard chassis based system designed to support the needs of carrier class telecommunication applications. It is defined by a set of industry standards under the direction of the PICMG group. One early deployment of the standard technology has been a 10 Gigabit Ethernet switch developed in the framework of the EU funded ESTA project. In order to study the practical aspects of high speed Ethernet switching at 10 Gigabit and above and to validate the signal integrity of the AdvancedTCA backplane, we developed a Backplane Tester. This system is able to run pseudo-random bit sequence (PRBS) traffic at 3.125 Gbps over every link on the AdvancedTCA backplane simultaneously, and to monitor any possible connectivity failure immediately in terms of the link and slot positions inside the chassis. In this paper, we describe the design and the practical architectural hardware and software aspects of the AdvancedTCA Backplane Tester. We also pr...

Speed challenge: a case for hardware implementation in soft-computing

Science.gov (United States)

Daud, T.; Stoica, A.; Duong, T.; Keymeulen, D.; Zebulum, R.; Thomas, T.; Thakoor, A.

2000-01-01

For over a decade, JPL has been actively involved in soft computing research on theory, architecture, applications, and electronics hardware. The driving force in all our research activities, in addition to the potential enabling technology promise, has been creation of a niche that imparts orders of magnitude speed advantage by implementation in parallel processing hardware with algorithms made especially suitable for hardware implementation. We review our work on neural networks, fuzzy logic, and evolvable hardware with selected application examples requiring real time response capabilities.

Heuristic Biases in Mathematical Reasoning

Science.gov (United States)

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…

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

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

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.

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.

Hardware malware

CERN Document Server

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

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.

Mathematics and culture in Micronesia

Directory of Open Access Journals (Sweden)

A. J. (Sandy Dawson

2015-07-01

Full Text Available Wheatley and Frieze‟s book, Walk Out Walk On, provides the conceptual framework for an examination of Project MACIMISE, a National Science Foundation funded project that focused on the languages and cultural practices of nine Pacific islands and the state of Hawai„i. MACIMISE, pronounced as if spelled „maximize‟, is a 5-year Project. The Project‟s task is the development of elementary school mathematics curriculum units sensitive to local mathematical thought and experience. There were twenty-one participants (who call themselves the Macimisers in the Project. The participants were educated in ethnographic and anthropological research strategies to enable them to retrieve/uncover cultural practices extant in the communities where they lived. This academics work was accomplished partially via distance learning when the participants were registered in advanced degree programs at the University of Hawai„i—Mānoa. In this paper, the Project is analyzed in terms of the concepts (scaling across, start anywhere—follow it everywhere, intervention to friendship, the art of hosting and the use of circle advanced by Wheatley and Frieze.

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.

Hardware-in-the-Loop Testing

Data.gov (United States)

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

Developing Culturally Responsive Mathematics Teachers: Secondary Teachers' Evolving Conceptions of Knowing Students

Science.gov (United States)

Parker, Frieda; Bartell, Tonya Gau; Novak, Jodie D.

2017-01-01

Research advances in teaching, learning, curriculum, and assessment have not changed the continued underperformance of marginalized students in mathematics education. Culturally responsive teaching is a means of addressing the needs of these students. It is sometimes challenging, however, to convince secondary mathematics teachers about the…

The Ellipse A Historical and Mathematical Journey

CERN Document Server

Mazer, Arthur

2011-01-01

Explores the development of the ellipse and presents mathematical concepts within a rich, historical context The Ellipse features a unique, narrative approach when presenting the development of this mathematical fixture, revealing its parallels to mankind's advancement from the Counter-Reformation to the Enlightenment. Incorporating illuminating historical background and examples, the author brings together basic concepts from geometry, algebra, trigonometry, and calculus to uncover the ellipse as the shape of a planet's orbit around the sun. The book begins with a discussion that tells the st

Mathematics of shape description a morphological approach to image processing and computer graphics

CERN Document Server

Ghosh, Pijush K

2009-01-01

Image processing problems are often not well defined because real images are contaminated with noise and other uncertain factors. In Mathematics of Shape Description, the authors take a mathematical approach to address these problems using the morphological and set-theoretic approach to image processing and computer graphics by presenting a simple shape model using two basic shape operators called Minkowski addition and decomposition. This book is ideal for professional researchers and engineers in Information Processing, Image Measurement, Shape Description, Shape Representation and Computer Graphics. Post-graduate and advanced undergraduate students in pure and applied mathematics, computer sciences, robotics and engineering will also benefit from this book.  Key FeaturesExplains the fundamental and advanced relationships between algebraic system and shape description through the set-theoretic approachPromotes interaction of image processing geochronology and mathematics in the field of algebraic geometryP...

A Fast hardware tracker for the ATLAS Trigger

CERN Document Server

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

Pyrolysis kinetics and combustion of thin wood by an advanced cone caorimetry test method

Science.gov (United States)

Mark Dietenberger

2012-01-01

Pyrolysis kinetics analysis of extractives, holocellulose, and lignin in the solid redwood over the entire heating regime was possible by specialized cone calorimeter test and new mathematical analysis tools. Added hardware components include: modified sample holder for the thin specimen with tiny thermocouples, the methane ring burner with stainless-steel mesh above...

Learning Machines Implemented on Non-Deterministic Hardware

OpenAIRE

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

Quantum Gravity Mathematical Models and Experimental Bounds

CERN Document Server

Fauser, Bertfried; Zeidler, Eberhard

2007-01-01

The construction of a quantum theory of gravity is the most fundamental challenge confronting contemporary theoretical physics. The different physical ideas which evolved while developing a theory of quantum gravity require highly advanced mathematical methods. This book presents different mathematical approaches to formulate a theory of quantum gravity. It represents a carefully selected cross-section of lively discussions about the issue of quantum gravity which took place at the second workshop "Mathematical and Physical Aspects of Quantum Gravity" in Blaubeuren, Germany. This collection covers in a unique way aspects of various competing approaches. A unique feature of the book is the presentation of different approaches to quantum gravity making comparison feasible. This feature is supported by an extensive index. The book is mainly addressed to mathematicians and physicists who are interested in questions related to mathematical physics. It allows the reader to obtain a broad and up-to-date overview on ...

Performance Measurement of Advanced Stirling Convertors (ASC-E3)

Science.gov (United States)

Oriti, Salvatore M.

2013-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 data of the Advanced Stirling Convertor (ASC). The latest version of the ASC (ASC-E3, to represent the third cycle of engineering model test hardware) is of a design identical to the forthcoming flight convertors. For this generation of hardware, a joint Sunpower and GRC effort was initiated to improve and standardize the test support hardware. After this effort was completed, the first pair of ASC-E3 units was produced by Sunpower and then delivered to GRC in December 2012. GRC has begun operation of these units. This process included performance verification, which examined the data from various tests to validate the convertor performance to the product specification. Other tests included detailed performance mapping that encompassed the wide range of operating conditions that will exist during a mission. These convertors were then transferred to Lockheed Martin for controller checkout testing. The results of this latest convertor performance verification activity are summarized here.

Mathematical methods linear algebra normed spaces distributions integration

CERN Document Server

Korevaar, Jacob

1968-01-01

Mathematical Methods, Volume I: Linear Algebra, Normed Spaces, Distributions, Integration focuses on advanced mathematical tools used in applications and the basic concepts of algebra, normed spaces, integration, and distributions.The publication first offers information on algebraic theory of vector spaces and introduction to functional analysis. Discussions focus on linear transformations and functionals, rectangular matrices, systems of linear equations, eigenvalue problems, use of eigenvectors and generalized eigenvectors in the representation of linear operators, metric and normed vector

Using Mathematics, Mathematical Applications, Mathematical Modelling, and Mathematical Literacy: A Theoretical Study

Science.gov (United States)

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…

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.

Programming time-multiplexed reconfigurable hardware using a scalable neuromorphic compiler.

Science.gov (United States)

Minkovich, Kirill; Srinivasa, Narayan; Cruz-Albrecht, Jose M; Cho, Youngkwan; Nogin, Aleksey

2012-06-01

Scalability and connectivity are two key challenges in designing neuromorphic hardware that can match biological levels. In this paper, we describe a neuromorphic system architecture design that addresses an approach to meet these challenges using traditional complementary metal-oxide-semiconductor (CMOS) hardware. A key requirement in realizing such neural architectures in hardware is the ability to automatically configure the hardware to emulate any neural architecture or model. The focus for this paper is to describe the details of such a programmable front-end. This programmable front-end is composed of a neuromorphic compiler and a digital memory, and is designed based on the concept of synaptic time-multiplexing (STM). The neuromorphic compiler automatically translates any given neural architecture to hardware switch states and these states are stored in digital memory to enable desired neural architectures. STM enables our proposed architecture to address scalability and connectivity using traditional CMOS hardware. We describe the details of the proposed design and the programmable front-end, and provide examples to illustrate its capabilities. We also provide perspectives for future extensions and potential applications.

The mathematics of games of strategy

CERN Document Server

Dresher, Melvin

1981-01-01

A noted research mathematician explores decision making in the absence of perfect information. His clear presentation of the mathematical theory of games of strategy encompasses applications to many fields, including economics, military, business, and operations research. No advanced algebra or non-elementary calculus occurs in most of the proofs.

Collegiate Mathematics Teaching: An Unexamined Practice

Science.gov (United States)

Speer, Natasha M.; Smith, John P., III; Horvath, Aladar

2010-01-01

Though written accounts of collegiate mathematics teaching exist (e.g., mathematicians' reflections and analyses of learning and teaching in innovative courses), research on collegiate teachers' actual classroom teaching practice is virtually non-existent. We advance this claim based on a thorough review of peer-reviewed journals where scholarship…

Accelerating Mathematics Achievement Using Heterogeneous Grouping

Science.gov (United States)

Burris, Carol Corbett; Heubert, Jay P.; Levin, Henry M.

2006-01-01

This longitudinal study examined the effects of providing an accelerated mathematics curriculum in heterogeneously grouped middle school classes in a diverse suburban school district. A quasi-experimental cohort design was used to evaluate subsequent completion of advanced high school math courses as well as academic achievement. Results showed…

Proceedings – Mathematical Sciences | Indian Academy of Sciences

Indian Academy of Sciences (India)

Special issue devoted to advances in specific areas of mathematics and proceedings of selected high quality conferences are also published. ... Editorial Manager is a user-friendly online submission and review management system. Authors ...

Profiling Student Use of Calculators in the Learning of High School Mathematics

Science.gov (United States)

Crowe, Cheryll E.; Ma, Xin

2010-01-01

Using data from the 2005 National Assessment of Educational Progress, students' use of calculators in the learning of high school mathematics was profiled based on their family background, curriculum background, and advanced mathematics coursework. A statistical method new to educational research--classification and regression trees--was applied…

The Simbox Experiment with Arabidopsis Thaliana Cell Cultures: Hardware-Tests and First Resutls from the German-Chinese satellite Mission Shenzhou 8

Science.gov (United States)

Fengler, Svenja; Neef, Maren; Ecke, Margret; Hampp, Ruediger

2013-02-01

The Simbox experiment was the first joint German-Chinese space project. In this context Arabidopsis thaliana cell cultures were exposed to microgravity for a 17-day period. To carry out a successful space mission, diverse hardware tests were performed in advance. Due to the limited oxygen supply inside the hardware units, cells were fixed after 5 days under microgravity conditions. As a control, samples were exposed in an on-board 1g reference centrifuge. To investigate the space effect, a ground-based study was performed with the same hardware and identical experimental procedures. As we were able to obtain high quality RNA from the RNAlater quenched samples, we used the Affymetrix Arabidopsis genome array for a transcriptome analysis. Our experiment aimed at the identification of plant genes that were differentially expressed after long-term exposure to microgravity. Pair-wise comparison of flight samples with 1g controls revealed the largest differences between space 1g and ground 1g controls.

Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification

OpenAIRE

Drzevitzky, Stephanie; Kastens, Uwe; Platzner, Marco

2010-01-01

Dynamically reconfigurable hardware combines hardware performance with software-like flexibility and finds increasing use in networked systems. The capability to load hardware modules at runtime provides these systems with an unparalleled degree of adaptivity but at the same time poses new challenges for security and safety. In this paper, we elaborate on the presentation of proof carrying hardware (PCH) as a novel approach to reconfigurable system security. PCH takes ...

Mathematical Footprints Discovering Mathematics Everywhere

CERN Document Server

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

Desegregating undergraduate mathematics and biology--interdisciplinary instruction with emphasis on ongoing biomedical research.

Science.gov (United States)

Robeva, Raina

2009-01-01

The remarkable advances in the field of biology in the last decade, specifically in the areas of biochemistry, genetics, genomics, proteomics, and systems biology, have demonstrated how critically important mathematical models and methods are in addressing questions of vital importance for these disciplines. There is little doubt that the need for utilizing and developing mathematical methods for biology research will only grow in the future. The rapidly increasing demand for scientists with appropriate interdisciplinary skills and knowledge, however, is not being reflected in the way undergraduate mathematics and biology courses are structured and taught in most colleges and universities nationwide. While a number of institutions have stepped forward and addressed this need by creating and offering interdisciplinary courses at the juncture of mathematics and biology, there are still many others at which there is little, if any, interdisciplinary interaction between the curricula. This chapter describes an interdisciplinary course and a textbook in mathematical biology developed collaboratively by faculty from Sweet Briar College and the University of Virginia School of Medicine. The course and textbook are designed to provide a bridge between the mathematical and biological sciences at the lower undergraduate level. The course is developed for and is being taught in a liberal arts setting at Sweet Briar College, Virginia, but some of the advanced modules are used in a course at the University of Virginia for advanced undergraduate and beginning graduate students. The individual modules are relatively independent and can be used as stand-alone projects in conventional mathematics and biology courses. Except for the introductory material, the course and textbook topics are based on current biomedical research.

Advances in Numerical Methods

CERN Document Server

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.

On Mathematical Naturalism and the Powers of Symbolisms

Directory of Open Access Journals (Sweden)

Murray Code

2005-08-01

Full Text Available Advances in modern mathematics indicate that progress in this field of knowledge depends mainly on culturally inflected imaginative intuitions, or intuitive imaginings—which mysteriously result in the growth of systems of symbolism that are often efficacious, although fallible and very likely evolutionary. Thus the idea that a trouble-free epistemology can be constructed out of an intuition-free mathematical naturalism would seem to be question begging of a very high order. I illustrate the point by examining Philip Kitcher’s attempt to frame an empiricist philosophy of mathematics, which he calls “mathematical naturalism,” wherein he proposes to explain novelty in mathematics by means of the notion of ‘rational interpractice transitions,’ only to end with an appeal to science to supply a meaning for rationality. A more promising naturalistic approach is adumbrated by Noam Chomsky who begins with a straightforward acceptance of mind and language as ‘natural’ or concrete facts which bespeak the need for a linguistic faculty. This indicates in turn that there may also be a mathematical faculty capable of generating and exploiting the powers of mathematical symbolisms in a manner analogous to the linguistic faculty.

The semantic system is involved in mathematical problem solving.

Science.gov (United States)

Zhou, Xinlin; Li, Mengyi; Li, Leinian; Zhang, Yiyun; Cui, Jiaxin; Liu, Jie; Chen, Chuansheng

2018-02-01

Numerous studies have shown that the brain regions around bilateral intraparietal cortex are critical for number processing and arithmetical computation. However, the neural circuits for more advanced mathematics such as mathematical problem solving (with little routine arithmetical computation) remain unclear. Using functional magnetic resonance imaging (fMRI), this study (N = 24 undergraduate students) compared neural bases of mathematical problem solving (i.e., number series completion, mathematical word problem solving, and geometric problem solving) and arithmetical computation. Direct subject- and item-wise comparisons revealed that mathematical problem solving typically had greater activation than arithmetical computation in all 7 regions of the semantic system (which was based on a meta-analysis of 120 functional neuroimaging studies on semantic processing). Arithmetical computation typically had greater activation in the supplementary motor area and left precentral gyrus. The results suggest that the semantic system in the brain supports mathematical problem solving. Copyright © 2017 Elsevier Inc. All rights reserved.

Inevitable randomness in discrete mathematics

CERN Document Server

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

Influence of a Mathematics Teachers' Circle on Elementary Teachers' Use of Problem Solving

Science.gov (United States)

Garner, Mary L.; Watson, Virginia; Rogers, Beth; Head, Catherine

2017-01-01

Math teachers' circles are a form of professional development that is recommended by the Conference Board of the Mathematical Sciences in their publication Mathematical Education of Teachers II (2012). However, little research has been published on how effective math teachers' circles are in advancing the mathematical knowledge of teachers and…

Consumer Economics and Consumer Mathematics Textbooks.

Science.gov (United States)

Eastern Michigan Univ., Ypsilanti. National Inst. for Consumer Education.

This publication lists a selection of consumer economics and consumer mathematics textbooks available for review from the National Institute for Consumer Education. Twenty-six textbooks for the secondary level are cited. Nine advanced level texts are also listed. These texts are generally considered college level texts but could be adapted for…

9th and 10th Asian Symposium on Computer Mathematics

CERN Document Server

Lee, Wen-shin; Sato, Yosuke

2014-01-01

This book covers original research and the latest advances in symbolic, algebraic and geometric computation; computational methods for differential and difference equations, symbolic-numerical computation; mathematics software design and implementation; and scientific and engineering applications based on features, invited talks, special sessions and contributed papers presented at the 9th (in Fukuoka, Japan in 2009) and 10th (in Beijing China in 2012) Asian Symposium on Computer Mathematics (ASCM). Thirty selected and refereed articles in the book present the conference participants’ ideas and views on researching mathematics using computers.

The VMTG Hardware Description

CERN Document Server

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.

A model of professional competences in mathematics to update mathematical and didactic knowledge of teachers

Science.gov (United States)

Díaz, Verónica; Poblete, Alvaro

2017-07-01

This paper describes part of a research and development project carried out in public elementary schools. Its objective was to update the mathematical and didactic knowledge of teachers in two consecutive levels in urban and rural public schools of Region de Los Lagos and Region de Los Rios of southern Chile. To that effect, and by means of an advanced training project based on a professional competences model, didactic interventions based on types of problems and types of mathematical competences with analysis of contents and learning assessment were designed. The teachers' competence regarding the didactic strategy used and its results, as well as the students' learning achievements are specified. The project made possible to validate a strategy of lifelong improvement in mathematics, based on the professional competences of teachers and their didactic transposition in the classroom, as an alternative to consolidate learning in areas considered vulnerable in two regions of the country.

Technological Advances in Deep Brain Stimulation.

Science.gov (United States)

Ughratdar, Ismail; Samuel, Michael; Ashkan, Keyoumars

2015-01-01

Functional and stereotactic neurosurgery has always been regarded as a subspecialty based on and driven by technological advances. However until recently, the fundamentals of deep brain stimulation (DBS) hardware and software design had largely remained stagnant since its inception almost three decades ago. Recent improved understanding of disease processes in movement disorders as well clinician and patient demands has resulted in new avenues of development for DBS technology. This review describes new advances both related to hardware and software for neuromodulation. New electrode designs with segmented contacts now enable sophisticated shaping and sculpting of the field of stimulation, potentially allowing multi-target stimulation and avoidance of side effects. To avoid lengthy programming sessions utilising multiple lead contacts, new user-friendly software allows for computational modelling and individualised directed programming. Therapy delivery is being improved with the next generation of smaller profile, longer-lasting, re-chargeable implantable pulse generators (IPGs). These include IPGs capable of delivering constant current stimulation or personalised closed-loop adaptive stimulation. Post-implantation Magnetic Resonance Imaging (MRI) has long been an issue which has been partially overcome with 'MRI conditional devices' and has enabled verification of DBS lead location. Surgical technique is considering a shift from frame-based to frameless stereotaxy or greater role for robot assisted implantation. The challenge for these contemporary techniques however, will be in demonstrating equivalent safety and accuracy to conventional methods. We also discuss potential future direction utilising wireless technology allowing for miniaturisation of hardware.

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

Hardware Approach for Real Time Machine Stereo Vision

Directory of Open Access Journals (Sweden)

Michael Tornow

2006-02-01

Full Text Available Image processing is an effective tool for the analysis of optical sensor information for driver assistance systems and controlling of autonomous robots. Algorithms for image processing are often very complex and costly in terms of computation. In robotics and driver assistance systems, real-time processing is necessary. Signal processing algorithms must often be drastically modified so they can be implemented in the hardware. This task is especially difficult for continuous real-time processing at high speeds. This article describes a hardware-software co-design for a multi-object position sensor based on a stereophotogrammetric measuring method. In order to cover a large measuring area, an optimized algorithm based on an image pyramid is implemented in an FPGA as a parallel hardware solution for depth map calculation. Object recognition and tracking are then executed in real-time in a processor with help of software. For this task a statistical cluster method is used. Stabilization of the tracking is realized through use of a Kalman filter. Keywords: stereophotogrammetry, hardware-software co-design, FPGA, 3-d image analysis, real-time, clustering and tracking.

Chemical Dynamics at the Advanced Light Source

International Nuclear Information System (INIS)

Baer, T.; Berrah, N.; Fadley, C.; Moore, C.B.; Neumark, D.M.; Ng, C.Y.; Ruscic, B.; Smith, N.V.; Suits, A.G.; Wodtke, A.M.

1999-01-01

A day-long retreat was held January 15, 1999 to chart the future directions for chemical dynamics studies at the Advanced Light Source. This represents an important period for the Chemical Dynamics Beamline, as the hardware is well-developed, most of the initial experimental objectives have been realized and the mission is now to identify the future scientific priorities for the beamline and attract users of the highest caliber. To this end, we have developed a detailed scientific program for the near term; identified and prioritized the long range scientific opportunities, identified essential new hardware, and outlined an aggressive outreach program to involve the chemical physics community

Hardware implementation of a GFSR pseudo-random number generator

Science.gov (United States)

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.

Hardware Realization of Chaos Based Symmetric Image Encryption

KAUST Repository

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.

Desenvolvimento de hardware reconfigurável de criptografia assimétrica

Directory of Open Access Journals (Sweden)

Otávio Souza Martins Gomes

2015-01-01

Full Text Available Este artigo apresenta o resultado parcial do desenvolvimento de uma interface de hardware reconfigurável para criptografia assimétrica que permite a troca segura de dados. Hardwares reconfiguráveis permitem o desenvolvimento deste tipo de dispositivo com segurança e flexibilidade e possibilitam a mudança de características no projeto com baixo custo e de forma rápida.Palavras-chave: Criptografia. Hardware. ElGamal. FPGA. Segurança. Development of an asymmetric cryptography reconfigurable harwadre ABSTRACTThis paper presents some conclusions and choices about the development of an asymmetric cryptography reconfigurable hardware interface to allow a safe data communication. Reconfigurable hardwares allows the development of this kind of device with safety and flexibility, and offer the possibility to change some features with low cost and in a fast way.Keywords: Cryptography. Hardware. ElGamal. FPGAs. Security.

The Use of Software in Academic Stream High School Mathematics Teaching

Science.gov (United States)

Clay, Simon; Fotou, Nikolaos; Monaghan, John

2017-01-01

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

Science and Mathematics in Astronomy

Science.gov (United States)

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.

MRI monitoring of focused ultrasound sonications near metallic hardware.

Science.gov (United States)

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 Acceleration of SQL-Queries Processing in MDM-Systems Based on MISDSolution

Directory of Open Access Journals (Sweden)

V. E. Podol'skii

2015-01-01

Full Text Available In this article we examine the possibility of hardware support for functions of mobile device management platform (MDM-platform using a Multiple Instructions and Single Data stream computer system, developed within the framework of the project in Bauman Moscow State Technical University. At the universities the MDM-platform is used to provide various mobile services for the faculty, students and administration to facilitate the learning process: a mobile schedule, document sharing, text messages, and other interactive activities. Most of these services are provided by the extensive use of data stored in MDM-platform databases. When accessing the databases SQL- queries are commonly used. These queries comprise operators of SQL-language that are based on mathematical sets theory. Hardware support for operations on sets is implemented in Multiple Instructions and Single Data stream computer system (MISD System. This allows performance improvement of algorithms and operations on sets. Thus, the hardware support for the processing of SQL-queries in MISD system allows us to benefit from the implementation of SQL-queries in the MISD paradigm.The scientific novelty of the work lies in the fact that it is the first time a set of algorithms for basic SQL statements has been presented in a format supported by MISD system. In addition, for the first time operators INNER JOIN, LEFT JOIN and LEFT OUTER JOIN have been implemented for MISD system and tested for it (testing was done for FPGA Xilinx Virtex-II Pro XC2VP30 implementation of MISD system. The practical significance of the work lies in the fact that the results of the study will be used in the project "Development of the Russian analogue of the system software for centralized management of personal devices and platforms in enterprise networks" of the St. Petersburg Polytechnic University (with the financial support of the state represented by the Ministry of Education and Science of the Russian

Hardware and software and machine-tool simulation with parallel structures mechanisms

Directory of Open Access Journals (Sweden)

Keba P.V.

2016-12-01

Full Text Available The usage spectrum of mechanisms with parallel structure is spreading all the time. The mechanisms of machine-tools and manipulators become more complicated and it is necessary to improve the program-controlled modules. Closed circuit mechanisms are mostly spread in robotic complexes, where manipulator performs complicated spatial movements by the given trajectory. The usage spectrum is very wide and the most popular are sorting, welding, assembling and others. However, the problem of designing the operating programs is still present even today. It is just because the developed post-processors are created for the equipment that we have for now. But new machine tool constructions appear every day and there is a necessity to control them. The problems associated with using of hardware and software of mechanisms with parallel structure in computer-aided simulation are considered. The program for inverse problem kinematics solving is designed. New method of designing the control programs is found. The kinematic analysis methods options and calculated data obtained by computer mathematics systems are shown with «Tools Glide» software taken as an example.

Optical Multiple Access Network (OMAN) for advanced processing satellite applications

Science.gov (United States)

Mendez, Antonio J.; Gagliardi, Robert M.; Park, Eugene; Ivancic, William D.; Sherman, Bradley D.

1991-01-01

An OMAN breadboard for exploring advanced processing satellite circuit switch applications is introduced. Network architecture, hardware trade offs, and multiple user interference issues are presented. The breadboard test set up and experimental results are discussed.

Advanced digital instrumentation and control system for nuclear power plant protection

Energy Technology Data Exchange (ETDEWEB)

Sabino, D [VVER Engineering, Westinghouse Electric Corporation (United States)

1998-12-31

The Diverse Protection System is a back-up to the Primary Reactor Protection System developed for use at the Temelin nuclear power plant. The DPS is a digital system which provides a wealth of benefits from today`s advanced technology. These benefits include a compact hardware design with high performance microprocessors and a structured software design using a high level language. An overview of the DPS functions, hardware and software is provided. (author). 1 fig., 1 tab.

Mathematics for informatics and computer science

CERN Document Server

Audibert, Pierre

2013-01-01

How many ways do exist to mix different ingredients, how many chances to win a gambling game, how many possible paths going from one place to another in a network ? To this kind of questions Mathematics applied to computer gives a stimulating and exhaustive answer. This text, presented in three parts (Combinatorics, Probability, Graphs) addresses all those who wish to acquire basic or advanced knowledge in combinatorial theories. It is actually also used as a textbook. Basic and advanced theoretical elements are presented through simple applications like the Sudoku game, search engine al

Mathematical theory of compressible fluid flow

CERN Document Server

von Mises, Richard

2004-01-01

A pioneer in the fields of statistics and probability theory, Richard von Mises (1883-1953) made notable advances in boundary-layer-flow theory and airfoil design. This text on compressible flow, unfinished upon his sudden death, was subsequently completed in accordance with his plans, and von Mises' first three chapters were augmented with a survey of the theory of steady plane flow. Suitable as a text for advanced undergraduate and graduate students - as well as a reference for professionals - Mathematical Theory of Compressible Fluid Flow examines the fundamentals of high-speed flows, with

Mathematical sciences with multidisciplinary applications in honor of professor Christiane Rousseau and in recognition of the Mathematics for Planet Earth initiative

CERN Document Server

2016-01-01

This book is the fourth in a multidisciplinary series which brings together leading researchers in the STEAM-H disciplines (Science, Technology, Engineering, Agriculture, Mathematics and Health) to present their perspective on advances in their own specific fields, and to generate a genuinely interdisciplinary collaboration that transcends parochial subject-matter boundaries. All contributions are carefully edited, peer-reviewed, reasonably self-contained, and pedagogically crafted for a multidisciplinary readership. Contributions are drawn from a variety of fields including mathematics, statistics, game theory and behavioral sciences, biomathematics and physical chemistry, computer science and human-centered computing. This volume is dedicated to Professor Christiane Rousseau, whose work inspires the STEAM-H series, in recognition of her passion for the mathematical sciences and her on-going initiative, the Mathematics of Planet Earth paradigm of interdisciplinarity. The volume's primary goal is to enhance i...

[Abscess at the implant site following apical parodontitis. Hardware-related complications of deep brain stimulation].

Science.gov (United States)

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.

Trends in computer hardware and software.

Science.gov (United States)

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.

Mathematical control theory

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

Mathematical control theory

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

Fast Tracker: A Hardware Real Time Track Finder for the ATLAS Trigger System

CERN Document Server

Kimura, N; The ATLAS collaboration

2014-01-01

The Fast Tracker (FTK) is an integral part of the trigger upgrade program for the ATLAS detector at the Large Hadron Collider (LHC). As the LHC luminosity approaches its design level of 10^34cm^−2s^−1, the combinatorial problem posed by charged particle tracking becomes increasingly difficult due to the swelling of multiple interactions per bunch crossing (pile-up). The FTK is a highly-parallel hardware system intended to provide high-quality tracks with transverse momentum above 1 GeV/c in real time for online trigger system. The FTK system’s design, based on a mixture of advanced technologies, and expected physics performance will be presented.

CERN Neutrino Platform Hardware

CERN Document Server

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.

Methods of applied mathematics

CERN Document Server

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.

Human Centered Hardware Modeling and Collaboration

Science.gov (United States)

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.

Analysis for Parallel Execution without Performing Hardware/Software Co-simulation

OpenAIRE

Muhammad Rashid

2014-01-01

Hardware/software co-simulation improves the performance of embedded applications by executing the applications on a virtual platform before the actual hardware is available in silicon. However, the virtual platform of the target architecture is often not available during early stages of the embedded design flow. Consequently, analysis for parallel execution without performing hardware/software co-simulation is required. This article presents an analysis methodology for parallel execution of ...

A mathematical primer on quantum mechanics

CERN Document Server

Teta, Alessandro

2018-01-01

This book offers a rigorous yet elementary approach to quantum mechanics that will meet the needs of Master’s-level Mathematics students and is equally suitable for Physics students who are interested in gaining a deeper understanding of the mathematical structure of the theory. Throughout the coverage, which is limited to single-particle quantum mechanics, the focus is on formulating theory and developing applications in a mathematically precise manner. Following a review of selected key concepts in classical physics and the historical background, the basic elements of the theory of operators in Hilbert spaces are presented and used to formulate the rules of quantum mechanics. The discussion then turns to free particles, harmonic oscillators, delta potential, and hydrogen atoms, providing rigorous proofs of the corresponding dynamical properties. Starting from an analysis of these applications, readers are subsequently introduced to more advanced topics such as the classical limit, scattering theory, and s...

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

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

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

Flight Hardware Virtualization for On-Board Science Data Processing Project

Data.gov (United States)

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

Compiling quantum circuits to realistic hardware architectures using temporal planners

Science.gov (United States)

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.

Event-driven processing for hardware-efficient neural spike sorting

Science.gov (United States)

Liu, Yan; Pereira, João L.; Constandinou, Timothy G.

2018-02-01

Objective. The prospect of real-time and on-node spike sorting provides a genuine opportunity to push the envelope of large-scale integrated neural recording systems. In such systems the hardware resources, power requirements and data bandwidth increase linearly with channel count. Event-based (or data-driven) processing can provide here a new efficient means for hardware implementation that is completely activity dependant. In this work, we investigate using continuous-time level-crossing sampling for efficient data representation and subsequent spike processing. Approach. (1) We first compare signals (synthetic neural datasets) encoded with this technique against conventional sampling. (2) We then show how such a representation can be directly exploited by extracting simple time domain features from the bitstream to perform neural spike sorting. (3) The proposed method is implemented in a low power FPGA platform to demonstrate its hardware viability. Main results. It is observed that considerably lower data rates are achievable when using 7 bits or less to represent the signals, whilst maintaining the signal fidelity. Results obtained using both MATLAB and reconfigurable logic hardware (FPGA) indicate that feature extraction and spike sorting accuracies can be achieved with comparable or better accuracy than reference methods whilst also requiring relatively low hardware resources. Significance. By effectively exploiting continuous-time data representation, neural signal processing can be achieved in a completely event-driven manner, reducing both the required resources (memory, complexity) and computations (operations). This will see future large-scale neural systems integrating on-node processing in real-time hardware.

Advanced CCD camera developments

Energy Technology Data Exchange (ETDEWEB)

Condor, A. [Lawrence Livermore National Lab., CA (United States)

1994-11-15

Two charge coupled device (CCD) camera systems are introduced and discussed, describing briefly the hardware involved, and the data obtained in their various applications. The Advanced Development Group Defense Sciences Engineering Division has been actively designing, manufacturing, fielding state-of-the-art CCD camera systems for over a decade. These systems were originally developed for the nuclear test program to record data from underground nuclear tests. Today, new and interesting application for these systems have surfaced and development is continuing in the area of advanced CCD camera systems, with the new CCD camera that will allow experimenters to replace film for x-ray imaging at the JANUS, USP, and NOVA laser facilities.

Fuel cell hardware-in-loop

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)

Power Hardware-in-the-Loop Evaluation of PV Inverter Grid Support on Hawaiian Electric Feeders

Energy Technology Data Exchange (ETDEWEB)

Nelson, Austin A [National Renewable Energy Laboratory (NREL), Golden, CO (United States); Prabakar, Kumaraguru [National Renewable Energy Laboratory (NREL), Golden, CO (United States); Nagarajan, Adarsh [National Renewable Energy Laboratory (NREL), Golden, CO (United States); Nepal, Shaili [National Renewable Energy Laboratory (NREL), Golden, CO (United States); Hoke, Anderson F [National Renewable Energy Laboratory (NREL), Golden, CO (United States); Asano, Marc [Hawaiian Electric Company; Ueda, Reid [Hawaiian Electric Company; Ifuku, Earle [Hawaiian Electric Company

2017-10-03

As more grid-connected photovoltaic (PV) inverters become compliant with evolving interconnections requirements, there is increased interest from utilities in understanding how to best deploy advanced grid-support functions (GSF) in the field. One efficient and cost-effective method to examine such deployment options is to leverage power hardware-in-the-loop (PHIL) testing methods, which combine the fidelity of hardware tests with the flexibility of computer simulation. This paper summarizes a study wherein two Hawaiian Electric feeder models were converted to real-time models using an OPAL-RT real-time digital testing platform, and integrated with models of GSF capable PV inverters based on characterization test data. The integrated model was subsequently used in PHIL testing to evaluate the effects of different fixed power factor and volt-watt control settings on voltage regulation of the selected feeders using physical inverters. Selected results are presented in this paper, and complete results of this study were provided as inputs for field deployment and technical interconnection requirements for grid-connected PV inverters on the Hawaiian Islands.

Flexible hardware design for RSA and Elliptic Curve Cryptosystems

NARCIS (Netherlands)

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

Sharing open hardware through ROP, the robotic open platform

NARCIS (Netherlands)

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

NARCIS (Netherlands)

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

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

Socioeconomic variation, number competence, and mathematics learning difficulties in young children.

Science.gov (United States)

Jordan, Nancy C; Levine, Susan C

2009-01-01

As a group, children from disadvantaged, low-income families perform substantially worse in mathematics than their counterparts from higher-income families. Minority children are disproportionately represented in low-income populations, resulting in significant racial and social-class disparities in mathematics learning linked to diminished learning opportunities. The consequences of poor mathematics achievement are serious for daily functioning and for career advancement. This article provides an overview of children's mathematics difficulties in relation to socioeconomic status (SES). We review foundations for early mathematics learning and key characteristics of mathematics learning difficulties. A particular focus is the delays or deficiencies in number competencies exhibited by low-income children entering school. Weaknesses in number competence can be reliably identified in early childhood, and there is good evidence that most children have the capacity to develop number competence that lays the foundation for later learning.

Fast DRR splat rendering using common consumer graphics hardware

International Nuclear Information System (INIS)

Spoerk, Jakob; Bergmann, Helmar; Wanschitz, Felix; Dong, Shuo; Birkfellner, Wolfgang

2007-01-01

Digitally rendered radiographs (DRR) are a vital part of various medical image processing applications such as 2D/3D registration for patient pose determination in image-guided radiotherapy procedures. This paper presents a technique to accelerate DRR creation by using conventional graphics hardware for the rendering process. DRR computation itself is done by an efficient volume rendering method named wobbled splatting. For programming the graphics hardware, NVIDIAs C for Graphics (Cg) is used. The description of an algorithm used for rendering DRRs on the graphics hardware is presented, together with a benchmark comparing this technique to a CPU-based wobbled splatting program. Results show a reduction of rendering time by about 70%-90% depending on the amount of data. For instance, rendering a volume of 2x10 6 voxels is feasible at an update rate of 38 Hz compared to 6 Hz on a common Intel-based PC using the graphics processing unit (GPU) of a conventional graphics adapter. In addition, wobbled splatting using graphics hardware for DRR computation provides higher resolution DRRs with comparable image quality due to special processing characteristics of the GPU. We conclude that DRR generation on common graphics hardware using the freely available Cg environment is a major step toward 2D/3D registration in clinical routine

Introduction to the papers of TWG16: Learning Mathematics with Technology and Other Resources

NARCIS (Netherlands)

Drijvers, P.H.M.; Faggiano, Eleonora; Geraniou, Eirini; Weigand, Hans-Georg

2017-01-01

The use of technology and other resources for mathematical learning is a current issue in the field of mathematics education and lags behind the rapid advances in Information and Communication Technology. Technological developments offer opportunities, which are not straightforward to exploit in

Mathematical methods of many-body quantum field theory

CERN Document Server

Lehmann, Detlef

2004-01-01

Mathematical Methods of Many-Body Quantum Field Theory offers a comprehensive, mathematically rigorous treatment of many-body physics. It develops the mathematical tools for describing quantum many-body systems and applies them to the many-electron system. These tools include the formalism of second quantization, field theoretical perturbation theory, functional integral methods, bosonic and fermionic, and estimation and summation techniques for Feynman diagrams. Among the physical effects discussed in this context are BCS superconductivity, s-wave and higher l-wave, and the fractional quantum Hall effect. While the presentation is mathematically rigorous, the author does not focus solely on precise definitions and proofs, but also shows how to actually perform the computations.Presenting many recent advances and clarifying difficult concepts, this book provides the background, results, and detail needed to further explore the issue of when the standard approximation schemes in this field actually work and wh...

Dynamic fuel cell models and their application in hardware in the loop simulation

Energy Technology Data Exchange (ETDEWEB)

Lemes, Zijad; Maencher, H. [MAGNUM Automatisierungstechnik GmbH, Bunsenstr. 22, D-64293 Darmstadt (Germany); Vath, Andreas; Hartkopf, Th. [Technische Universitaet Darmstadt/Institut fuer Elektrische Energiewandlung, Landgraf-Georg-Str. 4, D-64283 Darmstadt (Germany)

2006-03-21

Currently, fuel cell technology plays an important role in the development of alternative energy converters for mobile, portable and stationary applications. With the help of physical based models of fuel cell systems and appropriate test benches it is possible to design different applications and investigate their stationary and dynamic behaviour. The polymer electrolyte membrane (PEM) fuel cell system model includes gas humidifier, air and hydrogen supply, current converter and a detailed stack model incorporating the physical characteristics of the different layers. In particular, the use of these models together with hardware in the loop (HIL) capable test stands helps to decrease the costs and accelerate the development of fuel cell systems. The interface program provides fast data exchange between the test bench and the physical model of the fuel cell or any other systems in real time. So the flexibility and efficiency of the test bench increase fundamentally, because it is possible to replace real components with their mathematical models. (author)

The advanced light source control system

International Nuclear Information System (INIS)

Magyary, S.; Chin, M.; Cork, C.; Fahmie, M.; Lancaster, H.; Molinari, P.; Ritchie, A.; Robb, A.; Timossi, C.; Young, J.

1990-01-01

The criteria for the design of a modern control system are discussed in the context of the special requirements for the control of the Advanced Light Source (ALS). This is followed by the description of the system being built, which has a number of special features. The emphasis has been placed on providing an extremely wide I/O and CPU bandwidth (greater than 120 Mbits/s and 1200 Mips, respectively) and on using commercially available hardware and software. The only major custom design item is the Intelligent Local Controller (ILC), of which about 600 will be used to interface to the hardware. The use of personal computers for the operator stations allows the use of a wealth of industrial standards for windows, languages and tools. (orig.)

FPS-RAM: Fast Prefix Search RAM-Based Hardware for Forwarding Engine

Science.gov (United States)

Zaitsu, Kazuya; Yamamoto, Koji; Kuroda, Yasuto; Inoue, Kazunari; Ata, Shingo; Oka, Ikuo

Ternary content addressable memory (TCAM) is becoming very popular for designing high-throughput forwarding engines on routers. However, TCAM has potential problems in terms of hardware and power costs, which limits its ability to deploy large amounts of capacity in IP routers. In this paper, we propose new hardware architecture for fast forwarding engines, called fast prefix search RAM-based hardware (FPS-RAM). We designed FPS-RAM hardware with the intent of maintaining the same search performance and physical user interface as TCAM because our objective is to replace the TCAM in the market. Our RAM-based hardware architecture is completely different from that of TCAM and has dramatically reduced the costs and power consumption to 62% and 52%, respectively. We implemented FPS-RAM on an FPGA to examine its lookup operation.

Advanced number theory

CERN Document Server

Cohn, Harvey

1980-01-01

""A very stimulating book ... in a class by itself."" - American Mathematical MonthlyAdvanced students, mathematicians and number theorists will welcome this stimulating treatment of advanced number theory, which approaches the complex topic of algebraic number theory from a historical standpoint, taking pains to show the reader how concepts, definitions and theories have evolved during the last two centuries. Moreover, the book abounds with numerical examples and more concrete, specific theorems than are found in most contemporary treatments of the subject.The book is divided into three parts

Human Research Program Advanced Exercise Concepts (AEC) Overview

Science.gov (United States)

Perusek, Gail; Lewandowski, Beth; Nall, Marsha; Norsk, Peter; Linnehan, Rick; Baumann, David

2015-01-01

Exercise countermeasures provide benefits that are crucial for successful human spaceflight, to mitigate the spaceflight physiological deconditioning which occurs during exposure to microgravity. The NASA Human Research Program (HRP) within the Human Exploration and Operations Mission Directorate (HEOMD) is managing next generation Advanced Exercise Concepts (AEC) requirements development and candidate technology maturation to Technology Readiness Level (TRL) 7 (ground prototyping and flight demonstration) for all exploration mission profiles from Multi Purpose Crew Vehicle (MPCV) Exploration Missions (up to 21 day duration) to Mars Transit (up to 1000 day duration) missions. These validated and optimized exercise countermeasures systems will be provided to the ISS Program and MPCV Program for subsequent flight development and operations. The International Space Station (ISS) currently has three major pieces of operational exercise countermeasures hardware: the Advanced Resistive Exercise Device (ARED), the second-generation (T2) treadmill, and the cycle ergometer with vibration isolation system (CEVIS). This suite of exercise countermeasures hardware serves as a benchmark and is a vast improvement over previous generations of countermeasures hardware, providing both aerobic and resistive exercise for the crew. However, vehicle and resource constraints for future exploration missions beyond low Earth orbit will require that the exercise countermeasures hardware mass, volume, and power be minimized, while preserving the current ISS capabilities or even enhancing these exercise capabilities directed at mission specific physiological functional performance and medical standards requirements. Further, mission-specific considerations such as preservation of sensorimotor function, autonomous and adaptable operation, integration with medical data systems, rehabilitation, and in-flight monitoring and feedback are being developed for integration with the exercise

Mathematical cardiac electrophysiology

CERN Document Server

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

Fundamentals and advanced techniques in derivatives hedging

CERN Document Server

Bouchard, Bruno

2016-01-01

This book covers the theory of derivatives pricing and hedging as well as techniques used in mathematical finance. The authors use a top-down approach, starting with fundamentals before moving to applications, and present theoretical developments alongside various exercises, providing many examples of practical interest. A large spectrum of concepts and mathematical tools that are usually found in separate monographs are presented here. In addition to the no-arbitrage theory in full generality, this book also explores models and practical hedging and pricing issues. Fundamentals and Advanced Techniques in Derivatives Hedging further introduces advanced methods in probability and analysis, including Malliavin calculus and the theory of viscosity solutions, as well as the recent theory of stochastic targets and its use in risk management, making it the first textbook covering this topic. Graduate students in applied mathematics with an understanding of probability theory and stochastic calculus will find this b...

Johannes Kepler and his contribution to Applied Mathematics

Science.gov (United States)

Pichler, Franz

The worldwide renown of Johannes Kepler is based above all on his contribution to astronomy. The 3 Kepler's Laws relating to the planets are well known and will ensure that his name is remembered by future generations. Besides his astronomical work, Kepler also made important contributions in the fields of theology, physics, phylosophy and mathematics. The actual paper discusses the advances by Kepler in the application of mathematics to the solution of "real life problems". The author made a concise account of some of the disciples by Kepler: Klug, Wieleitner, Caspar, Hammer, paying particular attention to works published by Kepler while he was living in Linz (1612-1628). The Kepler's contribution to applied mathematics is an example supremely worthy of emulation, the author concludes.

Generation of Efficient High-Level Hardware Code from Dataflow Programs

OpenAIRE

Siret , Nicolas; Wipliez , Matthieu; Nezan , Jean François; Palumbo , Francesca

2012-01-01

High-level synthesis (HLS) aims at reducing the time-to-market by providing an automated design process that interprets and compiles high-level abstraction programs into hardware. However, HLS tools still face limitations regarding the performance of the generated code, due to the difficulties of compiling input imperative languages into efficient hardware code. Moreover the hardware code generated by the HLS tools is usually target-dependant and at a low level of abstraction (i.e. gate-level...

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

Advanced Environmental Monitoring Technologies

Science.gov (United States)

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.

Advanced integrated safeguards at Barnwell

International Nuclear Information System (INIS)

Bambas, K.J.; Barnes, L.D.

1980-06-01

The development and initial performance testing of an advanced integrated safeguards system at the Barnwell Nuclear Fuel Plant (BNFP) is described. The program concentrates on the integration and coordination of physical security and nuclear materials control and accounting at a single location. Hardware and software for this phase have been installed and are currently being evaluated. The AGNS/DOE program is now in its third year of development at the BNFP

Transformation of teacher identity through a Mathematical Literacy ...

African Journals Online (AJOL)

The Advanced Certificate in Education in Mathematical Literacy programme was designed to expose participants to knowledge and understanding of the ML curriculum (meaning), development of an integrated approach to teaching and learning, classroom didactics, lesson plans (practice), and group work activities where ...

Proceedings – Mathematical Sciences | Indian Academy of Sciences

Indian Academy of Sciences (India)

Author Affiliations. Indranil Biswas1 N Raghavendra1 2. School of Mathematics, Tata Institute of Fundamental Research, Homi Bhabha Road, Mumbai 400 005, India; Advanced Technology Centre, Tata Consultancy Services, K.L.K. Estate, Fateh Maidan Road, Hyderabad 500 001, India ...

The LASS hardware processor

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

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

Removal of symptomatic craniofacial titanium hardware following craniotomy: Case series and review

Directory of Open Access Journals (Sweden)

Sheri K. Palejwala

2015-06-01

Full Text Available Titanium craniofacial hardware has become commonplace for reconstruction and bone flap fixation following craniotomy. Complications of titanium hardware include palpability, visibility, infection, exposure, pain, and hardware malfunction, which can necessitate hardware removal. We describe three patients who underwent craniofacial reconstruction following craniotomies for trauma with post-operative courses complicated by medically intractable facial pain. All three patients subsequently underwent removal of the symptomatic craniofacial titanium hardware and experienced rapid resolution of their painful parasthesias. Symptomatic plates were found in the region of the frontozygomatic suture or MacCarty keyhole, or in close proximity with the supraorbital nerve. Titanium plates, though relatively safe and low profile, can cause local nerve irritation or neuropathy. Surgeons should be cognizant of the potential complications of titanium craniofacial hardware and locations that are at higher risk for becoming symptomatic necessitating a second surgery for removal.

Multi-Megawatt-Scale Power-Hardware-in-the-Loop Interface for Testing Ancillary Grid Services by Converter-Coupled Generation: Preprint

Energy Technology Data Exchange (ETDEWEB)

Koralewicz, Przemyslaw J [National Renewable Energy Laboratory (NREL), Golden, CO (United States); Gevorgian, Vahan [National Renewable Energy Laboratory (NREL), Golden, CO (United States); Wallen, Robert B [National Renewable Energy Laboratory (NREL), Golden, CO (United States)

2017-07-26

Power-hardware-in-the-loop (PHIL) is a simulation tool that can support electrical systems engineers in the development and experimental validation of novel, advanced control schemes that ensure the robustness and resiliency of electrical grids that have high penetrations of low-inertia variable renewable resources. With PHIL, the impact of the device under test on a generation or distribution system can be analyzed using a real-time simulator (RTS). PHIL allows for the interconnection of the RTS with a 7 megavolt ampere (MVA) power amplifier to test multi-megawatt renewable assets available at the National Wind Technology Center (NWTC). This paper addresses issues related to the development of a PHIL interface that allows testing hardware devices at actual scale. In particular, the novel PHIL interface algorithm and high-speed digital interface, which minimize the critical loop delay, are discussed.

New trends and advanced methods in interdisciplinary mathematical sciences

CERN Document Server

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.

Role of linguistic skills in fifth-grade mathematics.

Science.gov (United States)

Kleemans, Tijs; Segers, Eliane; Verhoeven, Ludo

2018-03-01

The current study investigated the direct and indirect relations between basic linguistic skills (i.e., phonological skills and grammatical ability) and advanced linguistic skills (i.e., academic vocabulary and verbal reasoning), on the one hand, and fifth-grade mathematics (i.e., arithmetic, geometry, and fractions), on the other, taking working memory and general intelligence into account and controlling for socioeconomic status, age, and gender. The results showed the basic linguistic representations of 167 fifth graders to be indirectly related to their geometric and fraction skills via arithmetic. Furthermore, advanced linguistic skills were found to be directly related to geometry and fractions after controlling for arithmetic. It can be concluded that linguistic skills directly and indirectly relate to mathematical ability in the upper grades of primary education, which highlights the importance of paying attention to such skills in the school curriculum. Copyright © 2017 Elsevier Inc. All rights reserved.

Memory Based Machine Intelligence Techniques in VLSI hardware

OpenAIRE

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

Mathematical aspects of surface water waves

International Nuclear Information System (INIS)

Craig, Walter; Wayne, Clarence E

2007-01-01

The theory of the motion of a free surface over a body of water is a fascinating subject, with a long history in both applied and pure mathematical research, and with a continuing relevance to the enterprises of mankind having to do with the sea. Despite the recent advances in the field (some of which we will hear about during this Workshop on Mathematical Hydrodynamics at the Steklov Institute), and the current focus of the mathematical community on the topic, many fundamental mathematical questions remain. These have to do with the evolution of surface water waves, their approximation by model equations and by computer simulations, the detailed dynamics of wave interactions, such as would produce rogue waves in an open ocean, and the theory (partially probabilistic) of approximating wave fields over large regions by averaged 'macroscopic' quantities which satisfy essentially kinetic equations of motion. In this note we would like to point out open problems and some of the directions of current research in the field. We believe that the introduction of new analytical techniques and novel points of view will play an important role in the future development of the area.

Hardware support for collecting performance counters directly to memory

Science.gov (United States)

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.

Why Open Source Hardware matters and why you should care

OpenAIRE

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

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.

No-hardware-signature cybersecurity-crypto-module: a resilient cyber defense agent

Science.gov (United States)

Zaghloul, A. R. M.; Zaghloul, Y. A.

2014-06-01

We present an optical cybersecurity-crypto-module as a resilient cyber defense agent. It has no hardware signature since it is bitstream reconfigurable, where single hardware architecture functions as any selected device of all possible ones of the same number of inputs. For a two-input digital device, a 4-digit bitstream of 0s and 1s determines which device, of a total of 16 devices, the hardware performs as. Accordingly, the hardware itself is not physically reconfigured, but its performance is. Such a defense agent allows the attack to take place, rendering it harmless. On the other hand, if the system is already infected with malware sending out information, the defense agent allows the information to go out, rendering it meaningless. The hardware architecture is immune to side attacks since such an attack would reveal information on the attack itself and not on the hardware. This cyber defense agent can be used to secure a point-to-point, point-to-multipoint, a whole network, and/or a single entity in the cyberspace. Therefore, ensuring trust between cyber resources. It can provide secure communication in an insecure network. We provide the hardware design and explain how it works. Scalability of the design is briefly discussed. (Protected by United States Patents No.: US 8,004,734; US 8,325,404; and other National Patents worldwide.)

Predicting Relationships between Mathematics Anxiety, Mathematics Teaching Anxiety, Self-efficacy Beliefs towards Mathematics and Mathematics Teaching

OpenAIRE

Unlu, Melihan; Ertekin, Erhan; Dilmac, Bulent

2017-01-01

The purpose of the research is to investigate the relationships betweenself-efficacy beliefs toward mathematics, mathematics anxiety and self-efficacybeliefs toward mathematics teaching, mathematics teaching anxiety variables andtesting the relationships between these variables with structural equationmodel. The sample of the research, which was conducted in accordance withrelational survey model, consists of 380 university students, who studied atthe department of Elementary Mathematics Educ...

Hardware Implementation of LMS-Based Adaptive Noise Cancellation Core with Low Resource Utilization

Directory of Open Access Journals (Sweden)

Omid Sharifi Tehrani

2011-10-01

Full Text Available A hardware implementation of adaptive noise cancellation (ANC core is proposed. Adaptive filters are widely used in different applications such as adaptive noise cancellation, prediction, equalization, inverse modeling and system identification. FIR adaptive filters are mostly used because of their low computation costs and their linear phase. Least mean squared algorithm (LMS is used to train FIR adaptive filter weights. Advances in semiconductor technology especially in digital signal processors (DSP and field programmable gate arrays (FPGA with hundreds of mega hertz in speed, will allow digital designers to embed essential digital signal processing units in small chips. But designing a synthesizable core on an FPGA is not always as simple as DSP chips due to complexity and limitations of FPGAs. In this paper we design anLMS-based FIR adaptive filter for adaptive noise cancellation based on VHDL97 hardware description language (HDL and Xilinx SPARTAN3E (XC3S500E which utilizes low resources and is high performance and FPGA-brand independent so can be implemented on different FPGA brands (Xilinx, ALTERA, ACTEL. Simulations are done in MODELSIM and MATLAB and implementation is done with Xilinx ISE. Finally, result are compared with other papers for better judgment.

Advancing Inclusive Mathematics Education: Strategies and Resources for Effective IEP Practices

Science.gov (United States)

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…

TreeBASIS Feature Descriptor and Its Hardware Implementation

Directory of Open Access Journals (Sweden)

Spencer Fowers

2014-01-01

Full Text Available This paper presents a novel feature descriptor called TreeBASIS that provides improvements in descriptor size, computation time, matching speed, and accuracy. This new descriptor uses a binary vocabulary tree that is computed using basis dictionary images and a test set of feature region images. To facilitate real-time implementation, a feature region image is binary quantized and the resulting quantized vector is passed into the BASIS vocabulary tree. A Hamming distance is then computed between the feature region image and the effectively descriptive basis dictionary image at a node to determine the branch taken and the path the feature region image takes is saved as a descriptor. The TreeBASIS feature descriptor is an excellent candidate for hardware implementation because of its reduced descriptor size and the fact that descriptors can be created and features matched without the use of floating point operations. The TreeBASIS descriptor is more computationally and space efficient than other descriptors such as BASIS, SIFT, and SURF. Moreover, it can be computed entirely in hardware without the support of a CPU for additional software-based computations. Experimental results and a hardware implementation show that the TreeBASIS descriptor compares well with other descriptors for frame-to-frame homography computation while requiring fewer hardware resources.

Efficient Architecture for Spike Sorting in Reconfigurable Hardware

Science.gov (United States)

Hwang, Wen-Jyi; Lee, Wei-Hao; Lin, Shiow-Jyu; Lai, Sheng-Ying

2013-01-01

This paper presents a novel hardware architecture for fast spike sorting. The architecture is able to perform both the feature extraction and clustering in hardware. The generalized Hebbian algorithm (GHA) and fuzzy C-means (FCM) algorithm are used for feature extraction and clustering, respectively. The employment of GHA allows efficient computation of principal components for subsequent clustering operations. The FCM is able to achieve near optimal clustering for spike sorting. Its performance is insensitive to the selection of initial cluster centers. The hardware implementations of GHA and FCM feature low area costs and high throughput. In the GHA architecture, the computation of different weight vectors share the same circuit for lowering the area costs. Moreover, in the FCM hardware implementation, the usual iterative operations for updating the membership matrix and cluster centroid are merged into one single updating process to evade the large storage requirement. To show the effectiveness of the circuit, the proposed architecture is physically implemented by field programmable gate array (FPGA). It is embedded in a System-on-Chip (SOC) platform for performance measurement. Experimental results show that the proposed architecture is an efficient spike sorting design for attaining high classification correct rate and high speed computation. PMID:24189331

Efficient Architecture for Spike Sorting in Reconfigurable Hardware

Directory of Open Access Journals (Sweden)

Sheng-Ying Lai

2013-11-01

Full Text Available This paper presents a novel hardware architecture for fast spike sorting. The architecture is able to perform both the feature extraction and clustering in hardware. The generalized Hebbian algorithm (GHA and fuzzy C-means (FCM algorithm are used for feature extraction and clustering, respectively. The employment of GHA allows efficient computation of principal components for subsequent clustering operations. The FCM is able to achieve near optimal clustering for spike sorting. Its performance is insensitive to the selection of initial cluster centers. The hardware implementations of GHA and FCM feature low area costs and high throughput. In the GHA architecture, the computation of different weight vectors share the same circuit for lowering the area costs. Moreover, in the FCM hardware implementation, the usual iterative operations for updating the membership matrix and cluster centroid are merged into one single updating process to evade the large storage requirement. To show the effectiveness of the circuit, the proposed architecture is physically implemented by field programmable gate array (FPGA. It is embedded in a System-on-Chip (SOC platform for performance measurement. Experimental results show that the proposed architecture is an efficient spike sorting design for attaining high classification correct rate and high speed computation.

Parallel asynchronous hardware implementation of image processing algorithms

Science.gov (United States)

Coon, Darryl D.; Perera, A. G. U.

1990-01-01

Research is being carried out on hardware for a new approach to focal plane processing. The hardware involves silicon injection mode devices. These devices provide a natural basis for parallel asynchronous focal plane image preprocessing. The simplicity and novel properties of the devices would permit an independent analog processing channel to be dedicated to every pixel. A laminar architecture built from arrays of the devices would form a two-dimensional (2-D) array processor with a 2-D array of inputs located directly behind a focal plane detector array. A 2-D image data stream would propagate in neuron-like asynchronous pulse-coded form through the laminar processor. No multiplexing, digitization, or serial processing would occur in the preprocessing state. High performance is expected, based on pulse coding of input currents down to one picoampere with noise referred to input of about 10 femtoamperes. Linear pulse coding has been observed for input currents ranging up to seven orders of magnitude. Low power requirements suggest utility in space and in conjunction with very large arrays. Very low dark current and multispectral capability are possible because of hardware compatibility with the cryogenic environment of high performance detector arrays. The aforementioned hardware development effort is aimed at systems which would integrate image acquisition and image processing.

Approaches to teaching primary level mathematics

Directory of Open Access Journals (Sweden)

Caroline Long

2014-12-01

Full Text Available In this article we explore approaches to curriculum in the primary school in order to map and manage the omissions implicit in the current unfolding of the Curriculum and Assessment Policy Statement for mathematics. The focus of school-based research has been on curriculum coverage and cognitive depth. To address the challenges of teaching mathematics from the perspective of the learner, we ask whether the learners engage with the subject in such a way that they build foundations for more advanced mathematics. We firstly discuss three approaches that inform the teaching of mathematics in the primary school and which may be taken singly or in conjunction into organising the curriculum: the topics approach, the process approach, and the conceptual fields approach. Each of the approaches is described and evaluated by presenting both their advantages and disadvantages. We then expand on the conceptual fields approach by means of an illustrative example. The planning of an instructional design integrates both a topics and a process approach into a conceptual fields approach. To address conceptual depth within this approach, we draw on five dimensions required for understanding a mathematical concept. In conclusion, we reflect on an approach to curriculum development that draws on the integrated theory of conceptual fields to support teachers and learners in the quest for improved teaching and learning.

A Hybrid Hardware and Software Component Architecture for Embedded System Design

Science.gov (United States)

Marcondes, Hugo; Fröhlich, Antônio Augusto

Embedded systems are increasing in complexity, while several metrics such as time-to-market, reliability, safety and performance should be considered during the design of such systems. A component-based design which enables the migration of its components between hardware and software can cope to achieve such metrics. To enable that, we define hybrid hardware and software components as a development artifact that can be deployed by different combinations of hardware and software elements. In this paper, we present an architecture for developing such components in order to construct a repository of components that can migrate between the hardware and software domains to meet the design system requirements.

Current advances in mathematical modeling of anti-cancer drug penetration into tumor tissues.

Science.gov (United States)

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.

Recent developments of the ROOT mathematical and statistical software

International Nuclear Information System (INIS)

Moneta, L; Antcheva, I; Brun, R

2008-01-01

Advanced mathematical and statistical computational methods are required by the LHC experiments to analyzed their data. These methods are provided by the Math work package of the ROOT project. An overview of the recent developments of this work package is presented by describing the restructuring of the core mathematical library in a coherent set of C++ classes and interfaces. The achieved improvements, in terms of performances and quality, of numerical methods present in ROOT are shown as well. New developments in the fitting and minimization packages are reviewed. A new graphics interface has been developed to drive the fitting process and new classes are being introduced to extend the fitting functionality. Furthermore, recent and planned developments of integrating in the ROOT environment new advanced statistical tools required for the analysis of the LHC data are presented

Application of the mathematical modelling and human phantoms for calculation of the organ doses

International Nuclear Information System (INIS)

Kluson, J.; Cechak, T.

2005-01-01

Increasing power of the computers hardware and new versions of the software for the radiation transport simulation and modelling of the complex experimental setups and geometrical arrangement enable to dramatically improve calculation of organ or target volume doses ( dose distributions) in the wide field of medical physics and radiation protection applications. Increase of computers memory and new software features makes it possible to use not only analytical (mathematical) phantoms but also allow constructing the voxel models of human or phantoms with voxels fine enough (e.g. 1·1·1 mm) to represent all required details. CT data can be used for the description of such voxel model geometry .Advanced scoring methods are available in the new software versions. Contribution gives the overview of such new possibilities in the modelling and doses calculations, discusses the simulation/approximation of the dosimetric quantities ( especially dose ) and calculated data interpretation. Some examples of application and demonstrations will be shown, compared and discussed. Present computational tools enables to calculate organ or target volumes doses with new quality of large voxel models/phantoms (including CT based patient specific model ), approximating the human body with high precision. Due to these features has more and more importance and use in the fields of medical and radiological physics, radiation protection, etc. (authors)

Research Methods in Healthcare Epidemiology and Antimicrobial Stewardship-Mathematical Modeling.

Science.gov (United States)

Barnes, Sean L; Kasaie, Parastu; Anderson, Deverick J; Rubin, Michael

2016-11-01

Mathematical modeling is a valuable methodology used to study healthcare epidemiology and antimicrobial stewardship, particularly when more traditional study approaches are infeasible, unethical, costly, or time consuming. We focus on 2 of the most common types of mathematical modeling, namely compartmental modeling and agent-based modeling, which provide important advantages-such as shorter developmental timelines and opportunities for extensive experimentation-over observational and experimental approaches. We summarize these advantages and disadvantages via specific examples and highlight recent advances in the methodology. A checklist is provided to serve as a guideline in the development of mathematical models in healthcare epidemiology and antimicrobial stewardship. Infect Control Hosp Epidemiol 2016;1-7.

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

Travel Software using GPU Hardware

CERN Document Server

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

The principles of computer hardware

CERN Document Server

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

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.

Science.gov (United States)

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

Predicting Relationships between Mathematics Anxiety, Mathematics Teaching Anxiety, Self-Efficacy Beliefs towards Mathematics and Mathematics Teaching

Science.gov (United States)

Unlu, Melihan; Ertekin, Erhan; Dilmac, Bulent

2017-01-01

The purpose of the research is to investigate the relationships between self-efficacy beliefs toward mathematics, mathematics anxiety and self-efficacy beliefs toward mathematics teaching, mathematics teaching anxiety variables and testing the relationships between these variables with structural equation model. The sample of the research, which…

Mathematics of large eddy simulation of turbulent flows

Energy Technology Data Exchange (ETDEWEB)

Berselli, L.C. [Pisa Univ. (Italy). Dept. of Applied Mathematics ' ' U. Dini' ' ; Iliescu, T. [Virginia Polytechnic Inst. and State Univ., Blacksburg, VA (United States). Dept. of Mathematics; Layton, W.J. [Pittsburgh Univ., PA (United States). Dept. of Mathematics

2006-07-01

Large eddy simulation (LES) is a method of scientific computation seeking to predict the dynamics of organized structures in turbulent flows by approximating local, spatial averages of the flow. Since its birth in 1970, LES has undergone an explosive development and has matured into a highly-developed computational technology. It uses the tools of turbulence theory and the experience gained from practical computation. This book focuses on the mathematical foundations of LES and its models and provides a connection between the powerful tools of applied mathematics, partial differential equations and LES. Thus, it is concerned with fundamental aspects not treated so deeply in the other books in the field, aspects such as well-posedness of the models, their energy balance and the connection to the Leray theory of weak solutions of the Navier-Stokes equations. The authors give a mathematically informed and detailed treatment of an interesting selection of models, focusing on issues connected with understanding and expanding the correctness and universality of LES. This volume offers a useful entry point into the field for PhD students in applied mathematics, computational mathematics and partial differential equations. Non-mathematicians will appreciate it as a reference that introduces them to current tools and advances in the mathematical theory of LES. (orig.)