AIDS Epidemiological models

Science.gov (United States)

Rahmani, Fouad Lazhar

2010-11-01

The aim of this paper is to present mathematical modelling of the spread of infection in the context of the transmission of the human immunodeficiency virus (HIV) and the acquired immune deficiency syndrome (AIDS). These models are based in part on the models suggested in the field of th AIDS mathematical modelling as reported by ISHAM [6].

Mathematical modeling of a process the rolling delivery

Science.gov (United States)

Stepanov, Mikhail A.; Korolev, Andrey A.

2018-03-01

An adduced analysis of the scientific researches in a domain of the rolling equipments, also research of properties the working material. A one of perspective direction of scientific research this is mathematical modeling. That is broadly used in many scientific disciplines and especially at the technical, applied sciences. With the aid of mathematical modeling it can be study of physical properties of the researching objects and systems. A research of the rolling delivery and transporting devices realized with the aid of a construction of mathematical model of appropriate process. To be described the basic principles and conditions of a construction of mathematical models of the real objects. For example to be consider a construction of mathematical model the rolling delivery device. For a construction that is model used system of the equations, which consist of: Lagrange’s equation of a motion, describing of the law conservation of energy of a mechanical system, and the Navier - Stokes equations, which characterize of the flow of a continuous non-compressed fluid. A construction of mathematical model the rolling deliver to let determined of a total energy of device, and therefore to got the dependence upon the power of drive to a gap between of rolls. A corroborate the hypothesis about laminar the flow of a material into the rolling gap of deliver.

Test-and-treat approach to HIV/AIDS: a primer for mathematical modeling.

Science.gov (United States)

Nah, Kyeongah; Nishiura, Hiroshi; Tsuchiya, Naho; Sun, Xiaodan; Asai, Yusuke; Imamura, Akifumi

2017-09-05

The public benefit of test-and-treat has induced a need to justify goodness for the public, and mathematical modeling studies have played a key role in designing and evaluating the test-and-treat strategy for controlling HIV/AIDS. Here we briefly and comprehensively review the essence of contemporary understanding of the test-and-treat policy through mathematical modeling approaches and identify key pitfalls that have been identified to date. While the decrease in HIV incidence is achieved with certain coverages of diagnosis, care and continued treatment, HIV prevalence is not necessarily decreased and sometimes the test-and-treat is accompanied by increased long-term cost of antiretroviral therapy (ART). To confront with the complexity of assessment on this policy, the elimination threshold or the effective reproduction number has been proposed for its use in determining the overall success to anticipate the eventual elimination. Since the publication of original model in 2009, key issues of test-and-treat modeling studies have been identified, including theoretical problems surrounding the sexual partnership network, heterogeneities in the transmission dynamics, and realistic issues of achieving and maintaining high treatment coverage in the most hard-to-reach populations. To explicitly design country-specific control policy, quantitative modeling approaches to each single setting with differing epidemiological context would require multi-disciplinary collaborations among clinicians, public health practitioners, laboratory technologists, epidemiologists and mathematical modelers.

Adaptive Intrusion Data System (AIDS)

International Nuclear Information System (INIS)

Corlis, N.E.

1980-05-01

The adaptive intrusion data system (AIDS) was developed to collect data from intrusion alarm sensors as part of an evaluation system to improve sensor performance. AIDS is a unique data system which uses computer controlled data systems, video cameras and recorders, analog-to-digital conversion, environmental sensors, and digital recorders to collect sensor data. The data can be viewed either manually or with a special computerized data-reduction system which adds new data to a data base stored on a magnetic disc recorder. This report provides a synoptic account of the AIDS as it presently exists. Modifications to the purchased subsystems are described, and references are made to publications which describe the Sandia-designed subsystems

Optimisation of gas-cooled reactors with the aid of mathematical computers

Energy Technology Data Exchange (ETDEWEB)

Margen, P H

1959-04-15

Reactor optimisation is the task of finding the combination of values of the independent variables in a reactor design producing the lowest cost of electricity. In a gas-cooled reactor the number of independent variables is particularly large and the optimisation process is, therefore, laborious. The present note describes a procedure for performing the entire optimisation procedure with the aid of a mathematical computer in a single operation, thus saving time for the design staff. Detailed equations and numerical constants are proposed for the thermal and cost relations involved. The reactor physics equations, on the other hand are merely stated as general functions of the relevant variables. The task of expressing these functions as detailed equations will be covered by separate documents prepared by the reactor physics department.

Optimisation of gas-cooled reactors with the aid of mathematical computers

International Nuclear Information System (INIS)

Margen, P.H.

1959-04-01

Reactor optimisation is the task of finding the combination of values of the independent variables in a reactor design producing the lowest cost of electricity. In a gas-cooled reactor the number of independent variables is particularly large and the optimisation process is, therefore, laborious. The present note describes a procedure for performing the entire optimisation procedure with the aid of a mathematical computer in a single operation, thus saving time for the design staff. Detailed equations and numerical constants are proposed for the thermal and cost relations involved. The reactor physics equations, on the other hand are merely stated as general functions of the relevant variables. The task of expressing these functions as detailed equations will be covered by separate documents prepared by the reactor physics department

A mathematical gallery

CERN Document Server

Gaal, Lisl

2017-01-01

Embark on a playful mathematical tour, aided by Lisl Gaal's illustrations of familiar scenes and whimsical triggers for the imagination. Along the way, find fruit stands arranged using polynomial multiplication, checkerboard tablecloths sewed with patterns of primes in a two-dimensional number system, and deceptive cats revealing that simple counting is not always so simple. Grasping the mathematics in this book requires only a basic background in algebra and geometry, so while the ideas can be understood and enjoyed at a variety of levels, it is recommended for ages 13-99. Touching on topics in current research, this is a book to read and revisit, gaining new insights each time.

Mathematical models in biology bringing mathematics to life

CERN Document Server

Ferraro, Maria; Guarracino, Mario

2015-01-01

This book presents an exciting collection of contributions based on the workshop “Bringing Maths to Life” held October 27-29, 2014 in Naples, Italy.  The state-of-the art research in biology and the statistical and analytical challenges facing huge masses of data collection are treated in this Work. Specific topics explored in depth surround the sessions and special invited sessions of the workshop and include genetic variability via differential expression, molecular dynamics and modeling, complex biological systems viewed from quantitative models, and microscopy images processing, to name several. In depth discussions of the mathematical analysis required to extract insights from complex bodies of biological datasets, to aid development in the field novel algorithms, methods and software tools for genetic variability, molecular dynamics, and complex biological systems are presented in this book. Researchers and graduate students in biology, life science, and mathematics/statistics will find the content...

Assessment of cerebrospinal fluid system dynamics : novel infusion protocol, mathematical modelling and parameter estimation for hydrocephalus investigations

OpenAIRE

Andersson, Kennet

2011-01-01

Patients with idiopathic normal pressure hydrocephalus (INPH) have a disturbance in the cerebrospinal fluid (CSF) system. The treatment is neurosurgical – a shunt is placed in the CSF system. The infusion test is used to assess CSF system dynamics and to aid in the selection of patients that will benefit from shunt surgery. The infusion test can be divided into three parts: a mathematical model, an infusion protocol and a parameter estimation method. A non-linear differential equation is used...

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.

Mathematical methods in systems biology.

Science.gov (United States)

Kashdan, Eugene; Duncan, Dominique; Parnell, Andrew; Schattler, Heinz

2016-12-01

The editors of this Special Issue of Mathematical Biosciences and Engineering were the organizers for the Third International Workshop "Mathematical Methods in System Biology" that took place on June 15-18, 2015 at the University College Dublin in Ireland. As stated in the workshop goals, we managed to attract a good mix of mathematicians and statisticians working on biological and medical applications with biologists and clinicians interested in presenting their challenging problems and looking to find mathematical and statistical tools for their solutions.

System-wide versus component-specific trust using multiple aids.

Science.gov (United States)

Keller, David; Rice, Stephen

2010-01-01

Previous research in operator trust toward automated aids has focused primarily on single aids. The current study focuses on how operator trust is affected by the presence of multiple aids. Two competing theories of multiple-trust are presented. A component-specific trust theory predicts that operators will differentially place their trust in automated aids that vary in reliability. A system-wide trust theory predicts that operators will treat multiple imperfect aids as one "system" and merge their trust across aids despite differences in the aids' reliability. A simulated flight task was used to test these theories, whereby operators performed a pursuit tracking task while concurrently monitoring multiple system gauges that were augmented with perfect or imperfect automated aids. The data revealed that a system-wide trust theory best predicted the data; operators merged their trust across both aids, behaving toward a perfectly reliable aid in the same manner as they did towards unreliable aids.

Computer-based image studies on tumor nests mathematical features of breast cancer and their clinical prognostic value.

Science.gov (United States)

Wang, Lin-Wei; Qu, Ai-Ping; Yuan, Jing-Ping; Chen, Chuang; Sun, Sheng-Rong; Hu, Ming-Bai; Liu, Juan; Li, Yan

2013-01-01

The expending and invasive features of tumor nests could reflect the malignant biological behaviors of breast invasive ductal carcinoma. Useful information on cancer invasiveness hidden within tumor nests could be extracted and analyzed by computer image processing and big data analysis. Tissue microarrays from invasive ductal carcinoma (n = 202) were first stained with cytokeratin by immunohistochemical method to clearly demarcate the tumor nests. Then an expert-aided computer analysis system was developed to study the mathematical and geometrical features of the tumor nests. Computer recognition system and imaging analysis software extracted tumor nests information, and mathematical features of tumor nests were calculated. The relationship between tumor nests mathematical parameters and patients' 5-year disease free survival was studied. There were 8 mathematical parameters extracted by expert-aided computer analysis system. Three mathematical parameters (number, circularity and total perimeter) with area under curve >0.5 and 4 mathematical parameters (average area, average perimeter, total area/total perimeter, average (area/perimeter)) with area under curve nests could be a useful parameter to predict the prognosis of early stage breast invasive ductal carcinoma.

Noncommutative mathematics for quantum systems

CERN Document Server

Franz, Uwe

2016-01-01

Noncommutative mathematics is a significant new trend of mathematics. Initially motivated by the development of quantum physics, the idea of 'making theory noncommutative' has been extended to many areas of pure and applied mathematics. This book is divided into two parts. The first part provides an introduction to quantum probability, focusing on the notion of independence in quantum probability and on the theory of quantum stochastic processes with independent and stationary increments. The second part provides an introduction to quantum dynamical systems, discussing analogies with fundamental problems studied in classical dynamics. The desire to build an extension of the classical theory provides new, original ways to understand well-known 'commutative' results. On the other hand the richness of the quantum mathematical world presents completely novel phenomena, never encountered in the classical setting. This book will be useful to students and researchers in noncommutative probability, mathematical physi...

Adaptive intrusion data system (AIDS) software routines

International Nuclear Information System (INIS)

Corlis, N.E.

1980-07-01

An Adaptive Intrusion Data System (AIDS) was developed to collect information from intrusion alarm sensors as part of an evaluation system to improve sensor performance. AIDS is a unique digital data-compression, storage, and formatting system; it also incorporates a capability for video selection and recording for assessment of the sensors monitored by the system. The system is software reprogrammable to numerous configurations that may be used for the collection of environmental, bilevel, analog, and video data. This report describes the software routines that control the different AIDS data-collection modes, the diagnostic programs to test the operating hardware, and the data format. Sample data printouts are also included

Computer-aided mathematical analysis of probability of intercept for ground-based communication intercept system

Science.gov (United States)

Park, Sang Chul

1989-09-01

We develop a mathematical analysis model to calculate the probability of intercept (POI) for the ground-based communication intercept (COMINT) system. The POI is a measure of the effectiveness of the intercept system. We define the POI as the product of the probability of detection and the probability of coincidence. The probability of detection is a measure of the receiver's capability to detect a signal in the presence of noise. The probability of coincidence is the probability that an intercept system is available, actively listening in the proper frequency band, in the right direction and at the same time that the signal is received. We investigate the behavior of the POI with respect to the observation time, the separation distance, antenna elevations, the frequency of the signal, and the receiver bandwidths. We observe that the coincidence characteristic between the receiver scanning parameters and the signal parameters is the key factor to determine the time to obtain a given POI. This model can be used to find the optimal parameter combination to maximize the POI in a given scenario. We expand this model to a multiple system. This analysis is conducted on a personal computer to provide the portability. The model is also flexible and can be easily implemented under different situations.

Design Aids for Real-Time Systems (DARTS)

Science.gov (United States)

Szulewski, P. A.

1982-01-01

Design-Aids for Real-Time Systems (DARTS) is a tool that assists in defining embedded computer systems through tree structured graphics, military standard documentation support, and various analyses including automated Software Science parameter counting and metrics calculation. These analyses provide both static and dynamic design quality feedback which can potentially aid in producing efficient, high quality software systems.

Operator aid system for Dhruva fueling machine

International Nuclear Information System (INIS)

Misra, S.M.; Ramaswamy, L.R.; Gohel, N.; Bharadwaj, G.; Ranade, M.R.; Khadilkar, M.G.

1997-01-01

Systems with significant software contents are replacing the old hardware logic systems. These systems not only are versatile but are easy to make changes in the program. Extensive use of such systems in critical real-time operation environment warrants not only excessive training on simulators, documentation but also fault tolerant system to bring the operation to a safe state in case of error. With new graphic user software interface and advancement in personal computer hardware design, the dynamic status of the physical environment can be shown on the visual display at near real time. These visual aids along with the software covering all the interlocks aids an operator in his professional work. This paper highlights the operator aid system for Dhruva fueling machine. (author). 6 refs., 1 fig

VIP: A knowledge-based design aid for the engineering of space systems

Science.gov (United States)

Lewis, Steven M.; Bellman, Kirstie L.

1990-01-01

The Vehicles Implementation Project (VIP), a knowledge-based design aid for the engineering of space systems is described. VIP combines qualitative knowledge in the form of rules, quantitative knowledge in the form of equations, and other mathematical modeling tools. The system allows users rapidly to develop and experiment with models of spacecraft system designs. As information becomes available to the system, appropriate equations are solved symbolically and the results are displayed. Users may browse through the system, observing dependencies and the effects of altering specific parameters. The system can also suggest approaches to the derivation of specific parameter values. In addition to providing a tool for the development of specific designs, VIP aims at increasing the user's understanding of the design process. Users may rapidly examine the sensitivity of a given parameter to others in the system and perform tradeoffs or optimizations of specific parameters. A second major goal of VIP is to integrate the existing corporate knowledge base of models and rules into a central, symbolic form.

Mathematical models for therapeutic approaches to control HIV disease transmission

CERN Document Server

Roy, Priti Kumar

2015-01-01

The book discusses different therapeutic approaches based on different mathematical models to control the HIV/AIDS disease transmission. It uses clinical data, collected from different cited sources, to formulate the deterministic as well as stochastic mathematical models of HIV/AIDS. It provides complementary approaches, from deterministic and stochastic points of view, to optimal control strategy with perfect drug adherence and also tries to seek viewpoints of the same issue from different angles with various mathematical models to computer simulations. The book presents essential methods and techniques for students who are interested in designing epidemiological models on HIV/AIDS. It also guides research scientists, working in the periphery of mathematical modeling, and helps them to explore a hypothetical method by examining its consequences in the form of a mathematical modelling and making some scientific predictions. The model equations, mathematical analysis and several numerical simulations that are...

On the Nature of and Teachers' Goals for Students' Mathematical Argumentation in High School Classrooms

Science.gov (United States)

Howell, Tracey H.

2013-01-01

In an era of new standards and emerging accountability systems, an understanding of the supports needed to aid teachers and students in making necessary transitions in mathematics teaching and learning is critical. Given the established research base demonstrating the importance of justification and reasoning in students' mathematics learning and…

A mathematical model on Acquired Immunodeficiency Syndrome

Directory of Open Access Journals (Sweden)

Buddhadeo Mahato

2014-10-01

Full Text Available A mathematical model SEIA (susceptible-exposed-infectious-AIDS infected with vertical transmission of AIDS epidemic is formulated. AIDS is one of the largest health problems, the world is currently facing. Even with anti-retroviral therapies (ART, many resource-constrained countries are unable to meet the treatment needs of their infected populations. We consider a function of number of AIDS cases in a community with an inverse relation. A stated theorem with proof and an example to illustrate it, is given to find the equilibrium points of the model. The disease-free equilibrium of the model is investigated by finding next generation matrix and basic reproduction number R0 of the model. The disease-free equilibrium of the AIDS model system is locally asymptotically stable if R0⩽1 and unstable if R0>1. Finally, numerical simulations are presented to illustrate the results.

Towards intelligent diagnostic system employing integration of mathematical and engineering model

International Nuclear Information System (INIS)

Isa, Nor Ashidi Mat

2015-01-01

as mathematical model of clustering technique have been widely used in developing the medical diagnostic systems. The selected features will be classified using mathematical models that embedded engineering theory such as artificial intelligence, support vector machine, neural network and fuzzy-neuro system. These classifiers will provide the diagnostic results without human intervention. Among many publishable researches, several prototypes have been developed namely NeuralPap, Neural Mammo, and Cervix Kit. The former system (NeuralPap) is an automatic intelligent diagnostic system for classifying and distinguishing between the normal and cervical cancerous cells. Meanwhile, the Cervix Kit is a portable Field-programmable gate array (FPGA)-based cervical diagnostic kit that could automatically diagnose the cancerous cell based on the images obtained during sampling test. Besides the cervical diagnostic system, the Neural Mammo system is developed to specifically aid the diagnosis of breast cancer using a fine needle aspiration image

Towards intelligent diagnostic system employing integration of mathematical and engineering model

Science.gov (United States)

Isa, Nor Ashidi Mat

2015-05-01

as mathematical model of clustering technique have been widely used in developing the medical diagnostic systems. The selected features will be classified using mathematical models that embedded engineering theory such as artificial intelligence, support vector machine, neural network and fuzzy-neuro system. These classifiers will provide the diagnostic results without human intervention. Among many publishable researches, several prototypes have been developed namely NeuralPap, Neural Mammo, and Cervix Kit. The former system (NeuralPap) is an automatic intelligent diagnostic system for classifying and distinguishing between the normal and cervical cancerous cells. Meanwhile, the Cervix Kit is a portable Field-programmable gate array (FPGA)-based cervical diagnostic kit that could automatically diagnose the cancerous cell based on the images obtained during sampling test. Besides the cervical diagnostic system, the Neural Mammo system is developed to specifically aid the diagnosis of breast cancer using a fine needle aspiration image.

Towards intelligent diagnostic system employing integration of mathematical and engineering model

Energy Technology Data Exchange (ETDEWEB)

Isa, Nor Ashidi Mat [Imaging and Intelligent System Research Team (ISRT), School of Electrical and Electronic Engineering, Engineering Campus, Universiti Sains Malaysia, 14300 Nibong Tebal, Penang (Malaysia)

2015-05-15

as mathematical model of clustering technique have been widely used in developing the medical diagnostic systems. The selected features will be classified using mathematical models that embedded engineering theory such as artificial intelligence, support vector machine, neural network and fuzzy-neuro system. These classifiers will provide the diagnostic results without human intervention. Among many publishable researches, several prototypes have been developed namely NeuralPap, Neural Mammo, and Cervix Kit. The former system (NeuralPap) is an automatic intelligent diagnostic system for classifying and distinguishing between the normal and cervical cancerous cells. Meanwhile, the Cervix Kit is a portable Field-programmable gate array (FPGA)-based cervical diagnostic kit that could automatically diagnose the cancerous cell based on the images obtained during sampling test. Besides the cervical diagnostic system, the Neural Mammo system is developed to specifically aid the diagnosis of breast cancer using a fine needle aspiration image.

Mathematical models of information and stochastic systems

CERN Document Server

Kornreich, Philipp

2008-01-01

From ancient soothsayers and astrologists to today's pollsters and economists, probability theory has long been used to predict the future on the basis of past and present knowledge. Mathematical Models of Information and Stochastic Systems shows that the amount of knowledge about a system plays an important role in the mathematical models used to foretell the future of the system. It explains how this known quantity of information is used to derive a system's probabilistic properties. After an introduction, the book presents several basic principles that are employed in the remainder of the t

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.

Kansas Nursing Home Medication Aide Curriculum. Revised.

Science.gov (United States)

Bartel, Myrna J.; Fornelli, Linda K.

This curriculum guide is designed to aid Kansas instructors in conducting a course for teaching nursing home medication aides. Covered first are various introductory topics such as the role and responsibilities of medication aides, pharmacodynamics, forms in which medication is now available, common medical abbreviations, mathematics and weights…

Assessing the impact of homelessness on HIV/AIDS transmission dynamics

OpenAIRE

C.P. Bhunu

2015-01-01

Care for the people living with HIV/AIDS is more than the provision of antiretroviral therapy. The effects of homelessness on HIV/AIDS transmission are captured through a mathematical model. The mathematical model is rigorously analyzed. The disease-free equilibrium is globally asymptotically stable when the reproduction number is less than unity. Results from the analysis of the reproduction number suggests that homelessness enhances both HIV transmission and progression to the AIDS stage. T...

Implementing Computer Algebra Enabled Questions for the Assessment and Learning of Mathematics

Science.gov (United States)

Sangwin, Christopher J.; Naismith, Laura

2008-01-01

We present principles for the design of an online system to support computer algebra enabled questions for use within the teaching and learning of mathematics in higher education. The introduction of a computer algebra system (CAS) into a computer aided assessment (CAA) system affords sophisticated response processing of student provided answers.…

Development of computer-aided design system of elastic sensitive elements of automatic metering devices

Science.gov (United States)

Kalinkina, M. E.; Kozlov, A. S.; Labkovskaia, R. I.; Pirozhnikova, O. I.; Tkalich, V. L.; Shmakov, N. A.

2018-05-01

The object of research is the element base of devices of control and automation systems, including in its composition annular elastic sensitive elements, methods of their modeling, calculation algorithms and software complexes for automation of their design processes. The article is devoted to the development of the computer-aided design system of elastic sensitive elements used in weight- and force-measuring automation devices. Based on the mathematical modeling of deformation processes in a solid, as well as the results of static and dynamic analysis, the calculation of elastic elements is given using the capabilities of modern software systems based on numerical simulation. In the course of the simulation, the model was a divided hexagonal grid of finite elements with a maximum size not exceeding 2.5 mm. The results of modal and dynamic analysis are presented in this article.

The Empathizing-Systemizing Theory, Social Abilities, and Mathematical Achievement in Children.

Science.gov (United States)

Escovar, Emily; Rosenberg-Lee, Miriam; Uddin, Lucina Q; Menon, Vinod

2016-03-14

The Empathizing-Systemizing (E-S) theory describes a profile of traits that have been linked to autism spectrum disorders, and are thought to encompass a continuum that includes typically developing (TD) individuals. Although systemizing is hypothesized to be related to mathematical abilities, empirical support for this relationship is lacking. We examine the link between empathizing and systemizing tendencies and mathematical achievement in 112 TD children (57 girls) to elucidate how socio-cognitive constructs influence early development of mathematical skills. Assessment of mathematical achievement included standardized tests designed to examine calculation skills and conceptual mathematical reasoning. Empathizing and systemizing were assessed using the Combined Empathy Quotient-Child (EQ-C) and Systemizing Quotient-Child (SQ-C). Contrary to our hypothesis, we found that mathematical achievement was not related to systemizing or the discrepancy between systemizing and empathizing. Surprisingly, children with higher empathy demonstrated lower calculation skills. Further analysis using the Social Responsiveness Scale (SRS) revealed that the relationship between EQ-C and mathematical achievement was mediated by social ability rather than autistic behaviors. Finally, social awareness was found to play a differential role in mediating the relationship between EQ-C and mathematical achievement in girls. These results identify empathy, and social skills more generally, as previously unknown predictors of mathematical achievement.

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.

MVPACK: a computer-aided design tool for multivariable control systems

International Nuclear Information System (INIS)

Mensah, S.; Frketich, G.

1985-10-01

The design and analysis of high-performance controllers for complex plants require a collection of interactive, powerful computer software. MVPACK, an open-ended package for the computer-aided design of control systems, has been developed in the Reactor Control Branch of the Chalk River Nuclear Laboratories. The package is fully interactive and includes a comprehensive state-of-the-art mathematical library to support development of complex, multivariable, control algorithms. Coded in RATFOR, MVPACK is portable with minimal changes. It operates with a flexible data structure which makes efficient use of minicomputer resources and provides a standard framework for program generation. The existence of a help mechanism enhances the simplicity of package utilization. This paper provides a brief tutorial overview of the package. It reviews the specifications used in the design and implementation of the package and briefly describes the database structure, supporting libraries and some design and analysis modules of MVPACK. Several application examples to illustrate the capability of the package are given. Experience with MVPACK shows that the package provides a synergistic environment for the design of control and regulation systems, and that it is a unique tool for training of control system engineers

Computer-aided system for cryogenic research facilities

International Nuclear Information System (INIS)

Gerasimov, V.P.; Zhelamsky, M.V.; Mozin, I.V.; Repin, S.S.

1994-01-01

A computer-aided system is developed for the more effective choice and optimization of the design and manufacturing technologies of the superconductor for the magnet system of the International Thermonuclear Experimental Reactor (ITER) with the aim to ensure the superconductor certification. The computer-aided system provides acquisition, processing, storage and display of data describing the proceeding tests, the detection of any parameter deviations and their analysis. Besides, it generates commands for the equipment switch off in emergency situations. ((orig.))

System Design as a Creative Mathematical Activity

NARCIS (Netherlands)

Wupper, Hanno; Mader, Angelika H.

1999-01-01

This paper contributes to the understanding of rational systems design and verification. We give evidence that the rôle of mathematics in development and verification is not limited to useful calculations: Ideally, designing is a creative mathematical activity, which comprises finding a theorem, if

A mathematical model for surface roughness of fluidic channels produced by grinding aided electrochemical discharge machining (G-ECDM

Directory of Open Access Journals (Sweden)

Ladeesh V. G.

2017-01-01

Full Text Available Grinding aided electrochemical discharge machining is a hybrid technique, which combines the grinding action of an abrasive tool and thermal effects of electrochemical discharges to remove material from the workpiece for producing complex contours. The present study focuses on developing fluidic channels on borosilicate glass using G-ECDM and attempts to develop a mathematical model for surface roughness of the machined channel. Preliminary experiments are conducted to study the effect of machining parameters on surface roughness. Voltage, duty factor, frequency and tool feed rate are identified as the significant factors for controlling surface roughness of the channels produced by G-ECDM. A mathematical model was developed for surface roughness by considering the grinding action and thermal effects of electrochemical discharges in material removal. Experiments are conducted to validate the model and the results obtained are in good agreement with that predicted by the model.

A MATLAB-Aided Method for Teaching Calculus-Based Business Mathematics

Science.gov (United States)

Liang, Jiajuan; Pan, William S. Y.

2009-01-01

MATLAB is a powerful package for numerical computation. MATLAB contains a rich pool of mathematical functions and provides flexible plotting functions for illustrating mathematical solutions. The course of calculus-based business mathematics consists of two major topics: 1) derivative and its applications in business; and 2) integration and its…

Assessing the impact of homelessness on HIV/AIDS transmission dynamics

Directory of Open Access Journals (Sweden)

C.P. Bhunu

2015-12-01

Full Text Available Care for the people living with HIV/AIDS is more than the provision of antiretroviral therapy. The effects of homelessness on HIV/AIDS transmission are captured through a mathematical model. The mathematical model is rigorously analyzed. The disease-free equilibrium is globally asymptotically stable when the reproduction number is less than unity. Results from the analysis of the reproduction number suggests that homelessness enhances both HIV transmission and progression to the AIDS stage. This is further supported by numerical simulations which show that some elements of homelessness (lack of entertainment enhances HIV/AIDS transmission.

Modeling life the mathematics of biological systems

CERN Document Server

Garfinkel, Alan; Guo, Yina

2017-01-01

From predator-prey populations in an ecosystem, to hormone regulation within the body, the natural world abounds in dynamical systems that affect us profoundly. This book develops the mathematical tools essential for students in the life sciences to describe these interacting systems and to understand and predict their behavior. Complex feedback relations and counter-intuitive responses are common in dynamical systems in nature; this book develops the quantitative skills needed to explore these interactions. Differential equations are the natural mathematical tool for quantifying change, and are the driving force throughout this book. The use of Euler’s method makes nonlinear examples tractable and accessible to a broad spectrum of early-stage undergraduates, thus providing a practical alternative to the procedural approach of a traditional Calculus curriculum. Tools are developed within numerous, relevant examples, with an emphasis on the construction, evaluation, and interpretation of mathematical models ...

Automation of reliability evaluation procedures through CARE - The computer-aided reliability estimation program.

Science.gov (United States)

Mathur, F. P.

1972-01-01

Description of an on-line interactive computer program called CARE (Computer-Aided Reliability Estimation) which can model self-repair and fault-tolerant organizations and perform certain other functions. Essentially CARE consists of a repository of mathematical equations defining the various basic redundancy schemes. These equations, under program control, are then interrelated to generate the desired mathematical model to fit the architecture of the system under evaluation. The mathematical model is then supplied with ground instances of its variables and is then evaluated to generate values for the reliability-theoretic functions applied to the model.

A quest towards a mathematical theory of living systems

CERN Document Server

Bellomo, Nicola; Gibelli, Livio; Outada, Nisrine

2017-01-01

This monograph aims to lay the groundwork for the design of a unified mathematical approach to the modeling and analysis of large, complex systems composed of interacting living things. Drawing on twenty years of research in various scientific fields, it explores how mathematical kinetic theory and evolutionary game theory can be used to understand the complex interplay between mathematical sciences and the dynamics of living systems. The authors hope this will contribute to the development of new tools and strategies, if not a new mathematical theory. The first chapter discusses the main features of living systems and outlines a strategy for their modeling. The following chapters then explore some of the methods needed to potentially achieve this in practice. Chapter Two provides a brief introduction to the mathematical kinetic theory of classical particles, with special emphasis on the Boltzmann equation; the Enskog equation, mean field models, and Monte Carlo methods are also briefly covered. Chapter Three...

Development of lane change aid system; Lane change aid system no kaihatsu

Energy Technology Data Exchange (ETDEWEB)

Uemura, H; Yoshida, T; Butsuen, T [Mazda Motor Corp., Hiroshima (Japan); Sakai, N; Nakano, T; Nakamoto, T

1997-10-01

We have developed a lane change aid system, which detects vehicles behind in adjacent lanes with CCD images, shows the driver the information of vehicle location with a head-up display, and warns him/her if necessary. By comparing the brightness on two CCD images, distance distribution along several CCD lines is measured. To assure the effective vehicle detection on public roads, we have developed a detection algorithm which distinguishes vehicles and guard-rails by observing the patterns of measured distances. We will show the system configuration, detection logic, and the system evaluation on public road. 5 refs., 12 figs.

MATHEMATICAL MODEL OF TRIAXIAL MULTIMODE ATTITUDE AND HEADING REFERENCE SYSTEM

Directory of Open Access Journals (Sweden)

Olha Sushchenko

2017-07-01

Full Text Available Purpose: The paper deals with the mathematical description of the gimballed attitude and heading reference systems, which can be applied in design of strategic precision navigation systems. The main goal is to created mathematical description taking into consideration the necessity to use different navigations operating modes of this class of navigation systems. To provide the high accuracy the indirect control is used when the position of the gimballed platform is controlled by signals of gyroscopic devices, which are corrected using accelerometer’s signals. Methods: To solve the given problem the methods of the classical theoretical mechanics, gyro theory, and inertial navigation are used. Results: The full mathematical model of the gimballed attitude and heading reference system is derived including descriptions of different operating modes. The mathematical models of the system Expressions for control and correction moments in the different modes are represented. The simulation results are given. Conclusions: The represented results prove efficiency of the proposed models. Developed mathematical models can be useful for design of navigation systems of the wide class of moving vehicles.

The Applied Mathematics for Power Systems (AMPS)

Energy Technology Data Exchange (ETDEWEB)

Chertkov, Michael [Los Alamos National Laboratory

2012-07-24

Increased deployment of new technologies, e.g., renewable generation and electric vehicles, is rapidly transforming electrical power networks by crossing previously distinct spatiotemporal scales and invalidating many traditional approaches for designing, analyzing, and operating power grids. This trend is expected to accelerate over the coming years, bringing the disruptive challenge of complexity, but also opportunities to deliver unprecedented efficiency and reliability. Our Applied Mathematics for Power Systems (AMPS) Center will discover, enable, and solve emerging mathematics challenges arising in power systems and, more generally, in complex engineered networks. We will develop foundational applied mathematics resulting in rigorous algorithms and simulation toolboxes for modern and future engineered networks. The AMPS Center deconstruction/reconstruction approach 'deconstructs' complex networks into sub-problems within non-separable spatiotemporal scales, a missing step in 20th century modeling of engineered networks. These sub-problems are addressed within the appropriate AMPS foundational pillar - complex systems, control theory, and optimization theory - and merged or 'reconstructed' at their boundaries into more general mathematical descriptions of complex engineered networks where important new questions are formulated and attacked. These two steps, iterated multiple times, will bridge the growing chasm between the legacy power grid and its future as a complex engineered network.

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.

Evaluation of computer-aided detection and diagnosis systems.

Science.gov (United States)

Petrick, Nicholas; Sahiner, Berkman; Armato, Samuel G; Bert, Alberto; Correale, Loredana; Delsanto, Silvia; Freedman, Matthew T; Fryd, David; Gur, David; Hadjiiski, Lubomir; Huo, Zhimin; Jiang, Yulei; Morra, Lia; Paquerault, Sophie; Raykar, Vikas; Samuelson, Frank; Summers, Ronald M; Tourassi, Georgia; Yoshida, Hiroyuki; Zheng, Bin; Zhou, Chuan; Chan, Heang-Ping

2013-08-01

Computer-aided detection and diagnosis (CAD) systems are increasingly being used as an aid by clinicians for detection and interpretation of diseases. Computer-aided detection systems mark regions of an image that may reveal specific abnormalities and are used to alert clinicians to these regions during image interpretation. Computer-aided diagnosis systems provide an assessment of a disease using image-based information alone or in combination with other relevant diagnostic data and are used by clinicians as a decision support in developing their diagnoses. While CAD systems are commercially available, standardized approaches for evaluating and reporting their performance have not yet been fully formalized in the literature or in a standardization effort. This deficiency has led to difficulty in the comparison of CAD devices and in understanding how the reported performance might translate into clinical practice. To address these important issues, the American Association of Physicists in Medicine (AAPM) formed the Computer Aided Detection in Diagnostic Imaging Subcommittee (CADSC), in part, to develop recommendations on approaches for assessing CAD system performance. The purpose of this paper is to convey the opinions of the AAPM CADSC members and to stimulate the development of consensus approaches and "best practices" for evaluating CAD systems. Both the assessment of a standalone CAD system and the evaluation of the impact of CAD on end-users are discussed. It is hoped that awareness of these important evaluation elements and the CADSC recommendations will lead to further development of structured guidelines for CAD performance assessment. Proper assessment of CAD system performance is expected to increase the understanding of a CAD system's effectiveness and limitations, which is expected to stimulate further research and development efforts on CAD technologies, reduce problems due to improper use, and eventually improve the utility and efficacy of CAD in

Software For Computer-Aided Design Of Control Systems

Science.gov (United States)

Wette, Matthew

1994-01-01

Computer Aided Engineering System (CAESY) software developed to provide means to evaluate methods for dealing with users' needs in computer-aided design of control systems. Interpreter program for performing engineering calculations. Incorporates features of both Ada and MATLAB. Designed to be flexible and powerful. Includes internally defined functions, procedures and provides for definition of functions and procedures by user. Written in C language.

Managing Your Mathematics Program: A Total System. A Guide to the U-SAIL Basic Mathematics System.

Science.gov (United States)

Hales, Carma M.; Jones, Maurine E.

The Utah System Approach to Individual Learning (U-SAIL) Mathematics System was developed to make it possible for teachers to provide excellence in arithmetic instruction. It is based on the premise that in order to teach arithmetic well, teachers must accurately assess, teach directly, provide students with focused practice, corrective feedback,…

Herbart's mathematical psychology.

Science.gov (United States)

Boudewijnse, G J; Murray, D J; Bandomir, C A

1999-08-01

J.F. Herbart (1824/1890b) provided a mathematical theory about how mental ideas (Vorstellungen) in consciousness at Time 1 (T1) could compete, possibly driving 1 or more Vorstellungen below a threshold of consciousness. At T1 a Vorstellung A could also fuse with another, B. If at a later T2, A resurfaced into consciousness, it could help B to re-resurface into consciousness. This article describes the historical and mathematical background of Herbart's theory, outlines the mathematical theory itself with the aid of computer graphics, and argues that the theory can be applied to the modern problem of predicting recognition latencies in short-term memory (Sternberg's task; Sternberg, 1966)

Airports and Navigation Aids Database System -

Data.gov (United States)

Department of Transportation — Airport and Navigation Aids Database System is the repository of aeronautical data related to airports, runways, lighting, NAVAID and their components, obstacles, no...

Computer-aided power systems analysis

CERN Document Server

Kusic, George

2008-01-01

Computer applications yield more insight into system behavior than is possible by using hand calculations on system elements. Computer-Aided Power Systems Analysis: Second Edition is a state-of-the-art presentation of basic principles and software for power systems in steady-state operation. Originally published in 1985, this revised edition explores power systems from the point of view of the central control facility. It covers the elements of transmission networks, bus reference frame, network fault and contingency calculations, power flow on transmission networks, generator base power setti

COMPUTER MATHEMATICS SYSTEMS IN STUDENTS’ LEARNING OF "INFORMATIСS"

Directory of Open Access Journals (Sweden)

Taras P. Kobylnyk

2014-04-01

Full Text Available The article describes the general characteristics of the most popular computer mathematics systems such as commercial (Maple, Mathematica, Matlab and open source (Scilab, Maxima, GRAN, Sage, as well as the conditions of use of these systems as means of fundamentalization of the educational process of bachelor of informatics. It is considered the role of CMS in bachelor of informatics training. It is identified the approaches of CMS pedagogical use while learning information and physics and mathematics disciplines. There are presented some tasks, in which we must carefully use the «responses» have been received using CMS. It is identified the promising directions of development of computer mathematics systems in high-tech environment.

Mathematical model comparing of the multi-level economics systems

Science.gov (United States)

Brykalov, S. M.; Kryanev, A. V.

2017-12-01

The mathematical model (scheme) of a multi-level comparison of the economic system, characterized by the system of indices, is worked out. In the mathematical model of the multi-level comparison of the economic systems, the indicators of peer review and forecasting of the economic system under consideration can be used. The model can take into account the uncertainty in the estimated values of the parameters or expert estimations. The model uses the multi-criteria approach based on the Pareto solutions.

Сontrol systems using mathematical models of technological objects ...

African Journals Online (AJOL)

Сontrol systems using mathematical models of technological objects in the control loop. ... Journal of Fundamental and Applied Sciences ... Such mathematical models make it possible to specify the optimal operating modes of the considered ...

Computer aided instrumented Charpy test applied dynamic fracture toughness evaluation system

International Nuclear Information System (INIS)

Kobayashi, Toshiro; Niinomi, Mitsuo

1986-01-01

Micro computer aided data treatment system and personal computer aided data analysis system were applied to the traditional instrumented Charpy impact test system. The analysis of Charpy absorbed energy (E i , E p , E t ) and load (P y , P m ), and the evaluation of dynamic toughness through whole fracture process, i.e. J Id , J R curve and T mat was examined using newly developed computer aided instrumented Charpy impact test system. E i , E p , E t , P y and P m were effectively analyzed using moving average method and printed out automatically by micro computer aided data treatment system. J Id , J R curve and T mat could be measured by stop block test method. Then, J Id , J R curve and T mat were effectively estimated using compliance changing rate method and key curve method on the load-load point displacement curve of single fatigue cracked specimen by personal computer aided data analysis system. (author)

A novel AIDS/HIV intelligent medical consulting system based on expert systems.

Science.gov (United States)

Ebrahimi, Alireza Pour; Toloui Ashlaghi, Abbas; Mahdavy Rad, Maryam

2013-01-01

The purpose of this paper is to propose a novel intelligent model for AIDS/HIV data based on expert system and using it for developing an intelligent medical consulting system for AIDS/HIV. In this descriptive research, 752 frequently asked questions (FAQs) about AIDS/HIV are gathered from numerous websites about this disease. To perform the data mining and extracting the intelligent model, the 6 stages of Crisp method has been completed for FAQs. The 6 stages include: Business understanding, data understanding, data preparation, modelling, evaluation and deployment. C5.0 Tree classification algorithm is used for modelling. Also, rational unified process (RUP) is used to develop the web-based medical consulting software. Stages of RUP are as follows: Inception, elaboration, construction and transition. The intelligent developed model has been used in the infrastructure of the software and based on client's inquiry and keywords related FAQs are displayed to the client, according to the rank. FAQs' ranks are gradually determined considering clients reading it. Based on displayed FAQs, test and entertainment links are also displayed. The accuracy of the AIDS/HIV intelligent web-based medical consulting system is estimated to be 78.76%. AIDS/HIV medical consulting systems have been developed using intelligent infrastructure. Being equipped with an intelligent model, providing consulting services on systematic textual data and providing side services based on client's activities causes the implemented system to be unique. The research has been approved by Iranian Ministry of Health and Medical Education for being practical.

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

Science.gov (United States)

Choi, Kup-Sze; Chan, Tak-Yin

2015-03-01

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

General systems theory mathematical foundations

CERN Document Server

Mesarovic, Mihajlo D

1975-01-01

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrange interpolation; methods of system representation subject to constraints associated with concepts of causality, memory and stationarity; methods of system representation with an accuracy that is the best within a given class of models; methods of covariance matrix estimation;methods for low-rank mat

MVPACK: a package for the computer-aided design of multivariable control systems

International Nuclear Information System (INIS)

Mensah, S.

1984-01-01

The design and analysis of high performing controllers for large complex plants require a collection of interactive, powerful computer software. MVPACK, an open-ended package for the computer aided design of control systems has been developed in the Reactor Control Branch of the Chalk River Nuclear Laboratories. The package is fully interactive, and includes a comprehensive state-of-the-art mathematical library to support development of complex multivariable control algorithms. Coded in RATFOR, MVPACK operates with a flexible data structure which makes efficient use of minicomputer resources and provides a standard framework for program generation. The existence of a help mechanism enhances the simplicity of package utilization. This report provides the technical description of the package. It reviews the specifications used in the design and implementation of the package. The database structure, the supporting libraries and the design and analysis modules of MVPACK are described. The report includes several application examples to illustrate the capability of the package. Experience with MVPACK shows that the package provides a synergistic environment for control and regulation systems design, and that it is a unique tool in training of control system engineers

Mathematical modeling of physiological systems: an essential tool for discovery.

Science.gov (United States)

Glynn, Patric; Unudurthi, Sathya D; Hund, Thomas J

2014-08-28

Mathematical models are invaluable tools for understanding the relationships between components of a complex system. In the biological context, mathematical models help us understand the complex web of interrelations between various components (DNA, proteins, enzymes, signaling molecules etc.) in a biological system, gain better understanding of the system as a whole, and in turn predict its behavior in an altered state (e.g. disease). Mathematical modeling has enhanced our understanding of multiple complex biological processes like enzyme kinetics, metabolic networks, signal transduction pathways, gene regulatory networks, and electrophysiology. With recent advances in high throughput data generation methods, computational techniques and mathematical modeling have become even more central to the study of biological systems. In this review, we provide a brief history and highlight some of the important applications of modeling in biological systems with an emphasis on the study of excitable cells. We conclude with a discussion about opportunities and challenges for mathematical modeling going forward. In a larger sense, the review is designed to help answer a simple but important question that theoreticians frequently face from interested but skeptical colleagues on the experimental side: "What is the value of a model?" Copyright © 2014 Elsevier Inc. All rights reserved.

Computer-aided dispatching system design specification

Energy Technology Data Exchange (ETDEWEB)

Briggs, M.G.

1997-12-16

This document defines the performance requirements for a graphic display dispatching system to support Hanford Patrol Operations Center. This document reflects the as-built requirements for the system that was delivered by GTE Northwest, Inc. This system provided a commercial off-the-shelf computer-aided dispatching system and alarm monitoring system currently in operations at the Hanford Patrol Operations Center, Building 2721E. This system also provides alarm back-up capability for the Plutonium Finishing Plant (PFP).

Computer-aided dispatching system design specification

International Nuclear Information System (INIS)

Briggs, M.G.

1997-01-01

This document defines the performance requirements for a graphic display dispatching system to support Hanford Patrol Operations Center. This document reflects the as-built requirements for the system that was delivered by GTE Northwest, Inc. This system provided a commercial off-the-shelf computer-aided dispatching system and alarm monitoring system currently in operations at the Hanford Patrol Operations Center, Building 2721E. This system also provides alarm back-up capability for the Plutonium Finishing Plant (PFP)

An Excel-Aided Method for Teaching Calculus-Based Business Mathematics

Science.gov (United States)

Liang, Jiajuan; Martin, Linda

2008-01-01

Calculus-based business mathematics is a required quantitative course for undergraduate business students in most AACSB accredited schools or colleges of business. Many business students, however, have relatively weak mathematical background or even display math-phobia when presented with calculus problems. Because of the popularity of Excel, its…

Meta-hierarchical-heuristic-mathematical- model of loading problems in flexible manufacturing system for development of an intelligent approach

Directory of Open Access Journals (Sweden)

Ranbir Singh

2016-04-01

Full Text Available Flexible manufacturing system (FMS promises a wide range of manufacturing benefits in terms of flexibility and productivity. These benefits are targeted by efficient production planning. Part type selection, machine grouping, deciding production ratio, resource allocation and machine loading are five identified production planning problems. Machine loading is the most identified complex problem solved with aid of computers. System up gradation and newer technology adoption are the primary needs of efficient FMS generating new scopes of research in the field. The literature review is carried and the critical analysis is being executed in the present work. This paper presents the outcomes of the mathematical modelling techniques for loading of machines in FMS’s. It was also analysed that the mathematical modelling is necessary for accurate and reliable analysis for practical applications. However, excessive computations need to be avoided and heuristics have to be used for real-world problems. This paper presents the heuristics-mathematical modelling of loading problem with machine processing time as primary input. The aim of the present work is to solve a real-world machine loading problem with an objective of balancing the workload of the FMS with decreased computational time. A Matlab code is developed for the solution and the results are found most accurate and reliable as presented in the paper.

Summer School Mathematical Foundations of Complex Networked Information Systems

CERN Document Server

Fosson, Sophie; Ravazzi, Chiara

2015-01-01

Introducing the reader to the mathematics beyond complex networked systems, these lecture notes investigate graph theory, graphical models, and methods from statistical physics. Complex networked systems play a fundamental role in our society, both in everyday life and in scientific research, with applications ranging from physics and biology to economics and finance. The book is self-contained, and requires only an undergraduate mathematical background.

International Summer School on Mathematical Systems Theory and Economics

CERN Document Server

Szegö, G

1969-01-01

The International Summer School on Mathematical Systems Theory and Economics was held at the Villa Monastero in Varenna, Italy, from June 1 through June 12, 1967. The objective of this Summer School was to review the state of the art and the prospects for the application of the mathematical theory of systems to the study and the solution of economic problems. Particular emphasis was given to the use of the mathematical theory of control for the solution of problems in economics. It was felt that the publication of a volume collecting most of the lectures given at the school would show the current status of the application of these methods. The papers are organized into four sections arranged into two volumes: basic theories and optimal control of economic systems which appear in the first volume, and special mathematical problems and special applications which are contained in the second volume. Within each section the papers follow in alphabetical order by author. The seven papers on basic theories are a rat...

An Evaluation of the Instructional System in Mathematics: 1977-1978.

Science.gov (United States)

Frechtling, Joy A.; And Others

The results of an evaluation of various aspects of the Instructional System in Mathematics (ISM) are presented. ISM is an objectives-based, computer-supported, management system which builds upon a previously developed mathematics curriculum. Questionnaires to school-based personnel and students, in-school observations, and interviews, were used…

Comparison of Intelligent Systems in Detecting a Child's Mathematical Gift

Science.gov (United States)

Pavlekovic, Margita; Zekic-Susac, Marijana; Djurdjevic, Ivana

2009-01-01

This paper compares the efficiency of two intelligent methods: expert systems and neural networks, in detecting children's mathematical gift at the fourth grade of elementary school. The input space for the expert system and the neural network model consisted of 60 variables describing five basic components of a child's mathematical gift…

Computer-aided control system design

International Nuclear Information System (INIS)

Lebenhaft, J.R.

1986-01-01

Control systems are typically implemented using conventional PID controllers, which are then tuned manually during plant commissioning to compensate for interactions between feedback loops. As plants increase in size and complexity, such controllers can fail to provide adequate process regulations. Multivariable methods can be utilized to overcome these limitations. At the Chalk River Nuclear Laboratories, modern control systems are designed and analyzed with the aid of MVPACK, a system of computer programs that appears to the user like a high-level calculator. The software package solves complicated control problems, and provides useful insight into the dynamic response and stability of multivariable systems

Students’ Mathematical Creative Thinking through Problem Posing Learning

Science.gov (United States)

Ulfah, U.; Prabawanto, S.; Jupri, A.

2017-09-01

The research aims to investigate the differences in enhancement of students’ mathematical creative thinking ability of those who received problem posing approach assisted by manipulative media and students who received problem posing approach without manipulative media. This study was a quasi experimental research with non-equivalent control group design. Population of this research was third-grade students of a primary school in Bandung city in 2016/2017 academic year. Sample of this research was two classes as experiment class and control class. The instrument used is a test of mathematical creative thinking ability. Based on the results of the research, it is known that the enhancement of the students’ mathematical creative thinking ability of those who received problem posing approach with manipulative media aid is higher than the ability of those who received problem posing approach without manipulative media aid. Students who get learning problem posing learning accustomed in arranging mathematical sentence become matter of story so it can facilitate students to comprehend about story

Influence of mathematical models in design of PV-Diesel systems

International Nuclear Information System (INIS)

Dufo-Lopez, Rodolfo; Bernal-Agustin, Jose L.

2008-01-01

This paper presents a study of the influence of mathematical models in the optimal design of PV-Diesel systems. For this purpose, a design tool developed by the authors, which allows obtaining the most cost effective design of a PV-Diesel system through the genetic algorithm technique, has been used. The mathematical models of some elements of the hybrid system have been improved in comparison to those usually employed in hybrid systems design programs. Furthermore, a more complete general control strategy has been developed, one that also takes into account more characteristics than those usually considered in this kind of design. Several designs have been made, evaluating the effect on the results of the different mathematical models and the novel strategy that can be considered

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.

A study on NMI report generation with computer aid diagnosis

International Nuclear Information System (INIS)

Yang Xiaona; Li Zhimin; Zhao Xiangjun; Qiu Jinping

1994-01-01

An expert system of intelligent diagnosis, computer aid diagnosis and computerized report generation and management for an nuclear medicine imaging (NMI) was performed. The mathematic model with finite set mapping for the diagnosis was evaluated. The clinical application shows, the diagnostic sensitivity and specificity of it was 85.7% ∼ 93.4% and 92% ∼ 95.6% respectively. Therefore, its application may be extended

Computer aided system for segmentation and visualization of microcalcifications in digital mammograms

International Nuclear Information System (INIS)

Reljin, B.; Reljin, I.; Milosevic, Z.; Stojic, T.

2009-01-01

Two methods for segmentation and visualization of microcalcifications in digital or digitized mammograms are described. First method is based on modern mathematical morphology, while the second one uses the multifractal approach. In the first method, by using an appropriate combination of some morphological operations, high local contrast enhancement, followed by significant suppression of background tissue, irrespective of its radiology density, is obtained. By iterative procedure, this method highly emphasizes only small bright details, possible microcalcifications. In a multifractal approach, from initial mammogram image, a corresponding multifractal 'images' are created, from which a radiologist has a freedom to change the level of segmentation. An appropriate user friendly computer aided visualization (CAV) system with embedded two methods is realized. The interactive approach enables the physician to control the level and the quality of segmentation. Suggested methods were tested through mammograms from MIAS database as a gold standard, and from clinical praxis, using digitized films and digital images from full field digital mammograph. (authors)

[Clinical skills and outcomes of chair-side computer aided design and computer aided manufacture system].

Science.gov (United States)

Yu, Q

2018-04-09

Computer aided design and computer aided manufacture (CAD/CAM) technology is a kind of oral digital system which is applied to clinical diagnosis and treatment. It overturns the traditional pattern, and provides a solution to restore defect tooth quickly and efficiently. In this paper we mainly discuss the clinical skills of chair-side CAD/CAM system, including tooth preparation, digital impression, the three-dimensional design of prosthesis, numerical control machining, clinical bonding and so on, and review the outcomes of several common kinds of materials at the same time.

Characteristics of manipulative in mathematics laboratory

Science.gov (United States)

Istiandaru, A.; Istihapsari, V.; Prahmana, R. C. I.; Setyawan, F.; Hendroanto, A.

2017-12-01

A manipulative is a teaching aid designed such that students could understand mathematical concepts by manipulating it. This article aims to provide an insight to the characteristics of manipulatives produced in the mathematics laboratory of Universitas Ahmad Dahlan, Indonesia. A case study was conducted to observe the existing manipulatives produced during the latest three years and classified the manipulatives based on the characteristics found. There are four kinds of manipulatives: constructivism manipulative, virtual manipulative, informative manipulative, and game-based manipulative. Each kinds of manipulative has different characteristics and impact towards the mathematics learning.

Computer-aided instruction system

International Nuclear Information System (INIS)

Teneze, Jean Claude

1968-01-01

This research thesis addresses the use of teleprocessing and time sharing by the RAX IBM system and the possibility to introduce a dialog with the machine to develop an application in which the computer plays the role of a teacher for different pupils at the same time. Two operating modes are thus exploited: a teacher-mode and a pupil-mode. The developed CAI (computer-aided instruction) system comprises a checker to check the course syntax in teacher-mode, a translator to trans-code the course written in teacher-mode into a form which can be processes by the execution programme, and the execution programme which presents the course in pupil-mode

Application of mathematical modeling in sustained release delivery systems.

Science.gov (United States)

Grassi, Mario; Grassi, Gabriele

2014-08-01

This review, presenting as starting point the concept of the mathematical modeling, is aimed at the physical and mathematical description of the most important mechanisms regulating drug delivery from matrix systems. The precise knowledge of the delivery mechanisms allows us to set up powerful mathematical models which, in turn, are essential for the design and optimization of appropriate drug delivery systems. The fundamental mechanisms for drug delivery from matrices are represented by drug diffusion, matrix swelling, matrix erosion, drug dissolution with possible recrystallization (e.g., as in the case of amorphous and nanocrystalline drugs), initial drug distribution inside the matrix, matrix geometry, matrix size distribution (in the case of spherical matrices of different diameter) and osmotic pressure. Depending on matrix characteristics, the above-reported variables may play a different role in drug delivery; thus the mathematical model needs to be built solely on the most relevant mechanisms of the particular matrix considered. Despite the somewhat diffident behavior of the industrial world, in the light of the most recent findings, we believe that mathematical modeling may have a tremendous potential impact in the pharmaceutical field. We do believe that mathematical modeling will be more and more important in the future especially in the light of the rapid advent of personalized medicine, a novel therapeutic approach intended to treat each single patient instead of the 'average' patient.

Mathematical Modeling of Hybrid Electrical Engineering Systems

Directory of Open Access Journals (Sweden)

A. A. Lobaty

2016-01-01

Full Text Available A large class of systems that have found application in various industries and households, electrified transportation facilities and energy sector has been classified as electrical engineering systems. Their characteristic feature is a combination of continuous and discontinuous modes of operation, which is reflected in the appearance of a relatively new term “hybrid systems”. A wide class of hybrid systems is pulsed DC converters operating in a pulse width modulation, which are non-linear systems with variable structure. Using various methods for linearization it is possible to obtain linear mathematical models that rather accurately simulate behavior of such systems. However, the presence in the mathematical models of exponential nonlinearities creates considerable difficulties in the implementation of digital hardware. The solution can be found while using an approximation of exponential functions by polynomials of the first order, that, however, violates the rigor accordance of the analytical model with characteristics of a real object. There are two practical approaches to synthesize algorithms for control of hybrid systems. The first approach is based on the representation of the whole system by a discrete model which is described by difference equations that makes it possible to synthesize discrete algorithms. The second approach is based on description of the system by differential equations. The equations describe synthesis of continuous algorithms and their further implementation in a digital computer included in the control loop system. The paper considers modeling of a hybrid electrical engineering system using differential equations. Neglecting the pulse duration, it has been proposed to describe behavior of vector components in phase coordinates of the hybrid system by stochastic differential equations containing generally non-linear differentiable random functions. A stochastic vector-matrix equation describing dynamics of the

Use of computer-aided x-ray diagnosis in oncology. [60 refs

Energy Technology Data Exchange (ETDEWEB)

Rotte, K H [Forschungsinstitut fuer Lungenkrankheiten und Tuberkulose, Berlin-Buch (German Democratic Republic)

1979-01-01

The introduction of computer-aided diagnostic reveals new perspectives for diagnostic decisions. The results of the hitherto used mathematical diagnostic models are represented. The Bayes's theorem as the most used model exhibited very different, in part unsatisfactory results. More convenient seem to be multivariate models, like discriminant analysis. Hitherto the computer-aided diagnosis was used in a relative small number of problems concerning differential diagnosis. It is necessary to compare the efficiency of the different mathematical-statistical methods.

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

Orthogonal Projector Kit (OPK) as a new teaching aids with ...

African Journals Online (AJOL)

... as a new teaching aids with innovation ICT in teaching and learning 21 st century. ... Mathematics education filled with abstract concepts, the use of teaching aids is ... This article aims to introduce and express the importance of Orthogonal ...

ECONOMIC AND MATHEMATICAL MODELING INNOVATION SYSTEMS

Directory of Open Access Journals (Sweden)

D.V. Makarov

2014-06-01

Full Text Available The paper presents one of the mathematical tools for modeling innovation processes. With the help of Kondratieff long waves can define innovation cycles. However, complexity of the innovation system implies a qualitative description. The article describes the problems of this area of research.

Optimal control for mathematical models of cancer therapies an application of geometric methods

CERN Document Server

Schättler, Heinz

2015-01-01

This book presents applications of geometric optimal control to real life biomedical problems with an emphasis on cancer treatments. A number of mathematical models for both classical and novel cancer treatments are presented as optimal control problems with the goal of constructing optimal protocols. The power of geometric methods is illustrated with fully worked out complete global solutions to these mathematically challenging problems. Elaborate constructions of optimal controls and corresponding system responses provide great examples of applications of the tools of geometric optimal control and the outcomes aid the design of simpler, practically realizable suboptimal protocols. The book blends mathematical rigor with practically important topics in an easily readable tutorial style. Graduate students and researchers in science and engineering, particularly biomathematics and more mathematical aspects of biomedical engineering, would find this book particularly useful.

A stream-based mathematical model for distributed information processing systems - SysLab system model

OpenAIRE

Klein, Cornel; Rumpe, Bernhard; Broy, Manfred

2014-01-01

In the SysLab project we develop a software engineering method based on a mathematical foundation. The SysLab system model serves as an abstract mathematical model for information systems and their components. It is used to formalize the semantics of all used description techniques such as object diagrams state automata sequence charts or data-flow diagrams. Based on the requirements for such a reference model, we define the system model including its different views and their relationships.

Theoretical Limits of Lunar Vision Aided Navigation with Inertial Navigation System

Science.gov (United States)

2015-03-26

THEORETICAL LIMITS OF LUNAR VISION AIDED NAVIGATION WITH INERTIAL NAVIGATION SYSTEM THESIS David W. Jones, Capt, USAF AFIT-ENG-MS-15-M-020 DEPARTMENT...Government and is not subject to copyright protection in the United States. AFIT-ENG-MS-15-M-020 THEORETICAL LIMITS OF LUNAR VISION AIDED NAVIGATION WITH...DISTRIBUTION UNLIMITED. AFIT-ENG-MS-15-M-020 THEORETICAL LIMITS OF LUNAR VISION AIDED NAVIGATION WITH INERTIAL NAVIGATION SYSTEM THESIS David W. Jones

A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy (II)

Science.gov (United States)

Bradford, Russell; Davenport, James H.; Sangwin, Chris

2010-01-01

A perennial problem in computer-aided assessment is that "a right answer", pedagogically speaking, is not the same thing as "a mathematically correct expression", as verified by a computer algebra system, or indeed other techniques such as random evaluation. Paper I in this series considered the difference in cases where there was "the right…

Introduction to Mathematical Systems Theory: A Behavioral Approach

NARCIS (Netherlands)

Polderman, Jan W.; Willems, J.C.

1998-01-01

This is a book about modelling, analysis, and control of linear time-invariant systems. The book uses what is called the behavioral approach towards mathematical modelling. Thus a system is viewed as a dynamical relation between manifest and latent variables. The emphasis is on dynamical systems

Mathematical Systems Theory : from Behaviors to Nonlinear Control

CERN Document Server

Julius, A; Pasumarthy, Ramkrishna; Rapisarda, Paolo; Scherpen, Jacquelien

2015-01-01

This treatment of modern topics related to mathematical systems theory forms the proceedings of a workshop, Mathematical Systems Theory: From Behaviors to Nonlinear Control, held at the University of Groningen in July 2015. The workshop celebrated the work of Professors Arjan van der Schaft and Harry Trentelman, honouring their 60th Birthdays. The first volume of this two-volume work covers a variety of topics related to nonlinear and hybrid control systems. After giving a detailed account of the state of the art in the related topic, each chapter presents new results and discusses new directions. As such, this volume provides a broad picture of the theory of nonlinear and hybrid control systems for scientists and engineers with an interest in the interdisciplinary field of systems and control theory. The reader will benefit from the expert participants’ ideas on exciting new approaches to control and system theory and their predictions of future directions for the subject that were discussed at the worksho...

Mathematical modeling and simulation of a thermal system

Science.gov (United States)

Toropoc, Mirela; Gavrila, Camelia; Frunzulica, Rodica; Toma, Petrica D.

2016-12-01

The aim of the present paper is the conception of a mathematical model and simulation of a system formed by a heatexchanger for domestic hot water preparation, a storage tank for hot water and a radiator, starting from the mathematical equations describing this system and developed using Scilab-Xcos program. The model helps to determine the evolution in time for the hot water temperature, for the return temperature in the primary circuit of the heat exchanger, for the supply temperature in the secondary circuit, the thermal power for heating and for hot water preparation to the consumer respectively. In heating systems, heat-exchangers have an important role and their performances influence the energy efficiency of the systems. In the meantime, it is very important to follow the behavior of such systems in dynamic regimes. Scilab-Xcos program can be utilized to follow the important parameters of the systems in different functioning scenarios.

Modeling and Analysis of Power Processing Systems (MAPPS). Volume 1: Technical report

Science.gov (United States)

Lee, F. C.; Rahman, S.; Carter, R. A.; Wu, C. H.; Yu, Y.; Chang, R.

1980-01-01

Computer aided design and analysis techniques were applied to power processing equipment. Topics covered include: (1) discrete time domain analysis of switching regulators for performance analysis; (2) design optimization of power converters using augmented Lagrangian penalty function technique; (3) investigation of current-injected multiloop controlled switching regulators; and (4) application of optimization for Navy VSTOL energy power system. The generation of the mathematical models and the development and application of computer aided design techniques to solve the different mathematical models are discussed. Recommendations are made for future work that would enhance the application of the computer aided design techniques for power processing systems.

Language diversity in the mathematics classroom: does a learner ...

African Journals Online (AJOL)

In this study, the researchers developed an 'aid' that would assist learners to relate mathematics terms and concepts in English with terms in their own languages. The study determined whether a visual multilingual learner companion brought change in learners' performance in mathematics. Also what the educators' views ...

S4HARA: System for HIV/AIDS resource allocation.

Science.gov (United States)

Lasry, Arielle; Carter, Michael W; Zaric, Gregory S

2008-03-26

HIV/AIDS resource allocation decisions are influenced by political, social, ethical and other factors that are difficult to quantify. Consequently, quantitative models of HIV/AIDS resource allocation have had limited impact on actual spending decisions. We propose a decision-support System for HIV/AIDS Resource Allocation (S4HARA) that takes into consideration both principles of efficient resource allocation and the role of non-quantifiable influences on the decision-making process for resource allocation. S4HARA is a four-step spreadsheet-based model. The first step serves to identify the factors currently influencing HIV/AIDS allocation decisions. The second step consists of prioritizing HIV/AIDS interventions. The third step involves allocating the budget to the HIV/AIDS interventions using a rational approach. Decision-makers can select from several rational models of resource allocation depending on availability of data and level of complexity. The last step combines the results of the first and third steps to highlight the influencing factors that act as barriers or facilitators to the results suggested by the rational resource allocation approach. Actionable recommendations are then made to improve the allocation. We illustrate S4HARA in the context of a primary healthcare clinic in South Africa. The clinic offers six types of HIV/AIDS interventions and spends US$750,000 annually on these programs. Current allocation decisions are influenced by donors, NGOs and the government as well as by ethical and religious factors. Without additional funding, an optimal allocation of the total budget suggests that the portion allotted to condom distribution be increased from 1% to 15% and the portion allotted to prevention and treatment of opportunistic infections be increased from 43% to 71%, while allocation to other interventions should decrease. Condom uptake at the clinic should be increased by changing the condom distribution policy from a pull system to a push

The Modern Hearing Aid – an Extreme System Integration Challenge

DEFF Research Database (Denmark)

Jørgensen, Ivan Harald Holger

(Application Specific Integrated Circuit) to produce a competitive advantage in terms of size and features. This presentation will give a brief insight into the hearing aid market and industry and a brief view of the historic development of hearing aids. The system integration challenge will be illustrated......People with reduced hearing generally want to hide this disability and thus the size of hearing aids is constantly decreasing in the effort to make them virtually invisible. However, as for all other modern electrical devices more and more features are constantly added to hearing aids driven...

Mathematical analysis, approximation theory and their applications

CERN Document Server

Gupta, Vijay

2016-01-01

Designed for graduate students, researchers, and engineers in mathematics, optimization, and economics, this self-contained volume presents theory, methods, and applications in mathematical analysis and approximation theory. Specific topics include: approximation of functions by linear positive operators with applications to computer aided geometric design, numerical analysis, optimization theory, and solutions of differential equations. Recent and significant developments in approximation theory, special functions and q-calculus along with their applications to mathematics, engineering, and social sciences are discussed and analyzed. Each chapter enriches the understanding of current research problems and theories in pure and applied research.

INTERSUBJECT CONNECTIONS OF COURSE OF MATHEMATICAL LOGIC AND OTHER MATHEMATICAL COURSES AT PREPARATION OF FUTURE TEACHER OF MATHEMATICS

Directory of Open Access Journals (Sweden)

Yu.I. Sinko

2012-03-01

Full Text Available In this article the interconnections of course of mathematical logic with other mathematical courses – geometry, algebra and theory of numbers, mathematical analysis, and also with the courses of mathematics teaching methodology, history of mathematics in the system of preparation of teachers of mathematics in pedagogical Institute of higher education are analyzed. The presence of connections between the elements of the system and their quality is the important description of the pedagogical system.

Computer-aided system design

Science.gov (United States)

Walker, Carrie K.

1991-01-01

A technique has been developed for combining features of a systems architecture design and assessment tool and a software development tool. This technique reduces simulation development time and expands simulation detail. The Architecture Design and Assessment System (ADAS), developed at the Research Triangle Institute, is a set of computer-assisted engineering tools for the design and analysis of computer systems. The ADAS system is based on directed graph concepts and supports the synthesis and analysis of software algorithms mapped to candidate hardware implementations. Greater simulation detail is provided by the ADAS functional simulator. With the functional simulator, programs written in either Ada or C can be used to provide a detailed description of graph nodes. A Computer-Aided Software Engineering tool developed at the Charles Stark Draper Laboratory (CSDL CASE) automatically generates Ada or C code from engineering block diagram specifications designed with an interactive graphical interface. A technique to use the tools together has been developed, which further automates the design process.

Mathematical modeling of earth's dynamical systems a primer

CERN Document Server

Slingerland, Rudy

2011-01-01

Mathematical Modeling of Earth's Dynamical Systems gives earth scientists the essential skills for translating chemical and physical systems into mathematical and computational models that provide enhanced insight into Earth's processes. Using a step-by-step method, the book identifies the important geological variables of physical-chemical geoscience problems and describes the mechanisms that control these variables. This book is directed toward upper-level undergraduate students, graduate students, researchers, and professionals who want to learn how to abstract complex systems into sets of dynamic equations. It shows students how to recognize domains of interest and key factors, and how to explain assumptions in formal terms. The book reveals what data best tests ideas of how nature works, and cautions against inadequate transport laws, unconstrained coefficients, and unfalsifiable models. Various examples of processes and systems, and ample illustrations, are provided. Students using this text should be f...

A Mathematical Model of Marine Diesel Engine Speed Control System

Science.gov (United States)

Sinha, Rajendra Prasad; Balaji, Rajoo

2018-02-01

Diesel engine is inherently an unstable machine and requires a reliable control system to regulate its speed for safe and efficient operation. Also, the diesel engine may operate at fixed or variable speeds depending upon user's needs and accordingly the speed control system should have essential features to fulfil these requirements. This paper proposes a mathematical model of a marine diesel engine speed control system with droop governing function. The mathematical model includes static and dynamic characteristics of the control loop components. Model of static characteristic of the rotating fly weights speed sensing element provides an insight into the speed droop features of the speed controller. Because of big size and large time delay, the turbo charged diesel engine is represented as a first order system or sometimes even simplified to a pure integrator with constant gain which is considered acceptable in control literature. The proposed model is mathematically less complex and quick to use for preliminary analysis of the diesel engine speed controller performance.

The Mathematics of the Global Positioning System.

Science.gov (United States)

Nord, Gail D.; Jabon, David; Nord, John

1997-01-01

Presents an activity that illustrates the application of mathematics to modern navigation and utilizes the Global Positioning System (GPS). GPS is a constellation of 24 satellites that enables receivers to compute their position anywhere on the earth with great accuracy. (DDR)

Mathematical modelling of thermal storage systems for the food industry

Energy Technology Data Exchange (ETDEWEB)

Lopez, A.; Lacarra, G. [Universidad Publica de Navarra Campus Arrosadia, Pamplona (Spain). Area de Tecnologia de Alimentos

1999-07-01

Dynamic mathematical models of two thermal storage systems used in the food industry to produce chilled water are presented; an ice-bank system and a holding tank system. The variability of the refrigeration demand with time was taken into account in the model. A zoned approach using mass and energy balances was applied. Heat transfer phenomena in the evaporator were modelled using empirical correlations. The experimental validation of the mathematical models on an ice-bank system at pilot plant scale, and a centralized refrigeration system with a holding tank in a winery, showed accurate prediction. Simple models are adequate to predict the dynamic behaviour of these refrigeration systems under variable heat loads. (Author)

TurbinAID

International Nuclear Information System (INIS)

Moradian, M.A.; Chow, M.P.; Osborne, R.L.; Jenkins, M.A.

1991-01-01

The Westinghouse Turbine Artificial Intelligence Diagnostics system or TurbinAID, can diagnose both thermodynamic and mechanical component anomalies within the turbine, and around the turbine cycle. any monitoring system can detect that a variable is in an abnormal state, but TurbinAID can also indicate the cause, and provide recommended corrective action(s). The TurbinAID Expert Systems utilize multiple sensor and variable inputs, and their interdependencies in the generation of a diagnosis. The system performs sensor validation as part of the data acquisition scheme. The TurbinAID system has been in operation for several years. This paper describes the monitoring and diagnostic functions provided by TurbinAID, and how the utility industry both nuclear and fossil, can utilize the system to enhance unit operation

Piloting a Web-Based Homework System in Developmental Mathematics Classrooms

Science.gov (United States)

Dass, Wendi E.

2012-01-01

This Capstone project studied a pilot of the web-based homework system "Hawkes" in developmental mathematics classes at a mid-sized community college. The purpose of the study was to investigate how three instructors of developmental mathematics courses incorporated "Hawkes" in their classes, what obstacles they encountered,…

AID SELECTIVITY PRACTICE AND AID EFFECTIVENESS IN SUB-SAHARAN AFRICA

Directory of Open Access Journals (Sweden)

Adeniyi Jimmy Adedokun

2017-09-01

Full Text Available Foreign aid strategies have undergone restructuring as donors adopt aid selectivity practice to improve aid effectiveness. This study investigates the impact of aid selectivity practice on aid effectiveness (aid-growth relationship in Sub-Saharan Africa (SSA and several groups of countries within SSA from 1980 to 2012. Employing system generalized methods of moments (system GMM technique; the study produces strong evidence that there is significant improvement in aid effectiveness due to aid selectivity practice.

Field Support System (FS-AID) and Working Capital Fund Tracking System (WCF-TS)

Data.gov (United States)

US Agency for International Development — The Field Support System (FS-AID) and Working Capital Fund Tracking System (WCF-TS) are two modules of a single data management system that share common tables and...

Optimal control of HIV/AIDS dynamic: Education and treatment

Science.gov (United States)

Sule, Amiru; Abdullah, Farah Aini

2014-07-01

A mathematical model which describes the transmission dynamics of HIV/AIDS is developed. The optimal control representing education and treatment for this model is explored. The existence of optimal Control is established analytically by the use of optimal control theory. Numerical simulations suggest that education and treatment for the infected has a positive impact on HIV/AIDS control.

AID SELECTIVITY PRACTICE AND AID EFFECTIVENESS IN SUB-SAHARAN AFRICA

OpenAIRE

Adedokun, Adeniyi Jimmy; Abiodun O. Folawewo, Abiodun O.

2017-01-01

Foreign aid strategies have undergone restructuring as donors adopt aid selectivity practice to improve aid effectiveness. This study investigates the impact of aid selectivity practice on aid effectiveness (aid-growth relationship) in Sub-Saharan Africa (SSA) and several groups of countries within SSA from 1980 to 2012. Employing system generalized methods of moments (system GMM) technique; the study produces strong evidence that there is significant improvement in aid effectiveness due to a...

S4HARA: System for HIV/AIDS resource allocation

Directory of Open Access Journals (Sweden)

Carter Michael W

2008-03-01

Full Text Available Abstract Background HIV/AIDS resource allocation decisions are influenced by political, social, ethical and other factors that are difficult to quantify. Consequently, quantitative models of HIV/AIDS resource allocation have had limited impact on actual spending decisions. We propose a decision-support System for HIV/AIDS Resource Allocation (S4HARA that takes into consideration both principles of efficient resource allocation and the role of non-quantifiable influences on the decision-making process for resource allocation. Methods S4HARA is a four-step spreadsheet-based model. The first step serves to identify the factors currently influencing HIV/AIDS allocation decisions. The second step consists of prioritizing HIV/AIDS interventions. The third step involves allocating the budget to the HIV/AIDS interventions using a rational approach. Decision-makers can select from several rational models of resource allocation depending on availability of data and level of complexity. The last step combines the results of the first and third steps to highlight the influencing factors that act as barriers or facilitators to the results suggested by the rational resource allocation approach. Actionable recommendations are then made to improve the allocation. We illustrate S4HARA in the context of a primary healthcare clinic in South Africa. Results The clinic offers six types of HIV/AIDS interventions and spends US$750,000 annually on these programs. Current allocation decisions are influenced by donors, NGOs and the government as well as by ethical and religious factors. Without additional funding, an optimal allocation of the total budget suggests that the portion allotted to condom distribution be increased from 1% to 15% and the portion allotted to prevention and treatment of opportunistic infections be increased from 43% to 71%, while allocation to other interventions should decrease. Conclusion Condom uptake at the clinic should be increased by

A systemic perspective on cognition and mathematics

CERN Document Server

Forrest, Jeffrey Yi-Lin

2013-01-01

This book is devoted to the study of human thought, its systemic structure, and the historical development of mathematics both as a product of thought and as a fascinating case analysis. After demonstrating that systems research constitutes the second dimension of modern science, the monograph discusses the yoyo model, a recent ground-breaking development of systems research, which has brought forward revolutionary applications of systems research in various areas of the traditional disciplines, the first dimension of science. After the systemic structure of thought is factually revealed, math

Control and adaptation in telecommunication systems mathematical foundations

CERN Document Server

Popovskij, Vladimir; Titarenko, Larysa

2011-01-01

This book is devoted to mathematical foundations providing synthesis and analysis of control and adaptation algorithms targeting modern telecommunication systems (TCS). The most popular technologies and network management methods are discussed.

Development of a unified web-based national HIV/AIDS information system in China.

Science.gov (United States)

Mao, Yurong; Wu, Zunyou; Poundstone, Katharine; Wang, Changhe; Qin, Qianqian; Ma, Ye; Ma, Wei

2010-12-01

In the past, many data collection systems were in operation for different HIV/AIDS projects in China. We describe the creation of a unified, web-based national HIV/AIDS information system designed to streamline data collection and facilitate data use. Integration of separate HIV/AIDS data systems was carried out in three phases. Phase 1, from January 2006 to December 2007, involved creating a set of unified data collection forms that took into account existing program needs and the reporting requirements of various international organizations. Phase 2, from January to October 2007, involved creating a web-based platform to host the integrated HIV/AIDS data collection system. Phase 3, from November to December 2007, involved pilot testing the new, integrated system prior to nationwide application. Eight web-based data collection subsystems based on one platform began operation on 1 January 2008. These eight subsystems cover: (i) HIV/AIDS case reporting; (ii) HIV testing and counselling; (iii) antiretroviral treatment (ART) for adults; (iv) ART for children; (v) behavioural interventions for high-risk groups; (vi) methadone maintenance treatment; (vii) sentinel and behavioural surveillance; and (viii) local county background information. The system provides real-time data to monitor HIV testing, prevention and treatment programs across the country. China's new unified, web-based HIV/AIDS information system has improved the efficiency of data collection, reporting, analysis and use, as well as data quality and security. It is a powerful tool to support policy making, program evaluation and implementation of the national HIV/AIDS program and, thus, may serve a model for other countries.

Improving the reliability of nuclear reprocessing by application of computers and mathematical modelling

International Nuclear Information System (INIS)

Gabowitsch, E.; Trauboth, H.

1982-01-01

After a brief survey of the present and expected future state of nuclear energy utilization, which should demonstrate the significance of nuclear reprocessing, safety and reliability aspects of nuclear reprocessing plants (NRP) are considered. Then, the principal possibilities of modern computer technology including computer systems architecture and application-oriented software for improving the reliability and availability are outlined. In this context, two information systems being developed at the Nuclear Research Center Karlsruhe (KfK) are briefly described. For design evaluation of certain areas of a large NRP mathematical methods and computer-aided tools developed, used or being designed by KfK are discussed. In conclusion, future research to be pursued in information processing and applied mathematics in support of reliable operation of NRP's is proposed. (Auth.)

Computer-aided Teaching of Math in Electromechanics Vocational Course

Directory of Open Access Journals (Sweden)

Eduardo Shigueo Hoji

2013-03-01

Full Text Available This paper describes the experience of teaching mathematics in the electromechanics vocational course with aid of the computer. Instead of giving a bunch of equations and a calculator to the students, as it is usual in vocational courses, we offer them Octave, which is a numerical computational tool. Furthermore, the mathematical concepts involved in the solution of applied problems are provided within a multidisciplinary framework. The proposed approach helped to reduce the abstraction of mathematics for the students. Despite the deficiencies the students in vocational courses have in their formation, we could notice that their perception regarding mathematics has changed after figuring out that “a bunch of numbers” can be useful in the solution of problems they shall face in their professional life. The approach was applied to three groups already. All of them are composed of mature students, who passed by a flawed basic educational system and stayed away from school for a long time.

Computer-Aided Communication Satellite System Analysis and Optimization.

Science.gov (United States)

Stagl, Thomas W.; And Others

Various published computer programs for fixed/broadcast communication satellite system synthesis and optimization are discussed. The rationale for selecting General Dynamics/Convair's Satellite Telecommunication Analysis and Modeling Program (STAMP) in modified form to aid in the system costing and sensitivity analysis work in the Program on…

A study on spatial decision support systems for HIV/AIDS prevention based on COM GIS technology

Science.gov (United States)

Yang, Kun; Luo, Huasong; Peng, Shungyun; Xu, Quanli

2007-06-01

Based on the deeply analysis of the current status and the existing problems of GIS technology applications in Epidemiology, this paper has proposed the method and process for establishing the spatial decision support systems of AIDS epidemic prevention by integrating the COM GIS, Spatial Database, GPS, Remote Sensing, and Communication technologies, as well as ASP and ActiveX software development technologies. One of the most important issues for constructing the spatial decision support systems of AIDS epidemic prevention is how to integrate the AIDS spreading models with GIS. The capabilities of GIS applications in the AIDS epidemic prevention have been described here in this paper firstly. Then some mature epidemic spreading models have also been discussed for extracting the computation parameters. Furthermore, a technical schema has been proposed for integrating the AIDS spreading models with GIS and relevant geospatial technologies, in which the GIS and model running platforms share a common spatial database and the computing results can be spatially visualized on Desktop or Web GIS clients. Finally, a complete solution for establishing the decision support systems of AIDS epidemic prevention has been offered in this paper based on the model integrating methods and ESRI COM GIS software packages. The general decision support systems are composed of data acquisition sub-systems, network communication sub-systems, model integrating sub-systems, AIDS epidemic information spatial database sub-systems, AIDS epidemic information querying and statistical analysis sub-systems, AIDS epidemic dynamic surveillance sub-systems, AIDS epidemic information spatial analysis and decision support sub-systems, as well as AIDS epidemic information publishing sub-systems based on Web GIS.

Mathematical aspects of reacting and diffusing systems

CERN Document Server

Fife, Paul C

1979-01-01

Modeling and analyzing the dynamics of chemical mixtures by means of differ- tial equations is one of the prime concerns of chemical engineering theorists. These equations often take the form of systems of nonlinear parabolic partial d- ferential equations, or reaction-diffusion equations, when there is diffusion of chemical substances involved. A good overview of this endeavor can be had by re- ing the two volumes by R. Aris (1975), who himself was one of the main contributors to the theory. Enthusiasm for the models developed has been shared by parts of the mathematical community, and these models have, in fact, provided motivation for some beautiful mathematical results. There are analogies between chemical reactors and certain biological systems. One such analogy is rather obvious: a single living organism is a dynamic structure built of molecules and ions, many of which react and diffuse. Other analogies are less obvious; for example, the electric potential of a membrane can diffuse like a chemical, and ...

Discrete Mathematics

DEFF Research Database (Denmark)

Sørensen, John Aasted

2011-01-01

The objectives of Discrete Mathematics (IDISM2) are: The introduction of the mathematics needed for analysis, design and verification of discrete systems, including the application within programming languages for computer systems. Having passed the IDISM2 course, the student will be able...... to accomplish the following: -Understand and apply formal representations in discrete mathematics. -Understand and apply formal representations in problems within discrete mathematics. -Understand methods for solving problems in discrete mathematics. -Apply methods for solving problems in discrete mathematics......; construct a finite state machine for a given application. Apply these concepts to new problems. The teaching in Discrete Mathematics is a combination of sessions with lectures and students solving problems, either manually or by using Matlab. Furthermore a selection of projects must be solved and handed...

stability results of a mathematical model for the control of hiv/aids ...

African Journals Online (AJOL)

DJFLEX

Subthreshold Domain of Bistable Equilibria for a Model of. HIV Epidemiology. International Journal of Mathematics and Mathematical Sciences, 58, 3679-3698. David R. M., 1997. Introduction to Theory of Stability. Springer-Verlag, New York, Inc. USA. Family Health International, 2007. How the Female Condom Affects Male ...

Computer-Based Mathematics Instructions for Engineering Students

Science.gov (United States)

Khan, Mustaq A.; Wall, Curtiss E.

1996-01-01

Almost every engineering course involves mathematics in one form or another. The analytical process of developing mathematical models is very important for engineering students. However, the computational process involved in the solution of some mathematical problems may be very tedious and time consuming. There is a significant amount of mathematical software such as Mathematica, Mathcad, and Maple designed to aid in the solution of these instructional problems. The use of these packages in classroom teaching can greatly enhance understanding, and save time. Integration of computer technology in mathematics classes, without de-emphasizing the traditional analytical aspects of teaching, has proven very successful and is becoming almost essential. Sample computer laboratory modules are developed for presentation in the classroom setting. This is accomplished through the use of overhead projectors linked to graphing calculators and computers. Model problems are carefully selected from different areas.

System principles, mathematical models and methods to ensure high reliability of safety systems

Science.gov (United States)

Zaslavskyi, V.

2017-04-01

Modern safety and security systems are composed of a large number of various components designed for detection, localization, tracking, collecting, and processing of information from the systems of monitoring, telemetry, control, etc. They are required to be highly reliable in a view to correctly perform data aggregation, processing and analysis for subsequent decision making support. On design and construction phases of the manufacturing of such systems a various types of components (elements, devices, and subsystems) are considered and used to ensure high reliability of signals detection, noise isolation, and erroneous commands reduction. When generating design solutions for highly reliable systems a number of restrictions and conditions such as types of components and various constrains on resources should be considered. Various types of components perform identical functions; however, they are implemented using diverse principles, approaches and have distinct technical and economic indicators such as cost or power consumption. The systematic use of different component types increases the probability of tasks performing and eliminates the common cause failure. We consider type-variety principle as an engineering principle of system analysis, mathematical models based on this principle, and algorithms for solving optimization problems of highly reliable safety and security systems design. Mathematical models are formalized in a class of two-level discrete optimization problems of large dimension. The proposed approach, mathematical models, algorithms can be used for problem solving of optimal redundancy on the basis of a variety of methods and control devices for fault and defects detection in technical systems, telecommunication networks, and energy systems.

Mathematical exergoeconomic optimization of a complex cogeneration plant aided by a professional process simulator

International Nuclear Information System (INIS)

Vieira, Leonardo S.; Donatelli, Joao L.; Cruz, Manuel E.

2006-01-01

In this work we present the development and implementation of an integrated approach for mathematical exergoeconomic optimization of complex thermal systems. By exploiting the computational power of a professional process simulator, the proposed integrated approach permits the optimization routine to ignore the variables associated with the thermodynamic balance equations and thus deal only with the decision variables. To demonstrate the capabilities of the integrated approach, it is here applied to a complex cogeneration system, which includes all the major components of a typical thermal plant, and requires more than 800 variables for its simulation

A decision-aiding system: DACFOOD

International Nuclear Information System (INIS)

Despres, A.; Heymes, P.

1994-01-01

The DACFOOD (Decision Aiding for Contaminated FOODstuffs) system provides decision makers with necessary data for the implementation of optimized protection measures in case of radioactive contamination of foodstuffs. The system evaluates the dose impact due to ingestion of these products, calculates the dose reduction after implementation of specific actions and, by combining these actions, assesses several strategies by using their cost-effectiveness ratios. Such evaluations need the description of contamination as radionuclide activities in each foodstuff, and the description of consumers' groups according to their dietary habits. Then it is possible to define areas in which the doses received are reasonably homogeneous in different age classes. If deposition occurs at a period of the year without harvest, the system applies dynamic transfer models to calculate the concentration in future productions. (authors). 2 refs

Business Mathematics for Business Education Departments in Pennsylvania's Public Schools.

Science.gov (United States)

Parfet, James A.

This document is meant to be used as a teaching aid to help business teachers in Pennsylvania high schools prepare pupils to assume positions in business offices. Methods are suggested by which business mathematics may be presented to develop the greatest level of pupil achievement. The chapters outline business mathematics in the high school…

Models of Human Information Requirements: "When Reasonable Aiding Systems Disagree"

Science.gov (United States)

Corker, Kevin; Pisanich, Gregory; Shafto, Michael (Technical Monitor)

1994-01-01

Aircraft flight management and Air Traffic Control (ATC) automation are under development to maximize the economy of flight and to increase the capacity of the terminal area airspace while maintaining levels of flight safety equal to or better than current system performance. These goals are being realized by the introduction of flight management automation aiding and operations support systems on the flight deck and by new developments of ATC aiding systems that seek to optimize scheduling of aircraft while potentially reducing required separation and accounting for weather and wake vortex turbulence. Aiding systems on both the flight deck and the ground operate through algorithmic functions on models of the aircraft and of the airspace. These models may differ from each other as a result of variations in their models of the immediate environment. The resultant flight operations or ATC commands may differ in their response requirements (e.g. different preferred descent speeds or descent initiation points). The human operators in the system must then interact with the automation to reconcile differences and resolve conflicts. We have developed a model of human performance including cognitive functions (decision-making, rule-based reasoning, procedural interruption recovery and forgetting) that supports analysis of the information requirements for resolution of flight aiding and ATC conflicts. The model represents multiple individuals in the flight crew and in ATC. The model is supported in simulation on a Silicon Graphics' workstation using Allegro Lisp. Design guidelines for aviation automation aiding systems have been developed using the model's specification of information and team procedural requirements. Empirical data on flight deck operations from full-mission flight simulation are provided to support the model's predictions. The paper describes the model, its development and implementation, the simulation test of the model predictions, and the empirical

Optimal Design of Gravity Pipeline Systems Using Genetic Algorithm and Mathematical Optimization

Directory of Open Access Journals (Sweden)

maryam rohani

2015-03-01

Full Text Available In recent years, the optimal design of pipeline systems has become increasingly important in the water industry. In this study, the two methods of genetic algorithm and mathematical optimization were employed for the optimal design of pipeline systems with the objective of avoiding the water hammer effect caused by valve closure. The problem of optimal design of a pipeline system is a constrained one which should be converted to an unconstrained optimization problem using an external penalty function approach in the mathematical programming method. The quality of the optimal solution greatly depends on the value of the penalty factor that is calculated by the iterative method during the optimization procedure such that the computational effort is simultaneously minimized. The results obtained were used to compare the GA and mathematical optimization methods employed to determine their efficiency and capabilities for the problem under consideration. It was found that the mathematical optimization method exhibited a slightly better performance compared to the GA method.

Establish an e-learning system for radiation protection as a teaching aid at STTN

International Nuclear Information System (INIS)

Supriyono; Joko Susilo; Muhtadan

2013-01-01

A system e-learning of radiation protection lesson as a teaching aids has built, for lectures activities and teaching aids in deepening the course materials of radiation protection in STTN. This system contains learning materials of radiation protection lesson, they are : Basic radiation physics, Dosimetry, basic radiation protection, radiation measuring equipment, effects of radiation, radioactive waste management, transport of radioactive substances, etc. In building of this system, Moodle platform is used with the support from some softwares, they are : Apache web server, MySql, PHP in local host computer that use XAMPP 1.8.1. The one who has rights to access this system is an admin who has obligation to manage the system and to edit, add, and remove the materials and users that consist of teachers, students, and operators who have access to use that system, as a learning aids as well as teaching aids. The materials of E-learning displayed in the forms : lesson materials, animations, pictures, and simulations. The results of this system show that E-learning able to works well as a teaching aids. With this teaching aids, we hope it will increase the quality of learning and teaching process in STTN and also it will increase the accreditation of STTN. (author)

Computer Aided Design System for Developing Musical Fountain Programs

Institute of Scientific and Technical Information of China (English)

刘丹; 张乃尧; 朱汉城

2003-01-01

A computer aided design system for developing musical fountain programs was developed with multiple functions such as intelligent design, 3-D animation, manual modification and synchronized motion to make the development process more efficient. The system first analyzed the music form and sentiment using many basic features of the music to select a basic fountain program. Then, this program is simulated with 3-D animation and modified manually to achieve the desired results. Finally, the program is transformed to a computer control program to control the musical fountain in time with the music. A prototype system for the musical fountain was also developed. It was tested with many styles of music and users were quite satisfied with its performance. By integrating various functions, the proposed computer aided design system for developing musical fountain programs greatly simplified the design of the musical fountain programs.

On the interplay between mathematics and biology: hallmarks toward a new systems biology.

Science.gov (United States)

Bellomo, Nicola; Elaiw, Ahmed; Althiabi, Abdullah M; Alghamdi, Mohammed Ali

2015-03-01

This paper proposes a critical analysis of the existing literature on mathematical tools developed toward systems biology approaches and, out of this overview, develops a new approach whose main features can be briefly summarized as follows: derivation of mathematical structures suitable to capture the complexity of biological, hence living, systems, modeling, by appropriate mathematical tools, Darwinian type dynamics, namely mutations followed by selection and evolution. Moreover, multiscale methods to move from genes to cells, and from cells to tissue are analyzed in view of a new systems biology approach. Copyright © 2014 Elsevier B.V. All rights reserved.

The Structural Optimization System CAOS

DEFF Research Database (Denmark)

Rasmussen, John

1990-01-01

CAOS is a system for structural shape optimization. It is closely integrated in a Computer Aided Design environment and controlled entirely from the CAD-system AutoCAD. The mathematical foundation of the system is briefly presented and a description of the CAD-integration strategy is given together...

Rade-aid a decision support system to evaluate countermeasures after a radiological accident

International Nuclear Information System (INIS)

Wagenaar, G.; Van Den Bosch, C.J.H.; Weger, D. de.

1990-01-01

After Chernobyl the authorities in many countries were overwhelmed by the enormous amount of information that was being generated by measuring and monitoring programs. In making decisions, this information had to be combined with the results of specific countermeasures, in order to determine the optimal strategy with respect to a large number of consequences. The development of RADE-AID, the Radiological Accident Decision AIDing system, is aimed at providing a powerful tool in the decision-making process. RADE-AID is developed by TNO (The Netherlands) in a joint contract with KfK (FRG) and NRPB (UK). In the first phase a demonstration system will be built, called RADE-AID/D. RADE-AID/D will be used as a decision support system in the intermediate and late phase after a radiological accident. RADE-AID/D will consider countermeasures with respect to external exposure and internal exposure by food ingestion. Countermeasures are evaluated considering reduction in doses and in numbers of health effects, costs, and social effects. The paper covers the structure of the program, presentation of data and results, and the decision analysis technique that is being used. This decision analysis part is an important feature of the system; an advanced decision analysis technique is used, that is able to compare data of varying nature. Furthermore the place of RADE-AID in the decision-making process will be treated. RADE-AID/D is an interactive computer program, that offers the user the possibility to enter relevant data and to have data and results displayed in a variety of ways. Furthermore the system contains an advanced decision analysis technique, that is able to compare data of varying nature. Input data for the decision analysis calculations are provided by models from UFOMOD and MARC-codes

A Mathematical Model, Implementation and Study of a Swarm System

OpenAIRE

Varghese, Blesson; McKee, Gerard

2013-01-01

The work reported in this paper is motivated towards the development of a mathematical model for swarm systems based on macroscopic primitives. A pattern formation and transformation model is proposed. The pattern transformation model comprises two general methods for pattern transformation, namely a macroscopic transformation and mathematical transformation method. The problem of transformation is formally expressed and four special cases of transformation are considered. Simulations to conf...

Analysis, Design, and Evaluation of Acoustic Feedback Cancellation Systems for Hearing Aids

DEFF Research Database (Denmark)

Guo, Meng

2013-01-01

Acoustic feedback problems occur when the output loudspeaker signal of an audio system is partly returned to the input microphone via an acoustic coupling through the air. This problem often causes significant performance degradations in applications such as public address systems and hearing aids....... In the worst case, the audio system becomes unstable and howling occurs. In this work, first we analyze a general multiple microphone audio processing system, where a cancellation system using adaptive filters is used to cancel the effect of acoustic feedback. We introduce and derive an accurate approximation...... in acoustic feedback cancellation for hearing aids. It utilizes a probe noise signal which is generated with a specific characteristic so that it can facilitate an unbiased adaptive filter estimation with fast tracking of feedback path variations/changes despite its low signal level. We show in a hearing aid...

Mathematical Structure in Quantum Systems and applications

International Nuclear Information System (INIS)

Cavero-Pelaez, I.; Clemente-Gallardo, J.; Marmo, G.; Muñoz--Castañeda, J.M.

2013-01-01

This volume contains most of the contributions presented at the Conference 'Mathematical Structures in Quantum Systems and applications', held at the Centro de Ciencias de Benasque 'Pedro Pascual', Benasque (Spain) from 8-14 July 2012. The aim of the Conference was to bring together physicists working on different applications of mathematical methods to quantum systems in order to enable the different communities to become acquainted with other approaches and techniques that could be used in their own fields of expertise. We concentrated on three main subjects: – the geometrical description of Quantum Mechanics; – the Casimir effect and its mathematical implications; – the Quantum Zeno Effect and Open system dynamics. Each of these topics had a set of general lectures, aimed at presenting a global view on the subject, and other more technical seminars. We would like to thank all participants for their contribution to creating a wonderful scientific atmosphere during the Conference. We would especially like to thank the speakers and the authors of the papers contained in this volume, the members of the Scientific Committee for their guidance and support and, of course, the referees for their generous work. Special thanks are also due to the staff of the Centro de Ciencias de Benasque 'Pedro Pascual' who made this successful meeting possible. On behalf of the organising committee and the authors we would also like to acknowledge the partial support provided by the ESF-CASIMIR network ('New Trends and Applications of the Casimir Effect'), the QUITEMAD research Project (“Quantum technologies at Madrid”, Ref. Comunidad de Madrid P2009/ESP-1594), the MICINN Project (MTM2011-16027-E) and the Government from Arag´on (DGA) (DGA, Department of Industry and Innovation and the European Social Fund, DGA-Grant 24/1) who made the Conference and this Proceedings volume possible.

A Complete Interactive Graphical Computer-Aided Instruction System.

Science.gov (United States)

Abrams, Steven Selby

The use of interactive graphics in computer-aided instruction systems is discussed with emphasis placed on two requirements of such a system. The first is the need to provide the teacher with a useful tool with which to design and modify teaching sessions tailored to the individual needs and capabilities of the students. The second is the…

A computer-aided diagnostic and troubleshooting system for fuel cell power plants

International Nuclear Information System (INIS)

Unkle, C.R.

1990-10-01

This Interactive Computer-Aided Troubleshooting System (ICATS) was designed as a troubleshooting aid for the Tokyo Electric Power Company (TEPCO) 11-megawatt dc Module (DCM). ICATS represents an integration of the System Testability and Maintenance Program (STAMP reg-sign) and the Portable Interactive Troubleshooter (POINTER trademark) software packages developed by ARINC Research Corporation. ICATS was designed to aid in the fault isolation of shutdown conditions that may occur in the DCM during on-load operations and start-up, and hold conditions that may occur during start-up. ICATS may also be used to help fault-isolate a return-to-standby condition occurring from on-load operation of the DCM. This report describes the development of ICATS and the ICATS functional design. The unique features of STAMP and POINTER, which allow for diagnostic aids to be designed for systems not yet built and operating, are also described. 10 refs., 21 figs., 6 tabs

Mathematics Connection

African Journals Online (AJOL)

MATHEMATICS CONNECTION aims at providing a forum topromote the development of Mathematics Education in Ghana. Articles that seekto enhance the teaching and/or learning of mathematics at all levels of theeducational system are welcome.

Nonlinear optical and atomic systems at the interface of physics and mathematics

CERN Document Server

Garreau, Jean-Claude

2015-01-01

Focusing on the interface between mathematics and physics, this book offers an introduction to the physics, the mathematics, and the numerical simulation of nonlinear systems in optics and atomic physics. The text covers a wide spectrum of current research on the subject, which is  an extremely active field in physics and mathematical physics, with a very broad range of implications, both for fundamental science and technological applications: light propagation in microstructured optical fibers, Bose-Einstein condensates, disordered systems, and the newly emerging field of nonlinear quantum mechanics.   Accessible to PhD students, this book will also be of interest to post-doctoral researchers and seasoned academics.

Preschoolers' precision of the approximate number system predicts later school mathematics performance.

Science.gov (United States)

Mazzocco, Michèle M M; Feigenson, Lisa; Halberda, Justin

2011-01-01

The Approximate Number System (ANS) is a primitive mental system of nonverbal representations that supports an intuitive sense of number in human adults, children, infants, and other animal species. The numerical approximations produced by the ANS are characteristically imprecise and, in humans, this precision gradually improves from infancy to adulthood. Throughout development, wide ranging individual differences in ANS precision are evident within age groups. These individual differences have been linked to formal mathematics outcomes, based on concurrent, retrospective, or short-term longitudinal correlations observed during the school age years. However, it remains unknown whether this approximate number sense actually serves as a foundation for these school mathematics abilities. Here we show that ANS precision measured at preschool, prior to formal instruction in mathematics, selectively predicts performance on school mathematics at 6 years of age. In contrast, ANS precision does not predict non-numerical cognitive abilities. To our knowledge, these results provide the first evidence for early ANS precision, measured before the onset of formal education, predicting later mathematical abilities.

Integrating HIV & AIDS Education in Pre-Service Mathematics Education for Social Justice

Science.gov (United States)

van Laren, Linda

2011-01-01

Since 1999, many South African education policy documents have mandated integration of HIV & AIDS education in learning areas/disciplines. Policy document research has shown that although South African politicians and managers have produced volumes of eloquent and compelling legislation regarding provision for HIV & AIDS education, little…

A supervisor system for computer aided laser machining

International Nuclear Information System (INIS)

Mukherjee, J.K.

1990-01-01

Lasers achieve non divergent beam of short wavelength energy which can propagate through normal atmosphere with little divergence and can be focused on very fine points. The final high energy per unit area on target is highly localised and suitable for various types of machining at high speeds. The most notable factor is that this high energy spot can be located precisely using light-weight optical components. The laser-machining is very amenable to environmental conditions unlike electron beam and other techniques. Precision cutting and welding of nuclear materials in normal or non oxidising atmosphere can be done using this fairly easily. To achieve these objectives, development of a computer controlled laser machining system has been undertaken. The development project aims at building a computer aided machine with indegenous controller and medium power laser suitable for cutting, welding, and marking. This paper describes the integration of the various computer aided functions, spanning over the full range, from job-defining to final finished part-delivary, in computer aided laser machining. Various innovative features of the system that render it suitable for laser tool development as well as for special machining applications with user-friendliness have been covered. (author). 5 refs., 5 figs

Protective relaying of power systems using mathematical morphology

CERN Document Server

Wu, QH; Ji, TY

2009-01-01

Discusses the development of novel protective relaying algorithms, using Mathematical Morphology (MM). This book introduces the fundamental principles of MM, and brings together the applications of MM to develop different protective relaying algorithms for the protection of a variety of power system components.

Developing a Deeper Understanding of "Mathematics Teaching Expertise": An Examination of Three Chinese Mathematics Teachers' Resource Systems as Windows into Their Work and Expertise

Science.gov (United States)

Pepin, Birgit; Xu, Binyan; Trouche, Luc; Wang, Chongyang

2017-01-01

In order to develop a deeper understanding of mathematics teaching expertise, in this study we use the Documentational Approach to Didactics to explore the resource systems of three Chinese mathematics "expert" teachers. Exploiting the Western and Eastern literature we examine the notion of "mathematics teaching expertise", as…

Development of the cancer patient financial aid system and analysis of user satisfaction.

Science.gov (United States)

Park, Joon Ho; Park, Eun-Cheol; Lee, Myung Ha; Kim, Yun-Mi; Choi, Soo Mi

2006-01-01

A financial aid program for low income cancer patients in Korea was initiated in 2005, which required a web-based system. Therefore, the Cancer Patient Financial Aid System (CPFAS) was developed. To improve the CPFAS, we evaluated the nationwide satisfaction of public health center users.

Unit cell-based computer-aided manufacturing system for tissue engineering

International Nuclear Information System (INIS)

Kang, Hyun-Wook; Park, Jeong Hun; Kang, Tae-Yun; Seol, Young-Joon; Cho, Dong-Woo

2012-01-01

Scaffolds play an important role in the regeneration of artificial tissues or organs. A scaffold is a porous structure with a micro-scale inner architecture in the range of several to several hundreds of micrometers. Therefore, computer-aided construction of scaffolds should provide sophisticated functionality for porous structure design and a tool path generation strategy that can achieve micro-scale architecture. In this study, a new unit cell-based computer-aided manufacturing (CAM) system was developed for the automated design and fabrication of a porous structure with micro-scale inner architecture that can be applied to composite tissue regeneration. The CAM system was developed by first defining a data structure for the computing process of a unit cell representing a single pore structure. Next, an algorithm and software were developed and applied to construct porous structures with a single or multiple pore design using solid freeform fabrication technology and a 3D tooth/spine computer-aided design model. We showed that this system is quite feasible for the design and fabrication of a scaffold for tissue engineering. (paper)

Unit cell-based computer-aided manufacturing system for tissue engineering.

Science.gov (United States)

Kang, Hyun-Wook; Park, Jeong Hun; Kang, Tae-Yun; Seol, Young-Joon; Cho, Dong-Woo

2012-03-01

Scaffolds play an important role in the regeneration of artificial tissues or organs. A scaffold is a porous structure with a micro-scale inner architecture in the range of several to several hundreds of micrometers. Therefore, computer-aided construction of scaffolds should provide sophisticated functionality for porous structure design and a tool path generation strategy that can achieve micro-scale architecture. In this study, a new unit cell-based computer-aided manufacturing (CAM) system was developed for the automated design and fabrication of a porous structure with micro-scale inner architecture that can be applied to composite tissue regeneration. The CAM system was developed by first defining a data structure for the computing process of a unit cell representing a single pore structure. Next, an algorithm and software were developed and applied to construct porous structures with a single or multiple pore design using solid freeform fabrication technology and a 3D tooth/spine computer-aided design model. We showed that this system is quite feasible for the design and fabrication of a scaffold for tissue engineering.

Filter aids influence on pressure drop across a filtration system

Science.gov (United States)

Hajar, S.; Rashid, M.; Nurnadia, A.; Ammar, M. R.; Hasfalina, C. M.

2017-06-01

Filter aids is commonly used to reduce pressure drop across air filtration system as it helps to increase the efficiency of filtration of accumulated filter cake. Filtration velocity is one of the main parameters that affect the performance of filter aids material. In this study, a formulated filter aids consisting of PreKot™ and activated carbon mixture (designated as PrekotAC) was tested on PTFE filter media under various filtration velocities of 5, 6, and 8 m/min at a constant material loading of 0.2 mg/mm2. Results showed that pressure drop is highly influenced by filtration velocity where higher filtration velocity leads to a higher pressure drop across the filter cake. It was found that PrekotAC performed better in terms of reducing the pressure drop across the filter cake even at the highest filtration velocity. The diversity in different particle size distribution of non-uniform particle size in the formulated PrekotAC mixture presents a higher permeability causes a lower pressure drop across the accumulated filter cake. The finding suggests that PrekotAC is a promising filter aids material that helps reducing the pressure drop across fabric filtration system.

Computer-Aided Facilities Management Systems (CAFM).

Science.gov (United States)

Cyros, Kreon L.

Computer-aided facilities management (CAFM) refers to a collection of software used with increasing frequency by facilities managers. The six major CAFM components are discussed with respect to their usefulness and popularity in facilities management applications: (1) computer-aided design; (2) computer-aided engineering; (3) decision support…

Method of Computer-aided Instruction in Situation Control Systems

Directory of Open Access Journals (Sweden)

Anatoliy O. Kargin

2013-01-01

Full Text Available The article considers the problem of computer-aided instruction in context-chain motivated situation control system of the complex technical system behavior. The conceptual and formal models of situation control with practical instruction are considered. Acquisition of new behavior knowledge is presented as structural changes in system memory in the form of situational agent set. Model and method of computer-aided instruction represent formalization, based on the nondistinct theories by physiologists and cognitive psychologists.The formal instruction model describes situation and reaction formation and dependence on different parameters, effecting education, such as the reinforcement value, time between the stimulus, action and the reinforcement. The change of the contextual link between situational elements when using is formalized.The examples and results of computer instruction experiments of the robot device “LEGO MINDSTORMS NXT”, equipped with ultrasonic distance, touch, light sensors.

Computational and mathematical methods in brain atlasing.

Science.gov (United States)

Nowinski, Wieslaw L

2017-12-01

Brain atlases have a wide range of use from education to research to clinical applications. Mathematical methods as well as computational methods and tools play a major role in the process of brain atlas building and developing atlas-based applications. Computational methods and tools cover three areas: dedicated editors for brain model creation, brain navigators supporting multiple platforms, and atlas-assisted specific applications. Mathematical methods in atlas building and developing atlas-aided applications deal with problems in image segmentation, geometric body modelling, physical modelling, atlas-to-scan registration, visualisation, interaction and virtual reality. Here I overview computational and mathematical methods in atlas building and developing atlas-assisted applications, and share my contribution to and experience in this field.

Large quantum systems: a mathematical and numerical perspective

International Nuclear Information System (INIS)

Lewin, M.

2009-06-01

This thesis is devoted to the mathematical study of variational models for large quantum systems. The mathematical methods are that of nonlinear analysis, calculus of variations, partial differential equations, spectral theory, and numerical analysis. The first part contains some results on finite systems. We study several approximations of the N-body Schroedinger equation for electrons in an atom or a molecule, and then the so-called Hartree-Fock- Bogoliubov model for a system of fermions interacting via the gravitational force. In a second part, we propose a new method allowing to prove the existence of the thermodynamic limit of Coulomb quantum systems. Then, we construct two Hartree-Fock-type models for infinite systems. The first is a relativistic theory deduced from Quantum Electrodynamics, allowing to describe the behavior of electrons, coupled to that of Dirac's vacuum which can become polarized. The second model describes a nonrelativistic quantum crystal in the presence of a charged defect. A new numerical method is also proposed. The last part of the thesis is devoted to spectral pollution, a phenomenon which is observed when trying to approximate eigenvalues in a gap of the essential spectrum of a self-adjoint operator, for instance for periodic Schroedinger operators or Dirac operators. (author)

Learning to teach secondary mathematics using an online learning system

Science.gov (United States)

Cavanagh, Michael; Mitchelmore, Michael

2011-12-01

We report the results of a classroom study of three secondary mathematics teachers who had no prior experience teaching with technology as they began to use an online mathematics learning system in their lessons. We gave the teachers only basic instruction on how to operate the system and then observed them intensively over four school terms as they taught using it. We documented changes in the teachers' Pedagogical Technology Knowledge and subsequently classified their various roles as technology bystanders, adopters, adaptors and innovators. Results show that all teachers made some progress toward using the system in more sophisticated ways, but the improvements were not uniform across the teachers. We suggest possible reasons to explain the variation and discuss some implications for teacher professional development.

MATHEMATICAL MODEL OF UNSTEADY HEAT TRANSFER OF PASSENGER CAR WITH HEATING SYSTEM

Directory of Open Access Journals (Sweden)

E. V. Biloshytskyi

2018-02-01

Full Text Available Purpose. The existing mathematical models of unsteady heat processes in a passenger car do not fully reflect the thermal processes, occurring in the car wits a heating system. In addition, unsteady heat processes are often studied in steady regime, when the heat fluxes and the parameters of the thermal circuit are constant and do not depend on time. In connection with the emergence of more effective technical solutions to the life support system there is a need for creating a new mathematical apparatus, which would allow taking into account these features and their influence on the course of unsteady heat processes throughout the travel time. The purpose of this work is to create a mathematical model of the heat regime of a passenger car with a heating system that takes into account the unsteady heat processes. Methodology. To achieve this task the author composed a system of differential equations, describing unsteady heat processes during the heating of a passenger car. For the solution of the composed system of equations, the author used the method of elementary balances. Findings. The paper presents the developed numerical algorithm and computer program for simulation of transitional heat processes in a locomotive traction passenger car, which allows taking into account the various constructive solutions of the life support system of passenger cars and to simulate unsteady heat processes at any stage of the trip. Originality. For the first time the author developed a mathematical model of heat processes in a car with a heating system, that unlike existing models, allows to investigate the unsteady heat engineering performance in the cabin of the car under different operating conditions and compare the work of various life support systems from the point of view their constructive solutions. Practical value. The work presented the developed mathematical model of the unsteady heat regime of the passenger car with a heating system to estimate

On the obstacles and solutions in the application of Chinese criminal legal aid system

Directory of Open Access Journals (Sweden)

Wang Sh.

2016-06-01

Full Text Available the article discovers the problem of application of Chinese legal aid system, which is very low. The problem should be solved as below. The author suggests strengthening the education to investigators, changing the way of employing legal aid lawyers and clarify the content of the right informing and applying for legal aid system. These actions application might well improve the situation.

Computer-Aided Design Method of Warp-Knitted Jacquard Spacer Fabrics

Directory of Open Access Journals (Sweden)

Li Xinxin

2016-06-01

Full Text Available Based on a further study on knitting and jacquard principles, this paper presents a mathematical design model to make computer-aided design of warp-knitted jacquard spacer fabrics more efficient. The mathematical model with matrix method employs three essential elements of chain notation, threading and Jacquard designing. With this model, the processing to design warp-knitted jacquard spacer fabrics with CAD software is also introduced. In this study, the sports shoes which have separated functional areas according to the feet structure and characteristics of movement are analysed. The results show the different patterns on Jacquard spacer fabrics that are seamlessly stitched with jacquard technics. The computer-aided design method of warp-knitted jacquard spacer fabrics is efficient and simple.

Aurally Aided Visual Search Performance Comparing Virtual Audio Systems

DEFF Research Database (Denmark)

Larsen, Camilla Horne; Lauritsen, David Skødt; Larsen, Jacob Junker

2014-01-01

Due to increased computational power, reproducing binaural hearing in real-time applications, through usage of head-related transfer functions (HRTFs), is now possible. This paper addresses the differences in aurally-aided visual search performance between a HRTF enhanced audio system (3D) and an...... with white dots. The results indicate that 3D audio yields faster search latencies than panning audio, especially with larger amounts of distractors. The applications of this research could fit virtual environments such as video games or virtual simulations.......Due to increased computational power, reproducing binaural hearing in real-time applications, through usage of head-related transfer functions (HRTFs), is now possible. This paper addresses the differences in aurally-aided visual search performance between a HRTF enhanced audio system (3D...

Aurally Aided Visual Search Performance Comparing Virtual Audio Systems

DEFF Research Database (Denmark)

Larsen, Camilla Horne; Lauritsen, David Skødt; Larsen, Jacob Junker

2014-01-01

Due to increased computational power reproducing binaural hearing in real-time applications, through usage of head-related transfer functions (HRTFs), is now possible. This paper addresses the differences in aurally-aided visual search performance between an HRTF enhanced audio system (3D) and an...... with white dots. The results indicate that 3D audio yields faster search latencies than panning audio, especially with larger amounts of distractors. The applications of this research could fit virtual environments such as video games or virtual simulations.......Due to increased computational power reproducing binaural hearing in real-time applications, through usage of head-related transfer functions (HRTFs), is now possible. This paper addresses the differences in aurally-aided visual search performance between an HRTF enhanced audio system (3D...

Practical considerations for a second-order directional hearing aid microphone system

Science.gov (United States)

Thompson, Stephen C.

2003-04-01

First-order directional microphone systems for hearing aids have been available for several years. Such a system uses two microphones and has a theoretical maximum free-field directivity index (DI) of 6.0 dB. A second-order microphone system using three microphones could provide a theoretical increase in free-field DI to 9.5 dB. These theoretical maximum DI values assume that the microphones have exactly matched sensitivities at all frequencies of interest. In practice, the individual microphones in the hearing aid always have slightly different sensitivities. For the small microphone separation necessary to fit in a hearing aid, these sensitivity matching errors degrade the directivity from the theoretical values, especially at low frequencies. This paper shows that, for first-order systems the directivity degradation due to sensitivity errors is relatively small. However, for second-order systems with practical microphone sensitivity matching specifications, the directivity degradation below 1 kHz is not tolerable. A hybrid order directive system is proposed that uses first-order processing at low frequencies and second-order directive processing at higher frequencies. This hybrid system is suggested as an alternative that could provide improved directivity index in the frequency regions that are important to speech intelligibility.

Computer-aided auscultation learning system for nursing technique instruction.

Science.gov (United States)

Hou, Chun-Ju; Chen, Yen-Ting; Hu, Ling-Chen; Chuang, Chih-Chieh; Chiu, Yu-Hsien; Tsai, Ming-Shih

2008-01-01

Pulmonary auscultation is a physical assessment skill learned by nursing students for examining the respiratory system. Generally, a sound simulator equipped mannequin is used to group teach auscultation techniques via classroom demonstration. However, nursing students cannot readily duplicate this learning environment for self-study. The advancement of electronic and digital signal processing technologies facilitates simulating this learning environment. This study aims to develop a computer-aided auscultation learning system for assisting teachers and nursing students in auscultation teaching and learning. This system provides teachers with signal recording and processing of lung sounds and immediate playback of lung sounds for students. A graphical user interface allows teachers to control the measuring device, draw lung sound waveforms, highlight lung sound segments of interest, and include descriptive text. Effects on learning lung sound auscultation were evaluated for verifying the feasibility of the system. Fifteen nursing students voluntarily participated in the repeated experiment. The results of a paired t test showed that auscultative abilities of the students were significantly improved by using the computer-aided auscultation learning system.

PRINCIPLES OF DEVELOPMENT MATHEMATICAL MODEL FOR RESEARCHING OF NONPULSATILE FLOW PUMP AND CARDIAC SYSTEM

Directory of Open Access Journals (Sweden)

I. V. Bykov

2013-01-01

Full Text Available Aim. The presented research uncovers the using of mathematical modeling methods for cardio-vascular system and axial blood pump interaction analysis under heart failure with combined valve pathology. The research will pro- vide data for automated pump control algorithm synthesis. Materials and methods. Mathematical model is build up by using experiments results from mock cardio-vascular circulation loop and mathematical representation of Newtonian fluid dynamics in pulsing circulation loop. The model implemented in modeling environment Simulink (Matlab. Results. Authors implemented mathematical model which describe cardio-vascular system and left-ven- tricular assistive device interaction for intact conditions. Values of parameters for intact conditions were acquired in the experiments on animals with implanted axial pump, experiments were conducted in FRCTAO. The model was verified by comparison of instantaneous blood flowrate values in experiments and in model. Conclusion. The paper present implemented mathematical model of cardio-vascular system and axial pump interaction for intact conditions, where the pump connected between left ventricle and aorta. In the next part of research authors will use the presented model to evaluate using the biotechnical system in conditions of heart failure and valve pathology. 

Attitudes towards using mobile applications for teaching mathematics in open learning systems

Directory of Open Access Journals (Sweden)

Bahjat Hamid Altakhyneh

2018-05-01

Full Text Available This study investigated attitudes towards teaching mathematics via mobile learning in open learning systems. The sample of the study consisted of 57 male and female students enrolled in the mathematics course in the department of educational studies at the Arab Open University/ Jordan for the academic year 2016/2017. Results of the study showed that positive student attitudes toward using mobile applications reached 80%. Each of the following scores is ranked as ascending: mathematical thinking (75%, achievement motivation (76%, developing social and emotional skills (77%, and application technology (96%. There was no statistical significance difference (α ≤0.01 between the variable type of general secondary certificate (scientific / arts stream as well as the nature of employment in terms of whether the learner was either an employee or non-employee. In light of results of the study, the researcher recommends using mobile applications in teaching courses of mathematics in open learning systems.

Mathematical Methods of System Analysis in Construction Materials

Science.gov (United States)

Garkina, Irina; Danilov, Alexander

2017-10-01

System attributes of construction materials are defined: complexity of an object, integrity of set of elements, existence of essential, stable relations between elements defining integrative properties of system, existence of structure, etc. On the basis of cognitive modelling (intensive and extensive properties; the operating parameters) materials (as difficult systems) and creation of the cognitive map the hierarchical modular structure of criteria of quality is under construction. It actually is a basis for preparation of the specification on development of material (the required organization and properties). Proceeding from a modern paradigm (model of statement of problems and their decisions) of development of materials, levels and modules are specified in structure of material. It when using the principles of the system analysis allows to considered technological process as the difficult system consisting of elements of the distinguished specification level: from atomic before separate process. Each element of system depending on an effective objective is considered as separate system with more detailed levels of decomposition. Among them, semantic and qualitative analyses of an object (are considered a research objective, decomposition levels, separate elements and communications between them come to light). Further formalization of the available knowledge in the form of mathematical models (structural identification) is carried out; communications between input and output parameters (parametrical identification) are defined. Hierarchical structures of criteria of quality are under construction for each allocated level. On her the relevant hierarchical structures of system (material) are under construction. Regularities of structurization and formation of properties, generally are considered at the levels from micro to a macrostructure. The mathematical model of material is represented as set of the models corresponding to private criteria by which separate

Attitude Determination Error Analysis System (ADEAS) mathematical specifications document

Science.gov (United States)

Nicholson, Mark; Markley, F.; Seidewitz, E.

1988-01-01

The mathematical specifications of Release 4.0 of the Attitude Determination Error Analysis System (ADEAS), which provides a general-purpose linear error analysis capability for various spacecraft attitude geometries and determination processes, are presented. The analytical basis of the system is presented. The analytical basis of the system is presented, and detailed equations are provided for both three-axis-stabilized and spin-stabilized attitude sensor models.

Mathematical Model for Direct Evaporative Space Cooling Systems ...

African Journals Online (AJOL)

This paper deals with the development of a simple mathematical model for experimental validation of the performance of a small evaporative cooling system in a tropical climate. It also presents the coefficient of convective heat transfer of wide range of temperatures based on existing model. Extensive experiments have ...

Computer Aided Analysis and Prototype Testing of an Improved Biogas Reactor For Biomass System

Directory of Open Access Journals (Sweden)

Jeremy (Zheng Li

2015-05-01

Full Text Available The alternative fuel resources substituting for conventional fuels are required due to less availability of fuel resources than demand in the market. A large amount of crude oil and petroleum products are required to be imported in many countries over the world. Also the environmental pollution is another serious problem when use petroleum products. Biogas, with the composition of 54.5% CH4, 39.5% CO2, and 6% other elements (i.e., H2, N2, H2S, and O2, is a clear green fuel that can substitute the regular petroleum fuels to reduce the pollutant elements. Biogas can be produced by performing enriching, scrubbing, and bottling processes. The purification process can be further applied to take away the pollutants in biogas. The pure biogas process analyzed in this research is compressed to 2950 psi while being filled into gas cylinder. The daily produced biogas capacity is around 5480 ft3 and the processing efficacy is affected by surrounding environment and other factors. The design and development of this biogas system is assisted through mathematical analysis, 3D modeling, computational simulation, and prototype testing. Both computer aided analysis and prototype testing show close results which validate the feasibility of this biogas system in biomass applications.

Elementary Pre-Service Teachers' Mathematics Anxiety and Mathematics Teaching Anxiety

Science.gov (United States)

Haciomeroglu, Guney

2014-01-01

The present study examined the structure of elementary pre-service teachers' mathematics anxiety and mathematics teaching anxiety by asking whether the two systems of anxiety are related. The Turkish Mathematics Anxiety Rating Scale Short Version and the Mathematics Teaching Anxiety Scale were administered to 260 elementary pre-service teachers.…

System for Automatic Generation of Examination Papers in Discrete Mathematics

Science.gov (United States)

Fridenfalk, Mikael

2013-01-01

A system was developed for automatic generation of problems and solutions for examinations in a university distance course in discrete mathematics and tested in a pilot experiment involving 200 students. Considering the success of such systems in the past, particularly including automatic assessment, it should not take long before such systems are…

THE INTEGRATION MODEL OF SYSTEMS OF DISTANCE AND OF TRADITIONAL MATHEMATICS LEARNING OF SENIOR PUPILS

OpenAIRE

Игорь Николаевич Макарьев

2013-01-01

In this article the author dwells on the content and structure of the model of integration of system of distance learning to mathematics of senior pupils and traditional paradigm of education. This kind of integration is based on such principles as independence, individualization, flexibility, nonlinearity, openness. Specifics of the methodological support of distance mathematics learning are also analyzed. Particularly the author asserts that the system of distance mathematics learning can t...

Introductive backgrounds of modern quantum mathematics with application to nonlinear dynamical systems

International Nuclear Information System (INIS)

Prykarpatsky, A.K.; Bogoliubov, N.N. Jr.; Golenia, J.; Taneri, U.

2007-09-01

Introductive backgrounds of a new mathematical physics discipline - Quantum Mathematics - are discussed and analyzed both from historical and analytical points of view. The magic properties of the second quantization method, invented by V. Fock in 1934, are demonstrated, and an impressive application to the nonlinear dynamical systems theory is considered. (author)

The nature of mathematical enrichment: a case study of implementation

Directory of Open Access Journals (Sweden)

Jennifer Susan Piggott

2007-12-01

Full Text Available This paper reports a framework for describing the nature of mathematics enrichment that emerged from a case study based on the work of the NRICH Project (www.nrich.maths.org team when producing “mathematics enrichment trails” (an ordered set of related mathematics problems and support materials. A range of data sources, including the trails, trail development sessions, related literature and the views of colleagues were used to inform the findings. The data were analysed using NVivo and involved the development of two complementary coding systems. One, drawn from the data itself, gave evidence of views of the content aspects of mathematical enrichment. The other, specifically designed and informed by the literature, was used to aid the analysis of the roles of teaching and learning inherent in views of enrichment described by participants. The framework describes the content of an enrichment curriculum as well as implications for teaching and learning, the experiences of learners and the features of settings where this occurs. To support this, some detail is provided on the role, nature and purpose of problem-solving and what constitutes a good problem. While emerging from a particular context, the framework highlights the need for debate concerning the audience for mathematics enrichment, particularly in questioning the commonly held belief that its value is in supporting the needs of the mathematically most able. The framework also has potential value through offering a focus for debate within the wider community concerning the nature of mathematics enrichment and as a reference point for evaluating the potential of existing or new curriculum to deliver mathematics enrichment.

MODERN TRENDS TO UPGRADE THE PROFESSIONAL TRAINING SYSTEM OF THE FUTURE MATHEMATICS TEACHER

Directory of Open Access Journals (Sweden)

Tatochenko V.

2017-12-01

Full Text Available An article devoted to the actual problem of professional pedagogical education - the modern tendencies of updating the system of professional training of the future teacher of mathematics. The relevance of the study is due to rapid changes in society, which involve making changes to the goal of preparing speech to life, which requires the teacher to transition from the knowledge model to the competent. This necessitates a fundamental need to rethink all the factors on which the quality of the educational process depends. In the article, based on the analysis of social production in societies of different types, the goal of general education at the stage of transition from industrial to postindustrial society is specified. The specified purpose explains the necessity of changes as a mathematical education in general educational institutions, as well as the system of professional training of teachers of mathematics. On the basis of the analysis of the state of the problem, a number of contradictions in the preparation of future mathematics teachers who will work in qualitatively new conditions of postindustrial information societies, which are characterized by rapid development and dynamism, is highlighted, the problem of preparing teachers for professional activity in a new, communicative environment, when the aging of information occurs faster than the educational cycle in an educational institution ends. The term "professional activity of the teacher of mathematics" is defined as a holistic purposeful complex open volatile dynamic pedagogical system, the functioning of which involves resistance to certain subsystems that ensure the readiness of students for effective pedagogical activity. The interconnection of subsystems on the basis of their integration allows achieving the main goal of the system - to prepare a competent teacher of mathematics. The functioning of such a system provides the creation of conditions for the development of the

Mathematical models of electrical network systems theory and applications : an introduction

CERN Document Server

Kłos, Andrzej

2017-01-01

This book is for all those who are looking for a non-conventional mathematical model of electrical network systems. It presents a modern approach using linear algebra and derives various commonly unknown quantities and interrelations of network analysis. It also explores some applications of algebraic network model of and solves some examples of previously unsolved network problems in planning and operation of network systems. Complex mathematical aspects are illustrated and described in a way that is understandable for non-mathematicians. Discussing interesting concepts and practically useful methods of network analysis, it is a valuable resource for lecturers, students, engineers and research workers. .

Stability Analysis of an HIV/AIDS Dynamics Model with Drug Resistance

Directory of Open Access Journals (Sweden)

Qianqian Li

2012-01-01

Full Text Available A mathematical model of HIV/AIDS transmission incorporating treatment and drug resistance was built in this study. We firstly calculated the threshold value of the basic reproductive number (R0 by the next generation matrix and then analyzed stability of two equilibriums by constructing Lyapunov function. When R0<1, the system was globally asymptotically stable and converged to the disease-free equilibrium. Otherwise, the system had a unique endemic equilibrium which was also globally asymptotically stable. While an antiretroviral drug tried to reduce the infection rate and prolong the patients’ survival, drug resistance was neutralizing the effects of treatment in fact.

Expert system aided operator's mental activities training

International Nuclear Information System (INIS)

Gieci, A.; Macko, J.; Mosny, J.; Gese, A.

1994-01-01

The operator's mental activity is the most important part of his work. A processing of a large amount of the information by the operator is possible only if he/she possesses appropriate cognitive skills. To facilitate the novice's acquisition of the experienced operator's cognitive skills of the decision-making process a special type of the expert system was developed. The cognitive engineering's models and problem-solving methodology constitutes the basis of this expert system. The article gives an account of the prototype of the mentioned expert system developed to aid the whole mental activity of the nuclear power plant operator during his decision-making process. (author). 6 refs, 6 figs

MATHEMATICAL MODEL OF UNSTEADY HEAT TRANSFER OF PASSENGER CAR WITH HEATING SYSTEM

OpenAIRE

E. V. Biloshytskyi

2018-01-01

Purpose. The existing mathematical models of unsteady heat processes in a passenger car do not fully reflect the thermal processes, occurring in the car wits a heating system. In addition, unsteady heat processes are often studied in steady regime, when the heat fluxes and the parameters of the thermal circuit are constant and do not depend on time. In connection with the emergence of more effective technical solutions to the life support system there is a need for creating a new mathematical...

Development of a Computer-aided Learning System for Graphical Analysis of Continuous-Time Control Systems

Directory of Open Access Journals (Sweden)

J. F. Opadiji

2010-06-01

Full Text Available We present the development and deployment process of a computer-aided learning tool which serves as a training aid for undergraduate control engineering courses. We show the process of algorithm construction and implementation of the software which is also aimed at teaching software development at undergraduate level. The scope of this project is limited to graphical analysis of continuous-time control systems.

Teaching Mathematics Bilingually for Kindergarten Students with Teaching Aids Based on Local Wisdom

Science.gov (United States)

Ambarini, Ririn; Setyaji, Arso; Suneki, Sri

2018-01-01

Language and Mathematics are both skills and knowledge that need to master well so that it can be the provision for students' future life when mingling with the community or society. Because of that the integration of teaching both language and Mathematics in bilingual Math learning will give many benefits to the students. They will learn not only…

Mathematical Methodology for New Modeling of Water Hammer in Emergency Core Cooling System

International Nuclear Information System (INIS)

Lee, Seungchan; Yoon, Dukjoo; Ha, Sangjun

2013-01-01

In engineering insight, the water hammer study has carried out through the experimental work and the fluid mechanics. In this study, a new access methodology is introduced by Newton mechanics and a mathematical method. Also, NRC Generic Letter 2008-01 requires nuclear power plant operators to evaluate the effect of water-hammer for the protection of pipes of the Emergency Core Cooling System, which is related to the Residual Heat Removal System and the Containment Spray System. This paper includes modeling, the processes of derivation of the mathematical equations and the comparison with other experimental work. To analyze the effect of water-hammer, this mathematical methodology is carried out. This study is in good agreement with other experiment results as above. This method is very efficient to explain the water-hammer phenomena

Mathematical Methodology for New Modeling of Water Hammer in Emergency Core Cooling System

Energy Technology Data Exchange (ETDEWEB)

Lee, Seungchan; Yoon, Dukjoo; Ha, Sangjun [Korea Hydro Nuclear Power Co. Ltd, Daejeon (Korea, Republic of)

2013-05-15

In engineering insight, the water hammer study has carried out through the experimental work and the fluid mechanics. In this study, a new access methodology is introduced by Newton mechanics and a mathematical method. Also, NRC Generic Letter 2008-01 requires nuclear power plant operators to evaluate the effect of water-hammer for the protection of pipes of the Emergency Core Cooling System, which is related to the Residual Heat Removal System and the Containment Spray System. This paper includes modeling, the processes of derivation of the mathematical equations and the comparison with other experimental work. To analyze the effect of water-hammer, this mathematical methodology is carried out. This study is in good agreement with other experiment results as above. This method is very efficient to explain the water-hammer phenomena.

Implicit Lagrangian equations and the mathematical modeling of physical systems

NARCIS (Netherlands)

Moreau, Luc; van der Schaft, Arjan

2002-01-01

We introduce a class of optimal control problems on manifolds which gives rise (via the Pontryagin maximum principle) to a class of implicit Lagrangian systems (a notion which is introduced in the paper). We apply this to the mathematical modeling of interconnected mechanical systems and mechanical

Real-time Risk Assessment for Aids to Navigation Using Fuzzy-FSA on Three-Dimensional Simulation System

Directory of Open Access Journals (Sweden)

Jinbiao Chen

2014-06-01

Full Text Available The risk level of the Aids to Navigation (AtoNs can reflect the ship navigation safety level in the channel to some extent. In order to appreciate the risk level of the aids to navigation (AtoNs in a navigation channel and to provide some decision-making suggestions for the AtoNs Maintenance and Management Department, the risk assessment index system of the AtoNs was built considering the advanced experience of IALA. Under the Formal Safety Assessment frame, taking the advantages of the fuzzy comprehensive evaluation method, the fuzzy-FSA model of risk assessment for aids to navigation was established. The model was implemented for the assessment of aids to navigation in Shanghai area based on the aids to navigation three-dimensional simulation system. The real-time data were extracted from the existing information system of aids to navigation, and the real-time risk assessment for aids to navigation of the chosen channel was performed on platform of the three-dimensional simulation system, with the risk assessment software. Specifically, the deep-water channel of the Yangtze River estuary was taken as an example to illustrate the general assessment procedure. The method proposed presents practical significance and application prospect on the maintenance and management of the aids to navigation.

Web-based auditory self-training system for adult and elderly users of hearing aids.

Science.gov (United States)

Vitti, Simone Virginia; Blasca, Wanderléia Quinhoneiro; Sigulem, Daniel; Torres Pisa, Ivan

2015-01-01

Adults and elderly users of hearing aids suffer psychosocial reactions as a result of hearing loss. Auditory rehabilitation is typically carried out with support from a speech therapist, usually in a clinical center. For these cases, there is a lack of computer-based self-training tools for minimizing the psychosocial impact of hearing deficiency. To develop and evaluate a web-based auditory self-training system for adult and elderly users of hearing aids. Two modules were developed for the web system: an information module based on guidelines for using hearing aids; and an auditory training module presenting a sequence of training exercises for auditory abilities along the lines of the auditory skill steps within auditory processing. We built aweb system using PHP programming language and a MySQL database .from requirements surveyed through focus groups that were conducted by healthcare information technology experts. The web system was evaluated by speech therapists and hearing aid users. An initial sample of 150 patients at DSA/HRAC/USP was defined to apply the system with the inclusion criteria that: the individuals should be over the age of 25 years, presently have hearing impairment, be a hearing aid user, have a computer and have internet experience. They were divided into two groups: a control group (G1) and an experimental group (G2). These patients were evaluated clinically using the HHIE for adults and HHIA for elderly people, before and after system implementation. A third web group was formed with users who were invited through social networks for their opinions on using the system. A questionnaire evaluating hearing complaints was given to all three groups. The study hypothesis considered that G2 would present greater auditory perception, higher satisfaction and fewer complaints than G1 after the auditory training. It was expected that G3 would have fewer complaints regarding use and acceptance of the system. The web system, which was named Sis

CADRIGS--computer aided design reliability interactive graphics system

International Nuclear Information System (INIS)

Kwik, R.J.; Polizzi, L.M.; Sticco, S.; Gerrard, P.B.; Yeater, M.L.; Hockenbury, R.W.; Phillips, M.A.

1982-01-01

An integrated reliability analysis program combining graphic representation of fault trees, automated data base loadings and reference, and automated construction of reliability code input files was developed. The functional specifications for CADRIGS, the computer aided design reliability interactive graphics system, are presented. Previously developed fault tree segments used in auxiliary feedwater system safety analysis were constructed on CADRIGS and, when combined, yielded results identical to those resulting from manual input to the same reliability codes

Mathematical Model of the Jet Engine Fuel System

Directory of Open Access Journals (Sweden)

Klimko Marek

2015-01-01

Full Text Available The paper discusses the design of a simplified mathematical model of the jet (turbo-compressor engine fuel system. The solution will be based on the regulation law, where the control parameter is a fuel mass flow rate and the regulated parameter is the rotational speed. A differential equation of the jet engine and also differential equations of other fuel system components (fuel pump, throttle valve, pressure regulator will be described, with respect to advanced predetermined simplifications.

Mathematical Model of the Jet Engine Fuel System

Science.gov (United States)

Klimko, Marek

2015-05-01

The paper discusses the design of a simplified mathematical model of the jet (turbo-compressor) engine fuel system. The solution will be based on the regulation law, where the control parameter is a fuel mass flow rate and the regulated parameter is the rotational speed. A differential equation of the jet engine and also differential equations of other fuel system components (fuel pump, throttle valve, pressure regulator) will be described, with respect to advanced predetermined simplifications.

A Mathematical Model of Complacency in HIV/AIDS Scenario: Sex-Structure Approach

Directory of Open Access Journals (Sweden)

Gbolahan BOLARIN

2012-12-01

Full Text Available In this study we use sex-structure approach to examine the effect of complacent sexual behaviour (risky sexual activities on the rate of infection of HIV/AIDS in a population. We partitioned the population into two classes (male and female represented by to express our model equation as a set of differential equations. We were able to express the number of AIDS cases (male and female as linear functions that depend on the number of AIDS patient present in the population. We were also able to determine the equilibra states of the model. We found that the Basic Reproduction Number (R0, which is the number of secondary infections due to introduction of infective into the population of both female and male partitions of the population is given as R0=sqrt(R0fRom.

Aiding the environment: the Australian Development Agency's experience of implementing an environmental management system

International Nuclear Information System (INIS)

Keen, Meg; Sullivan, Marjorie

2005-01-01

Aid agencies, like commercial businesses, are increasingly concerned with incorporating sound environmental management into their operations. Different approaches are being used to integrate sustainability into development assistance to ensure that environmental impacts are assessed and managed. One approach being used by AusAID, the Australian aid agency, is to implement an environmental management system (EMS) across program and project areas. This paper examines how AusAID has adapted the EMS approach to suit aid agency operations, and some of the lessons from the Australian experience

Non-Lipschitz Dynamics Approach to Discrete Event Systems

Science.gov (United States)

Zak, M.; Meyers, R.

1995-01-01

This paper presents and discusses a mathematical formalism for simulation of discrete event dynamics (DED) - a special type of 'man- made' system designed to aid specific areas of information processing. A main objective is to demonstrate that the mathematical formalism for DED can be based upon the terminal model of Newtonian dynamics which allows one to relax Lipschitz conditions at some discrete points.

Mathematical Modelling in the Junior Secondary Years: An Approach Incorporating Mathematical Technology

Science.gov (United States)

Lowe, James; Carter, Merilyn; Cooper, Tom

2018-01-01

Mathematical models are conceptual processes that use mathematics to describe, explain, and/or predict the behaviour of complex systems. This article is written for teachers of mathematics in the junior secondary years (including out-of-field teachers of mathematics) who may be unfamiliar with mathematical modelling, to explain the steps involved…

Discrete Mathematics

DEFF Research Database (Denmark)

Sørensen, John Aasted

2010-01-01

The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Spring 2010 Ectent: 5 ects Class size: 18......The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Spring 2010 Ectent: 5 ects Class size: 18...

Discrete Mathematics

DEFF Research Database (Denmark)

Sørensen, John Aasted

2010-01-01

The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Autumn 2010 Ectent: 5 ects Class size: 15......The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Autumn 2010 Ectent: 5 ects Class size: 15...

Mathematics for Water and Wastewater Treatment Plant Operators. Water and Wastewater Training Program.

Science.gov (United States)

South Dakota Dept. of Environmental Protection, Pierre.

This booklet is intended to aid the prospective waste treatment plant operator or drinking water plant operator in learning to solve mathematical problems, which is necessary for Class I certification. It deals with the basic mathematics which a Class I operator may require in accomplishing day-to-day tasks. The book also progresses into problems…

Handbook on the history of mathematics education

CERN Document Server

Schubring, Gert

2014-01-01

This is the first comprehensive International Handbook on the History of Mathematics Education, covering a wide spectrum of epochs and civilizations, countries and cultures. Until now, much of the research into the rich and varied history of mathematics education has remained inaccessible to the vast majority of scholars,  not least because it has been written in the language, and for readers, of an individual country. And yet a historical overview, however brief, has become an indispensable element of nearly every dissertation and scholarly article. This handbook provides, for the first time, a comprehensive and systematic aid for researchers around the world in finding the information they need about historical developments in mathematics education, not only in their own countries, but globally as well. Although written primarily for mathematics educators, this handbook will also be of interest to researchers of the history of education in general, as well as specialists in cultural and even social history...

Computer-aided Nonlinear Control System Design Using Describing Function Models

CERN Document Server

Nassirharand, Amir

2012-01-01

A systematic computer-aided approach provides a versatile setting for the control engineer to overcome the complications of controller design for highly nonlinear systems. Computer-aided Nonlinear Control System Design provides such an approach based on the use of describing functions. The text deals with a large class of nonlinear systems without restrictions on the system order, the number of inputs and/or outputs or the number, type or arrangement of nonlinear terms. The strongly software-oriented methods detailed facilitate fulfillment of tight performance requirements and help the designer to think in purely nonlinear terms, avoiding the expedient of linearization which can impose substantial and unrealistic model limitations and drive up the cost of the final product. Design procedures are presented in a step-by-step algorithmic format each step being a functional unit with outputs that drive the other steps. This procedure may be easily implemented on a digital computer with example problems from mecha...

High phase noise tolerant pilot-tone-aided DP-QPSK optical communication systems

DEFF Research Database (Denmark)

Zhang, Xu; Pang, Xiaodan; Deng, Lei

2012-01-01

In this paper we experimentally demonstrate a novel, high phase-noise tolerant, optical dual polarization (DP) quadrature phase-shift keying (QPSK) communication system based on pilot-tone-aided phase noise cancellation (PNC) algorithm. Vertical cavity surface emitting lasers (VCSELs) with approx......In this paper we experimentally demonstrate a novel, high phase-noise tolerant, optical dual polarization (DP) quadrature phase-shift keying (QPSK) communication system based on pilot-tone-aided phase noise cancellation (PNC) algorithm. Vertical cavity surface emitting lasers (VCSELs...

Mathematical model for the technological system of working a thin coal bed

Energy Technology Data Exchange (ETDEWEB)

Isayev, V V

1979-01-01

The principle for constructing a mathematical model of working a thin coal bed using the adaptation criterion is examined. Intersecting parameters of the medium and the unit are presented. Based on these parameters, dependences are presented for the adaptation criterion and its maximization. A general mathematical model is presented for the technological system of unmanned extraction of a thin bed D/sub 5/ under conditions of the mine ''Dolinskaya'' of the Karaganda Basin. The work results can be used to plan technological systems for working thin coal beds.

[A computer-aided image diagnosis and study system].

Science.gov (United States)

Li, Zhangyong; Xie, Zhengxiang

2004-08-01

The revolution in information processing, particularly the digitizing of medicine, has changed the medical study, work and management. This paper reports a method to design a system for computer-aided image diagnosis and study. Combined with some good idea of graph-text system and picture archives communicate system (PACS), the system was realized and used for "prescription through computer", "managing images" and "reading images under computer and helping the diagnosis". Also typical examples were constructed in a database and used to teach the beginners. The system was developed by the visual developing tools based on object oriented programming (OOP) and was carried into operation on the Windows 9X platform. The system possesses friendly man-machine interface.

A comparison of equality in computer algebra and correctness in mathematical pedagogy (II)

OpenAIRE

Bradford, Russell; Davenport, James H; Sangwin, C

2010-01-01

A perennial problem in computer-aided assessment is that “a right answer”, pedagogically speaking, is not the same thing as “a mathematically correct expression”, as verified by a computer algebra system, or indeed other techniques such as random evaluation. Paper I in this series considered the difference in cases where there was “the right answer”, typically calculus questions. Here we look at some other cases, notably in linear algebra, where there can be many “right answers”, but still th...

Assisted supervision of a computer aided tele-operation system

Energy Technology Data Exchange (ETDEWEB)

Le Bars, H; Gravez, P; Fournier, R

1994-12-31

This paper talks about Computer Aided Tele-operation (CAT) in dismantling and maintenance of nuclear plants. The current research orientations at CEA, basic concepts of the supervision assistance system and the realisation of a prototype are presented. (TEC). 3 refs., 4 figs.

Assisted supervision of a computer aided tele-operation system

International Nuclear Information System (INIS)

Le Bars, H.; Gravez, P.; Fournier, R.

1994-01-01

This paper talks about Computer Aided Tele-operation (CAT) in dismantling and maintenance of nuclear plants. The current research orientations at CEA, basic concepts of the supervision assistance system and the realisation of a prototype are presented. (TEC). 3 refs., 4 figs

Foreign aid

DEFF Research Database (Denmark)

Tarp, Finn

2008-01-01

Foreign aid has evolved significantly since the Second World War in response to a dramatically changing global political and economic context. This article (a) reviews this process and associated trends in the volume and distribution of foreign aid; (b) reviews the goals, principles and instituti......Foreign aid has evolved significantly since the Second World War in response to a dramatically changing global political and economic context. This article (a) reviews this process and associated trends in the volume and distribution of foreign aid; (b) reviews the goals, principles...... and institutions of the aid system; and (c) discusses whether aid has been effective. While much of the original optimism about the impact of foreign aid needed modification, there is solid evidence that aid has indeed helped further growth and poverty reduction...

Interaction of mathematical modeling and social and behavioral HIV/AIDS research.

Science.gov (United States)

Cassels, Susan; Goodreau, Steven M

2011-03-01

HIV is transmitted within complex biobehavioral systems. Mathematical modeling can provide insight to complex population-level outcomes of various behaviors measured at an individual level. HIV models in the social and behavioral sciences can be categorized in a number of ways; here, we consider two classes of applications common in the field generally, and in the past year in particular: those models that explore significant behavioral determinants of HIV disparities within and between populations; and those models that seek to evaluate the potential impact of specific social and behavioral interventions. We discuss two overarching issues we see in the field: the need to further systematize effectiveness models of behavioral interventions, and the need for increasing investigation of the use of behavioral data in epidemic models. We believe that a recent initiative by the National Institutes of Health will qualitatively change the relationships between epidemic modeling and sociobehavioral prevention research in the coming years.

Computer-Aided Prototyping Systems (CAPS) within the software acquisition process: a case study

OpenAIRE

Ellis, Mary Kay

1993-01-01

Approved for public release; distribution is unlimited This thesis provides a case study which examines the benefits derived from the practice of computer-aided prototyping within the software acquisition process. An experimental prototyping systems currently in research is the Computer Aided Prototyping System (CAPS) managed under the Computer Science department of the Naval Postgraduate School, Monterey, California. This thesis determines the qualitative value which may be realized by ...

Microcomputer-aided monitor for liquid hydrogen target system

International Nuclear Information System (INIS)

Kitami, T.; Watanabe, K.

1983-03-01

A microcomputer-aided monitor for a liquid hydrogen target system has been designed and tested. Various kinds of input data such as temperature, pressure, vacuum, etc. are scanned in a given time interval. Variation with time in any four items can be displayed on CRT and, if neccessary, printed out on a sheet of recording paper. (author)

Mathematical and computational modeling simulation of solar drying Systems

Science.gov (United States)

Mathematical modeling of solar drying systems has the primary aim of predicting the required drying time for a given commodity, dryer type, and environment. Both fundamental (Fickian diffusion) and semi-empirical drying models have been applied to the solar drying of a variety of agricultural commo...

Using HIV&AIDS statistics in pre-service Mathematics Education to ...

African Journals Online (AJOL)

Linda van Laren

2012-12-13

Dec 13, 2012 ... In South Africa, the HIV&AIDS education policy documents indicate ... in disciplines call for the development of new approaches – and ... be initiated when working with pre-service teachers who are regis- ... as 'personal development and social development areas of Life ..... Australia and New Zealand. 500.

Computer aided approach to qualitative and quantitative common cause failure analysis for complex systems

International Nuclear Information System (INIS)

Cate, C.L.; Wagner, D.P.; Fussell, J.B.

1977-01-01

Common cause failure analysis, also called common mode failure analysis, is an integral part of a complete system reliability analysis. Existing methods of computer aided common cause failure analysis are extended by allowing analysis of the complex systems often encountered in practice. The methods aid in identifying potential common cause failures and also address quantitative common cause failure analysis

The Master Hearing Aid

Science.gov (United States)

Curran, James R.

2013-01-01

As early as the 1930s the term Master Hearing Aid (MHA) described a device used in the fitting of hearing aids. In their original form, the MHA was a desktop system that allowed for simulated or actual adjustment of hearing aid components that resulted in a changed hearing aid response. Over the years the MHA saw many embodiments and contributed to a number of rationales for the fitting of hearing aids. During these same years, the MHA was viewed by many as an inappropriate means of demonstrating hearing aids; the audio quality of the desktop systems was often superior to the hearing aids themselves. These opinions and the evolution of the MHA have molded the modern perception of hearing aids and the techniques used in the fitting of hearing aids. This article reports on a history of the MHA and its influence on the fitting of hearing aids. PMID:23686682

Developing a deeper understanding of mathematics teaching expertise : an examination of three Chinese mathematics teachers’ resource systems as windows into their work and expertise

NARCIS (Netherlands)

Pepin, B.E.U.; Xu, B.; Trouche, L.; Wang, C.

2017-01-01

In order to develop a deeper understanding of mathematics teaching expertise, in this study we use the Documentational Approach to Didactics to explore the resource systems of three Chinese mathematics “expert” teachers. Exploiting the Western and Eastern literature we examine the notion of

Mathematical prediction of core body temperature from environment, activity, and clothing: The heat strain decision aid (HSDA).

Science.gov (United States)

Potter, Adam W; Blanchard, Laurie A; Friedl, Karl E; Cadarette, Bruce S; Hoyt, Reed W

2017-02-01

Physiological models provide useful summaries of complex interrelated regulatory functions. These can often be reduced to simple input requirements and simple predictions for pragmatic applications. This paper demonstrates this modeling efficiency by tracing the development of one such simple model, the Heat Strain Decision Aid (HSDA), originally developed to address Army needs. The HSDA, which derives from the Givoni-Goldman equilibrium body core temperature prediction model, uses 16 inputs from four elements: individual characteristics, physical activity, clothing biophysics, and environmental conditions. These inputs are used to mathematically predict core temperature (T c ) rise over time and can estimate water turnover from sweat loss. Based on a history of military applications such as derivation of training and mission planning tools, we conclude that the HSDA model is a robust integration of physiological rules that can guide a variety of useful predictions. The HSDA model is limited to generalized predictions of thermal strain and does not provide individualized predictions that could be obtained from physiological sensor data-driven predictive models. This fully transparent physiological model should be improved and extended with new findings and new challenging scenarios. Published by Elsevier Ltd.

SAMO [Sistema de Apoyo Mechanizado a la Operacion]: An operational aids computer system

International Nuclear Information System (INIS)

Stormer, T.D.; Laflor, E.V.

1989-01-01

SAMO (Sistema de Apoyo Mechanizado a la Operacion) is a sensor-driven, computer-based, graphic display system designed by Westinghouse to aid the A. N. Asco operations staff during all modes of plant operations, including emergencies. The SAMO system is being implemented in the A. N. Asco plant in two phases that coincide with consecutive refueling outages for each of two nuclear units at the Asco site. Phase 1 of the SAMO system implements the following functions: (1) emergency operational aids, (2) postaccident monitoring, (3) plant graphics display, (4) high-speed transient analysis recording, (5) historical data collection, storage, and retrieval, (6) sequence of events, and (7) posttrip review. During phase 2 of the SAMO project, the current plant computer will be removed and the functions now performed by the plant computer will be performed by the SAMO system. In addition, the following functions will be implemented: (1) normal and simple transients operational aid, (2) plant information graphics; and (3) real-time radiological off-site dose calculation

Control Engineering, System Theory and Mathematics: The Teacher's Challenge

Science.gov (United States)

Zenger, K.

2007-01-01

The principles, difficulties and challenges in control education are discussed and compared to the similar problems in the teaching of mathematics and systems science in general. The difficulties of today's students to appreciate the classical teaching of engineering disciplines, which are based on rigorous and scientifically sound grounds, are…

Computer-aided instruction system; Systeme d'enseignement programme par ordinateur

Energy Technology Data Exchange (ETDEWEB)

Teneze, Jean Claude

1968-12-18

This research thesis addresses the use of teleprocessing and time sharing by the RAX IBM system and the possibility to introduce a dialog with the machine to develop an application in which the computer plays the role of a teacher for different pupils at the same time. Two operating modes are thus exploited: a teacher-mode and a pupil-mode. The developed CAI (computer-aided instruction) system comprises a checker to check the course syntax in teacher-mode, a translator to trans-code the course written in teacher-mode into a form which can be processes by the execution programme, and the execution programme which presents the course in pupil-mode.

HIV and AIDS

Science.gov (United States)

... Staying Safe Videos for Educators Search English Español HIV and AIDS KidsHealth / For Kids / HIV and AIDS ... actually the virus that causes the disease AIDS. HIV Hurts the Immune System People who are HIV ...

The Aharonov-Anandan phase of a classical dynamical system seen mathematically as a quantum dynamical system

OpenAIRE

Segre, Gavriel

2005-01-01

It is shown that the non-adiabatic Hannay's angle of an integrable non-degenerate classical hamiltonian dynamical system may be related to the Aharonov-Anandan phase it develops when it is looked mathematically as a quantum dynamical system.

A Home Integral Telecare System for HIV/AIDS Patients.

Science.gov (United States)

Caceres, Cesar; Gomez, Enrique J; Garcia, Felipe; Chausa, Paloma; Guzman, Jorge; Del Pozo, Francisco; Gatell, Jose Maria

2005-01-01

VIHrtual Hospital is a telemedicine web system for improving home integral care of chronic HIV patients through the Internet. Using the videoconference, chat or messaging tools included in the system, patients can visit their healthcare providers (physician, psychologist, nurse, psychiatrist, pharmacist, and social worker), having these access to the Electronic Patient Record. The system also provides a telepharmacy service that controls treatment adherence and side effects, sending the medication to the patient's home by courier. A virtual community has been created, facilitating communication between patients and improving the collaboration between professionals, creating a care plan for each patient. As a complement, there is a virtual library where users can find validated HIV/AIDS information helping to enhance prevention. This system has been developed using low cost technologies in order to extend the number of patients involved in its trial. Thus, VIHrtual Hospital is now on trial in the Hospital Clinic (Barcelona, Spain) involving a hundred patients and twenty healthcare professionals during two years.Although we are still waiting for the final results of the trial, we can already say that the use of telemedicine systems developed ad hoc for a chronic disease, like HIV/AIDS, improve the quality of care of the patients and their care team. The system described is a good example of the possibilities that technologies are offering to create new chronic patient care models based on telemedicine.

Investigating Pre-Service Mathematics Teachers' Innovation Awareness and Views Regarding Intelligent Tutoring Systems

Science.gov (United States)

Erdemir, Mustafa; Ingeç, Sebnem Kandil

2016-01-01

The purpose of this study is to identify pre-service primary mathematics teachers' views regarding on Web-based Intelligent Tutoring Systems (WBITS) in relation to its usability and influence on teaching. A survey method was used. The study was conducted with 43 students attending the mathematics teaching program under the department of elementary…

Mathematical modeling of complexing in the scandium-salicylic acid-isoamyl alcohol system

International Nuclear Information System (INIS)

Evseev, A.M.; Smirnova, N.S.; Fadeeva, V.I.; Tikhomirova, T.I.; Kir'yanov, Yu.A.

1984-01-01

Mathematical modeling of an equilibrium multicomponent physicochemical system for extraction of Sc salicylate complexes by isoamyl alcohol was conducted. To calculate the equilibrium concentrations of Sc complexes different with respect to the content and composition, the system of nonlinear algebraic mass balance equations was solved. Experimental data on the extraction of Sc salicylates by isoamyl alcohol versus the pH of the solution at a constant Sc concentration and different concentration of salicylate-ions were used for construction of the mathematical model. The stability constants of ScHSal 2+ , Sc(HSal) 3 , ScOH(HSal) 2 , ScoH(HSal) 2 complexes were calculated

Mathematical model of thyristor inverter including a series-parallel resonant circuit

OpenAIRE

Luft, M.; Szychta, E.

2008-01-01

The article presents a mathematical model of thyristor inverter including a series-parallel resonant circuit with the aid of state variable method. Maple procedures are used to compute current and voltage waveforms in the inverter.

History of Mathematics

DEFF Research Database (Denmark)

Hansen, Vagn Lundsgaard; Gray, Jeremy

Volume 1 in Theme on "History of Mathematics", in "Encyclopedia of Life Support Systems (EOLSS), developed under the auspices of the UNESCO.......Volume 1 in Theme on "History of Mathematics", in "Encyclopedia of Life Support Systems (EOLSS), developed under the auspices of the UNESCO....

Nervous system manifestations and neuroradiologic findings in acquired immunodeficiency syndrome (AIDS)

International Nuclear Information System (INIS)

Rodesch, G.; Parizel, P.M.; Lalmand, B.; Vanderhofstadt, A.; Baleriaux, D.; Farber, C.M.; Calck, M. van; Przedborski, S.; Haens, J. d'; Taelman, H.

1989-01-01

We report a series of thirteen patients with nervous system complications out of a total of thirty AIDS patients admitted to our hospital over the last two years for which CT and/or MRI have been performed. Five were homosexual men and eight patients (5 men, 3 women) were of African origin (Zaire and Rwanda) (n=5) or had had sexual intercourse with the local African population (n=3). The nervous system complications encountered included: Toxoplasma gondii brain abscess (2 patients); cryptococcus neoformans meningitis+toxoplasmosis (1 patient); toxoplasmosis+lymphoma (2 patients); progressive multifocal leucoencephalopathy (1 patient); lymphocytic meningitis or encephalitis (3 patients); lymphoma (1 patient); polyradiculoneuritis (3 patients). Three of thirteen patients had multiple intracranial abnormalities: One had concomitant intraparenchymal toxoplasma abscess and cryptococcal meningitis; in one patient a lymphoma developed after the successful medical treatment of a toxoplasma abscess; conversely, one patient developed a toxoplasma abscess two years after mediastinal radiotherapy for a systemic non-Hodgkin lymphoma. In conclusion, in our experience, nervous system toxoplasmosis is the most frequent AIDS related CNS complication. Our series demonstrates the high frequency of a second neurological disease occurring either concomitantly or separately. In these cases, while CT may readily identify the intracranial abnormalities, it contributes little towards an etiological diagnosis. Finally, our series illustrates the importance of a central African endemic focus for AIDS. (orig.)

Nervous system manifestations and neuroradiologic findings in acquired immunodeficiency syndrome (AIDS)

Energy Technology Data Exchange (ETDEWEB)

Rodesch, G.; Parizel, P.M.; Lalmand, B.; Vanderhofstadt, A.; Baleriaux, D.; Farber, C.M.; Calck, M. van; Przedborski, S.; Haens, J. d' ; Taelman, H.

1989-03-01

We report a series of thirteen patients with nervous system complications out of a total of thirty AIDS patients admitted to our hospital over the last two years for which CT and/or MRI have been performed. Five were homosexual men and eight patients (5 men, 3 women) were of African origin (Zaire and Rwanda) (n=5) or had had sexual intercourse with the local African population (n=3). The nervous system complications encountered included: Toxoplasma gondii brain abscess (2 patients); cryptococcus neoformans meningitis+toxoplasmosis (1 patient); toxoplasmosis+lymphoma (2 patients); progressive multifocal leucoencephalopathy (1 patient); lymphocytic meningitis or encephalitis (3 patients); lymphoma (1 patient); polyradiculoneuritis (3 patients). Three of thirteen patients had multiple intracranial abnormalities: One had concomitant intraparenchymal toxoplasma abscess and cryptococcal meningitis; in one patient a lymphoma developed after the successful medical treatment of a toxoplasma abscess; conversely, one patient developed a toxoplasma abscess two years after mediastinal radiotherapy for a systemic non-Hodgkin lymphoma. In conclusion, in our experience, nervous system toxoplasmosis is the most frequent AIDS related CNS complication. Our series demonstrates the high frequency of a second neurological disease occurring either concomitantly or separately. In these cases, while CT may readily identify the intracranial abnormalities, it contributes little towards an etiological diagnosis. Finally, our series illustrates the importance of a central African endemic focus for AIDS.

Experimental evaluation of ontology-based HIV/AIDS frequently asked question retrieval system.

Science.gov (United States)

Ayalew, Yirsaw; Moeng, Barbara; Mosweunyane, Gontlafetse

2018-05-01

This study presents the results of experimental evaluations of an ontology-based frequently asked question retrieval system in the domain of HIV and AIDS. The main purpose of the system is to provide answers to questions on HIV/AIDS using ontology. To evaluate the effectiveness of the frequently asked question retrieval system, we conducted two experiments. The first experiment focused on the evaluation of the quality of the ontology we developed using the OQuaRE evaluation framework which is based on software quality metrics and metrics designed for ontology quality evaluation. The second experiment focused on evaluating the effectiveness of the ontology in retrieving relevant answers. For this we used an open-source information retrieval platform, Terrier, with retrieval models BM25 and PL2. For the measurement of performance, we used the measures mean average precision, mean reciprocal rank, and precision at 5. The results suggest that frequently asked question retrieval with ontology is more effective than frequently asked question retrieval without ontology in the domain of HIV/AIDS.

Computer aided system for parametric design of combination die

Science.gov (United States)

Naranje, Vishal G.; Hussein, H. M. A.; Kumar, S.

2017-09-01

In this paper, a computer aided system for parametric design of combination dies is presented. The system is developed using knowledge based system technique of artificial intelligence. The system is capable to design combination dies for production of sheet metal parts having punching and cupping operations. The system is coded in Visual Basic and interfaced with AutoCAD software. The low cost of the proposed system will help die designers of small and medium scale sheet metal industries for design of combination dies for similar type of products. The proposed system is capable to reduce design time and efforts of die designers for design of combination dies.

The computer aided education and training system for accident management

International Nuclear Information System (INIS)

Yoneyama, Mitsuru; Kubota, Ryuji; Fujiwara, Tadashi; Sakuma, Hitoshi

1999-01-01

The education and training system for Accident Management was developed by the Japanese BWR group and Hitachi Ltd. The education and training system is composed of two systems. One is computer aided instruction (CAI) education system and the education and training system with computer simulations. Both systems are designed to be executed on personal computers. The outlines of the CAI education system and the education and training system with simulator are reported below. These systems provides plant operators and technical support center staff with the effective education and training for accident management. (author)

Automatic computer aided analysis algorithms and system for adrenal tumors on CT images.

Science.gov (United States)

Chai, Hanchao; Guo, Yi; Wang, Yuanyuan; Zhou, Guohui

2017-12-04

The adrenal tumor will disturb the secreting function of adrenocortical cells, leading to many diseases. Different kinds of adrenal tumors require different therapeutic schedules. In the practical diagnosis, it highly relies on the doctor's experience to judge the tumor type by reading the hundreds of CT images. This paper proposed an automatic computer aided analysis method for adrenal tumors detection and classification. It consisted of the automatic segmentation algorithms, the feature extraction and the classification algorithms. These algorithms were then integrated into a system and conducted on the graphic interface by using MATLAB Graphic user interface (GUI). The accuracy of the automatic computer aided segmentation and classification reached 90% on 436 CT images. The experiments proved the stability and reliability of this automatic computer aided analytic system.

DISCRETE MATHEMATICS AS FUNDAMENTAL DISCIPLINE IS IN SYSTEM OF MATHEMATICAL PREPARATION OF FUTURE SOFTWARE ENGINEER

OpenAIRE

D. Shchedrolosev

2010-01-01

Fundamental mathematical background is an important part of training future engineers and programmers. The paper considers existing approaches to teaching the fundamentals of discrete mathematics specialist IT profile, a comparative analysis of modern textbooks on discrete mathematics for IT professionals was conducted

The mathematical theory of signal processing and compression-designs

Science.gov (United States)

Feria, Erlan H.

2006-05-01

The mathematical theory of signal processing, named processor coding, will be shown to inherently arise as the computational time dual of Shannon's mathematical theory of communication which is also known as source coding. Source coding is concerned with signal source memory space compression while processor coding deals with signal processor computational time compression. Their combination is named compression-designs and referred as Conde in short. A compelling and pedagogically appealing diagram will be discussed highlighting Conde's remarkable successful application to real-world knowledge-aided (KA) airborne moving target indicator (AMTI) radar.

Relationships of cognitive and metacognitive learning strategies to mathematics achievement in four high-performing East Asian education systems.

Science.gov (United States)

Areepattamannil, Shaljan; Caleon, Imelda S

2013-01-01

The authors examined the relationships of cognitive (i.e., memorization and elaboration) and metacognitive learning strategies (i.e., control strategies) to mathematics achievement among 15-year-old students in 4 high-performing East Asian education systems: Shanghai-China, Hong Kong-China, Korea, and Singapore. In all 4 East Asian education systems, memorization strategies were negatively associated with mathematics achievement, whereas control strategies were positively associated with mathematics achievement. However, the association between elaboration strategies and mathematics achievement was a mixed bag. In Shanghai-China and Korea, elaboration strategies were not associated with mathematics achievement. In Hong Kong-China and Singapore, on the other hand, elaboration strategies were negatively associated with mathematics achievement. Implications of these findings are briefly discussed.

Computer-based expert system aids underground mine planning

Energy Technology Data Exchange (ETDEWEB)

Britton, S.G.

1987-04-01

Artificial intelligence (AI) systems have been rapidly expanded over the last few years to aid in the decision making processes in a whole range of industries, including the use of machines for operating in high risk/dangerous areas such as at the working faces in longwall mining. Using Prolog software a program for mine management is being developed called CHOOZ. This system can help managers identify staffing problems and change manpower shifts to cope with unexpected labor problems such as absenteeism and sickness. All the programs have been developed for the IBM PC microcomputer.

DISCRETE MATHEMATICS AS FUNDAMENTAL DISCIPLINE IS IN SYSTEM OF MATHEMATICAL PREPARATION OF FUTURE SOFTWARE ENGINEER

Directory of Open Access Journals (Sweden)

D. Shchedrolosev

2010-04-01

Full Text Available Fundamental mathematical background is an important part of training future engineers and programmers. The paper considers existing approaches to teaching the fundamentals of discrete mathematics specialist IT profile, a comparative analysis of modern textbooks on discrete mathematics for IT professionals was conducted

System for corrosion monitoring in pipeline applying fuzzy logic mathematics

Science.gov (United States)

Kuzyakov, O. N.; Kolosova, A. L.; Andreeva, M. A.

2018-05-01

A list of factors influencing corrosion rate on the external side of underground pipeline is determined. Principles of constructing a corrosion monitoring system are described; the system performance algorithm and program are elaborated. A comparative analysis of methods for calculating corrosion rate is undertaken. Fuzzy logic mathematics is applied to reduce calculations while considering a wider range of corrosion factors.

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…

AIDS-related primary central nervous system lymphoma: a Norwegian national survey 1989–2003

International Nuclear Information System (INIS)

Haldorsen, Ingfrid S; Kråkenes, Jostein; Goplen, Anne K; Dunlop, Oona; Mella, Olav; Espeland, Ansgar

2008-01-01

Primary central nervous system lymphoma (PCNSL) is a frequent complication in acquired immunodeficiency syndrome (AIDS). The objective of this survey was to investigate incidence, clinical features, radiological findings, histologic diagnosis, treatment and outcome for all patients with histologically verified AIDS-related PCNSL diagnosed in Norway in 1989–2003. We identified the patients by chart review of all cases recorded as PCNSL in The Norwegian Cancer Registry (by law recording all cases of cancer in Norway) and all cases recorded as AIDS-related PCNSL in the autopsy registry at a hospital having 67% autopsy rate and treating 59% of AIDS patients in Norway, from 1989 to 2003. Histologic material and radiological images were reviewed. We used person-time techniques to calculate incidence rates of PCNSL among AIDS patients based on recordings on AIDS at the Norwegian Surveillance System for Communicable Diseases (by law recording all cases of AIDS in Norway). Twenty-nine patients had histologically confirmed, newly diagnosed AIDS-related PCNSL in Norway from 1989–2003. Only 2 patients had this diagnosis established while alive. AIDS patients had 5.5% lifetime risk of PCNSL. Their absolute incidence rate of PCNSL per 100 person-years was 1.7 (95%CI: 1.1–2.4) and decreased during the consecutive 5-year periods from 3.6, to 2.5, and to 0.4 (p < 0.001). Median survival from initial symptom of PCNSL was 2.3 months, but one patient was still alive 4 years after completed radiotherapy. This is the first national survey to confirm decreasing incidence of AIDS-related PCNSL. Despite dismal survival in most patients, the possibility of long term survival should prompt more aggressive diagnostics in suspected PCNSL

Computers in Science and Mathematics Education in the ASEAN Region.

Science.gov (United States)

Talisayon, Vivien M.

1989-01-01

Compares policies and programs on computers in science and mathematics education in the six ASEAN countries: Brunei, Indonesia; Malaysia, Philippines, Singapore, and Thailand. Limits discussion to the computer as a teaching aid and object of study, attendant problems, and regional cooperation. (MVL)

Statistical Mechanics of Disordered Systems - Series: Cambridge Series in Statistical and Probabilistic Mathematics (No. 18)

Science.gov (United States)

Bovier, Anton

2006-06-01

Our mathematical understanding of the statistical mechanics of disordered systems is going through a period of stunning progress. This self-contained book is a graduate-level introduction for mathematicians and for physicists interested in the mathematical foundations of the field, and can be used as a textbook for a two-semester course on mathematical statistical mechanics. It assumes only basic knowledge of classical physics and, on the mathematics side, a good working knowledge of graduate-level probability theory. The book starts with a concise introduction to statistical mechanics, proceeds to disordered lattice spin systems, and concludes with a presentation of the latest developments in the mathematical understanding of mean-field spin glass models. In particular, recent progress towards a rigorous understanding of the replica symmetry-breaking solutions of the Sherrington-Kirkpatrick spin glass models, due to Guerra, Aizenman-Sims-Starr and Talagrand, is reviewed in some detail. Comprehensive introduction to an active and fascinating area of research Clear exposition that builds to the state of the art in the mathematics of spin glasses Written by a well-known and active researcher in the field

Application of a neurofuzzy mathematical model in the development ...

African Journals Online (AJOL)

Log in or Register to get access to full text downloads. ... This paper presents a contribution on the development of a neurofuzzy mathematical model that aids in capturing and analyzing the various parameters in ... The neurofuzzy methodology was used to regulate the oven baking temperatures to acceptable standards.

A Study of the Use of a Handheld Computer Algebra System in Discrete Mathematics

Science.gov (United States)

Powers, Robert A.; Allison, Dean E.; Grassl, Richard M.

2005-01-01

This study investigated the impact of the TI-92 handheld Computer Algebra System (CAS) on student achievement in a discrete mathematics course. Specifically, the researchers examined the differences between a CAS section and a control section of discrete mathematics on students' in-class examinations. Additionally, they analysed student approaches…

Towards a Mobile Intelligent Information System with Application to HIV/AIDS.

Science.gov (United States)

Kopec, D; Eckhardt, R; Tamang, S; Reinharth, D

2005-01-01

The United Nations Security Council reports HIV/AIDS as the fastest growing threat to human development. In addition, the World Health Organization [1] reports that nearly 5 million persons (4.3 million adults and 700,000 children) are newly infected with HIV each year; more than 95% of them found in developing countries. Since STDs as a group are a personal problem which few people feel comfortable discussing, we believe that hand-held PDAs can provide an opportunity for learning about this disease while insuring anonymity. This device will employ the newest technologies including Bluetooth wireless technology, which can transmit and receive data via a short-range radio link using a globally available frequency band (2.4 GHz ISM band), enabling rapid and accurate synchronous and asynchronous data communication. The first generation of Bluetooth permits exchange of data up to a rate of 1 Mbps, even in areas with much electromagnetic disturbance. This emerging technology can facilitate HIV/AIDS outreach around the globe.Recent advances in learning have taken a particularly cognitive perspective and these findings have implications for education in general as well as for the development of intelligent tutoring systems in particular. In the past, effective SmartBookstrade markhave been developed for AIDS education to disseminate the critical knowledge relevant to this epidemic [2].Since 1993, the proliferation of the World Wide Web has created a plethora of new opportunities for the delivery of electronic distance learning systems. However, we feel that it is important that a whatever technology is employed is based on a sound educational theory. A new, comprehensive, web-based learning system called SmartTutor has been developed, at Brooklyn College of The City University of New York [3]. This technology provides a user-friendly, self-paced, easy to modify, software environment intended to serve the user's learning needs and is based on a generic Smart

From Patient-Specific Mathematical Neuro-Oncology to Precision Medicine

Directory of Open Access Journals (Sweden)

Anne eBaldock

2013-04-01

Full Text Available Gliomas are notoriously aggressive, malignant brain tumors that have variable response to treatment. These patients often have poor prognosis, informed primarily by histopathology. Mathematical neuro-oncology (MNO is a young and burgeoning field that leverages mathematical models to predict and quantify response to therapies. These mathematical models can form the basis of modern precision medicine approaches to tailor therapy in a patient-specific manner. Patient specific models (PSMs can be used to overcome imaging limitations, improve prognostic predictions, stratify patients and assess treatment response in silico. The information gleaned from such models can aid in the construction and efficacy of clinical trials and treatment protocols, accelerating the pace of clinical research in the war on cancer. This review focuses on the growing translation of PSM to clinical neuro-oncology. It will also provide a forward-looking view on a new era of patient-specific mathematical neuro-oncology.

Mathematical and information maintenance of biometric systems

Science.gov (United States)

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

2016-04-01

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

Computer-aided system for diabetes care in Berlin, G.D.R.

Science.gov (United States)

Thoelke, H; Meusel, K; Ratzmann, K P

1990-01-01

In the Centre of Diabetes and Metabolic Disorders of Berlin, G.D.R., a computer-aided care system has been used since 1974, aiming at relieving physicians and medical staff from routine tasks and rendering possible epidemiological research on an unselected diabetes population of a defined area. The basis of the system is the data bank on diabetics (DB), where at present data from approximately 55,000 patients are stored. DB is used as a diabetes register of Berlin. On the basis of standardised criteria of diagnosis and therapy of diabetes mellitus in our dispensary care system, DB facilitates representative epidemiological analyses of the diabetic population, e.g. prevalence, incidence, duration of diabetes, and modes of treatment. The availability of general data on the population or the selection of specified groups of patients serves the management of the care system. Also, it supports the computer-aided recall of type II diabetics, treated either with diet alone or with diet and oral drugs. In this way, the standardised evaluation of treatment strategies in large populations of diabetics is possible on the basis of uniform metabolic criteria (blood glucose plus urinary glucose). The system consists of a main computer in the data processing unit and of personal computers in the diabetes centre which can be used either individually or as terminals to the main computer. During 14 years of experience, the computer-aided out-patient care of type II diabetics has proved efficient in a big-city area with a large population.

The lifecontingencies Package: Performing Financial and Actuarial Mathematics Calculations in R

Directory of Open Access Journals (Sweden)

Giorgio Alfredo Spedicato

2013-11-01

Full Text Available It is possible to model life contingency insurances with the lifecontingencies R package, which is capable of performing financial and actuarial mathematics calculations. Its functions permit one to determine both the expected value and the stochastic distribution of insured benefits. Therefore, life insurance coverage can be priced and portfolios risk-based capital requirements can be assessed. This paper briefly summarizes the theory regarding life contingencies that is based on financial mathematics and demographic con- cepts. Then, with the aid of applied examples, it shows how the lifecontingencies package can be a useful tool for executing routine, deterministic, or stochastic calculations for life-contingencies actuarial mathematics.

Computer Aided Design and Analysis of Separation Processes with Electrolyte Systems

DEFF Research Database (Denmark)

A methodology for computer aided design and analysis of separation processes involving electrolyte systems is presented. The methodology consists of three main parts. The thermodynamic part "creates" the problem specific property model package, which is a collection of pure component and mixture...... property models. The design and analysis part generates process (flowsheet) alternatives, evaluates/analyses feasibility of separation and provides a visual operation path for the desired separation. The simulation part consists of a simulation/calculation engine that allows the screening and validation...... of process alternatives. For the simulation part, a general multi-purpose, multi-phase separation model has been developed and integrated to an existing computer aided system. Application of the design and analysis methodology is highlighted through two illustrative case studies....

Computer Aided Design and Analysis of Separation Processes with Electrolyte Systems

DEFF Research Database (Denmark)

Takano, Kiyoteru; Gani, Rafiqul; Kolar, P.

2000-01-01

A methodology for computer aided design and analysis of separation processes involving electrolyte systems is presented. The methodology consists of three main parts. The thermodynamic part 'creates' the problem specific property model package, which is a collection of pure component and mixture...... property models. The design and analysis part generates process (flowsheet) alternatives, evaluates/analyses feasibility of separation and provides a visual operation path for the desired separation. The simulation part consists of a simulation/calculation engine that allows the screening and validation...... of process alternatives. For the simulation part, a general multi-purpose, multi-phase separation model has been developed and integrated to an existing computer aided system. Application of the design and analysis methodology is highlighted through two illustrative case studies, (C) 2000 Elsevier Science...

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

Science.gov (United States)

McGivney, Raymond J., Jr.

1990-01-01

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

Application of the Quality Functional Deployment Method in Mobility Aid Securement System Design

Science.gov (United States)

1992-12-01

The Independent Locking Securement System Project (ILS System Project) is a : successful attempt to respond to the transportation community's need for a : "universal" securement/restraint system that will accommodate most wheeled : mobility aids, inc...

Mathematical modeling analysis of intratumoral disposition of anticancer agents and drug delivery systems.

Science.gov (United States)

Popilski, Hen; Stepensky, David

2015-05-01

Solid tumors are characterized by complex morphology. Numerous factors relating to the composition of the cells and tumor stroma, vascularization and drainage of fluids affect the local microenvironment within a specific location inside the tumor. As a result, the intratumoral drug/drug delivery system (DDS) disposition following systemic or local administration is non-homogeneous and its complexity reflects the differences in the local microenvironment. Mathematical models can be used to analyze the intratumoral drug/DDS disposition and pharmacological effects and to assist in choice of optimal anticancer treatment strategies. The mathematical models that have been applied by different research groups to describe the intratumoral disposition of anticancer drugs/DDSs are summarized in this article. The properties of these models and of their suitability for prediction of the drug/DDS intratumoral disposition and pharmacological effects are reviewed. Currently available mathematical models appear to neglect some of the major factors that govern the drug/DDS intratumoral disposition, and apparently possess limited prediction capabilities. More sophisticated and detailed mathematical models and their extensive validation are needed for reliable prediction of different treatment scenarios and for optimization of drug treatment in the individual cancer patients.

Mathematical Models and Methods for Living Systems

CERN Document Server

Chaplain, Mark; Pugliese, Andrea

2016-01-01

The aim of these lecture notes is to give an introduction to several mathematical models and methods that can be used to describe the behaviour of living systems. This emerging field of application intrinsically requires the handling of phenomena occurring at different spatial scales and hence the use of multiscale methods. Modelling and simulating the mechanisms that cells use to move, self-organise and develop in tissues is not only fundamental to an understanding of embryonic development, but is also relevant in tissue engineering and in other environmental and industrial processes involving the growth and homeostasis of biological systems. Growth and organization processes are also important in many tissue degeneration and regeneration processes, such as tumour growth, tissue vascularization, heart and muscle functionality, and cardio-vascular diseases.

Computer aided system engineering for space construction

Science.gov (United States)

Racheli, Ugo

1989-01-01

This viewgraph presentation covers the following topics. Construction activities envisioned for the assembly of large platforms in space (as well as interplanetary spacecraft and bases on extraterrestrial surfaces) require computational tools that exceed the capability of conventional construction management programs. The Center for Space Construction is investigating the requirements for new computational tools and, at the same time, suggesting the expansion of graduate and undergraduate curricula to include proficiency in Computer Aided Engineering (CAE) though design courses and individual or team projects in advanced space systems design. In the center's research, special emphasis is placed on problems of constructability and of the interruptability of planned activity sequences to be carried out by crews operating under hostile environmental conditions. The departure point for the planned work is the acquisition of the MCAE I-DEAS software, developed by the Structural Dynamics Research Corporation (SDRC), and its expansion to the level of capability denoted by the acronym IDEAS**2 currently used for configuration maintenance on Space Station Freedom. In addition to improving proficiency in the use of I-DEAS and IDEAS**2, it is contemplated that new software modules will be developed to expand the architecture of IDEAS**2. Such modules will deal with those analyses that require the integration of a space platform's configuration with a breakdown of planned construction activities and with a failure modes analysis to support computer aided system engineering (CASE) applied to space construction.

MATHEMATICAL MODELING OF THE UNPUT DEVICES IN AUTOMATIC LOCOMOTIVE SIGNALING SYSTEM

Directory of Open Access Journals (Sweden)

O. O. Gololobova

2014-03-01

Full Text Available Purpose. To examine the operation of the automatic locomotive signaling system (ALS, to find out the influence of external factors on the devices operation and the quality of the code information derived from track circuit information, as well as to enable modeling of failure occurrences that may appear during operation. Methodology. To achieve this purpose, the main obstacles in ALS operation and the reasons for their occurrence were considered and the system structure principle was researched. The mathematical model for input equipment of the continuous automatic locomotive signaling system (ALS with the number coding was developed. It was designed taking into account all the types of code signals “R”, “Y”, “RY” and equivalent scheme of replacing the filter with a frequency of 50 Hz. Findings. The operation of ALSN with a signal current frequency of 50 Hz was examined. The adequate mathematical model of input equipment of ALS with a frequency of 50 Hz was developed. Originality. The computer model of input equipment of ALS system in the environment of MATLAB+Simulink was developed. The results of the computer modeling on the outlet of the filter during delivering every type of code combination were given in the article. Practical value. With the use of developed mathematical model of ALS system operation we have an opportunity to study, research and determine behavior of the circuit during the normal operation mode and failure occurrences. Also there is a possibility to develop and apply different scheme decisions in modeling environment MATLAB+Simulink for reducing the influence of obstacles on the functional capability of ALS and to model the occurrence of possible difficulties.

Computer-Aided System of Virtual Testing of Gas Turbine Engines

Directory of Open Access Journals (Sweden)

Rybakov Viktor N.

2016-01-01

Full Text Available The article describes the concept of a virtual lab that includes subsystem of gas turbine engine simulation, subsystem of experiment planning, subsystem of measurement errors simulation, subsystem of simulator identification and others. The basis for virtual lab development is the computer-aided system of thermogasdynamic research and analysis “ASTRA”. The features of gas turbine engine transient modes simulator are described. The principal difference between the simulators of transient and stationary modes of gas turbine engines is that the energy balance of the compressor and turbine becomes not applicable. The computer-aided system of virtual gas turbine engine testing was created using the developed transient modes simulator. This system solves the tasks of operational (throttling, speed, climatic, altitude characteristics calculation, analysis of transient dynamics and selection of optimal control laws. Besides, the system of virtual gas turbine engine testing is a clear demonstration of gas turbine engine working process and the regularities of engine elements collaboration. The interface of the system of virtual gas turbine engine testing is described in the article and some screenshots of the interface elements are provided. The developed system of virtual gas turbine engine testing provides means for reducing the laboriousness of gas turbine engines testing. Besides, the implementation of this system in the learning process allows the diversification of lab works and therefore improve the quality of training.

Computer aided systems human engineering: A hypermedia tool

Science.gov (United States)

Boff, Kenneth R.; Monk, Donald L.; Cody, William J.

1992-01-01

The Computer Aided Systems Human Engineering (CASHE) system, Version 1.0, is a multimedia ergonomics database on CD-ROM for the Apple Macintosh II computer, being developed for use by human system designers, educators, and researchers. It will initially be available on CD-ROM and will allow users to access ergonomics data and models stored electronically as text, graphics, and audio. The CASHE CD-ROM, Version 1.0 will contain the Boff and Lincoln (1988) Engineering Data Compendium, MIL-STD-1472D and a unique, interactive simulation capability, the Perception and Performance Prototyper. Its features also include a specialized data retrieval, scaling, and analysis capability and the state of the art in information retrieval, browsing, and navigation.

Mathematics Connection: Editorial Policies

African Journals Online (AJOL)

Focus and Scope. MATHEMATICS CONNECTION aims at providing a forum to promote the development of Mathematics Education in Ghana. Articles that seek to enhance the teaching and/or learning of mathematics at all levels of the educational system are welcome ...

Analysis of three-phase power-supply systems using computer-aided design programs

International Nuclear Information System (INIS)

Oberst, E.F.

1977-01-01

A major concern of every designer of large, three-phase power-supply systems is the protection of system components from overvoltage transients. At present, three computer-aided circuit design programs are available in the Magnetic Fusion Energy (MFE) National Computer Center that can be used to analyze three-phase power systems: MINI SCEPTRE, SPICE I, and SPICE II. These programs have been used at Lawrence Livermore Laboratory (LLL) to analyze the operation of a 200-kV dc, 20-A acceleration power supply for the High Voltage Test Stand. Various overvoltage conditions are simulated and the effectiveness of system protective devices is observed. The simulated overvoltage conditions include such things as circuit breaker openings, pulsed loading, and commutation voltage surges in the rectifiers. These examples are used to illustrate the use of the computer-aided, circuit-design programs discussed in this paper

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

Artificial intelligence aid to efficient plant operations

International Nuclear Information System (INIS)

Wildberger, A.M.; Pack, R.W.

1987-01-01

As the nuclear power industry matures, it is becoming more and more important that plants be operated in an efficient, cost-effective manner, without, of course, any decrease in the essential margins of safety. Indeed, most opportunities for improved efficiency have little or no relation to nuclear safety, but are based on trade-offs among operator controllable parameters both within and external to the reactor itself. While these trade-offs are describable in terms of basic physical theory, thermodynamics, and the mathematics of control systems, their actual application is highly plant specific and influenced even by the day-to-day condition of the various plant components. This paper proposes the use of artificial intelligence techniques to construct a computer-based expert assistant to the plant operator for the purpose of aiding him in improving the efficiency of plant operation on a routine basis. The proposed system, which only advises the human operator, seems more amenable to the current regulatory approach than a truly automated control system even if the latter provides for manual override

Computer Aided Education System SuperTest. Present and Prospective

Directory of Open Access Journals (Sweden)

2007-01-01

Full Text Available This paper analyzes the testing and self-testing process for the Computer Aided Education System (CAES SuperTest, used at the Academy of Economic Studies of Chisinau, Moldova and recently implemented at the University of Bacau, Romania. We discuss here the future of this software, from the Information Society and Knowledge Society point of view.

EDUCATION AND NATIONAL SECURITY: SYSTEM DEFICIENCIES OF MATHEMATICAL EDUCATION IN RUSSIA AND THE USA

Directory of Open Access Journals (Sweden)

M. A. Choshanov

2013-01-01

Full Text Available The paper looks at the mathematical education in Russian schools regarded not long ago as fundamental and based on developing students' mental abilities. However, the analysis of the Trends in International Mathematics and Science Study (TIMSS 2011 demonstrates the non-consistent results in mathematical achievements of young Russians over the last fifteen years referring to the decreasing rate of successfully solved high level problems. The author disapproves of mechanical duplication of any foreign experience contradicting the Russian realities. Meanwhile, a lot of people in the USA and elsewhere abroad realize that national security is closely related to the human capital, which directly depends on education. The publication considers the limitations of mathematical education both in Russia and the USA from the national security stand point.The author gives the comparative analysis of the system errors in mathematical education of the USA, and singles out the ones to be avoided: the residual investment into the human capital, rising gap between the school mathematics and mathematical science, degrading fundamentality of mathematical education, test drills instead of in-depth training, non-consistency of school reorganization, reduced academic hours, etc. In the author’s opinion, the negative foreign experience should be considered in order to meet the time requirements and preserve a unique Russian brand of the high quality mathematical education. 

Web-ADARE: A Web-Aided Data Repairing System

KAUST Repository

Gu, Binbin

2017-03-08

Data repairing aims at discovering and correcting erroneous data in databases. In this paper, we develop Web-ADARE, an end-to-end web-aided data repairing system, to provide a feasible way to involve the vast data sources on the Web in data repairing. Our main attention in developing Web-ADARE is paid on the interaction problem between web-aided repairing and rule-based repairing, in order to minimize the Web consultation cost while reaching predefined quality requirements. The same interaction problem also exists in crowd-based methods but this is not yet formally defined and addressed. We first prove in theory that the optimal interaction scheme is not feasible to be achieved, and then propose an algorithm to identify a scheme for efficient interaction by investigating the inconsistencies and the dependencies between values in the repairing process. Extensive experiments on three data collections demonstrate the high repairing precision and recall of Web-ADARE, and the efficiency of the generated interaction scheme over several baseline ones.

Web-ADARE: A Web-Aided Data Repairing System

KAUST Repository

Gu, Binbin; Li, Zhixu; Yang, Qiang; Xie, Qing; Liu, An; Liu, Guanfeng; Zheng, Kai; Zhang, Xiangliang

2017-01-01

Data repairing aims at discovering and correcting erroneous data in databases. In this paper, we develop Web-ADARE, an end-to-end web-aided data repairing system, to provide a feasible way to involve the vast data sources on the Web in data repairing. Our main attention in developing Web-ADARE is paid on the interaction problem between web-aided repairing and rule-based repairing, in order to minimize the Web consultation cost while reaching predefined quality requirements. The same interaction problem also exists in crowd-based methods but this is not yet formally defined and addressed. We first prove in theory that the optimal interaction scheme is not feasible to be achieved, and then propose an algorithm to identify a scheme for efficient interaction by investigating the inconsistencies and the dependencies between values in the repairing process. Extensive experiments on three data collections demonstrate the high repairing precision and recall of Web-ADARE, and the efficiency of the generated interaction scheme over several baseline ones.

A brief history of the most remarkable numbers e, i and γ in mathematical sciences with applications

Science.gov (United States)

Debnath, Lokenath

2015-08-01

This paper deals with a brief history of the most remarkable Euler numbers e, i and γ in mathematical sciences. Included are many properties of the constants e, i and γ and their applications in algebra, geometry, physics, chemistry, ecology, business and industry. Special attention is given to the growth and decay phenomena in many real-world problems including stability and instability of their solutions. Some specific and modern applications of logarithms, complex numbers and complex exponential functions to electrical circuits and mechanical systems are presented with examples. Included are the use of complex numbers and complex functions in the description and analysis of chaos and fractals with the aid of modern computer technology. In addition, the phasor method is described with examples of applications in engineering science. The major focus of this paper is to provide basic information through historical approach to mathematics teaching and learning of the fundamental knowledge and skills required for students and teachers at all levels so that they can understand the concepts of mathematics, and mathematics education in science and technology.

Cross Coursing in Mathematics: Physical Modelling in Differential Equations Crossing to Discrete Dynamical Systems

Science.gov (United States)

Winkel, Brian

2012-01-01

We give an example of cross coursing in which a subject or approach in one course in undergraduate mathematics is used in a completely different course. This situation crosses falling body modelling in an upper level differential equations course into a modest discrete dynamical systems unit of a first-year mathematics course. (Contains 1 figure.)

A Formal Approach to User Interface Design using Hybrid System Theory, Phase I

Data.gov (United States)

National Aeronautics and Space Administration — Optimal Synthesis Inc.(OSI) proposes to develop an aiding tool for user interface design that is based on mathematical formalism of hybrid system theory. The...

A tone-aided dual vestigial sideband system for digital communications on fading channels

Science.gov (United States)

Hladik, Stephen M.; Saulnier, Gary J.; Rafferty, William

1989-01-01

A spectrally efficient tone-aided dual vestigial sideband (TA/DVSB) system for digital data communications on fading channels is presented and described analytically. This PSK (phase-shift-keying) system incorporates a feed-forward, tone-aided demodulation technique to compensate for Doppler frequency shift and channel- induced, multipath fading. In contrast to other tone-in-band-type systems, receiver synchronization is derived from the complete data VSBs. Simulation results for the Rician fading channel are presented. These results demonstrate the receiver's ability to mitigate performance degradation due to fading and to obtain proper data carrier synchronization, suggesting that the proposed TA/DVSB system has promise for this application. Simulated BER (bit-error rate) data indicate that the TA/DVSB system effectively alleviates the channel distortions of the land mobile satellite application.

MATHEMATICAL SUPPORT OF THE INTELLIGENT INFORMATION SYSTEM OF ASSESSING THE OBJECT STATE

Directory of Open Access Journals (Sweden)

Sofiia Yakubovska

2017-11-01

Full Text Available At present, information technologies (IT are intensively used all over the world in various sectors, and today medical institutions cannot do without them when organizing the process of medical diagnostic. The IT efficiency is determined by the degree of their intellectualization that is by including knowledge bases as their component and by the transition from data processing to the processing of knowledge. The efficiency of making decisions in various areas of activity is determined by the quality and quick delivery of information. Medicine constitutes no exception in this sense. The advanced level of computer technology, applied tools, diagnostics on the basis of automated systems of decision support made it possible to solve the tasks of assessing the state of the object at a qualitatively new level. The subject matter of this study is to ensure the mathematical support of the intelligent information system (IS of assessing the state of the object. The object is understood as a patient who came through a myocardial infarction (MI. The goal of the study is to develop mathematical support of the intelligent IS of assessing and predicting a patient’s condition. To achieve the stated goal, the following tasks were solved: statistically valid and uncorrelated signs were specified; these signs enable distinguishing the group of patients who survived from those who died, “decisive rules” were formulated for predicting the MI clinical outcome. In the process of the study, the mathematical IT of assessing the state of the object was developed. The following result was obtained: the suggested mathematical models for predicting the outcome of myocardial infarction that were developed with the use of the method of discriminant function and took into account human blood values can prevent sudden coronary death and improve the diagnostic efficiency. Conclusions. Mathematical models were developed to predict the state of the object in the event of

Mathematical neuroscience: from neurons to circuits to systems.

Science.gov (United States)

Gutkin, Boris; Pinto, David; Ermentrout, Bard

2003-01-01

Applications of mathematics and computational techniques to our understanding of neuronal systems are provided. Reduction of membrane models to simplified canonical models demonstrates how neuronal spike-time statistics follow from simple properties of neurons. Averaging over space allows one to derive a simple model for the whisker barrel circuit and use this to explain and suggest several experiments. Spatio-temporal pattern formation methods are applied to explain the patterns seen in the early stages of drug-induced visual hallucinations.

Handbook of mathematics

CERN Document Server

Kuipers, L

1969-01-01

International Series of Monographs in Pure and Applied Mathematics, Volume 99: Handbook of Mathematics provides the fundamental mathematical knowledge needed for scientific and technological research. The book starts with the history of mathematics and the number systems. The text then progresses to discussions of linear algebra and analytical geometry including polar theories of conic sections and quadratic surfaces. The book then explains differential and integral calculus, covering topics, such as algebra of limits, the concept of continuity, the theorem of continuous functions (with examp

Basic mathematical cognition.

Science.gov (United States)

Gaber, David; Schlimm, Dirk

2015-01-01

Mathematics is a powerful tool for describing and developing our knowledge of the physical world. It informs our understanding of subjects as diverse as music, games, science, economics, communications protocols, and visual arts. Mathematical thinking has its roots in the adaptive behavior of living creatures: animals must employ judgments about quantities and magnitudes in the assessment of both threats (how many foes) and opportunities (how much food) in order to make effective decisions, and use geometric information in the environment for recognizing landmarks and navigating environments. Correspondingly, cognitive systems that are dedicated to the processing of distinctly mathematical information have developed. In particular, there is evidence that certain core systems for understanding different aspects of arithmetic as well as geometry are employed by humans and many other animals. They become active early in life and, particularly in the case of humans, develop through maturation. Although these core systems individually appear to be quite limited in application, in combination they allow for the recognition of mathematical properties and the formation of appropriate inferences based upon those properties. In this overview, the core systems, their roles, their limitations, and their interaction with external representations are discussed, as well as possibilities for how they can be employed together to allow us to reason about more complex mathematical domains. © 2015 John Wiley & Sons, Ltd.

Development and implementation of an HIV/AIDS trials management system: a geographical information systems approach

CSIR Research Space (South Africa)

Busgeeth, K

2008-01-01

Full Text Available of randomised and clinically controlled trials of HIV/AIDS interventions can provide invaluable information to decision-making processes. Using the newly emerging geographical information systems (GIS) technology, researchers have developed a tool which assists...

ATHENA AIDE

International Nuclear Information System (INIS)

Fink, R.K.; Callow, R.A.; Larson, T.K.; Ransom, V.H.

1987-01-01

An expert system called the ATHENA AIDE that assists in the preparation of input models for the ATHENA thermal-hydraulics code has been developed by researchers at the Idaho National Engineering Laboratory. The ATHENA AIDE uses a menu driven graphics interface and rule-based and object-oriented programming techniques to assist users of the ATHENA code in performing the tasks involved in preparing the card image input files required to run ATHENA calculations. The ATENA AIDE was developed and currently runs on single-user Xerox artificial intelligence workstations. Experience has shown that the intelligent modeling environment provided by the ATHENA AIDE expert system helps ease the modeling task by relieving the analyst of many mundane, repetitive, and error prone procedures involved in the construction of an input model. This reduces errors in the resulting models, helps promote standardized modeling practices, and allows models to be constructed more quickly than was previously possible

Building a durable response to HIV/AIDS: implications for health systems.

Science.gov (United States)

Atun, Rifat; Bataringaya, Jacqueline

2011-08-01

The remarkable rise in investments for HIV control programs in 2003-2010 enabled an unprecedented expansion of access to HIV services in low-income and middle-income countries. By the end of 2010, more than 5.2 million people were receiving antiretroviral therapy (ART), which transformed HIV infection, once a death sentence, into a long-term illness. The rapid expansion in the number of persons receiving ART means that health systems must continue to provide acute life-saving care for those with advanced HIV/AIDS although also providing chronic care services to expanding cohorts of more stable patients who are doing well on ART. This expansion also means a transition from an emergency response to the epidemic, characterized by a public health approach, to a more integrated and durable approach to HIV prevention, care, and treatment services that fosters individualized care for those requiring long-term antiretroviral treatment. Yet most low-income and middle-income countries, which have weak health systems, are poorly prepared to make this transition. In this article, we highlight the challenges health systems face in developing a sustained and durable response to HIV/AIDS. The article analyses the readiness of health systems to combine rapid expansion of ART access with long-term treatment and continuity of care for a growing cohort of patients. We argue that effective management of a transition from an emergency AIDS response to long-term programatic strategies will require a paradigm shift that enables leveraging investments in HIV to build sustainable health systems for managing large cohorts of patients receiving ART although meeting the immediate needs of those who remain without access to HIV treatment and care.

Analysis of Mathematics and Sustainability in an Impulsive Eutrophication Controlling System

Directory of Open Access Journals (Sweden)

Hengguo Yu

2013-01-01

quite accurate to describe the interaction effect of some critical factors (fishermen catch and releasing small fry, etc., which enables a systematic and logical procedure for fitting eutrophication mathematical system to real monitoring data and experiment data. Mathematical theoretical works have been pursuing the investigation of two threshold functions of some critical parameters under the condition of all species persistence, which can in turn provide a theoretical basis for the numerical simulation. Using numerical simulation works, we mainly focus on how to choose the best value of some critical parameters to ensure the sustainability of the eutrophication system so that the eutrophication removal process can be well developed with maximizing economic benefit. These results may be further extended to provide a basis for simulating the algal bloom in the laboratory and understanding the application of some impulsive controlling models about eutrophication removal problems.

Geometric and computer-aided spline hob modeling

Science.gov (United States)

Brailov, I. G.; Myasoedova, T. M.; Panchuk, K. L.; Krysova, I. V.; Rogoza, YU A.

2018-03-01

The paper considers acquiring the spline hob geometric model. The objective of the research is the development of a mathematical model of spline hob for spline shaft machining. The structure of the spline hob is described taking into consideration the motion in parameters of the machine tool system of cutting edge positioning and orientation. Computer-aided study is performed with the use of CAD and on the basis of 3D modeling methods. Vector representation of cutting edge geometry is accepted as the principal method of spline hob mathematical model development. The paper defines the correlations described by parametric vector functions representing helical cutting edges designed for spline shaft machining with consideration for helical movement in two dimensions. An application for acquiring the 3D model of spline hob is developed on the basis of AutoLISP for AutoCAD environment. The application presents the opportunity for the use of the acquired model for milling process imitation. An example of evaluation, analytical representation and computer modeling of the proposed geometrical model is reviewed. In the mentioned example, a calculation of key spline hob parameters assuring the capability of hobbing a spline shaft of standard design is performed. The polygonal and solid spline hob 3D models are acquired by the use of imitational computer modeling.

Aid and development

DEFF Research Database (Denmark)

Tarp, Finn

2006-01-01

evolved since World War II in response to a dramatically changing global political and economic context. I review the aid process and associated trends in the volume and distribution of aid and categorize some of the key goals, principles and institutions of the aid system. The evidence on whether aid has...... been effective in furthering economic growth and development is discussed in some detail. I add perspective and identify some critical unresolved issues. I finally turn to the current development debate and discuss some key concerns, I believe should be kept in mind in formulating any agenda for aid...

Quantum systems, channels, information. A mathematical introduction

Energy Technology Data Exchange (ETDEWEB)

Holevo, Alexander S.

2012-07-01

The subject of this book is theory of quantum system presented from information science perspective. The central role is played by the concept of quantum channel and its entropic and information characteristics. Quantum information theory gives a key to understanding elusive phenomena of quantum world and provides a background for development of experimental techniques that enable measuring and manipulation of individual quantum systems. This is important for the new efficient applications such as quantum computing, communication and cryptography. Research in the field of quantum informatics, including quantum information theory, is in progress in leading scientific centers throughout the world. This book gives an accessible, albeit mathematically rigorous and self-contained introduction to quantum information theory, starting from primary structures and leading to fundamental results and to exiting open problems.

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

Framework for computer-aided systems design

International Nuclear Information System (INIS)

Esselman, W.H.

1992-01-01

Advanced computer technology, analytical methods, graphics capabilities, and expert systems contribute to significant changes in the design process. Continued progress is expected. Achieving the ultimate benefits of these computer-based design tools depends on successful research and development on a number of key issues. A fundamental understanding of the design process is a prerequisite to developing these computer-based tools. In this paper a hierarchical systems design approach is described, and methods by which computers can assist the designer are examined. A framework is presented for developing computer-based design tools for power plant design. These tools include expert experience bases, tutorials, aids in decision making, and tools to develop the requirements, constraints, and interactions among subsystems and components. Early consideration of the functional tasks is encouraged. Methods of acquiring an expert's experience base is a fundamental research problem. Computer-based guidance should be provided in a manner that supports the creativity, heuristic approaches, decision making, and meticulousness of a good designer

Mathematical verification of a nuclear power plant protection system function with combined CPN and PVS

Energy Technology Data Exchange (ETDEWEB)

Koo, Seo Ryong; Son, Han Seong; Seong, Poong Hyun [Korea Advanced Institute of Science and Technology, Taejon (Korea, Republic of)

1999-12-31

In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri Net (CPN) for modeling and Prototype Verification System (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, a translator has been developed in this work. The combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip) and found to be promising for further research and applications. 7 refs., 10 figs. (Author)

Mathematical verification of a nuclear power plant protection system function with combined CPN and PVS

Energy Technology Data Exchange (ETDEWEB)

Koo, Seo Ryong; Son, Han Seong; Seong, Poong Hyun [Korea Advanced Institute of Science and Technology, Taejon (Korea, Republic of)

1998-12-31

In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri Net (CPN) for modeling and Prototype Verification System (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, a translator has been developed in this work. The combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip) and found to be promising for further research and applications. 7 refs., 10 figs. (Author)

Mathematical theory of nonequilibrium steady states on the frontier of probability and dynamical systems

CERN Document Server

Jiang, Da-Quan; Qian, Min-Ping

2004-01-01

This volume provides a systematic mathematical exposition of the conceptual problems of nonequilibrium statistical physics, such as entropy production, irreversibility, and ordered phenomena. Markov chains, diffusion processes, and hyperbolic dynamical systems are used as mathematical models of physical systems. A measure-theoretic definition of entropy production rate and its formulae in various cases are given. It vanishes if and only if the stationary system is reversible and in equilibrium. Moreover, in the cases of Markov chains and diffusion processes on manifolds, it can be expressed in terms of circulations on directed cycles. Regarding entropy production fluctuations, the Gallavotti-Cohen fluctuation theorem is rigorously proved.

Geo-Spatial Tactical Decision Aid Systems: Fuzzy Logic for Supporting Decision Making

National Research Council Canada - National Science Library

Grasso, Raffaele; Giannecchini, Simone

2006-01-01

.... This paper describes a tactical decision aid system based on fuzzy logic reasoning for data fusion and on current Open Geospatial Consortium specifications for interoperability, data dissemination...

Comparison of Different Computer–Aided Surgery Systems in Skull Base Surgery

OpenAIRE

Ecke, U.; Luebben, B.; Maurer, J.; Boor, S.; Mann, W. J.

2003-01-01

Computer–aided surgery (CAS) based on high–resolution imaging techniques represents an important adjunct to precise intraoperative orientation when anatomical landmarks are distorted or missing. Several commercial systems, mostly based on optical or electromagnetic navigation principles, are on the market. This study investigated the application of EasyGuide®, VectorVision®, and InstaTrak® CAS systems in ENT surgery under practical and laboratory conditions. System accuracy, time required, ha...

Development of the computer-aided process planning (CAPP system for polymer injection molds manufacturing

Directory of Open Access Journals (Sweden)

J. Tepić

2011-10-01

Full Text Available Beginning of production and selling of polymer products largely depends on mold manufacturing. The costs of mold manufacturing have significant share in the final price of a product. The best way to improve and rationalize polymer injection molds production process is by doing mold design automation and manufacturing process planning automation. This paper reviews development of a dedicated process planning system for manufacturing of the mold for injection molding, which integrates computer-aided design (CAD, computer-aided process planning (CAPP and computer-aided manufacturing (CAM technologies.

Design of a Mathematical Unit in FPGA for the Implementation of the Control of a Magnetic Levitation System

Directory of Open Access Journals (Sweden)

Juan José Raygoza-Panduro

2008-01-01

Full Text Available This paper presents the design and implementation of an automatically generated mathematical unit, from a program developed in Java that describes the VHDL circuit, ready to be synthesized with the Xilinx ISE tool. The core contains diverse complex operations such as mathematical functions including sine and cosine, among others. The proposed unit is used to synthesize a sliding mode controller for a magnetic levitation system. This kind of systems is used in industrial applications requiring high level of mathematical calculations in small time periods. The core is designed to calculate trigonometric and arithmetic operations in such a way that each function is performed in a clock cycle. In this paper, the results of the mathematical core are shown in terms of implementation, utilization, and application to control a magnetic levitation system.

An Analysis of First Year Engineering Students' Satisfaction with a Support Distance Learning Program in Mathematics

Science.gov (United States)

Matzakos, Nikolaos M.; Kalogiannakis, Michail

2018-01-01

An online support distance-learning program in Mathematics was developed to aid first year engineering students for their transition from the secondary to the tertiary education in order to reinforce deficiencies they may have in mathematical knowledge. The aim of the present study is to examine, firstly, to what extent the attendance of such a…

Mathematical Model of Induction Heating Processes in Axial Symmetric Inductor-Detail Systems

Directory of Open Access Journals (Sweden)

Maik Streblau

2014-05-01

Full Text Available The wide variety of models for analysis of processes in the inductor-detail systems makes it necessary to summarize them. This is a difficult task because of the variety of inductor-detail system configurations. This paper aims to present a multi physics mathematical model for complex analysis of electromagnetic and thermal fields in axial symmetric systems inductor-detail.

Mathematics in ancient Greece

CERN Document Server

Dantzig, Tobias

2006-01-01

More than a history of mathematics, this lively book traces mathematical ideas and processes to their sources, stressing the methods used by the masters of the ancient world. Author Tobias Dantzig portrays the human story behind mathematics, showing how flashes of insight in the minds of certain gifted individuals helped mathematics take enormous forward strides. Dantzig demonstrates how the Greeks organized their precursors' melange of geometric maxims into an elegantly abstract deductive system. He also explains the ways in which some of the famous mathematical brainteasers of antiquity led

A Computer-Based, Interactive Videodisc Job Aid and Expert System for Electron Beam Lithography Integration and Diagnostic Procedures.

Science.gov (United States)

Stevenson, Kimberly

This master's thesis describes the development of an expert system and interactive videodisc computer-based instructional job aid used for assisting in the integration of electron beam lithography devices. Comparable to all comprehensive training, expert system and job aid development require a criterion-referenced systems approach treatment to…

The NIAID Division of AIDS enterprise information system: integrated decision support for global clinical research programs

Science.gov (United States)

Gupta, Nitin; Varghese, Suresh; Virkar, Hemant

2011-01-01

The National Institute of Allergy and Infectious Diseases (NIAID) Division of AIDS (DAIDS) Enterprise Information System (DAIDS-ES) is a web-based system that supports NIAID in the scientific, strategic, and tactical management of its global clinical research programs for HIV/AIDS vaccines, prevention, and therapeutics. Different from most commercial clinical trials information systems, which are typically protocol-driven, the DAIDS-ES was built to exchange information with those types of systems and integrate it in ways that help scientific program directors lead the research effort and keep pace with the complex and ever-changing global HIV/AIDS pandemic. Whereas commercially available clinical trials support systems are not usually disease-focused, DAIDS-ES was specifically designed to capture and incorporate unique scientific, demographic, and logistical aspects of HIV/AIDS treatment, prevention, and vaccine research in order to provide a rich source of information to guide informed decision-making. Sharing data across its internal components and with external systems, using defined vocabularies, open standards and flexible interfaces, the DAIDS-ES enables NIAID, its global collaborators and stakeholders, access to timely, quality information about NIAID-supported clinical trials which is utilized to: (1) analyze the research portfolio, assess capacity, identify opportunities, and avoid redundancies; (2) help support study safety, quality, ethics, and regulatory compliance; (3) conduct evidence-based policy analysis and business process re-engineering for improved efficiency. This report summarizes how the DAIDS-ES was conceptualized, how it differs from typical clinical trial support systems, the rationale for key design choices, and examples of how it is being used to advance the efficiency and effectiveness of NIAID's HIV/AIDS clinical research programs. PMID:21816958

Expert system aids transport regulation users

International Nuclear Information System (INIS)

Cheshire, R.D.; Straw, R.J.

1990-01-01

During late 1984 the IAEA Regulations were identified as an area of application for an expert system adviser which could offer many advantages. Over the following year some simple tests were carried out to examine its feasibility, but TRANAID did not get underway until 1986 when British Nuclear Fuels (BNFL) Corporate Management services were engaged on the product. By this time a greater choice of suitable software, in the form of expert system shells, had become available. After a number of trial systems the shell Leonardo was finally adopted for the final system. In order for TRANAID to emulate the expert it was necessary to spend time extracting and documenting the expert knowledge. This was a matter of investigating how the regulations are used and was achieved by a series of meetings including opportunity for the computer specialists to interview the regulations experts. There are several benefits in having an expert system advisor in this area. It is useful to both experienced and inexperienced users of regulations. For those who are learning to use the regulations it is an excellent training aid. For those who know the regulations but use them infrequently it can save time and provide a valuable reassurance. The adviser has enabled the expert user's know how to be captured and to be made widely available to those with less experience. (author)

Mathematical biophysics

CERN Document Server

Rubin, Andrew

2014-01-01

This book presents concise descriptions and analysis of the classical and modern models used in mathematical biophysics. The authors ask the question "what new information can be provided by the models that cannot be obtained directly from experimental data?" Actively developing fields such as regulatory mechanisms in cells and subcellular systems and electron transport and energy transport in membranes are addressed together with more classical topics such as metabolic processes, nerve conduction and heart activity, chemical kinetics, population dynamics, and photosynthesis. The main approach is to describe biological processes using different mathematical approaches necessary to reveal characteristic features and properties of simulated systems. With the emergence of powerful mathematics software packages such as MAPLE, Mathematica, Mathcad, and MatLab, these methodologies are now accessible to a wide audience. Provides succinct but authoritative coverage of a broad array of biophysical topics and models Wr...

Mathematical Modeling and Dimension Reduction in Dynamical Systems

DEFF Research Database (Denmark)

Elmegård, Michael

. These systems are generically nonlinear and the studies of them often become enormously complex. The framework in which such systems are best understood is via the theory of dynamical systems, where the critical behavior is systematically analyzed by performing bifurcation theory. In that context the current...... thesis is attacking two problems. The first is concerned with the mathematical modelling and analysis of an experiment of a vibro-impacting beam. This type of dynamical system has received much attention in the recent years and they occur frequently in mechanical applications, where they induce noise...... the existence of isolas of subharmonic orbits. These were then verified in the practical experiment in the lab. The second problem that is addressed in the current thesis is a problem that has developed as a consequence of the increasing power of computers which has created the demand for analysis of ever more...

Mathematics and linguistics

Energy Technology Data Exchange (ETDEWEB)

Landauer, C.; Bellman, K.L.

1996-12-31

In this paper, we study foundational issues that we believe will help us develop a theoretically sound approach to constructing complex systems. The two theoretical approaches that have helped us understand and develop computational systems in the past are mathematics and linguistics. We describe some differences and strengths of the approaches, and propose a research program to combine the richness of linguistic reasoning with the precision of mathematics.

The third therapeutic system: faith healing strategies in the context of a generalized AIDS epidemic.

Science.gov (United States)

Manglos, Nicolette D; Trinitapoli, Jenny

2011-03-01

Faith healing in sub-Saharan Africa has primarily been studied qualitatively among Pentecostal-Charismatic groups, and considered as its own phenomenon with little attention to its relationship to other modes of healing. Using data from Malawi, a religiously diverse African country with high HIV prevalence, we find that faith healing is pervasive across multiple religious traditions. For individuals, attending a faith healing congregation is associated with lower levels of generalized worry about AIDS, and this association is driven by those who switched churches before AIDS became widespread in rural areas. Use of condoms and traditional medicine are, on the other hand, positively associated with worry about AIDS. We argue that faith healing can be understood as a third therapeutic system that coexists with the well-documented biomedical and traditional systems. The success of faith healing approaches lies in their unique ability to combine individual-pragmatic and communal-ritualized aspects of healing to inform interpretations of the AIDS epidemic and its consequences.

The Third Therapeutic System: Faith Healing Strategies in the Context of a Generalized AIDS Epidemic

Science.gov (United States)

Manglos, Nicolette D.; Trinitapoli, Jenny

2014-01-01

Faith healing in sub-Saharan Africa has primarily been studied qualitatively among Pentecostal-Charismatic groups, and considered as its own phenomenon with little attention to its relationship to other modes of healing. Using data from Malawi, a religiously diverse African country with high HIV prevalence, we find that faith healing is pervasive across multiple religious traditions. For individuals, attending a faith healing congregation is associated with lower levels of generalized worry about AIDS, and this association is driven by those who switched churches before AIDS became widespread in rural areas. Use of condoms and traditional medicine are, on the other hand, positively associated with worry about AIDS. We argue that faith healing can be understood as a third therapeutic system that coexists with the well-documented biomedical and traditional systems. The success of faith healing approaches lies in their unique ability to combine individual-pragmatic and communal-ritualized aspects of healing to inform interpretations of the AIDS epidemic and its consequences. PMID:21362615

Evaluation methods of solar contribution in solar aided coal-fired power generation system

International Nuclear Information System (INIS)

Zhu, Yong; Zhai, Rongrong; Zhao, Miaomiao; Yang, Yongping; Yan, Qin

2015-01-01

Highlights: • Five methods for evaluating solar contribution are analyzed. • Method based on the second law of thermodynamics and thermal economics is more suitable for SACPGS. • Providing reliable reference for the formulation of feed-in tariff policies in China. - Abstract: Solar aided coal-fired power plants utilize solar thermal energy to couple with coal-fired power plants of various types by adopting characteristics of different thermal needs of plants. In this way, the costly thermal storage system and power generating system will become unnecessary, meanwhile the intermittent and unsteady nature of power generation can be avoided. In addition, large-scale utilization of solar thermal power and energy saving can be achieved. With the ever-deepening analyses of solar aided coal-fired power plants, the contribution evaluating system of solar thermal power is worth further exploration. In this paper, five common evaluation methods of solar contribution are analyzed, and solar aided coal-fired power plants of 1000 MW, 600 MW and 330 MW are studied with these five methods in a comparative manner. Therefore, this study can serve as a theoretical reference for future research of evaluation methods and subsidies for new energy

Modeling Complex Systems

CERN Document Server

Boccara, Nino

2010-01-01

Modeling Complex Systems, 2nd Edition, explores the process of modeling complex systems, providing examples from such diverse fields as ecology, epidemiology, sociology, seismology, and economics. It illustrates how models of complex systems are built and provides indispensable mathematical tools for studying their dynamics. This vital introductory text is useful for advanced undergraduate students in various scientific disciplines, and serves as an important reference book for graduate students and young researchers. This enhanced second edition includes: . -recent research results and bibliographic references -extra footnotes which provide biographical information on cited scientists who have made significant contributions to the field -new and improved worked-out examples to aid a student’s comprehension of the content -exercises to challenge the reader and complement the material Nino Boccara is also the author of Essentials of Mathematica: With Applications to Mathematics and Physics (Springer, 2007).

The role of technology in fostering creativity in the teaching and learning of mathematics

Directory of Open Access Journals (Sweden)

Balarabe Yushau

2005-10-01

Full Text Available The paper looks at interrelationships between creativity and technology in the teaching and learning of mathematics. It suggests that a proper use of various technologies especially computers in the teaching and learning of mathematics has the potential of helping learners to develop their creativity. The technologies can provide an atmosphere under which mathematical skills can be extended beyond the ability to calculate or reproduce problems and enable learners to investigate, analyse and interpret problems at hand. Furthermore, with computers learners can use an experimental approach to deal with mathematical problems, which can lead to conjecture, pattern finding, examples and counter examples. In fact, if used effectively, computational aids can help in improving learners’ intellectual ability and hence mathematical achievement while fostering the requisite creativity not found in the traditional approach.

The development of mathematics education as seen in mathematics education controversies in Japan

OpenAIRE

Makinae , Naomichi

2016-01-01

International audience; It can be said that mathematics education in Japan was started in 1872 when the school system was established. Since that establishment era, controversies have emerged time and again in mathematics education in Japan. Through these controversies, debates have been held on views on mathematics education such as how mathematics ought to be taught and what constitutes knowledge concerning numbers, quantities, and shapes that is desirable for students to acquire. In this ...

A Reappraisal of Online Mathematics Teaching Using LaTeX

Directory of Open Access Journals (Sweden)

Eamon Costello

2009-12-01

Full Text Available The mathematics language LaTeX is often seen outside of academic circles as a legacy technology that is awkward to use. MathML - a verbose language designed for data-exchange, and to be written and understood by machines - is sometimes by contrast seen as something that will aid online mathematics and lack of browser support for it bemoaned. However LaTeX can already do many of the things that MathML might promise. LaTeX is here proposed as a language from which small fragments, with concise syntax, can be used by people to easily create and share mathematical expressions online. The capability to embed fragments of LaTeX code in online discussions is described here and its impact on a group of educators and learners evaluated. Here LaTeX is posited as a useful tool for facilitating asynchronous, online, collaborative learning of mathematics.

Radiographic imaging of aids

International Nuclear Information System (INIS)

Mahmoud, Mohammed Bashir

2002-07-01

The acquired immunodeficiency syndrome (AIDS) has impacted the civilized world like no other disease. This research aimed to discuss some of the main aids-related complications and their detection by radiology tests, specifically central nervous system and musculoskeletal system disorders. The objectives are: to show specific characteristics of various diseases of HIV patient, to analyze the effect of pathology in patients by radiology, to enhance the knowledge of technologists in aids imaging and to improve communication skills between patient and radiology technologists

The mathematical model of dynamic stabilization system for autonomous car

Science.gov (United States)

Saikin, A. M.; Buznikov, S. E.; Shabanov, N. S.; Elkin, D. S.

2018-02-01

Leading foreign companies and domestic enterprises carry out extensive researches and developments in the field of control systems for autonomous cars and in the field of improving driver assistance systems. The search for technical solutions, as a rule, is based on heuristic methods and does not always lead to satisfactory results. The purpose of this research is to formalize the road safety problem in the terms of modern control theory, to construct the adequate mathematical model for solving it, including the choice of software and hardware environment. For automatic control of the object, it is necessary to solve the problem of dynamic stabilization in the most complete formulation. The solution quality of the problem on a finite time interval is estimated by the value of the quadratic functional. Car speed, turn angle and additional yaw rate (during car drift or skidding) measurements are performed programmatically by the original virtual sensors. The limit speeds at which drift, skidding or rollover begins are calculated programmatically taking into account the friction coefficient identified in motion. The analysis of the results confirms both the adequacy of the mathematical models and the algorithms and the possibility of implementing the system in the minimal technical configuration.

Multiscale Mathematical Modeling in Dental Tissue Engineering: Toward Computer-Aided Design of a Regenerative System Based on Hydroxyapatite Granules, Focussing on Early and Mid-Term Stiffness Recovery.

Science.gov (United States)

Scheiner, Stefan; Komlev, Vladimir S; Gurin, Alexey N; Hellmich, Christian

2016-01-01

We here explore for the very first time how an advanced multiscale mathematical modeling approach may support the design of a provenly successful tissue engineering concept for mandibular bone. The latter employs double-porous, potentially cracked, single millimeter-sized granules packed into an overall conglomerate-type scaffold material, which is then gradually penetrated and partially replaced by newly grown bone tissue. During this process, the newly developing scaffold-bone compound needs to attain the stiffness of mandibular bone under normal physiological conditions. In this context, the question arises how the compound stiffness is driven by the key design parameters of the tissue engineering system: macroporosity, crack density, as well as scaffold resorption/bone formation rates. We here tackle this question by combining the latest state-of-the-art mathematical modeling techniques in the field of multiscale micromechanics, into an unprecedented suite of highly efficient, semi-analytically defined computation steps resolving several levels of hierarchical organization, from the millimeter- down to the nanometer-scale. This includes several types of homogenization schemes, namely such for porous polycrystals with elongated solid elements, for cracked matrix-inclusion composites, as well as for assemblies of coated spherical compounds. Together with the experimentally known stiffnesses of hydroxyapatite crystals and mandibular bone tissue, the new mathematical model suggests that early stiffness recovery (i.e., within several weeks) requires total avoidance of microcracks in the hydroxyapatite scaffolds, while mid-term stiffness recovery (i.e., within several months) is additionally promoted by provision of small granule sizes, in combination with high bone formation and low scaffold resorption rates.

Multiscale mathematical modeling in dental tissue engineering: towards computer-aided design of a regenerative system based on hydroxyapatite granules, focusing on early and mid-term stiffness recovery

Directory of Open Access Journals (Sweden)

Stefan Scheiner

2016-09-01

Full Text Available We here explore for the very first time how an advanced multiscale mathematical modeling approach may support the design of a provenly successful tissue engineering concept for mandibular bone. The latter employs double-porous, potentially cracked, single millimeter-sized granules packed into an overall scaffold material, which is then gradually penetrated and partially replaced by newly grown bone tissue. During this process, the newly developing scaffold-bone compound needs to attain the stiffness of mandibular bone under normal physiological conditions; and the question arises how the compound stiffness is driven by the key design parameters of the tissue engineering system: macroporosity, crack density, as well as scaffold resorption/bone formation rates. We here tackle this question by combining the latest state-of-the-art mathematical modeling techniques in the field of multiscale micromechanics, into an unprecedented suite of highly efficient, semi-analytically defined computation steps resolving several levels of hierarchical organization, from the millimeter down to the nanometer scale. This includes several types of homogenization schemes, namely such for porous polycrystals with elongated solid elements, for cracked matrix-inclusion composites, as well as for assemblies of coated spherical compounds. Together with the experimentally known stiffnesses of hydroxyapatite crystals and mandibular bone tissue, the new mathematical model suggests that early stiffness recovery (i.e within several weeks requires total avoidance of microcracks in the hydroxyapatite scaffolds, while mid-term stiffness recovery (i.e. within several months can also be achieved through provision of small granule sizes, in combination with high bone formation and low scaffold resorption rates.

Optimal Design of Pumped Pipeline Systems Using Genetic Algorithm and Mathematical Optimization

Directory of Open Access Journals (Sweden)

Mohammadhadi Afshar

2007-12-01

Full Text Available In recent years, much attention has been paid to the optimal design of pipeline systems. In this study, the problem of pipeline system optimal design has been solved through genetic algorithm and mathematical optimization. Pipe diameters and their thicknesses are considered as decision variables to be designed in a manner that water column separation and excessive pressures are avoided in the event of pump failure. Capabilities of the genetic algorithm and the mathematical programming method are compared for the problem under consideration. For simulation of transient streams, explicit characteristic method is used in which devices such as pumps are defined as boundary conditions of the equations defining the hydraulic behavior of pipe segments. The problem of optimal design of pipeline systems is a constrained problem which is converted to an unconstrained optimization problem using an external penalty function approach. The efficiency of the proposed approaches is verified in one example and the results are presented.

Developing a deeper understanding of mathematics teaching expertise : An examination of three Chinese mathematics teachers’ resource systems as windows into their work and expertise

OpenAIRE

Pepin , Birgit; Xu , Binyan; Trouche , Luc; Wang , Chongyang

2017-01-01

International audience; In order to develop a deeper understanding of mathematics teaching expertise, in this study we use the Documentational Approach to Didactics to explore the resource systems of three Chinese mathematics Bexpert^ teachers. Exploiting theWestern and Eastern literature we examine the notion of Bmathematics teaching expertise^, as it is perceived in the East and the West. The data consist of two rounds of in-depth interviews, observations and teachers’ representations of th...

Optical system design

CERN Document Server

Fischer, Robert F

2008-01-01

Honed for more than 20 years in an SPIE professional course taught by renowned optical systems designer Robert E. Fischer, Optical System Design, Second Edition brings you the latest cutting-edge design techniques and more than 400 detailed diagrams that clearly illustrate every major procedure in optical design. This thoroughly updated resource helps you work better and faster with computer-aided optical design techniques, diffractive optics, and the latest applications, including digital imaging, telecommunications, and machine vision. No need for complex, unnecessary mathematical derivations-instead, you get hundreds of examples that break the techniques down into understandable steps. For twenty-first century optical design without the mystery, the authoritative Optical Systems Design, Second Edition features: Computer-aided design use explained through sample problems Case studies of third-millennium applications in digital imaging, sensors, lasers, machine vision, and more New chapters on optomechanic...

INFORMATIVE SYSTEM OF EDUCATIONAL PURPOSE FROM MATHEMATICS AS A WAY OF PROFESSIONAL ORIENTATION OF TEACHING STUDENTS IT SPECIALTIES

Directory of Open Access Journals (Sweden)

Lyudmyla Shishko

2016-01-01

Full Text Available The current state of formation of mathematical knowledge in universities insufficiently focused on their further use in professional activities. Students not formed the ability to apply mathematical knowledge to study general professional and special disciplines. In this article: –\tconsidered features of formation of a professional orientation of teaching mathematics using structured content multimedia information system for educational purposes (MISEP; –\tfound psychologo-pedagogical features of teaching mathematics of students IT specialties; –\tconsidered methodical aspects of MISEP in teaching the course "Discrete Mathematics" for students of IT specialties

Interactive Mathematics Textbooks

DEFF Research Database (Denmark)

Sinclair, Robert

1999-01-01

We claim that important considerations have been overlooked in designinginteractive mathematics educational software in the past.In particular,most previous work has concentrated on how to make use ofpre-existing software in mathematics education, rather than firstasking the more...... fundamentalquestion of which requirements mathematics education puts on software, and thendesigning software to fulfil these requirements.We present a working prototype system which takes a script defining an interactivemathematicaldocument and then provides a reader with an interactive realization of thatdocument....

VEDIC MATHEMATICS

Directory of Open Access Journals (Sweden)

Sead Rešić

2015-09-01

Full Text Available It is very difficult to motivate students when it comes to a school subject like Mathematics. Teachers spend a lot of time trying to find something that will arouse interest in students. It is particularly difficult to find materials that are motivating enough for students that they eagerly wait for the next lesson. One of the solutions may be found in Vedic Mathematics. Traditional methods of teaching Mathematics create fear of this otherwise interesting subject in the majority of students. Fear increases failure. Often the traditional, conventional mathematical methods consist of very long lessons which are difficult to understand. Vedic Mathematics is an ancient system that is very flexible and encourages the development of intuition and innovation. It is a mental calculating tool that does not require a calculator because the calculator is embedded in each of us. Starting from the above problems of fear and failure in Mathematics, the goal of this paper is to do research with the control and the experimental group and to compare the test results. Two tests should be done for each of the groups. The control group would do the tests in the conventional way. The experimental group would do the first test in a conventional manner and then be subjected to different treatment, that is to say, be taught on the basis of Vedic Mathematics. After that, the second group would do the second test according to the principles of Vedic Mathematics. Expectations are that after short lectures on Vedic mathematics results of the experimental group would improve and that students will show greater interest in Mathematics.

Life cycle assessment of solar aided coal-fired power system with and without heat storage

International Nuclear Information System (INIS)

Zhai, Rongrong; Li, Chao; Chen, Ying; Yang, Yongping; Patchigolla, Kumar; Oakey, John E.

2016-01-01

Highlights: • The comprehensive performances of three kinds of different systems were compared through LCA. • The comprehensive results of all systems were evaluated by grey relation theory. • The effects of life span, coal price, and solar collector field cost, among other factors, on the results were explored. - Abstract: Pollutant emissions from coal-fired power system have been receiving increasing attention over the past few years. Integration of solar thermal energy can greatly reduce pollutant emissions from these power stations. The performances of coal-fired power system (S1), solar aided coal-fired power system with thermal storage (S2), and solar aided coal-fired power system without thermal storage (S3) with three capacities of each kind of system (i.e., nine subsystems) were analyzed over the entire life span. The pollutant emissions and primary energy consumptions (PECs) of S1, S2, and S3 were estimated using life cycle assessment (LCA). The evaluation value of global warming potential (GWP), acidification potential (AP), respiratory effects potential (REP) and PEC were obtained based on the LCA results. Furthermore, the system investments were estimated, and grey relation theory was used to evaluate the performance of the three types of systems comprehensively. Finally, in order to find the effect of some main factors on the solar aided coal-fired power system (SACFPS), uncertainty analysis has been carried out. The LCA results show that the pollutant emissions and PEC mainly take place in the fuel processing and operation stages for all three system types, and S2 performs the best among the three systems based on the grey relation analysis results. And the uncertainty analysis shows that with longer life span, the power system have better performance; with higher coal price, the power system will have worse performance; with lower solar collector field cost, the solar aided coal-fired power system will be more profitable than the base

Teaching Mathematics in Geography Degrees

Science.gov (United States)

Bennett, Robert

1978-01-01

Examines ways of developing college students' motivation for mathematical training; describes the type of mathematical knowledge required in the geography discipline; and explores an applied approach to mathematics teaching based on a systems concept. For journal availability, see SO 506 224. (Author/AV)

Modern mathematics made simple

CERN Document Server

Murphy, Patrick

1982-01-01

Modern Mathematics: Made Simple presents topics in modern mathematics, from elementary mathematical logic and switching circuits to multibase arithmetic and finite systems. Sets and relations, vectors and matrices, tesselations, and linear programming are also discussed.Comprised of 12 chapters, this book begins with an introduction to sets and basic operations on sets, as well as solving problems with Venn diagrams. The discussion then turns to elementary mathematical logic, with emphasis on inductive and deductive reasoning; conjunctions and disjunctions; compound statements and conditional

Commodification of Higher Education: Students, Study Loan Systems and State Aid

NARCIS (Netherlands)

Hoogenboom, Alexander

2015-01-01

The main argument presented in this paper is that the application of economic principles in the higher education sector, turning higher education institutes into undertakings operating on markets, leads to the application of rules on State aid. This has consequences for the financial support systems

Mathematics of aperiodic order

CERN Document Server

Lenz, Daniel; Savinien, Jean

2015-01-01

What is order that is not based on simple repetition, that is, periodicity? How must atoms be arranged in a material so that it diffracts like a quasicrystal? How can we describe aperiodically ordered systems mathematically? Originally triggered by the – later Nobel prize-winning – discovery of quasicrystals, the investigation of aperiodic order has since become a well-established and rapidly evolving field of mathematical research with close ties to a surprising variety of branches of mathematics and physics. This book offers an overview of the state of the art in the field of aperiodic order, presented in carefully selected authoritative surveys. It is intended for non-experts with a general background in mathematics, theoretical physics or computer science, and offers a highly accessible source of first-hand information for all those interested in this rich and exciting field. Topics covered include the mathematical theory of diffraction, the dynamical systems of tilings or Delone sets, their cohomolog...

Energy-aware memory management for embedded multimedia systems a computer-aided design approach

CERN Document Server

Balasa, Florin

2011-01-01

Energy-Aware Memory Management for Embedded Multimedia Systems: A Computer-Aided Design Approach presents recent computer-aided design (CAD) ideas that address memory management tasks, particularly the optimization of energy consumption in the memory subsystem. It explains how to efficiently implement CAD solutions, including theoretical methods and novel algorithms. The book covers various energy-aware design techniques, including data-dependence analysis techniques, memory size estimation methods, extensions of mapping approaches, and memory banking approaches. It shows how these techniques

Aid and Development

DEFF Research Database (Denmark)

Tarp, Finn

evolved since World War II in response to a dramatically changing global political and economic context. I review the aid process and associated trends in the volume and distribution of aid and categorize some of the key goals, principles and institutions of the aid system. The evidence on whether aid has...... been effective in furthering economic growth and development is discussed in some detail. I add perspective and identify some critical unresolved issues. I finally turn to the current development debate and discuss some key concerns, which I believe should be kept in mind in formulating any agenda...

Mathematical description for the measurement and verification of energy efficiency improvement

International Nuclear Information System (INIS)

Xia, Xiaohua; Zhang, Jiangfeng

2013-01-01

Highlights: • A mathematical model for the measurement and verification problem is established. • Criteria to choose the four measurement and verification options are given. • Optimal measurement and verification plan is defined. • Calculus of variations and optimal control can be further applied. - Abstract: Insufficient energy supply is a problem faced by many countries, and energy efficiency improvement is identified as the quickest and most effective solution to this problem. Many energy efficiency projects are therefore initiated to reach various energy saving targets. These energy saving targets need to be measured and verified, and in many countries such a measurement and verification (M and V) activity is guided by the International Performance Measurement and Verification Protocol (IPMVP). However, M and V is widely regarded as an inaccurate science: an engineering practice relying heavily on professional judgement. This paper presents a mathematical description of the energy efficiency M and V problem and thus casts into a scientific framework the basic M and V concepts, propositions, techniques and methodologies. For this purpose, a general description of energy system modeling is provided to facilitate the discussion, strict mathematical definitions for baseline and baseline adjustment are given, and the M and V plan development is formulated as an M and V modeling problem. An optimal M and V plan is therefore obtained through solving a calculus of variation, or equivalently, an optimal control problem. This approach provides a fruitful source of research problems by which optimal M and V plans under various practical constraints can be determined. With the aid of linear control system models, this mathematical description also provides sufficient conditions for M and V practitioners to determine which one of the four M and V options in IPMVP should be used in a practical M and V project

Systemic model for the aid for operating of the reactor Siloe; Modelisation systeme pour l`aide a l`exploitation du reacteur de recherche Siloe

Energy Technology Data Exchange (ETDEWEB)

Royer, J.C.; Moulin, V.; Monge, F. [CEA Centre d`Etudes de Grenoble, 38 (France). Direction des Reacteurs Nucleaires; Baradel, C. [ITMI APTOR, 38 - Meylan (France)

1995-12-31

The Service of the Reactor Siloe (CEA/DRN/DRE/SRS), fully aware of the abilities and knowledge of his teams in the field of research reactor operating, has undertaken a project of knowledge engineering in this domain. The following aims have been defined: knowledge capitalization for the installation in order to insure its perenniality and valorization, elaboration of a project for the aid of the reactor operators. This article deals with the different actions by the SRS to reach the aims: realization of a technical model for the operation of the Siloe reactor, development of a knowledge-based system for the aid for operating. These actions based on a knowledge engineering methodology, SAGACE, and using industrial tools will lead to an amelioration of the security and the operating of the Siloe reactor. (authors). 13 refs., 7 figs.

Mathematical model for adaptive control system of ASEA robot at Kennedy Space Center

Science.gov (United States)

Zia, Omar

1989-01-01

The dynamic properties and the mathematical model for the adaptive control of the robotic system presently under investigation at Robotic Application and Development Laboratory at Kennedy Space Center are discussed. NASA is currently investigating the use of robotic manipulators for mating and demating of fuel lines to the Space Shuttle Vehicle prior to launch. The Robotic system used as a testbed for this purpose is an ASEA IRB-90 industrial robot with adaptive control capabilities. The system was tested and it's performance with respect to stability was improved by using an analogue force controller. The objective of this research project is to determine the mathematical model of the system operating under force feedback control with varying dynamic internal perturbation in order to provide continuous stable operation under variable load conditions. A series of lumped parameter models are developed. The models include some effects of robot structural dynamics, sensor compliance, and workpiece dynamics.

System-Level Power Optimization for a ΣΔ D/A Converter for Hearing-Aid Application

DEFF Research Database (Denmark)

Pracný, Peter; Jørgensen, Ivan Harald Holger; Bruun, Erik

2013-01-01

This paper deals with a system-level optimization of a back-end of audio signal processing chain for hearing-aids, including a sigma-delta modulator digital-to-analog converter (DAC) and a Class D power amplifier. Compared to other stateof-the-art designs dealing with sigma-delta modulator design...... hearing-aid audio back-end system resulting in less hardware and power consumption in the interpolation filter, in the sigma-delta modulator and reduced switching rate of the Class D output stage....

Radiological aspects of nuclear accident scenarios. Volume 2 the Rade-Aid system post-Chernobyl action

International Nuclear Information System (INIS)

Sinnaeve, J.

1991-01-01

In the event of a nuclear accident, there is a need for a rapid assessment of the resulting levels of environmental contamination in order to facilitate decisions on possible countermeasures. Volume 2 describes the RADE-AID project to develop a computer system which can be used to support the formulation of decisions on countermeasures following an accidental release of radionuclides. The system is intended as an aid following an actual accident and a tool for assistance in planning and training

Students’ Spatial Ability through Open-Ended Approach Aided by Cabri 3D

Science.gov (United States)

Priatna, N.

2017-09-01

The use of computer software such as Cabri 3D for learning activities is very unlimited. Students can adjust their learning speed according to their level of ability. Open-ended approach strongly supports the use of computer software in learning, because the goal of open-ended learning is to help developing creative activities and mathematical mindset of students through problem solving simultaneously. In other words, creative activities and mathematical mindset of students should be developed as much as possible in accordance with the ability of spatial ability of each student. Spatial ability is the ability of students in constructing and representing geometry models. This study aims to determine the improvement of spatial ability of junior high school students who obtained learning with open-ended approach aided by Cabri 3D. It adopted a quasi-experimental method with the non-randomized control group pretest-posttest design and the 2×3 factorial model. The instrument of the study is spatial ability test. Based on analysis of the data, it is found that the improvement of spatial ability of students who received open-ended learning aided by Cabri 3D was greater than students who received expository learning, both as a whole and based on the categories of students’ initial mathematical ability.

Computer-aided design model for anaerobic-phased-solids digester system

Energy Technology Data Exchange (ETDEWEB)

Zhang, Z.; Zhang, R. [University of California, Davis, CA (United States); Tiangco, V. [California Energy Commission, Sacramento, CA (United States)

1999-07-01

The anaerobic-phased-solids (APS) digester system is a newly developed anaerobic digestion system for converting solid wastes, such as crop residues and food wastes, into biogas for power and heat generation. A computer-aided engineering design model has been developed to design the APS-digester system and study the heat transfer from the reactors and energy production of the system. Simulation results of a case study are presented by using the model to predict the heating energy requirement and biogas energy production for anaerobic digestion of garlic waste. The important factors, such as environmental conditions, insulation properties, and characteristics of the wastes, on net energy production are also investigated. (author)

CAESY - COMPUTER AIDED ENGINEERING SYSTEM

Science.gov (United States)

Wette, M. R.

1994-01-01

Many developers of software and algorithms for control system design have recognized that current tools have limits in both flexibility and efficiency. Many forces drive the development of new tools including the desire to make complex system modeling design and analysis easier and the need for quicker turnaround time in analysis and design. Other considerations include the desire to make use of advanced computer architectures to help in control system design, adopt new methodologies in control, and integrate design processes (e.g., structure, control, optics). CAESY was developed to provide a means to evaluate methods for dealing with user needs in computer-aided control system design. It is an interpreter for performing engineering calculations and incorporates features of both Ada and MATLAB. It is designed to be reasonably flexible and powerful. CAESY includes internally defined functions and procedures, as well as user defined ones. Support for matrix calculations is provided in the same manner as MATLAB. However, the development of CAESY is a research project, and while it provides some features which are not found in commercially sold tools, it does not exhibit the robustness that many commercially developed tools provide. CAESY is written in C-language for use on Sun4 series computers running SunOS 4.1.1 and later. The program is designed to optionally use the LAPACK math library. The LAPACK math routines are available through anonymous ftp from research.att.com. CAESY requires 4Mb of RAM for execution. The standard distribution medium is a .25 inch streaming magnetic tape cartridge (QIC-24) in UNIX tar format. CAESY was developed in 1993 and is a copyrighted work with all copyright vested in NASA.

Mathematical models of non-linear phenomena, processes and systems: from molecular scale to planetary atmosphere

CERN Document Server

2013-01-01

This book consists of twenty seven chapters, which can be divided into three large categories: articles with the focus on the mathematical treatment of non-linear problems, including the methodologies, algorithms and properties of analytical and numerical solutions to particular non-linear problems; theoretical and computational studies dedicated to the physics and chemistry of non-linear micro-and nano-scale systems, including molecular clusters, nano-particles and nano-composites; and, papers focused on non-linear processes in medico-biological systems, including mathematical models of ferments, amino acids, blood fluids and polynucleic chains.

Systems analysis of the vestibulo-ocular system. [mathematical model of vestibularly driven head and eye movements

Science.gov (United States)

Schmid, R. M.

1973-01-01

The vestibulo-ocular system is examined from the standpoint of system theory. The evolution of a mathematical model of the vestibulo-ocular system in an attempt to match more and more experimental data is followed step by step. The final model explains many characteristics of the eye movement in vestibularly induced nystagmus. The analysis of the dynamic behavior of the model at the different stages of its development is illustrated in time domain, mainly in a qualitative way.

Designing of Holistic Mathematic Education Model Based-"System Among" at Low Grade Elementary School

Science.gov (United States)

Hayati, R.; Fauzan, A.; Iswari, M.; Khaidir, A.

2018-04-01

The purpose of this study was to develop a model of Holistic Mathematics Education (HME) among systems based on low-grade primary school students so that students have a solid foundation when entering a higher behavior. This type of research is desaign research developed by Plomp to have three stages, namely the preliminary research, development or prototyping phase, and assessement Phase. This research resulted in a model Holistic Mathematics Education (HME) -based system is among the primary school students low grade consists of 10 stages, namely 1) Recap through the neighborhood, 2) Discussion groups by exploiting the environment, 3) Demonstration Group, 4) Exercise individuals, 5) mathematical modeling, 6) Demonstration of individuals, 7) Reflections, 8) impressions and messages, and giving meaning, 9) Celebrations and 10) A thorough assessment. Furthermore, this model also produces 7 important components that should be developed teacher, namely 1) constructivism, 2) the nature of nature, 3) independence, 4) parable, 5) inquiry, 6) cooperation, and 7) strengthening. This model will produce a model in the form of books, student books and teacher's guide book as a support system that can help users in its application.

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…

Damped oscillations of linear systems a mathematical introduction

CERN Document Server

Veselić, Krešimir

2011-01-01

The theory of linear damped oscillations was originally developed more than hundred years ago and is still of vital research interest to engineers, mathematicians and physicists alike. This theory plays a central role in explaining the stability of mechanical structures in civil engineering, but it also has applications in other fields such as electrical network systems and quantum mechanics. This volume gives an introduction to linear finite dimensional damped systems as they are viewed by an applied mathematician. After a short overview of the physical principles leading to the linear system model, a largely self-contained mathematical theory for this model is presented. This includes the geometry of the underlying indefinite metric space, spectral theory of J-symmetric matrices and the associated quadratic eigenvalue problem. Particular attention is paid to the sensitivity issues which influence numerical computations. Finally, several recent research developments are included, e.g. Lyapunov stability and ...

A mathematical model of radiation effect on the immunity system

International Nuclear Information System (INIS)

Smirnova, O.A.

1984-01-01

A mathematical model, simulating the effect of ionizing radiation on the dynamics of humoral immune reaction is suggested. It represents the system of nonlinear differential equations and is realized in the form of program in Fortran computer language. The model describes the primary immune reaction of nonirradiated organism on T-independent antigen, reflects the postradiation lymphopoiesis dynamics in nonimmunized mammals, simulates the processes of injury and recovery of the humoral immunity system under the combined effect of ionizing radiation and antigenic stimulation. The model can be used for forecasting imminity state in irradiated mammals

Piping data retrieval system (PDRS): An integrated package to aid piping layout

International Nuclear Information System (INIS)

Vyas, K.N.; Sharma, A.; Susandhi, R.; Basu, S.

1986-01-01

An integrated package to aid piping layout has been developed and implemented on PDP-11/34 system at Hall 7. The package allows various equipments to be modelled, consisting of primitive equipment components. The equipment layout for the plant can then be reproduced in the form of drawings such as plan, elevation, isometric or perspective. The package has the built in function to perform hidden line removal among equipments. Once the equipment layout is finalised, the package aids in superimposing the piping as per the specified pipe routine. The report discusses the general capabilities and the major input requirements for the package. (author)

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

Mathematics as an Im/Pure Knowledge System: Symbiosis, (W)Holism and Synergy in Mathematics Education

Science.gov (United States)

Luitel, Bal Chandra

2013-01-01

The problem of culturally decontextualised mathematics education faced by Nepali students, teachers and teacher educators has often been oriented by the view of the nature of "mathematics as a body of pure knowledge," which gives rise to an exclusive emphasis on an ideology of singularity, epistemology of objectivism, language of…

Modelling physics detectors in a computer aided design system for simulation purposes

International Nuclear Information System (INIS)

Ahvenainen, J.; Oksakivi, T.; Vuoskoski, J.

1995-01-01

The possibility of transferring physics detector models from computer aided design systems into physics simulation packages like GEANT is receiving increasing attention. The problem of exporting detector models constructed in CAD systems into GEANT is well known. We discuss the problem and describe an application, called DDT, which allows one to design detector models in a CAD system and then transfer the models into GEANT for simulation purposes. (orig.)

Polynomial algebra of discrete models in systems biology.

Science.gov (United States)

Veliz-Cuba, Alan; Jarrah, Abdul Salam; Laubenbacher, Reinhard

2010-07-01

An increasing number of discrete mathematical models are being published in Systems Biology, ranging from Boolean network models to logical models and Petri nets. They are used to model a variety of biochemical networks, such as metabolic networks, gene regulatory networks and signal transduction networks. There is increasing evidence that such models can capture key dynamic features of biological networks and can be used successfully for hypothesis generation. This article provides a unified framework that can aid the mathematical analysis of Boolean network models, logical models and Petri nets. They can be represented as polynomial dynamical systems, which allows the use of a variety of mathematical tools from computer algebra for their analysis. Algorithms are presented for the translation into polynomial dynamical systems. Examples are given of how polynomial algebra can be used for the model analysis. alanavc@vt.edu Supplementary data are available at Bioinformatics online.

Analyzing Student Aid Packaging To Improve Low-Income and Minority Student Access, Retention and Degree Completion. AIR 1999 Annual Forum Paper.

Science.gov (United States)

Fenske, Robert H.; Porter, John D.; DuBrock, Caryl P.

This study examined the persistence of and financial aid to needy students, underrepresented minority students, and women students, especially those majoring in science, engineering, and mathematics at a large public research university. An institutional student tracking and student financial aid database was used to follow four freshmen cohorts…

Program controlled system for mathematical processing the αp-experiment data

International Nuclear Information System (INIS)

Glagolev, V.V.; Govorun, N.N.; Dirner, A.; Ivanov, V.G.; Kretov, A.P.; Mirolyubov, V.P.; Pervushov, V.V.; Shelontsev, I.I.

1982-01-01

ZEUS system which allows one mathematical processing of bubble chamber pictures for αp-experiment with computer control is descibed. The comparison and basic defect of traditional processing of film information is considered. The structure, operation and further development of this system are described. It consists of the monitoring programs, directory file, input request language, data bank and documentation. ZEUS system is developed for processing αp-experiment from JINR one-meter-hydrogen liquid chamber. It makes possible to eliminate big manual work at organization of mass data processing by a computer. The system is realized on the CDC-6500 computer

A computer - aided system for the the E.D.F. 1400 MW. Nuclear power plants control

International Nuclear Information System (INIS)

Beltranda, G.; Philipps, C.

1988-01-01

The future E.D.F. 1400 MW nuclear power plants (due to be commissioned in 1991 at CHOOZ) are provided with a control and instrumentation system including the following levels: - sensors and actuators (LEVEL 0): this is the interface of the elementary acquisition and control signals; - the programmable logical and numerical controllers (LEVEL 1) for the logical control sequences and analog adjustment sequences for the whole equipment of the facilities; - the control room (LEVEL 2) including the computer-aided operation system as well as the wall mimic diagram and the auxiliary panel directly connected to the controllers. This is the processing and control conversational level; - the maintenance and site computer-aided systems (LEVEL 3). This paper aims at describing the computer-aided operation system (called KIC N4), its main functions, its architecture and the solutions retained as regards its softwares and the high-quality of data required. The achievement of this system has been entrusted by EDF to the SEMA. METRA/CIMSA-SINTRA grouping, among which SEMA.METRA is the leading company

Mathematical model of one-man air revitalization system

Science.gov (United States)

1976-01-01

A mathematical model was developed for simulating the steady state performance in electrochemical CO2 concentrators which utilize (NMe4)2 CO3 (aq.) electrolyte. This electrolyte, which accommodates a wide range of air relative humidity, is most suitable for one-man air revitalization systems. The model is based on the solution of coupled nonlinear ordinary differential equations derived from mass transport and rate equations for the processes which take place in the cell. The boundary conditions are obtained by solving the mass and energy transport equations. A shooting method is used to solve the differential equations.

Status Report: Mathematics Curriculum-Development Projects Today

Science.gov (United States)

Arithmetic Teacher, 1972

1972-01-01

Brief reports on the Cambridge Conference on School Mathematics, Comprehensive School Mathematics Program, Computer-Assisted Instruction Projects at Stanford, Individually Prescribed Instruction Project, The Madison Project, Mathematics/Science Learning System, MINNEMAST, and School Mathematics Study Group. (MM)

The early mathematical manuscripts of Leibniz

CERN Document Server

Leibniz, G W

2005-01-01

The manuscripts and correspondence of Leibniz possess a special interest: they are invaluable as aids to the study of their author's part in the invention and development of the infinitesimal calculus. In addition, the main ideas behind Leibniz's philosophical theories lay here, in his mathematical work.This volume consists of two sections. The first part features Leibniz's own accounts of his work, and the second section comprises critical and historical notes and essays. An informative Introduction leads to the ""postscript"" to Leibniz's 1703 letter to James Bernoulli, his ""Historia et Ori

Estudo comparativo do LCR de pacientes com neurocriptococose sem AIDS e com AIDS Comparison between CSF samples from AIDS and non-AIDS patients with neurocryptococcosis

Directory of Open Access Journals (Sweden)

João Baptista dos Reis-Filho

1994-06-01

Full Text Available Até a década de 80, antes do surgimento da AIDS, a criptococose era relativamente rara. Verificou-se que esta doença afeta muito frequentemente os pacientes com AIDS e pode ser a primeira manifestação desta síndrome. O objetivo deste trabalho é o de comparar o resultado dos exames das amostras do LCR inicial na meningencefalite por criptococo entre pacientes com e sem AIDS. Este trabalho é baseado no estudo de 41 pacientes com neurocriptococose sem AIDS e de 23 pacientes com neurocriptococose e AIDS. Este estudo permitiu verificar que a reação inflamatória, no sistema nervoso, quando presente, foi de menor intensidade nos pacientes com AIDS; a reação inflamatória esteve presente em todos os pacientes sem AIDS e ausente em 21,7% dos pacientes com AIDS; o quadro inflamatório crônico, semelhante ao da meningencefalite tuberculosa, clássico nas meningencefalites por criptococo, ocorreu raramente nos pacientes com AIDS; em média, o número de criptococos no LCR foi maior nos pacientes com AIDS; pode ser feito diagnóstico presuntivo da AIDS quando o criptococo estiver presente no LCR que não apresenta alterações citológicas e bioquímicas.Neurocryptococcosis was a rare nervous system infection. With the rising number of patients with AIDS it became a very frequent disease. This infection is supposed to infect patients with some kind of immunodeficiency and the CSF alterations often simulate tuberculous meningitis. The purpose of this research was to compare the CSF changes in AIDS and non-AIDS patients with meningoencephalitis caused by Cr. neoformans. There were analysed 41 CSF samples from non-AIDS patients with neurocryptococcosis and 23 CSF samples from AIDS patients with neurocryptococcosis. The results of this research allowed to conclude that the inflammatory changes in the CSF from AIDS patients showed a lower intensity compared to those non-AIDS patients. These results showed as well, that the CSF samples from non-AIDS

Mathematical Modeling and Dynamic Simulation of Metabolic Reaction Systems Using Metabolome Time Series Data

Directory of Open Access Journals (Sweden)

Kansuporn eSriyudthsak

2016-05-01

Full Text Available The high-throughput acquisition of metabolome data is greatly anticipated for the complete understanding of cellular metabolism in living organisms. A variety of analytical technologies have been developed to acquire large-scale metabolic profiles under different biological or environmental conditions. Time series data are useful for predicting the most likely metabolic pathways because they provide important information regarding the accumulation of metabolites, which implies causal relationships in the metabolic reaction network. Considerable effort has been undertaken to utilize these data for constructing a mathematical model merging system properties and quantitatively characterizing a whole metabolic system in toto. However, there are technical difficulties between benchmarking the provision and utilization of data. Although hundreds of metabolites can be measured, which provide information on the metabolic reaction system, simultaneous measurement of thousands of metabolites is still challenging. In addition, it is nontrivial to logically predict the dynamic behaviors of unmeasurable metabolite concentrations without sufficient information on the metabolic reaction network. Yet, consolidating the advantages of advancements in both metabolomics and mathematical modeling remain to be accomplished. This review outlines the conceptual basis of and recent advances in technologies in both the research fields. It also highlights the potential for constructing a large-scale mathematical model by estimating model parameters from time series metabolome data in order to comprehensively understand metabolism at the systems level.

Mathematical Modeling and Dynamic Simulation of Metabolic Reaction Systems Using Metabolome Time Series Data.

Science.gov (United States)

Sriyudthsak, Kansuporn; Shiraishi, Fumihide; Hirai, Masami Yokota

2016-01-01

The high-throughput acquisition of metabolome data is greatly anticipated for the complete understanding of cellular metabolism in living organisms. A variety of analytical technologies have been developed to acquire large-scale metabolic profiles under different biological or environmental conditions. Time series data are useful for predicting the most likely metabolic pathways because they provide important information regarding the accumulation of metabolites, which implies causal relationships in the metabolic reaction network. Considerable effort has been undertaken to utilize these data for constructing a mathematical model merging system properties and quantitatively characterizing a whole metabolic system in toto. However, there are technical difficulties between benchmarking the provision and utilization of data. Although, hundreds of metabolites can be measured, which provide information on the metabolic reaction system, simultaneous measurement of thousands of metabolites is still challenging. In addition, it is nontrivial to logically predict the dynamic behaviors of unmeasurable metabolite concentrations without sufficient information on the metabolic reaction network. Yet, consolidating the advantages of advancements in both metabolomics and mathematical modeling remain to be accomplished. This review outlines the conceptual basis of and recent advances in technologies in both the research fields. It also highlights the potential for constructing a large-scale mathematical model by estimating model parameters from time series metabolome data in order to comprehensively understand metabolism at the systems level.

Bridging CAGD knowledge into CAD/CG applications: Mathematical theories as stepping stones of innovations

Science.gov (United States)

Gobithaasan, R. U.; Miura, Kenjiro T.; Hassan, Mohamad Nor

2014-07-01

Computer Aided Geometric Design (CAGD) which surpasses the underlying theories of Computer Aided Design (CAD) and Computer Graphics (CG) has been taught in a number of Malaysian universities under the umbrella of Mathematical Sciences' faculty/department. On the other hand, CAD/CG is taught either under the Engineering or Computer Science Faculty. Even though CAGD researchers/educators/students (denoted as contributors) have been enriching this field of study by means of article/journal publication, many fail to convert the idea into constructive innovation due to the gap that occurs between CAGD contributors and practitioners (engineers/product/designers/architects/artists). This paper addresses this issue by advocating a number of technologies that can be used to transform CAGD contributors into innovators where immediate impact in terms of practical application can be experienced by the CAD/CG practitioners. The underlying principle of solving this issue is twofold. First would be to expose the CAGD contributors on ways to turn mathematical ideas into plug-ins and second is to impart relevant CAGD theories to CAD/CG to practitioners. Both cases are discussed in detail and the final section shows examples to illustrate the importance of turning mathematical knowledge into innovations.

Diagnosis aids with artificial intelligence in the PSAD system

International Nuclear Information System (INIS)

Dourgnon-Hanoune, A.; Porcheron, M.; Ricard, B.

1996-01-01

To improve monitoring and diagnosis capabilities in nuclear power plants, Electricite de France (EDF) has designed an integrated monitoring and diagnosis assistance system: PSAD - Poste de Surveillance et d'Aide au Diagnostic. The development of this sophisticated monitoring and data processing system requires the addition of analysis and diagnosis assistance capabilities. Diagnostic knowledge based systems have thus been added to the functions monitored in PSAD: DIVA for turbine generators, and DIAPO for reactor coolant pumps. These systems rely on a representation of the diagnostic reasoning process of experts and of supporting knowledge. Diagnosis in both systems is performed through an abductive reasoning process applied to component fault models and observations derived from their actual behavior, as provided by the monitoring functions. The basic theoretical elements of this diagnostic model are summarized in a first part of this paper. In a second part, DIVA and DIAPO specific elements are described. (authors)

Mathematical methods in engineering

CERN Document Server

Machado, José

2014-01-01

This book presents a careful selection of the contributions presented at the Mathematical Methods in Engineering (MME10) International Symposium, held at the Polytechnic Institute of Coimbra- Engineering Institute of Coimbra (IPC/ISEC), Portugal, October 21-24, 2010. The volume discusses recent developments about theoretical and applied mathematics toward the solution of engineering problems, thus covering a wide range of topics, such as:  Automatic Control, Autonomous Systems, Computer Science, Dynamical Systems and Control,  Electronics, Finance and Economics, Fluid Mechanics and Heat Transfer, Fractional Mathematics, Fractional Transforms and Their Applications,  Fuzzy Sets and Systems, Image and Signal Analysis, Image Processing, Mechanics, Mechatronics, Motor Control and Human Movement Analysis, Nonlinear Dynamics, Partial Differential Equations, Robotics, Acoustics, Vibration and Control, and Wavelets.

Advanced engineering mathematics

CERN Document Server

Jeffrey, Alan

2001-01-01

Advanced Engineering Mathematics provides comprehensive and contemporary coverage of key mathematical ideas, techniques, and their widespread applications, for students majoring in engineering, computer science, mathematics and physics. Using a wide range of examples throughout the book, Jeffrey illustrates how to construct simple mathematical models, how to apply mathematical reasoning to select a particular solution from a range of possible alternatives, and how to determine which solution has physical significance. Jeffrey includes material that is not found in works of a similar nature, such as the use of the matrix exponential when solving systems of ordinary differential equations. The text provides many detailed, worked examples following the introduction of each new idea, and large problem sets provide both routine practice, and, in many cases, greater challenge and insight for students. Most chapters end with a set of computer projects that require the use of any CAS (such as Maple or Mathematica) th...

Fundamental Operations In Mathematics With Or Without Aided Calculator Implications To Students Learning

Directory of Open Access Journals (Sweden)

Dr. Agustin Nunez Arceamp328a

2015-08-01

Full Text Available The purpose of this study was to find out the performance of the selected fourth year high school day students in Carmen National High School Carmen Cebu in fundamental operations with or without calculator. Calculators are great invention that in one way or another helped the children in doing some of their mathematical computations. But a desire to identify the current condition of the students in performing basic mathematical computations by comparing their computational ability without using calculators and of using calculators pushes these curious minds to pursue this study. This study was conducted during the School Year 2013-2014.In conducting the study the description method was utilized with the help of a researcher-made questionnaire as the main tool in gathering data in order to come up with sufficient and justifiable results. There are 229 respondents out of 535 total populations of the day session fourth year high school students.The results showed that the students were performing well in doing calculations with the use of calculators compared to those who were not using calculators. It only confirmed their dependency on calculators in solving basic mathematical computations which by any case only traces its disadvantages to the teaching matters. Attitude like relying on inventions that gave direct fast and accommodating features were observable in most students and always results to weakening ability to judge the correctness of an answer due to the fact that they do not think of the real concept enough to determine what type of answer to expect.

Evolution of facility layout requirements and CAD [computer-aided design] system development

International Nuclear Information System (INIS)

Jones, M.

1990-06-01

The overall configuration of the Superconducting Super Collider (SSC) including the infrastructure and land boundary requirements were developed using a computer-aided design (CAD) system. The evolution of the facility layout requirements and the use of the CAD system are discussed. The emphasis has been on minimizing the amount of input required and maximizing the speed by which the output may be obtained. The computer system used to store the data is also described

HIV/AIDS and Infections

Science.gov (United States)

Having HIV/AIDS weakens your body's immune system. It destroys the white blood cells that fight infection. This puts ... such as crypto (cryptosporidiosis) and toxo (toxoplasmosis) Having HIV/AIDS can make infections harder to treat. People ...

Mathematical logic foundations for information science

CERN Document Server

Li, Wei

2014-01-01

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds...

Mathematical structure of ocean container transport systems; Kaiyo container yuso system no suriteki kozo ni tsuite

Energy Technology Data Exchange (ETDEWEB)

Shinkai, A [Kyushu University, Fukuoka (Japan). Faculty of Engineering; Chikushi, Y [Nippon Telegraph and Telephone Corp., Tokyo (Japan)

1997-10-01

Mathematical structure of a vessel arrangement program was discussed in order to learn roles of container ships in ocean transport systems among China, NIES/ASEAN countries and Japan. Formulation is possible on a mathematical handling method for sailing route connection diagrams between ports, a transport network to indicate container movements, a service network to indicate sailing routes, and a network generalizing them. This paper describes an analysis made on the container transport system between Japan and China, taken as an example. Four ports were selected each from Japan and China, and the statistical database for fiscals 1996 and 1994 was utilized to set models for: (a) the liner network system with transshipment at the port of Shanghai and (b) the cruising route system going through the ports of Yokohama, Nagoya and Kobe. A hypothesis was set that a consortium (coordinated ship allocation) can be implemented ideally and completely. The transport network (a) is lower by 10% in total cost than the transport network (b), resulting in 1.6 times greater productivity. Actual service network is closer to the network (b), but the system can be utilized for discussing guidelines on vessel arrangement programs with which shipping companies pursue better management efficiency under a condition that the consortium can be formed. 10 refs., 6 figs., 2 tabs.

Computer-Aided Diagnosis Systems for Brain Diseases in Magnetic Resonance Images

Directory of Open Access Journals (Sweden)

Yasuo Yamashita

2009-07-01

Full Text Available This paper reviews the basics and recent researches of computer-aided diagnosis (CAD systems for assisting neuroradiologists in detection of brain diseases, e.g., asymptomatic unruptured aneurysms, Alzheimer's disease, vascular dementia, and multiple sclerosis (MS, in magnetic resonance (MR images. The CAD systems consist of image feature extraction based on image processing techniques and machine learning classifiers such as linear discriminant analysis, artificial neural networks, and support vector machines. We introduce useful examples of the CAD systems in the neuroradiology, and conclude with possibilities in the future of the CAD systems for brain diseases in MR images.

Relationship between Otolaryngologic Complaints and Systemic Comorbidities Observed in a Group of Hearing Aid Users

Directory of Open Access Journals (Sweden)

Ribas, Angela

2014-11-01

Full Text Available Introduction Optimization of the selection, adaptation, and benefit of hearing aids is necessary to characterize and manage hearing loss, user expectations, otolaryngologic symptoms, and systemic comorbidities. Objective To compare the occurrence of otologic complaints, systemic diseases, and effective use of hearing aids in men and women with deafness. Methods Patients from a Unified Health System–accredited hearing health service, who reported problems in adapting to their hearing aids, were evaluated by a physician and audiologist. An anamnesis, ENT evaluation, and audiological evaluation were performed. Results During the data collection period, 278 subjects came in for follow-up visits; of these, 61 (21% reported otologic or operational problems with their equipment. The most prevalent type of hearing loss was basocochlear, a characteristic of presbycusis, in both men and women; the most frequently reported comorbidities were hypercholesterolemia (more significant in women and hypertension (more significant in men. Fourteen subjects reported using their device discontinuously, with no significant difference between genders; the reasons for discontinuation of use were itching and ringing, with more complaints from women. Conclusion The incidence of systemic and audiological complaints is high in this population. These patients should be evaluated thoroughly, as resolutions of these complaints can contribute to improving the quality of life and assist in the process of hearing aid fitting.

Explicating Mathematical Thinking in Differential Equations Using a Computer Algebra System

Science.gov (United States)

Zeynivandnezhad, Fereshteh; Bates, Rachel

2018-01-01

The importance of developing students' mathematical thinking is frequently highlighted in literature regarding the teaching and learning of mathematics. Despite this importance, most curricula and instructional activities for undergraduate mathematics fail to bring the learner beyond the mathematics. The purpose of this study was to enhance…

Hearing aid controlled by binaural source localizer

NARCIS (Netherlands)

2009-01-01

An adaptive directional hearing aid system comprising a left hearing aid and a right hearing aid, wherein a binaural acoustic source localizer is located in the left hearing aid or in the right hearing aid or in a separate body- worn device connected wirelessly to the left hearing aid and the right

Hard and soft mathematical models for simulation in some analytical chemical system. Modelos matematicos duros y blandos para la simulacion de sistemas quimicos analiticos

Energy Technology Data Exchange (ETDEWEB)

Lacalle, P.

1989-07-01

In order to determine ion-metallic species with xantene derivates as reagents, different mathematical models in some ion-pair spectrophotometric system have been applied haro mathematical models-based in physical-chemical laws-versus soft mathematical models-empirical and ranoom-have been compared explicits mathematical functions for simulation and optimization of the studied system have been obtained. That optimization has been done using some derivaties methods. Stochastics models in time-dependent systems have been applied. (Author)

Problems in mathematical analysis III integration

CERN Document Server

Kaczor, W J

2003-01-01

We learn by doing. We learn mathematics by doing problems. This is the third volume of Problems in Mathematical Analysis. The topic here is integration for real functions of one real variable. The first chapter is devoted to the Riemann and the Riemann-Stieltjes integrals. Chapter 2 deals with Lebesgue measure and integration. The authors include some famous, and some not so famous, integral inequalities related to Riemann integration. Many of the problems for Lebesgue integration concern convergence theorems and the interchange of limits and integrals. The book closes with a section on Fourier series, with a concentration on Fourier coefficients of functions from particular classes and on basic theorems for convergence of Fourier series. The book is primarily geared toward students in analysis, as a study aid, for problem-solving seminars, or for tutorials. It is also an excellent resource for instructors who wish to incorporate problems into their lectures. Solutions for the problems are provided in the boo...

Mathematics Education in Singapore - an Insider's Perspective

OpenAIRE

Kaur, Berinderjeet

2014-01-01

Singapore's Education System has evolved over time and so has Mathematics Education in Singapore. The present day School Mathematics Curricula can best be described as one that caters for the needs of every child in school. It is based on a framework that has mathematical problem solving as its primary focus. The developments from 1946 to 2012 that have shaped the present School Mathematics Curricula in Singapore are direct consequences of developments in the Education System of Singapore dur...

Online LDA BASED brain-computer interface system to aid disabled people

OpenAIRE

Apdullah Yayık; Yakup Kutlu

2017-01-01

This paper aims to develop brain-computer interface system based on electroencephalography that can aid disabled people in daily life. The system relies on one of the most effective event-related potential wave, P300, which can be elicited by oddball paradigm. Developed application has a basic interaction tool that enables disabled people to convey their needs to other people selecting related objects. These objects pseudo-randomly flash in a visual interface on computer screen. The user must...

Mathematical Modeling of the Braking System of Wheeled Mainline Aircraft

Directory of Open Access Journals (Sweden)

I. S. Shumilov

2016-01-01

Full Text Available The braking system of the landing gear wheels of a mainline aircraft has to meet mandatory requirements laid out in the Aviation Regulations AP-25 (Para 25.735. «Brakes and brake systems". These requirements are essential when creating the landing gear wheel brake control system (WBCS and are used as main initial data in its mathematical modeling. The WBCS is one of the most important systems to ensure the safe completion of the flight. It is a complex of devices, i.e. units (hydraulic, electrical, and mechanical, connected through piping, wiring, mechanical constraints. This complex should allow optimizing the braking process when a large number of parameters change. The most important of them are the following: runway friction coefficient (RFC, lifting force, weight and of the aircraft, etc. The main structural elements involved in braking the aircraft are: aircraft wheels with pneumatics (air tires and brake discs, WBCS, and cooling system of gear wheels when braking.To consider the aircraft deceleration on the landing run is of essence at the stage of design, development, and improvement of brakes and braking systems. Based on analysis of equation of the aircraft motion and energy balance can be determined energy loading and its basic design parameters, braking distances and braking time.As practice and analysis of energy loading show, they (brake + wheel absorb the aircraftpossessed kinetic energy at the start of braking as much as 60-70%, 70-80%, and 80-90%, respectively, under normal increased, and emergency operating conditions. The paper presents a procedure for the rapid calculation of energy loading of the brake wheel.Currently, the mainline aircrafts use mainly electrohydraulic brake systems in which there are the main, backup, and emergency-parking brake systems. All channels are equipped with automatic anti-skid systems. Their presence in the emergency (the third reserve channel significantly improves the reliability and safety of

Impaired Acuity of the Approximate Number System Underlies Mathematical Learning Disability (Dyscalculia)

Science.gov (United States)

Mazzocco, Michele M. M.; Feigenson, Lisa; Halberda, Justin

2011-01-01

Many children have significant mathematical learning disabilities (MLD, or dyscalculia) despite adequate schooling. The current study hypothesizes that MLD partly results from a deficiency in the Approximate Number System (ANS) that supports nonverbal numerical representations across species and throughout development. In this study of 71 ninth…

Role and Relative Effectiveness of Immune System for Combating Small Pox and AIDS

OpenAIRE

A. Taqaddas

2014-01-01

The human body has a complex system of innate and adaptive mechanisms for combating infection. This article discusses the role and relative effectiveness of these mechanisms in relation to small pox and AIDS.

Making a Math Teaching Aids of Junior High School Based on Scientific Approach Through an Integrated and Sustainable Training

Science.gov (United States)

Pujiastuti, E.; Mashuri

2017-04-01

Not all of teachers of Mathematics in Junior High School (JHS) can design and create teaching aids. Moreover, if teaching aids should be designed so that it can be used in learning through scientific approaches. The problem: How to conduct an integrated and sustainable training that the math teacher of JHS, especially in Semarang can design and create teaching aids that can be presented to the scientific approach? The purpose of this study to find a way of integrated and continuous training so that the math teacher of JHS can design and create teaching aids that can be presented to the scientific approach. This article was based on research with a qualitative approach. Through trials activities of resulting of training model, Focus Group Discussions (FGD), interviews, and triangulation of the results of the research were: (1) Produced a training model of integrated and sustainable that the mathematics teacher of JHS can design and create teaching aids that can be presented to the scientific approach. (2) In training, there was the provision of material and workshop (3) There was a mentoring in the classroom. (4) Sustainability of the consultation. Our advice: (1) the trainer should be clever, (2) the training can be held at the holidays, while the assistance during the holiday season was over.

MATHEMATICAL MODEL MANIPULATOR ROBOTS

Directory of Open Access Journals (Sweden)

O. N. Krakhmalev

2015-12-01

Full Text Available A mathematical model to describe the dynamics of manipulator robots. Mathematical model are the implementation of the method based on the Lagrange equation and using the transformation matrices of elastic coordinates. Mathematical model make it possible to determine the elastic deviations of manipulator robots from programmed motion trajectories caused by elastic deformations in hinges, which are taken into account in directions of change of the corresponding generalized coordinates. Mathematical model is approximated and makes it possible to determine small elastic quasi-static deviations and elastic vibrations. The results of modeling the dynamics by model are compared to the example of a two-link manipulator system. The considered model can be used when performing investigations of the mathematical accuracy of the manipulator robots.

Computer-aided design of microvasculature systems for use in vascular scaffold production

International Nuclear Information System (INIS)

Mondy, William Lafayette; Cameron, Don; Timmermans, Jean-Pierre; De Clerck, Nora; Sasov, Alexander; Casteleyn, Christophe; Piegl, Les A

2009-01-01

In vitro biomedical engineering of intact, functional vascular networks, which include capillary structures, is a prerequisite for adequate vascular scaffold production. Capillary structures are necessary since they provide the elements and compounds for the growth, function and maintenance of 3D tissue structures. Computer-aided modeling of stereolithographic (STL) micro-computer tomographic (micro-CT) 3D models is a technique that enables us to mimic the design of vascular tree systems containing capillary beds, found in tissues. In our first paper (Mondy et al 2009 Tissue Eng. at press), using micro-CT, we studied the possibility of using vascular tissues to produce data capable of aiding the design of vascular tree scaffolding, which would help in the reverse engineering of a complete vascular tree system including capillary bed structures. In this paper, we used STL models of large datasets of computer-aided design (CAD) data of vascular structures which contained capillary structures that mimic those in the dermal layers of rabbit skin. Using CAD software we created from 3D STL models a bio-CAD design for the development of capillary-containing vascular tree scaffolding for skin. This method is designed to enhance a variety of therapeutic protocols including, but not limited to, organ and tissue repair, systemic disease mediation and cell/tissue transplantation therapy. Our successful approach to in vitro vasculogenesis will allow the bioengineering of various other types of 3D tissue structures, and as such greatly expands the potential applications of biomedical engineering technology into the fields of biomedical research and medicine.

Computer-aided design of microvasculature systems for use in vascular scaffold production

Energy Technology Data Exchange (ETDEWEB)

Mondy, William Lafayette [Department of Chemical and Biomedical Engineering, University of South Florida, FL (United States); Cameron, Don [Department of Pathology and Cell Biology, College of Medicine, University of South Florida, FL (United States); Timmermans, Jean-Pierre [Department of Veterinary Sciences, University of Antwerp (Belgium); De Clerck, Nora [Department of Biomedical Sciences University of Antwerp (Belgium); Sasov, Alexander [Skyscan (Belgium); Casteleyn, Christophe [College of Veterinary Medicine, Ghent University (Belgium); Piegl, Les A [Department of Computer Science and Engineering, University of South Florida, FL (United States)

2009-09-15

In vitro biomedical engineering of intact, functional vascular networks, which include capillary structures, is a prerequisite for adequate vascular scaffold production. Capillary structures are necessary since they provide the elements and compounds for the growth, function and maintenance of 3D tissue structures. Computer-aided modeling of stereolithographic (STL) micro-computer tomographic (micro-CT) 3D models is a technique that enables us to mimic the design of vascular tree systems containing capillary beds, found in tissues. In our first paper (Mondy et al 2009 Tissue Eng. at press), using micro-CT, we studied the possibility of using vascular tissues to produce data capable of aiding the design of vascular tree scaffolding, which would help in the reverse engineering of a complete vascular tree system including capillary bed structures. In this paper, we used STL models of large datasets of computer-aided design (CAD) data of vascular structures which contained capillary structures that mimic those in the dermal layers of rabbit skin. Using CAD software we created from 3D STL models a bio-CAD design for the development of capillary-containing vascular tree scaffolding for skin. This method is designed to enhance a variety of therapeutic protocols including, but not limited to, organ and tissue repair, systemic disease mediation and cell/tissue transplantation therapy. Our successful approach to in vitro vasculogenesis will allow the bioengineering of various other types of 3D tissue structures, and as such greatly expands the potential applications of biomedical engineering technology into the fields of biomedical research and medicine.

Computer-aided design of microvasculature systems for use in vascular scaffold production.

Science.gov (United States)

Mondy, William Lafayette; Cameron, Don; Timmermans, Jean-Pierre; De Clerck, Nora; Sasov, Alexander; Casteleyn, Christophe; Piegl, Les A

2009-09-01

In vitro biomedical engineering of intact, functional vascular networks, which include capillary structures, is a prerequisite for adequate vascular scaffold production. Capillary structures are necessary since they provide the elements and compounds for the growth, function and maintenance of 3D tissue structures. Computer-aided modeling of stereolithographic (STL) micro-computer tomographic (micro-CT) 3D models is a technique that enables us to mimic the design of vascular tree systems containing capillary beds, found in tissues. In our first paper (Mondy et al 2009 Tissue Eng. at press), using micro-CT, we studied the possibility of using vascular tissues to produce data capable of aiding the design of vascular tree scaffolding, which would help in the reverse engineering of a complete vascular tree system including capillary bed structures. In this paper, we used STL models of large datasets of computer-aided design (CAD) data of vascular structures which contained capillary structures that mimic those in the dermal layers of rabbit skin. Using CAD software we created from 3D STL models a bio-CAD design for the development of capillary-containing vascular tree scaffolding for skin. This method is designed to enhance a variety of therapeutic protocols including, but not limited to, organ and tissue repair, systemic disease mediation and cell/tissue transplantation therapy. Our successful approach to in vitro vasculogenesis will allow the bioengineering of various other types of 3D tissue structures, and as such greatly expands the potential applications of biomedical engineering technology into the fields of biomedical research and medicine.

Improved methods for the mathematically controlled comparison of biochemical systems

Directory of Open Access Journals (Sweden)

Schwacke John H

2004-06-01

Full Text Available Abstract The method of mathematically controlled comparison provides a structured approach for the comparison of alternative biochemical pathways with respect to selected functional effectiveness measures. Under this approach, alternative implementations of a biochemical pathway are modeled mathematically, forced to be equivalent through the application of selected constraints, and compared with respect to selected functional effectiveness measures. While the method has been applied successfully in a variety of studies, we offer recommendations for improvements to the method that (1 relax requirements for definition of constraints sufficient to remove all degrees of freedom in forming the equivalent alternative, (2 facilitate generalization of the results thus avoiding the need to condition those findings on the selected constraints, and (3 provide additional insights into the effect of selected constraints on the functional effectiveness measures. We present improvements to the method and related statistical models, apply the method to a previously conducted comparison of network regulation in the immune system, and compare our results to those previously reported.

Leśniewski's systems of logic and foundations of mathematics

CERN Document Server

Urbaniak, Rafal

2014-01-01

This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw  Leśniewski focuses exclusively on primary texts and explores the full range of output by one of the master logicians of the Lvov-Warsaw school. The author’s nuanced survey eschews secondary commentary, analyzing Leśniewski's core philosophical views and evaluating the formulations that were to have such a profound influence on the evolution of mathematical logic.   One of the undisputed leaders of the cohort of brilliant logicians that congregated in Poland in the early twentieth century, Leśniewski was a guide and mentor to a generation of celebrated analytical philosophers (Alfred Tarski was his PhD student). His primary achievement was a system of foundational mathematical logic intended as an alternative to the Principia Mathematica of Alfred North Whitehead and Bertrand Russell. Its three strands—‘protothetic’, ‘ontology’, and ‘mereology’, are detailed in discrete sections of this volume, alongs...

Rigorous Mathematical Modeling of an Adsorption System With Electrothermal Regeneration of the Used Adsorbent

National Research Council Canada - National Science Library

Petkovska, Menka; Antov-Bozalo, Danijela; Nikacevic, Nikola

2006-01-01

The general objective of the project is fundamental mathematical modeling of a complex TSA system with electrothermal desorption step, with absorbers assembled of one or more cartridge-type, radial...

Computer training aids for nuclear operator training

International Nuclear Information System (INIS)

Phillips, J.G.P.; Binns, J.B.H.

1983-01-01

The Royal Navy's Nuclear Propulsion School at HMS SULTAN which is responsible for training all ratings and officers who operate Submarine Pressurised Water Reactor plants, has available a varied selection of classroom simulator training aids as well as purpose built Submarine Manoeuvring Room simulators. The use of these classroom training aids in the twelve months prior to Autumn 1981 is discussed. The advantages and disadvantages of using relatively expensive computer based aids to support classroom instruction for students who do not investigate mathematically the dynamics of the Reactor Plant are identified. The conclusions drawn indicate that for students of limited academic ability the classroom simulators are disproportionately expensive in cost, maintenance load, and instructional time. Secondly, the experience gained in the use of the Manoeuvring Room Simulators to train future operators who have just finished the academic phase of their training is outlined. The possible pitfalls for the instructor are discussed and the lessons learnt, concluding that these simulators provide a valuable substitute for the live plant enabling trainees to be brought up to a common standard and reducing their on job training time to an acceptable level. (author)

LiDAR Scan Matching Aided Inertial Navigation System in GNSS-Denied Environments

OpenAIRE

Tang, Jian; Chen, Yuwei; Niu, Xiaoji; Wang, Li; Chen, Liang; Liu, Jingbin; Shi, Chuang; Hyyppä, Juha

2015-01-01

A new scan that matches an aided Inertial Navigation System (INS) with a low-cost LiDAR is proposed as an alternative to GNSS-based navigation systems in GNSS-degraded or -denied environments such as indoor areas, dense forests, or urban canyons. In these areas, INS-based Dead Reckoning (DR) and Simultaneous Localization and Mapping (SLAM) technologies are normally used to estimate positions as separate tools. However, there are critical implementation problems with each standalone system. Th...

Mathematics ability and related skills in preschoolers born very preterm.

Science.gov (United States)

Hasler, Holly M; Akshoomoff, Natacha

2017-12-12

Children born very preterm (VPT) are at risk for academic, behavioral, and/or emotional problems. Mathematics is a particular weakness and better understanding of the relationship between preterm birth and early mathematics ability is needed, particularly as early as possible to aid in early intervention. Preschoolers born VPT (n = 58) and those born full term (FT; n = 29) were administered a large battery of measures within 6 months of beginning kindergarten. A multiple-mediation model was utilized to characterize the difference in skills underlying mathematics ability between groups. Children born VPT performed significantly worse than FT-born children on a measure of mathematics ability as well as full-scale IQ, verbal skills, visual-motor integration, phonological awareness, phonological working memory, motor skills, and executive functioning. Mathematics was significantly correlated with verbal skills, visual-motor integration, phonological processing, and motor skills across both groups. When entered into the mediation model, verbal skills, visual-motor integration, and phonological awareness were significant mediators of the group differences. This analysis provides insights into the pre-academic skills that are weak in preschoolers born VPT and their relationship to mathematics. It is important to identify children who will have difficulties as early as possible, particularly for VPT children who are at higher risk for academic difficulties. Therefore, this model may be used in evaluating VPT children for emerging difficulties as well as an indicator that if other weaknesses are found, an assessment of mathematics should be conducted.

A Multidisciplinary Research Team Approach to Computer-Aided Drafting (CAD) System Selection. Final Report.

Science.gov (United States)

Franken, Ken; And Others

A multidisciplinary research team was assembled to review existing computer-aided drafting (CAD) systems for the purpose of enabling staff in the Design Drafting Department at Linn Technical College (Missouri) to select the best system out of the many CAD systems in existence. During the initial stage of the evaluation project, researchers…

Secondary School Mathematics Teachers’ and Students’ Views on Computer Assisted Mathematics Instruction in Turkey: Mathematica Example

OpenAIRE

Mehmet Alper Ardıç; Tevfik İşleyen

2017-01-01

This study aimed at determining the secondary school mathematics teachers’ and students’ views on computer-assisted mathematics instruction (CAMI) conducted via Mathematica. Accordingly, three mathematics teachers in Adıyaman and nine 10th-grade students participated in the research. Firstly, the researchers trained the mathematics teachers in the Mathematica program, a computer algebra system (CAS) and CAMI. Then, they provided a suitable environment for teachers to practice CAMI with their ...

Research Area 3: Mathematics (3.1 Modeling of Complex Systems)

Science.gov (United States)

2017-10-31

Title: RESEARCH AREA 3: MATHEMATICS (3.1 Modeling of Complex Systems). Proposal should be directed to Dr. John Lavery Report Term: 0-Other Email ...Paolo Rosso Email : prosso@dsic.upv.es values of the profile characteristics taken by the users), intersection (they represent the relationship between...accuracy, especially when adding fully connected layers at the end of the network. This work has resulted in the writing of a manuscript for the Journal

Open problems in mathematics

CERN Document Server

Nash, Jr, John Forbes

2016-01-01

The goal in putting together this unique compilation was to present the current status of the solutions to some of the most essential open problems in pure and applied mathematics. Emphasis is also given to problems in interdisciplinary research for which mathematics plays a key role. This volume comprises highly selected contributions by some of the most eminent mathematicians in the international mathematical community on longstanding problems in very active domains of mathematical research. A joint preface by the two volume editors is followed by a personal farewell to John F. Nash, Jr. written by Michael Th. Rassias. An introduction by Mikhail Gromov highlights some of Nash’s legendary mathematical achievements. The treatment in this book includes open problems in the following fields: algebraic geometry, number theory, analysis, discrete mathematics, PDEs, differential geometry, topology, K-theory, game theory, fluid mechanics, dynamical systems and ergodic theory, cryptography, theoretical computer sc...

The challenge of computer mathematics.

Science.gov (United States)

Barendregt, Henk; Wiedijk, Freek

2005-10-15

Progress in the foundations of mathematics has made it possible to formulate all thinkable mathematical concepts, algorithms and proofs in one language and in an impeccable way. This is not in spite of, but partially based on the famous results of Gödel and Turing. In this way statements are about mathematical objects and algorithms, proofs show the correctness of statements and computations, and computations are dealing with objects and proofs. Interactive computer systems for a full integration of defining, computing and proving are based on this. The human defines concepts, constructs algorithms and provides proofs, while the machine checks that the definitions are well formed and the proofs and computations are correct. Results formalized so far demonstrate the feasibility of this 'computer mathematics'. Also there are very good applications. The challenge is to make the systems more mathematician-friendly, by building libraries and tools. The eventual goal is to help humans to learn, develop, communicate, referee and apply mathematics.

Computer-aided detection systems to improve lung cancer early diagnosis: state-of-the-art and challenges

International Nuclear Information System (INIS)

Traverso, A; Lopez Torres, E; Cerello, P; Fantacci, M E

2017-01-01

Lung cancer is one of the most lethal types of cancer, because its early diagnosis is not good enough. In fact, the detection of pulmonary nodule, potential lung cancers, in Computed Tomography scans is a very challenging and time-consuming task for radiologists. To support radiologists, researchers have developed Computer-Aided Diagnosis (CAD) systems for the automated detection of pulmonary nodules in chest Computed Tomography scans. Despite the high level of technological developments and the proved benefits on the overall detection performance, the usage of Computer-Aided Diagnosis in clinical practice is far from being a common procedure. In this paper we investigate the causes underlying this discrepancy and present a solution to tackle it: the M5L WEB- and Cloud-based on-demand Computer-Aided Diagnosis. In addition, we prove how the combination of traditional imaging processing techniques with state-of-art advanced classification algorithms allows to build a system whose performance could be much larger than any Computer-Aided Diagnosis developed so far. This outcome opens the possibility to use the CAD as clinical decision support for radiologists. (paper)

Computer-aided detection systems to improve lung cancer early diagnosis: state-of-the-art and challenges

Science.gov (United States)

Traverso, A.; Lopez Torres, E.; Fantacci, M. E.; Cerello, P.

2017-05-01

Lung cancer is one of the most lethal types of cancer, because its early diagnosis is not good enough. In fact, the detection of pulmonary nodule, potential lung cancers, in Computed Tomography scans is a very challenging and time-consuming task for radiologists. To support radiologists, researchers have developed Computer-Aided Diagnosis (CAD) systems for the automated detection of pulmonary nodules in chest Computed Tomography scans. Despite the high level of technological developments and the proved benefits on the overall detection performance, the usage of Computer-Aided Diagnosis in clinical practice is far from being a common procedure. In this paper we investigate the causes underlying this discrepancy and present a solution to tackle it: the M5L WEB- and Cloud-based on-demand Computer-Aided Diagnosis. In addition, we prove how the combination of traditional imaging processing techniques with state-of-art advanced classification algorithms allows to build a system whose performance could be much larger than any Computer-Aided Diagnosis developed so far. This outcome opens the possibility to use the CAD as clinical decision support for radiologists.

Mathematical modelling and quality indices optimization of automatic control systems of reactor facility

International Nuclear Information System (INIS)

Severin, V.P.

2007-01-01

The mathematical modeling of automatic control systems of reactor facility WWER-1000 with various regulator types is considered. The linear and nonlinear models of neutron power control systems of nuclear reactor WWER-1000 with various group numbers of delayed neutrons are designed. The results of optimization of direct quality indexes of neutron power control systems of nuclear reactor WWER-1000 are designed. The identification and optimization of level control systems with various regulator types of steam generator are executed

Computer aided approach for qualitative risk assessment of engineered systems

International Nuclear Information System (INIS)

Crowley, W.K.; Arendt, J.S.; Fussell, J.B.; Rooney, J.J.; Wagner, D.P.

1978-01-01

This paper outlines a computer aided methodology for determining the relative contributions of various subsystems and components to the total risk associated with an engineered system. Major contributors to overall task risk are identified through comparison of an expected frequency density function with an established risk criterion. Contributions that are inconsistently high are also identified. The results from this analysis are useful for directing efforts for improving system safety and performance. An analysis of uranium hexafluoride handling risk at a gaseous diffusion uranium enrichment plant using a preliminary version of the computer program EXCON is briefly described and illustrated

A mathematical model for the iron/chromium redox battery

Science.gov (United States)

Fedkiw, P. S.; Watts, R. W.

1984-01-01

A mathematical model has been developed to describe the isothermal operation of a single anode-separator-cathode unit cell in a redox-flow battery and has been applied to the NASA iron/chromium system. The model, based on porous electrode theory, incorporates redox kinetics, mass transfer, and ohmic effects as well as the parasitic hydrogen reaction which occurs in the chromium electrode. A numerical parameter study was carried out to predict cell performance to aid in the rational design, scale-up, and operation of the flow battery. The calculations demonstrate: (1) an optimum electrode thickness and electrolyte flow rate exist; (2) the amount of hydrogen evolved and, hence, cycle faradaic efficiency, can be affected by cell geometry, flow rate, and charging procedure; (3) countercurrent flow results in enhanced cell performance over cocurrent flow; and (4) elevated temperature operation enhances cell performance.

Control-C and ACSL for computer-aided control systems engineering

International Nuclear Information System (INIS)

Schrick, B.; Anex, R.

1986-01-01

A computer-aided engineering package, called CTRL-C, provides an easy-to-use work-bench for the analysis and design of multivariable systems. ACSL, a powerful simulation language, complements CTRL-C and provides a flexible evaluation tool. Combined, the CTRL-C/ACSL package is an interaction environment with a comprehensive set of tools for analysis, design, simulation, and evaluation. A unified software system is possible for engineering analysis and presentation. Recognizing that no software can satisfy all needs, Ctrl-C provides consistent and flexible communication with the operating system and other software, most especially ACSL. CTRL-C and ACSL demonstrate that an interactive environment can be a powerful, accessible, and extensible tool for engineering

Rigorous Mathematical Modeling of an Adsorption System With Electrothermal Regeneration of the Used Adsorbent

National Research Council Canada - National Science Library

Petkovska, Menka; Antov-Bozalo, Danijela; Markovic, Ana

2005-01-01

The general objective of the project is fundamental mathematical modeling of a complex TSA system with electrothermal desorption step, with adsorbers assembled of one or more activated carbon fiber clot (ACFC...

MATHEMATICAL MODEL FOR CALCULATION OF INFORMATION RISKS FOR INFORMATION AND LOGISTICS SYSTEM

Directory of Open Access Journals (Sweden)

A. G. Korobeynikov

2015-05-01

Full Text Available Subject of research. The paper deals with mathematical model for assessment calculation of information risks arising during transporting and distribution of material resources in the conditions of uncertainty. Meanwhile information risks imply the danger of origin of losses or damage as a result of application of information technologies by the company. Method. The solution is based on ideology of the transport task solution in stochastic statement with mobilization of mathematical modeling theory methods, the theory of graphs, probability theory, Markov chains. Creation of mathematical model is performed through the several stages. At the initial stage, capacity on different sites depending on time is calculated, on the basis of information received from information and logistic system, the weight matrix is formed and the digraph is under construction. Then there is a search of the minimum route which covers all specified vertexes by means of Dejkstra algorithm. At the second stage, systems of differential Kolmogorov equations are formed using information about the calculated route. The received decisions show probabilities of resources location in concrete vertex depending on time. At the third stage, general probability of the whole route passing depending on time is calculated on the basis of multiplication theorem of probabilities. Information risk, as time function, is defined by multiplication of the greatest possible damage by the general probability of the whole route passing. In this case information risk is measured in units of damage which corresponds to that monetary unit which the information and logistic system operates with. Main results. Operability of the presented mathematical model is shown on a concrete example of transportation of material resources where places of shipment and delivery, routes and their capacity, the greatest possible damage and admissible risk are specified. The calculations presented on a diagram showed

DMPy: a Python package for automated mathematical model construction of large-scale metabolic systems.

Science.gov (United States)

Smith, Robert W; van Rosmalen, Rik P; Martins Dos Santos, Vitor A P; Fleck, Christian

2018-06-19

Models of metabolism are often used in biotechnology and pharmaceutical research to identify drug targets or increase the direct production of valuable compounds. Due to the complexity of large metabolic systems, a number of conclusions have been drawn using mathematical methods with simplifying assumptions. For example, constraint-based models describe changes of internal concentrations that occur much quicker than alterations in cell physiology. Thus, metabolite concentrations and reaction fluxes are fixed to constant values. This greatly reduces the mathematical complexity, while providing a reasonably good description of the system in steady state. However, without a large number of constraints, many different flux sets can describe the optimal model and we obtain no information on how metabolite levels dynamically change. Thus, to accurately determine what is taking place within the cell, finer quality data and more detailed models need to be constructed. In this paper we present a computational framework, DMPy, that uses a network scheme as input to automatically search for kinetic rates and produce a mathematical model that describes temporal changes of metabolite fluxes. The parameter search utilises several online databases to find measured reaction parameters. From this, we take advantage of previous modelling efforts, such as Parameter Balancing, to produce an initial mathematical model of a metabolic pathway. We analyse the effect of parameter uncertainty on model dynamics and test how recent flux-based model reduction techniques alter system properties. To our knowledge this is the first time such analysis has been performed on large models of metabolism. Our results highlight that good estimates of at least 80% of the reaction rates are required to accurately model metabolic systems. Furthermore, reducing the size of the model by grouping reactions together based on fluxes alters the resulting system dynamics. The presented pipeline automates the

Integrated Sensing and Processing (ISP). A Mathematical Methodology for Managing and Integrating Sensors and Processors in Distributed Systems for Radar and Communication

National Research Council Canada - National Science Library

Spooner, Chad M

2005-01-01

.... The approach is to consider systems of targets and sensors in as general a general mathematical formulation as possible, to develop mathematical tools to study such systems, and to apply the tools...

Hearing Aid Personalization

DEFF Research Database (Denmark)

Nielsen, Jens Brehm; Nielsen, Jakob; Jensen, Bjørn Sand

2013-01-01

Modern digital hearing aids require and offer a great level of personalization. Today, this personalization is not performed based directly on what the user actually perceives, but on a hearing-care professional’s interpretation of what the user explains about what is perceived. In this paper......, an interactive personalization system based on Gaussian process regression and active learning is proposed, which personalize the hearing aids based directly on what the user perceives. Preliminary results demonstrate a significant difference between a truly personalized setting obtained with the proposed system...

A bridge to advanced mathematics

CERN Document Server

Sentilles, Dennis

2011-01-01

This helpful workbook-style ""bridge"" book introduces students to the foundations of advanced mathematics, spanning the gap between a practically oriented calculus sequence and subsequent courses in algebra and analysis with a more theoretical slant. Part 1 focuses on logic and number systems, providing the most basic tools, examples, and motivation for the manner, method, and concerns of higher mathematics. Part 2 covers sets, relations, functions, infinite sets, and mathematical proofs and reasoning. Author Dennis Sentilles also discusses the history and development of mathematics as well a

System for Delivering Student Aid Is Flawed, Many Agree, But What's the Solution?

Science.gov (United States)

Burd, Stephen

1997-01-01

Public officials and student aid experts agree that the federal program delivery system is outdated, inefficient, and vulnerable to fraud, but they disagree on how bad the situation is and whether the Education Department has the structure necessary to fix it. A 1995 project to integrate all federal grant and loan programs into one system has not…

The effects of global health initiatives on country health systems: a review of the evidence from HIV/AIDS control.

Science.gov (United States)

Biesma, Regien G; Brugha, Ruairí; Harmer, Andrew; Walsh, Aisling; Spicer, Neil; Walt, Gill

2009-07-01

This paper reviews country-level evidence about the impact of global health initiatives (GHIs), which have had profound effects on recipient country health systems in middle and low income countries. We have selected three initiatives that account for an estimated two-thirds of external funding earmarked for HIV/AIDS control in resource-poor countries: the Global Fund to Fight AIDS, TB and Malaria, the World Bank Multi-country AIDS Program (MAP) and the US President's Emergency Plan for AIDS Relief (PEPFAR). This paper draws on 31 original country-specific and cross-country articles and reports, based on country-level fieldwork conducted between 2002 and 2007. Positive effects have included a rapid scale-up in HIV/AIDS service delivery, greater stakeholder participation, and channelling of funds to non-governmental stakeholders, mainly NGOs and faith-based bodies. Negative effects include distortion of recipient countries' national policies, notably through distracting governments from coordinated efforts to strengthen health systems and re-verticalization of planning, management and monitoring and evaluation systems. Sub-national and district studies are needed to assess the degree to which GHIs are learning to align with and build the capacities of countries to respond to HIV/AIDS; whether marginalized populations access and benefit from GHI-funded programmes; and about the cost-effectiveness and long-term sustainability of the HIV and AIDS programmes funded by the GHIs. Three multi-country sets of evaluations, which will be reporting in 2009, will answer some of these questions.

The "Human Factor" in Pure and in Applied Mathematics. Systems Everywhere: Their Impact on Mathematics Education.

Science.gov (United States)

Fischer, Roland

1992-01-01

Discusses the impact that the relationship between people and mathematics could have on the development of pure and applied mathematics. Argues for (1) a growing interest in philosophy, history and sociology of science; (2) new models in educational and psychological research; and (3) a growing awareness of the human factor in technology,…

Mathematical adventures in performance analysis from storage systems, through airplane boarding, to express line queues

CERN Document Server

Bachmat, Eitan

2014-01-01

This monograph describes problems in the field of performance analysis, primarily the study of storage systems and the diverse mathematical techniques that are required for solving such problems. Topics covered include best practices for scheduling I/O requests to a disk drive, how this problem is related to airplane boarding, and how both problems can be modeled using space-time geometry. The author also explains how Riemann's proof of the analytic continuation and functional equation of the Riemann zeta function can be used to analyze express-line queues in a minimarket. Overall, the book reveals the surprising applicability of abstract mathematical ideas that are not usually associated with applied topics. Advanced undergraduate students or graduate students with an interest in the applications of mathematics will find this book a useful resource. It will also be of interest to professional mathematicians who want exposure to the surprising ways that theoretical mathematics may be applied to engineering pr...

Classical Mathematical Logic The Semantic Foundations of Logic

CERN Document Server

Epstein, Richard L

2011-01-01

In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field theory, and linear orderings. These lead to the formalization of the real numbers and Euclidean plane geometry. The scope and limitations of modern logic are made clear in these formalizations. The book provides detailed explanations of all proo

A computer-aided continuous assessment system

Directory of Open Access Journals (Sweden)

B. C.H. Turton

1996-12-01

Full Text Available Universities within the United Kingdom have had to cope with a massive expansion in undergraduate student numbers over the last five years (Committee of Scottish University Principals, 1993; CVCP Briefing Note, 1994. In addition, there has been a move towards modularization and a closer monitoring of a student's progress throughout the year. Since the price/performance ratio of computer systems has continued to improve, Computer- Assisted Learning (CAL has become an attractive option. (Fry, 1990; Benford et al, 1994; Laurillard et al, 1994. To this end, the Universities Funding Council (UFQ has funded the Teaching and Learning Technology Programme (TLTP. However universities also have a duty to assess as well as to teach. This paper describes a Computer-Aided Assessment (CAA system capable of assisting in grading students and providing feedback. In this particular case, a continuously assessed course (Low-Level Languages of over 100 students is considered. Typically, three man-days are required to mark one assessed piece of coursework from the students in this class. Any feedback on how the questions were dealt with by the student are of necessity brief. Most of the feedback is provided in a tutorial session that covers the pitfalls encountered by the majority of the students.

Wireless communication for hearing aid system

DEFF Research Database (Denmark)

Nour, Baqer

This thesis focuses on the wireless coupling between hearing aids close to a human head. Hearing aids constitute devices withadvanced technology and the wireless communication enables the introduction of a range of completely new functionalities. Such devices are small and the available power...... the ear-to-ear wireless communication channel by understanding the mechanisms that control the propagations of the signals and the losses. The second objective isto investigate the properties of magneto-dielectric materials and their potential in antenna miniaturization. There are three approaches...... to study the ear-to-ear wireless communication link; a theoretical approach models the human head asa sphere that has the electrical properties of the head, a numerical approach implements a more realistic geometry of the head, and an experimental approach measures directly the coupling between...

Mathematics for energy

International Nuclear Information System (INIS)

Snow, D.R.

1975-01-01

This paper provides mathematicians and other persons interested in energy problems with some ideas of the kinds of mathematics being applied and a few ideas for further investigation both in the relevant mathematics and in mathematical modeling. This paper is not meant to be an extensive bibliography on the subject, but references are provided. The Conference emphasized large scale and economic considerations related to energy rather than specific technologies, but additional mathematical problems arising in current and future technologies are suggested. Several of the papers dealt with linear programming models of large scale systems related to energy. These included economic models, policy models, energy sector models for supply and demand and environmental concerns. One of the economic models utilized variational techniques including such things as the Hamiltonian, the Euler-Lagrange differential equation, transversality and natural boundary conditions

Development process of in-service training intended for teachers to perform teaching of mathematics with computer algebra systems

Science.gov (United States)

Ardıç, Mehmet Alper; Işleyen, Tevfik

2018-01-01

In this study, we deal with the development process of in-service training activities designed in order for mathematics teachers of secondary education to realize teaching of mathematics, utilizing computer algebra systems. In addition, the results obtained from the researches carried out during and after the in-service training were summarized. Last section focuses on suggestions any teacher can use to carry out activities aimed at using computer algebra systems in teaching environments.

Systems for aiding operators at university-owned research reactors in Japan

International Nuclear Information System (INIS)

Nishihara, H.; Kimura, Y.; Shibata, T.

1984-01-01

University-owned research reactors are operated for various purposes, and small disturbances may arise from various experimental facilities. Also not uniform are the technical levels of operators who range from supervised-students to reactor physicists. Considerable efforts are therefore devoted to the preventive maintainance. With these boundary conditions imposed, systems for aiding operators are designed at these research reactor facilities. (author)

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

Mathematical modeling in low-level radioactive waste management

International Nuclear Information System (INIS)

Ward, D.S.; Yeh, G.T.

1978-01-01

Mathematical modeling of moisture transport through near-surface infiltration reduction seals above low-level waste trenches may be used to aid in the evaluation of engineering design alternatives. The infiltration of rainwater must be reduced for successful radionuclide containment within a typical shallow trench. Clay admixtures offer not only long-term integrity, but the necessary durability. The use of models is exemplified in the calculation of spatial moisture content and velocity distributions in the vicinity of a near-surface seal

THE CONCEPT OF THE EDUCATIONAL COMPUTER MATHEMATICS SYSTEM AND EXAMPLES OF ITS IMPLEMENTATION

Directory of Open Access Journals (Sweden)

M. Lvov

2014-11-01

Full Text Available The article deals with the educational computer mathematics system, based in Kherson State University and resulted in more than 8 software tools to orders of the Ministry of Education, Science, Youth and Sports of Ukraine. The exact and natural sciences are notable among all disciplines both in secondary schools and universities. They form the fundamental scientific knowledge, based on precise mathematical models and methods. The educational process for these courses should include not only lectures and seminars, but active forms of studying as well: practical classes, laboratory work, practical training, etc. The enumerated peculiarities determine specific intellectual and architectural properties of information technologies, developed to be used in the educational process of these disciplines. Whereas, in terms of technologies used in the implementation of the functionality of software, they are actually the educational computer algebra system. Thus the algebraic programming system APS developed in the Institute of Cybernetics of the National Academy of Sciences of Ukraine led by Academician O.A. Letychevskyi in the 80 years of the twentieth century is especially important for their development.

Computer aided analysis, simulation and optimisation of thermal sterilisation processes.

Science.gov (United States)

Narayanan, C M; Banerjee, Arindam

2013-04-01

Although thermal sterilisation is a widely employed industrial process, little work is reported in the available literature including patents on the mathematical analysis and simulation of these processes. In the present work, software packages have been developed for computer aided optimum design of thermal sterilisation processes. Systems involving steam sparging, jacketed heating/cooling, helical coils submerged in agitated vessels and systems that employ external heat exchangers (double pipe, shell and tube and plate exchangers) have been considered. Both batch and continuous operations have been analysed and simulated. The dependence of del factor on system / operating parameters such as mass or volume of substrate to be sterilised per batch, speed of agitation, helix diameter, substrate to steam ratio, rate of substrate circulation through heat exchanger and that through holding tube have been analysed separately for each mode of sterilisation. Axial dispersion in the holding tube has also been adequately accounted for through an appropriately defined axial dispersion coefficient. The effect of exchanger characteristics/specifications on the system performance has also been analysed. The multiparameter computer aided design (CAD) software packages prepared are thus highly versatile in nature and they permit to make the most optimum choice of operating variables for the processes selected. The computed results have been compared with extensive data collected from a number of industries (distilleries, food processing and pharmaceutical industries) and pilot plants and satisfactory agreement has been observed between the two, thereby ascertaining the accuracy of the CAD softwares developed. No simplifying assumptions have been made during the analysis and the design of associated heating / cooling equipment has been performed utilising the most updated design correlations and computer softwares.

Computer-aided load monitoring system for nuclear power plant steel framing structures

International Nuclear Information System (INIS)

Skaczylo, A.T.; Fung, S-J; Hooks, R.W.

1984-01-01

The design of nuclear power plant steel framing structures is a long and involved process. It is often complicated by numerous changes in design loads as a result of additions, deletions and modifications of HVAC hangers, cable tray hangers, electric conduit hangers, and small bore and large bore mechanical component supports. Manual tracking of load changes of thousands of supports and their impact to the structural steel design adequacy is very time-consuming and is susceptible to errors. This paper presents a computer-aided load monitoring system using the latest technology of data base management and interactive computer software. By linking the data base to analysis and investigation computer programs, the engineer has a very powerful tool to monitor not only the load revisions but also their impact on the steel structural floor framing members and connections. Links to reporting programs allow quick information retrieval in the form of comprehensive reports. Drawing programs extract data from the data base to draw hanger load system drawings on a computer-aided drafting system. These capabilities allow engineers to minimize modifications by strategically locating new hangers or rearranging auxiliary steel configuration

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

Systemic model for the aid for operating of the reactor Siloe

International Nuclear Information System (INIS)

Royer, J.C.; Moulin, V.; Monge, F.

1995-01-01

The Service of the Reactor Siloe (CEA/DRN/DRE/SRS), fully aware of the abilities and knowledge of his teams in the field of research reactor operating, has undertaken a project of knowledge engineering in this domain. The following aims have been defined: knowledge capitalization for the installation in order to insure its perenniality and valorization, elaboration of a project for the aid of the reactor operators. This article deals with the different actions by the SRS to reach the aims: realization of a technical model for the operation of the Siloe reactor, development of a knowledge-based system for the aid for operating. These actions based on a knowledge engineering methodology, SAGACE, and using industrial tools will lead to an amelioration of the security and the operating of the Siloe reactor. (authors). 13 refs., 7 figs

A multi-criteria optimization model for humanitarian aid distribution

OpenAIRE

Vitoriano, Begoña; Ortuño, M. Teresa; Tirado, Gregorio; Montero, Javier

2011-01-01

Natural disasters are phenomenons which strike countries all around the world. Sometimes, either by the intensity of the phenomenon or the vulnerability of the country, help is requested from the rest of the world and relief organizations respond by delivering basic aid to those in need. Humanitarian logistics is a critical factor in managing relief operations and, in general, there is a lack of attention on the development of mathematical models and solution algorithms for strategic and tact...

A Diagnostic/Prescriptive System to Aid in the Treatment of Behavioral Disorders.

Science.gov (United States)

Cunningham, William G.; And Others

Described is the development of a diagnostic/prescriptive system--developed as part of the Pendleton Project--which would aid in the understanding of causes and ultimate treatment of dysfunctional behavior in 6- through 12-year-old children. Reported are the objectives and rationale of the Pendleton Project, an interdisciplinary, community based…

Modified Mathematical Model For Neutralization System In Stirred Tank Reactor

Directory of Open Access Journals (Sweden)

Ahmmed Saadi Ibrehem

2011-05-01

Full Text Available A modified model for the neutralization process of Stirred Tank Reactors (CSTR reactor is presented in this study. The model accounts for the effect of strong acid [HCL] flowrate and strong base [NaOH] flowrate with the ionic concentrations of [Cl-] and [Na+] on the Ph of the system. In this work, the effect of important reactor parameters such as ionic concentrations and acid and base flowrates on the dynamic behavior of the CSTR is investigated and the behavior of mathematical model is compared with the reported models for the McAvoy model and Jutila model. Moreover, the results of the model are compared with the experimental data in terms of pH dynamic study. A good agreement is observed between our model prediction and the actual plant data. © 2011 BCREC UNDIP. All rights reserved(Received: 1st March 2011, Revised: 28th March 2011; Accepted: 7th April 2011[How to Cite: A.S. Ibrehem. (2011. Modified Mathematical Model For Neutralization System In Stirred Tank Reactor. Bulletin of Chemical Reaction Engineering & Catalysis, 6(1: 47-52. doi:10.9767/bcrec.6.1.825.47-52][How to Link / DOI: http://dx.doi.org/10.9767/bcrec.6.1.825.47-52 || or local:  http://ejournal.undip.ac.id/index.php/bcrec/article/view/825 ] | View in 

Process chain analysis for methanol production from biomass with the aid of mathematical models; Prozesskettenanalyse fuer die Methanolerzeugung aus Biomasse mit Hilfe von mathematischen Modellen

Energy Technology Data Exchange (ETDEWEB)

Saller, G; Krumm, W [Siegen Univ. (Gesamthochschule) (Germany)

1997-12-31

Using the example of primary energy consumption for methanol production from cellulose-rich biomass, it is shown that process chain analysis with mathematical modelling of the technical systems enables calculations of eco-inventories as a function of the relevant process parameters. Optimisation of process chains with regard to ecological indicators or cost necessitates mathematical modelling because of the many different parameters and parameter combinations involved. (orig) [Deutsch] Am Beispiel des Primaerenergieaufwands bei der Methanolgewinnung aus zellulosealtiger Biomasse wurde gezeigt, dass die Prozesskettenanalyse mit Abbildung der technischen Systeme in mathematischen Modellen die Berechnung von Oekoinventaren in Abhaengigkeit der relevanten Prozessparameter erlaubt. Die Optimierung von Prozessketten hinsichtlich oekologischer Indikatoren oder Kosten ist wegen der Vielzahl an unterschiedlichen Parametern und deren Kombinationsmoeglichkeiten nur mit Hilfe mathematischer Modelle moeglich. (orig)

Process chain analysis for methanol production from biomass with the aid of mathematical models; Prozesskettenanalyse fuer die Methanolerzeugung aus Biomasse mit Hilfe von mathematischen Modellen

Energy Technology Data Exchange (ETDEWEB)

Saller, G.; Krumm, W. [Siegen Univ. (Gesamthochschule) (Germany)

1996-12-31

Using the example of primary energy consumption for methanol production from cellulose-rich biomass, it is shown that process chain analysis with mathematical modelling of the technical systems enables calculations of eco-inventories as a function of the relevant process parameters. Optimisation of process chains with regard to ecological indicators or cost necessitates mathematical modelling because of the many different parameters and parameter combinations involved. (orig) [Deutsch] Am Beispiel des Primaerenergieaufwands bei der Methanolgewinnung aus zellulosealtiger Biomasse wurde gezeigt, dass die Prozesskettenanalyse mit Abbildung der technischen Systeme in mathematischen Modellen die Berechnung von Oekoinventaren in Abhaengigkeit der relevanten Prozessparameter erlaubt. Die Optimierung von Prozessketten hinsichtlich oekologischer Indikatoren oder Kosten ist wegen der Vielzahl an unterschiedlichen Parametern und deren Kombinationsmoeglichkeiten nur mit Hilfe mathematischer Modelle moeglich. (orig)

Introduction to the foundations of mathematics

CERN Document Server

Wilder, Raymond L

2012-01-01

This classic undergraduate text by an eminent educator acquaints students with the fundamental concepts and methods of mathematics. In addition to introducing many noteworthy historical figures from the eighteenth through the mid-twentieth centuries, the book examines the axiomatic method, set theory, infinite sets, the linear continuum and the real number system, and groups. Additional topics include the Frege-Russell thesis, intuitionism, formal systems, mathematical logic, and the cultural setting of mathematics. Students and teachers will find that this elegant treatment covers a vast amou

Theorema 2.0: Computer-Assisted Natural-Style Mathematics

Directory of Open Access Journals (Sweden)

Bruno Buchberger

2016-01-01

Full Text Available The Theorema project aims at the development of a computer assistant for the working mathematician. Support should be given throughout all phases of mathematical activity, from introducing new mathematical concepts by definitions or axioms, through first (computational experiments, the formulation of theorems, their justification by an exact proof, the application of a theorem as an algorithm, until to the dissemination of the results in form of a mathematical publication, the build up of bigger libraries of certified mathematical content and the like. This ambitious project is exactly along the lines of the QED manifesto issued in 1994 (see e.g. http://www.cs.ru.nl/~freek/qed/qed.html and it was initiated in the mid-1990s by Bruno Buchberger. The Theorema system is a computer implementation of the ideas behind the Theorema project. One focus lies on the natural style of system input (in form of definitions, theorems, algorithms, etc., system output (mainly in form of mathematical proofs and user interaction. Another focus is theory exploration, i.e. the development of large consistent mathematical theories in a formal frame, in contrast to just proving single isolated theorems. When using the Theorema system, a user should not have to follow a certain style of mathematics enforced by the system (e.g. basing all of mathematics on set theory or certain variants of type theory, rather should the system support the user in her preferred flavour of doing math. The new implementation of the system, which we refer to as Theorema 2.0, is open-source and available through GitHub.

Control aid for xenon vibration in reactor

International Nuclear Information System (INIS)

Kanekawa, Takashi.

1990-01-01

In the present invention, the control operation for suppressing xenon vibrations in a reactor is aided for saving forecasting analysis and operator's skills. That is, parameters to be controlled for the suppression of xenon vibrations are power distribution, iodine distribution and xenon distribution. But what can be observed by operaters by the conventional fast overtone method is only the output distribution. In the present invention, the output level of the reactor core is always observed. Then, mathematical processings are conducted for the iodine distribution, the xenon distribution and the power distribution in the reactor core based on the histeresis of the parameters obtained by the measurement using physical constants and reactor design data. The xenon vibration control is aided by displaying the change with time of the distortion in axial direction. Accordingly, operators can always recognize the axial distortion of the power distribution, the iodine distribution and the xenon distribution. (I.S.)