Discrete mathematics in the high school curriculum

NARCIS (Netherlands)

Anderson, I.; Asch, van A.G.; van Lint, J.H.

2004-01-01

In this paper we present some topics from the field of discrete mathematics which might be suitable for the high school curriculum. These topics yield both easy to understand challenging problems and important applications of discrete mathematics. We choose elements from number theory and various

Implementing the Standards. Teaching Discrete Mathematics in Grades 7-12.

Science.gov (United States)

Hart, Eric W.; And Others

1990-01-01

Discrete mathematics are defined briefly. A course in discrete mathematics for high school students and teaching discrete mathematics in grades 7 and 8 including finite differences, recursion, and graph theory are discussed. (CW)

Some unsolved problems in discrete mathematics and mathematical cybernetics

Energy Technology Data Exchange (ETDEWEB)

Korshunov, Aleksei D [S.L. Sobolev Institute for Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk (Russian Federation)

2009-10-31

There are many unsolved problems in discrete mathematics and mathematical cybernetics. Writing a comprehensive survey of such problems involves great difficulties. First, such problems are rather numerous and varied. Second, they greatly differ from each other in degree of completeness of their solution. Therefore, even a comprehensive survey should not attempt to cover the whole variety of such problems; only the most important and significant problems should be reviewed. An impersonal choice of problems to include is quite hard. This paper includes 13 unsolved problems related to combinatorial mathematics and computational complexity theory. The problems selected give an indication of the author's studies for 50 years; for this reason, the choice of the problems reviewed here is, to some extent, subjective. At the same time, these problems are very difficult and quite important for discrete mathematics and mathematical cybernetics. Bibliography: 74 items.

Introduction of hypermatrix and operator notation into a discrete mathematics simulation model of malignant tumour response to therapeutic schemes in vivo. Some operator properties.

Science.gov (United States)

Stamatakos, Georgios S; Dionysiou, Dimitra D

2009-10-21

The tremendous rate of accumulation of experimental and clinical knowledge pertaining to cancer dictates the development of a theoretical framework for the meaningful integration of such knowledge at all levels of biocomplexity. In this context our research group has developed and partly validated a number of spatiotemporal simulation models of in vivo tumour growth and in particular tumour response to several therapeutic schemes. Most of the modeling modules have been based on discrete mathematics and therefore have been formulated in terms of rather complex algorithms (e.g. in pseudocode and actual computer code). However, such lengthy algorithmic descriptions, although sufficient from the mathematical point of view, may render it difficult for an interested reader to readily identify the sequence of the very basic simulation operations that lie at the heart of the entire model. In order to both alleviate this problem and at the same time provide a bridge to symbolic mathematics, we propose the introduction of the notion of hypermatrix in conjunction with that of a discrete operator into the already developed models. Using a radiotherapy response simulation example we demonstrate how the entire model can be considered as the sequential application of a number of discrete operators to a hypermatrix corresponding to the dynamics of the anatomic area of interest. Subsequently, we investigate the operators' commutativity and outline the "summarize and jump" strategy aiming at efficiently and realistically address multilevel biological problems such as cancer. In order to clarify the actual effect of the composite discrete operator we present further simulation results which are in agreement with the outcome of the clinical study RTOG 83-02, thus strengthening the reliability of the model developed.

How Bob Barker Would (Probably) Teach Discrete Mathematics

Science.gov (United States)

Urness, Timothy

2010-01-01

This article proposes a discrete mathematics course in which games from "The Price Is Right" are used to engage students in a deeper, practical study of discrete mathematics. The games themselves are not the focus of the course; rather, the mathematical principles of the games give motivation for the concepts being taught. The game examples are…

Introduction of Hypermatrix and Operator Notation into a Discrete Mathematics Simulation Model of Malignant Tumour Response to Therapeutic Schemes In Vivo. Some Operator Properties

Directory of Open Access Journals (Sweden)

Georgios S. Stamatakos

2009-10-01

Full Text Available The tremendous rate of accumulation of experimental and clinical knowledge pertaining to cancer dictates the development of a theoretical framework for the meaningful integration of such knowledge at all levels of biocomplexity. In this context our research group has developed and partly validated a number of spatiotemporal simulation models of in vivo tumour growth and in particular tumour response to several therapeutic schemes. Most of the modeling modules have been based on discrete mathematics and therefore have been formulated in terms of rather complex algorithms (e.g. in pseudocode and actual computer code. However, such lengthy algorithmic descriptions, although sufficient from the mathematical point of view, may render it difficult for an interested reader to readily identify the sequence of the very basic simulation operations that lie at the heart of the entire model. In order to both alleviate this problem and at the same time provide a bridge to symbolic mathematics, we propose the introduction of the notion of hypermatrix in conjunction with that of a discrete operator into the already developed models. Using a radiotherapy response simulation example we demonstrate how the entire model can be considered as the sequential application of a number of discrete operators to a hypermatrix corresponding to the dynamics of the anatomic area of interest. Subsequently, we investigate the operators’ commutativity and outline the “summarize and jump” strategy aiming at efficiently and realistically address multilevel biological problems such as cancer. In order to clarify the actual effect of the composite discrete operator we present further simulation results which are in agreement with the outcome of the clinical study RTOG 83–02, thus strengthening the reliability of the model developed.

Is Discrete Mathematics the New Math of the Eighties?

Science.gov (United States)

Hart, Eric W.

1985-01-01

Considered are what discrete mathematics includes, some parallels and differences between new math and discrete mathematics (listed in a table), and lessons to be learned. A list of references is included. (MNS)

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

CDM: Teaching Discrete Mathematics to Computer Science Majors

Science.gov (United States)

Sutner, Klaus

2005-01-01

CDM, for computational discrete mathematics, is a course that attempts to teach a number of topics in discrete mathematics to computer science majors. The course abandons the classical definition-theorem-proof model, and instead relies heavily on computation as a source of motivation and also for experimentation and illustration. The emphasis on…

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

Web-Based Implementation of Discrete Mathematics

Science.gov (United States)

Love, Tanzy; Keinert, Fritz; Shelley, Mack

2006-01-01

The Department of Mathematics at Iowa State University teaches a freshman-level Discrete Mathematics course with total enrollment of about 1,800 students per year. The traditional format includes large lectures, with about 150 students each, taught by faculty and temporary instructors in two class sessions per week and recitation sections, with…

Logic and discrete mathematics a concise introduction

CERN Document Server

Conradie, Willem

2015-01-01

A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade.  The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical logic as well as practical applications through the easy

Mathematical and Computational Aspects Related to Soil Modeling and Simulation

Science.gov (United States)

2017-09-26

and simulation challenges at the interface of applied math (homogenization, handling of discontinuous behavior, discrete vs. continuum representations...topics: a) Visco-elasto-plastic continuum models of geo-surface materials b) Discrete models of geo-surface materials (rocks/gravel/sand) c) Mixed...continuum- discrete representations. Coarse-graining and fine-graining mathematical formulations d) Multi-physics aspects related to the modeling of

ANALYSIS OF SUBJECT DISCRETE MATHEMATICS PARTS AND PROPOSAL OF E-COURSE MODEL FOLLOWING PETRI NETS FOR INFORMATICS EDUCATION

Directory of Open Access Journals (Sweden)

TURČÁNI, Milan

2013-03-01

Full Text Available Nowadays, quality Mathematical basis - Informatics is an inherent part of study. Mathematical basis is provided by Discrete Mathematics that is taught as a compulsory subject in stated study program in the Department of Mathematics. Authors clarify significance and importance of simple thematic units of subject Discrete Mathematics in teaching technical-system subjects in study programme Applied Informatics. Mentioned subject is being taught in first year of University study and knowledge that students acquire during the study of this course are the "cornerstone" for their further development in technical-system study. Justness and importance of individual topics were analysed based on the evaluation of questionnaires, in which pedagogues teaching professional IT subjects alloted weighted coefficients to individual thematic units. Weighted coefficients were alloted based on the significance of the given topic of the subject Discrete Math, with regard to the IT subject they are teaching. Upon designing the e-course, experience with the creation of linear and branch teaching software were used. For the simulation of the transition of students through individual lessons as well as the whole course, authors employed the method of the teaching process simulation using Petri nets.

Discrete-Event Simulation

Directory of Open Access Journals (Sweden)

Prateek Sharma

2015-04-01

Full Text Available Abstract Simulation can be regarded as the emulation of the behavior of a real-world system over an interval of time. The process of simulation relies upon the generation of the history of a system and then analyzing that history to predict the outcome and improve the working of real systems. Simulations can be of various kinds but the topic of interest here is one of the most important kind of simulation which is Discrete-Event Simulation which models the system as a discrete sequence of events in time. So this paper aims at introducing about Discrete-Event Simulation and analyzing how it is beneficial to the real world systems.

A Note on Discrete Mathematics and Calculus.

Science.gov (United States)

O'Reilly, Thomas J.

1987-01-01

Much of the current literature on the topic of discrete mathematics and calculus during the first two years of an undergraduate mathematics curriculum is cited. A relationship between the recursive integration formulas and recursively defined polynomials is described. A Pascal program is included. (Author/RH)

Discrete mathematics in deaf education: a survey of teachers' knowledge and use.

Science.gov (United States)

Pagliaro, Claudia M; Kritzer, Karen L

The study documents what deaf education teachers know about discrete mathematics topics and determines if these topics are present in the mathematics curriculum. Survey data were collected from 290 mathematics teachers at center and public school programs serving a minimum of 120 students with hearing loss, grades K-8 or K-12, in the United States. Findings indicate that deaf education teachers are familiar with many discrete mathematics topics but do not include them in instruction because they consider the concepts too complicated for their students. Also, regardless of familiarity level, deaf education teachers are not familiar with discrete mathematics terminology; nor is their mathematics teaching structured to provide opportunities to apply the real-world-oriented activities used in discrete mathematics instruction. Findings emphasize the need for higher expectations of students with hearing loss, and for reform in mathematics curriculum and instruction within deaf education.

Discrete Mathematics Course Supported by CAS MATHEMATICA

Science.gov (United States)

Ivanov, O. A.; Ivanova, V. V.; Saltan, A. A.

2017-01-01

In this paper, we discuss examples of assignments for a course in discrete mathematics for undergraduate students majoring in business informatics. We consider several problems with computer-based solutions and discuss general strategies for using computers in teaching mathematics and its applications. In order to evaluate the effectiveness of our…

A short course in discrete mathematics

CERN Document Server

Bender, Edward A

2004-01-01

What sort of mathematics do I need for computer science? In response to this frequently asked question, a pair of professors at the University of California at San Diego created this text. Its sources are two of the university's most basic courses: Discrete Mathematics, and Mathematics for Algorithm and System Analysis. Intended for use by sophomores in the first of a two-quarter sequence, the text assumes some familiarity with calculus. Topics include Boolean functions and computer arithmetic; logic; number theory and cryptography; sets and functions; equivalence and order; and induction, seq

A discrete transition to advanced mathematics

CERN Document Server

Richmond, Bettina

2009-01-01

As the title indicates, this book is intended for courses aimed at bridging the gap between lower-level mathematics and advanced mathematics. The text provides a careful introduction to techniques for writing proofs and a logical development of topics based on intuitive understanding of concepts. The authors utilize a clear writing style and a wealth of examples to develop an understanding of discrete mathematics and critical thinking skills. While including many traditional topics, the text offers innovative material throughout. Surprising results are used to motivate the reader. The last thr

A mathematical approach for evaluating Markov models in continuous time without discrete-event simulation.

Science.gov (United States)

van Rosmalen, Joost; Toy, Mehlika; O'Mahony, James F

2013-08-01

Markov models are a simple and powerful tool for analyzing the health and economic effects of health care interventions. These models are usually evaluated in discrete time using cohort analysis. The use of discrete time assumes that changes in health states occur only at the end of a cycle period. Discrete-time Markov models only approximate the process of disease progression, as clinical events typically occur in continuous time. The approximation can yield biased cost-effectiveness estimates for Markov models with long cycle periods and if no half-cycle correction is made. The purpose of this article is to present an overview of methods for evaluating Markov models in continuous time. These methods use mathematical results from stochastic process theory and control theory. The methods are illustrated using an applied example on the cost-effectiveness of antiviral therapy for chronic hepatitis B. The main result is a mathematical solution for the expected time spent in each state in a continuous-time Markov model. It is shown how this solution can account for age-dependent transition rates and discounting of costs and health effects, and how the concept of tunnel states can be used to account for transition rates that depend on the time spent in a state. The applied example shows that the continuous-time model yields more accurate results than the discrete-time model but does not require much computation time and is easily implemented. In conclusion, continuous-time Markov models are a feasible alternative to cohort analysis and can offer several theoretical and practical advantages.

Discrete-Event Simulation

OpenAIRE

Prateek Sharma

2015-01-01

Abstract Simulation can be regarded as the emulation of the behavior of a real-world system over an interval of time. The process of simulation relies upon the generation of the history of a system and then analyzing that history to predict the outcome and improve the working of real systems. Simulations can be of various kinds but the topic of interest here is one of the most important kind of simulation which is Discrete-Event Simulation which models the system as a discrete sequence of ev...

Differential-discrete mathematical model of two phase flow heat exchanger

International Nuclear Information System (INIS)

Debeljkovic, D.Lj.; Zitek, Pavel; Simeunovic, G.; Inard, Christian

2007-01-01

A dynamic thermal-hydraulic mathematical model of evaporator dynamics of a once - through sub critical steam generator is derived and presented. This model allows the investigation of evaporator dynamics including its transients responses. The evaporator was considered as a part of three-section (economizer, evaporator and super-heater) model with time varying phase boundaries and is described by a set of linearized discrete - difference equations which, with some other algebraic equations, constitutes a closed system of equations possible for exact computer solution. This model has been derived upon the fundamental equations of mass, energy and momentum balance. For the first time, a discrete differential approach has been applied in order to investigate such complex, two phase processes. Namely, this approach allows one to escape from the model of this process usually described by a set of partial differential equations and enables one, using this method, to simulate evaporators dynamics in an extraordinarily simple way. In current literature this approach is sometimes called physical discretization. (author)

Synchronization Techniques in Parallel Discrete Event Simulation

OpenAIRE

Lindén, Jonatan

2018-01-01

Discrete event simulation is an important tool for evaluating system models in many fields of science and engineering. To improve the performance of large-scale discrete event simulations, several techniques to parallelize discrete event simulation have been developed. In parallel discrete event simulation, the work of a single discrete event simulation is distributed over multiple processing elements. A key challenge in parallel discrete event simulation is to ensure that causally dependent ...

Modeling Anti-Air Warfare With Discrete Event Simulation and Analyzing Naval Convoy Operations

Science.gov (United States)

2016-06-01

W., & Scheaffer, R. L. (2008). Mathematical statistics with applications . Belmont, CA: Cengage Learning. 118 THIS PAGE INTENTIONALLY LEFT BLANK...WARFARE WITH DISCRETE EVENT SIMULATION AND ANALYZING NAVAL CONVOY OPERATIONS by Ali E. Opcin June 2016 Thesis Advisor: Arnold H. Buss Co...REPORT DATE June 2016 3. REPORT TYPE AND DATES COVERED Master’s thesis 4. TITLE AND SUBTITLE MODELING ANTI-AIR WARFARE WITH DISCRETE EVENT

Logic and discrete mathematics a concise introduction : solutions manual

CERN Document Server

Conradie, Willem; Robinson, Claudette

2015-01-01

Solutions manual to accompany Logic and Discrete Mathematics: A Concise Introduction This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in this accompanying solutions manual.

Application of multivariate splines to discrete mathematics

OpenAIRE

Xu, Zhiqiang

2005-01-01

Using methods developed in multivariate splines, we present an explicit formula for discrete truncated powers, which are defined as the number of non-negative integer solutions of linear Diophantine equations. We further use the formula to study some classical problems in discrete mathematics as follows. First, we extend the partition function of integers in number theory. Second, we exploit the relation between the relative volume of convex polytopes and multivariate truncated powers and giv...

Mathematical aspects of the discrete space-time hypothesis

International Nuclear Information System (INIS)

Sardanashvili, G.A.

1979-01-01

A hypothesis of a microcosm space discreteness is considered from the theoretical-mathematical point of view. The type of topological spaces, which formalizes representations on the discrete space-time, is determined. It is explained, how these spaces arise in physical models. The physical task, in which the discrete space could arise as a version of its solution, is considered. It is shown that the discrete structure of space can arise with a certain interaction type in the system, for example, with its considerable self-shielding, which can take place, in particular, in the particles or in the cosmological and astrophysical singularities

BioNSi: A Discrete Biological Network Simulator Tool.

Science.gov (United States)

Rubinstein, Amir; Bracha, Noga; Rudner, Liat; Zucker, Noga; Sloin, Hadas E; Chor, Benny

2016-08-05

Modeling and simulation of biological networks is an effective and widely used research methodology. The Biological Network Simulator (BioNSi) is a tool for modeling biological networks and simulating their discrete-time dynamics, implemented as a Cytoscape App. BioNSi includes a visual representation of the network that enables researchers to construct, set the parameters, and observe network behavior under various conditions. To construct a network instance in BioNSi, only partial, qualitative biological data suffices. The tool is aimed for use by experimental biologists and requires no prior computational or mathematical expertise. BioNSi is freely available at http://bionsi.wix.com/bionsi , where a complete user guide and a step-by-step manual can also be found.

Discrete mathematics course supported by CAS MATHEMATICA

Science.gov (United States)

Ivanov, O. A.; Ivanova, V. V.; Saltan, A. A.

2017-08-01

In this paper, we discuss examples of assignments for a course in discrete mathematics for undergraduate students majoring in business informatics. We consider several problems with computer-based solutions and discuss general strategies for using computers in teaching mathematics and its applications. In order to evaluate the effectiveness of our approach, we conducted an anonymous survey. The results of the survey provide evidence that our approach contributes to high outcomes and aligns with the course aims and objectives.

Inevitable randomness in discrete mathematics

CERN Document Server

Beck, Jozsef

2009-01-01

Mathematics has been called the science of order. The subject is remarkably good for generalizing specific cases to create abstract theories. However, mathematics has little to say when faced with highly complex systems, where disorder reigns. This disorder can be found in pure mathematical arenas, such as the distribution of primes, the 3n+1 conjecture, and class field theory. The purpose of this book is to provide examples--and rigorous proofs--of the complexity law: (1) discrete systems are either simple or they exhibit advanced pseudorandomness; (2) a priori probabilities often exist even when there is no intrinsic symmetry. Part of the difficulty in achieving this purpose is in trying to clarify these vague statements. The examples turn out to be fascinating instances of deep or mysterious results in number theory and combinatorics. This book considers randomness and complexity. The traditional approach to complexity--computational complexity theory--is to study very general complexity classes, such as P...

Conversations about Curriculum Change: Mathematical Thinking and Team-Based Learning in a Discrete Mathematics Course

Science.gov (United States)

Paterson, Judy; Sneddon, Jamie

2011-01-01

This article reports on the learning conversations between a mathematician and a mathematics educator as they worked together to change the delivery model of a third year discrete mathematics course from a traditional lecture mode to team-based learning (TBL). This change prompted the mathematician to create team tasks which increasingly focused…

Lecture Note on Discrete Mathematics: Predicates and Quantifiers

DEFF Research Database (Denmark)

Nordbjerg, Finn Ebertsen

2016-01-01

This lecture note supplements the treatment of predicates and quantifiers given in standard textbooks on Discrete Mathematics (e.g.: [1]) and introduces the notation used in this course. We will present central concepts that are important, when predicate logic is used for specification...

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…

Teaching Discrete Mathematics Entirely from Primary Historical Sources

Science.gov (United States)

Barnett, Janet Heine; Bezhanishvili, Guram; Lodder, Jerry; Pengelley, David

2016-01-01

We describe teaching an introductory discrete mathematics course entirely from student projects based on primary historical sources. We present case studies of four projects that cover the content of a one-semester course, and mention various other courses that we have taught with primary source projects.

An Application of Discrete Mathematics to Coding Theory.

Science.gov (United States)

Donohoe, L. Joyce

1992-01-01

Presents a public-key cryptosystem application to introduce students to several topics in discrete mathematics. A computer algorithms using recursive methods is presented to solve a problem in which one person wants to send a coded message to a second person while keeping the message secret from a third person. (MDH)

Using a Card Trick to Teach Discrete Mathematics

Science.gov (United States)

Simonson, Shai; Holm, Tara S.

2003-01-01

We present a card trick that can be used to review or teach a variety of topics in discrete mathematics. We address many subjects, including permutations, combinations, functions, graphs, depth first search, the pigeonhole principle, greedy algorithms, and concepts from number theory. Moreover, the trick motivates the use of computers in…

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

Science.gov (United States)

Davies, Robin; Hodge, Terrell; Enyedi, Alexander

2010-01-01

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

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

Science.gov (United States)

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

2010-01-01

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

Discrete Mathematics in Deaf Education: A Survey of Teachers' Knowledge and Use

Science.gov (United States)

Pagliaro, C.; Kritzer, K. L.

2005-01-01

The study documents what deaf education teachers know about discrete mathematics topics and determines if these topics are present in the mathematics curriculum. Survey data were collected from 290 mathematics teachers at center and public school programs serving a minimum of 120 students with hearing loss, grades K-8 or K-12, in the United…

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.

Use cases of discrete event simulation. Appliance and research

Energy Technology Data Exchange (ETDEWEB)

Bangsow, Steffen (ed.)

2012-11-01

Use Cases of Discrete Event Simulation. Includes case studies from various important industries such as automotive, aerospace, robotics, production industry. Written by leading experts in the field. Over the last decades Discrete Event Simulation has conquered many different application areas. This trend is, on the one hand, driven by an ever wider use of this technology in different fields of science and on the other hand by an incredibly creative use of available software programs through dedicated experts. This book contains articles from scientists and experts from 10 countries. They illuminate the width of application of this technology and the quality of problems solved using Discrete Event Simulation. Practical applications of simulation dominate in the present book. The book is aimed to researchers and students who deal in their work with Discrete Event Simulation and which want to inform them about current applications. By focusing on discrete event simulation, this book can also serve as an inspiration source for practitioners for solving specific problems during their work. Decision makers who deal with the question of the introduction of discrete event simulation for planning support and optimization this book provides a contribution to the orientation, what specific problems could be solved with the help of Discrete Event Simulation within the organization.

GENASIS Mathematics : Object-oriented manifolds, operations, and solvers for large-scale physics simulations

Science.gov (United States)

Cardall, Christian Y.; Budiardja, Reuben D.

2018-01-01

The large-scale computer simulation of a system of physical fields governed by partial differential equations requires some means of approximating the mathematical limit of continuity. For example, conservation laws are often treated with a 'finite-volume' approach in which space is partitioned into a large number of small 'cells,' with fluxes through cell faces providing an intuitive discretization modeled on the mathematical definition of the divergence operator. Here we describe and make available Fortran 2003 classes furnishing extensible object-oriented implementations of simple meshes and the evolution of generic conserved currents thereon, along with individual 'unit test' programs and larger example problems demonstrating their use. These classes inaugurate the Mathematics division of our developing astrophysics simulation code GENASIS (Gen eral A strophysical Si mulation S ystem), which will be expanded over time to include additional meshing options, mathematical operations, solver types, and solver variations appropriate for many multiphysics applications.

Constructing Contracts: Making Discrete Mathematics Relevant to Beginning Programmers

Science.gov (United States)

Gegg-Harrison, Timothy S.

2005-01-01

Although computer scientists understand the importance of discrete mathematics to the foundations of their field, computer science (CS) students do not always see the relevance. Thus, it is important to find a way to show students its relevance. The concept of program correctness is generally taught as an activity independent of the programming…

Introduction to the discrete Fourier series considering both mathematical and engineering aspects - A linear-algebra approach

Directory of Open Access Journals (Sweden)

Ludwig Kohaupt

2015-12-01

Full Text Available The discrete Fourier series is a valuable tool developed and used by mathematicians and engineers alike. One of the most prominent applications is signal processing. Usually, it is important that the signals be transmitted fast, for example, when transmitting images over large distances such as between the moon and the earth or when generating images in computer tomography. In order to achieve this, appropriate algorithms are necessary. In this context, the fast Fourier transform (FFT plays a key role which is an algorithm for calculating the discrete Fourier transform (DFT; this, in turn, is tightly connected with the discrete Fourier series. The last one itself is the discrete analog of the common (continuous-time Fourier series and is usually learned by mathematics students from a theoretical point of view. The aim of this expository/pedagogical paper is to give an introduction to the discrete Fourier series for both mathematics and engineering students. It is intended to expand the purely mathematical view; the engineering aspect is taken into account by applying the FFT to an example from signal processing that is small enough to be used in class-room teaching and elementary enough to be understood also by mathematics students. The MATLAB program is employed to do the computations.

Use Cases of Discrete Event Simulation Appliance and Research

CERN Document Server

2012-01-01

Over the last decades Discrete Event Simulation has conquered many different application areas. This trend is, on the one hand, driven by an ever wider use of this technology in different fields of science and on the other hand by an incredibly creative use of available software programs through dedicated experts. This book contains articles from scientists and experts from 10 countries. They illuminate the width of application of this technology and the quality of problems solved using Discrete Event Simulation. Practical applications of simulation dominate in the present book.   The book is aimed to researchers and students who deal in their work with Discrete Event Simulation and which want to inform them about current applications. By focusing on discrete event simulation, this book can also serve as an inspiration source for practitioners for solving specific problems during their work. Decision makers who deal with the question of the introduction of discrete event simulation for planning support and o...

Numerical Simulation of Antennae by Discrete Exterior Calculus

International Nuclear Information System (INIS)

Xie Zheng; Ye Zheng; Ma Yujie

2009-01-01

Numerical simulation of antennae is a topic in computational electromagnetism, which is concerned with the numerical study of Maxwell equations. By discrete exterior calculus and the lattice gauge theory with coefficient R, we obtain the Bianchi identity on prism lattice. By defining an inner product of discrete differential forms, we derive the source equation and continuity equation. Those equations compose the discrete Maxwell equations in vacuum case on discrete manifold, which are implemented on Java development platform to simulate the Gaussian pulse radiation on antennaes. (electromagnetism, optics, acoustics, heat transfer, classical mechanics, and fluid dynamics)

Application of methods of discrete mathematics at modular synthesis of mechatronic devices

OpenAIRE

Nikiforov, S.; Nikiforov, B.; Mandarov, E.; Rabdanova, N.

2010-01-01

The article is devoted to application of methods of discrete mathematics (the theory of counts, the method of matrix code and others) and synthesis of executive mechanisms of mechatronic handling devices

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…

Speeding Up Network Simulations Using Discrete Time

OpenAIRE

Lucas, Aaron; Armbruster, Benjamin

2013-01-01

We develop a way of simulating disease spread in networks faster at the cost of some accuracy. Instead of a discrete event simulation (DES) we use a discrete time simulation. This aggregates events into time periods. We prove a bound on the accuracy attained. We also discuss the choice of step size and do an analytical comparison of the computational costs. Our error bound concept comes from the theory of numerical methods for SDEs and the basic proof structure comes from the theory of numeri...

Modeling and simulation of discrete event systems

CERN Document Server

Choi, Byoung Kyu

2013-01-01

Computer modeling and simulation (M&S) allows engineers to study and analyze complex systems. Discrete-event system (DES)-M&S is used in modern management, industrial engineering, computer science, and the military. As computer speeds and memory capacity increase, so DES-M&S tools become more powerful and more widely used in solving real-life problems. Based on over 20 years of evolution within a classroom environment, as well as on decades-long experience in developing simulation-based solutions for high-tech industries, Modeling and Simulation of Discrete-Event Systems is the only book on

Discrete and continuous simulation theory and practice

CERN Document Server

Bandyopadhyay, Susmita

2014-01-01

When it comes to discovering glitches inherent in complex systems-be it a railway or banking, chemical production, medical, manufacturing, or inventory control system-developing a simulation of a system can identify problems with less time, effort, and disruption than it would take to employ the original. Advantageous to both academic and industrial practitioners, Discrete and Continuous Simulation: Theory and Practice offers a detailed view of simulation that is useful in several fields of study.This text concentrates on the simulation of complex systems, covering the basics in detail and exploring the diverse aspects, including continuous event simulation and optimization with simulation. It explores the connections between discrete and continuous simulation, and applies a specific focus to simulation in the supply chain and manufacturing field. It discusses the Monte Carlo simulation, which is the basic and traditional form of simulation. It addresses future trends and technologies for simulation, with par...

SPEEDES - A multiple-synchronization environment for parallel discrete-event simulation

Science.gov (United States)

Steinman, Jeff S.

1992-01-01

Synchronous Parallel Environment for Emulation and Discrete-Event Simulation (SPEEDES) is a unified parallel simulation environment. It supports multiple-synchronization protocols without requiring users to recompile their code. When a SPEEDES simulation runs on one node, all the extra parallel overhead is removed automatically at run time. When the same executable runs in parallel, the user preselects the synchronization algorithm from a list of options. SPEEDES currently runs on UNIX networks and on the California Institute of Technology/Jet Propulsion Laboratory Mark III Hypercube. SPEEDES also supports interactive simulations. Featured in the SPEEDES environment is a new parallel synchronization approach called Breathing Time Buckets. This algorithm uses some of the conservative techniques found in Time Bucket synchronization, along with the optimism that characterizes the Time Warp approach. A mathematical model derived from first principles predicts the performance of Breathing Time Buckets. Along with the Breathing Time Buckets algorithm, this paper discusses the rules for processing events in SPEEDES, describes the implementation of various other synchronization protocols supported by SPEEDES, describes some new ones for the future, discusses interactive simulations, and then gives some performance results.

Manufacturing plant performance evaluation by discrete event simulation

International Nuclear Information System (INIS)

Rosli Darmawan; Mohd Rasid Osman; Rosnah Mohd Yusuff; Napsiah Ismail; Zulkiflie Leman

2002-01-01

A case study was conducted to evaluate the performance of a manufacturing plant using discrete event simulation technique. The study was carried out on animal feed production plant. Sterifeed plant at Malaysian Institute for Nuclear Technology Research (MINT), Selangor, Malaysia. The plant was modelled base on the actual manufacturing activities recorded by the operators. The simulation was carried out using a discrete event simulation software. The model was validated by comparing the simulation results with the actual operational data of the plant. The simulation results show some weaknesses with the current plant design and proposals were made to improve the plant performance. (Author)

Discrete Event Simulation Computers can be used to simulate the ...

Indian Academy of Sciences (India)

IAS Admin

people who use computers every moment of their waking lives, others even ... How is discrete event simulation different from other kinds of simulation? ... time, energy consumption .... Schedule the CustomerDeparture event for this customer.

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

Program For Parallel Discrete-Event Simulation

Science.gov (United States)

Beckman, Brian C.; Blume, Leo R.; Geiselman, John S.; Presley, Matthew T.; Wedel, John J., Jr.; Bellenot, Steven F.; Diloreto, Michael; Hontalas, Philip J.; Reiher, Peter L.; Weiland, Frederick P.

1991-01-01

User does not have to add any special logic to aid in synchronization. Time Warp Operating System (TWOS) computer program is special-purpose operating system designed to support parallel discrete-event simulation. Complete implementation of Time Warp mechanism. Supports only simulations and other computations designed for virtual time. Time Warp Simulator (TWSIM) subdirectory contains sequential simulation engine interface-compatible with TWOS. TWOS and TWSIM written in, and support simulations in, C programming language.

Desktop Modeling and Simulation: Parsimonious, yet Effective Discrete-Event Simulation Analysis

Science.gov (United States)

Bradley, James R.

2012-01-01

This paper evaluates how quickly students can be trained to construct useful discrete-event simulation models using Excel The typical supply chain used by many large national retailers is described, and an Excel-based simulation model is constructed of it The set of programming and simulation skills required for development of that model are then determined we conclude that six hours of training are required to teach the skills to MBA students . The simulation presented here contains all fundamental functionallty of a simulation model, and so our result holds for any discrete-event simulation model. We argue therefore that Industry workers with the same technical skill set as students having completed one year in an MBA program can be quickly trained to construct simulation models. This result gives credence to the efficacy of Desktop Modeling and Simulation whereby simulation analyses can be quickly developed, run, and analyzed with widely available software, namely Excel.

Optimization of Operations Resources via Discrete Event Simulation Modeling

Science.gov (United States)

Joshi, B.; Morris, D.; White, N.; Unal, R.

1996-01-01

The resource levels required for operation and support of reusable launch vehicles are typically defined through discrete event simulation modeling. Minimizing these resources constitutes an optimization problem involving discrete variables and simulation. Conventional approaches to solve such optimization problems involving integer valued decision variables are the pattern search and statistical methods. However, in a simulation environment that is characterized by search spaces of unknown topology and stochastic measures, these optimization approaches often prove inadequate. In this paper, we have explored the applicability of genetic algorithms to the simulation domain. Genetic algorithms provide a robust search strategy that does not require continuity and differentiability of the problem domain. The genetic algorithm successfully minimized the operation and support activities for a space vehicle, through a discrete event simulation model. The practical issues associated with simulation optimization, such as stochastic variables and constraints, were also taken into consideration.

Application of Local Fourier Transform to Mathematical Simulation of Synchronous Machines with Valve Excitation Systems

Directory of Open Access Journals (Sweden)

Fedotov A.

2017-02-01

Full Text Available The article proposes a method of mathematical simulation of electrical machines with thyristor exciters on the basis of the local Fourier transform. The present research demonstrates that this method allows switching from a variable structure model to a constant structure model. Transition from the continuous variables to the discrete variables is used. The numerical example is given in the paper.

An Advanced Simulation Framework for Parallel Discrete-Event Simulation

Science.gov (United States)

Li, P. P.; Tyrrell, R. Yeung D.; Adhami, N.; Li, T.; Henry, H.

1994-01-01

Discrete-event simulation (DEVS) users have long been faced with a three-way trade-off of balancing execution time, model fidelity, and number of objects simulated. Because of the limits of computer processing power the analyst is often forced to settle for less than desired performances in one or more of these areas.

Discrete-Time Nonlinear Control of VSC-HVDC System

Directory of Open Access Journals (Sweden)

TianTian Qian

2015-01-01

Full Text Available Because VSC-HVDC is a kind of strong nonlinear, coupling, and multi-input multioutput (MIMO system, its control problem is always attracting much attention from scholars. And a lot of papers have done research on its control strategy in the continuous-time domain. But the control system is implemented through the computer discrete sampling in practical engineering. It is necessary to study the mathematical model and control algorithm in the discrete-time domain. The discrete mathematical model based on output feedback linearization and discrete sliding mode control algorithm is proposed in this paper. And to ensure the effectiveness of the control system in the quasi sliding mode state, the fast output sampling method is used in the output feedback. The results from simulation experiment in MATLAB/SIMULINK prove that the proposed discrete control algorithm can make the VSC-HVDC system have good static, dynamic, and robust characteristics in discrete-time domain.

RNA Secondary Structure Prediction by Using Discrete Mathematics: An Interdisciplinary Research Experience for Undergraduate Students

Science.gov (United States)

Ellington, Roni; Wachira, James

2010-01-01

The focus of this Research Experience for Undergraduates (REU) project was on RNA secondary structure prediction by using a lattice walk approach. The lattice walk approach is a combinatorial and computational biology method used to enumerate possible secondary structures and predict RNA secondary structure from RNA sequences. The method uses discrete mathematical techniques and identifies specified base pairs as parameters. The goal of the REU was to introduce upper-level undergraduate students to the principles and challenges of interdisciplinary research in molecular biology and discrete mathematics. At the beginning of the project, students from the biology and mathematics departments of a mid-sized university received instruction on the role of secondary structure in the function of eukaryotic RNAs and RNA viruses, RNA related to combinatorics, and the National Center for Biotechnology Information resources. The student research projects focused on RNA secondary structure prediction on a regulatory region of the yellow fever virus RNA genome and on an untranslated region of an mRNA of a gene associated with the neurological disorder epilepsy. At the end of the project, the REU students gave poster and oral presentations, and they submitted written final project reports to the program director. The outcome of the REU was that the students gained transferable knowledge and skills in bioinformatics and an awareness of the applications of discrete mathematics to biological research problems. PMID:20810968

RNA secondary structure prediction by using discrete mathematics: an interdisciplinary research experience for undergraduate students.

Science.gov (United States)

Ellington, Roni; Wachira, James; Nkwanta, Asamoah

2010-01-01

The focus of this Research Experience for Undergraduates (REU) project was on RNA secondary structure prediction by using a lattice walk approach. The lattice walk approach is a combinatorial and computational biology method used to enumerate possible secondary structures and predict RNA secondary structure from RNA sequences. The method uses discrete mathematical techniques and identifies specified base pairs as parameters. The goal of the REU was to introduce upper-level undergraduate students to the principles and challenges of interdisciplinary research in molecular biology and discrete mathematics. At the beginning of the project, students from the biology and mathematics departments of a mid-sized university received instruction on the role of secondary structure in the function of eukaryotic RNAs and RNA viruses, RNA related to combinatorics, and the National Center for Biotechnology Information resources. The student research projects focused on RNA secondary structure prediction on a regulatory region of the yellow fever virus RNA genome and on an untranslated region of an mRNA of a gene associated with the neurological disorder epilepsy. At the end of the project, the REU students gave poster and oral presentations, and they submitted written final project reports to the program director. The outcome of the REU was that the students gained transferable knowledge and skills in bioinformatics and an awareness of the applications of discrete mathematics to biological research problems.

Mathematical Modeling of Contact Problems of Elasticity Theory with Unilateral Discrete Contact

Directory of Open Access Journals (Sweden)

I. V. Stankevich

2015-01-01

Full Text Available Development and operation of modern machinery and latest technology require reliable estimates of the strength characteristics of the critical elements of structures and technological equipment under the impact of high-intensity thermomechanical loading, accompanied, as a rule, by complex contact interaction. Mathematical modeling of stress-strain state of such parts and components in the contact area, based on adequate mathematical models, modern numerical methods and efficient algorithms that implement the direct determination of displacement fields, strains and stresses, is the main tool that allows fast acquisition of data required for the calculations of strength and durability. The paper considers an algorithm for constructing the numerical solution of the contact problem of elasticity theory in relation to the body, which has an obvious one-sided discrete contact interaction with an elastic half-space. The proposed algorithm is specially designed to have a correction of the tangential forces at discrete contact points, allowing us to achieve sufficiently accurate implementation of the adopted law of friction. The algorithm is embedded in a general finite element technology, with which the application code is generated. Numerical study of discrete unilateral contact interaction of an elastic plate and a rigid half-space showed a high efficiency of the developed algorithm and the application code that implements it.

Quantum superposition of the state discrete spectrum of mathematical correlation molecule for small samples of biometric data

Directory of Open Access Journals (Sweden)

Vladimir I. Volchikhin

2017-06-01

Full Text Available Introduction: The study promotes to decrease a number of errors of calculating the correlation coefficient in small test samples. Materials and Methods: We used simulation tool for the distribution functions of the density values of the correlation coefficient in small samples. A method for quantization of the data, allows obtaining a discrete spectrum states of one of the varieties of correlation functional. This allows us to consider the proposed structure as a mathematical correlation molecule, described by some analogue continuous-quantum Schrödinger equation. Results: The chi-squared Pearson’s molecule on small samples allows enhancing power of classical chi-squared test to 20 times. A mathematical correlation molecule described in the article has similar properties. It allows in the future reducing calculation errors of the classical correlation coefficients in small samples. Discussion and Conclusions: The authors suggest that there are infinitely many mathematical molecules are similar in their properties to the actual physical molecules. Schrödinger equations are not unique, their analogues can be constructed for each mathematical molecule. You can expect a mathematical synthesis of molecules for a large number of known statistical tests and statistical moments. All this should make it possible to reduce calculation errors due to quantum effects that occur in small test samples.

Teaching Proofs and Algorithms in Discrete Mathematics with Online Visual Logic Puzzles

Science.gov (United States)

Cigas, John; Hsin, Wen-Jung

2005-01-01

Visual logic puzzles provide a fertile environment for teaching multiple topics in discrete mathematics. Many puzzles can be solved by the repeated application of a small, finite set of strategies. Explicitly reasoning from a strategy to a new puzzle state illustrates theorems, proofs, and logic principles. These provide valuable, concrete…

Current problems in applied mathematics and mathematical physics

Science.gov (United States)

Samarskii, A. A.

Papers are presented on such topics as mathematical models in immunology, mathematical problems of medical computer tomography, classical orthogonal polynomials depending on a discrete variable, and boundary layer methods for singular perturbation problems in partial derivatives. Consideration is also given to the computer simulation of supernova explosion, nonstationary internal waves in a stratified fluid, the description of turbulent flows by unsteady solutions of the Navier-Stokes equations, and the reduced Galerkin method for external diffraction problems using the spline approximation of fields.

Disaster Response Modeling Through Discrete-Event Simulation

Science.gov (United States)

Wang, Jeffrey; Gilmer, Graham

2012-01-01

Organizations today are required to plan against a rapidly changing, high-cost environment. This is especially true for first responders to disasters and other incidents, where critical decisions must be made in a timely manner to save lives and resources. Discrete-event simulations enable organizations to make better decisions by visualizing complex processes and the impact of proposed changes before they are implemented. A discrete-event simulation using Simio software has been developed to effectively analyze and quantify the imagery capabilities of domestic aviation resources conducting relief missions. This approach has helped synthesize large amounts of data to better visualize process flows, manage resources, and pinpoint capability gaps and shortfalls in disaster response scenarios. Simulation outputs and results have supported decision makers in the understanding of high risk locations, key resource placement, and the effectiveness of proposed improvements.

ANALYSIS OF INPATIENT HOSPITAL STAFF MENTAL WORKLOAD BY MEANS OF DISCRETE-EVENT SIMULATION

Science.gov (United States)

2016-03-24

ANALYSIS OF INPATIENT HOSPITAL STAFF MENTAL WORKLOAD BY MEANS OF DISCRETE -EVENT SIMULATION...in the United States. AFIT-ENV-MS-16-M-166 ANALYSIS OF INPATIENT HOSPITAL STAFF MENTAL WORKLOAD BY MEANS OF DISCRETE -EVENT SIMULATION...UNLIMITED. AFIT-ENV-MS-16-M-166 ANALYSIS OF INPATIENT HOSPITAL STAFF MENTAL WORKLOAD BY MEANS OF DISCRETE -EVENT SIMULATION Erich W

A PC-based discrete event simulation model of the civilian radioactive waste management system

International Nuclear Information System (INIS)

Airth, G.L.; Joy, D.S.; Nehls, J.W.

1992-01-01

This paper discusses a System Simulation Model which has been developed for the Department of Energy to simulate the movement of individual waste packages (spent fuel assemblies and fuel containers) through the Civilian Radioactive Waste Management System (CRWMS). A discrete event simulation language, GPSS/PC, which runs on an IBM/PC and operates under DOS 5.0, mathematically represents the movement and processing of radioactive waste packages through the CRWMS and the interaction of these packages with the equipment in the various facilities. The major features of the System Simulation Model are: the ability to reference characteristics of the different types of radioactive waste (age, burnup, etc.) in order to make operational and/or system design decisions, the ability to place stochastic variations on operational parameters such as processing time and equipment outages, and the ability to include a rigorous simulation of the transportation system. Output from the model includes the numbers, types, and characteristics of waste packages at selected points in the CRWMS and the extent to which various resources will be utilized in order to transport, process, and emplace the waste

Discrete mathematics, formal methods, the Z schema and the software life cycle

Science.gov (United States)

Bown, Rodney L.

1991-01-01

The proper role and scope for the use of discrete mathematics and formal methods in support of engineering the security and integrity of components within deployed computer systems are discussed. It is proposed that the Z schema can be used as the specification language to capture the precise definition of system and component interfaces. This can be accomplished with an object oriented development paradigm.

Running Parallel Discrete Event Simulators on Sierra

Energy Technology Data Exchange (ETDEWEB)

Barnes, P. D. [Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States); Jefferson, D. R. [Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States)

2015-12-03

In this proposal we consider porting the ROSS/Charm++ simulator and the discrete event models that run under its control so that they run on the Sierra architecture and make efficient use of the Volta GPUs.

Modelling and real-time simulation of continuous-discrete systems in mechatronics

Energy Technology Data Exchange (ETDEWEB)

Lindow, H. [Rostocker, Magdeburg (Germany)

1996-12-31

This work presents a methodology for simulation and modelling of systems with continuous - discrete dynamics. It derives hybrid discrete event models from Lagrange`s equations of motion. This method combines continuous mechanical, electrical and thermodynamical submodels on one hand with discrete event models an the other hand into a hybrid discrete event model. This straight forward software development avoids numeric overhead.

Parallel discrete event simulation using shared memory

Science.gov (United States)

Reed, Daniel A.; Malony, Allen D.; Mccredie, Bradley D.

1988-01-01

With traditional event-list techniques, evaluating a detailed discrete-event simulation-model can often require hours or even days of computation time. By eliminating the event list and maintaining only sufficient synchronization to ensure causality, parallel simulation can potentially provide speedups that are linear in the numbers of processors. A set of shared-memory experiments, using the Chandy-Misra distributed-simulation algorithm, to simulate networks of queues is presented. Parameters of the study include queueing network topology and routing probabilities, number of processors, and assignment of network nodes to processors. These experiments show that Chandy-Misra distributed simulation is a questionable alternative to sequential-simulation of most queueing network models.

Mathematics Career Simulations: An Invitation

Science.gov (United States)

Sinn, Robb; Phipps, Marnie

2013-01-01

A simulated academic career was combined with inquiry-based learning in an upper-division undergraduate mathematics course. Concepts such as tenure, professional conferences and journals were simulated. Simulation procedures were combined with student-led, inquiry-based classroom formats. A qualitative analysis (ethnography) describes the culture…

Reproductive Health Services Discrete-Event Simulation

OpenAIRE

Lee, Sungjoo; Giles, Denise F.; Goldsman, David; Cook, Douglas A.; Mishra, Ninad; McCarthy, Brian

2006-01-01

Low resource healthcare environments are often characteristic of patient flow patterns with varying patient risks, extensive patient waiting times, uneven workload distributions, and inefficient service delivery. Models from industrial and systems engineering allow for a greater examination of processes by applying discrete-event computer simulation techniques to evaluate and optimize hospital performance.

The existence and global attractivity of almost periodic sequence solution of discrete-time neural networks

International Nuclear Information System (INIS)

Huang Zhenkun; Wang Xinghua; Gao Feng

2006-01-01

In this Letter, we discuss discrete-time analogue of a continuous-time cellular neural network. Sufficient conditions are obtained for the existence of a unique almost periodic sequence solution which is globally attractive. Our results demonstrate dynamics of the formulated discrete-time analogue as mathematical models for the continuous-time cellular neural network in almost periodic case. Finally, a computer simulation illustrates the suitability of our discrete-time analogue as numerical algorithms in simulating the continuous-time cellular neural network conveniently

Discretely Integrated Condition Event (DICE) Simulation for Pharmacoeconomics.

Science.gov (United States)

Caro, J Jaime

2016-07-01

Several decision-analytic modeling techniques are in use for pharmacoeconomic analyses. Discretely integrated condition event (DICE) simulation is proposed as a unifying approach that has been deliberately designed to meet the modeling requirements in a straightforward transparent way, without forcing assumptions (e.g., only one transition per cycle) or unnecessary complexity. At the core of DICE are conditions that represent aspects that persist over time. They have levels that can change and many may coexist. Events reflect instantaneous occurrences that may modify some conditions or the timing of other events. The conditions are discretely integrated with events by updating their levels at those times. Profiles of determinant values allow for differences among patients in the predictors of the disease course. Any number of valuations (e.g., utility, cost, willingness-to-pay) of conditions and events can be applied concurrently in a single run. A DICE model is conveniently specified in a series of tables that follow a consistent format and the simulation can be implemented fully in MS Excel, facilitating review and validation. DICE incorporates both state-transition (Markov) models and non-resource-constrained discrete event simulation in a single formulation; it can be executed as a cohort or a microsimulation; and deterministically or stochastically.

Lectures on financial mathematics discrete asset pricing

CERN Document Server

Anderson, Greg

2010-01-01

This is a short book on the fundamental concepts of the no-arbitrage theory of pricing financial derivatives. Its scope is limited to the general discrete setting of models for which the set of possible states is finite and so is the set of possible trading times--this includes the popular binomial tree model. This setting has the advantage of being fairly general while not requiring a sophisticated understanding of analysis at the graduate level. Topics include understanding the several variants of "arbitrage", the fundamental theorems of asset pricing in terms of martingale measures, and applications to forwards and futures. The authors' motivation is to present the material in a way that clarifies as much as possible why the often confusing basic facts are true. Therefore the ideas are organized from a mathematical point of view with the emphasis on understanding exactly what is under the hood and how it works. Every effort is made to include complete explanations and proofs, and the reader is encouraged t...

Simulation of quasistatic deformations using discrete rod models

OpenAIRE

Linn, J.; Stephan, T.

2008-01-01

Recently we developed a discrete model of elastic rods with symmetric cross section suitable for a fast simulation of quasistatic deformations [33]. The model is based on Kirchhoff’s geometrically exact theory of rods. Unlike simple models of “mass & spring” type typically used in VR applications, our model provides a proper coupling of bending and torsion. The computational approach comprises a variational formulation combined with a finite difference discretization of the continuum model. A...

Discrete algorithmic mathematics

CERN Document Server

Maurer, Stephen B

2005-01-01

The exposition is self-contained, complemented by diverse exercises and also accompanied by an introduction to mathematical reasoning … this book is an excellent textbook for a one-semester undergraduate course and it includes a lot of additional material to choose from.-EMS, March 2006In a textbook, it is necessary to select carefully the statements and difficulty of the problems … in this textbook, this is fully achieved … This review considers this book an excellent one.-The Mathematical Gazette, March 2006

Parallel Stochastic discrete event simulation of calcium dynamics in neuron.

Science.gov (United States)

Ishlam Patoary, Mohammad Nazrul; Tropper, Carl; McDougal, Robert A; Zhongwei, Lin; Lytton, William W

2017-09-26

The intra-cellular calcium signaling pathways of a neuron depends on both biochemical reactions and diffusions. Some quasi-isolated compartments (e.g. spines) are so small and calcium concentrations are so low that one extra molecule diffusing in by chance can make a nontrivial difference in its concentration (percentage-wise). These rare events can affect dynamics discretely in such way that they cannot be evaluated by a deterministic simulation. Stochastic models of such a system provide a more detailed understanding of these systems than existing deterministic models because they capture their behavior at a molecular level. Our research focuses on the development of a high performance parallel discrete event simulation environment, Neuron Time Warp (NTW), which is intended for use in the parallel simulation of stochastic reaction-diffusion systems such as intra-calcium signaling. NTW is integrated with NEURON, a simulator which is widely used within the neuroscience community. We simulate two models, a calcium buffer and a calcium wave model. The calcium buffer model is employed in order to verify the correctness and performance of NTW by comparing it to a serial deterministic simulation in NEURON. We also derived a discrete event calcium wave model from a deterministic model using the stochastic IP3R structure.

An Integrated Approach to Mathematical Modeling: A Classroom Study.

Science.gov (United States)

Doerr, Helen M.

Modeling, simulation, and discrete mathematics have all been identified by professional mathematics education organizations as important areas for secondary school study. This classroom study focused on the components and tools for modeling and how students use these tools to construct their understanding of contextual problems in the content area…

Discrete particle noise in particle-in-cell simulations of plasma microturbulence

International Nuclear Information System (INIS)

Nevins, W.M.; Hammett, G.W.; Dimits, A.M.; Dorland, W.; Shumaker, D.E.

2005-01-01

Recent gyrokinetic simulations of electron temperature gradient (ETG) turbulence with the global particle-in-cell (PIC) code GTC [Z. Lin et al., Proceedings of the 20th Fusion Energy Conference, Vilamoura, Portugal, 2004 (IAEA, Vienna, 2005)] yielded different results from earlier flux-tube continuum code simulations [F. Jenko and W. Dorland, Phys. Rev. Lett. 89, 225001 (2002)] despite similar plasma parameters. Differences between the simulation results were attributed to insufficient phase-space resolution and novel physics associated with global simulation models. The results of the global PIC code are reproduced here using the flux-tube PIC code PG3EQ [A. M. Dimits et al., Phys. Rev. Lett. 77, 71 (1996)], thereby eliminating global effects as the cause of the discrepancy. The late-time decay of the ETG turbulence and the steady-state heat transport observed in these PIC simulations are shown to result from discrete particle noise. Discrete particle noise is a numerical artifact, so both these PG3EQ simulations and, by inference, the GTC simulations that they reproduced have little to say about steady-state ETG turbulence and the associated anomalous heat transport. In the course of this work several diagnostics are developed to retrospectively test whether a particular PIC simulation is dominated by discrete particle noise

Out-of-order parallel discrete event simulation for electronic system-level design

CERN Document Server

Chen, Weiwei

2014-01-01

This book offers readers a set of new approaches and tools a set of tools and techniques for facing challenges in parallelization with design of embedded systems.? It provides an advanced parallel simulation infrastructure for efficient and effective system-level model validation and development so as to build better products in less time.? Since parallel discrete event simulation (PDES) has the potential to exploit the underlying parallel computational capability in today's multi-core simulation hosts, the author begins by reviewing the parallelization of discrete event simulation, identifyin

Simulation of dynamic systems with Matlab and Simulink

CERN Document Server

Klee, Harold

2011-01-01

Mathematical ModelingDerivation of a Mathematical ModelDifference EquationsFirst Look at Discrete-Time SystemsCase Study: Population Dynamics (Single Species)Continuous-Time SystemsFirst-Order SystemsSecond-Order SystemsSimulation DiagramsHigher-Order SystemsState VariablesNonlinear SystemsCase Study: Submarine Depth Control SystemElementary Numerical IntegrationDiscrete-Time System Approximation of a Continuous-

On constructing optimistic simulation algorithms for the discrete event system specification

International Nuclear Information System (INIS)

Nutaro, James J.

2008-01-01

This article describes a Time Warp simulation algorithm for discrete event models that are described in terms of the Discrete Event System Specification (DEVS). The article shows how the total state transition and total output function of a DEVS atomic model can be transformed into an event processing procedure for a logical process. A specific Time Warp algorithm is constructed around this logical process, and it is shown that the algorithm correctly simulates a DEVS coupled model that consists entirely of interacting atomic models. The simulation algorithm is presented abstractly; it is intended to provide a basis for implementing efficient and scalable parallel algorithms that correctly simulate DEVS models

Discrete computational structures

CERN Document Server

Korfhage, Robert R

1974-01-01

Discrete Computational Structures describes discrete mathematical concepts that are important to computing, covering necessary mathematical fundamentals, computer representation of sets, graph theory, storage minimization, and bandwidth. The book also explains conceptual framework (Gorn trees, searching, subroutines) and directed graphs (flowcharts, critical paths, information network). The text discusses algebra particularly as it applies to concentrates on semigroups, groups, lattices, propositional calculus, including a new tabular method of Boolean function minimization. The text emphasize

Discrete Calculus by Analogy

CERN Document Server

Izadi, F A; Bagirov, G

2009-01-01

With its origins stretching back several centuries, discrete calculus is now an increasingly central methodology for many problems related to discrete systems and algorithms. The topics covered here usually arise in many branches of science and technology, especially in discrete mathematics, numerical analysis, statistics and probability theory as well as in electrical engineering, but our viewpoint here is that these topics belong to a much more general realm of mathematics; namely calculus and differential equations because of the remarkable analogy of the subject to this branch of mathemati

Discrete Event Simulation Model of the Polaris 2.1 Gamma Ray Imaging Radiation Detection Device

Science.gov (United States)

2016-06-01

release; distribution is unlimited DISCRETE EVENT SIMULATION MODEL OF THE POLARIS 2.1 GAMMA RAY IMAGING RADIATION DETECTION DEVICE by Andres T...ONLY (Leave blank) 2. REPORT DATE June 2016 3. REPORT TYPE AND DATES COVERED Master’s thesis 4. TITLE AND SUBTITLE DISCRETE EVENT SIMULATION MODEL...modeled. The platform, Simkit, was utilized to create a discrete event simulation (DES) model of the Polaris. After carefully constructing the DES

Methodology for characterizing modeling and discretization uncertainties in computational simulation

Energy Technology Data Exchange (ETDEWEB)

ALVIN,KENNETH F.; OBERKAMPF,WILLIAM L.; RUTHERFORD,BRIAN M.; DIEGERT,KATHLEEN V.

2000-03-01

This research effort focuses on methodology for quantifying the effects of model uncertainty and discretization error on computational modeling and simulation. The work is directed towards developing methodologies which treat model form assumptions within an overall framework for uncertainty quantification, for the purpose of developing estimates of total prediction uncertainty. The present effort consists of work in three areas: framework development for sources of uncertainty and error in the modeling and simulation process which impact model structure; model uncertainty assessment and propagation through Bayesian inference methods; and discretization error estimation within the context of non-deterministic analysis.

Discrete bacteria foraging optimization algorithm for graph based problems - a transition from continuous to discrete

Science.gov (United States)

Sur, Chiranjib; Shukla, Anupam

2018-03-01

Bacteria Foraging Optimisation Algorithm is a collective behaviour-based meta-heuristics searching depending on the social influence of the bacteria co-agents in the search space of the problem. The algorithm faces tremendous hindrance in terms of its application for discrete problems and graph-based problems due to biased mathematical modelling and dynamic structure of the algorithm. This had been the key factor to revive and introduce the discrete form called Discrete Bacteria Foraging Optimisation (DBFO) Algorithm for discrete problems which exceeds the number of continuous domain problems represented by mathematical and numerical equations in real life. In this work, we have mainly simulated a graph-based road multi-objective optimisation problem and have discussed the prospect of its utilisation in other similar optimisation problems and graph-based problems. The various solution representations that can be handled by this DBFO has also been discussed. The implications and dynamics of the various parameters used in the DBFO are illustrated from the point view of the problems and has been a combination of both exploration and exploitation. The result of DBFO has been compared with Ant Colony Optimisation and Intelligent Water Drops Algorithms. Important features of DBFO are that the bacteria agents do not depend on the local heuristic information but estimates new exploration schemes depending upon the previous experience and covered path analysis. This makes the algorithm better in combination generation for graph-based problems and combination generation for NP hard problems.

Parallel discrete event simulation: A shared memory approach

Science.gov (United States)

Reed, Daniel A.; Malony, Allen D.; Mccredie, Bradley D.

1987-01-01

With traditional event list techniques, evaluating a detailed discrete event simulation model can often require hours or even days of computation time. Parallel simulation mimics the interacting servers and queues of a real system by assigning each simulated entity to a processor. By eliminating the event list and maintaining only sufficient synchronization to insure causality, parallel simulation can potentially provide speedups that are linear in the number of processors. A set of shared memory experiments is presented using the Chandy-Misra distributed simulation algorithm to simulate networks of queues. Parameters include queueing network topology and routing probabilities, number of processors, and assignment of network nodes to processors. These experiments show that Chandy-Misra distributed simulation is a questionable alternative to sequential simulation of most queueing network models.

Discrete event simulation: Modeling simultaneous complications and outcomes

NARCIS (Netherlands)

Quik, E.H.; Feenstra, T.L.; Krabbe, P.F.M.

2012-01-01

OBJECTIVES: To present an effective and elegant model approach to deal with specific characteristics of complex modeling. METHODS: A discrete event simulation (DES) model with multiple complications and multiple outcomes that each can occur simultaneously was developed. In this DES model parameters,

Discrete event simulation of Maglev transport considering traffic waves

Directory of Open Access Journals (Sweden)

Moo Hyun Cha

2014-10-01

Full Text Available A magnetically levitated vehicle (Maglev system is under commercialization as a new transportation system in Korea. The Maglev is operated by an unmanned automatic control system. Therefore, the plan of train operation should be carefully established and validated in advance. In general, when making a train operation plan, statistically predicted traffic data is used. However, a traffic wave often occurs in real train service, and demand-driven simulation technology is required to review a train operation plan and service quality considering traffic waves. We propose a method and model to simulate Maglev operation considering continuous demand changes. For this purpose, we employed a discrete event model that is suitable for modeling the behavior of railway passenger transportation. We modeled the system hierarchically using discrete event system specification (DEVS formalism. In addition, through implementation and an experiment using the DEVSim++ simulation environment, we tested the feasibility of the proposed model. Our experimental results also verified that our demand-driven simulation technology can be used for a priori review of train operation plans and strategies.

Quantification of discreteness effects in cosmological N-body simulations: Initial conditions

International Nuclear Information System (INIS)

Joyce, M.; Marcos, B.

2007-01-01

The relation between the results of cosmological N-body simulations, and the continuum theoretical models they simulate, is currently not understood in a way which allows a quantification of N dependent effects. In this first of a series of papers on this issue, we consider the quantification of such effects in the initial conditions of such simulations. A general formalism developed in [A. Gabrielli, Phys. Rev. E 70, 066131 (2004).] allows us to write down an exact expression for the power spectrum of the point distributions generated by the standard algorithm for generating such initial conditions. Expanded perturbatively in the amplitude of the input (i.e. theoretical, continuum) power spectrum, we obtain at linear order the input power spectrum, plus two terms which arise from discreteness and contribute at large wave numbers. For cosmological type power spectra, one obtains as expected, the input spectrum for wave numbers k smaller than that characteristic of the discreteness. The comparison of real space correlation properties is more subtle because the discreteness corrections are not as strongly localized in real space. For cosmological type spectra the theoretical mass variance in spheres and two-point correlation function are well approximated above a finite distance. For typical initial amplitudes this distance is a few times the interparticle distance, but it diverges as this amplitude (or, equivalently, the initial redshift of the cosmological simulation) goes to zero, at fixed particle density. We discuss briefly the physical significance of these discreteness terms in the initial conditions, in particular, with respect to the definition of the continuum limit of N-body simulations

Discrete event simulation as an ergonomic tool to predict workload exposures during systems design

NARCIS (Netherlands)

Perez, J.; Looze, M.P. de; Bosch, T.; Neumann, W.P.

2014-01-01

This methodological paper presents a novel approach to predict operator's mechanical exposure and fatigue accumulation in discrete event simulations. A biomechanical model of work-cycle loading is combined with a discrete event simulation model which provides work cycle patterns over the shift

Synchronization of autonomous objects in discrete event simulation

Science.gov (United States)

Rogers, Ralph V.

1990-01-01

Autonomous objects in event-driven discrete event simulation offer the potential to combine the freedom of unrestricted movement and positional accuracy through Euclidean space of time-driven models with the computational efficiency of event-driven simulation. The principal challenge to autonomous object implementation is object synchronization. The concept of a spatial blackboard is offered as a potential methodology for synchronization. The issues facing implementation of a spatial blackboard are outlined and discussed.

Discrete mathematics with applications

CERN Document Server

Koshy, Thomas

2003-01-01

This approachable text studies discrete objects and the relationsips that bind them. It helps students understand and apply the power of discrete math to digital computer systems and other modern applications. It provides excellent preparation for courses in linear algebra, number theory, and modern/abstract algebra and for computer science courses in data structures, algorithms, programming languages, compilers, databases, and computation.* Covers all recommended topics in a self-contained, comprehensive, and understandable format for students and new professionals * Emphasizes problem-solving techniques, pattern recognition, conjecturing, induction, applications of varying nature, proof techniques, algorithm development and correctness, and numeric computations* Weaves numerous applications into the text* Helps students learn by doing with a wealth of examples and exercises: - 560 examples worked out in detail - More than 3,700 exercises - More than 150 computer assignments - More than 600 writing projects*...

The ultimatum game: Discrete vs. continuous offers

Science.gov (United States)

Dishon-Berkovits, Miriam; Berkovits, Richard

2014-09-01

In many experimental setups in social-sciences, psychology and economy the subjects are requested to accept or dispense monetary compensation which is usually given in discrete units. Using computer and mathematical modeling we show that in the framework of studying the dynamics of acceptance of proposals in the ultimatum game, the long time dynamics of acceptance of offers in the game are completely different for discrete vs. continuous offers. For discrete values the dynamics follow an exponential behavior. However, for continuous offers the dynamics are described by a power-law. This is shown using an agent based computer simulation as well as by utilizing an analytical solution of a mean-field equation describing the model. These findings have implications to the design and interpretation of socio-economical experiments beyond the ultimatum game.

Handbook on modelling for discrete optimization

CERN Document Server

Pitsoulis, Leonidas; Williams, H

2006-01-01

The primary objective underlying the Handbook on Modelling for Discrete Optimization is to demonstrate and detail the pervasive nature of Discrete Optimization. While its applications cut across an incredibly wide range of activities, many of the applications are only known to specialists. It is the aim of this handbook to correct this. It has long been recognized that "modelling" is a critically important mathematical activity in designing algorithms for solving these discrete optimization problems. Nevertheless solving the resultant models is also often far from straightforward. In recent years it has become possible to solve many large-scale discrete optimization problems. However, some problems remain a challenge, even though advances in mathematical methods, hardware, and software technology have pushed the frontiers forward. This handbook couples the difficult, critical-thinking aspects of mathematical modeling with the hot area of discrete optimization. It will be done in an academic handbook treatment...

A PC-based discrete event simulation model of the Civilian Radioactive Waste Management System

International Nuclear Information System (INIS)

Airth, G.L.; Joy, D.S.; Nehls, J.W.

1991-01-01

A System Simulation Model has been developed for the Department of Energy to simulate the movement of individual waste packages (spent fuel assemblies and fuel containers) through the Civilian Radioactive Waste Management System (CRWMS). A discrete event simulation language, GPSS/PC, which runs on an IBM/PC and operates under DOS 5.0, mathematically represents the movement and processing of radioactive waste packages through the CRWMS and the interaction of these packages with the equipment in the various facilities. This model can be used to quantify the impacts of different operating schedules, operational rules, system configurations, and equipment reliability and availability considerations on the performance of processes comprising the CRWMS and how these factors combine to determine overall system performance for the purpose of making system design decisions. The major features of the System Simulation Model are: the ability to reference characteristics of the different types of radioactive waste (age, burnup, etc.) in order to make operational and/or system design decisions, the ability to place stochastic variations on operational parameters such as processing time and equipment outages, and the ability to include a rigorous simulation of the transportation system. Output from the model includes the numbers, types, and characteristics of waste packages at selected points in the CRWMS and the extent to which various resources will be utilized in order to transport, process, and emplace the waste

Analysis of Time Discretization and its Effect on Simulation Processes

Directory of Open Access Journals (Sweden)

Gilbert-Rainer Gillich

2006-10-01

Full Text Available The paper presents the influence of time discretization on the results of simulations of technical systems. In this sense the systems are mod-eled using the SciLab/SCICOS environment, using different time inter-vals. Ulterior the processes are simulated and the results are com-pared.

Discrete Particle Method for Simulating Hypervelocity Impact Phenomena

Directory of Open Access Journals (Sweden)

Erkai Watson

2017-04-01

Full Text Available In this paper, we introduce a computational model for the simulation of hypervelocity impact (HVI phenomena which is based on the Discrete Element Method (DEM. Our paper constitutes the first application of DEM to the modeling and simulating of impact events for velocities beyond 5 kms-1. We present here the results of a systematic numerical study on HVI of solids. For modeling the solids, we use discrete spherical particles that interact with each other via potentials. In our numerical investigations we are particularly interested in the dynamics of material fragmentation upon impact. We model a typical HVI experiment configuration where a sphere strikes a thin plate and investigate the properties of the resulting debris cloud. We provide a quantitative computational analysis of the resulting debris cloud caused by impact and a comprehensive parameter study by varying key parameters of our model. We compare our findings from the simulations with recent HVI experiments performed at our institute. Our findings are that the DEM method leads to very stable, energy–conserving simulations of HVI scenarios that map the experimental setup where a sphere strikes a thin plate at hypervelocity speed. Our chosen interaction model works particularly well in the velocity range where the local stresses caused by impact shock waves markedly exceed the ultimate material strength.

Powering stochastic reliability models by discrete event simulation

DEFF Research Database (Denmark)

Kozine, Igor; Wang, Xiaoyun

2012-01-01

it difficult to find a solution to the problem. The power of modern computers and recent developments in discrete-event simulation (DES) software enable to diminish some of the drawbacks of stochastic models. In this paper we describe the insights we have gained based on using both Markov and DES models...

Optimized Parallel Discrete Event Simulation (PDES) for High Performance Computing (HPC) Clusters

National Research Council Canada - National Science Library

Abu-Ghazaleh, Nael

2005-01-01

The aim of this project was to study the communication subsystem performance of state of the art optimistic simulator Synchronous Parallel Environment for Emulation and Discrete-Event Simulation (SPEEDES...

Discrete-event simulation of nuclear-waste transport in geologic sites subject to disruptive events. Final report

International Nuclear Information System (INIS)

Aggarwal, S.; Ryland, S.; Peck, R.

1980-01-01

This report outlines a methodology to study the effects of disruptive events on nuclear waste material in stable geologic sites. The methodology is based upon developing a discrete events model that can be simulated on the computer. This methodology allows a natural development of simulation models that use computer resources in an efficient manner. Accurate modeling in this area depends in large part upon accurate modeling of ion transport behavior in the storage media. Unfortunately, developments in this area are not at a stage where there is any consensus on proper models for such transport. Consequently, our work is directed primarily towards showing how disruptive events can be properly incorporated in such a model, rather than as a predictive tool at this stage. When and if proper geologic parameters can be determined, then it would be possible to use this as a predictive model. Assumptions and their bases are discussed, and the mathematical and computer model are described

Continuum and discrete approach in modeling biofilm development and structure: a review.

Science.gov (United States)

Mattei, M R; Frunzo, L; D'Acunto, B; Pechaud, Y; Pirozzi, F; Esposito, G

2018-03-01

The scientific community has recognized that almost 99% of the microbial life on earth is represented by biofilms. Considering the impacts of their sessile lifestyle on both natural and human activities, extensive experimental activity has been carried out to understand how biofilms grow and interact with the environment. Many mathematical models have also been developed to simulate and elucidate the main processes characterizing the biofilm growth. Two main mathematical approaches for biomass representation can be distinguished: continuum and discrete. This review is aimed at exploring the main characteristics of each approach. Continuum models can simulate the biofilm processes in a quantitative and deterministic way. However, they require a multidimensional formulation to take into account the biofilm spatial heterogeneity, which makes the models quite complicated, requiring significant computational effort. Discrete models are more recent and can represent the typical multidimensional structural heterogeneity of biofilm reflecting the experimental expectations, but they generate computational results including elements of randomness and introduce stochastic effects into the solutions.

Theory and simulation of discrete kinetic beta induced Alfven eigenmode in tokamak plasmas

International Nuclear Information System (INIS)

Wang, X; Zonca, F; Chen, L

2010-01-01

It is shown, both analytically and by numerical simulations, that, in the presence of thermal ion kinetic effects, the beta induced Alfven eigenmode (BAE)-shear Alfven wave continuous spectrum can be discretized into radially trapped eigenstates known as kinetic BAE (KBAE). While thermal ion compressibility gives rise to finite BAE accumulation point frequency, the discretization occurs via the finite Larmor radius and finite orbit width effects. Simulations and analytical theories agree both qualitatively and quantitatively. Simulations also demonstrate that KBAE can be readily excited by the finite radial gradients of energetic particles.

Synchronous Parallel Emulation and Discrete Event Simulation System with Self-Contained Simulation Objects and Active Event Objects

Science.gov (United States)

Steinman, Jeffrey S. (Inventor)

1998-01-01

The present invention is embodied in a method of performing object-oriented simulation and a system having inter-connected processor nodes operating in parallel to simulate mutual interactions of a set of discrete simulation objects distributed among the nodes as a sequence of discrete events changing state variables of respective simulation objects so as to generate new event-defining messages addressed to respective ones of the nodes. The object-oriented simulation is performed at each one of the nodes by assigning passive self-contained simulation objects to each one of the nodes, responding to messages received at one node by generating corresponding active event objects having user-defined inherent capabilities and individual time stamps and corresponding to respective events affecting one of the passive self-contained simulation objects of the one node, restricting the respective passive self-contained simulation objects to only providing and receiving information from die respective active event objects, requesting information and changing variables within a passive self-contained simulation object by the active event object, and producing corresponding messages specifying events resulting therefrom by the active event objects.

Discrete simulation system based on artificial intelligence methods

Energy Technology Data Exchange (ETDEWEB)

Futo, I; Szeredi, J

1982-01-01

A discrete event simulation system based on the AI language Prolog is presented. The system called t-Prolog extends the traditional possibilities of simulation languages toward automatic problem solving by using backtrack in time and automatic model modification depending on logical deductions. As t-Prolog is an interactive tool, the user has the possibility to interrupt the simulation run to modify the model or to force it to return to a previous state for trying possible alternatives. It admits the construction of goal-oriented or goal-seeking models with variable structure. Models are defined in a restricted version of the first order predicate calculus using Horn clauses. 21 references.

Application of discrete event simulation to MRS design

International Nuclear Information System (INIS)

Bali, M.; Standley, W.

1993-01-01

The application of discrete event simulation to the Monitored, Retrievable Storage (MRS) material handling operations supported the MRS conceptual design effort and established a set of tools for use during MRS detail design and license application. The effort to develop a design analysis tool to support the MRS project started in 1991. The MRS simulation has so far identified potential savings and suggested methods of improving operations to enhance throughput. Immediately, simulation aided the MRS conceptual design effort through the investigation of alternative cask handling operations and the sizing and sharing of expensive equipment. The simulation also helped analyze the operability of the current design of MRS under various waste acceptance scenarios. Throughout the simulation effort, the model development and experimentation resulted in early identification and resolution of several design and operational issues

Discrete event simulation of the ATLAS second level trigger

International Nuclear Information System (INIS)

Vermeulen, J.C.; Dankers, R.J.; Hunt, S.; Harris, F.; Hortnagl, C.; Erasov, A.; Bogaerts, A.

1998-01-01

Discrete event simulation is applied for determining the computing and networking resources needed for the ATLAS second level trigger. This paper discusses the techniques used and some of the results obtained so far for well defined laboratory configurations and for the full system

Modern approaches to discrete curvature

CERN Document Server

Romon, Pascal

2017-01-01

 This book provides a valuable glimpse into discrete curvature, a rich new field of research which blends discrete mathematics, differential geometry, probability and computer graphics. It includes a vast collection of ideas and tools which will offer something new to all interested readers. Discrete geometry has arisen as much as a theoretical development as in response to unforeseen challenges coming from applications. Discrete and continuous geometries have turned out to be intimately connected. Discrete curvature is the key concept connecting them through many bridges in numerous fields: metric spaces, Riemannian and Euclidean geometries, geometric measure theory, topology, partial differential equations, calculus of variations, gradient flows, asymptotic analysis, probability, harmonic analysis, graph theory, etc. In spite of its crucial importance both in theoretical mathematics and in applications, up to now, almost no books have provided a coherent outlook on this emerging field.

Stochastic modeling analysis and simulation

CERN Document Server

Nelson, Barry L

1995-01-01

A coherent introduction to the techniques for modeling dynamic stochastic systems, this volume also offers a guide to the mathematical, numerical, and simulation tools of systems analysis. Suitable for advanced undergraduates and graduate-level industrial engineers and management science majors, it proposes modeling systems in terms of their simulation, regardless of whether simulation is employed for analysis. Beginning with a view of the conditions that permit a mathematical-numerical analysis, the text explores Poisson and renewal processes, Markov chains in discrete and continuous time, se

Application of Discrete Event Simulation in Mine Production Forecast

African Journals Online (AJOL)

Application of Discrete Event Simulation in Mine Production Forecast. Felix Adaania Kaba, Victor Amoako Temeng, Peter Arroja Eshun. Abstract. Mine production forecast is pertinent to mining as it serves production goals for a production period. Perseus Mining Ghana Limited (PMGL), Ayanfuri, deterministically forecasts ...

Integrated simulation of continuous-scale and discrete-scale radiative transfer in metal foams

Science.gov (United States)

Xia, Xin-Lin; Li, Yang; Sun, Chuang; Ai, Qing; Tan, He-Ping

2018-06-01

A novel integrated simulation of radiative transfer in metal foams is presented. It integrates the continuous-scale simulation with the direct discrete-scale simulation in a single computational domain. It relies on the coupling of the real discrete-scale foam geometry with the equivalent continuous-scale medium through a specially defined scale-coupled zone. This zone holds continuous but nonhomogeneous volumetric radiative properties. The scale-coupled approach is compared to the traditional continuous-scale approach using volumetric radiative properties in the equivalent participating medium and to the direct discrete-scale approach employing the real 3D foam geometry obtained by computed tomography. All the analyses are based on geometrical optics. The Monte Carlo ray-tracing procedure is used for computations of the absorbed radiative fluxes and the apparent radiative behaviors of metal foams. The results obtained by the three approaches are in tenable agreement. The scale-coupled approach is fully validated in calculating the apparent radiative behaviors of metal foams composed of very absorbing to very reflective struts and that composed of very rough to very smooth struts. This new approach leads to a reduction in computational time by approximately one order of magnitude compared to the direct discrete-scale approach. Meanwhile, it can offer information on the local geometry-dependent feature and at the same time the equivalent feature in an integrated simulation. This new approach is promising to combine the advantages of the continuous-scale approach (rapid calculations) and direct discrete-scale approach (accurate prediction of local radiative quantities).

Simulating continuous-time Hamiltonian dynamics by way of a discrete-time quantum walk

International Nuclear Information System (INIS)

Schmitz, A.T.; Schwalm, W.A.

2016-01-01

Much effort has been made to connect the continuous-time and discrete-time quantum walks. We present a method for making that connection for a general graph Hamiltonian on a bigraph. Furthermore, such a scheme may be adapted for simulating discretized quantum models on a quantum computer. A coin operator is found for the discrete-time quantum walk which exhibits the same dynamics as the continuous-time evolution. Given the spectral decomposition of the graph Hamiltonian and certain restrictions, the discrete-time evolution is solved for explicitly and understood at or near important values of the parameters. Finally, this scheme is connected to past results for the 1D chain. - Highlights: • A discrete-time quantum walk is purposed which approximates a continuous-time quantum walk. • The purposed quantum walk could be used to simulate Hamiltonian dynamics on a quantum computer. • Given the spectra decomposition of the Hamiltonian, the quantum walk is solved explicitly. • The method is demonstrated and connected to previous work done on the 1D chain.

Discrete event simulation of crop operations in sweet pepper in support of work method innovation

NARCIS (Netherlands)

Ooster, van 't Bert; Aantjes, Wiger; Melamed, Z.

2017-01-01

Greenhouse Work Simulation, GWorkS, is a model that simulates crop operations in greenhouses for the purpose of analysing work methods. GWorkS is a discrete event model that approaches reality as a discrete stochastic dynamic system. GWorkS was developed and validated using cut-rose as a case

Derivation and computation of discrete-delay and continuous-delay SDEs in mathematical biology.

Science.gov (United States)

Allen, Edward J

2014-06-01

Stochastic versions of several discrete-delay and continuous-delay differential equations, useful in mathematical biology, are derived from basic principles carefully taking into account the demographic, environmental, or physiological randomness in the dynamic processes. In particular, stochastic delay differential equation (SDDE) models are derived and studied for Nicholson's blowflies equation, Hutchinson's equation, an SIS epidemic model with delay, bacteria/phage dynamics, and glucose/insulin levels. Computational methods for approximating the SDDE models are described. Comparisons between computational solutions of the SDDEs and independently formulated Monte Carlo calculations support the accuracy of the derivations and of the computational methods.

Dynamic modeling method for infrared smoke based on enhanced discrete phase model

Science.gov (United States)

Zhang, Zhendong; Yang, Chunling; Zhang, Yan; Zhu, Hongbo

2018-03-01

The dynamic modeling of infrared (IR) smoke plays an important role in IR scene simulation systems and its accuracy directly influences the system veracity. However, current IR smoke models cannot provide high veracity, because certain physical characteristics are frequently ignored in fluid simulation; simplifying the discrete phase as a continuous phase and ignoring the IR decoy missile-body spinning. To address this defect, this paper proposes a dynamic modeling method for IR smoke, based on an enhanced discrete phase model (DPM). A mathematical simulation model based on an enhanced DPM is built and a dynamic computing fluid mesh is generated. The dynamic model of IR smoke is then established using an extended equivalent-blackbody-molecule model. Experiments demonstrate that this model realizes a dynamic method for modeling IR smoke with higher veracity.

New non-structured discretizations for fluid flows with reinforced incompressibility

International Nuclear Information System (INIS)

Heib, S.

2003-01-01

This work deals with the discretization of Stokes and Navier-Stokes equations modeling the flow of incompressible fluids on 2-D or 3-D non-structured meshes. Triangles and tetrahedrons are used for 2-D and 3-D meshes, respectively. The developments and calculations are performed with the code Priceles (fast CEA-EdF industrial platform for large Eddy simulation). This code allows to perform simulations both on structured and non-structured meshes. A finite-volume resolution method is used: a finite difference volume (FDV) method is used for the structured meshes and a finite element volume (FEV) method is used for the non-structured meshes. The finite element used in the beginning of this work has several defects. Starting from this situation, the discretization is improved by adding modifications to this element and the new elements introduced are analyzed theoretically. In parallel to these analyses, the new discretizations are implemented in order to test them numerically and to confirm the theoretical analyses. The first chapter presents the physical and mathematical modeling used in this work. The second chapter treats of the discretization of Stokes equations and presents the FEV resolution method. Chapter 3 presents a first attempt of improvement of this finite element and leads to the proposal of a new element which is presented in details. The problem encountered with the new discretization leads to a modification presented in chapter 4. This new discretization gives all the expected convergence results and sometimes shows super-convergence properties. Chapter 5 deals with the study and discretization of the Navier-Stokes equations. The study of the filtered Navier-Stokes equations, used for large Eddy simulations, requires to give a particular attention to the discretization of the diffusive terms. Then, the convective terms are considered. The effects of the convective terms in the initial discretization and in the improved method are compared. The use of

Mathematical methods for cancer evolution

CERN Document Server

Suzuki, Takashi

2017-01-01

The purpose of this monograph is to describe recent developments in mathematical modeling and mathematical analysis of certain problems arising from cell biology. Cancer cells and their growth via several stages are of particular interest. To describe these events, multi-scale models are applied, involving continuously distributed environment variables and several components related to particles. Hybrid simulations are also carried out, using discretization of environment variables and the Monte Carlo method for the principal particle variables. Rigorous mathematical foundations are the bases of these tools. The monograph is composed of four chapters. The first three chapters are concerned with modeling, while the last one is devoted to mathematical analysis. The first chapter deals with molecular dynamics occurring at the early stage of cancer invasion. A pathway network model based on a biological scenario is constructed, and then its mathematical structures are determined. In the second chapter mathematica...

Numerical simulation of the heat extraction in EGS with thermal-hydraulic-mechanical coupling method based on discrete fractures model

International Nuclear Information System (INIS)

Sun, Zhi-xue; Zhang, Xu; Xu, Yi; Yao, Jun; Wang, Hao-xuan; Lv, Shuhuan; Sun, Zhi-lei; Huang, Yong; Cai, Ming-yu; Huang, Xiaoxue

2017-01-01

The Enhanced Geothermal System (EGS) creates an artificial geothermal reservoir by hydraulic fracturing which allows heat transmission through the fractures by the circulating fluids as they extract heat from Hot Dry Rock (HDR). The technique involves complex thermal–hydraulic–mechanical (THM) coupling process. A numerical approach is presented in this paper to simulate and analyze the heat extraction process in EGS. The reservoir is regarded as fractured porous media consisting of rock matrix blocks and discrete fracture networks. Based on thermal non-equilibrium theory, the mathematical model of THM coupling process in fractured rock mass is used. The proposed model is validated by comparing it with several analytical solutions. An EGS case from Cooper Basin, Australia is simulated with 2D stochastically generated fracture model to study the characteristics of fluid flow, heat transfer and mechanical response in geothermal reservoir. The main parameters controlling the outlet temperature of EGS are also studied by sensitivity analysis. The results shows the significance of taking into account the THM coupling effects when investigating the efficiency and performance of EGS. - Highlights: • EGS reservoir comprising discrete fracture networks and matrix rock is modeled. • A THM coupling model is proposed for simulating the heat extraction in EGS. • The numerical model is validated by comparing with several analytical solutions. • A case study is presented for understanding the main characteristics of EGS. • The THM coupling effects are shown to be significant factors to EGS's running performance.

Simulation based sequential Monte Carlo methods for discretely observed Markov processes

OpenAIRE

Neal, Peter

2014-01-01

Parameter estimation for discretely observed Markov processes is a challenging problem. However, simulation of Markov processes is straightforward using the Gillespie algorithm. We exploit this ease of simulation to develop an effective sequential Monte Carlo (SMC) algorithm for obtaining samples from the posterior distribution of the parameters. In particular, we introduce two key innovations, coupled simulations, which allow us to study multiple parameter values on the basis of a single sim...

Simulation of interim spent fuel storage system with discrete event model

International Nuclear Information System (INIS)

Yoon, Wan Ki; Song, Ki Chan; Lee, Jae Sol; Park, Hyun Soo

1989-01-01

This paper describes dynamic simulation of the spent fuel storage system which is described by statistical discrete event models. It visualizes flow and queue of system over time, assesses the operational performance of the system activities and establishes the system components and streams. It gives information on system organization and operation policy with reference to the design. System was tested and analyzed over a number of critical parameters to establish the optimal system. Workforce schedule and resources with long processing time dominate process. A combination of two workforce shifts a day and two cooling pits gives the optimal solution of storage system. Discrete system simulation is an useful tool to get information on optimal design and operation of the storage system. (Author)

Compatible Spatial Discretizations for Partial Differential Equations

Energy Technology Data Exchange (ETDEWEB)

Arnold, Douglas, N, ed.

2004-11-25

From May 11--15, 2004, the Institute for Mathematics and its Applications held a hot topics workshop on Compatible Spatial Discretizations for Partial Differential Equations. The numerical solution of partial differential equations (PDE) is a fundamental task in science and engineering. The goal of the workshop was to bring together a spectrum of scientists at the forefront of the research in the numerical solution of PDEs to discuss compatible spatial discretizations. We define compatible spatial discretizations as those that inherit or mimic fundamental properties of the PDE such as topology, conservation, symmetries, and positivity structures and maximum principles. A wide variety of discretization methods applied across a wide range of scientific and engineering applications have been designed to or found to inherit or mimic intrinsic spatial structure and reproduce fundamental properties of the solution of the continuous PDE model at the finite dimensional level. A profusion of such methods and concepts relevant to understanding them have been developed and explored: mixed finite element methods, mimetic finite differences, support operator methods, control volume methods, discrete differential forms, Whitney forms, conservative differencing, discrete Hodge operators, discrete Helmholtz decomposition, finite integration techniques, staggered grid and dual grid methods, etc. This workshop seeks to foster communication among the diverse groups of researchers designing, applying, and studying such methods as well as researchers involved in practical solution of large scale problems that may benefit from advancements in such discretizations; to help elucidate the relations between the different methods and concepts; and to generally advance our understanding in the area of compatible spatial discretization methods for PDE. Particular points of emphasis included: + Identification of intrinsic properties of PDE models that are critical for the fidelity of numerical

Using Discrete Event Simulation for Programming Model Exploration at Extreme-Scale: Macroscale Components for the Structural Simulation Toolkit (SST).

Energy Technology Data Exchange (ETDEWEB)

Wilke, Jeremiah J [Sandia National Laboratories (SNL-CA), Livermore, CA (United States); Kenny, Joseph P. [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)

2015-02-01

Discrete event simulation provides a powerful mechanism for designing and testing new extreme- scale programming models for high-performance computing. Rather than debug, run, and wait for results on an actual system, design can first iterate through a simulator. This is particularly useful when test beds cannot be used, i.e. to explore hardware or scales that do not yet exist or are inaccessible. Here we detail the macroscale components of the structural simulation toolkit (SST). Instead of depending on trace replay or state machines, the simulator is architected to execute real code on real software stacks. Our particular user-space threading framework allows massive scales to be simulated even on small clusters. The link between the discrete event core and the threading framework allows interesting performance metrics like call graphs to be collected from a simulated run. Performance analysis via simulation can thus become an important phase in extreme-scale programming model and runtime system design via the SST macroscale components.

Mathematical model and simulations of radiation fluxes from buried radionuclides

International Nuclear Information System (INIS)

Ahmad Saat

1999-01-01

A mathematical model and a simple Monte Carlo simulations were developed to predict radiation fluxes from buried radionuclides. The model and simulations were applied to measured (experimental) data. The results of the mathematical model showed good acceptable order of magnitude agreement. A good agreement was also obtained between the simple simulations and the experimental results. Thus, knowing the radionuclide distribution profiles in soil from a core sample, it can be applied to the model or simulations to estimate the radiation fluxes emerging from the soil surface. (author)

Effects of Discrete Charge Clustering in Simulations of Charged Interfaces.

Science.gov (United States)

Grime, John M A; Khan, Malek O

2010-10-12

A system of counterions between charged surfaces is investigated, with the surfaces represented by uniform charged planes and three different arrangements of discrete surface charges - an equispaced grid and two different clustered arrangements. The behaviors of a series of systems with identical net surface charge density are examined, with particular emphasis placed on the long ranged corrections via the method of "charged slabs" and the effects of the simulation cell size. Marked differences are observed in counterion distributions and the osmotic pressure dependent on the particular representation of the charged surfaces; the uniformly charged surfaces and equispaced grids of discrete charge behave in a broadly similar manner, but the clustered systems display a pronounced decrease in osmotic pressure as the simulation size is increased. The influence of the long ranged correction is shown to be minimal for all but the very smallest of system sizes.

Mathematical simulation of oil reservoir properties

International Nuclear Information System (INIS)

Ramirez, A.; Romero, A.; Chavez, F.; Carrillo, F.; Lopez, S.

2008-01-01

The study and computational representation of porous media properties are very important for many industries where problems of fluid flow, percolation phenomena and liquid movement and stagnation are involved, for example, in building constructions, ore processing, chemical industries, mining, corrosion sciences, etc. Nevertheless, these kinds of processes present a noneasy behavior to be predicted and mathematical models must include statistical analysis, fractal and/or stochastic procedures to do it. This work shows the characterization of sandstone berea core samples which can be found as a porous media (PM) in natural oil reservoirs, rock formations, etc. and the development of a mathematical algorithm for simulating the anisotropic characteristics of a PM based on a stochastic distribution of some of their most important properties like porosity, permeability, pressure and saturation. Finally a stochastic process is used again to simulated the topography of an oil reservoir

Friction dependence of shallow granular flows from discrete particle simulations

NARCIS (Netherlands)

Thornton, Anthony Richard; Weinhart, Thomas; Luding, Stefan; Bokhove, Onno

2011-01-01

A shallow-layer model for granular flows is completed with a closure relation for the macroscopic bed friction or basal roughness obtained from micro-scale discrete particle simulations of steady flows. We systematically vary the bed friction by changing the contact friction coefficient between

On the Discrete Kinetic Theory for Active Particles. Modelling the Immune Competition

Directory of Open Access Journals (Sweden)

I. Brazzoli

2006-01-01

Full Text Available This paper deals with the application of the mathematical kinetic theory for active particles, with discrete activity states, to the modelling of the immune competition between immune and cancer cells. The first part of the paper deals with the assessment of the mathematical framework suitable for the derivation of the models. Two specific models are derived in the second part, while some simulations visualize the applicability of the model to the description of biological events characterizing the immune competition. A final critical outlines some research perspectives.

A Framework for the Optimization of Discrete-Event Simulation Models

Science.gov (United States)

Joshi, B. D.; Unal, R.; White, N. H.; Morris, W. D.

1996-01-01

With the growing use of computer modeling and simulation, in all aspects of engineering, the scope of traditional optimization has to be extended to include simulation models. Some unique aspects have to be addressed while optimizing via stochastic simulation models. The optimization procedure has to explicitly account for the randomness inherent in the stochastic measures predicted by the model. This paper outlines a general purpose framework for optimization of terminating discrete-event simulation models. The methodology combines a chance constraint approach for problem formulation, together with standard statistical estimation and analyses techniques. The applicability of the optimization framework is illustrated by minimizing the operation and support resources of a launch vehicle, through a simulation model.

A high precision dual feedback discrete control system designed for satellite trajectory simulator

Science.gov (United States)

Liu, Ximin; Liu, Liren; Sun, Jianfeng; Xu, Nan

2005-08-01

Cooperating with the free-space laser communication terminals, the satellite trajectory simulator is used to test the acquisition, pointing, tracking and communicating performances of the terminals. So the satellite trajectory simulator plays an important role in terminal ground test and verification. Using the double-prism, Sun etc in our group designed a satellite trajectory simulator. In this paper, a high precision dual feedback discrete control system designed for the simulator is given and a digital fabrication of the simulator is made correspondingly. In the dual feedback discrete control system, Proportional- Integral controller is used in velocity feedback loop and Proportional- Integral- Derivative controller is used in position feedback loop. In the controller design, simplex method is introduced and an improvement to the method is made. According to the transfer function of the control system in Z domain, the digital fabrication of the simulator is given when it is exposed to mechanism error and moment disturbance. Typically, when the mechanism error is 100urad, the residual standard error of pitching angle, azimuth angle, x-coordinate position and y-coordinate position are 0.49urad, 6.12urad, 4.56urad, 4.09urad respectively. When the moment disturbance is 0.1rad, the residual standard error of pitching angle, azimuth angle, x-coordinate position and y-coordinate position are 0.26urad, 0.22urad, 0.16urad, 0.15urad respectively. The digital fabrication results demonstrate that the dual feedback discrete control system designed for the simulator can achieve the anticipated high precision performance.

Discrete event model-based simulation for train movement on a single-line railway

International Nuclear Information System (INIS)

Xu Xiao-Ming; Li Ke-Ping; Yang Li-Xing

2014-01-01

The aim of this paper is to present a discrete event model-based approach to simulate train movement with the considered energy-saving factor. We conduct extensive case studies to show the dynamic characteristics of the traffic flow and demonstrate the effectiveness of the proposed approach. The simulation results indicate that the proposed discrete event model-based simulation approach is suitable for characterizing the movements of a group of trains on a single railway line with less iterations and CPU time. Additionally, some other qualitative and quantitative characteristics are investigated. In particular, because of the cumulative influence from the previous trains, the following trains should be accelerated or braked frequently to control the headway distance, leading to more energy consumption. (general)

Discrete element simulation of charging and mixed layer formation in the ironmaking blast furnace

Science.gov (United States)

Mitra, Tamoghna; Saxén, Henrik

2016-11-01

The burden distribution in the ironmaking blast furnace plays an important role for the operation as it affects the gas flow distribution, heat and mass transfer, and chemical reactions in the shaft. This work studies certain aspects of burden distribution by small-scale experiments and numerical simulation by the discrete element method (DEM). Particular attention is focused on the complex layer-formation process and the problems associated with estimating the burden layer distribution by burden profile measurements. The formation of mixed layers is studied, and a computational method for estimating the extent of the mixed layer, as well as its voidage, is proposed and applied on the results of the DEM simulations. In studying a charging program and its resulting burden distribution, the mixed layers of coke and pellets were found to show lower voidage than the individual burden layers. The dynamic evolution of the mixed layer during the charging process is also analyzed. The results of the study can be used to gain deeper insight into the complex charging process of the blast furnace, which is useful in the design of new charging programs and for mathematical models that do not consider the full behavior of the particles in the burden layers.

Advances in Discrete-Event Simulation for MSL Command Validation

Science.gov (United States)

Patrikalakis, Alexander; O'Reilly, Taifun

2013-01-01

In the last five years, the discrete event simulator, SEQuence GENerator (SEQGEN), developed at the Jet Propulsion Laboratory to plan deep-space missions, has greatly increased uplink operations capacity to deal with increasingly complicated missions. In this paper, we describe how the Mars Science Laboratory (MSL) project makes full use of an interpreted environment to simulate change in more than fifty thousand flight software parameters and conditional command sequences to predict the result of executing a conditional branch in a command sequence, and enable the ability to warn users whenever one or more simulated spacecraft states change in an unexpected manner. Using these new SEQGEN features, operators plan more activities in one sol than ever before.

A practical discrete-adjoint method for high-fidelity compressible turbulence simulations

International Nuclear Information System (INIS)

Vishnampet, Ramanathan; Bodony, Daniel J.; Freund, Jonathan B.

2015-01-01

Methods and computing hardware advances have enabled accurate predictions of complex compressible turbulence phenomena, such as the generation of jet noise that motivates the present effort. However, limited understanding of underlying physical mechanisms restricts the utility of such predictions since they do not, by themselves, indicate a route to design improvements. Gradient-based optimization using adjoints can circumvent the flow complexity to guide designs, though this is predicated on the availability of a sufficiently accurate solution of the forward and adjoint systems. These are challenging to obtain, since both the chaotic character of the turbulence and the typical use of discretizations near their resolution limits in order to efficiently represent its smaller scales will amplify any approximation errors made in the adjoint formulation. Formulating a practical exact adjoint that avoids such errors is especially challenging if it is to be compatible with state-of-the-art simulation methods used for the turbulent flow itself. Automatic differentiation (AD) can provide code to calculate a nominally exact adjoint, but existing general-purpose AD codes are inefficient to the point of being prohibitive for large-scale turbulence simulations. Here, we analyze the compressible flow equations as discretized using the same high-order workhorse methods used for many high-fidelity compressible turbulence simulations, and formulate a practical space–time discrete-adjoint method without changing the basic discretization. A key step is the definition of a particular discrete analog of the continuous norm that defines our cost functional; our selection leads directly to an efficient Runge–Kutta-like scheme, though it would be just first-order accurate if used outside the adjoint formulation for time integration, with finite-difference spatial operators for the adjoint system. Its computational cost only modestly exceeds that of the flow equations. We confirm that

Transient, two-dimensional, discrete-element, far-field model for thermal impact analysis of power plant discharges in coastal and offshore regions. Part I. General description of the mathematical model and the results of an application

International Nuclear Information System (INIS)

Eraslan, A.H.

1975-02-01

A far-field mathematical model is presented for numerical simulation of short-time (within tidal cycle) transient, two-dimensional temperature distributions in large coastal and offshore regions resulting from the condenser cooling water discharges of power plants. The Eulerian FLIDE (fluid-in-discrete-element) formulation employs the integral forms of the conservation principles for mass and thermal energy in variable-sized discrete elements that span the specific flow region. The contributions of vertical variations of the velocity components and temperature are rigorously incorporated in the development of depth-averaged, two-dimensional energy transport fluxes by spatially integrating the conservation equations over the enclosure surfaces of the discrete elements. The general mathematical formulation considers completely arbitrary, transient oceanic flow conditions, which include periodic tidal, geostrophic, and wind-induced currents, as locally specified inputs to the model. The thermal impact of a hypothetical, multiunit generating station in a coastal region is analyzed where the oceanic flow conditions are assumed to be strictly periodic tidal currents within any appreciable net drift of sufficient duration to remove the heated effluent. The numerical simulation indicates that the periodic flow conditions cause considerable variations in the temperature distributions during the day and the tidal cycles, which result in severe recirculation and re-entrainment of the heated water between the intakes and the discharges of the different units. This leads to a gradual, long-term increase of the temperatures in the immediate vicinity of the discharge structures and also in the far-field zone. (U.S.)

A non-discrete method for computation of residence time in fluid mechanics simulations.

Science.gov (United States)

Esmaily-Moghadam, Mahdi; Hsia, Tain-Yen; Marsden, Alison L

2013-11-01

Cardiovascular simulations provide a promising means to predict risk of thrombosis in grafts, devices, and surgical anatomies in adult and pediatric patients. Although the pathways for platelet activation and clot formation are not yet fully understood, recent findings suggest that thrombosis risk is increased in regions of flow recirculation and high residence time (RT). Current approaches for calculating RT are typically based on releasing a finite number of Lagrangian particles into the flow field and calculating RT by tracking their positions. However, special care must be taken to achieve temporal and spatial convergence, often requiring repeated simulations. In this work, we introduce a non-discrete method in which RT is calculated in an Eulerian framework using the advection-diffusion equation. We first present the formulation for calculating residence time in a given region of interest using two alternate definitions. The physical significance and sensitivity of the two measures of RT are discussed and their mathematical relation is established. An extension to a point-wise value is also presented. The methods presented here are then applied in a 2D cavity and two representative clinical scenarios, involving shunt placement for single ventricle heart defects and Kawasaki disease. In the second case study, we explored the relationship between RT and wall shear stress, a parameter of particular importance in cardiovascular disease.

Discrete event simulation in an artificial intelligence environment: Some examples

International Nuclear Information System (INIS)

Roberts, D.J.; Farish, T.

1991-01-01

Several Los Alamos National Laboratory (LANL) object-oriented discrete-event simulation efforts have been completed during the past three years. One of these systems has been put into production and has a growing customer base. Another (started two years earlier than the first project) was completed but has not yet been used. This paper will describe these simulation projects. Factors which were pertinent to the success of the one project, and to the failure of the second project will be discussed (success will be measured as the extent to which the simulation model was used as originally intended). 5 figs

Discrete-Event Simulation Unmasks the Quantum Cheshire Cat

Science.gov (United States)

Michielsen, Kristel; Lippert, Thomas; Raedt, Hans De

2017-05-01

It is shown that discrete-event simulation accurately reproduces the experimental data of a single-neutron interferometry experiment [T. Denkmayr {\\sl et al.}, Nat. Commun. 5, 4492 (2014)] and provides a logically consistent, paradox-free, cause-and-effect explanation of the quantum Cheshire cat effect without invoking the notion that the neutron and its magnetic moment separate. Describing the experimental neutron data using weak-measurement theory is shown to be useless for unravelling the quantum Cheshire cat effect.

Parallel discrete-event simulation of FCFS stochastic queueing networks

Science.gov (United States)

Nicol, David M.

1988-01-01

Physical systems are inherently parallel. Intuition suggests that simulations of these systems may be amenable to parallel execution. The parallel execution of a discrete-event simulation requires careful synchronization of processes in order to ensure the execution's correctness; this synchronization can degrade performance. Largely negative results were recently reported in a study which used a well-known synchronization method on queueing network simulations. Discussed here is a synchronization method (appointments), which has proven itself to be effective on simulations of FCFS queueing networks. The key concept behind appointments is the provision of lookahead. Lookahead is a prediction on a processor's future behavior, based on an analysis of the processor's simulation state. It is shown how lookahead can be computed for FCFS queueing network simulations, give performance data that demonstrates the method's effectiveness under moderate to heavy loads, and discuss performance tradeoffs between the quality of lookahead, and the cost of computing lookahead.

Discrete element simulation of internal stress in SiCp/aluminum ...

African Journals Online (AJOL)

SiCp / Al-Mg-Si matrix composite was prepared by pressureless Infiltration Process. By discrete element method, microcosmic two-dimensional numerical model of SiCp / Al matrix composites was established and the simulation of the size and distribution of micro-contact pressure and tension was performed from small load ...

Mathematical Model Taking into Account Nonlocal Effects of Plasmonic Structures on the Basis of the Discrete Source Method

Science.gov (United States)

Eremin, Yu. A.; Sveshnikov, A. G.

2018-04-01

The discrete source method is used to develop and implement a mathematical model for solving the problem of scattering electromagnetic waves by a three-dimensional plasmonic scatterer with nonlocal effects taken into account. Numerical results are presented whereby the features of the scattering properties of plasmonic particles with allowance for nonlocal effects are demonstrated depending on the direction and polarization of the incident wave.

Mathematical simulation of point defect interaction with grain boundaries

International Nuclear Information System (INIS)

Bojko, V.S.

1987-01-01

Published works, where the interaction of point defects and grain boundaries was studied by mathematical simulation methods, have been analysed. Energetics of the vacancy formation both in nuclei of large-angle special grain boundaries and in lattice regions adjoining them has been considered. The data obtained permit to explain specific features of grain-boundary diffusion processes. Results of mathematical simulation of the interaction of impurity atoms and boundaries have been considered. Specific features of the helium atom interaction with large-angle grain boundaries are analysed as well

Using relational databases to collect and store discrete-event simulation results

DEFF Research Database (Denmark)

Poderys, Justas; Soler, José

2016-01-01

, export the results to a data carrier file and then process the results stored in a file using the data processing software. In this work, we propose to save the simulation results directly from a simulation tool to a computer database. We implemented a link between the discrete-even simulation tool...... and the database and performed performance evaluation of 3 different open-source database systems. We show, that with a right choice of a database system, simulation results can be collected and exported up to 2.67 times faster, and use 1.78 times less disk space when compared to using simulation software built...

Discrete control systems

CERN Document Server

Okuyama, Yoshifumi

2014-01-01

Discrete Control Systems establishes a basis for the analysis and design of discretized/quantized control systemsfor continuous physical systems. Beginning with the necessary mathematical foundations and system-model descriptions, the text moves on to derive a robust stability condition. To keep a practical perspective on the uncertain physical systems considered, most of the methods treated are carried out in the frequency domain. As part of the design procedure, modified Nyquist–Hall and Nichols diagrams are presented and discretized proportional–integral–derivative control schemes are reconsidered. Schemes for model-reference feedback and discrete-type observers are proposed. Although single-loop feedback systems form the core of the text, some consideration is given to multiple loops and nonlinearities. The robust control performance and stability of interval systems (with multiple uncertainties) are outlined. Finally, the monograph describes the relationship between feedback-control and discrete ev...

ECMOR 4. 4th European conference on the mathematics of oil recovery. Topic D: Simulation of fluid flow. Proceedings

Energy Technology Data Exchange (ETDEWEB)

1994-01-01

The report with collected proceedings from a conference, deals with mathematics of oil recovery with the focus on simulation of fluid flow. Topics of proceedings are as follow: Validity of macroscopic viscous fingering models for 2D and 3D-flows; pressure equation for fluid flow in a stochastic medium; predicting multicomponent, multiphase flow in heterogeneous systems using streamtubes; analytic techniques in pressure transient testing; global triangular structure in four-component conservation laws; exact solution of the problem on hydrodynamic interaction between noncommunicating layers under conditions of their joint development; fluid rate in flowing granular medium with moving boundary; complex variable boundary element method for tracking streamlines across fractures; transport equations for miscible displacements in heterogeneous porous media - a streamtube approach; mathematical modelling of condensate film flow by gravity drainage; effect of capillary forces on immiscible two-phase flow in strongly heterogeneous porous media; multidomain direct method and local time steps in reservoir simulation; adaptive methods for chemical flooding; flux continuous for the full tensor equation; discretization on non-orthogonal, curvilinear grids for multi-phase flow; blending finite elements and finite volumes for the solution of miscible incompressible flow. 16 papers are prepared. 240 refs., 122 figs., 6 tabs.

Discrete Tomography and Imaging of Polycrystalline Structures

DEFF Research Database (Denmark)

Alpers, Andreas

High resolution transmission electron microscopy is commonly considered as the standard application for discrete tomography. While this has yet to be technically realized, new applications with a similar flavor have emerged in materials science. In our group at Ris� DTU (Denmark's National...... Laboratory for Sustainable Energy), for instance, we study polycrystalline materials via synchrotron X-ray diffraction. Several reconstruction problems arise, most of them exhibit inherently discrete aspects. In this talk I want to give a concise mathematical introduction to some of these reconstruction...... problems. Special focus is on their relationship to classical discrete tomography. Several open mathematical questions will be mentioned along the way....

Discrete-Event Simulation with Agents for Modeling of Dynamic Asymmetric Threats in Maritime Security

National Research Council Canada - National Science Library

Ng, Chee W

2007-01-01

.... Discrete-event simulation (DES) was used to simulate a typical port-security, local, waterside-threat response model and to test the adaptive response of asymmetric threats in reaction to port-security procedures, while a multi-agent system (MAS...

Effect of the surface charge discretization on electric double layers. A Monte Carlo simulation study

OpenAIRE

Madurga Díez, Sergio; Martín-Molina, Alberto; Vilaseca i Font, Eudald; Mas i Pujadas, Francesc; Quesada-Pérez, Manuel

2007-01-01

The structure of the electric double layer in contact with discrete and continuously charged planar surfaces is studied within the framework of the primitive model through Monte Carlo simulations. Three different discretization models are considered together with the case of uniform distribution. The effect of discreteness is analyzed in terms of charge density profiles. For point surface groups,a complete equivalence with the situation of uniformly distributed charge is found if profiles are...

GPU accelerated simulations of 3D deterministic particle transport using discrete ordinates method

International Nuclear Information System (INIS)

Gong Chunye; Liu Jie; Chi Lihua; Huang Haowei; Fang Jingyue; Gong Zhenghu

2011-01-01

Graphics Processing Unit (GPU), originally developed for real-time, high-definition 3D graphics in computer games, now provides great faculty in solving scientific applications. The basis of particle transport simulation is the time-dependent, multi-group, inhomogeneous Boltzmann transport equation. The numerical solution to the Boltzmann equation involves the discrete ordinates (S n ) method and the procedure of source iteration. In this paper, we present a GPU accelerated simulation of one energy group time-independent deterministic discrete ordinates particle transport in 3D Cartesian geometry (Sweep3D). The performance of the GPU simulations are reported with the simulations of vacuum boundary condition. The discussion of the relative advantages and disadvantages of the GPU implementation, the simulation on multi GPUs, the programming effort and code portability are also reported. The results show that the overall performance speedup of one NVIDIA Tesla M2050 GPU ranges from 2.56 compared with one Intel Xeon X5670 chip to 8.14 compared with one Intel Core Q6600 chip for no flux fixup. The simulation with flux fixup on one M2050 is 1.23 times faster than on one X5670.

GPU accelerated simulations of 3D deterministic particle transport using discrete ordinates method

Science.gov (United States)

Gong, Chunye; Liu, Jie; Chi, Lihua; Huang, Haowei; Fang, Jingyue; Gong, Zhenghu

2011-07-01

Graphics Processing Unit (GPU), originally developed for real-time, high-definition 3D graphics in computer games, now provides great faculty in solving scientific applications. The basis of particle transport simulation is the time-dependent, multi-group, inhomogeneous Boltzmann transport equation. The numerical solution to the Boltzmann equation involves the discrete ordinates ( Sn) method and the procedure of source iteration. In this paper, we present a GPU accelerated simulation of one energy group time-independent deterministic discrete ordinates particle transport in 3D Cartesian geometry (Sweep3D). The performance of the GPU simulations are reported with the simulations of vacuum boundary condition. The discussion of the relative advantages and disadvantages of the GPU implementation, the simulation on multi GPUs, the programming effort and code portability are also reported. The results show that the overall performance speedup of one NVIDIA Tesla M2050 GPU ranges from 2.56 compared with one Intel Xeon X5670 chip to 8.14 compared with one Intel Core Q6600 chip for no flux fixup. The simulation with flux fixup on one M2050 is 1.23 times faster than on one X5670.

Discrete event simulation and the resultant data storage system response in the operational mission environment of Jupiter-Saturn /Voyager/ spacecraft

Science.gov (United States)

Mukhopadhyay, A. K.

1978-01-01

The Data Storage Subsystem Simulator (DSSSIM) simulating (by ground software) occurrence of discrete events in the Voyager mission is described. Functional requirements for Data Storage Subsystems (DSS) simulation are discussed, and discrete event simulation/DSSSIM processing is covered. Four types of outputs associated with a typical DSSSIM run are presented, and DSSSIM limitations and constraints are outlined.

A discrete control model of PLANT

Science.gov (United States)

Mitchell, C. M.

1985-01-01

A model of the PLANT system using the discrete control modeling techniques developed by Miller is described. Discrete control models attempt to represent in a mathematical form how a human operator might decompose a complex system into simpler parts and how the control actions and system configuration are coordinated so that acceptable overall system performance is achieved. Basic questions include knowledge representation, information flow, and decision making in complex systems. The structure of the model is a general hierarchical/heterarchical scheme which structurally accounts for coordination and dynamic focus of attention. Mathematically, the discrete control model is defined in terms of a network of finite state systems. Specifically, the discrete control model accounts for how specific control actions are selected from information about the controlled system, the environment, and the context of the situation. The objective is to provide a plausible and empirically testable accounting and, if possible, explanation of control behavior.

Simulating Electrophoresis with Discrete Charge and Drag

Science.gov (United States)

Mowitz, Aaron J.; Witten, Thomas A.

A charged asymmetric rigid cluster of colloidal particles in saline solution can respond in exotic ways to an electric field: it may spin or move transversely. These distinctive motions arise from the drag force of the neutralizing countercharge surrounding the cluster. Because of this drag, calculating the motion of arbitrary asymmetric objects with nonuniform charge is impractical by conventional methods. Here we present a new method of simulating electrophoresis, in which we replace the continuous object and the surrounding countercharge with discrete point-draggers, called Stokeslets. The balance of forces imposes a linear, self-consistent relation among the drag and Coulomb forces on the Stokeslets, which allows us to easily determine the object's motion via matrix inversion. By explicitly enforcing charge+countercharge neutrality, the simulation recovers the distinctive features of electrophoretic motion to few-percent accuracy using as few as 1000 Stokeslets. In particular, for uniformly charged objects, we observe the characteristic Smoluchowski independence of mobility on object size and shape. We then discuss electrophoretic motion of asymmetric objects, where our simulation method is particularly advantageous. This work is supported by a Grant from the US-Israel Binational Science Foundation.

Principles of discrete time mechanics

CERN Document Server

Jaroszkiewicz, George

2014-01-01

Could time be discrete on some unimaginably small scale? Exploring the idea in depth, this unique introduction to discrete time mechanics systematically builds the theory up from scratch, beginning with the historical, physical and mathematical background to the chronon hypothesis. Covering classical and quantum discrete time mechanics, this book presents all the tools needed to formulate and develop applications of discrete time mechanics in a number of areas, including spreadsheet mechanics, classical and quantum register mechanics, and classical and quantum mechanics and field theories. A consistent emphasis on contextuality and the observer-system relationship is maintained throughout.

Development of a convex polyhedral discrete element simulation framework for NVIDIA Kepler based GPUs

CSIR Research Space (South Africa)

Govender, Nicolin

2013-01-01

Full Text Available in nature and cannot be described by a closed form solution for more than a few particles. A popular and successful approach in simulating the underlying dynamics of GM is by using the Discrete Element Method (DEM). Computational viable simulations...

Comparison of discrete event simulation tools in an academic environment

Directory of Open Access Journals (Sweden)

Mario Jadrić

2014-12-01

Full Text Available A new research model for simulation software evaluation is proposed consisting of three main categories of criteria: modeling and simulation capabilities of the explored tools, and tools’ input/output analysis possibilities, all with respective sub-criteria. Using the presented model, two discrete event simulation tools are evaluated in detail using the task-centred scenario. Both tools (Arena and ExtendSim were used for teaching discrete event simulation in preceding academic years. With the aim to inspect their effectiveness and to help us determine which tool is more suitable for students i.e. academic purposes, we used a simple simulation model of entities competing for limited resources. The main goal was to measure subjective (primarily attitude and objective indicators while using the tools when the same simulation scenario is given. The subjects were first year students of Master studies in Information Management at the Faculty of Economics in Split taking a course in Business Process Simulations (BPS. In a controlled environment – in a computer lab, two groups of students were given detailed, step-by-step instructions for building models using both tools - first using ExtendSim then Arena or vice versa. Subjective indicators (students’ attitudes were collected using an online survey completed immediately upon building each model. Subjective indicators primarily include students’ personal estimations of Arena and ExtendSim capabilities/features for model building, model simulation and result analysis. Objective indicators were measured using specialised software that logs information on user's behavior while performing a particular task on their computer such as distance crossed by mouse during model building, the number of mouse clicks, usage of the mouse wheel and speed achieved. The results indicate that ExtendSim is well preferred comparing to Arena with regards to subjective indicators while the objective indicators are

Simulation of counter-current imbibition in water-wet fractured reservoirs based on discrete-fracture model

Directory of Open Access Journals (Sweden)

Wang Yueying

2017-08-01

Full Text Available Isolated fractures usually exist in fractured media systems, where the capillary pressure in the fracture is lower than that of the matrix, causing the discrepancy in oil recoveries between fractured and non-fractured porous media. Experiments, analytical solutions and conventional simulation methods based on the continuum model approach are incompetent or insufficient in describing media containing isolated fractures. In this paper, the simulation of the counter-current imbibition in fractured media is based on the discrete-fracture model (DFM. The interlocking or arrangement of matrix and fracture system within the model resembles the traditional discrete fracture network model and the hybrid-mixed-finite-element method is employed to solve the associated equations. The Behbahani experimental data validates our simulation solution for consistency. The simulation results of the fractured media show that the isolated-fractures affect the imbibition in the matrix block. Moreover, the isolated fracture parameters such as fracture length and fracture location influence the trend of the recovery curves. Thus, the counter-current imbibition behavior of media with isolated fractures can be predicted using this method based on the discrete-fracture model.

A discrete element based simulation framework to investigate particulate spray deposition processes

KAUST Repository

Mukherjee, Debanjan; Zohdi, Tarek I.

2015-01-01

© 2015 Elsevier Inc. This work presents a computer simulation framework based on discrete element method to analyze manufacturing processes that comprise a loosely flowing stream of particles in a carrier fluid being deposited on a target surface

A Mathematics Software Database Update.

Science.gov (United States)

Cunningham, R. S.; Smith, David A.

1987-01-01

Contains an update of an earlier listing of software for mathematics instruction at the college level. Topics are: advanced mathematics, algebra, calculus, differential equations, discrete mathematics, equation solving, general mathematics, geometry, linear and matrix algebra, logic, statistics and probability, and trigonometry. (PK)

Synchronous Parallel System for Emulation and Discrete Event Simulation

Science.gov (United States)

Steinman, Jeffrey S. (Inventor)

2001-01-01

A synchronous parallel system for emulation and discrete event simulation having parallel nodes responds to received messages at each node by generating event objects having individual time stamps, stores only the changes to the state variables of the simulation object attributable to the event object and produces corresponding messages. The system refrains from transmitting the messages and changing the state variables while it determines whether the changes are superseded, and then stores the unchanged state variables in the event object for later restoral to the simulation object if called for. This determination preferably includes sensing the time stamp of each new event object and determining which new event object has the earliest time stamp as the local event horizon, determining the earliest local event horizon of the nodes as the global event horizon, and ignoring events whose time stamps are less than the global event horizon. Host processing between the system and external terminals enables such a terminal to query, monitor, command or participate with a simulation object during the simulation process.

Sound propagation in dry granular materials : discrete element simulations, theory, and experiments

NARCIS (Netherlands)

Mouraille, O.J.P.

2009-01-01

In this study sound wave propagation through different types of dry confined granular systems is studied. With three-dimensional discrete element simulations, theory and experiments, the influence of several micro-scale properties: friction, dissipation, particle rotation, and contact disorder, on

Discrete Event Simulation for the Analysis of Artillery Fired Projectiles from Shore

Science.gov (United States)

2017-06-01

model. 2.1 Discrete Event Simulation with Simkit Simkit is a library of classes and interfaces, written in Java , that support ease of implemen- tation...Simkit allows simulation modelers to break complex systems into components through a framework of Listener Event Graph Objects (LEGOs), described in...Classes A disadvantage to using Java Enum Types is the inability to change the values of Enum Type parameters while conducting a designed experiment

Discrete thoughts essays on mathematics, science, and philosophy

CERN Document Server

Kac, Mark; Schwartz, Jacob T

1992-01-01

This is a volume of essays and reviews that delightfully explore mathematics in all its moods — from the light and the witty, and humorous to serious, rational, and cerebral. Topics include: logic, combinatorics, statistics, economics, artificial intelligence, computer science, and applications of mathematics broadly. You will also find history and philosophy covered, including discussion of the work of Ulam, Kant, Heidegger among others. "...these papers reflect on mathematics and its influence on human society. They can help the specialist to notice what is going on around him, and they may lead educated people from other domains to a better understanding of mathematics. Many of these papers can advise educators how to form a modern mathematics education, which develops approved ideas and institutions...I admire the stimulating perspectives of the authors."---American Mathematical Society "‘Mathematicians, like Proust and everyone else, are at their best when writing about their first love’ … They a...

DeMO: An Ontology for Discrete-event Modeling and Simulation

Science.gov (United States)

Silver, Gregory A; Miller, John A; Hybinette, Maria; Baramidze, Gregory; York, William S

2011-01-01

Several fields have created ontologies for their subdomains. For example, the biological sciences have developed extensive ontologies such as the Gene Ontology, which is considered a great success. Ontologies could provide similar advantages to the Modeling and Simulation community. They provide a way to establish common vocabularies and capture knowledge about a particular domain with community-wide agreement. Ontologies can support significantly improved (semantic) search and browsing, integration of heterogeneous information sources, and improved knowledge discovery capabilities. This paper discusses the design and development of an ontology for Modeling and Simulation called the Discrete-event Modeling Ontology (DeMO), and it presents prototype applications that demonstrate various uses and benefits that such an ontology may provide to the Modeling and Simulation community. PMID:22919114

The Effects of Constructivist Learning Environment on Prospective Mathematics Teachers' Opinions

Science.gov (United States)

Narli, Serkan; Baser, Nes'e

2010-01-01

To explore the effects of constructivist learning environment on prospective teachers' opinions about "mathematics, department of mathematics, discrete mathematics, countable and uncountable infinity" taught under the subject of Cantorian Set Theory in discrete mathematics class, 60 first-year students in the Division of Mathematics…

Exploring Iconic Interpretation and Mathematics Teacher Development through Clinical Simulations

Science.gov (United States)

Dotger, Benjamin; Masingila, Joanna; Bearkland, Mary; Dotger, Sharon

2015-01-01

Field placements serve as the traditional "clinical" experience for prospective mathematics teachers to immerse themselves in the mathematical challenges of students. This article reports data from a different type of learning experience, that of a clinical simulation with a standardized individual. We begin with a brief background on…

Data assimilation a mathematical introduction

CERN Document Server

Law, Kody; Zygalakis, Konstantinos

2015-01-01

This book provides a systematic treatment of the mathematical underpinnings of work in data assimilation, covering both theoretical and computational approaches. Specifically the authors develop a unified mathematical framework in which a Bayesian formulation of the problem provides the bedrock for the derivation, development and analysis of algorithms; the many examples used in the text, together with the algorithms which are introduced and discussed, are all illustrated by the MATLAB software detailed in the book and made freely available online. The book is organized into nine chapters: the first contains a brief introduction to the mathematical tools around which the material is organized; the next four are concerned with discrete time dynamical systems and discrete time data; the last four are concerned with continuous time dynamical systems and continuous time data and are organized analogously to the corresponding discrete time chapters. This book is aimed at mathematical researchers interested in a sy...

On the stability analysis of a general discrete-time population model involving predation and Allee effects

International Nuclear Information System (INIS)

Merdan, H.; Duman, O.

2009-01-01

This paper presents the stability analysis of equilibrium points of a general discrete-time population dynamics involving predation with and without Allee effects which occur at low population density. The mathematical analysis and numerical simulations show that the Allee effect has a stabilizing role on the local stability of the positive equilibrium points of this model.

Enhanced Discrete-Time Scheduler Engine for MBMS E-UMTS System Level Simulator

DEFF Research Database (Denmark)

Pratas, Nuno; Rodrigues, António

2007-01-01

In this paper the design of an E-UMTS system level simulator developed for the study of optimization methods for the MBMS is presented. The simulator uses a discrete event based philosophy, which captures the dynamic behavior of the Radio Network System. This dynamic behavior includes the user...... mobility, radio interfaces and the Radio Access Network. Its given emphasis on the enhancements developed for the simulator core, the Event Scheduler Engine. Two implementations for the Event Scheduler Engine are proposed, one optimized for single core processors and other for multi-core ones....

Statistical and Probabilistic Extensions to Ground Operations' Discrete Event Simulation Modeling

Science.gov (United States)

Trocine, Linda; Cummings, Nicholas H.; Bazzana, Ashley M.; Rychlik, Nathan; LeCroy, Kenneth L.; Cates, Grant R.

2010-01-01

NASA's human exploration initiatives will invest in technologies, public/private partnerships, and infrastructure, paving the way for the expansion of human civilization into the solar system and beyond. As it is has been for the past half century, the Kennedy Space Center will be the embarkation point for humankind's journey into the cosmos. Functioning as a next generation space launch complex, Kennedy's launch pads, integration facilities, processing areas, launch and recovery ranges will bustle with the activities of the world's space transportation providers. In developing this complex, KSC teams work through the potential operational scenarios: conducting trade studies, planning and budgeting for expensive and limited resources, and simulating alternative operational schemes. Numerous tools, among them discrete event simulation (DES), were matured during the Constellation Program to conduct such analyses with the purpose of optimizing the launch complex for maximum efficiency, safety, and flexibility while minimizing life cycle costs. Discrete event simulation is a computer-based modeling technique for complex and dynamic systems where the state of the system changes at discrete points in time and whose inputs may include random variables. DES is used to assess timelines and throughput, and to support operability studies and contingency analyses. It is applicable to any space launch campaign and informs decision-makers of the effects of varying numbers of expensive resources and the impact of off nominal scenarios on measures of performance. In order to develop representative DES models, methods were adopted, exploited, or created to extend traditional uses of DES. The Delphi method was adopted and utilized for task duration estimation. DES software was exploited for probabilistic event variation. A roll-up process was used, which was developed to reuse models and model elements in other less - detailed models. The DES team continues to innovate and expand

A Model Stitching Architecture for Continuous Full Flight-Envelope Simulation of Fixed-Wing Aircraft and Rotorcraft from Discrete Point Linear Models

Science.gov (United States)

2016-04-01

AND ROTORCRAFT FROM DISCRETE -POINT LINEAR MODELS Eric L. Tobias and Mark B. Tischler Aviation Development Directorate Aviation and Missile...Stitching Architecture for Continuous Full Flight-Envelope Simulation of Fixed-Wing Aircraft and Rotorcraft from Discrete -Point Linear Models 5...of discrete -point linear models and trim data. The model stitching simulation architecture is applicable to any aircraft configuration readily

Discrete element simulation of crushable rockfill materials

Directory of Open Access Journals (Sweden)

Lei Shao

2013-04-01

Full Text Available A discrete element method was used to study the evolution of particle crushing in a rockfill sample subjected to triaxial shear. A simple procedure was developed to generate clusters with arbitrary shapes, which resembled real rockfill particles. A theoretical method was developed to define the failure criterion for an individual particle subjected to an arbitrary set of contact forces. Then, a series of numerical tests of large-scale drained triaxial tests were conducted to simulate the behaviors of the rockfill sample. Finally, we examined the development of micro-characteristics such as particle crushing, contact characteristics, porosity, deformation, movement, and energy dissipation. The simulation results were partially compared with the laboratory experiments, and good agreement was achieved, demonstrating that the particle crushing model proposed can be used to simulate the drained triaxial test of rockfill materials. Based on a comparison of macro behaviors of the rockfill sample and micro structures of the particles, the microscopic mechanism of the rockfill materials subjected to triaxial shear was determined qualitatively. It is shown that the crushing rate, rather than the number of crushed particles, can be used to reflect the relationship between macro- and micro-mechanical characteristics of rockfill materials. These research results further develop our understanding of the deformation mechanism of rockfill materials.

Discrete dipole approximation simulation of bead enhanced diffraction grating biosensor

International Nuclear Information System (INIS)

Arif, Khalid Mahmood

2016-01-01

We present the discrete dipole approximation simulation of light scattering from bead enhanced diffraction biosensor and report the effect of bead material, number of beads forming the grating and spatial randomness on the diffraction intensities of 1st and 0th orders. The dipole models of gratings are formed by volume slicing and image processing while the spatial locations of the beads on the substrate surface are randomly computed using discrete probability distribution. The effect of beads reduction on far-field scattering of 632.8 nm incident field, from fully occupied gratings to very coarse gratings, is studied for various bead materials. Our findings give insight into many difficult or experimentally impossible aspects of this genre of biosensors and establish that bead enhanced grating may be used for rapid and precise detection of small amounts of biomolecules. The results of simulations also show excellent qualitative similarities with experimental observations. - Highlights: • DDA was used to study the relationship between the number of beads forming gratings and ratio of first and zeroth order diffraction intensities. • A very flexible modeling program was developed to design complicated objects for DDA. • Material and spatial effects of bead distribution on surfaces were studied. • It has been shown that bead enhanced grating biosensor can be useful for fast detection of small amounts of biomolecules. • Experimental results qualitatively support the simulations and thus open a way to optimize the grating biosensors.

Mathematics without boundaries surveys in pure mathematics

CERN Document Server

Pardalos, Panos

2014-01-01

The contributions in this volume have been written by eminent scientists from the international mathematical community and present significant advances in several theories, methods and problems of Mathematical Analysis, Discrete Mathematics, Geometry and their Applications. The chapters focus on both old and recent developments in Functional Analysis, Harmonic Analysis, Complex Analysis, Operator Theory, Combinatorics, Functional Equations, Differential Equations as well as a variety of Applications. The book also contains some review works, which could prove particularly useful for a broader audience of readers in Mathematical Sciences, and especially to graduate students looking for the  latest information.

Theoretical foundation for the discrete dynamics of physicochemical systems: Chaos, self-organization, time and space in complex systems

Directory of Open Access Journals (Sweden)

V. Gontar

1997-01-01

Full Text Available A new theoretical foundation for the discrete dynamics of physicochemical systems is presented. Based on the analogy between the π-theorem of the theory of dimensionality, the second law of thermodynamics and the stoichiometry of complex physicochemical reactions, basic dynamic equations and an extreme principle were formulated. The meaning of discrete time and space in the proposed equations is discussed. Some results of numerical calculations are presented to demonstrate the potential of the proposed approach to the mathematical simulation of spatiotemporal physicochemical reaction dynamics.

Effect of the surface charge discretization on electric double layers: a Monte Carlo simulation study.

Science.gov (United States)

Madurga, Sergio; Martín-Molina, Alberto; Vilaseca, Eudald; Mas, Francesc; Quesada-Pérez, Manuel

2007-06-21

The structure of the electric double layer in contact with discrete and continuously charged planar surfaces is studied within the framework of the primitive model through Monte Carlo simulations. Three different discretization models are considered together with the case of uniform distribution. The effect of discreteness is analyzed in terms of charge density profiles. For point surface groups, a complete equivalence with the situation of uniformly distributed charge is found if profiles are exclusively analyzed as a function of the distance to the charged surface. However, some differences are observed moving parallel to the surface. Significant discrepancies with approaches that do not account for discreteness are reported if charge sites of finite size placed on the surface are considered.

Mathematical analysis and numerical simulation of patterns in fractional and classical reaction-diffusion systems

International Nuclear Information System (INIS)

Owolabi, Kolade M.

2016-01-01

The aim of this paper is to examine pattern formation in the sub— and super-diffusive scenarios and compare it with that of classical or standard diffusive processes in two-component fractional reaction-diffusion systems that modeled a predator-prey dynamics. The focus of the work concentrates on the use of two separate mathematical techniques, we formulate a Fourier spectral discretization method as an efficient alternative technique to solve fractional reaction-diffusion problems in higher-dimensional space, and later advance the resulting systems of ODEs in time with the adaptive exponential time-differencing solver. Obviously, the fractional Fourier approach is able to achieve spectral convergence up to machine precision regardless of the fractional order α, owing to the fact that our approach is able to give full diagonal representation of the fractional operator. The complexity of the dynamics in this system is theoretically discussed and graphically displayed with some examples and numerical simulations in one, two and three dimensions.

Multilevel discretized random field models with 'spin' correlations for the simulation of environmental spatial data

Science.gov (United States)

Žukovič, Milan; Hristopulos, Dionissios T.

2009-02-01

A current problem of practical significance is how to analyze large, spatially distributed, environmental data sets. The problem is more challenging for variables that follow non-Gaussian distributions. We show by means of numerical simulations that the spatial correlations between variables can be captured by interactions between 'spins'. The spins represent multilevel discretizations of environmental variables with respect to a number of pre-defined thresholds. The spatial dependence between the 'spins' is imposed by means of short-range interactions. We present two approaches, inspired by the Ising and Potts models, that generate conditional simulations of spatially distributed variables from samples with missing data. Currently, the sampling and simulation points are assumed to be at the nodes of a regular grid. The conditional simulations of the 'spin system' are forced to respect locally the sample values and the system statistics globally. The second constraint is enforced by minimizing a cost function representing the deviation between normalized correlation energies of the simulated and the sample distributions. In the approach based on the Nc-state Potts model, each point is assigned to one of Nc classes. The interactions involve all the points simultaneously. In the Ising model approach, a sequential simulation scheme is used: the discretization at each simulation level is binomial (i.e., ± 1). Information propagates from lower to higher levels as the simulation proceeds. We compare the two approaches in terms of their ability to reproduce the target statistics (e.g., the histogram and the variogram of the sample distribution), to predict data at unsampled locations, as well as in terms of their computational complexity. The comparison is based on a non-Gaussian data set (derived from a digital elevation model of the Walker Lake area, Nevada, USA). We discuss the impact of relevant simulation parameters, such as the domain size, the number of

Mathematical modeling and numerical simulation of Czochralski Crystal Growth

Energy Technology Data Exchange (ETDEWEB)

Jaervinen, J.; Nieminen, R. [Center for Scientific Computing, Espoo (Finland)

1996-12-31

A detailed mathematical model and numerical simulation tools based on the SUPG Finite Element Method for the Czochralski crystal growth has been developed. In this presentation the mathematical modeling and numerical simulation of the melt flow and the temperature distribution in a rotationally symmetric crystal growth environment is investigated. The temperature distribution and the position of the free boundary between the solid and liquid phases are solved by using the Enthalpy method. Heat inside of the Czochralski furnace is transferred by radiation, conduction and convection. The melt flow is governed by the incompressible Navier-Stokes equations coupled with the enthalpy equation. The melt flow is numerically demonstrated and the temperature distribution in the whole Czochralski furnace. (author)

Mathematical modeling and numerical simulation of Czochralski Crystal Growth

Energy Technology Data Exchange (ETDEWEB)

Jaervinen, J; Nieminen, R [Center for Scientific Computing, Espoo (Finland)

1997-12-31

A detailed mathematical model and numerical simulation tools based on the SUPG Finite Element Method for the Czochralski crystal growth has been developed. In this presentation the mathematical modeling and numerical simulation of the melt flow and the temperature distribution in a rotationally symmetric crystal growth environment is investigated. The temperature distribution and the position of the free boundary between the solid and liquid phases are solved by using the Enthalpy method. Heat inside of the Czochralski furnace is transferred by radiation, conduction and convection. The melt flow is governed by the incompressible Navier-Stokes equations coupled with the enthalpy equation. The melt flow is numerically demonstrated and the temperature distribution in the whole Czochralski furnace. (author)

Ensemble simulations with discrete classical dynamics

DEFF Research Database (Denmark)

Toxværd, Søren

2013-01-01

For discrete classical Molecular dynamics (MD) obtained by the "Verlet" algorithm (VA) with the time increment $h$ there exist a shadow Hamiltonian $\\tilde{H}$ with energy $\\tilde{E}(h)$, for which the discrete particle positions lie on the analytic trajectories for $\\tilde{H}$. $\\tilde......{E}(h)$ is employed to determine the relation with the corresponding energy, $E$ for the analytic dynamics with $h=0$ and the zero-order estimate $E_0(h)$ of the energy for discrete dynamics, appearing in the literature for MD with VA. We derive a corresponding time reversible VA algorithm for canonical dynamics...

Discrete event simulation tool for analysis of qualitative models of continuous processing systems

Science.gov (United States)

Malin, Jane T. (Inventor); Basham, Bryan D. (Inventor); Harris, Richard A. (Inventor)

1990-01-01

An artificial intelligence design and qualitative modeling tool is disclosed for creating computer models and simulating continuous activities, functions, and/or behavior using developed discrete event techniques. Conveniently, the tool is organized in four modules: library design module, model construction module, simulation module, and experimentation and analysis. The library design module supports the building of library knowledge including component classes and elements pertinent to a particular domain of continuous activities, functions, and behavior being modeled. The continuous behavior is defined discretely with respect to invocation statements, effect statements, and time delays. The functionality of the components is defined in terms of variable cluster instances, independent processes, and modes, further defined in terms of mode transition processes and mode dependent processes. Model construction utilizes the hierarchy of libraries and connects them with appropriate relations. The simulation executes a specialized initialization routine and executes events in a manner that includes selective inherency of characteristics through a time and event schema until the event queue in the simulator is emptied. The experimentation and analysis module supports analysis through the generation of appropriate log files and graphics developments and includes the ability of log file comparisons.

Plane shear flows of frictionless spheres: Kinetic theory and 3D soft-sphere discrete element method simulations

OpenAIRE

Vescovi, Dalila; Berzi, Diego; Richard, Patrick; Brodu, Nicolas

2014-01-01

International audience; We use existing 3D Discrete Element simulations of simple shear flows of spheres to evaluate the radial distribution function at contact that enables kinetic theory to correctly predict the pressure and the shear stress, for different values of the collisional coefficient of restitution. Then, we perform 3D Discrete Element simulations of plane flows of frictionless, inelastic spheres, sheared between walls made bumpy by gluing particles in a regular array, at fixed av...

A practical guide for operational validation of discrete simulation models

Directory of Open Access Journals (Sweden)

Fabiano Leal

2011-04-01

Full Text Available As the number of simulation experiments increases, the necessity for validation and verification of these models demands special attention on the part of the simulation practitioners. By analyzing the current scientific literature, it is observed that the operational validation description presented in many papers does not agree on the importance designated to this process and about its applied techniques, subjective or objective. With the expectation of orienting professionals, researchers and students in simulation, this article aims to elaborate a practical guide through the compilation of statistical techniques in the operational validation of discrete simulation models. Finally, the guide's applicability was evaluated by using two study objects, which represent two manufacturing cells, one from the automobile industry and the other from a Brazilian tech company. For each application, the guide identified distinct steps, due to the different aspects that characterize the analyzed distributions

Quality Improvement With Discrete Event Simulation: A Primer for Radiologists.

Science.gov (United States)

Booker, Michael T; O'Connell, Ryan J; Desai, Bhushan; Duddalwar, Vinay A

2016-04-01

The application of simulation software in health care has transformed quality and process improvement. Specifically, software based on discrete-event simulation (DES) has shown the ability to improve radiology workflows and systems. Nevertheless, despite the successful application of DES in the medical literature, the power and value of simulation remains underutilized. For this reason, the basics of DES modeling are introduced, with specific attention to medical imaging. In an effort to provide readers with the tools necessary to begin their own DES analyses, the practical steps of choosing a software package and building a basic radiology model are discussed. In addition, three radiology system examples are presented, with accompanying DES models that assist in analysis and decision making. Through these simulations, we provide readers with an understanding of the theory, requirements, and benefits of implementing DES in their own radiology practices. Copyright © 2016 American College of Radiology. All rights reserved.

The Skateboard Factory: a teaching case on discrete-event simulation

Directory of Open Access Journals (Sweden)

Marco Aurélio de Mesquita

Full Text Available Abstract Real-life applications during the teaching process are a desirable practice in simulation education. However, access to real cases imposes some difficulty in implement such practice, especially when the classes are large. This paper presents a teaching case for a computer simulation course in a production engineering undergraduate program. The motivation for the teaching case was to provide students with a realistic manufacturing case to stimulate the learning of simulation concepts and methods in the context of industrial engineering. The case considers a virtual factory of skateboards, which operations include parts manufacturing, final assembly and storage of raw materials, work-in-process and finished products. Students should model and simulate the factory, under push and pull production strategies, using any simulation software available in the laboratory. The teaching case, applied in the last two years, contributed to motivate and consolidate the students’ learning of discrete-event simulation. It proved to be a feasible alternative to the previous practice of letting students freely choose a case for their final project, while keeping the essence of project-based learning approach.

The Spectrum of Mathematical Models.

Science.gov (United States)

Karplus, Walter J.

1983-01-01

Mathematical modeling problems encountered in many disciplines are discussed in terms of the modeling process and applications of models. The models are classified according to three types of abstraction: continuous-space-continuous-time, discrete-space-continuous-time, and discrete-space-discrete-time. Limitations in different kinds of modeling…

Discrete and computational geometry

CERN Document Server

Devadoss, Satyan L

2011-01-01

Discrete geometry is a relatively new development in pure mathematics, while computational geometry is an emerging area in applications-driven computer science. Their intermingling has yielded exciting advances in recent years, yet what has been lacking until now is an undergraduate textbook that bridges the gap between the two. Discrete and Computational Geometry offers a comprehensive yet accessible introduction to this cutting-edge frontier of mathematics and computer science. This book covers traditional topics such as convex hulls, triangulations, and Voronoi diagrams, as well as more recent subjects like pseudotriangulations, curve reconstruction, and locked chains. It also touches on more advanced material, including Dehn invariants, associahedra, quasigeodesics, Morse theory, and the recent resolution of the Poincaré conjecture. Connections to real-world applications are made throughout, and algorithms are presented independently of any programming language. This richly illustrated textbook also fe...

Outline of ATE Novoronezh Training Centre simulator V-187 upgrade project

International Nuclear Information System (INIS)

2006-01-01

Full-scope simulator V-187 was put into operation in 1987. Novovoronezh NPP Unit 5 is the reference unit for the simulator. The following is included into the simulator computer engineering: - central computer IBM 4381 to calculate the simulator mathematical models and to maintain the Instructor's Workstation; - 2 computers CM-2M to control the graphical information display subsystem; - 3 computers (object link computing terminal) to control the analog and discrete information input-output; - specially designed devices of discrete information compression to connect OLCT computers with control panel; - alpha-digital display of IBM 4381 computer is used as Instructor's Work-station. Computer languages: FORTRAN, Assembler

Mathematical modelling of plant transients in the PWR for simulator purposes

International Nuclear Information System (INIS)

Hartel, K.

1984-01-01

This chapter presents the results of the testing of anticipated and abnormal plant transients in pressurized water reactors (PWRs) of the type WWER 440 by means of the numerical simulation of 32 different, stationary and nonstationary, operational regimes. Topics considered include the formation of the PWR mathematical model, the physical approximation of the reactor core, the structure of the reactor core model, a mathematical approximation of the reactor model, the selection of numerical methods, and a computerized simulation system. The necessity of a PWR simulator in Czechoslovakia is justified by the present status and the outlook for the further development of the Czechoslovak nuclear power complex

Mathematics of large eddy simulation of turbulent flows

Energy Technology Data Exchange (ETDEWEB)

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

2006-07-01

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

Advances in discrete differential geometry

CERN Document Server

2016-01-01

This is one of the first books on a newly emerging field of discrete differential geometry and an excellent way to access this exciting area. It surveys the fascinating connections between discrete models in differential geometry and complex analysis, integrable systems and applications in computer graphics. The authors take a closer look at discrete models in differential geometry and dynamical systems. Their curves are polygonal, surfaces are made from triangles and quadrilaterals, and time is discrete. Nevertheless, the difference between the corresponding smooth curves, surfaces and classical dynamical systems with continuous time can hardly be seen. This is the paradigm of structure-preserving discretizations. Current advances in this field are stimulated to a large extent by its relevance for computer graphics and mathematical physics. This book is written by specialists working together on a common research project. It is about differential geometry and dynamical systems, smooth and discrete theories, ...

Mathematics and Computer Science: Exploring a Symbiotic Relationship

Science.gov (United States)

Bravaco, Ralph; Simonson, Shai

2004-01-01

This paper describes a "learning community" designed for sophomore computer science majors who are simultaneously studying discrete mathematics. The learning community consists of three courses: Discrete Mathematics, Data Structures and an Integrative Seminar/Lab. The seminar functions as a link that integrates the two disciplines. Participation…

Identification of parameters of discrete-continuous models

International Nuclear Information System (INIS)

Cekus, Dawid; Warys, Pawel

2015-01-01

In the paper, the parameters of a discrete-continuous model have been identified on the basis of experimental investigations and formulation of optimization problem. The discrete-continuous model represents a cantilever stepped Timoshenko beam. The mathematical model has been formulated and solved according to the Lagrange multiplier formalism. Optimization has been based on the genetic algorithm. The presented proceeding’s stages make the identification of any parameters of discrete-continuous systems possible

Identification of parameters of discrete-continuous models

Energy Technology Data Exchange (ETDEWEB)

Cekus, Dawid, E-mail: cekus@imipkm.pcz.pl; Warys, Pawel, E-mail: warys@imipkm.pcz.pl [Institute of Mechanics and Machine Design Foundations, Czestochowa University of Technology, Dabrowskiego 73, 42-201 Czestochowa (Poland)

2015-03-10

In the paper, the parameters of a discrete-continuous model have been identified on the basis of experimental investigations and formulation of optimization problem. The discrete-continuous model represents a cantilever stepped Timoshenko beam. The mathematical model has been formulated and solved according to the Lagrange multiplier formalism. Optimization has been based on the genetic algorithm. The presented proceeding’s stages make the identification of any parameters of discrete-continuous systems possible.

The origin of discrete particles

CERN Document Server

Bastin, T

2009-01-01

This book is a unique summary of the results of a long research project undertaken by the authors on discreteness in modern physics. In contrast with the usual expectation that discreteness is the result of mathematical tools for insertion into a continuous theory, this more basic treatment builds up the world from the discrimination of discrete entities. This gives an algebraic structure in which certain fixed numbers arise. As such, one agrees with the measured value of the fine-structure constant to one part in 10,000,000 (10 7 ). Sample Chapter(s). Foreword (56 KB). Chapter 1: Introduction

Mathematical cardiac electrophysiology

CERN Document Server

Colli Franzone, Piero; Scacchi, Simone

2014-01-01

This book covers the main mathematical and numerical models in computational electrocardiology, ranging from microscopic membrane models of cardiac ionic channels to macroscopic bidomain, monodomain, eikonal models and cardiac source representations. These advanced multiscale and nonlinear models describe the cardiac bioelectrical activity from the cell level to the body surface and are employed in both the direct and inverse problems of electrocardiology. The book also covers advanced numerical techniques needed to efficiently carry out large-scale cardiac simulations, including time and space discretizations, decoupling and operator splitting techniques, parallel finite element solvers. These techniques are employed in 3D cardiac simulations illustrating the excitation mechanisms, the anisotropic effects on excitation and repolarization wavefronts, the morphology of electrograms in normal and pathological tissue and some reentry phenomena. The overall aim of the book is to present rigorously the mathematica...

Improvements on nonlinear gyrokinetic particle simulations based on δf-discretization scheme

International Nuclear Information System (INIS)

Zorat, R.; Tessarotto, M.

1998-01-01

In this work various issues regarding the definition of improved theoretical models appropriate to describe the dynamics of confined magnetoplasmas by particle simulation methods are proposed. These concern in particular an improved non linear δf discretization scheme and the treatment of binary, i.e. Coulomb, and collective interactions. (orig.)

Discrete event simulation versus conventional system reliability analysis approaches

DEFF Research Database (Denmark)

Kozine, Igor

2010-01-01

Discrete Event Simulation (DES) environments are rapidly developing and appear to be promising tools for building reliability and risk analysis models of safety-critical systems and human operators. If properly developed, they are an alternative to the conventional human reliability analysis models...... and systems analysis methods such as fault and event trees and Bayesian networks. As one part, the paper describes briefly the author’s experience in applying DES models to the analysis of safety-critical systems in different domains. The other part of the paper is devoted to comparing conventional approaches...

Simulation of hemp fibre bundle and cores using discrete element method

Energy Technology Data Exchange (ETDEWEB)

Al-Amin Sadek, M.; Chen, Y. [Manitoba Univ., Winnipeg, MB (Canada). Dept. of Biosystems Engineering; Lague, C. [Ottawa Univ., Ottawa, ON (Canada). Faculty of Engineering; Landry, H. [Prairie Agricultural Machinery Inst., Humboldt, SK (Canada); Peng, Q. [Manitoba Univ., Winnipeg, MB (Canada). Dept. of Mechanical and Manufacturing Engineering; Zhong, W. [Manitoba Univ., Winnipeg, MB (Canada). Dept. of Textile Sciences

2010-07-01

The mechanical behaviour of hemp fibre and core must be well understood in order to obtain high-grade hemp fibre that is currently in high demand for various industrial applications. Modelling by discrete element method can simulate the mechanical behaviour of such materials. A commercial discrete element software called Particle Flow Code was used in this study. In particular, the 3-dimension (PFC3D) was used to simulate hemp fibre and core. Since the basic PFC3D particles are spherical, the individual virtual hemp fibres were defined as strings of balls held together by PFC3D parallel bonds. The study showed that the virtual fibre is flexible and can bend and break by forces. This reflects the characteristics of hemp fibre. Using the clump logic of PFC3D, the virtual hemp core was defined as a rigid and unbreakable body, which reflect the characteristics of the core. The virtual fibre and core were defined with several microproperties, some of which were previously calibrated. The PFC3D bond properties were calibrated in this study. They included normal and shear stiffness; pb{sub k}n and pb{sub k}s; normal and shear strength; and bond disk radius, R of the virtual fibre. The calibration started with developing a PFC3D model to simulate fibre tensile test. The microproperties of virtual fibre and core were calibrated by running the PFC3D model. Literature data from fibre tensile tests was compared with simulation results.

The cost of conservative synchronization in parallel discrete event simulations

Science.gov (United States)

Nicol, David M.

1990-01-01

The performance of a synchronous conservative parallel discrete-event simulation protocol is analyzed. The class of simulation models considered is oriented around a physical domain and possesses a limited ability to predict future behavior. A stochastic model is used to show that as the volume of simulation activity in the model increases relative to a fixed architecture, the complexity of the average per-event overhead due to synchronization, event list manipulation, lookahead calculations, and processor idle time approach the complexity of the average per-event overhead of a serial simulation. The method is therefore within a constant factor of optimal. The analysis demonstrates that on large problems--those for which parallel processing is ideally suited--there is often enough parallel workload so that processors are not usually idle. The viability of the method is also demonstrated empirically, showing how good performance is achieved on large problems using a thirty-two node Intel iPSC/2 distributed memory multiprocessor.

A scheme for designing extreme multistable discrete dynamical ...

Indian Academy of Sciences (India)

A scheme for designing extreme multistable discrete dynamical systems ... Abstract. In this paper, we propose a scheme for designing discrete extreme multistable systems coupling two identical dynamical systems. Existence ... Department of Applied Mathematics, University of Calcutta, 92 APC Road, Kolkata 700 009, India ...

A participative and facilitative conceptual modelling framework for discrete event simulation studies in healthcare

OpenAIRE

Kotiadis, Kathy; Tako, Antuela; Vasilakis, Christos

2014-01-01

Existing approaches to conceptual modelling (CM) in discrete-event simulation do not formally support the participation of a group of stakeholders. Simulation in healthcare can benefit from stakeholder participation as it makes possible to share multiple views and tacit knowledge from different parts of the system. We put forward a framework tailored to healthcare that supports the interaction of simulation modellers with a group of stakeholders to arrive at a common conceptual model. The fra...

On time discretizations for the simulation of the batch settling-compression process in one dimension.

Science.gov (United States)

Bürger, Raimund; Diehl, Stefan; Mejías, Camilo

2016-01-01

The main purpose of the recently introduced Bürger-Diehl simulation model for secondary settling tanks was to resolve spatial discretization problems when both hindered settling and the phenomena of compression and dispersion are included. Straightforward time integration unfortunately means long computational times. The next step in the development is to introduce and investigate time-integration methods for more efficient simulations, but where other aspects such as implementation complexity and robustness are equally considered. This is done for batch settling simulations. The key findings are partly a new time-discretization method and partly its comparison with other specially tailored and standard methods. Several advantages and disadvantages for each method are given. One conclusion is that the new linearly implicit method is easier to implement than another one (semi-implicit method), but less efficient based on two types of batch sedimentation tests.

Discrete Element Method Simulation of a Boulder Extraction From an Asteroid

Science.gov (United States)

Kulchitsky, Anton K.; Johnson, Jerome B.; Reeves, David M.; Wilkinson, Allen

2014-01-01

The force required to pull 7t and 40t polyhedral boulders from the surface of an asteroid is simulated using the discrete element method considering the effects of microgravity, regolith cohesion and boulder acceleration. The connection between particle surface energy and regolith cohesion is estimated by simulating a cohesion sample tearing test. An optimal constant acceleration is found where the peak net force from inertia and cohesion is a minimum. Peak pulling forces can be further reduced by using linear and quadratic acceleration functions with up to a 40% reduction in force for quadratic acceleration.

Discrete Spin Vector Approach for Monte Carlo-based Magnetic Nanoparticle Simulations

Science.gov (United States)

Senkov, Alexander; Peralta, Juan; Sahay, Rahul

The study of magnetic nanoparticles has gained significant popularity due to the potential uses in many fields such as modern medicine, electronics, and engineering. To study the magnetic behavior of these particles in depth, it is important to be able to model and simulate their magnetic properties efficiently. Here we utilize the Metropolis-Hastings algorithm with a discrete spin vector model (in contrast to the standard continuous model) to model the magnetic hysteresis of a set of protected pure iron nanoparticles. We compare our simulations with the experimental hysteresis curves and discuss the efficiency of our algorithm.

Mathematical and computational modeling and simulation fundamentals and case studies

CERN Document Server

Moeller, Dietmar P F

2004-01-01

Mathematical and Computational Modeling and Simulation - a highly multi-disciplinary field with ubiquitous applications in science and engineering - is one of the key enabling technologies of the 21st century. This book introduces to the use of Mathematical and Computational Modeling and Simulation in order to develop an understanding of the solution characteristics of a broad class of real-world problems. The relevant basic and advanced methodologies are explained in detail, with special emphasis on ill-defined problems. Some 15 simulation systems are presented on the language and the logical level. Moreover, the reader can accumulate experience by studying a wide variety of case studies. The latter are briefly described within the book but their full versions as well as some simulation software demos are available on the Web. The book can be used for University courses of different level as well as for self-study. Advanced sections are marked and can be skipped in a first reading or in undergraduate courses...

Bifurcation analysis of a delayed mathematical model for tumor growth

International Nuclear Information System (INIS)

Khajanchi, Subhas

2015-01-01

In this study, we present a modified mathematical model of tumor growth by introducing discrete time delay in interaction terms. The model describes the interaction between tumor cells, healthy tissue cells (host cells) and immune effector cells. The goal of this study is to obtain a better compatibility with reality for which we introduced the discrete time delay in the interaction between tumor cells and host cells. We investigate the local stability of the non-negative equilibria and the existence of Hopf-bifurcation by considering the discrete time delay as a bifurcation parameter. We estimate the length of delay to preserve the stability of bifurcating periodic solutions, which gives an idea about the mode of action for controlling oscillations in the tumor growth. Numerical simulations of the model confirm the analytical findings

建构主义教学法在离散数学教学中的应用初探%Application of Constructivism Teaching Method in Discrete Ma-thematics

Institute of Scientific and Technical Information of China (English)

刘峰; 唐存琛

2016-01-01

以建构主义教学理论为依据，采用抛锚方式应用于高校离散数学教学实践。通过对三个不同年级的跟踪实验，总结出建构主义教学法在离散数学教学中的优势。%The constructivism is introduced into Discrete Mathema-tics in this paper, which use the anchor teaching method to present the teaching contents. It is concluded that the constructivism theory can perform well in Discrete Mathematics by three experiments on diff erent grades.

Discrete event simulation methods applied to advanced importance measures of repairable components in multistate network flow systems

International Nuclear Information System (INIS)

Huseby, Arne B.; Natvig, Bent

2013-01-01

Discrete event models are frequently used in simulation studies to model and analyze pure jump processes. A discrete event model can be viewed as a system consisting of a collection of stochastic processes, where the states of the individual processes change as results of various kinds of events occurring at random points of time. We always assume that each event only affects one of the processes. Between these events the states of the processes are considered to be constant. In the present paper we use discrete event simulation in order to analyze a multistate network flow system of repairable components. In order to study how the different components contribute to the system, it is necessary to describe the often complicated interaction between component processes and processes at the system level. While analytical considerations may throw some light on this, a simulation study often allows the analyst to explore more details. By producing stable curve estimates for the development of the various processes, one gets a much better insight in how such systems develop over time. These methods are particulary useful in the study of advanced importancez measures of repairable components. Such measures can be very complicated, and thus impossible to calculate analytically. By using discrete event simulations, however, this can be done in a very natural and intuitive way. In particular significant differences between the Barlow–Proschan measure and the Natvig measure in multistate network flow systems can be explored

U.S. Marine Corps Communication-Electronics School Training Process: Discrete-Event Simulation and Lean Options

National Research Council Canada - National Science Library

Neu, Charles R; Davenport, Jon; Smith, William R

2007-01-01

This paper uses discrete-event simulation modeling, inventory-reduction, and process improvement concepts to identify and analyze possibilities for improving the training continuum at the Marine Corps...

Mathematical simulation of cascade-probabilistic functions for charged particles

International Nuclear Information System (INIS)

Kupchishin, A.A.; Kupchishin, A.I.; Smygaleva, T.A.

1998-01-01

Analytical expressions for cascade-probabilistic functions (CPF) for electrons, protons, α-particles and ions with taking into account energy losses are received. Mathematical analysis of these functions is carried out and main properties of function are determined. Algorithms of CPF are developed and their computer calculation were conducted. Regularities in behavior of function in dependence on initial particles energy, atomic number and registration depth are established. Book is intended to specialists on mathematical simulation of radiation defects, solid state physics, elementary particle physics and applied mathematics. There are 3 chapters in the book: 1. Cascade-probabilistic functions for electrons; 2. CPF for protons and α-particles; 3. CPF with taking unto account energy losses of ions. (author)

Multilevel discretized random field models with 'spin' correlations for the simulation of environmental spatial data

International Nuclear Information System (INIS)

Žukovič, Milan; Hristopulos, Dionissios T

2009-01-01

A current problem of practical significance is how to analyze large, spatially distributed, environmental data sets. The problem is more challenging for variables that follow non-Gaussian distributions. We show by means of numerical simulations that the spatial correlations between variables can be captured by interactions between 'spins'. The spins represent multilevel discretizations of environmental variables with respect to a number of pre-defined thresholds. The spatial dependence between the 'spins' is imposed by means of short-range interactions. We present two approaches, inspired by the Ising and Potts models, that generate conditional simulations of spatially distributed variables from samples with missing data. Currently, the sampling and simulation points are assumed to be at the nodes of a regular grid. The conditional simulations of the 'spin system' are forced to respect locally the sample values and the system statistics globally. The second constraint is enforced by minimizing a cost function representing the deviation between normalized correlation energies of the simulated and the sample distributions. In the approach based on the N c -state Potts model, each point is assigned to one of N c classes. The interactions involve all the points simultaneously. In the Ising model approach, a sequential simulation scheme is used: the discretization at each simulation level is binomial (i.e., ± 1). Information propagates from lower to higher levels as the simulation proceeds. We compare the two approaches in terms of their ability to reproduce the target statistics (e.g., the histogram and the variogram of the sample distribution), to predict data at unsampled locations, as well as in terms of their computational complexity. The comparison is based on a non-Gaussian data set (derived from a digital elevation model of the Walker Lake area, Nevada, USA). We discuss the impact of relevant simulation parameters, such as the domain size, the number of

Discrete port-Hamiltonian systems

NARCIS (Netherlands)

Talasila, V.; Clemente-Gallardo, J.; Schaft, A.J. van der

2006-01-01

Either from a control theoretic viewpoint or from an analysis viewpoint it is necessary to convert smooth systems to discrete systems, which can then be implemented on computers for numerical simulations. Discrete models can be obtained either by discretizing a smooth model, or by directly modeling

Symmetric discrete coherent states for n-qubits

International Nuclear Information System (INIS)

Muñoz, C; Klimov, A B; Sánchez-Soto, L L

2012-01-01

We put forward a method of constructing discrete coherent states for n qubits. After establishing appropriate displacement operators, the coherent states appear as displaced versions of a fiducial vector that is fixed by imposing a number of natural symmetry requirements on its Q-function. Using these coherent states, we establish a partial order in the discrete phase space, which allows us to picture some n-qubit states as apparent distributions. We also analyze correlations in terms of sums of squared Q-functions. This article is part of a special issue of Journal of Physics A: Mathematical and Theoretical devoted to ‘Coherent states: mathematical and physical aspects’. (paper)

Finite-element discretization of 3D energy-transport equations for semiconductors

Energy Technology Data Exchange (ETDEWEB)

Gadau, Stephan

2007-07-01

In this thesis a mathematical model was derived that describes the charge and energy transport in semiconductor devices like transistors. Moreover, numerical simulations of these physical processes are performed. In order to accomplish this, methods of theoretical physics, functional analysis, numerical mathematics and computer programming are applied. After an introduction to the status quo of semiconductor device simulation methods and a brief review of historical facts up to now, the attention is shifted to the construction of a model, which serves as the basis of the subsequent derivations in the thesis. Thereby the starting point is an important equation of the theory of dilute gases. From this equation the model equations are derived and specified by means of a series expansion method. This is done in a multi-stage derivation process, which is mainly taken from a scientific paper and which does not constitute the focus of this thesis. In the following phase we specify the mathematical setting and make precise the model assumptions. Thereby we make use of methods of functional analysis. Since the equations we deal with are coupled, we are concerned with a nonstandard problem. In contrary, the theory of scalar elliptic equations is established meanwhile. Subsequently, we are preoccupied with the numerical discretization of the equations. A special finite-element method is used for the discretization. This special approach has to be done in order to make the numerical results appropriate for practical application. By a series of transformations from the discrete model we derive a system of algebraic equations that are eligible for numerical evaluation. Using self-made computer programs we solve the equations to get approximate solutions. These programs are based on new and specialized iteration procedures that are developed and thoroughly tested within the frame of this research work. Due to their importance and their novel status, they are explained and

A mathematical framework for agent based models of complex biological networks.

Science.gov (United States)

Hinkelmann, Franziska; Murrugarra, David; Jarrah, Abdul Salam; Laubenbacher, Reinhard

2011-07-01

Agent-based modeling and simulation is a useful method to study biological phenomena in a wide range of fields, from molecular biology to ecology. Since there is currently no agreed-upon standard way to specify such models, it is not always easy to use published models. Also, since model descriptions are not usually given in mathematical terms, it is difficult to bring mathematical analysis tools to bear, so that models are typically studied through simulation. In order to address this issue, Grimm et al. proposed a protocol for model specification, the so-called ODD protocol, which provides a standard way to describe models. This paper proposes an addition to the ODD protocol which allows the description of an agent-based model as a dynamical system, which provides access to computational and theoretical tools for its analysis. The mathematical framework is that of algebraic models, that is, time-discrete dynamical systems with algebraic structure. It is shown by way of several examples how this mathematical specification can help with model analysis. This mathematical framework can also accommodate other model types such as Boolean networks and the more general logical models, as well as Petri nets.

Discrete Element Simulations and Experiments on the Deformation of Cohesive Powders in a Bi-Axial Box

NARCIS (Netherlands)

Imole, Olukayode Isaiah; Kumar, Nishant; Magnanimo, Vanessa; Luding, Stefan

2012-01-01

We compare element test experiments and simulations on the deformation of frictional, cohesive particles in a bi-axial box. We show that computer simulations with the Discrete Element Method qualitatively reproduce a uniaxial compression element test in the true bi-axial tester. We highlight the

Discrete event simulation of the Defense Waste Processing Facility (DWPF) analytical laboratory

International Nuclear Information System (INIS)

Shanahan, K.L.

1992-02-01

A discrete event simulation of the Savannah River Site (SRS) Defense Waste Processing Facility (DWPF) analytical laboratory has been constructed in the GPSS language. It was used to estimate laboratory analysis times at process analytical hold points and to study the effect of sample number on those times. Typical results are presented for three different simultaneous representing increasing levels of complexity, and for different sampling schemes. Example equipment utilization time plots are also included. SRS DWPF laboratory management and chemists found the simulations very useful for resource and schedule planning

Algorithmic Principles of Mathematical Programming

NARCIS (Netherlands)

Faigle, Ulrich; Kern, Walter; Still, Georg

2002-01-01

Algorithmic Principles of Mathematical Programming investigates the mathematical structures and principles underlying the design of efficient algorithms for optimization problems. Recent advances in algorithmic theory have shown that the traditionally separate areas of discrete optimization, linear

Mathematical Background of Public Key Cryptography

DEFF Research Database (Denmark)

Frey, Gerhard; Lange, Tanja

2005-01-01

The two main systems used for public key cryptography are RSA and protocols based on the discrete logarithm problem in some cyclic group. We focus on the latter problem and state cryptographic protocols and mathematical background material.......The two main systems used for public key cryptography are RSA and protocols based on the discrete logarithm problem in some cyclic group. We focus on the latter problem and state cryptographic protocols and mathematical background material....

A numerical simulation of wheel spray for simplified vehicle model based on discrete phase method

Directory of Open Access Journals (Sweden)

Xingjun Hu

2015-07-01

Full Text Available Road spray greatly affects vehicle body soiling and driving safety. The study of road spray has attracted increasing attention. In this article, computational fluid dynamics software with widely used finite volume method code was employed to investigate the numerical simulation of spray induced by a simplified wheel model and a modified square-back model proposed by the Motor Industry Research Association. Shear stress transport k-omega turbulence model, discrete phase model, and Eulerian wall-film model were selected. In the simulation process, the phenomenon of breakup and coalescence of drops were considered, and the continuous and discrete phases were treated as two-way coupled in momentum and turbulent motion. The relationship between the vehicle external flow structure and body soiling was also discussed.

Discrete pseudo-integrals

Czech Academy of Sciences Publication Activity Database

Mesiar, Radko; Li, J.; Pap, E.

2013-01-01

Roč. 54, č. 3 (2013), s. 357-364 ISSN 0888-613X R&D Projects: GA ČR GAP402/11/0378 Institutional support: RVO:67985556 Keywords : concave integral * pseudo-addition * pseudo-multiplication Subject RIV: BA - General Mathematics Impact factor: 1.977, year: 2013 http://library.utia.cas.cz/separaty/2013/E/mesiar-discrete pseudo-integrals.pdf

Some Fundamental Issues of Mathematical Simulation in Biology

Science.gov (United States)

Razzhevaikin, V. N.

2018-02-01

Some directions of simulation in biology leading to original formulations of mathematical problems are overviewed. Two of them are discussed in detail: the correct solvability of first-order linear equations with unbounded coefficients and the construction of a reaction-diffusion equation with nonlinear diffusion for a model of genetic wave propagation.

Discrete kinetic models from funneled energy landscape simulations.

Directory of Open Access Journals (Sweden)

Nicholas P Schafer

Full Text Available A general method for facilitating the interpretation of computer simulations of protein folding with minimally frustrated energy landscapes is detailed and applied to a designed ankyrin repeat protein (4ANK. In the method, groups of residues are assigned to foldons and these foldons are used to map the conformational space of the protein onto a set of discrete macrobasins. The free energies of the individual macrobasins are then calculated, informing practical kinetic analysis. Two simple assumptions about the universality of the rate for downhill transitions between macrobasins and the natural local connectivity between macrobasins lead to a scheme for predicting overall folding and unfolding rates, generating chevron plots under varying thermodynamic conditions, and inferring dominant kinetic folding pathways. To illustrate the approach, free energies of macrobasins were calculated from biased simulations of a non-additive structure-based model using two structurally motivated foldon definitions at the full and half ankyrin repeat resolutions. The calculated chevrons have features consistent with those measured in stopped flow chemical denaturation experiments. The dominant inferred folding pathway has an "inside-out", nucleation-propagation like character.

Evolutionary paths, applications and future development of discrete event simulation systems; Simulazione a eventi discreti: nuove linee di sviluppo e applicazioni

Energy Technology Data Exchange (ETDEWEB)

Garetti, M. [Milan Politecnico, Milan (Italy). Dipt. di Economia e Produzione; Bartolotta, A.

2000-10-01

The state of the art of discrete event simulation tools is presented with special reference to the application to the manufacturing systems area. After presenting the basics of discrete event computer simulation, the different steps to be followed for the successful use of simulation are defined and discussed. The evolution of software packages for discrete event simulation is also presented, highlighting main technological changes. Finally the future development lines of simulation are outlined. [Italian] Viene presentato lo stato dell'arte della simulazione a eventi discreti. Dopo una breve descrizione della tecnica della simulazione e della sua evoluzione, con un particolare riguardo alla simulazione dei sistemi produttivi, sono descritte le fasi della procedura da seguire per condurre unostudio di simulazione e i possibili approcci per la costruzione del modello. Viene infine descritta l'evoluzione dei principali pacchetti software di simulazione esistenti sul mercato.

Sensitivity of Particle Size in Discrete Element Method to Particle Gas Method (DEM_PGM) Coupling in Underbody Blast Simulations

Science.gov (United States)

2016-06-12

Particle Size in Discrete Element Method to Particle Gas Method (DEM_PGM) Coupling in Underbody Blast Simulations Venkatesh Babu, Kumar Kulkarni, Sanjay...buried in soil viz., (1) coupled discrete element & particle gas methods (DEM-PGM) and (2) Arbitrary Lagrangian-Eulerian (ALE), are investigated. The...DEM_PGM and identify the limitations/strengths compared to the ALE method. Discrete Element Method (DEM) can model individual particle directly, and

A spectral approach for discrete dislocation dynamics simulations of nanoindentation

Science.gov (United States)

Bertin, Nicolas; Glavas, Vedran; Datta, Dibakar; Cai, Wei

2018-07-01

We present a spectral approach to perform nanoindentation simulations using three-dimensional nodal discrete dislocation dynamics. The method relies on a two step approach. First, the contact problem between an indenter of arbitrary shape and an isotropic elastic half-space is solved using a spectral iterative algorithm, and the contact pressure is fully determined on the half-space surface. The contact pressure is then used as a boundary condition of the spectral solver to determine the resulting stress field produced in the simulation volume. In both stages, the mechanical fields are decomposed into Fourier modes and are efficiently computed using fast Fourier transforms. To further improve the computational efficiency, the method is coupled with a subcycling integrator and a special approach is devised to approximate the displacement field associated with surface steps. As a benchmark, the method is used to compute the response of an elastic half-space using different types of indenter. An example of a dislocation dynamics nanoindentation simulation with complex initial microstructure is presented.

Development of discrete gas kinetic scheme for simulation of 3D viscous incompressible and compressible flows

Science.gov (United States)

Yang, L. M.; Shu, C.; Wang, Y.; Sun, Y.

2016-08-01

The sphere function-based gas kinetic scheme (GKS), which was presented by Shu and his coworkers [23] for simulation of inviscid compressible flows, is extended to simulate 3D viscous incompressible and compressible flows in this work. Firstly, we use certain discrete points to represent the spherical surface in the phase velocity space. Then, integrals along the spherical surface for conservation forms of moments, which are needed to recover 3D Navier-Stokes equations, are approximated by integral quadrature. The basic requirement is that these conservation forms of moments can be exactly satisfied by weighted summation of distribution functions at discrete points. It was found that the integral quadrature by eight discrete points on the spherical surface, which forms the D3Q8 discrete velocity model, can exactly match the integral. In this way, the conservative variables and numerical fluxes can be computed by weighted summation of distribution functions at eight discrete points. That is, the application of complicated formulations resultant from integrals can be replaced by a simple solution process. Several numerical examples including laminar flat plate boundary layer, 3D lid-driven cavity flow, steady flow through a 90° bending square duct, transonic flow around DPW-W1 wing and supersonic flow around NACA0012 airfoil are chosen to validate the proposed scheme. Numerical results demonstrate that the present scheme can provide reasonable numerical results for 3D viscous flows.

Modelling and nonlinear shock waves for binary gas mixtures by the discrete Boltzmann equation with multiple collisions

International Nuclear Information System (INIS)

Bianchi, M.P.

1991-01-01

The discrete Boltzmann equation is a mathematical model in the kinetic theory of gases which defines the time and space evolution of a system of gas particles with a finite number of selected velocities. Discrete kinetic theory is an interesting field of research in mathematical physics and applied mathematics for several reasons. One of the relevant fields of application of the discrete Boltzmann equation is the analysis of nonlinear shock wave phenomena. Here, a new multiple collision regular plane model for binary gas mixtures is proposed within the discrete theory of gases and applied to the analysis of the classical problems of shock wave propagation

Application of real space Kerker method in simulating gate-all-around nanowire transistors with realistic discrete dopants*

International Nuclear Information System (INIS)

Li Chang-Sheng; Ma Lei; Guo Jie-Rong

2017-01-01

We adopt a self-consistent real space Kerker method to prevent the divergence from charge sloshing in the simulating transistors with realistic discrete dopants in the source and drain regions. The method achieves efficient convergence by avoiding unrealistic long range charge sloshing but keeping effects from short range charge sloshing. Numerical results show that discrete dopants in the source and drain regions could have a bigger influence on the electrical variability than the usual continuous doping without considering charge sloshing. Few discrete dopants and the narrow geometry create a situation with short range Coulomb screening and oscillations of charge density in real space. The dopants induced quasi-localized defect modes in the source region experience short range oscillations in order to reach the drain end of the device. The charging of the defect modes and the oscillations of the charge density are identified by the simulation of the electron density. (paper)

Mathematical Progress in Expressive Image Synthesis I

CERN Document Server

2014-01-01

This book presents revised versions of the best papers selected from the symposium “Mathematical Progress in Expressive Image Synthesis” (MEIS2013) held in Fukuoka, Japan, in 2013. The topics cover various areas of computer graphics (CG), such as surface deformation/editing, character animation, visual simulation of fluids, texture and sound synthesis, and photorealistic rendering. From a mathematical point of view, the book also presents papers addressing discrete differential geometry, Lie theory, computational fluid dynamics, function interpolation, and learning theory. This book showcases the latest joint efforts between mathematicians, CG researchers, and practitioners exploring important issues in graphics and visual perception. The book provides a valuable resource for all computer graphics researchers seeking open problem areas, especially those now entering the field who have not yet selected a research direction.

An analysis of the Simpson Discrete Hartley transform | Ramsunder ...

African Journals Online (AJOL)

The relatively new Simpson Discrete Hartley Transform (SDHT) has interesting mathematical properties, which are crucial for applications. These are developed and proved in this paper. This analysis gives one a comprehensive understanding of the transform. Mathematics Subject Classication (2010): 43A32. Key words: ...

Discrete event simulation and virtual reality use in industry: new opportunities and future trends

OpenAIRE

Turner, Christopher; Hutabarat, Windo; Oyekan, John; Tiwari, Ashutosh

2016-01-01

This paper reviews the area of combined discrete event simulation (DES) and virtual reality (VR) use within industry. While establishing a state of the art for progress in this area, this paper makes the case for VR DES as the vehicle of choice for complex data analysis through interactive simulation models, highlighting both its advantages and current limitations. This paper reviews active research topics such as VR and DES real-time integration, communication protocols,...

A Parallel Framework with Block Matrices of a Discrete Fourier Transform for Vector-Valued Discrete-Time Signals

Directory of Open Access Journals (Sweden)

Pablo Soto-Quiros

2015-01-01

Full Text Available This paper presents a parallel implementation of a kind of discrete Fourier transform (DFT: the vector-valued DFT. The vector-valued DFT is a novel tool to analyze the spectra of vector-valued discrete-time signals. This parallel implementation is developed in terms of a mathematical framework with a set of block matrix operations. These block matrix operations contribute to analysis, design, and implementation of parallel algorithms in multicore processors. In this work, an implementation and experimental investigation of the mathematical framework are performed using MATLAB with the Parallel Computing Toolbox. We found that there is advantage to use multicore processors and a parallel computing environment to minimize the high execution time. Additionally, speedup increases when the number of logical processors and length of the signal increase.

DROpS: an object of learning in computer simulation of discrete events

Directory of Open Access Journals (Sweden)

Hugo Alves Silva Ribeiro

2015-09-01

Full Text Available This work presents the “Realistic Dynamics Of Simulated Operations” (DROpS, the name given to the dynamics using the “dropper” device as an object of teaching and learning. The objective is to present alternatives for professors teaching content related to simulation of discrete events to graduate students in production engineering. The aim is to enable students to develop skills related to data collection, modeling, statistical analysis, and interpretation of results. This dynamic has been developed and applied to the students by placing them in a situation analogous to a real industry, where various concepts related to computer simulation were discussed, allowing the students to put these concepts into practice in an interactive manner, thus facilitating learning

An excursion through elementary mathematics, volume iii discrete mathematics and polynomial algebra

CERN Document Server

Caminha Muniz Neto, Antonio

2018-01-01

This book provides a comprehensive, in-depth overview of elementary mathematics as explored in Mathematical Olympiads around the world. It expands on topics usually encountered in high school and could even be used as preparation for a first-semester undergraduate course. This third and last volume covers Counting, Generating Functions, Graph Theory, Number Theory, Complex Numbers, Polynomials, and much more. As part of a collection, the book differs from other publications in this field by not being a mere selection of questions or a set of tips and tricks that applies to specific problems. It starts from the most basic theoretical principles, without being either too general or too axiomatic. Examples and problems are discussed only if they are helpful as applications of the theory. Propositions are proved in detail and subsequently applied to Olympic problems or to other problems at the Olympic level. The book also explores some of the hardest problems presented at National and International Mathematics Ol...

New Challenges in the Teaching of Mathematics.

Science.gov (United States)

Bourguignon, Jean Pierre

The manifold but discrete presence of mathematics in many objects or services imposes new constraints to the teaching of mathematics. If citizens need to be comfortable in various situations with a variety of mathematical tools, the learning of mathematics requires that one starts with simple concepts. This paper proposes some solutions to solve…

A Discrete-Event Simulation Model for Evaluating Air Force Reusable Military Launch Vehicle Post-Landing Operations

National Research Council Canada - National Science Library

Martindale, Michael

2006-01-01

The purpose of this research was to develop a discrete-event computer simulation model of the post-landing vehicle recoveoperations to allow the Air Force Research Laboratory, Air Vehicles Directorate...

A new doubly discrete analogue of smoke ring flow and the real time simulation of fluid flow

International Nuclear Information System (INIS)

Pinkall, Ulrich; Springborn, Boris; Weissmann, Steffen

2007-01-01

Modelling incompressible ideal fluids as a finite collection of vortex filaments is important in physics (super-fluidity, models for the onset of turbulence) as well as for numerical algorithms used in computer graphics for the real time simulation of smoke. Here we introduce a time-discrete evolution equation for arbitrary closed polygons in 3-space that is a discretization of the localized induction approximation of filament motion. This discretization shares with its continuum limit the property that it is a completely integrable system. We apply this polygon evolution to a significant improvement of the numerical algorithms used in computer graphics

Accuracy of the discrete dipole approximation for simulation of optical properties of gold nanoparticles

NARCIS (Netherlands)

Yurkin, M.A.; de Kanter, D.; Hoekstra, A.G.

2010-01-01

We studied the accuracy of the discrete dipole approximation (DDA) for simulations of absorption and scattering spectra by gold nanoparticles (spheres, cubes, and rods ranging in size from 10 to 100 nm). We varied the dipole resolution and applied two DDA formulations, employing the standard lattice

Estimating ICU bed capacity using discrete event simulation.

Science.gov (United States)

Zhu, Zhecheng; Hen, Bee Hoon; Teow, Kiok Liang

2012-01-01

The intensive care unit (ICU) in a hospital caters for critically ill patients. The number of the ICU beds has a direct impact on many aspects of hospital performance. Lack of the ICU beds may cause ambulance diversion and surgery cancellation, while an excess of ICU beds may cause a waste of resources. This paper aims to develop a discrete event simulation (DES) model to help the healthcare service providers determine the proper ICU bed capacity which strikes the balance between service level and cost effectiveness. The DES model is developed to reflect the complex patient flow of the ICU system. Actual operational data, including emergency arrivals, elective arrivals and length of stay, are directly fed into the DES model to capture the variations in the system. The DES model is validated by open box test and black box test. The validated model is used to test two what-if scenarios which the healthcare service providers are interested in: the proper number of the ICU beds in service to meet the target rejection rate and the extra ICU beds in service needed to meet the demand growth. A 12-month period of actual operational data was collected from an ICU department with 13 ICU beds in service. Comparison between the simulation results and the actual situation shows that the DES model accurately captures the variations in the system, and the DES model is flexible to simulate various what-if scenarios. DES helps the healthcare service providers describe the current situation, and simulate the what-if scenarios for future planning.

Discrete-event simulation for the design and evaluation of physical protection systems

International Nuclear Information System (INIS)

Jordan, S.E.; Snell, M.K.; Madsen, M.M.; Smith, J.S.; Peters, B.A.

1998-01-01

This paper explores the use of discrete-event simulation for the design and control of physical protection systems for fixed-site facilities housing items of significant value. It begins by discussing several modeling and simulation activities currently performed in designing and analyzing these protection systems and then discusses capabilities that design/analysis tools should have. The remainder of the article then discusses in detail how some of these new capabilities have been implemented in software to achieve a prototype design and analysis tool. The simulation software technology provides a communications mechanism between a running simulation and one or more external programs. In the prototype security analysis tool, these capabilities are used to facilitate human-in-the-loop interaction and to support a real-time connection to a virtual reality (VR) model of the facility being analyzed. This simulation tool can be used for both training (in real-time mode) and facility analysis and design (in fast mode)

Influence of radioactive sources discretization in the Monte Carlo computational simulations of brachytherapy procedures: a case study on the procedures for treatment of prostate cancer

International Nuclear Information System (INIS)

Barbosa, Antonio Konrado de Santana; Vieira, Jose Wilson; Costa, Kleber Souza Silva; Lima, Fernando Roberto de Andrade

2011-01-01

Radiotherapy computational simulation procedures using Monte Carlo (MC) methods have shown to be increasingly important to the improvement of cancer fighting strategies. One of the biases in this practice is the discretization of the radioactive source in brachytherapy simulations, which often do not match with a real situation. This study had the aim to identify and to measure the influence of radioactive sources discretization in brachytherapy MC simulations when compared to those that do not present discretization, using prostate brachytherapy with Iodine-125 radionuclide as model. Simulations were carried out with 108 events with both types of sources to compare them using EGSnrc code associated to MASH phantom in orthostatic and supine positions with some anatomic adaptations. Significant alterations were found, especially regarding bladder, rectum and the prostate itself. It can be concluded that there is a need to discretized sources in brachytherapy simulations to ensure its representativeness. (author)

Comparison of the methods for discrete approximation of the fractional-order operator

Directory of Open Access Journals (Sweden)

Zborovjan Martin

2003-12-01

Full Text Available In this paper we will present some alternative types of discretization methods (discrete approximation for the fractional-order (FO differentiator and their application to the FO dynamical system described by the FO differential equation (FDE. With analytical solution and numerical solution by power series expansion (PSE method are compared two effective methods - the Muir expansion of the Tustin operator and continued fraction expansion method (CFE with the Tustin operator and the Al-Alaoui operator. Except detailed mathematical description presented are also simulation results. From the Bode plots of the FO differentiator and FDE and from the solution in the time domain we can see, that the CFE is a more effective method according to the PSE method, but there are some restrictions for the choice of the time step. The Muir expansion is almost unusable.

Evaluation of a proposed optimization method for discrete-event simulation models

Directory of Open Access Journals (Sweden)

Alexandre Ferreira de Pinho

2012-12-01

Full Text Available Optimization methods combined with computer-based simulation have been utilized in a wide range of manufacturing applications. However, in terms of current technology, these methods exhibit low performance levels which are only able to manipulate a single decision variable at a time. Thus, the objective of this article is to evaluate a proposed optimization method for discrete-event simulation models based on genetic algorithms which exhibits more efficiency in relation to computational time when compared to software packages on the market. It should be emphasized that the variable's response quality will not be altered; that is, the proposed method will maintain the solutions' effectiveness. Thus, the study draws a comparison between the proposed method and that of a simulation instrument already available on the market and has been examined in academic literature. Conclusions are presented, confirming the proposed optimization method's efficiency.

An Improved Manufacturing Approach for Discrete Silicon Microneedle Arrays with Tunable Height-Pitch Ratio

Directory of Open Access Journals (Sweden)

Renxin Wang

2016-10-01

Full Text Available Silicon microneedle arrays (MNAs have been widely studied due to their potential in various transdermal applications. However, discrete MNAs, as a preferred choice to fabricate flexible penetrating devices that could adapt curved and elastic tissue, are rarely reported. Furthermore, the reported discrete MNAs have disadvantages lying in uniformity and height-pitch ratio. Therefore, an improved technique is developed to manufacture discrete MNA with tunable height-pitch ratio, which involves KOH-dicing-KOH process. The detailed process is sketched and simulated to illustrate the formation of microneedles. Furthermore, the undercutting of convex mask in two KOH etching steps are mathematically analyzed, in order to reveal the relationship between etching depth and mask dimension. Subsequently, fabrication results demonstrate KOH-dicing-KOH process. {321} facet is figured out as the surface of octagonal pyramid microneedle. MNAs with diverse height and pitch are also presented to identify the versatility of this approach. At last, the metallization is realized via successive electroplating.

Radiative transfer on discrete spaces

CERN Document Server

Preisendorfer, Rudolph W; Stark, M; Ulam, S

1965-01-01

Pure and Applied Mathematics, Volume 74: Radiative Transfer on Discrete Spaces presents the geometrical structure of natural light fields. This book describes in detail with mathematical precision the radiometric interactions of light-scattering media in terms of a few well established principles.Organized into four parts encompassing 15 chapters, this volume begins with an overview of the derivations of the practical formulas and the arrangement of formulas leading to numerical solution procedures of radiative transfer problems in plane-parallel media. This text then constructs radiative tran

Simulation of granular and gas-solid flows using discrete element method

Science.gov (United States)

Boyalakuntla, Dhanunjay S.

2003-10-01

In recent years there has been increased research activity in the experimental and numerical study of gas-solid flows. Flows of this type have numerous applications in the energy, pharmaceuticals, and chemicals process industries. Typical applications include pulverized coal combustion, flow and heat transfer in bubbling and circulating fluidized beds, hopper and chute flows, pneumatic transport of pharmaceutical powders and pellets, and many more. The present work addresses the study of gas-solid flows using computational fluid dynamics (CFD) techniques and discrete element simulation methods (DES) combined. Many previous studies of coupled gas-solid flows have been performed assuming the solid phase as a continuum with averaged properties and treating the gas-solid flow as constituting of interpenetrating continua. Instead, in the present work, the gas phase flow is simulated using continuum theory and the solid phase flow is simulated using DES. DES treats each solid particle individually, thus accounting for its dynamics due to particle-particle interactions, particle-wall interactions as well as fluid drag and buoyancy. The present work involves developing efficient DES methods for dense granular flow and coupling this simulation to continuum simulations of the gas phase flow. Simulations have been performed to observe pure granular behavior in vibrating beds. Benchmark cases have been simulated and the results obtained match the published literature. The dimensionless acceleration amplitude and the bed height are the parameters governing bed behavior. Various interesting behaviors such as heaping, round and cusp surface standing waves, as well as kinks, have been observed for different values of the acceleration amplitude for a given bed height. Furthermore, binary granular mixtures (granular mixtures with two particle sizes) in a vibrated bed have also been studied. Gas-solid flow simulations have been performed to study fluidized beds. Benchmark 2D

A discrete event modelling framework for simulation of long-term outcomes of sequential treatment strategies for ankylosing spondylitis

NARCIS (Netherlands)

A. Tran-Duy (An); A. Boonen (Annelies); M.A.F.J. van de Laar (Mart); A. Franke (Andre); J.L. Severens (Hans)

2011-01-01

textabstractObjective: To develop a modelling framework which can simulate long-term quality of life, societal costs and cost-effectiveness as affected by sequential drug treatment strategies for ankylosing spondylitis (AS). Methods: Discrete event simulation paradigm was selected for model

A discrete event modelling framework for simulation of long-term outcomes of sequential treatment strategies for ankylosing spondylitis

NARCIS (Netherlands)

Tran-Duy, A.; Boonen, A.; Laar, M.A.F.J.; Franke, A.C.; Severens, J.L.

2011-01-01

Objective To develop a modelling framework which can simulate long-term quality of life, societal costs and cost-effectiveness as affected by sequential drug treatment strategies for ankylosing spondylitis (AS). Methods Discrete event simulation paradigm was selected for model development. Drug

Mathematical models for photovoltaic solar panel simulation

Energy Technology Data Exchange (ETDEWEB)

Santos, Jose Airton A. dos; Gnoatto, Estor; Fischborn, Marcos; Kavanagh, Edward [Universidade Tecnologica Federal do Parana (UTFPR), Medianeira, PR (Brazil)], Emails: airton@utfpr.edu.br, gnoatto@utfpr.edu.br, fisch@utfpr.edu.br, kavanagh@utfpr.edu.br

2008-07-01

A photovoltaic generator is subject to several variations of solar intensity, ambient temperature or load, that change your point of operation. This way, your behavior should be analyzed by such alterations, to optimize your operation. The present work sought to simulate a photovoltaic generator, of polycrystalline silicon, by characteristics supplied by the manufacturer, and to compare the results of two mathematical models with obtained values of field, in the city of Cascavel, for a period of one year. (author)

Three-dimensional poor man's Navier-Stokes equation: a discrete dynamical system exhibiting k(-5/3) inertial subrange energy scaling.

Science.gov (United States)

McDonough, J M

2009-06-01

Outline of the derivation and mathematical and physical interpretations are presented for a discrete dynamical system known as the "poor man's Navier-Stokes equation." Numerical studies demonstrate that velocity fields produced by this dynamical system are similar to those seen in laboratory experiments and in detailed simulations, and they lead to scaling for the turbulence kinetic energy spectrum in accord with Kolmogorov K41 theory.

A discretized algorithm for the solution of a constrained, continuous ...

African Journals Online (AJOL)

A discretized algorithm for the solution of a constrained, continuous quadratic control problem. ... The results obtained show that the Discretized constrained algorithm (DCA) is much more accurate and more efficient than some of these techniques, particularly the FSA. Journal of the Nigerian Association of Mathematical ...

Modeling energy market dynamics using discrete event system simulation

International Nuclear Information System (INIS)

Gutierrez-Alcaraz, G.; Sheble, G.B.

2009-01-01

This paper proposes the use of Discrete Event System Simulation to study the interactions among fuel and electricity markets and consumers, and the decision-making processes of fuel companies (FUELCOs), generation companies (GENCOs), and consumers in a simple artificial energy market. In reality, since markets can reach a stable equilibrium or fail, it is important to observe how they behave in a dynamic framework. We consider a Nash-Cournot model in which marketers are depicted as Nash-Cournot players that determine supply to meet end-use consumption. Detailed engineering considerations such as transportation network flows are omitted, because the focus is upon the selection and use of appropriate market models to provide answers to policy questions. (author)

Discrete vortex method simulations of aerodynamic admittance in bridge aerodynamics

DEFF Research Database (Denmark)

Rasmussen, Johannes Tophøj; Hejlesen, Mads Mølholm; Larsen, Allan

, and to determine aerodynamic forces and the corresponding flutter limit. A simulation of the three-dimensional bridge responseto turbulent wind is carried out by quasi steady theory by modelling the bridge girder as a line like structure [2], applying the aerodynamic load coefficients found from the current version......The meshless and remeshed Discrete Vortex Method (DVM) has been widely used in academia and by the industry to model two-dimensional flow around bluff bodies. The implementation “DVMFLOW” [1] is used by the bridge design company COWI to determine and visualise the flow field around bridge sections...

Design of Experiment Using Simulation of a Discrete Dynamical System

Directory of Open Access Journals (Sweden)

Mašek Jan

2016-12-01

Full Text Available The topic of the presented paper is a promising approach to achieve optimal Design of Experiment (DoE, i.e. spreading of points within a design domain, using a simulation of a discrete dynamical system of interacting particles within an n-dimensional design space. The system of mutually repelling particles represents a physical analogy of the Audze-Eglājs (AE optimization criterion and its periodical modification (PAE, respectively. The paper compares the performance of two approaches to implementation: a single-thread process using the JAVA language environment and a massively parallel solution employing the nVidia CUDA platform.

Combined Simulated Annealing Algorithm for the Discrete Facility Location Problem

Directory of Open Access Journals (Sweden)

Jin Qin

2012-01-01

Full Text Available The combined simulated annealing (CSA algorithm was developed for the discrete facility location problem (DFLP in the paper. The method is a two-layer algorithm, in which the external subalgorithm optimizes the decision of the facility location decision while the internal subalgorithm optimizes the decision of the allocation of customer's demand under the determined location decision. The performance of the CSA is tested by 30 instances with different sizes. The computational results show that CSA works much better than the previous algorithm on DFLP and offers a new reasonable alternative solution method to it.

Proceedings – Mathematical Sciences | Indian Academy of Sciences

Indian Academy of Sciences (India)

Home; Journals; Proceedings – Mathematical Sciences; Volume 123; Issue 2. Notes on Discrete Subgroups of Möbius Transformations ... Department of Applied Mathematics, Hunan University, Changsha 410082, People's Republic of China; School of Mathematics and Computational Science, Wuyi University, Jiangmen, ...

Examining Passenger Flow Choke Points at Airports Using Discrete Event Simulation

Science.gov (United States)

Brown, Jeremy R.; Madhavan, Poomima

2011-01-01

The movement of passengers through an airport quickly, safely, and efficiently is the main function of the various checkpoints (check-in, security. etc) found in airports. Human error combined with other breakdowns in the complex system of the airport can disrupt passenger flow through the airport leading to lengthy waiting times, missing luggage and missed flights. In this paper we present a model of passenger flow through an airport using discrete event simulation that will provide a closer look into the possible reasons for breakdowns and their implications for passenger flow. The simulation is based on data collected at Norfolk International Airport (ORF). The primary goal of this simulation is to present ways to optimize the work force to keep passenger flow smooth even during peak travel times and for emergency preparedness at ORF in case of adverse events. In this simulation we ran three different scenarios: real world, increased check-in stations, and multiple waiting lines. Increased check-in stations increased waiting time and instantaneous utilization. while the multiple waiting lines decreased both the waiting time and instantaneous utilization. This simulation was able to show how different changes affected the passenger flow through the airport.

Discrete element simulation of mill charge in 3D using the BLAZE-DEM GPU framework

CSIR Research Space (South Africa)

Govender, Nicolin

2015-08-01

Full Text Available The Discrete Element Method (DEM) simulation of charge motion in ball, semi autogenous (SAG) and autogenous mills has advanced to a stage where the effects of lifter design, power draft and product size can be evaluated with sufficient accuracy...

Mathematical modelling

CERN Document Server

2016-01-01

This book provides a thorough introduction to the challenge of applying mathematics in real-world scenarios. Modelling tasks rarely involve well-defined categories, and they often require multidisciplinary input from mathematics, physics, computer sciences, or engineering. In keeping with this spirit of modelling, the book includes a wealth of cross-references between the chapters and frequently points to the real-world context. The book combines classical approaches to modelling with novel areas such as soft computing methods, inverse problems, and model uncertainty. Attention is also paid to the interaction between models, data and the use of mathematical software. The reader will find a broad selection of theoretical tools for practicing industrial mathematics, including the analysis of continuum models, probabilistic and discrete phenomena, and asymptotic and sensitivity analysis.

Three-dimensional discrete element method simulation of core disking

Science.gov (United States)

Wu, Shunchuan; Wu, Haoyan; Kemeny, John

2018-04-01

The phenomenon of core disking is commonly seen in deep drilling of highly stressed regions in the Earth's crust. Given its close relationship with the in situ stress state, the presence and features of core disking can be used to interpret the stresses when traditional in situ stress measuring techniques are not available. The core disking process was simulated in this paper using the three-dimensional discrete element method software PFC3D (particle flow code). In particular, PFC3D is used to examine the evolution of fracture initiation, propagation and coalescence associated with core disking under various stress states. In this paper, four unresolved problems concerning core disking are investigated with a series of numerical simulations. These simulations also provide some verification of existing results by other researchers: (1) Core disking occurs when the maximum principal stress is about 6.5 times the tensile strength. (2) For most stress situations, core disking occurs from the outer surface, except for the thrust faulting stress regime, where the fractures were found to initiate from the inner part. (3) The anisotropy of the two horizontal principal stresses has an effect on the core disking morphology. (4) The thickness of core disk has a positive relationship with radial stress and a negative relationship with axial stresses.

Performance Analysis of Cloud Computing Architectures Using Discrete Event Simulation

Science.gov (United States)

Stocker, John C.; Golomb, Andrew M.

2011-01-01

Cloud computing offers the economic benefit of on-demand resource allocation to meet changing enterprise computing needs. However, the flexibility of cloud computing is disadvantaged when compared to traditional hosting in providing predictable application and service performance. Cloud computing relies on resource scheduling in a virtualized network-centric server environment, which makes static performance analysis infeasible. We developed a discrete event simulation model to evaluate the overall effectiveness of organizations in executing their workflow in traditional and cloud computing architectures. The two part model framework characterizes both the demand using a probability distribution for each type of service request as well as enterprise computing resource constraints. Our simulations provide quantitative analysis to design and provision computing architectures that maximize overall mission effectiveness. We share our analysis of key resource constraints in cloud computing architectures and findings on the appropriateness of cloud computing in various applications.

On the discrete reconciliation of relativity and quantum mechanics

International Nuclear Information System (INIS)

Noyes, H.P.

1987-03-01

A way is sketched to replace physics based on arbitrary units of mass, length, and time by counting in terms of these quantized values and to replace continuum mathematical physics by computer science. The consequences of such a discrete physics are summarized. These are obtained by postulating finiteness, discreteness, finite computability, absolute non-uniqueness, and additivity

Modeling discrete and continuous entities with fractions and decimals.

Science.gov (United States)

Rapp, Monica; Bassok, Miriam; DeWolf, Melissa; Holyoak, Keith J

2015-03-01

When people use mathematics to model real-life situations, their use of mathematical expressions is often mediated by semantic alignment (Bassok, Chase, & Martin, 1998): The entities in a problem situation evoke semantic relations (e.g., tulips and vases evoke the functionally asymmetric "contain" relation), which people align with analogous mathematical relations (e.g., the noncommutative division operation, tulips/vases). Here we investigate the possibility that semantic alignment is also involved in the comprehension and use of rational numbers (fractions and decimals). A textbook analysis and results from two experiments revealed that both mathematic educators and college students tend to align the discreteness versus continuity of the entities in word problems (e.g., marbles vs. distance) with distinct symbolic representations of rational numbers--fractions versus decimals, respectively. In addition, fractions and decimals tend to be used with nonmetric units and metric units, respectively. We discuss the importance of the ontological distinction between continuous and discrete entities to mathematical cognition, the role of symbolic notations, and possible implications of our findings for the teaching of rational numbers. PsycINFO Database Record (c) 2015 APA, all rights reserved.

On the application of Discrete Time Optimal Control Concepts to ...

African Journals Online (AJOL)

On the application of Discrete Time Optimal Control Concepts to Economic Problems. ... Journal of the Nigerian Association of Mathematical Physics ... Abstract. An extension of the use of the maximum principle to solve Discrete-time Optimal Control Problems (DTOCP), in which the state equations are in the form of general ...

Visual Data-Analytics of Large-Scale Parallel Discrete-Event Simulations

Energy Technology Data Exchange (ETDEWEB)

Ross, Caitlin; Carothers, Christopher D.; Mubarak, Misbah; Carns, Philip; Ross, Robert; Li, Jianping Kelvin; Ma, Kwan-Liu

2016-11-13

Parallel discrete-event simulation (PDES) is an important tool in the codesign of extreme-scale systems because PDES provides a cost-effective way to evaluate designs of highperformance computing systems. Optimistic synchronization algorithms for PDES, such as Time Warp, allow events to be processed without global synchronization among the processing elements. A rollback mechanism is provided when events are processed out of timestamp order. Although optimistic synchronization protocols enable the scalability of large-scale PDES, the performance of the simulations must be tuned to reduce the number of rollbacks and provide an improved simulation runtime. To enable efficient large-scale optimistic simulations, one has to gain insight into the factors that affect the rollback behavior and simulation performance. We developed a tool for ROSS model developers that gives them detailed metrics on the performance of their large-scale optimistic simulations at varying levels of simulation granularity. Model developers can use this information for parameter tuning of optimistic simulations in order to achieve better runtime and fewer rollbacks. In this work, we instrument the ROSS optimistic PDES framework to gather detailed statistics about the simulation engine. We have also developed an interactive visualization interface that uses the data collected by the ROSS instrumentation to understand the underlying behavior of the simulation engine. The interface connects real time to virtual time in the simulation and provides the ability to view simulation data at different granularities. We demonstrate the usefulness of our framework by performing a visual analysis of the dragonfly network topology model provided by the CODES simulation framework built on top of ROSS. The instrumentation needs to minimize overhead in order to accurately collect data about the simulation performance. To ensure that the instrumentation does not introduce unnecessary overhead, we perform a

Exact discretization of Schrödinger equation

Energy Technology Data Exchange (ETDEWEB)

Tarasov, Vasily E., E-mail: tarasov@theory.sinp.msu.ru

2016-01-08

There are different approaches to discretization of the Schrödinger equation with some approximations. In this paper we derive a discrete equation that can be considered as exact discretization of the continuous Schrödinger equation. The proposed discrete equation is an equation with difference of integer order that is represented by infinite series. We suggest differences, which are characterized by power-law Fourier transforms. These differences can be considered as exact discrete analogs of derivatives of integer orders. Physically the suggested discrete equation describes a chain (or lattice) model with long-range interaction of power-law form. Mathematically it is a uniquely highlighted difference equation that exactly corresponds to the continuous Schrödinger equation. Using the Young's inequality for convolution, we prove that suggested differences are operators on the Hilbert space of square-summable sequences. We prove that the wave functions, which are exact discrete analogs of the free particle and harmonic oscillator solutions of the continuous Schrödinger equations, are solutions of the suggested discrete Schrödinger equations. - Highlights: • Exact discretization of the continuous Schrödinger equation is suggested. • New long-range interactions of power-law form are suggested. • Solutions of discrete Schrödinger equation are exact discrete analogs of continuous solutions.

Exact discretization of Schrödinger equation

International Nuclear Information System (INIS)

Tarasov, Vasily E.

2016-01-01

There are different approaches to discretization of the Schrödinger equation with some approximations. In this paper we derive a discrete equation that can be considered as exact discretization of the continuous Schrödinger equation. The proposed discrete equation is an equation with difference of integer order that is represented by infinite series. We suggest differences, which are characterized by power-law Fourier transforms. These differences can be considered as exact discrete analogs of derivatives of integer orders. Physically the suggested discrete equation describes a chain (or lattice) model with long-range interaction of power-law form. Mathematically it is a uniquely highlighted difference equation that exactly corresponds to the continuous Schrödinger equation. Using the Young's inequality for convolution, we prove that suggested differences are operators on the Hilbert space of square-summable sequences. We prove that the wave functions, which are exact discrete analogs of the free particle and harmonic oscillator solutions of the continuous Schrödinger equations, are solutions of the suggested discrete Schrödinger equations. - Highlights: • Exact discretization of the continuous Schrödinger equation is suggested. • New long-range interactions of power-law form are suggested. • Solutions of discrete Schrödinger equation are exact discrete analogs of continuous solutions.

Mathematical Simulation of High-Conversion Binary Copolymerization

Institute of Scientific and Technical Information of China (English)

JiangWei; QinJiguang

2005-01-01

A new model for mathematical simulation of high-conversion binary copolymerization was established by combination of the concept of the three stage polymerization model (TSPM) proposed by Qin et al. for bulk free radical homopolymerization with the North equation to describe high-conversion copolymerization reaction exhibiting a strong gel effect, and the mathematical expressions of this new model were derived. Like TSPM, the new model also assmnes that the whole course of binary copolymerization can be divided into three different stages: low conversion, gel effect and glass effect stages. In addition, the reaction rate constants and the initiator efficiency at each copolymerization stage do not vary with conversion. Based on the expressions derived, a plot method for determining the overall rate constants and critical conversions was proposed. The literature data on conversion history for styrene (St)-methyl methacrylate (MMA) and ethylene glycol dimethacrylate (EGDMA)-MMA copolymerizations were treated to examine the model, which shows that the model is satisfactory.

Developing Flexible Discrete Event Simulation Models in an Uncertain Policy Environment

Science.gov (United States)

Miranda, David J.; Fayez, Sam; Steele, Martin J.

2011-01-01

On February 1st, 2010 U.S. President Barack Obama submitted to Congress his proposed budget request for Fiscal Year 2011. This budget included significant changes to the National Aeronautics and Space Administration (NASA), including the proposed cancellation of the Constellation Program. This change proved to be controversial and Congressional approval of the program's official cancellation would take many months to complete. During this same period an end-to-end discrete event simulation (DES) model of Constellation operations was being built through the joint efforts of Productivity Apex Inc. (PAl) and Science Applications International Corporation (SAIC) teams under the guidance of NASA. The uncertainty in regards to the Constellation program presented a major challenge to the DES team, as to: continue the development of this program-of-record simulation, while at the same time remain prepared for possible changes to the program. This required the team to rethink how it would develop it's model and make it flexible enough to support possible future vehicles while at the same time be specific enough to support the program-of-record. This challenge was compounded by the fact that this model was being developed through the traditional DES process-orientation which lacked the flexibility of object-oriented approaches. The team met this challenge through significant pre-planning that led to the "modularization" of the model's structure by identifying what was generic, finding natural logic break points, and the standardization of interlogic numbering system. The outcome of this work resulted in a model that not only was ready to be easily modified to support any future rocket programs, but also a model that was extremely structured and organized in a way that facilitated rapid verification. This paper discusses in detail the process the team followed to build this model and the many advantages this method provides builders of traditional process-oriented discrete

Preservice Teachers' Video Simulations and Subsequent Noticing: A Practice-Based Method to Prepare Mathematics Teachers

Science.gov (United States)

Amador, Julie M.

2017-01-01

The purpose of this study was to implement a Video Simulation Task in a mathematics methods teacher education course to engage preservice teachers in considering both the teaching and learning aspects of mathematics lesson delivery. Participants anticipated student and teacher thinking and created simulations, in which they acted out scenes on a…

Adaptive Core Simulation Employing Discrete Inverse Theory - Part II: Numerical Experiments

International Nuclear Information System (INIS)

Abdel-Khalik, Hany S.; Turinsky, Paul J.

2005-01-01

Use of adaptive simulation is intended to improve the fidelity and robustness of important core attribute predictions such as core power distribution, thermal margins, and core reactivity. Adaptive simulation utilizes a selected set of past and current reactor measurements of reactor observables, i.e., in-core instrumentation readings, to adapt the simulation in a meaningful way. The companion paper, ''Adaptive Core Simulation Employing Discrete Inverse Theory - Part I: Theory,'' describes in detail the theoretical background of the proposed adaptive techniques. This paper, Part II, demonstrates several computational experiments conducted to assess the fidelity and robustness of the proposed techniques. The intent is to check the ability of the adapted core simulator model to predict future core observables that are not included in the adaption or core observables that are recorded at core conditions that differ from those at which adaption is completed. Also, this paper demonstrates successful utilization of an efficient sensitivity analysis approach to calculate the sensitivity information required to perform the adaption for millions of input core parameters. Finally, this paper illustrates a useful application for adaptive simulation - reducing the inconsistencies between two different core simulator code systems, where the multitudes of input data to one code are adjusted to enhance the agreement between both codes for important core attributes, i.e., core reactivity and power distribution. Also demonstrated is the robustness of such an application

Mathematical modelling and numerical simulation of forces in milling process

Science.gov (United States)

Turai, Bhanu Murthy; Satish, Cherukuvada; Prakash Marimuthu, K.

2018-04-01

Machining of the material by milling induces forces, which act on the work piece material, tool and which in turn act on the machining tool. The forces involved in milling process can be quantified, mathematical models help to predict these forces. A lot of research has been carried out in this area in the past few decades. The current research aims at developing a mathematical model to predict forces at different levels which arise machining of Aluminium6061 alloy. Finite element analysis was used to develop a FE model to predict the cutting forces. Simulation was done for varying cutting conditions. Different experiments was designed using Taguchi method. A L9 orthogonal array was designed and the output was measure for the different experiments. The same was used to develop the mathematical model.

Mathematical Modelling, Simulation, and Optimal Control of the 2014 Ebola Outbreak in West Africa

Directory of Open Access Journals (Sweden)

Amira Rachah

2015-01-01

it is crucial to modelize the virus and simulate it. In this paper, we begin by studying a simple mathematical model that describes the 2014 Ebola outbreak in Liberia. Then, we use numerical simulations and available data provided by the World Health Organization to validate the obtained mathematical model. Moreover, we develop a new mathematical model including vaccination of individuals. We discuss different cases of vaccination in order to predict the effect of vaccination on the infected individuals over time. Finally, we apply optimal control to study the impact of vaccination on the spread of the Ebola virus. The optimal control problem is solved numerically by using a direct multiple shooting method.

Control of discrete-event systems with modular or distributed structure

Czech Academy of Sciences Publication Activity Database

Komenda, Jan; van Schuppen, J. H.

2007-01-01

Roč. 388, č. 3 (2007), s. 199-226 ISSN 0304-3975 R&D Projects: GA AV ČR(CZ) KJB100190609 Institutional research plan: CEZ:AV0Z10190503 Keywords : supervisory control * modular discrete-event system * distributed discrete-event system Subject RIV: BA - General Mathematics Impact factor: 0.735, year: 2007

Transversals in non-discrete groups

Indian Academy of Sciences (India)

Transversals in non-discrete groups. RAMJI LAL and R P SHUKLA. Department of Mathematics, University of Allahabad, Allahabad 211 002, India. E-mail: ramjilal@mri.ernet.in; rps@mri.ernet.in. MS received 2 August 2004; revised 4 August 2005. Abstract. The concept of 'topological right transversal' is introduced to study ...

Discrete port-Hamiltonian systems : mixed interconnections

NARCIS (Netherlands)

Talasila, Viswanath; Clemente-Gallardo, J.; Schaft, A.J. van der

2005-01-01

Either from a control theoretic viewpoint or from an analysis viewpoint it is necessary to convert smooth systems to discrete systems, which can then be implemented on computers for numerical simulations. Discrete models can be obtained either by discretizing a smooth model, or by directly modeling

Representations of classical groups on the lattice and its application to the field theory on discrete space-time

OpenAIRE

Lorente, M.

2003-01-01

We explore the mathematical consequences of the assumption of a discrete space-time. The fundamental laws of physics have to be translated into the language of discrete mathematics. We find integral transformations that leave the lattice of any dimension invariant and apply these transformations to field equations.

Stochastic search in structural optimization - Genetic algorithms and simulated annealing

Science.gov (United States)

Hajela, Prabhat

1993-01-01

An account is given of illustrative applications of genetic algorithms and simulated annealing methods in structural optimization. The advantages of such stochastic search methods over traditional mathematical programming strategies are emphasized; it is noted that these methods offer a significantly higher probability of locating the global optimum in a multimodal design space. Both genetic-search and simulated annealing can be effectively used in problems with a mix of continuous, discrete, and integer design variables.

DISCRETE FIXED POINT THEOREMS AND THEIR APPLICATION TO NASH EQUILIBRIUM

OpenAIRE

Sato, Junichi; Kawasaki, Hidefumi

2007-01-01

Fixed point theorems are powerful tools in not only mathematics but also economic. In some economic problems, we need not real-valued but integer-valued equilibriums. However, classical fixed point theorems guarantee only real-valued equilibria. So we need discrete fixed point theorems in order to get discrete equilibria. In this paper, we first provide discrete fixed point theorems, next apply them to a non-cooperative game and prove the existence of a Nash equilibrium of pure strategies.

A model management system for combat simulation

OpenAIRE

Dolk, Daniel R.

1986-01-01

The design and implementation of a model management system to support combat modeling is discussed. Structured modeling is introduced as a formalism for representing mathematical models. A relational information resource dictionary system is developed which can accommodate structured models. An implementation is described. Structured modeling is then compared to Jackson System Development (JSD) as a methodology for facilitating discrete event simulation. JSD is currently better at representin...

9th Annual Conference of the North East Polytechnics Mathematical Modelling & Computer Simulation Group

CERN Document Server

Bradley, R

1987-01-01

In recent years, mathematical modelling allied to computer simulation has emerged as en effective and invaluable design tool for industry and a discipline in its own right. This has been reflected in the popularity of the growing number of courses and conferences devoted to the area. The North East Polytechnics Mathematical Modelling and Computer Simulation Group has a balanced representation of academics and industrialists and, as a Group, has the objective of promoting a continuing partnership between the Polytechnics in the North East and local industry. Prior to the present conference the Group has organised eight conferences with a variety of themes related to mathematical modelling and computer simulation. The theme chosen for the Polymodel 9 Conference held in Newcastle upon Tyne in May 1986 was Industrial Vibration Modelling, which is particularly approp riate for 'Industry Year' and is an area which continues to present industry and academics with new and challenging problems. The aim of the Conferen...

On simulation of no-slip condition in the method of discrete vortices

Science.gov (United States)

Shmagunov, O. A.

2017-10-01

When modeling flows of an incompressible fluid, it is convenient sometimes to use the method of discrete vortices (MDV), where the continuous vorticity field is approximated by a set of discrete vortex elements moving in the velocity field. The vortex elements have a clear physical interpretation, they do not require the construction of grids and are automatically adaptive, since they concentrate in the regions of greatest interest and successfully describe the flows of a non-viscous fluid. The possibility of using MDV in simulating flows of a viscous fluid was considered in the previous papers using the examples of flows past bodies with sharp edges with the no-penetration condition at solid boundaries. However, the appearance of vorticity on smooth boundaries requires the no-slip condition to be met when MDV is realized, which substantially complicates the initially simple method. In this connection, an approach is considered that allows solving the problem by simple means.

Core-Plus Mathematics. What Works Clearinghouse Intervention Report

Science.gov (United States)

What Works Clearinghouse, 2010

2010-01-01

"Core-Plus Mathematics" is a four-year curriculum that replaces the traditional sequence with courses that each feature interwoven strands of algebra and functions, statistics and probability, geometry and trigonometry, and discrete mathematics. The first three courses in the series provide a common core of broadly useful mathematics,…

Discrete expansions of continuum wave functions

International Nuclear Information System (INIS)

Bang, J.; Ershov, S.N.; Gareev, F.A.; Kazacha, G.S.

1980-01-01

Different methods of expanding continuum wave functions in terms of discrete basis sets are discussed. The convergence properties of these expansions are investigated, both from a mathematical and a numerical point of view, for the case of potentials of Woods-Saxon and square well type. (orig.)

Understanding the discrete element method simulation of non-spherical particles for granular and multi-body systems

CERN Document Server

Matuttis, Hans-Georg

2014-01-01

Gives readers a more thorough understanding of DEM and equips researchers for independent work and an ability to judge methods related to simulation of polygonal particles Introduces DEM from the fundamental concepts (theoretical mechanics and solidstate physics), with 2D and 3D simulation methods for polygonal particlesProvides the fundamentals of coding discrete element method (DEM) requiring little advance knowledge of granular matter or numerical simulationHighlights the numerical tricks and pitfalls that are usually only realized after years of experience, with relevant simple experiment

Discrete-event system simulation on small and medium enterprises productivity improvement

Science.gov (United States)

Sulistio, J.; Hidayah, N. A.

2017-12-01

Small and medium industries in Indonesia is currently developing. The problem faced by SMEs is the difficulty of meeting growing demand coming into the company. Therefore, SME need an analysis and evaluation on its production process in order to meet all orders. The purpose of this research is to increase the productivity of SMEs production floor by applying discrete-event system simulation. This method preferred because it can solve complex problems die to the dynamic and stochastic nature of the system. To increase the credibility of the simulation, model validated by cooperating the average of two trials, two trials of variance and chi square test. Afterwards, Benferroni method applied to development several alternatives. The article concludes that, the productivity of SMEs production floor increased up to 50% by adding the capacity of dyeing and drying machines.

Discrete ellipsoidal statistical BGK model and Burnett equations

Science.gov (United States)

Zhang, Yu-Dong; Xu, Ai-Guo; Zhang, Guang-Cai; Chen, Zhi-Hua; Wang, Pei

2018-06-01

A new discrete Boltzmann model, the discrete ellipsoidal statistical Bhatnagar-Gross-Krook (ESBGK) model, is proposed to simulate nonequilibrium compressible flows. Compared with the original discrete BGK model, the discrete ES-BGK has a flexible Prandtl number. For the discrete ES-BGK model in the Burnett level, two kinds of discrete velocity model are introduced and the relations between nonequilibrium quantities and the viscous stress and heat flux in the Burnett level are established. The model is verified via four benchmark tests. In addition, a new idea is introduced to recover the actual distribution function through the macroscopic quantities and their space derivatives. The recovery scheme works not only for discrete Boltzmann simulation but also for hydrodynamic ones, for example, those based on the Navier-Stokes or the Burnett equations.

Using the discrete element method to simulate brittle fracture in the indentation of a silica glass with a blunt indenter

International Nuclear Information System (INIS)

Andre, Damien; Iordanoff, Ivan; Charles, Jean-luc; Jebahi, Mohamed; Neauport, Jerome

2013-01-01

The mechanical behavior of materials is usually simulated by a continuous mechanics approach. However, non-continuous phenomena such as multi-fracturing cannot be accurately simulated using a continuous description. The discrete element method (DEM) naturally accounts for discontinuities and is therefore a good alternative to the continuum approach. This work uses a discrete element model based on interaction given by 3D beam model. This model has proved to correctly simulate the elastic properties at the macroscopic scale. The simulation of brittle cracks is now tackled. This goal is attained by computing a failure criterion based on an equivalent hydrostatic stress. This microscopic criterion is then calibrated to fit experimental values of the macroscopic failure stress. Then, the simulation results are compared to experimental results of indentation tests in which a spherical indenter is used to load a silica glass, which is considered to be a perfectly brittle elastic material. (authors)

Experiments and discrete element simulation of the dosing of cohesive powders in a simplified geometry

NARCIS (Netherlands)

Imole, Olukayode Isaiah; Krijgsman, Dinant; Weinhart, Thomas; Magnanimo, Vanessa; Chavez Montes, Bruno E.; Ramaioli, Marco; Luding, Stefan

2016-01-01

We perform experiments and discrete element simulations on the dosing of cohesive granular materials in a simplified geometry. The setup is a canister box where the powder is dosed out through the action of a constant-pitch coil feeder connected to a motor. A dosing step consists of a rotation

Nuclear facility safeguards systems modeling using discrete event simulation

International Nuclear Information System (INIS)

Engi, D.

1977-01-01

The threat of theft or dispersal of special nuclear material at a nuclear facility is treated by studying the temporal relationships between adversaries having authorized access to the facility (insiders) and safeguards system events by using a GASP IV discrete event simulation. The safeguards system events--detection, assessment, delay, communications, and neutralization--are modeled for the general insider adversary strategy which includes degradation of the safeguards system elements followed by an attempt to steal or disperse special nuclear material. The performance measure used in the analysis is the estimated probability of safeguards system success in countering the adversary based upon a predetermined set of adversary actions. An exemplary problem which includes generated results is presented for a hypothetical nuclear facility. The results illustrate representative information that could be utilized by safeguards decision-makers

A study of MRI gradient echo signals from discrete magnetic particles with considerations of several parameters in simulations.

Science.gov (United States)

Kokeny, Paul; Cheng, Yu-Chung N; Xie, He

2018-05-01

Modeling MRI signal behaviors in the presence of discrete magnetic particles is important, as magnetic particles appear in nanoparticle labeled cells, contrast agents, and other biological forms of iron. Currently, many models that take into account the discrete particle nature in a system have been used to predict magnitude signal decays in the form of R2* or R2' from one single voxel. Little work has been done for predicting phase signals. In addition, most calculations of phase signals rely on the assumption that a system containing discrete particles behaves as a continuous medium. In this work, numerical simulations are used to investigate MRI magnitude and phase signals from discrete particles, without diffusion effects. Factors such as particle size, number density, susceptibility, volume fraction, particle arrangements for their randomness, and field of view have been considered in simulations. The results are compared to either a ground truth model, theoretical work based on continuous mediums, or previous literature. Suitable parameters used to model particles in several voxels that lead to acceptable magnetic field distributions around particle surfaces and accurate MR signals are identified. The phase values as a function of echo time from a central voxel filled by particles can be significantly different from those of a continuous cubic medium. However, a completely random distribution of particles can lead to an R2' value which agrees with the prediction from the static dephasing theory. A sphere with a radius of at least 4 grid points used in simulations is found to be acceptable to generate MR signals equivalent from a larger sphere. Increasing number of particles with a fixed volume fraction in simulations reduces the resulting variance in the phase behavior, and converges to almost the same phase value for different particle numbers at each echo time. The variance of phase values is also reduced when increasing the number of particles in a fixed

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

Vacuum Simulations in High Energy Accelerators and Distribution Properties of Continuous and Discrete Particle Motions

OpenAIRE

Aichinger, Ida; Larcher, Gerhard; Kersevan, Roberto

2017-01-01

The underlying thesis on mathematical simulation methods in application and theory is structured into three parts. The first part sets up a mathematical model capable of predicting the performance and operation of an accelerator’s vacuum system based on analytical methods. A coupled species-balance equation system describes the distribution of the gas dynamics in an ultra-high vacuum system considering impacts of conductance limitations, beam induced effects (ion-, electron-, and photon-induc...

Vacuum Simulations in High Energy Accelerators and Distribution Properties of Continuous and Discrete Particle Motions

CERN Document Server

Aichinger, Ida; Kersevan, Roberto

The underlying thesis on mathematical simulation methods in application and theory is structured into three parts. The first part sets up a mathematical model capable of predicting the performance and operation of an accelerator’s vacuum system based on analytical methods. A coupled species-balance equation system describes the distribution of the gas dynamics in an ultra-high vacuum system considering impacts of conductance limitations, beam induced effects (ion-, electron-, and photon-induced de- sorption), thermal outgassing and sticking probabilities of the chamber materials. A new solving algorithm based on sparse matrix representations, is introduced and presents a closed form solution of the equation system. The model is implemented in a Python environment, named PyVasco, and is supported by a graphical user interface to make it easy available for everyone. A sensitivity analysis, a cross-check with the Test-Particle Monte Carlo simulation program Molflow+ and a comparison of the simulation results t...

Crack nucleation in solid materials under external load - simulations with the Discrete Element Method

Directory of Open Access Journals (Sweden)

Klejment Piotr

2018-01-01

Full Text Available Numerical analysis of cracking processes require an appropriate numerical technique. Classical engineering approach to the problem has its roots in the continuum mechanics and is based mainly on the Finite Element Method. This technique allows simulations of both elastic and large deformation processes, so it is very popular in the engineering applications. However, a final effect of cracking - fragmentation of an object at hand can hardly be described by this approach in a numerically efficient way since it requires a solution of a problem of nontrivial evolving in time boundary conditions. We focused our attention on the Discrete Element Method (DEM, which by definition implies “molecular” construction of the matter. The basic idea behind DEM is to represent an investigated body as an assemblage of discrete particles interacting with each other. Breaking interaction bonds between particles induced by external forces imeditelly implies creation/evolution of boundary conditions. In this study we used the DEM approach to simulate cracking process in the three dimensional solid material under external tension. The used numerical model, although higly simplified, can be used to describe behaviour of such materials like thin films, biological tissues, metal coatings, to name a few.

Simulation of two-phase flow in horizontal fracture networks with numerical manifold method

Science.gov (United States)

Ma, G. W.; Wang, H. D.; Fan, L. F.; Wang, B.

2017-10-01

The paper presents simulation of two-phase flow in discrete fracture networks with numerical manifold method (NMM). Each phase of fluids is considered to be confined within the assumed discrete interfaces in the present method. The homogeneous model is modified to approach the mixed fluids. A new mathematical cover formation for fracture intersection is proposed to satisfy the mass conservation. NMM simulations of two-phase flow in a single fracture, intersection, and fracture network are illustrated graphically and validated by the analytical method or the finite element method. Results show that the motion status of discrete interface significantly depends on the ratio of mobility of two fluids rather than the value of the mobility. The variation of fluid velocity in each fracture segment and the driven fluid content are also influenced by the ratio of mobility. The advantages of NMM in the simulation of two-phase flow in a fracture network are demonstrated in the present study, which can be further developed for practical engineering applications.

Using discrete event simulation to change from a functional layout to a cellular layout in an auto parts industry

Directory of Open Access Journals (Sweden)

Thiago Buselato Maurício

2015-07-01

Full Text Available This paper presents a discrete event simulation employed in a Brazilian automotive company. There was a huge waste caused by one family scrap. It was believed one reason was the company functional layout. In this case, changing from current to cellular layout, employee synergy and knowledge about this family would increase. Due to the complexity for dimensioning a new cellular layout, mainly because of batch size and client’s demand variation. In this case, discrete event simulation was used, which made possible to introduce those effects improving accuracy in final results. This accuracy will be shown by comparing results obtained with simulation and without it (as company used to do. To conclude, cellular layout was responsible for increasing 15% of productivity, reducing lead-time in 7 days and scrap in 15% for this family.

Discrete event simulation for exploring strategies: an urban water management case.

Science.gov (United States)

Huang, Dong-Bin; Scholz, Roland W; Gujer, Willi; Chitwood, Derek E; Loukopoulos, Peter; Schertenleib, Roland; Siegrist, Hansruedi

2007-02-01

This paper presents a model structure aimed at offering an overview of the various elements of a strategy and exploring their multidimensional effects through time in an efficient way. It treats a strategy as a set of discrete events planned to achieve a certain strategic goal and develops a new form of causal networks as an interfacing component between decision makers and environment models, e.g., life cycle inventory and material flow models. The causal network receives a strategic plan as input in a discrete manner and then outputs the updated parameter sets to the subsequent environmental models. Accordingly, the potential dynamic evolution of environmental systems caused by various strategies can be stepwise simulated. It enables a way to incorporate discontinuous change in models for environmental strategy analysis, and enhances the interpretability and extendibility of a complex model by its cellular constructs. It is exemplified using an urban water management case in Kunming, a major city in Southwest China. By utilizing the presented method, the case study modeled the cross-scale interdependencies of the urban drainage system and regional water balance systems, and evaluated the effectiveness of various strategies for improving the situation of Dianchi Lake.

Mathematical modeling and simulation of nanopore blocking by precipitation

KAUST Repository

Wolfram, M-T

2010-10-29

High surface charges of polymer pore walls and applied electric fields can lead to the formation and subsequent dissolution of precipitates in nanopores. These precipitates block the pore, leading to current fluctuations. We present an extended Poisson-Nernst-Planck system which includes chemical reactions of precipitation and dissolution. We discuss the mathematical modeling and present 2D numerical simulations. © 2010 IOP Publishing Ltd.

A discrete dislocation–transformation model for austenitic single crystals

International Nuclear Information System (INIS)

Shi, J; Turteltaub, S; Remmers, J J C; Van der Giessen, E

2008-01-01

A discrete model for analyzing the interaction between plastic flow and martensitic phase transformations is developed. The model is intended for simulating the microstructure evolution in a single crystal of austenite that transforms non-homogeneously into martensite. The plastic flow in the untransformed austenite is simulated using a plane-strain discrete dislocation model. The phase transformation is modeled via the nucleation and growth of discrete martensitic regions embedded in the austenitic single crystal. At each instant during loading, the coupled elasto-plasto-transformation problem is solved using the superposition of analytical solutions for the discrete dislocations and discrete transformation regions embedded in an infinite homogeneous medium and the numerical solution of a complementary problem used to enforce the actual boundary conditions and the heterogeneities in the medium. In order to describe the nucleation and growth of martensitic regions, a nucleation criterion and a kinetic law suitable for discrete regions are specified. The constitutive rules used in discrete dislocation simulations are supplemented with additional evolution rules to account for the phase transformation. To illustrate the basic features of the model, simulations of specimens under plane-strain uniaxial extension and contraction are analyzed. The simulations indicate that plastic flow reduces the average stress at which transformation begins, but it also reduces the transformation rate when compared with benchmark simulations without plasticity. Furthermore, due to local stress fluctuations caused by dislocations, martensitic systems can be activated even though transformation would not appear to be favorable based on the average stress. Conversely, the simulations indicate that the plastic hardening behavior is influenced by the reduction in the effective austenitic grain size due to the evolution of transformation. During cyclic simulations, the coupled plasticity

Optimal control of LQR for discrete time-varying systems with input delays

Science.gov (United States)

Yin, Yue-Zhu; Yang, Zhong-Lian; Yin, Zhi-Xiang; Xu, Feng

2018-04-01

In this work, we consider the optimal control problem of linear quadratic regulation for discrete time-variant systems with single input and multiple input delays. An innovative and simple method to derive the optimal controller is given. The studied problem is first equivalently converted into a problem subject to a constraint condition. Last, with the established duality, the problem is transformed into a static mathematical optimisation problem without input delays. The optimal control input solution to minimise performance index function is derived by solving this optimisation problem with two methods. A numerical simulation example is carried out and its results show that our two approaches are both feasible and very effective.

Comparative Study of Aircraft Boarding Strategies Using Cellular Discrete Event Simulation

Directory of Open Access Journals (Sweden)

Shafagh Jafer

2017-11-01

Full Text Available Time is crucial in the airlines industry. Among all factors contributing to an aircraft turnaround time; passenger boarding delays is the most challenging one. Airlines do not have control over the behavior of passengers; thus, focusing their effort on reducing passenger boarding time through implementing efficient boarding strategies. In this work, we attempt to use cellular Discrete-Event System Specification (Cell-DEVS modeling and simulation to provide a comprehensive evaluation of aircraft boarding strategies. We have developed a simulation benchmark consisting of eight boarding strategies including Back-to-Front; Window Middle Aisle; Random; Zone Rotate; Reverse Pyramid; Optimal; Optimal Practical; and Efficient. Our simulation models are scalable and adaptive; providing a powerful analysis apparatus for investigating any existing or yet to be discovered boarding strategy. We explain the details of our models and present the results both visually and numerically to evaluate the eight implemented boarding strategies. We also compare our results with other studies that have used different modeling techniques; reporting nearly identical performance results. The simulations revealed that Window Middle Aisle provides the least boarding delay; with a small fraction of time difference compared to the optimal strategy. The results of this work could highly benefit the commercial airlines industry by optimizing and reducing passenger boarding delays.

Design of an optimal preview controller for linear discrete-time descriptor systems with state delay

Science.gov (United States)

Cao, Mengjuan; Liao, Fucheng

2015-04-01

In this paper, the linear discrete-time descriptor system with state delay is studied, and a design method for an optimal preview controller is proposed. First, by using the discrete lifting technique, the original system is transformed into a general descriptor system without state delay in form. Then, taking advantage of the first-order forward difference operator, we construct a descriptor augmented error system, including the state vectors of the lifted system, error vectors, and desired target signals. Rigorous mathematical proofs are given for the regularity, stabilisability, causal controllability, and causal observability of the descriptor augmented error system. Based on these, the optimal preview controller with preview feedforward compensation for the original system is obtained by using the standard optimal regulator theory of the descriptor system. The effectiveness of the proposed method is shown by numerical simulation.

Geant4-DNA track-structure simulations for gold nanoparticles: The importance of electron discrete models in nanometer volumes.

Science.gov (United States)

Sakata, Dousatsu; Kyriakou, Ioanna; Okada, Shogo; Tran, Hoang N; Lampe, Nathanael; Guatelli, Susanna; Bordage, Marie-Claude; Ivanchenko, Vladimir; Murakami, Koichi; Sasaki, Takashi; Emfietzoglou, Dimitris; Incerti, Sebastien

2018-05-01

Gold nanoparticles (GNPs) are known to enhance the absorbed dose in their vicinity following photon-based irradiation. To investigate the therapeutic effectiveness of GNPs, previous Monte Carlo simulation studies have explored GNP dose enhancement using mostly condensed-history models. However, in general, such models are suitable for macroscopic volumes and for electron energies above a few hundred electron volts. We have recently developed, for the Geant4-DNA extension of the Geant4 Monte Carlo simulation toolkit, discrete physics models for electron transport in gold which include the description of the full atomic de-excitation cascade. These models allow event-by-event simulation of electron tracks in gold down to 10 eV. The present work describes how such specialized physics models impact simulation-based studies on GNP-radioenhancement in a context of x-ray radiotherapy. The new discrete physics models are compared to the Geant4 Penelope and Livermore condensed-history models, which are being widely used for simulation-based NP radioenhancement studies. An ad hoc Geant4 simulation application has been developed to calculate the absorbed dose in liquid water around a GNP and its radioenhancement, caused by secondary particles emitted from the GNP itself, when irradiated with a monoenergetic electron beam. The effect of the new physics models is also quantified in the calculation of secondary particle spectra, when originating in the GNP and when exiting from it. The new physics models show similar backscattering coefficients with the existing Geant4 Livermore and Penelope models in large volumes for 100 keV incident electrons. However, in submicron sized volumes, only the discrete models describe the high backscattering that should still be present around GNPs at these length scales. Sizeable differences (mostly above a factor of 2) are also found in the radial distribution of absorbed dose and secondary particles between the new and the existing Geant4

Discrete-State Simulated Annealing For Traveling-Wave Tube Slow-Wave Circuit Optimization

Science.gov (United States)

Wilson, Jeffrey D.; Bulson, Brian A.; Kory, Carol L.; Williams, W. Dan (Technical Monitor)

2001-01-01

Algorithms based on the global optimization technique of simulated annealing (SA) have proven useful in designing traveling-wave tube (TWT) slow-wave circuits for high RF power efficiency. The characteristic of SA that enables it to determine a globally optimized solution is its ability to accept non-improving moves in a controlled manner. In the initial stages of the optimization, the algorithm moves freely through configuration space, accepting most of the proposed designs. This freedom of movement allows non-intuitive designs to be explored rather than restricting the optimization to local improvement upon the initial configuration. As the optimization proceeds, the rate of acceptance of non-improving moves is gradually reduced until the algorithm converges to the optimized solution. The rate at which the freedom of movement is decreased is known as the annealing or cooling schedule of the SA algorithm. The main disadvantage of SA is that there is not a rigorous theoretical foundation for determining the parameters of the cooling schedule. The choice of these parameters is highly problem dependent and the designer needs to experiment in order to determine values that will provide a good optimization in a reasonable amount of computational time. This experimentation can absorb a large amount of time especially when the algorithm is being applied to a new type of design. In order to eliminate this disadvantage, a variation of SA known as discrete-state simulated annealing (DSSA), was recently developed. DSSA provides the theoretical foundation for a generic cooling schedule which is problem independent, Results of similar quality to SA can be obtained, but without the extra computational time required to tune the cooling parameters. Two algorithm variations based on DSSA were developed and programmed into a Microsoft Excel spreadsheet graphical user interface (GUI) to the two-dimensional nonlinear multisignal helix traveling-wave amplifier analysis program TWA3

Hybrid Discrete Element - Finite Element Simulation for Railway Bridge-Track Interaction

Science.gov (United States)

Kaewunruen, S.; Mirza, O.

2017-10-01

At the transition zone or sometimes called ‘bridge end’ or ‘bridge approach’, the stiffness difference between plain track and track over bridge often causes aggravated impact loading due to uneven train movement onto the area. The differential track settlement over the transition has been a classical problem in railway networks, especially for the aging rail infrastructures around the world. This problem is also additionally worsened by the fact that the construction practice over the area is difficult, resulting in a poor compaction of formation and subgrade. This paper presents an advanced hybrid simulation using coupled discrete elements and finite elements to investigate dynamic interaction at the transition zone. The goal is to evaluate the dynamic stresses and to better understand the impact dynamics redistribution at the bridge end. An existing bridge ‘Salt Pan Creek Railway Bridge’, located between Revesby and Kingsgrove, has been chosen for detailed investigation. The Salt Pan Bridge currently demonstrates crushing of the ballast causing significant deformation and damage. Thus, it’s imperative to assess the behaviours of the ballast under dynamic loads. This can be achieved by modelling the nonlinear interactions between the steel rail and sleeper, and sleeper to ballast. The continuum solid elements of track components have been modelled using finite element approach, while the granular media (i.e. ballast) have been simulated by discrete element method. The hybrid DE/FE model demonstrates that ballast experiences significant stresses at the contacts between the sleeper and concrete section. These overburden stress exists in the regions below the outer rails, identify fouling and permanent deformation of the ballast.

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.

Discrete Maximum Principle for Higher-Order Finite Elements in 1D

Czech Academy of Sciences Publication Activity Database

Vejchodský, Tomáš; Šolín, Pavel

2007-01-01

Roč. 76, č. 260 (2007), s. 1833-1846 ISSN 0025-5718 R&D Projects: GA ČR GP201/04/P021 Institutional research plan: CEZ:AV0Z10190503; CEZ:AV0Z20760514 Keywords : discrete maximum principle * discrete Grren´s function * higher-order elements Subject RIV: BA - General Mathematics Impact factor: 1.230, year: 2007

Spreading speed and travelling waves for a spatially discrete SIS epidemic model

International Nuclear Information System (INIS)

Zhang, Kate Fang; Zhao Xiaoqiang

2008-01-01

This paper is devoted to the study of the asymptotic speed of spread and travelling waves for a spatially discrete SIS epidemic model. By appealing to the theory of spreading speeds and travelling waves for monotonic semiflows, we establish the existence of asymptotic speed of spread and show that it coincides with the minimal wave speed for monotonic travelling waves. This also gives an affirmative answer to an open problem presented by Rass and Radcliffe (2003 Spatial Deterministic Epidemics (Mathematical Surveys and Monographs vol 102) (Providence, RI: American Mathematical Society)) in the case of discrete spatial habitat

Study of Flapping Flight Using Discrete Vortex Method Based Simulations

Science.gov (United States)

Devranjan, S.; Jalikop, Shreyas V.; Sreenivas, K. R.

2013-12-01

In recent times, research in the area of flapping flight has attracted renewed interest with an endeavor to use this mechanism in Micro Air vehicles (MAVs). For a sustained and high-endurance flight, having larger payload carrying capacity we need to identify a simple and efficient flapping-kinematics. In this paper, we have used flow visualizations and Discrete Vortex Method (DVM) based simulations for the study of flapping flight. Our results highlight that simple flapping kinematics with down-stroke period (tD) shorter than the upstroke period (tU) would produce a sustained lift. We have identified optimal asymmetry ratio (Ar = tD/tU), for which flapping-wings will produce maximum lift and find that introducing optimal wing flexibility will further enhances the lift.

Spaces of fractional quotients, discrete operators, and their applications. II

International Nuclear Information System (INIS)

Lifanov, I K; Poltavskii, L N

1999-01-01

The theory of discrete operators in spaces of fractional quotients is developed. A theorem on the stability of discrete operators under smooth perturbations is proved. On this basis, using special quadrature formulae of rectangular kind, the convergence of approximate solutions of hypersingular integral equations to their exact solutions is demonstrated and a mathematical substantiation of the method of closed discrete vortex frameworks is obtained. The same line of argument is also applied to difference equations arising in the solution of the homogeneous Dirichlet problem for a general second-order elliptic equation with variable coefficients

Numerical Simulation of Two Dimensional Flows in Yazidang Reservoir

Science.gov (United States)

Huang, Lingxiao; Liu, Libo; Sun, Xuehong; Zheng, Lanxiang; Jing, Hefang; Zhang, Xuande; Li, Chunguang

2018-01-01

This paper studied the problem of water flow in the Yazid Ang reservoir. It built 2-D RNG turbulent model, rated the boundary conditions, used the finite volume method to discrete equations and divided the grid by the advancing-front method. It simulated the two conditions of reservoir flow field, compared the average vertical velocity of the simulated value and the measured value nearby the water inlet and the water intake. The results showed that the mathematical model could be applied to the similar industrial water reservoir.

Attractors for discrete periodic dynamical systems

Science.gov (United States)

John E. Franke; James F. Selgrade

2003-01-01

A mathematical framework is introduced to study attractors of discrete, nonautonomous dynamical systems which depend periodically on time. A structure theorem for such attractors is established which says that the attractor of a time-periodic dynamical system is the unin of attractors of appropriate autonomous maps. If the nonautonomous system is a perturbation of an...

Developing a discrete event simulation model for university student shuttle buses

Science.gov (United States)

Zulkepli, Jafri; Khalid, Ruzelan; Nawawi, Mohd Kamal Mohd; Hamid, Muhammad Hafizan

2017-11-01

Providing shuttle buses for university students to attend their classes is crucial, especially when their number is large and the distances between their classes and residential halls are far. These factors, in addition to the non-optimal current bus services, typically require the students to wait longer which eventually opens a space for them to complain. To considerably reduce the waiting time, providing the optimal number of buses to transport them from location to location and the effective route schedules to fulfil the students' demand at relevant time ranges are thus important. The optimal bus number and schedules are to be determined and tested using a flexible decision platform. This paper thus models the current services of student shuttle buses in a university using a Discrete Event Simulation approach. The model can flexibly simulate whatever changes configured to the current system and report its effects to the performance measures. How the model was conceptualized and formulated for future system configurations are the main interest of this paper.

Discrete event simulation for petroleum transfers involving harbors, refineries and pipelines

Energy Technology Data Exchange (ETDEWEB)

Martins, Marcella S.R.; Lueders, Ricardo; Delgado, Myriam R.B.S. [Universidade Tecnologica Federal do Parana (UTFPR), Curitiba, PR (Brazil)

2009-07-01

Nowadays a great effort has been spent by companies to improve their logistics in terms of programming of events that affect production and distribution of products. In this case, simulation can be a valuable tool for evaluating different behaviors. The objective of this work is to build a discrete event simulation model for scheduling of operational activities in complexes containing one harbor and two refineries interconnected by a pipeline infrastructure. The model was developed in Arena package, based on three sub-models that control pier allocation, loading of tanks, and transfers to refineries through pipelines. Preliminary results obtained for a given control policy, show that profit can be calculated by taking into account many parameters such as oil costs on ships, pier using, over-stay of ships and interface costs. Such problem has already been considered in the literature but using different strategies. All these factors should be considered in a real-world operation where decision making tools are necessary to obtain high returns. (author)

Mathematical simulation of stressed-deformed state in rod cylindrical fuel elemnts KONDOR program

International Nuclear Information System (INIS)

Khmelevskij, M.Ya.; Malakhova, E.I.; Dolmatov, P.S.

1987-01-01

A mathematical model for numerical computation of stressed-deformed stae in a rod cylindrical fuel element is developed. The model is based on preliminary discretization of the design scheme and linearization of radial parameters as radius functions. The formulation generality enables to calculate strength parameter kinetics in any circular cylindrical fuel element (e.g. annular fuel element; solid or tubular core; ceramic, metallic or dispersion fuel) for arbitrary transient operating conditions and taking into account all possible loading factors. The method is realized in the KONDOR programm (FORTRAN, ES-1061 computer). An example illustrating computation of stress kinetics in a fast reactor fuel element during transient operation is given

Simulating triangulations. Graphs, manifolds and (quantum) spacetime

International Nuclear Information System (INIS)

Krueger, Benedikt

2016-01-01

Triangulations, which can intuitively be described as a tessellation of space into simplicial building blocks, are structures that arise in various different branches of physics: They can be used for describing complicated and curved objects in a discretized way, e.g., in foams, gels or porous media, or for discretizing curved boundaries for fluid simulations or dissipative systems. Interpreting triangulations as (maximal planar) graphs makes it possible to use them in graph theory or statistical physics, e.g., as small-world networks, as networks of spins or in biological physics as actin networks. Since one can find an analogue of the Einstein-Hilbert action on triangulations, they can even be used for formulating theories of quantum gravity. Triangulations have also important applications in mathematics, especially in discrete topology. Despite their wide occurrence in different branches of physics and mathematics, there are still some fundamental open questions about triangulations in general. It is a prior unknown how many triangulations there are for a given set of points or a given manifold, or even whether there are exponentially many triangulations or more, a question that relates to a well-defined behavior of certain quantum geometry models. Another major unknown question is whether elementary steps transforming triangulations into each other, which are used in computer simulations, are ergodic. Using triangulations as model for spacetime, it is not clear whether there is a meaningful continuum limit that can be identified with the usual and well-tested theory of general relativity. Within this thesis some of these fundamental questions about triangulations are answered by the use of Markov chain Monte Carlo simulations, which are a probabilistic method for calculating statistical expectation values, or more generally a tool for calculating high-dimensional integrals. Additionally, some details about the Wang-Landau algorithm, which is the primary used

Simulating triangulations. Graphs, manifolds and (quantum) spacetime

Energy Technology Data Exchange (ETDEWEB)

Krueger, Benedikt

2016-07-01

Triangulations, which can intuitively be described as a tessellation of space into simplicial building blocks, are structures that arise in various different branches of physics: They can be used for describing complicated and curved objects in a discretized way, e.g., in foams, gels or porous media, or for discretizing curved boundaries for fluid simulations or dissipative systems. Interpreting triangulations as (maximal planar) graphs makes it possible to use them in graph theory or statistical physics, e.g., as small-world networks, as networks of spins or in biological physics as actin networks. Since one can find an analogue of the Einstein-Hilbert action on triangulations, they can even be used for formulating theories of quantum gravity. Triangulations have also important applications in mathematics, especially in discrete topology. Despite their wide occurrence in different branches of physics and mathematics, there are still some fundamental open questions about triangulations in general. It is a prior unknown how many triangulations there are for a given set of points or a given manifold, or even whether there are exponentially many triangulations or more, a question that relates to a well-defined behavior of certain quantum geometry models. Another major unknown question is whether elementary steps transforming triangulations into each other, which are used in computer simulations, are ergodic. Using triangulations as model for spacetime, it is not clear whether there is a meaningful continuum limit that can be identified with the usual and well-tested theory of general relativity. Within this thesis some of these fundamental questions about triangulations are answered by the use of Markov chain Monte Carlo simulations, which are a probabilistic method for calculating statistical expectation values, or more generally a tool for calculating high-dimensional integrals. Additionally, some details about the Wang-Landau algorithm, which is the primary used

Modeling and simulation of thermally actuated bilayer plates

Science.gov (United States)

Bartels, Sören; Bonito, Andrea; Muliana, Anastasia H.; Nochetto, Ricardo H.

2018-02-01

We present a mathematical model of polymer bilayers that undergo large bending deformations when actuated by non-mechanical stimuli such as thermal effects. The simple model captures a large class of nonlinear bending effects and can be discretized with standard plate elements. We devise a fully practical iterative scheme and apply it to the simulation of folding of several practically useful compliant structures comprising of thin elastic layers.

DECISION WITH ARTIFICIAL NEURAL NETWORKS IN DISCRETE EVENT SIMULATION MODELS ON A TRAFFIC SYSTEM

Directory of Open Access Journals (Sweden)

Marília Gonçalves Dutra da Silva

2016-04-01

Full Text Available ABSTRACT This work aims to demonstrate the use of a mechanism to be applied in the development of the discrete-event simulation models that perform decision operations through the implementation of an artificial neural network. Actions that involve complex operations performed by a human agent in a process, for example, are often modeled in simplified form with the usual mechanisms of simulation software. Therefore, it was chosen a traffic system controlled by a traffic officer with a flow of vehicles and pedestrians to demonstrate the proposed solution. From a module built in simulation software itself, it was possible to connect the algorithm for intelligent decision to the simulation model. The results showed that the model elaborated responded as expected when it was submitted to actions, which required different decisions to maintain the operation of the system with changes in the flow of people and vehicles.

The Impact of Inpatient Boarding on ED Efficiency: A Discrete-Event Simulation Study

OpenAIRE

Bair, Aaron E.; Song, Wheyming T.; Chen, Yi-Chun; Morris, Beth A.

2009-01-01

In this study, a discrete-event simulation approach was used to model Emergency Department’s (ED) patient flow to investigate the effect of inpatient boarding on the ED efficiency in terms of the National Emergency Department Crowding Scale (NEDOCS) score and the rate of patients who leave without being seen (LWBS). The decision variable in this model was the boarder-released-ratio defined as the ratio of admitted patients whose boarding time is zero to all admitted patients. Our analysis sho...

Bringing Reality into Calculus Classrooms: Mathematizing a Real-life Problem Simulated in a Virtual Environment

Directory of Open Access Journals (Sweden)

Olga V. Shipulina

2013-01-01

Full Text Available The study explores how students, who had completed the AP calculus course, mathematized the optimal navigation real-life problem simulated in the Second Life Virtual Environment. The particular research interest was to investigate whether/how students’ empirical activity in VE influences the way of their mathematizing.

On the physical relevance of the discrete Fourier transform

CSIR Research Space (South Africa)

Greben, JM

1991-11-01

Full Text Available This paper originated from the author's dissatisfaction with the way the discrete Fourier transform is usually presented in the literature. Although mathematically correct, the physical meaning of the common representation is unsatisfactory...

QUALITY THROUGH INTEGRATION OF PRODUCTION AND SHOP FLOOR MANAGEMENT BY DISCRETE EVENT SIMULATION

Directory of Open Access Journals (Sweden)

Zoran Mirović

2007-06-01

Full Text Available With the intention to integrate strategic and tactical decision making and develop the capability of plans and schedules reconfiguration and synchronization in a very short cycle time many firms have proceeded to the adoption of ERP and Advanced Planning and Scheduling (APS technologies. The final goal is a purposeful scheduling system that guide in the right direction the current, high priority needs of the shop floor while remaining consistent with long-term production plans. The difference, and the power, of Discrete-Event Simulation (DES is its ability to mimic dynamic manufacturing systems, consisting of complex structures, and many heterogeneous interacting components. This paper describes such an integrated system (ERP/APS/DES and draw attention to the essential role of simulation based scheduling within it.

Proceedings – Mathematical Sciences | Indian Academy of Sciences

Indian Academy of Sciences (India)

Home; Journals; Proceedings – Mathematical Sciences; Volume 118; Issue 2 ... Quantum random walk; quantum Lévy process; discrete approximation. ... route de Gray, 25 030 Besançon cedex, France; Graduate School of Information Sciences, Tohoku University, Sendai 980-8579, Japan; Department of Mathematics, ...

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

Science.gov (United States)

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

2010-01-01

We describe an ongoing collaborative curriculum materials development project between Sweet Briar College and Western Michigan University, with support from the National Science Foundation. We present a collection of modules under development that can be used in existing mathematics and biology courses, and we address a critical national need to…

A necessary condition for dispersal driven growth of populations with discrete patch dynamics.

Science.gov (United States)

Guiver, Chris; Packman, David; Townley, Stuart

2017-07-07

We revisit the question of when can dispersal-induced coupling between discrete sink populations cause overall population growth? Such a phenomenon is called dispersal driven growth and provides a simple explanation of how dispersal can allow populations to persist across discrete, spatially heterogeneous, environments even when individual patches are adverse or unfavourable. For two classes of mathematical models, one linear and one non-linear, we provide necessary conditions for dispersal driven growth in terms of the non-existence of a common linear Lyapunov function, which we describe. Our approach draws heavily upon the underlying positive dynamical systems structure. Our results apply to both discrete- and continuous-time models. The theory is illustrated with examples and both biological and mathematical conclusions are drawn. Copyright © 2017 The Authors. Published by Elsevier Ltd.. All rights reserved.

On approximation of Lie groups by discrete subgroups

Indian Academy of Sciences (India)

1Department of Mathematics, Faculty of Sciences at Sfax, University of Sfax,. Route Soukra ... Let S (G) denote the space of discrete co-compact subgroup of a Lie group G. We ..... For example, it suffices to apply the following fact: The mapping.

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

Xyce parallel electronic simulator design : mathematical formulation, version 2.0.

Energy Technology Data Exchange (ETDEWEB)

Hoekstra, Robert John; Waters, Lon J.; Hutchinson, Scott Alan; Keiter, Eric Richard; Russo, Thomas V.

2004-06-01

This document is intended to contain a detailed description of the mathematical formulation of Xyce, a massively parallel SPICE-style circuit simulator developed at Sandia National Laboratories. The target audience of this document are people in the role of 'service provider'. An example of such a person would be a linear solver expert who is spending a small fraction of his time developing solver algorithms for Xyce. Such a person probably is not an expert in circuit simulation, and would benefit from an description of the equations solved by Xyce. In this document, modified nodal analysis (MNA) is described in detail, with a number of examples. Issues that are unique to circuit simulation, such as voltage limiting, are also described in detail.

The effects of indoor environmental exposures on pediatric asthma: a discrete event simulation model

Directory of Open Access Journals (Sweden)

Fabian M Patricia

2012-09-01

Full Text Available Abstract Background In the United States, asthma is the most common chronic disease of childhood across all socioeconomic classes and is the most frequent cause of hospitalization among children. Asthma exacerbations have been associated with exposure to residential indoor environmental stressors such as allergens and air pollutants as well as numerous additional factors. Simulation modeling is a valuable tool that can be used to evaluate interventions for complex multifactorial diseases such as asthma but in spite of its flexibility and applicability, modeling applications in either environmental exposures or asthma have been limited to date. Methods We designed a discrete event simulation model to study the effect of environmental factors on asthma exacerbations in school-age children living in low-income multi-family housing. Model outcomes include asthma symptoms, medication use, hospitalizations, and emergency room visits. Environmental factors were linked to percent predicted forced expiratory volume in 1 second (FEV1%, which in turn was linked to risk equations for each outcome. Exposures affecting FEV1% included indoor and outdoor sources of NO2 and PM2.5, cockroach allergen, and dampness as a proxy for mold. Results Model design parameters and equations are described in detail. We evaluated the model by simulating 50,000 children over 10 years and showed that pollutant concentrations and health outcome rates are comparable to values reported in the literature. In an application example, we simulated what would happen if the kitchen and bathroom exhaust fans were improved for the entire cohort, and showed reductions in pollutant concentrations and healthcare utilization rates. Conclusions We describe the design and evaluation of a discrete event simulation model of pediatric asthma for children living in low-income multi-family housing. Our model simulates the effect of environmental factors (combustion pollutants and allergens

Foundations of a discrete physics

International Nuclear Information System (INIS)

McGoveran, D.; Noyes, P.

1988-01-01

Starting from the principles of finiteness, discreteness, finite computability and absolute nonuniqueness, we develop the ordering operator calculus, a strictly constructive mathematical system having the empirical properties required by quantum mechanical and special relativistic phenomena. We show how to construct discrete distance functions, and both rectangular and spherical coordinate systems(with a discrete version of ''π''). The richest discrete space constructible without a preferred axis and preserving translational and rotational invariance is shown to be a discrete 3-space with the usual symmetries. We introduce a local ordering parameter with local (proper) time-like properties and universal ordering parameters with global (cosmological) time-like properties. Constructed ''attribute velocities'' connect ensembles with attributes that are invariant as the appropriate time-like parameter increases. For each such attribute, we show how to construct attribute velocities which must satisfy the '' relativistic Doppler shift'' and the ''relativistic velocity composition law,'' as well as the Lorentz transformations. By construction, these velocities have finite maximum and minimum values. In the space of all attributes, the minimum of these maximum velocities will predominate in all multiple attribute computations, and hence can be identified as a fundamental limiting velocity, General commutation relations are constructed which under the physical interpretation are shown to reduce to the usual quantum mechanical commutation relations. 50 refs., 18 figs

A discrete element and ray framework for rapid simulation of acoustical dispersion of microscale particulate agglomerations

Science.gov (United States)

Zohdi, T. I.

2016-03-01

In industry, particle-laden fluids, such as particle-functionalized inks, are constructed by adding fine-scale particles to a liquid solution, in order to achieve desired overall properties in both liquid and (cured) solid states. However, oftentimes undesirable particulate agglomerations arise due to some form of mutual-attraction stemming from near-field forces, stray electrostatic charges, process ionization and mechanical adhesion. For proper operation of industrial processes involving particle-laden fluids, it is important to carefully breakup and disperse these agglomerations. One approach is to target high-frequency acoustical pressure-pulses to breakup such agglomerations. The objective of this paper is to develop a computational model and corresponding solution algorithm to enable rapid simulation of the effect of acoustical pulses on an agglomeration composed of a collection of discrete particles. Because of the complex agglomeration microstructure, containing gaps and interfaces, this type of system is extremely difficult to mesh and simulate using continuum-based methods, such as the finite difference time domain or the finite element method. Accordingly, a computationally-amenable discrete element/discrete ray model is developed which captures the primary physical events in this process, such as the reflection and absorption of acoustical energy, and the induced forces on the particulate microstructure. The approach utilizes a staggered, iterative solution scheme to calculate the power transfer from the acoustical pulse to the particles and the subsequent changes (breakup) of the pulse due to the particles. Three-dimensional examples are provided to illustrate the approach.

Parallel discrete event simulation

NARCIS (Netherlands)

Overeinder, B.J.; Hertzberger, L.O.; Sloot, P.M.A.; Withagen, W.J.

1991-01-01

In simulating applications for execution on specific computing systems, the simulation performance figures must be known in a short period of time. One basic approach to the problem of reducing the required simulation time is the exploitation of parallelism. However, in parallelizing the simulation

A hybrid discrete-continuum mathematical model of pattern prediction in the developing retinal vasculature.

Science.gov (United States)

McDougall, S R; Watson, M G; Devlin, A H; Mitchell, C A; Chaplain, M A J

2012-10-01

Pathological angiogenesis has been extensively explored by the mathematical modelling community over the past few decades, specifically in the contexts of tumour-induced vascularisation and wound healing. However, there have been relatively few attempts to model angiogenesis associated with normal development, despite the availability of animal models with experimentally accessible and highly ordered vascular topologies: for example, growth and development of the vascular plexus layers in the murine retina. The current study aims to address this issue through the development of a hybrid discrete-continuum mathematical model of the developing retinal vasculature in neonatal mice that is closely coupled with an ongoing experimental programme. The model of the functional vasculature is informed by a range of morphological and molecular data obtained over a period of several days, from 6 days prior to birth to approximately 8 days after birth. The spatio-temporal formation of the superficial retinal vascular plexus (RVP) in wild-type mice occurs in a well-defined sequence. Prior to birth, astrocytes migrate from the optic nerve over the surface of the inner retina in response to a chemotactic gradient of PDGF-A, formed at an earlier stage by migrating retinal ganglion cells (RGCs). Astrocytes express a variety of chemotactic and haptotactic proteins, including VEGF and fibronectin (respectively), which subsequently induce endothelial cell sprouting and modulate growth of the RVP. The developing RVP is not an inert structure; however, the vascular bed adapts and remodels in response to a wide variety of metabolic and biomolecular stimuli. The main focus of this investigation is to understand how these interacting cellular, molecular, and metabolic cues regulate RVP growth and formation. In an earlier one-dimensional continuum model of astrocyte and endothelial migration, we showed that the measured frontal velocities of the two cell types could be accurately reproduced

Discrete Element Simulation of Elastoplastic Shock Wave Propagation in Spherical Particles

Directory of Open Access Journals (Sweden)

M. Shoaib

2011-01-01

Full Text Available Elastoplastic shock wave propagation in a one-dimensional assembly of spherical metal particles is presented by extending well-established quasistatic compaction models. The compaction process is modeled by a discrete element method while using elastic and plastic loading, elastic unloading, and adhesion at contacts with typical dynamic loading parameters. Of particular interest is to study the development of the elastoplastic shock wave, its propagation, and reflection during entire loading process. Simulation results yield information on contact behavior, velocity, and deformation of particles during dynamic loading. Effects of shock wave propagation on loading parameters are also discussed. The elastoplastic shock propagation in granular material has many practical applications including the high-velocity compaction of particulate material.

The discretized Schroedinger equation and simple models for semiconductor quantum wells

International Nuclear Information System (INIS)

Boykin, Timothy B; Klimeck, Gerhard

2004-01-01

The discretized Schroedinger equation is one of the most commonly employed methods for solving one-dimensional quantum mechanics problems on the computer, yet many of its characteristics remain poorly understood. The differences with the continuous Schroedinger equation are generally viewed as shortcomings of the discrete model and are typically described in purely mathematical terms. This is unfortunate since the discretized equation is more productively viewed from the perspective of solid-state physics, which naturally links the discrete model to realistic semiconductor quantum wells and nanoelectronic devices. While the relationship between the discrete model and a one-dimensional tight-binding model has been known for some time, the fact that the discrete Schroedinger equation admits analytic solutions for quantum wells has gone unnoted. Here we present a solution to this new analytically solvable problem. We show that the differences between the discrete and continuous models are due to their fundamentally different bandstructures, and present evidence for our belief that the discrete model is the more physically reasonable one

CONFIG - Adapting qualitative modeling and discrete event simulation for design of fault management systems

Science.gov (United States)

Malin, Jane T.; Basham, Bryan D.

1989-01-01

CONFIG is a modeling and simulation tool prototype for analyzing the normal and faulty qualitative behaviors of engineered systems. Qualitative modeling and discrete-event simulation have been adapted and integrated, to support early development, during system design, of software and procedures for management of failures, especially in diagnostic expert systems. Qualitative component models are defined in terms of normal and faulty modes and processes, which are defined by invocation statements and effect statements with time delays. System models are constructed graphically by using instances of components and relations from object-oriented hierarchical model libraries. Extension and reuse of CONFIG models and analysis capabilities in hybrid rule- and model-based expert fault-management support systems are discussed.

Topology in dynamical lattice QCD simulations

International Nuclear Information System (INIS)

Gruber, Florian

2012-01-01

Lattice simulations of Quantum Chromodynamics (QCD), the quantum field theory which describes the interaction between quarks and gluons, have reached a point were contact to experimental data can be made. The underlying mechanisms, like chiral symmetry breaking or the confinement of quarks, are however still not understood. This thesis focuses on topological structures in the QCD vacuum. Those are not only mathematically interesting but also closely related to chiral symmetry and confinement. We consider methods to identify these objects in lattice QCD simulations. Based on this, we explore the structures resulting from different discretizations and investigate the effect of a very strong electromagnetic field on the QCD vacuum.

Topology in dynamical lattice QCD simulations

Energy Technology Data Exchange (ETDEWEB)

Gruber, Florian

2012-08-20

Lattice simulations of Quantum Chromodynamics (QCD), the quantum field theory which describes the interaction between quarks and gluons, have reached a point were contact to experimental data can be made. The underlying mechanisms, like chiral symmetry breaking or the confinement of quarks, are however still not understood. This thesis focuses on topological structures in the QCD vacuum. Those are not only mathematically interesting but also closely related to chiral symmetry and confinement. We consider methods to identify these objects in lattice QCD simulations. Based on this, we explore the structures resulting from different discretizations and investigate the effect of a very strong electromagnetic field on the QCD vacuum.

The mathematics of the compact disc (Chapter 2)

NARCIS (Netherlands)

van Lint, J.H.; Aigner, M.; Behrends, E.

2010-01-01

Everyone uses compact discs nowadays. But why is the musical transfer to a CD purer than that of the traditional vinyl disc? The answer, to adapt a popular slogan, is: There is mathematics inside! More precisely, a branch of discrete mathematics, namely the theory of error correcting codes. This

A non-linear discrete transform for pattern recognition of discrete chaotic systems

International Nuclear Information System (INIS)

Karanikas, C.; Proios, G.

2003-01-01

It is shown, by an invertible non-linear discrete transform that any finite sequence or any collection of strings of any length can be presented as a random walk on trees. These transforms create the mathematical background for coding any information, for exploring its local variability and diversity. With the underlying computational algorithms, with several examples and applications we propose that these transforms can be used for pattern recognition of immune type. In other words we propose a mathematical platform for detecting self and non-self strings of any alphabet, based on a negative selection algorithms, for scouting data's periodicity and self-similarity and for measuring the diversity of chaotic strings with fractal dimension methods. In particular we estimate successfully the entropy and the ratio of chaotic data with self similarity. Moreover we give some applications of a non-linear denoising filter

A non-linear discrete transform for pattern recognition of discrete chaotic systems

CERN Document Server

Karanikas, C

2003-01-01

It is shown, by an invertible non-linear discrete transform that any finite sequence or any collection of strings of any length can be presented as a random walk on trees. These transforms create the mathematical background for coding any information, for exploring its local variability and diversity. With the underlying computational algorithms, with several examples and applications we propose that these transforms can be used for pattern recognition of immune type. In other words we propose a mathematical platform for detecting self and non-self strings of any alphabet, based on a negative selection algorithms, for scouting data's periodicity and self-similarity and for measuring the diversity of chaotic strings with fractal dimension methods. In particular we estimate successfully the entropy and the ratio of chaotic data with self similarity. Moreover we give some applications of a non-linear denoising filter.

Plane shear flows of frictionless spheres: Kinetic theory and 3D soft-sphere discrete element method simulations

Science.gov (United States)

Vescovi, D.; Berzi, D.; Richard, P.; Brodu, N.

2014-05-01

We use existing 3D Discrete Element simulations of simple shear flows of spheres to evaluate the radial distribution function at contact that enables kinetic theory to correctly predict the pressure and the shear stress, for different values of the collisional coefficient of restitution. Then, we perform 3D Discrete Element simulations of plane flows of frictionless, inelastic spheres, sheared between walls made bumpy by gluing particles in a regular array, at fixed average volume fraction and distance between the walls. The results of the numerical simulations are used to derive boundary conditions appropriated in the cases of large and small bumpiness. Those boundary conditions are, then, employed to numerically integrate the differential equations of Extended Kinetic Theory, where the breaking of the molecular chaos assumption at volume fraction larger than 0.49 is taken into account in the expression of the dissipation rate. We show that the Extended Kinetic Theory is in very good agreement with the numerical simulations, even for coefficients of restitution as low as 0.50. When the bumpiness is increased, we observe that some of the flowing particles are stuck in the gaps between the wall spheres. As a consequence, the walls are more dissipative than expected, and the flows resemble simple shear flows, i.e., flows of rather constant volume fraction and granular temperature.

Plane shear flows of frictionless spheres: Kinetic theory and 3D soft-sphere discrete element method simulations

International Nuclear Information System (INIS)

Vescovi, D.; Berzi, D.; Richard, P.; Brodu, N.

2014-01-01

We use existing 3D Discrete Element simulations of simple shear flows of spheres to evaluate the radial distribution function at contact that enables kinetic theory to correctly predict the pressure and the shear stress, for different values of the collisional coefficient of restitution. Then, we perform 3D Discrete Element simulations of plane flows of frictionless, inelastic spheres, sheared between walls made bumpy by gluing particles in a regular array, at fixed average volume fraction and distance between the walls. The results of the numerical simulations are used to derive boundary conditions appropriated in the cases of large and small bumpiness. Those boundary conditions are, then, employed to numerically integrate the differential equations of Extended Kinetic Theory, where the breaking of the molecular chaos assumption at volume fraction larger than 0.49 is taken into account in the expression of the dissipation rate. We show that the Extended Kinetic Theory is in very good agreement with the numerical simulations, even for coefficients of restitution as low as 0.50. When the bumpiness is increased, we observe that some of the flowing particles are stuck in the gaps between the wall spheres. As a consequence, the walls are more dissipative than expected, and the flows resemble simple shear flows, i.e., flows of rather constant volume fraction and granular temperature

Modeling a Million-Node Slim Fly Network Using Parallel Discrete-Event Simulation

Energy Technology Data Exchange (ETDEWEB)

Wolfe, Noah; Carothers, Christopher; Mubarak, Misbah; Ross, Robert; Carns, Philip

2016-05-15

As supercomputers close in on exascale performance, the increased number of processors and processing power translates to an increased demand on the underlying network interconnect. The Slim Fly network topology, a new lowdiameter and low-latency interconnection network, is gaining interest as one possible solution for next-generation supercomputing interconnect systems. In this paper, we present a high-fidelity Slim Fly it-level model leveraging the Rensselaer Optimistic Simulation System (ROSS) and Co-Design of Exascale Storage (CODES) frameworks. We validate our Slim Fly model with the Kathareios et al. Slim Fly model results provided at moderately sized network scales. We further scale the model size up to n unprecedented 1 million compute nodes; and through visualization of network simulation metrics such as link bandwidth, packet latency, and port occupancy, we get an insight into the network behavior at the million-node scale. We also show linear strong scaling of the Slim Fly model on an Intel cluster achieving a peak event rate of 36 million events per second using 128 MPI tasks to process 7 billion events. Detailed analysis of the underlying discrete-event simulation performance shows that a million-node Slim Fly model simulation can execute in 198 seconds on the Intel cluster.

An introduction to mathematical cryptography

CERN Document Server

Hoffstein, Jeffrey; Silverman, Joseph H

2014-01-01

This self-contained introduction to modern cryptography emphasizes the mathematics behind the theory of public key cryptosystems and digital signature schemes. The book focuses on these key topics while developing the mathematical tools needed for the construction and security analysis of diverse cryptosystems. Only basic linear algebra is required of the reader; techniques from algebra, number theory, and probability are introduced and developed as required. This text provides an ideal introduction for mathematics and computer science students to the mathematical foundations of modern cryptography. The book includes an extensive bibliography and index; supplementary materials are available online. The book covers a variety of topics that are considered central to mathematical cryptography. Key topics include: classical cryptographic constructions, such as Diffie–Hellmann key exchange, discrete logarithm-based cryptosystems, the RSA cryptosystem, and digital signatures; fundamental mathematical tools for cr...

Proceedings – Mathematical Sciences | Indian Academy of Sciences

Indian Academy of Sciences (India)

The discreteness of isometry groups in complex hyperbolic space is a fundamental problem. In this paper, the discreteness criteria of a -dimensional subgroup of S U ( n , 1 ) are investigated by using a test map which may not be in . Author Affiliations. Huani Qin1 2 Yueping Jiang1. College of Applied Mathematics, ...

Simulasi Unjuk Kerja Discrete Wavelet Transform (DWT dan Discrete Cosine Transform (DCT untuk Pengolahan Sinyal Radar di Daerah yang Ber-Noise Tinggi

Directory of Open Access Journals (Sweden)

Raisah Hayati

2014-03-01

Full Text Available Detection of low signal and determination target locations is the basis and important in the system radar. Performance of radar can enhanced with enhancement signal-to-noise ratio in the receiver. In this research, will show a algorithm in radar signal processing, that is for extract the signal target in the place of noise. Discrete Cosine Transform (DCT and Discrete Wavelet Transform (DWT is the success full mathematic function in the signal processing in the last twenty years. In this research will simulate signal with DCT and DWT, analysis his performance in radar signal processing. DWT signal processing will analysis and compare with mother wavelet Haar, Daubechies-12, Coiflet-5 and Symlet-8. DCT signal processing will analysis and compare with same of window function with use in signal restrictions. Window function have influence signal resolution in domain frequency. Window function that use in this research Rectangular, Hamming, Hanning and Dolph-Chebyshev. The result of simulation and analysis Is: mother wavelet with DWT, wavelet Daubechies-12 and Symlet-8 give the best performance and mother wavelet Haar give bad performance. Wavelet Daubechies-12 give the biggest signal to noise ratio that is 32,0603 dB. Mother wavelet Symlet-8 give 32,6589 dB. Mother wavelet Haar give 14,6692 dB. Testing window function DCT, window Dolph-Chebyshev give the best performance, with give the best separation of signal. Analysis of signal reflection that accept of radar give the result that DWT is better performance than DCT in breaking of noise.

IMPROVEMENT OF SLAB REHEATING PROCESS AT USIMINAS THROUGH MATHEMATICAL SIMULATION

Directory of Open Access Journals (Sweden)

Antônio Adel dos Santos

2012-09-01

Full Text Available Basic characteristics and application examples of the mathematical simulator for reheating process in walking-beam type furnaces, that has been developed and applied to Usiminas plate mill line at Ipatinga, are shown in this paper. This is a bi-dimensional mathematical model solved by the finite volume method, validated by temperature measurements inside the slab during heating and coded as a visual tool. Among these applications, the following can be highlighted: (i determination of suitable furnace zone temperatures and residence times for processing steels by accelerated cooling technology; (ii determination of slab average temperature at discharging as well as at each zone exit, supplying data to be fed to the automation system at the comissioning stage; (iii analyses of slab thermal distribution through the reheating process, enabling operational optimization

Discrete conservation of nonnegativity for elliptic problems solved by the hp-FEM

Czech Academy of Sciences Publication Activity Database

Šolín, P.; Vejchodský, Tomáš; Araiza, R.

2007-01-01

Roč. 76, 1-3 (2007), s. 205-210 ISSN 0378-4754 R&D Projects: GA ČR GP201/04/P021 Institutional research plan: CEZ:AV0Z10190503 Keywords : discrete nonnegativity conservation * discrete Green's function * elliptic problems * hp-FEM * higher-order finite element methods * Poisson equation * numerical experimetns Subject RIV: BA - General Mathematics Impact factor: 0.738, year: 2007

Visualization and mathematics III

CERN Document Server

Polthier, Konrad

2003-01-01

This research book on Mathematical Visualization contains state of the art presentations on visualization problems in mathematics, on fundamental mathematical research in computer graphics, and on software frameworks for the application of visualization to real-world problems. All contributions were written by leading experts in the field and peer-refereed by an international editorial team. The book grew out of the third international workshop "Visualization and Mathematics", which was held from May 22-25, 2002 in Berlin. The themes of the book cover important recent developments on - Geometry and Combinatorics of Meshes - Discrete Vector Fields and Topology - Geometric Modelling - Image Based Visualization - Software Environments and Applications - Education and Communication The variety of topics makes the book a suitable resource for researchers, lecturers, and practitioners; http://www-sfb288.math.tu-berlin.de/vismath/

Discrete-event simulation of coordinated multi-point joint transmission in LTE-Advanced with constrained backhaul

DEFF Research Database (Denmark)

Artuso, Matteo; Christiansen, Henrik Lehrmann

2014-01-01

Inter-cell interference in LTE-Advanced can be mitigated using coordinated multi-point (CoMP) techniques with joint transmission of user data . However, this requires tight coordination of the eNodeBs, usin g the X2 interface. In this paper we use discrete-event simulation to evaluate the latency...... requirements for the X2 interface and investigate the consequences of a constrained ba ckhaul. Our simulation results show a gain of the system throug hput of up to 120% compared to the case without CoMP for low-latency backhaul. With X2 latencies above 5 ms CoMP is no longer a benefit to the network....

Discrete breathers and the anomalous decay of luminescence

International Nuclear Information System (INIS)

Mihokova, E; Schulman, L S

2010-01-01

Some years ago an anomaly was noted in the decay of luminescence in certain doped alkali halides. The anomaly was eventually explained using a factor 1 billion (10 9 ) slowdown in lattice relaxation, a remarkable stretching of time scales. This slowdown was found to be caused by the creation of a 'breather' in the neighborhood of the dopant. Discrete breathers are nondispersive classical excitations that are known to be significant in many natural systems. Broad ranging reviews of mathematical techniques and physical applications have recently appeared. In the present review we focus on the occurrence of breathers in doped alkali halides. Several more general properties of breathers have arisen from this study and these are presented as well. Among them is the study of the quantum breather, its quantization and stability, a topic less fully explored than the classical theory because it does not yield easily to numerical simulation. (topical review)

Mathematical model of small water-plane area twin-hull and application in marine simulator

Science.gov (United States)

Zhang, Xiufeng; Lyu, Zhenwang; Yin, Yong; Jin, Yicheng

2013-09-01

Small water-plane area twin-hull (SWATH) has drawn the attention of many researchers due to its good sea-keeping ability. In this paper, MMG's idea of separation was used to perform SWATH movement modeling and simulation; respectively the forces and moment of SWATH were divided into bare hull, propeller, rudder at the fluid hydrodynamics, etc. Wake coefficient at the propellers which reduces thrust coefficient, and rudder mutual interference forces among the hull and propeller, for the calculation of SWATH, were all considered. The fourth-order Runge-Kutta method of integration was used by solving differential equations, in order to get SWATH's movement states. As an example, a turning test at full speed and full starboard rudder of `Seagull' craft is shown. The simulation results show the SWATH's regular pattern and trend of motion. It verifies the correctness of the mathematical model of the turning movement. The SWATH's mathematical model is applied to marine simulator in order to train the pilots or seamen, or safety assessment for ocean engineering project. Lastly, the full mission navigation simulating system (FMNSS) was determined to be a successful virtual reality technology application sample in the field of navigation simulation.

Modular Control of Discrete-Event Systems with Coalgebra

Czech Academy of Sciences Publication Activity Database

Komenda, Jan; van Schuppen, J. H.

2008-01-01

Roč. 53, č. 2 (2008), s. 447-460 ISSN 0018-9286 R&D Projects: GA AV ČR(CZ) KJB100190609 Institutional research plan: CEZ:AV0Z10190503 Keywords : discrete-event systems * modular supervisory control * coalgebra Subject RIV: BA - General Mathematics Impact factor: 3.293, year: 2008

Discrete events simulation of a route with traffic lights through automated control in real time

Directory of Open Access Journals (Sweden)

Rodrigo César Teixeira Baptista

2013-03-01

Full Text Available This paper presents the integration and communication in real-time of a discrete event simulation model with an automatic control system. The simulation model of an intersection with roads having traffic lights was built in the Arena environment. The integration and communication have been made via network, and the control system was operated by a programmable logic controller. Scenarios were simulated for the free, regular and congested traffic situations. The results showed the average number of vehicles that entered in the system and that were retained and also the total average time of the crossing of the vehicles on the road. In general, the model allowed evaluating the behavior of the traffic in each of the ways and the commands from the controller to activation and deactivation of the traffic lights.

A Discrete-Time Chattering Free Sliding Mode Control with Multirate Sampling Method for Flight Simulator

Directory of Open Access Journals (Sweden)

Yunjie Wu

2013-01-01

Full Text Available In order to improve the tracking accuracy of flight simulator and expend its frequency response, a multirate-sampling-method-based discrete-time chattering free sliding mode control is developed and imported into the systems. By constructing the multirate sampling sliding mode controller, the flight simulator can perfectly track a given reference signal with an arbitrarily small dynamic tracking error, and the problems caused by a contradiction of reference signal period and control period in traditional design method can be eliminated. It is proved by theoretical analysis that the extremely high dynamic tracking precision can be obtained. Meanwhile, the robustness is guaranteed by sliding mode control even though there are modeling mismatch, external disturbances and measure noise. The validity of the proposed method is confirmed by experiments on flight simulator.

The use of discrete-event simulation modelling to improve radiation therapy planning processes.

Science.gov (United States)

Werker, Greg; Sauré, Antoine; French, John; Shechter, Steven

2009-07-01

The planning portion of the radiation therapy treatment process at the British Columbia Cancer Agency is efficient but nevertheless contains room for improvement. The purpose of this study is to show how a discrete-event simulation (DES) model can be used to represent this complex process and to suggest improvements that may reduce the planning time and ultimately reduce overall waiting times. A simulation model of the radiation therapy (RT) planning process was constructed using the Arena simulation software, representing the complexities of the system. Several types of inputs feed into the model; these inputs come from historical data, a staff survey, and interviews with planners. The simulation model was validated against historical data and then used to test various scenarios to identify and quantify potential improvements to the RT planning process. Simulation modelling is an attractive tool for describing complex systems, and can be used to identify improvements to the processes involved. It is possible to use this technique in the area of radiation therapy planning with the intent of reducing process times and subsequent delays for patient treatment. In this particular system, reducing the variability and length of oncologist-related delays contributes most to improving the planning time.

A conceptual modeling framework for discrete event simulation using hierarchical control structures

Science.gov (United States)

Furian, N.; O’Sullivan, M.; Walker, C.; Vössner, S.; Neubacher, D.

2015-01-01

Conceptual Modeling (CM) is a fundamental step in a simulation project. Nevertheless, it is only recently that structured approaches towards the definition and formulation of conceptual models have gained importance in the Discrete Event Simulation (DES) community. As a consequence, frameworks and guidelines for applying CM to DES have emerged and discussion of CM for DES is increasing. However, both the organization of model-components and the identification of behavior and system control from standard CM approaches have shortcomings that limit CM’s applicability to DES. Therefore, we discuss the different aspects of previous CM frameworks and identify their limitations. Further, we present the Hierarchical Control Conceptual Modeling framework that pays more attention to the identification of a models’ system behavior, control policies and dispatching routines and their structured representation within a conceptual model. The framework guides the user step-by-step through the modeling process and is illustrated by a worked example. PMID:26778940

A conceptual modeling framework for discrete event simulation using hierarchical control structures.

Science.gov (United States)

Furian, N; O'Sullivan, M; Walker, C; Vössner, S; Neubacher, D

2015-08-01

Conceptual Modeling (CM) is a fundamental step in a simulation project. Nevertheless, it is only recently that structured approaches towards the definition and formulation of conceptual models have gained importance in the Discrete Event Simulation (DES) community. As a consequence, frameworks and guidelines for applying CM to DES have emerged and discussion of CM for DES is increasing. However, both the organization of model-components and the identification of behavior and system control from standard CM approaches have shortcomings that limit CM's applicability to DES. Therefore, we discuss the different aspects of previous CM frameworks and identify their limitations. Further, we present the Hierarchical Control Conceptual Modeling framework that pays more attention to the identification of a models' system behavior, control policies and dispatching routines and their structured representation within a conceptual model. The framework guides the user step-by-step through the modeling process and is illustrated by a worked example.

Toward the modeling of combustion reactions through discrete element method (DEM) simulations

Science.gov (United States)

Reis, Martina Costa; Alobaid, Falah; Wang, Yongqi

2018-03-01

In this work, the process of combustion of coal particles under turbulent regime in a high-temperature reaction chamber is modeled through 3D discrete element method (DEM) simulations. By assuming the occurrence of interfacial transport phenomena between the gas and solid phases, one investigates the influence of the physicochemical properties of particles on the rates of heterogeneous chemical reactions, as well as the influence of eddies present in the gas phase on the mass transport of reactants toward the coal particles surface. Moreover, by considering a simplistic chemical mechanism for the combustion process, thermochemical and kinetic parameters obtained from the simulations are employed to discuss some phenomenological aspects of the combustion process. In particular, the observed changes in the mass and volume of coal particles during the gasification and combustion steps are discussed by emphasizing the changes in the chemical structure of the coal. In addition to illustrate how DEM simulations can be used in the modeling of consecutive and parallel chemical reactions, this work also shows how heterogeneous and homogeneous chemical reactions become a source of mass and energy for the gas phase.

PowderSim: Lagrangian Discrete and Mesh-Free Continuum Simulation Code for Cohesive Soils

Science.gov (United States)

Johnson, Scott; Walton, Otis; Settgast, Randolph

2013-01-01

PowderSim is a calculation tool that combines a discrete-element method (DEM) module, including calibrated interparticle-interaction relationships, with a mesh-free, continuum, SPH (smoothed-particle hydrodynamics) based module that utilizes enhanced, calibrated, constitutive models capable of mimicking both large deformations and the flow behavior of regolith simulants and lunar regolith under conditions anticipated during in situ resource utilization (ISRU) operations. The major innovation introduced in PowderSim is to use a mesh-free method (SPH-based) with a calibrated and slightly modified critical-state soil mechanics constitutive model to extend the ability of the simulation tool to also address full-scale engineering systems in the continuum sense. The PowderSim software maintains the ability to address particle-scale problems, like size segregation, in selected regions with a traditional DEM module, which has improved contact physics and electrostatic interaction models.

Discrete Dynamics Lab

Science.gov (United States)

Wuensche, Andrew

DDLab is interactive graphics software for creating, visualizing, and analyzing many aspects of Cellular Automata, Random Boolean Networks, and Discrete Dynamical Networks in general and studying their behavior, both from the time-series perspective — space-time patterns, and from the state-space perspective — attractor basins. DDLab is relevant to research, applications, and education in the fields of complexity, self-organization, emergent phenomena, chaos, collision-based computing, neural networks, content addressable memory, genetic regulatory networks, dynamical encryption, generative art and music, and the study of the abstract mathematical/physical/dynamical phenomena in their own right.

Applied mathematics

International Nuclear Information System (INIS)

Nedelec, J.C.

1988-01-01

The 1988 progress report of the Applied Mathematics center (Polytechnic School, France), is presented. The research fields of the Center are the scientific calculus, the probabilities and statistics and the video image synthesis. The research topics developed are: the analysis of numerical methods, the mathematical analysis of the physics and mechanics fundamental models, the numerical solution of complex models related to the industrial problems, the stochastic calculus and the brownian movement, the stochastic partial differential equations, the identification of the adaptive filtering parameters, the discrete element systems, statistics, the stochastic control and the development, the image synthesis techniques for education and research programs. The published papers, the congress communications and the thesis are listed [fr

Granulation of snow: From tumbler experiments to discrete element simulations

Science.gov (United States)

Steinkogler, Walter; Gaume, Johan; Löwe, Henning; Sovilla, Betty; Lehning, Michael

2015-06-01

It is well known that snow avalanches exhibit granulation phenomena, i.e., the formation of large and apparently stable snow granules during the flow. The size distribution of the granules has an influence on flow behavior which, in turn, affects runout distances and avalanche velocities. The underlying mechanisms of granule formation are notoriously difficult to investigate within large-scale field experiments, due to limitations in the scope for measuring temperatures, velocities, and size distributions. To address this issue we present experiments with a concrete tumbler, which provide an appropriate means to investigate granule formation of snow. In a set of experiments at constant rotation velocity with varying temperatures and water content, we demonstrate that temperature has a major impact on the formation of granules. The experiments showed that granules only formed when the snow temperature exceeded -1∘C. No evolution in the granule size was observed at colder temperatures. Depending on the conditions, different granulation regimes are obtained, which are qualitatively classified according to their persistence and size distribution. The potential of granulation of snow in a tumbler is further demonstrated by showing that generic features of the experiments can be reproduced by cohesive discrete element simulations. The proposed discrete element model mimics the competition between cohesive forces, which promote aggregation, and impact forces, which induce fragmentation, and supports the interpretation of the granule regime classification obtained from the tumbler experiments. Generalizations, implications for flow dynamics, and experimental and model limitations as well as suggestions for future work are discussed.

Discrete-Time Biomedical Signal Encryption

Directory of Open Access Journals (Sweden)

Victor Grigoraş

2017-12-01

Full Text Available Chaotic modulation is a strong method of improving communication security. Analog and discrete chaotic systems are presented in actual literature. Due to the expansion of digital communication, discrete-time systems become more efficient and closer to actual technology. The present contribution offers an in-depth analysis of the effects chaos encryption produce on 1D and 2D biomedical signals. The performed simulations show that modulating signals are precisely recovered by the synchronizing receiver if discrete systems are digitally implemented and the coefficients precisely correspond. Channel noise is also applied and its effects on biomedical signal demodulation are highlighted.

Hopf Bifurcation Analysis for a Stochastic Discrete-Time Hyperchaotic System

Directory of Open Access Journals (Sweden)

Jie Ran

2015-01-01

Full Text Available The dynamics of a discrete-time hyperchaotic system and the amplitude control of Hopf bifurcation for a stochastic discrete-time hyperchaotic system are investigated in this paper. Numerical simulations are presented to exhibit the complex dynamical behaviors in the discrete-time hyperchaotic system. Furthermore, the stochastic discrete-time hyperchaotic system with random parameters is transformed into its equivalent deterministic system with the orthogonal polynomial theory of discrete random function. In addition, the dynamical features of the discrete-time hyperchaotic system with random disturbances are obtained through its equivalent deterministic system. By using the Hopf bifurcation conditions of the deterministic discrete-time system, the specific conditions for the existence of Hopf bifurcation in the equivalent deterministic system are derived. And the amplitude control with random intensity is discussed in detail. Finally, the feasibility of the control method is demonstrated by numerical simulations.

Discrete cosine and sine transforms general properties, fast algorithms and integer approximations

CERN Document Server

Britanak, Vladimir; Rao, K R; Rao, K R

2006-01-01

The Discrete Cosine Transform (DCT) is used in many applications by the scientific, engineering and research communities and in data compression in particular. Fast algorithms and applications of the DCT Type II (DCT-II) have become the heart of many established international image/video coding standards. Since then other forms of the DCT and Discrete Sine Transform (DST) have been investigated in detail. This new edition presents the complete set of DCT and DST discrete trigonometric transforms, including their definitions, general mathematical properties, and relations to the optimal Karhune

Discrete meso-element simulation of the failure behavior of short-fiber composites under dynamic loading

International Nuclear Information System (INIS)

Liu Wenyan; Tang, Z.P.; Liu Yunxin

2000-01-01

In recent years, more attention has been paid to a better understanding of the failure behavior and mechanism of heterogeneous materials at the meso-scale level. In this paper, the crack initiation and development in epoxy composites reinforced with short steel fibers under dynamic loading were simulated and analyzed with the 2D Discrete Meso-Element Dynamic Method. Results show that the damage process depends greatly on the binding property between matrix and fibers

Development of a discrete gas-kinetic scheme for simulation of two-dimensional viscous incompressible and compressible flows.

Science.gov (United States)

Yang, L M; Shu, C; Wang, Y

2016-03-01

In this work, a discrete gas-kinetic scheme (DGKS) is presented for simulation of two-dimensional viscous incompressible and compressible flows. This scheme is developed from the circular function-based GKS, which was recently proposed by Shu and his co-workers [L. M. Yang, C. Shu, and J. Wu, J. Comput. Phys. 274, 611 (2014)]. For the circular function-based GKS, the integrals for conservation forms of moments in the infinity domain for the Maxwellian function-based GKS are simplified to those integrals along the circle. As a result, the explicit formulations of conservative variables and fluxes are derived. However, these explicit formulations of circular function-based GKS for viscous flows are still complicated, which may not be easy for the application by new users. By using certain discrete points to represent the circle in the phase velocity space, the complicated formulations can be replaced by a simple solution process. The basic requirement is that the conservation forms of moments for the circular function-based GKS can be accurately satisfied by weighted summation of distribution functions at discrete points. In this work, it is shown that integral quadrature by four discrete points on the circle, which forms the D2Q4 discrete velocity model, can exactly match the integrals. Numerical results showed that the present scheme can provide accurate numerical results for incompressible and compressible viscous flows with roughly the same computational cost as that needed by the Roe scheme.

Discrete Dynamical Systems Meet the Classic Monkey-and-the-Bananas Problem.

Science.gov (United States)

Gannon, Gerald E.; Martelli, Mario U.

2001-01-01

Presents a solution of the three-sailors-and-the-bananas problem and attempts a generalization. Introduces an interesting way of looking at the mathematics with an idea drawn from discrete dynamical systems. (KHR)

Performance analyses of naval ships based on engineering level of simulation at the initial design stage

Directory of Open Access Journals (Sweden)

Dong-Hoon Jeong

2017-07-01

Full Text Available Naval ships are assigned many and varied missions. Their performance is critical for mission success, and depends on the specifications of the components. This is why performance analyses of naval ships are required at the initial design stage. Since the design and construction of naval ships take a very long time and incurs a huge cost, Modeling and Simulation (M & S is an effective method for performance analyses. Thus in this study, a simulation core is proposed to analyze the performance of naval ships considering their specifications. This simulation core can perform the engineering level of simulations, considering the mathematical models for naval ships, such as maneuvering equations and passive sonar equations. Also, the simulation models of the simulation core follow Discrete EVent system Specification (DEVS and Discrete Time System Specification (DTSS formalisms, so that simulations can progress over discrete events and discrete times. In addition, applying DEVS and DTSS formalisms makes the structure of simulation models flexible and reusable. To verify the applicability of this simulation core, such a simulation core was applied to simulations for the performance analyses of a submarine in an Anti-SUrface Warfare (ASUW mission. These simulations were composed of two scenarios. The first scenario of submarine diving carried out maneuvering performance analysis by analyzing the pitch angle variation and depth variation of the submarine over time. The second scenario of submarine detection carried out detection performance analysis by analyzing how well the sonar of the submarine resolves adjacent targets. The results of these simulations ensure that the simulation core of this study could be applied to the performance analyses of naval ships considering their specifications.

Bifurcation and complex dynamics of a discrete-time predator-prey system

Directory of Open Access Journals (Sweden)

S. M. Sohel Rana

2015-06-01

Full Text Available In this paper, we investigate the dynamics of a discrete-time predator-prey system of Holling-I type in the closed first quadrant R+2. The existence and local stability of positive fixed point of the discrete dynamical system is analyzed algebraically. It is shown that the system undergoes a flip bifurcation and a Neimark-Sacker bifurcation in the interior of R+2 by using bifurcation theory. It has been found that the dynamical behavior of the model is very sensitive to the parameter values and the initial conditions. Numerical simulation results not only show the consistence with the theoretical analysis but also display the new and interesting dynamic behaviors, including phase portraits, period-9, 10, 20-orbits, attracting invariant circle, cascade of period-doubling bifurcation from period-20 leading to chaos, quasi-periodic orbits, and sudden disappearance of the chaotic dynamics and attracting chaotic set. In particular, we observe that when the prey is in chaotic dynamic, the predator can tend to extinction or to a stable equilibrium. The Lyapunov exponents are numerically computed to characterize the complexity of the dynamical behaviors. The analysis and results in this paper are interesting in mathematics and biology.

Possibility/Necessity-Based Probabilistic Expectation Models for Linear Programming Problems with Discrete Fuzzy Random Variables

Directory of Open Access Journals (Sweden)

Hideki Katagiri

2017-10-01

Full Text Available This paper considers linear programming problems (LPPs where the objective functions involve discrete fuzzy random variables (fuzzy set-valued discrete random variables. New decision making models, which are useful in fuzzy stochastic environments, are proposed based on both possibility theory and probability theory. In multi-objective cases, Pareto optimal solutions of the proposed models are newly defined. Computational algorithms for obtaining the Pareto optimal solutions of the proposed models are provided. It is shown that problems involving discrete fuzzy random variables can be transformed into deterministic nonlinear mathematical programming problems which can be solved through a conventional mathematical programming solver under practically reasonable assumptions. A numerical example of agriculture production problems is given to demonstrate the applicability of the proposed models to real-world problems in fuzzy stochastic environments.

Discrete Fourier and wavelet transforms an introduction through linear algebra with applications to signal processing

CERN Document Server

Goodman, Roe W

2016-01-01

This textbook for undergraduate mathematics, science, and engineering students introduces the theory and applications of discrete Fourier and wavelet transforms using elementary linear algebra, without assuming prior knowledge of signal processing or advanced analysis.It explains how to use the Fourier matrix to extract frequency information from a digital signal and how to use circulant matrices to emphasize selected frequency ranges. It introduces discrete wavelet transforms for digital signals through the lifting method and illustrates through examples and computer explorations how these transforms are used in signal and image processing. Then the general theory of discrete wavelet transforms is developed via the matrix algebra of two-channel filter banks. Finally, wavelet transforms for analog signals are constructed based on filter bank results already presented, and the mathematical framework of multiresolution analysis is examined.

Discrete Event Simulation of Distributed Team Communication

Science.gov (United States)

2012-03-22

performs, and auditory information that is provided through multiple audio devices with speech response. This paper extends previous discrete event workload...2008, pg. 1) notes that “Architecture modeling furnishes abstrac- tions for use in managing complexities, allowing engineers to visualise the proposed

A novel approach for modelling complex maintenance systems using discrete event simulation

International Nuclear Information System (INIS)

Alrabghi, Abdullah; Tiwari, Ashutosh

2016-01-01

Existing approaches for modelling maintenance rely on oversimplified assumptions which prevent them from reflecting the complexity found in industrial systems. In this paper, we propose a novel approach that enables the modelling of non-identical multi-unit systems without restrictive assumptions on the number of units or their maintenance characteristics. Modelling complex interactions between maintenance strategies and their effects on assets in the system is achieved by accessing event queues in Discrete Event Simulation (DES). The approach utilises the wide success DES has achieved in manufacturing by allowing integration with models that are closely related to maintenance such as production and spare parts systems. Additional advantages of using DES include rapid modelling and visual interactive simulation. The proposed approach is demonstrated in a simulation based optimisation study of a published case. The current research is one of the first to optimise maintenance strategies simultaneously with their parameters while considering production dynamics and spare parts management. The findings of this research provide insights for non-conflicting objectives in maintenance systems. In addition, the proposed approach can be used to facilitate the simulation and optimisation of industrial maintenance systems. - Highlights: • This research is one of the first to optimise maintenance strategies simultaneously. • New insights for non-conflicting objectives in maintenance systems. • The approach can be used to optimise industrial maintenance systems.

User interface to an ICAI system that teaches discrete math

OpenAIRE

Calcote, Roy Keith.; Howard, Richard Anthony

1990-01-01

Approved for public release; distribution is unlimited. The main thrust of this thesis is the design of a usable Intelligent Computer Aided Instruction (ICAI) user interface that does not use a natural language processor and runs on a personal computer. Discrete Mathematics is the knowledge domain for this project and the Discrete Math Tutor (DMT) is the name of the tutoring system. The DMT will allow the average student to benefit from a tutoring system now and not have to wait until the ...

Using simulation to interpret a discrete time survival model in a complex biological system: fertility and lameness in dairy cows.

Directory of Open Access Journals (Sweden)

Christopher D Hudson

Full Text Available The ever-growing volume of data routinely collected and stored in everyday life presents researchers with a number of opportunities to gain insight and make predictions. This study aimed to demonstrate the usefulness in a specific clinical context of a simulation-based technique called probabilistic sensitivity analysis (PSA in interpreting the results of a discrete time survival model based on a large dataset of routinely collected dairy herd management data. Data from 12,515 dairy cows (from 39 herds were used to construct a multilevel discrete time survival model in which the outcome was the probability of a cow becoming pregnant during a given two day period of risk, and presence or absence of a recorded lameness event during various time frames relative to the risk period amongst the potential explanatory variables. A separate simulation model was then constructed to evaluate the wider clinical implications of the model results (i.e. the potential for a herd's incidence rate of lameness to influence its overall reproductive performance using PSA. Although the discrete time survival analysis revealed some relatively large associations between lameness events and risk of pregnancy (for example, occurrence of a lameness case within 14 days of a risk period was associated with a 25% reduction in the risk of the cow becoming pregnant during that risk period, PSA revealed that, when viewed in the context of a realistic clinical situation, a herd's lameness incidence rate is highly unlikely to influence its overall reproductive performance to a meaningful extent in the vast majority of situations. Construction of a simulation model within a PSA framework proved to be a very useful additional step to aid contextualisation of the results from a discrete time survival model, especially where the research is designed to guide on-farm management decisions at population (i.e. herd rather than individual level.

Analysis of manufacturing based on object oriented discrete event simulation

Directory of Open Access Journals (Sweden)

Eirik Borgen

1990-01-01

Full Text Available This paper describes SIMMEK, a computer-based tool for performing analysis of manufacturing systems, developed at the Production Engineering Laboratory, NTH-SINTEF. Its main use will be in analysis of job shop type of manufacturing. But certain facilities make it suitable for FMS as well as a production line manufacturing. This type of simulation is very useful in analysis of any types of changes that occur in a manufacturing system. These changes may be investments in new machines or equipment, a change in layout, a change in product mix, use of late shifts, etc. The effects these changes have on for instance the throughput, the amount of VIP, the costs or the net profit, can be analysed. And this can be done before the changes are made, and without disturbing the real system. Simulation takes into consideration, unlike other tools for analysis of manufacturing systems, uncertainty in arrival rates, process and operation times, and machine availability. It also shows the interaction effects a job which is late in one machine, has on the remaining machines in its route through the layout. It is these effects that cause every production plan not to be fulfilled completely. SIMMEK is based on discrete event simulation, and the modeling environment is object oriented. The object oriented models are transformed by an object linker into data structures executable by the simulation kernel. The processes of the entity objects, i.e. the products, are broken down to events and put into an event list. The user friendly graphical modeling environment makes it possible for end users to build models in a quick and reliable way, using terms from manufacturing. Various tests and a check of model logic are helpful functions when testing validity of the models. Integration with software packages, with business graphics and statistical functions, is convenient in the result presentation phase.

On the relationship of steady states of continuous and discrete models arising from biology.

Science.gov (United States)

Veliz-Cuba, Alan; Arthur, Joseph; Hochstetler, Laura; Klomps, Victoria; Korpi, Erikka

2012-12-01

For many biological systems that have been modeled using continuous and discrete models, it has been shown that such models have similar dynamical properties. In this paper, we prove that this happens in more general cases. We show that under some conditions there is a bijection between the steady states of continuous and discrete models arising from biological systems. Our results also provide a novel method to analyze certain classes of nonlinear models using discrete mathematics.

Mathematical model of marine diesel engine simulator for a new methodology of self propulsion tests

Energy Technology Data Exchange (ETDEWEB)

Izzuddin, Nur; Sunarsih,; Priyanto, Agoes [Faculty of Mechanical Engineering, Universiti Teknologi Malaysia, 81310 Skudai, Johor (Malaysia)

2015-05-15

As a vessel operates in the open seas, a marine diesel engine simulator whose engine rotation is controlled to transmit through propeller shaft is a new methodology for the self propulsion tests to track the fuel saving in a real time. Considering the circumstance, this paper presents the real time of marine diesel engine simulator system to track the real performance of a ship through a computer-simulated model. A mathematical model of marine diesel engine and the propeller are used in the simulation to estimate fuel rate, engine rotating speed, thrust and torque of the propeller thus achieve the target vessel’s speed. The input and output are a real time control system of fuel saving rate and propeller rotating speed representing the marine diesel engine characteristics. The self-propulsion tests in calm waters were conducted using a vessel model to validate the marine diesel engine simulator. The simulator then was used to evaluate the fuel saving by employing a new mathematical model of turbochargers for the marine diesel engine simulator. The control system developed will be beneficial for users as to analyze different condition of vessel’s speed to obtain better characteristics and hence optimize the fuel saving rate.

Implementation of quantum and classical discrete fractional Fourier transforms

Science.gov (United States)

Weimann, Steffen; Perez-Leija, Armando; Lebugle, Maxime; Keil, Robert; Tichy, Malte; Gräfe, Markus; Heilmann, René; Nolte, Stefan; Moya-Cessa, Hector; Weihs, Gregor; Christodoulides, Demetrios N.; Szameit, Alexander

2016-01-01

Fourier transforms, integer and fractional, are ubiquitous mathematical tools in basic and applied science. Certainly, since the ordinary Fourier transform is merely a particular case of a continuous set of fractional Fourier domains, every property and application of the ordinary Fourier transform becomes a special case of the fractional Fourier transform. Despite the great practical importance of the discrete Fourier transform, implementation of fractional orders of the corresponding discrete operation has been elusive. Here we report classical and quantum optical realizations of the discrete fractional Fourier transform. In the context of classical optics, we implement discrete fractional Fourier transforms of exemplary wave functions and experimentally demonstrate the shift theorem. Moreover, we apply this approach in the quantum realm to Fourier transform separable and path-entangled biphoton wave functions. The proposed approach is versatile and could find applications in various fields where Fourier transforms are essential tools. PMID:27006089

Implementation of quantum and classical discrete fractional Fourier transforms.

Science.gov (United States)

Weimann, Steffen; Perez-Leija, Armando; Lebugle, Maxime; Keil, Robert; Tichy, Malte; Gräfe, Markus; Heilmann, René; Nolte, Stefan; Moya-Cessa, Hector; Weihs, Gregor; Christodoulides, Demetrios N; Szameit, Alexander

2016-03-23

Fourier transforms, integer and fractional, are ubiquitous mathematical tools in basic and applied science. Certainly, since the ordinary Fourier transform is merely a particular case of a continuous set of fractional Fourier domains, every property and application of the ordinary Fourier transform becomes a special case of the fractional Fourier transform. Despite the great practical importance of the discrete Fourier transform, implementation of fractional orders of the corresponding discrete operation has been elusive. Here we report classical and quantum optical realizations of the discrete fractional Fourier transform. In the context of classical optics, we implement discrete fractional Fourier transforms of exemplary wave functions and experimentally demonstrate the shift theorem. Moreover, we apply this approach in the quantum realm to Fourier transform separable and path-entangled biphoton wave functions. The proposed approach is versatile and could find applications in various fields where Fourier transforms are essential tools.

Mathematical Modelling and Simulation of Electrical Circuits and Semiconductor Devices

CERN Document Server

Merten, K; Bulirsch, R

1990-01-01

Numerical simulation and modelling of electric circuits and semiconductor devices are of primal interest in today's high technology industries. At the Oberwolfach Conference more than forty scientists from around the world, in­ cluding applied mathematicians and electrical engineers from industry and universities, presented new results in this area of growing importance. The contributions to this conference are presented in these proceedings. They include contributions on special topics of current interest in circuit and device simulation, as well as contributions that present an overview of the field. In the semiconductor area special lectures were given on mixed finite element methods and iterative procedures for the solution of large linear systems. For three dimensional models new discretization procedures including software packages were presented. Con­ nections between semiconductor equations and the Boltzmann equation were shown as well as relations to the quantum transport equation. Other issues dis...

a pyramid algorithm for the haar discrete wavelet packet transform

African Journals Online (AJOL)

PROF EKWUEME

computer-aided signal processing of non-stationary signals, this paper develops a pyramid algorithm for the discrete wavelet packet ... Edith T. Luhanga, School of Computational and Communication Sciences and Engineering, Nelson Mandela African. Institute of ..... Mathematics, Washington University. 134. EDITH T.

"Minesweeper" and spectrum of discrete Laplacians

OpenAIRE

German, Oleg; Lakshtanov, Evgeny

2008-01-01

The paper is devoted to a problem inspired by the "Minesweeper" computer game. It is shown that certain configurations of open cells guarantee the existence and the uniqueness of solution. Mathematically the problem is reduced to some spectral properties of discrete differential operators. It is shown how the uniqueness can be used to create a new game which preserves the spirit of "Minesweeper" but does not require a computer.

Numerical simulation of freshwater/seawater interaction in a dual-permeability karst system with conduits: the development of discrete-continuum VDFST-CFP model

Science.gov (United States)

Xu, Zexuan; Hu, Bill

2016-04-01

Dual-permeability karst aquifers of porous media and conduit networks with significant different hydrological characteristics are widely distributed in the world. Discrete-continuum numerical models, such as MODFLOW-CFP and CFPv2, have been verified as appropriate approaches to simulate groundwater flow and solute transport in numerical modeling of karst hydrogeology. On the other hand, seawater intrusion associated with fresh groundwater resources contamination has been observed and investigated in numbers of coastal aquifers, especially under conditions of sea level rise. Density-dependent numerical models including SEAWAT are able to quantitatively evaluate the seawater/freshwater interaction processes. A numerical model of variable-density flow and solute transport - conduit flow process (VDFST-CFP) is developed to provide a better description of seawater intrusion and submarine groundwater discharge in a coastal karst aquifer with conduits. The coupling discrete-continuum VDFST-CFP model applies Darcy-Weisbach equation to simulate non-laminar groundwater flow in the conduit system in which is conceptualized and discretized as pipes, while Darcy equation is still used in continuum porous media. Density-dependent groundwater flow and solute transport equations with appropriate density terms in both conduit and porous media systems are derived and numerically solved using standard finite difference method with an implicit iteration procedure. Synthetic horizontal and vertical benchmarks are created to validate the newly developed VDFST-CFP model by comparing with other numerical models such as variable density SEAWAT, couplings of constant density groundwater flow and solute transport MODFLOW/MT3DMS and discrete-continuum CFPv2/UMT3D models. VDFST-CFP model improves the simulation of density dependent seawater/freshwater mixing processes and exchanges between conduit and matrix. Continuum numerical models greatly overestimated the flow rate under turbulent flow

Handbook of mathematical methods in imaging

CERN Document Server

2015-01-01

The Handbook of Mathematical Methods in Imaging provides a comprehensive treatment of the mathematical techniques used in imaging science. The material is grouped into two central themes, namely, Inverse Problems (Algorithmic Reconstruction) and Signal and Image Processing. Each section within the themes covers applications (modeling), mathematics, numerical methods (using a case example) and open questions. Written by experts in the area, the presentation is mathematically rigorous. This expanded and revised second edition contains updates to existing chapters and 16 additional entries on important mathematical methods such as graph cuts, morphology, discrete geometry, PDEs, conformal methods, to name a few. The entries are cross-referenced for easy navigation through connected topics. Available in both print and electronic forms, the handbook is enhanced by more than 200 illustrations and an extended bibliography. It will benefit students, scientists and researchers in applied mathematics. Engineers and com...

Numerical simulations of granular dynamics: I. Hard-sphere discrete element method and tests

Science.gov (United States)

Richardson, Derek C.; Walsh, Kevin J.; Murdoch, Naomi; Michel, Patrick

2011-03-01

We present a new particle-based (discrete element) numerical method for the simulation of granular dynamics, with application to motions of particles on small solar system body and planetary surfaces. The method employs the parallel N-body tree code pkdgrav to search for collisions and compute particle trajectories. Collisions are treated as instantaneous point-contact events between rigid spheres. Particle confinement is achieved by combining arbitrary combinations of four provided wall primitives, namely infinite plane, finite disk, infinite cylinder, and finite cylinder, and degenerate cases of these. Various wall movements, including translation, oscillation, and rotation, are supported. We provide full derivations of collision prediction and resolution equations for all geometries and motions. Several tests of the method are described, including a model granular “atmosphere” that achieves correct energy equipartition, and a series of tumbler simulations that show the expected transition from tumbling to centrifuging as a function of rotation rate.

Discrete Event Modeling and Simulation-Driven Engineering for the ATLAS Data Acquisition Network

CERN Document Server

Bonaventura, Matias Alejandro; The ATLAS collaboration; Castro, Rodrigo Daniel

2016-01-01

We present an iterative and incremental development methodology for simulation models in network engineering projects. Driven by the DEVS (Discrete Event Systems Specification) formal framework for modeling and simulation we assist network design, test, analysis and optimization processes. A practical application of the methodology is presented for a case study in the ATLAS particle physics detector, the largest scientific experiment built by man where scientists around the globe search for answers about the origins of the universe. The ATLAS data network convey real-time information produced by physics detectors as beams of particles collide. The produced sub-atomic evidences must be filtered and recorded for further offline scrutiny. Due to the criticality of the transported data, networks and applications undergo careful engineering processes with stringent quality of service requirements. A tight project schedule imposes time pressure on design decisions, while rapid technology evolution widens the palett...

Evolvable mathematical models: A new artificial Intelligence paradigm

Science.gov (United States)

Grouchy, Paul

We develop a novel Artificial Intelligence paradigm to generate autonomously artificial agents as mathematical models of behaviour. Agent/environment inputs are mapped to agent outputs via equation trees which are evolved in a manner similar to Symbolic Regression in Genetic Programming. Equations are comprised of only the four basic mathematical operators, addition, subtraction, multiplication and division, as well as input and output variables and constants. From these operations, equations can be constructed that approximate any analytic function. These Evolvable Mathematical Models (EMMs) are tested and compared to their Artificial Neural Network (ANN) counterparts on two benchmarking tasks: the double-pole balancing without velocity information benchmark and the challenging discrete Double-T Maze experiments with homing. The results from these experiments show that EMMs are capable of solving tasks typically solved by ANNs, and that they have the ability to produce agents that demonstrate learning behaviours. To further explore the capabilities of EMMs, as well as to investigate the evolutionary origins of communication, we develop NoiseWorld, an Artificial Life simulation in which interagent communication emerges and evolves from initially noncommunicating EMM-based agents. Agents develop the capability to transmit their x and y position information over a one-dimensional channel via a complex, dialogue-based communication scheme. These evolved communication schemes are analyzed and their evolutionary trajectories examined, yielding significant insight into the emergence and subsequent evolution of cooperative communication. Evolved agents from NoiseWorld are successfully transferred onto physical robots, demonstrating the transferability of EMM-based AIs from simulation into physical reality.

Comparisons of physical experiment and discrete element simulations of sheared granular materials in an annular shear cell

Science.gov (United States)

Ji, S.; Hanes, D.M.; Shen, H.H.

2009-01-01

In this study, we report a direct comparison between a physical test and a computer simulation of rapidly sheared granular materials. An annular shear cell experiment was conducted. All parameters were kept the same between the physical and the computational systems to the extent possible. Artificially softened particles were used in the simulation to reduce the computational time to a manageable level. Sensitivity study on the particle stiffness ensured such artificial modification was acceptable. In the experiment, a range of normal stress was applied to a given amount of particles sheared in an annular trough with a range of controlled shear speed. Two types of particles, glass and Delrin, were used in the experiment. Qualitatively, the required torque to shear the materials under different rotational speed compared well with those in the physical experiments for both the glass and the Delrin particles. However, the quantitative discrepancies between the measured and simulated shear stresses were nearly a factor of two. Boundary conditions, particle size distribution, particle damping and friction, including a sliding and rolling, contact force model, were examined to determine their effects on the computational results. It was found that of the above, the rolling friction between particles had the most significant effect on the macro stress level. This study shows that discrete element simulation is a viable method for engineering design for granular material systems. Particle level information is needed to properly conduct these simulations. However, not all particle level information is equally important in the study regime. Rolling friction, which is not commonly considered in many discrete element models, appears to play an important role. ?? 2009 Elsevier Ltd.

Counterion release from a discretely charged surface in an electrolyte: Monte Carlo simulation study

International Nuclear Information System (INIS)

Hernández-Contreras, M

2015-01-01

Monte Carlo simulations allowed us to determine the amount of released electric charges from a discretely charged surface in 1:1 aqueous electrolyte solution as a function of surface charge density. Within the restricted primitive model and for a fixed concentration of 0.1 M bulk electrolyte in solution, there is an increase in the number of released counterions per unit surface area as the strength of the surface charge is enhanced. A similar behaviour of the number of released counterions was also found through the use of mean field and liquid theory methods

In silico modeling of axonal reconnection within a discrete fiber tract after spinal cord injury.

Science.gov (United States)

Woolfe, Franco; Waxman, Stephen G; Hains, Bryan C

2007-02-01

Following spinal cord injury (SCI), descending axons that carry motor commands from the brain to the spinal cord are injured or transected, producing chronic motor dysfunction and paralysis. Reconnection of these axons is a major prerequisite for restoration of function after SCI. Thus far, only modest gains in motor function have been achieved experimentally or in the clinic after SCI, identifying the practical limitations of current treatment approaches. In this paper, we use an ordinary differential equation (ODE) to simulate the relative and synergistic contributions of several experimentally-established biological factors related to inhibition or promotion of axonal repair and restoration of function after SCI. The factors were mathematically modeled by the ODE. The results of our simulation show that in a model system, many factors influenced the achievability of axonal reconnection. Certain factors more strongly affected axonal reconnection in isolation, and some factors interacted in a synergistic fashion to produce further improvements in axonal reconnection. Our data suggest that mathematical modeling may be useful in evaluating the complex interactions of discrete therapeutic factors not possible in experimental preparations, and highlight the benefit of a combinatorial therapeutic approach focused on promoting axonal sprouting, attraction of cut ends, and removal of growth inhibition for achieving axonal reconnection. Predictions of this simulation may be of utility in guiding future experiments aimed at restoring function after SCI.

Geometry and Hamiltonian mechanics on discrete spaces

International Nuclear Information System (INIS)

Talasila, V; Clemente-Gallardo, J; Schaft, A J van der

2004-01-01

Numerical simulation is often crucial for analysing the behaviour of many complex systems which do not admit analytic solutions. To this end, one either converts a 'smooth' model into a discrete (in space and time) model, or models systems directly at a discrete level. The goal of this paper is to provide a discrete analogue of differential geometry, and to define on these discrete models a formal discrete Hamiltonian structure-in doing so we try to bring together various fundamental concepts from numerical analysis, differential geometry, algebraic geometry, simplicial homology and classical Hamiltonian mechanics. For example, the concept of a twisted derivation is borrowed from algebraic geometry for developing a discrete calculus. The theory is applied to a nonlinear pendulum and we compare the dynamics obtained through a discrete modelling approach with the dynamics obtained via the usual discretization procedures. Also an example of an energy-conserving algorithm on a simple harmonic oscillator is presented, and its effect on the Poisson structure is discussed

Topics in mathematical analysis and applications

CERN Document Server

Tóth, László

2014-01-01

This volume presents significant advances in a number of theories and problems of Mathematical Analysis and its applications in disciplines such as Analytic Inequalities, Operator Theory, Functional Analysis, Approximation Theory, Functional Equations, Differential Equations, Wavelets, Discrete Mathematics and Mechanics. The contributions focus on recent developments and are written by eminent scientists from the international mathematical community. Special emphasis is given to new results that have been obtained in the above mentioned disciplines in which Nonlinear Analysis plays a central role. Some review papers published in this volume will be particularly useful for a broader readership in Mathematical Analysis, as well as for graduate students. An attempt is given to present all subjects in this volume in a unified and self-contained manner, to be particularly useful to the mathematical community.

AMS Mathematical Review of the book "Géométrie discrète et images numériques" (French)

DEFF Research Database (Denmark)

Anton, François

2010-01-01

(through implict surfaces with skeletons, chapter 18), applications of discrete geometry to medical imaging (chapter 19) and generalization of discrete geometry objects and operators to multiresolution grids (chapter 20). This book presents very interesting mathematical methodological tools from discrete......This is the AMS Mathematical Review for the book: Géométrie discrète et images numériques [Discrete geometry and numerical images] Edited by David Coeurjolly, Annick Montanvert and Jean-Marc Chassery. Traité IC2. Série Signal et Image. [IC2 Treatise. Series Signal and Image] Hermes Science......”. The book is structured in five parts. The first part (chapters 2 through 4) presents the general mathematical foundations of discrete geometry and topology: arithmetic (chapter 2, which is later referred to in chapters 6, 7 and 11), topology (chapter 3, which is referred to in chapter 8) and combinatorics...

Systemic characterization and evaluation of particle packings as initial sets for discrete element simulations

Science.gov (United States)

Morfa, Carlos Recarey; Cortés, Lucía Argüelles; Farias, Márcio Muniz de; Morales, Irvin Pablo Pérez; Valera, Roberto Roselló; Oñate, Eugenio

2018-07-01

A methodology that comprises several characterization properties for particle packings is proposed in this paper. The methodology takes into account factors such as dimension and shape of particles, space occupation, homogeneity, connectivity and isotropy, among others. This classification and integration of several properties allows to carry out a characterization process to systemically evaluate the particle packings in order to guarantee the quality of the initial meshes in discrete element simulations, in both the micro- and the macroscales. Several new properties were created, and improvements in existing ones are presented. Properties from other disciplines were adapted to be used in the evaluation of particle systems. The methodology allows to easily characterize media at the level of the microscale (continuous geometries—steels, rocks microstructures, etc., and discrete geometries) and the macroscale. A global, systemic and integral system for characterizing and evaluating particle sets, based on fuzzy logic, is presented. Such system allows researchers to have a unique evaluation criterion based on the aim of their research. Examples of applications are shown.

Systemic characterization and evaluation of particle packings as initial sets for discrete element simulations

Science.gov (United States)

Morfa, Carlos Recarey; Cortés, Lucía Argüelles; Farias, Márcio Muniz de; Morales, Irvin Pablo Pérez; Valera, Roberto Roselló; Oñate, Eugenio

2017-10-01

A methodology that comprises several characterization properties for particle packings is proposed in this paper. The methodology takes into account factors such as dimension and shape of particles, space occupation, homogeneity, connectivity and isotropy, among others. This classification and integration of several properties allows to carry out a characterization process to systemically evaluate the particle packings in order to guarantee the quality of the initial meshes in discrete element simulations, in both the micro- and the macroscales. Several new properties were created, and improvements in existing ones are presented. Properties from other disciplines were adapted to be used in the evaluation of particle systems. The methodology allows to easily characterize media at the level of the microscale (continuous geometries—steels, rocks microstructures, etc., and discrete geometries) and the macroscale. A global, systemic and integral system for characterizing and evaluating particle sets, based on fuzzy logic, is presented. Such system allows researchers to have a unique evaluation criterion based on the aim of their research. Examples of applications are shown.

The mathematical model of thread unrolling from a bobbin

Directory of Open Access Journals (Sweden)

S. M. Tenenbaum

2014-01-01

solving of ordinary differential equation.III. Mathematical modelIn this section the detailed description of proposed mathematical model based on conventional spring-mass model is given.The major feature of this model is that on the every integration step all nodes divided into three groups: nodes on the bobbin (linked – their motion is completely determined by the bobbin rotation; free nodes – descended from the bobbin and not neighboring nodes on the bobbin; boundary nodes - descended from the bobbin neighboring nodes on the bobbin.For each nodes group the right parts of equations of motions are different. In these equations the additional corrections are included that result in reducing the impact of discretization on simulation results. These corrections are: equations of motion for boundary nodes eliminate unphysical reaction components, resulting from discretization; when a node descends from the bobbin its velocity vector turns following motion of already descended nodes, thus simulating the thread bending of very small radius at the point of thread descending.IV. Numerical experimentThe developed mathematical model is tested using the simplified problem of two-blades rotary solar sail deploying from the «BMSTU-Sail» project [2].The calculations demonstrated that the proposed mathematical model satisfies the law of conservation of angular momentum. It is also shown that calculation results are almost independent on the utility parameters of mathematical model (e.g. damping coefficient of nodes relative oscillations.V. ConclusionMajor conclusions in this paper are: proposed mathematical model satisfies the law of conservation of angular momentum that indirectly confirms its correctness; the transverse thread motion is almost independent on the damping and stiffness coefficients, therefore they can be adjusted for calculation stability without accuracy loss; based on proposed mathematical model of unrolling a thread from a bobbin the

Mathematical statistics and stochastic processes

CERN Document Server

Bosq, Denis

2013-01-01

Generally, books on mathematical statistics are restricted to the case of independent identically distributed random variables. In this book however, both this case AND the case of dependent variables, i.e. statistics for discrete and continuous time processes, are studied. This second case is very important for today's practitioners.Mathematical Statistics and Stochastic Processes is based on decision theory and asymptotic statistics and contains up-to-date information on the relevant topics of theory of probability, estimation, confidence intervals, non-parametric statistics and rob

Geometry and Hamiltonian mechanics on discrete spaces

NARCIS (Netherlands)

Talasila, V.; Clemente Gallardo, J.J.; Clemente-Gallardo, J.; van der Schaft, Arjan

2004-01-01

Numerical simulation is often crucial for analysing the behaviour of many complex systems which do not admit analytic solutions. To this end, one either converts a 'smooth' model into a discrete (in space and time) model, or models systems directly at a discrete level. The goal of this paper is to

ADAM: analysis of discrete models of biological systems using computer algebra.

Science.gov (United States)

Hinkelmann, Franziska; Brandon, Madison; Guang, Bonny; McNeill, Rustin; Blekherman, Grigoriy; Veliz-Cuba, Alan; Laubenbacher, Reinhard

2011-07-20

Many biological systems are modeled qualitatively with discrete models, such as probabilistic Boolean networks, logical models, Petri nets, and agent-based models, to gain a better understanding of them. The computational complexity to analyze the complete dynamics of these models grows exponentially in the number of variables, which impedes working with complex models. There exist software tools to analyze discrete models, but they either lack the algorithmic functionality to analyze complex models deterministically or they are inaccessible to many users as they require understanding the underlying algorithm and implementation, do not have a graphical user interface, or are hard to install. Efficient analysis methods that are accessible to modelers and easy to use are needed. We propose a method for efficiently identifying attractors and introduce the web-based tool Analysis of Dynamic Algebraic Models (ADAM), which provides this and other analysis methods for discrete models. ADAM converts several discrete model types automatically into polynomial dynamical systems and analyzes their dynamics using tools from computer algebra. Specifically, we propose a method to identify attractors of a discrete model that is equivalent to solving a system of polynomial equations, a long-studied problem in computer algebra. Based on extensive experimentation with both discrete models arising in systems biology and randomly generated networks, we found that the algebraic algorithms presented in this manuscript are fast for systems with the structure maintained by most biological systems, namely sparseness and robustness. For a large set of published complex discrete models, ADAM identified the attractors in less than one second. Discrete modeling techniques are a useful tool for analyzing complex biological systems and there is a need in the biological community for accessible efficient analysis tools. ADAM provides analysis methods based on mathematical algorithms as a web

Discrete Event Simulation of Patient Admissions to a Neurovascular Unit

Directory of Open Access Journals (Sweden)

S. Hahn-Goldberg

2014-01-01

Full Text Available Evidence exists that clinical outcomes improve for stroke patients admitted to specialized Stroke Units. The Toronto Western Hospital created a Neurovascular Unit (NVU using beds from general internal medicine, Neurology and Neurosurgery to care for patients with stroke and acute neurovascular conditions. Using patient-level data for NVU-eligible patients, a discrete event simulation was created to study changes in patient flow and length of stay pre- and post-NVU implementation. Varying patient volumes and resources were tested to determine the ideal number of beds under various conditions. In the first year of operation, the NVU admitted 507 patients, over 66% of NVU-eligible patient volumes. With the introduction of the NVU, length of stay decreased by around 8%. Scenario testing showed that the current level of 20 beds is sufficient for accommodating the current demand and would continue to be sufficient with an increase in demand of up to 20%.

Simulating discrete models of pattern formation by ion beam sputtering

International Nuclear Information System (INIS)

Hartmann, Alexander K; Kree, Reiner; Yasseri, Taha

2009-01-01

A class of simple, (2+1)-dimensional, discrete models is reviewed, which allow us to study the evolution of surface patterns on solid substrates during ion beam sputtering (IBS). The models are based on the same assumptions about the erosion process as the existing continuum theories. Several distinct physical mechanisms of surface diffusion are added, which allow us to study the interplay of erosion-driven and diffusion-driven pattern formation. We present results from our own work on evolution scenarios of ripple patterns, especially for longer timescales, where nonlinear effects become important. Furthermore we review kinetic phase diagrams, both with and without sample rotation, which depict the systematic dependence of surface patterns on the shape of energy depositing collision cascades after ion impact. Finally, we discuss some results from more recent work on surface diffusion with Ehrlich-Schwoebel barriers as the driving force for pattern formation during IBS and on Monte Carlo simulations of IBS with codeposition of surfactant atoms.

Discrete Event Simulation Method as a Tool for Improvement of Manufacturing Systems

Directory of Open Access Journals (Sweden)

Adrian Kampa

2017-02-01

Full Text Available The problem of production flow in manufacturing systems is analyzed. The machines can be operated by workers or by robots, since breakdowns and human factors destabilize the production processes that robots are preferred to perform. The problem is how to determine the real difference in work efficiency between humans and robots. We present an analysis of the production efficiency and reliability of the press shop lines operated by human operators or industrial robots. This is a problem from the field of Operations Research for which the Discrete Event Simulation (DES method has been used. Three models have been developed, including the manufacturing line before and after robotization, taking into account stochastic parameters of availability and reliability of the machines, operators, and robots. We apply the OEE (Overall Equipment Effectiveness indicator to present how the availability, reliability, and quality parameters influence the performance of the workstations, especially in the short run and in the long run. In addition, the stability of the simulation model was analyzed. This approach enables a better representation of real manufacturing processes.

Mathematical modeling and simulation in animal health. Part I: Moving beyond pharmacokinetics.

Science.gov (United States)

Riviere, J E; Gabrielsson, J; Fink, M; Mochel, J

2016-06-01

The application of mathematical modeling to problems in animal health has a rich history in the form of pharmacokinetic modeling applied to problems in veterinary medicine. Advances in modeling and simulation beyond pharmacokinetics have the potential to streamline and speed-up drug research and development programs. To foster these goals, a series of manuscripts will be published with the following goals: (i) expand the application of modeling and simulation to issues in veterinary pharmacology; (ii) bridge the gap between the level of modeling and simulation practiced in human and veterinary pharmacology; (iii) explore how modeling and simulation concepts can be used to improve our understanding of common issues not readily addressed in human pharmacology (e.g. breed differences, tissue residue depletion, vast weight ranges among adults within a single species, interspecies differences, small animal species research where data collection is limited to sparse sampling, availability of different sampling matrices); and (iv) describe how quantitative pharmacology approaches could help understanding key pharmacokinetic and pharmacodynamic characteristics of a drug candidate, with the goal of providing explicit, reproducible, and predictive evidence for optimizing drug development plans, enabling critical decision making, and eventually bringing safe and effective medicines to patients. This study introduces these concepts and introduces new approaches to modeling and simulation as well as clearly articulate basic assumptions and good practices. The driving force behind these activities is to create predictive models that are based on solid physiological and pharmacological principles as well as adhering to the limitations that are fundamental to applying mathematical and statistical models to biological systems. © 2015 John Wiley & Sons Ltd.

Geometry and Hamiltonian mechanics on discrete spaces

NARCIS (Netherlands)

Talasila, V.; Clemente-Gallardo, J.; Schaft, A.J. van der

2004-01-01

Numerical simulation is often crucial for analysing the behaviour of many complex systems which do not admit analytic solutions. To this end, one either converts a ‘smooth’ model into a discrete (in space and time) model, or models systems directly at a discrete level. The goal of this paper is to

Numerical simulation of hydraulic fracturing and associated microseismicity using finite-discrete element method

Directory of Open Access Journals (Sweden)

Qi Zhao

2014-12-01

Full Text Available Hydraulic fracturing (HF technique has been extensively used for the exploitation of unconventional oil and gas reservoirs. HF enhances the connectivity of less permeable oil and gas-bearing rock formations by fluid injection, which creates an interconnected fracture network and increases the hydrocarbon production. Meanwhile, microseismic (MS monitoring is one of the most effective approaches to evaluate such stimulation process. In this paper, the combined finite-discrete element method (FDEM is adopted to numerically simulate HF and associated MS. Several post-processing tools, including frequency-magnitude distribution (b-value, fractal dimension (D-value, and seismic events clustering, are utilized to interpret numerical results. A non-parametric clustering algorithm designed specifically for FDEM is used to reduce the mesh dependency and extract more realistic seismic information. Simulation results indicated that at the local scale, the HF process tends to propagate following the rock mass discontinuities; while at the reservoir scale, it tends to develop in the direction parallel to the maximum in-situ stress.

Improving Energy Efficiency for the Vehicle Assembly Industry: A Discrete Event Simulation Approach

Science.gov (United States)

Oumer, Abduaziz; Mekbib Atnaw, Samson; Kie Cheng, Jack; Singh, Lakveer

2016-11-01

This paper presented a Discrete Event Simulation (DES) model for investigating and improving energy efficiency in vehicle assembly line. The car manufacturing industry is one of the highest energy consuming industries. Using Rockwell Arena DES package; a detailed model was constructed for an actual vehicle assembly plant. The sources of energy considered in this research are electricity and fuel; which are the two main types of energy sources used in a typical vehicle assembly plant. The model depicts the performance measurement for process- specific energy measures of painting, welding, and assembling processes. Sound energy efficiency model within this industry has two-fold advantage: reducing CO2 emission and cost reduction associated with fuel and electricity consumption. The paper starts with an overview of challenges in energy consumption within the facilities of automotive assembly line and highlights the parameters for energy efficiency. The results of the simulation model indicated improvements for energy saving objectives and reduced costs.

Applying Multivariate Discrete Distributions to Genetically Informative Count Data.

Science.gov (United States)

Kirkpatrick, Robert M; Neale, Michael C

2016-03-01

We present a novel method of conducting biometric analysis of twin data when the phenotypes are integer-valued counts, which often show an L-shaped distribution. Monte Carlo simulation is used to compare five likelihood-based approaches to modeling: our multivariate discrete method, when its distributional assumptions are correct, when they are incorrect, and three other methods in common use. With data simulated from a skewed discrete distribution, recovery of twin correlations and proportions of additive genetic and common environment variance was generally poor for the Normal, Lognormal and Ordinal models, but good for the two discrete models. Sex-separate applications to substance-use data from twins in the Minnesota Twin Family Study showed superior performance of two discrete models. The new methods are implemented using R and OpenMx and are freely available.

Computational issues in the simulation of two-dimensional discrete dislocation mechanics

Science.gov (United States)

Segurado, J.; LLorca, J.; Romero, I.

2007-06-01

The effect of the integration time step and the introduction of a cut-off velocity for the dislocation motion was analysed in discrete dislocation dynamics (DD) simulations of a single crystal microbeam. Two loading modes, bending and uniaxial tension, were examined. It was found that a longer integration time step led to a progressive increment of the oscillations in the numerical solution, which would eventually diverge. This problem could be corrected in the simulations carried out in bending by introducing a cut-off velocity for the dislocation motion. This strategy (long integration times and a cut-off velocity for the dislocation motion) did not recover, however, the solution computed with very short time steps in uniaxial tension: the dislocation density was overestimated and the dislocation patterns modified. The different response to the same numerical algorithm was explained in terms of the nature of the dislocations generated in each case: geometrically necessary in bending and statistically stored in tension. The evolution of the dislocation density in the former was controlled by the plastic curvature of the beam and was independent of the details of the simulations. On the contrary, the steady-state dislocation density in tension was determined by the balance between nucleation of dislocations and those which are annihilated or which exit the beam. Changes in the DD imposed by the cut-off velocity altered this equilibrium and the solution. These results point to the need for detailed analyses of the accuracy and stability of the dislocation dynamic simulations to ensure that the results obtained are not fundamentally affected by the numerical strategies used to solve this complex problem.

A discrete event simulation model for evaluating time delays in a pipeline network

Energy Technology Data Exchange (ETDEWEB)

Spricigo, Deisi; Muggiati, Filipe V.; Lueders, Ricardo; Neves Junior, Flavio [Federal University of Technology of Parana (UTFPR), Curitiba, PR (Brazil)

2009-07-01

Currently in the oil industry the logistic chain stands out as a strong candidate to obtain highest profit, since recent studies have pointed out to a cost reduction by adoption of better policies for distribution of oil derivatives, particularly those where pipelines are used to transport products. Although there are models to represent transfers of oil derivatives in pipelines, they are quite complex and computationally burden. In this paper, we are interested on models that are less detailed in terms of fluid dynamics but provide more information about operational decisions in a pipeline network. We propose a discrete event simulation model in ARENA that allows simulating a pipeline network based on average historical data. Time delays for transferring different products can be evaluated through different routes. It is considered that transport operations follow a historical behavior and average time delays can thus be estimated within certain bounds. Due to its stochastic nature, time quantities are characterized by average and dispersion measures. This allows comparing different operational scenarios for product transportation. Simulation results are compared to data obtained from a real world pipeline network and different scenarios of production and demand are analyzed. (author)

Continuous/discrete non parametric Bayesian belief nets with UNICORN and UNINET

NARCIS (Netherlands)

Cooke, R.M.; Kurowicka, D.; Hanea, A.M.; Morales Napoles, O.; Ababei, D.A.; Ale, B.J.M.; Roelen, A.

2007-01-01

Hanea et al. (2006) presented a method for quantifying and computing continuous/discrete non parametric Bayesian Belief Nets (BBN). Influences are represented as conditional rank correlations, and the joint normal copula enables rapid sampling and conditionalization. Further mathematical background

A Generic Discrete-Event Simulation Model for Outpatient Clinics in a Large Public Hospital

Directory of Open Access Journals (Sweden)

Waressara Weerawat

2013-01-01

Full Text Available The orthopedic outpatient department (OPD ward in a large Thai public hospital is modeled using Discrete-Event Stochastic (DES simulation. Key Performance Indicators (KPIs are used to measure effects across various clinical operations during different shifts throughout the day. By considering various KPIs such as wait times to see doctors, percentage of patients who can see a doctor within a target time frame, and the time that the last patient completes their doctor consultation, bottlenecks are identified and resource-critical clinics can be prioritized. The simulation model quantifies the chronic, high patient congestion that is prevalent amongst Thai public hospitals with very high patient-to-doctor ratios. Our model can be applied across five different OPD wards by modifying the model parameters. Throughout this work, we show how DES models can be used as decision-support tools for hospital management.

6th World Conference on 21st Century Mathematics

CERN Document Server

Choudary, ADR; Waldschmidt, Michel

2015-01-01

Numerous well-presented and important papers from the conference are gathered in the proceedings for the purpose of pointing directions for useful future research in diverse areas of mathematics including algebraic geometry, analysis, commutative algebra, complex analysis, discrete mathematics, dynamical systems, number theory and topology. Several papers on computational and applied mathematics such as wavelet analysis, quantum mechanics, piecewise linear modeling, cosmological models of super symmetry, fluid dynamics, interpolation theory, optimization, ergodic theory and games theory are also presented.

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

Science.gov (United States)

What Works Clearinghouse, 2011

2011-01-01

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

A review of mathematical modeling and simulation of controlled-release fertilizers.

Science.gov (United States)

Irfan, Sayed Ameenuddin; Razali, Radzuan; KuShaari, KuZilati; Mansor, Nurlidia; Azeem, Babar; Ford Versypt, Ashlee N

2018-02-10

Nutrients released into soils from uncoated fertilizer granules are lost continuously due to volatilization, leaching, denitrification, and surface run-off. These issues have caused economic loss due to low nutrient absorption efficiency and environmental pollution due to hazardous emissions and water eutrophication. Controlled-release fertilizers (CRFs) can change the release kinetics of the fertilizer nutrients through an abatement strategy to offset these issues by providing the fertilizer content in synchrony with the metabolic needs of the plants. Parametric analysis of release characteristics of CRFs is of paramount importance for the design and development of new CRFs. However, the experimental approaches are not only time consuming, but they are also cumbersome and expensive. Scientists have introduced mathematical modeling techniques to predict the release of nutrients from the CRFs to elucidate fundamental understanding of the dynamics of the release processes and to design new CRFs in a shorter time and with relatively lower cost. This paper reviews and critically analyzes the latest developments in the mathematical modeling and simulation techniques that have been reported for the characteristics and mechanisms of nutrient release from CRFs. The scope of this review includes the modeling and simulations techniques used for coated, controlled-release fertilizers. Copyright © 2017 Elsevier B.V. All rights reserved.

The discrete hungry Lotka Volterra system and a new algorithm for computing matrix eigenvalues

Science.gov (United States)

Fukuda, Akiko; Ishiwata, Emiko; Iwasaki, Masashi; Nakamura, Yoshimasa

2009-01-01

The discrete hungry Lotka-Volterra (dhLV) system is a generalization of the discrete Lotka-Volterra (dLV) system which stands for a prey-predator model in mathematical biology. In this paper, we show that (1) some invariants exist which are expressed by dhLV variables and are independent from the discrete time and (2) a dhLV variable converges to some positive constant or zero as the discrete time becomes sufficiently large. Some characteristic polynomial is then factorized with the help of the dhLV system. The asymptotic behaviour of the dhLV system enables us to design an algorithm for computing complex eigenvalues of a certain band matrix.

The discrete hungry Lotka–Volterra system and a new algorithm for computing matrix eigenvalues

International Nuclear Information System (INIS)

Fukuda, Akiko; Ishiwata, Emiko; Iwasaki, Masashi; Nakamura, Yoshimasa

2009-01-01

The discrete hungry Lotka–Volterra (dhLV) system is a generalization of the discrete Lotka–Volterra (dLV) system which stands for a prey–predator model in mathematical biology. In this paper, we show that (1) some invariants exist which are expressed by dhLV variables and are independent from the discrete time and (2) a dhLV variable converges to some positive constant or zero as the discrete time becomes sufficiently large. Some characteristic polynomial is then factorized with the help of the dhLV system. The asymptotic behaviour of the dhLV system enables us to design an algorithm for computing complex eigenvalues of a certain band matrix

The Application of Simulation Method in Isothermal Elastic Natural Gas Pipeline

Science.gov (United States)

Xing, Chunlei; Guan, Shiming; Zhao, Yue; Cao, Jinggang; Chu, Yanji

2018-02-01

This Elastic pipeline mathematic model is of crucial importance in natural gas pipeline simulation because of its compliance with the practical industrial cases. The numerical model of elastic pipeline will bring non-linear complexity to the discretized equations. Hence the Newton-Raphson method cannot achieve fast convergence in this kind of problems. Therefore A new Newton Based method with Powell-Wolfe Condition to simulate the Isothermal elastic pipeline flow is presented. The results obtained by the new method aregiven based on the defined boundary conditions. It is shown that the method converges in all cases and reduces significant computational cost.

GENERAL TASKS OF MATHEMATICAL EDUCATION DEVELOPMENT

Directory of Open Access Journals (Sweden)

V. A. Testov

2014-01-01

Full Text Available The paper discusses basic implementation aspects of the Mathematical Education Development Concept, adopted by the Russian Government in 2013. According to the above document, the main problems of mathematical education include: low motivation of secondary and higher school students for studying the discipline, resulted from underestimation of mathematical knowledge; and outdated educational content, overloaded by technical elements. In the author’s opinion, a number of important new mathematical fields, developed over the last years, - the graph theory, discrete mathematics, encoding theory, fractal geometry, etc – have a large methodological and applied educational potential. However, these new subdisciplines have very little representation both in the secondary and higher school mathematical curricula. As a solution for overcoming the gap between the latest scientific achievements and pedagogical practices, the author recommends integration of the above mentioned mathematical disciplines in educational curricula instead of some outdated technical issues. In conclusion, the paper emphasizes the need for qualified mathematical teachers’ training for solving the problems of students’ motivation development and content updates.

Stable grid refinement and singular source discretization for seismic wave simulations