Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 6 dokumen yang sesuai dengan query
cover
Josef Kallrath, editor
Abstrak :
This book, deals with the aspects of modeling and solving real-world optimization problems in a unique combination. It treats systematically the major algebraic modeling languages (AMLs) and modeling systems (AMLs) used to solve mathematical optimization problems. AMLs helped significantly to increase the usage of mathematical optimization in industry.
Berlin: [Springer-Verlag , ], 2012
e20418981
eBooks  Universitas Indonesia Library
cover
Abstrak :
This our material is divided into three main chapters followed by a postscript. These cover elementary number theory, calculus of one and several variables, introductory linear algebra, and visualization and interactive geometric computation.
New York: Springer Science;, 2012
e20419008
eBooks  Universitas Indonesia Library
cover
Logg, Anders, editor
Abstrak :
This book is written by researchers and developers behind the FEniCS Project and explores an advanced, expressive approach to the development of mathematical software. The presentation spans mathematical background, software design and the use of FEniCS in applications. Theoretical aspects are complemented with computer code which is available as free/open source software. The book begins with a tutorial for readers who are new to the topic. Following the tutorial, chapters in Part I address fundamental aspects of the approach to automating the creation of finite element solvers. Chapters in Part II address the design and implementation of the FEnicS software. Chapters in Part III present the application of FEniCS to a wide range of applications, including fluid flow, solid mechanics, electromagnetics and geophysics.
Berlin: [Springer-Verlag, ], 2012
e20419285
eBooks  Universitas Indonesia Library
cover
Maoan, Han
Abstrak :
This book introduces the recent developments in the field and provides major advances in fundamental theory of limit cycles. It considers near Hamiltonian systems using Melnikov function as the main mathematical tool. Split into two parts, the first focuses on the study of limit cycles bifurcating from Hopf singularity using normal form theory with later application to Hilbert’s 16th problem, while the second considers near Hamiltonian systems using Melnikov function as the main mathematical tool. Classic topics with new results are presented in a clear and concise manner and are accompanied by the liberal use of illustrations throughout. Containing a wealth of examples and structured algorithms that are treated in detail.
London: [Springer, ], 2012
e20419302
eBooks  Universitas Indonesia Library
cover
Hart, William E.
Abstrak :
This book provides a complete and comprehensive reference/guide to Pyomo (Python Optimization Modeling Objects). The text illustrates the breadth of the modeling and analysis capabilities that are supported by the software and support of complex real-world applications. Pyomo is an open source software package for formulating and solving large-scale optimization and operations research problems. The text begins with a tutorial on simple linear and integer programming models. A detailed reference of Pyomo's modeling components is illustrated with extensive examples, including a discussion of how to load data from data sources like spreadsheets and databases. Chapters describing advanced modeling capabilities for nonlinear and stochastic optimization are also included. The Pyomo software provides familiar modeling features within Python, a powerful dynamic programming language that has a very clear, readable syntax and intuitive object orientation. Pyomo includes Python classes for defining sparse sets, parameters, and variables, which can be used to formulate algebraic expressions that define objectives and constraints. Moreover, Pyomo can be used from a command-line interface and within Python's interactive command environment, which makes it easy to create Pyomo models, apply a variety of optimizers, and examine solutions. The software supports a different modeling approach than commercial AML (Algebraic Modeling Languages) tools, and is designed for flexibility, extensibility, portability, and maintainability but also maintains the central ideas in modern AMLs.
New York: [Springer, ], 2012
e20419461
eBooks  Universitas Indonesia Library
cover
Forth, Shaun, editor
Abstrak :
The proceedings represent the state of knowledge in the area of algorithmic differentiation (AD). The 31 contributed papers presented at the AD2012 conference cover the application of AD to many areas in science and engineering as well as aspects of AD theory and its implementation in tools. For all papers the referees, selected from the program committee and the greater community, as well as the editors have emphasized accessibility of the presented ideas also to non-AD experts. In the AD tools arena new implementations are introduced covering, for example, Java and graphical modeling environments or join the set of existing tools for Fortran. New developments in AD algorithms target the efficiency of matrix-operation derivatives, detection and exploitation of sparsity, partial separability, the treatment of nonsmooth functions, and other high-level mathematical aspects of the numerical computations to be differentiated. Applications stem from the Earth sciences, nuclear engineering, fluid dynamics, and chemistry, to name just a few. In many cases the applications in a given area of science or engineering share characteristics that require specific approaches to enable AD capabilities or provide an opportunity for efficiency gains in the derivative computation. The description of these characteristics and of the techniques for successfully using AD should make the proceedings a valuable source of information for users of AD tools.
Berlin: [Springer, ], 2012
e20419918
eBooks  Universitas Indonesia Library