Modal Interval Analysis : New Tools for Numerical Information | 茨城大学附属図書館 OPAC

>> Google Books

Modal Interval Analysis : New Tools for Numerical Information

フォーマット:

電子ブック

責任表示:

by Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Lambert Jorba, Josep Vehi

言語:

英語

出版情報:

Cham : Springer International Publishing : Imprint: Springer, 2014

形態:

XVI, 316 p. 37 illus., 3 illus. in color : online resource

著者名:

Sainz, Miguel A.

Armengol, Joaquim

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Mathematics ; 2091

目次情報:

Intervals
Modal Intervals
Modal interval extensions
Interpretability and optimality
Interval arithmetic
Equations and systems
Twins and f -star algorithm
Marks
Intervals of marks
Some related problems

Intervals
Modal Intervals
Modal interval extensions
Interpretability and optimality
Interval arithmetic
Equations and systems

続きを見る

書誌ID:

IT00008170

ISBN:

9783319017211 [3319017217]

9783319017204 [3319017209]

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-319-01721-1

所蔵情報

Loading availability information

タイトルが類似している資料

詳細

主題:	Analysis; Control; Mathematics; Numeric Computing
分類・件名:	DC23 : 515 LCSH : Mathematics LCSH : Electronic data processing LCSH : Global analysis (Mathematics) FREE : Mathematics FREE : Analysis FREE : Control FREE : Numeric Computing
注記:	This book presents an innovative new approach to interval analysis. Modal Interval Analysis (MIA) is an attempt to go beyond the limitations of classic intervals in terms of their structural, algebraic and logical features. The starting point of MIA is quite simple: It consists in defining a modal interval that attaches a quantifier to a classical interval and in introducing the basic relation of inclusion between modal intervals by means of the inclusion of the sets of predicates they accept. This modal approach introduces interval extensions of the real continuous functions, identifies equivalences between logical formulas and interval inclusions, and provides the semantic theorems that justify these equivalences, along with guidelines for arriving at these inclusions. Applications of these equivalences in different areas illustrate the obtained results. The book also presents a new interval object: marks, which aspire to be a new form of numerical treatment of errors in measurements and computations
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Variational Analysis and Aerospace Engineering: Mathematical Challenges for Aerospace Design : Contributions from a Workshop held at the School of Mathematics … Buttazzo, Giuseppe, Frediani, Aldo, SpringerLink (Online service) Springer US	7 電子ブック Viability Theory : New Directions Aubin, Jean-Pierre, Bayen, Alexandre M., Saint-Pierre, Patrick, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
2 電子ブック Numerical Analysis Gautschi, Walter, SpringerLink (Online service) Springer Science+Business Media, LLC	8 電子ブック Nonsmooth Mechanics and Analysis : Theoretical and Numerical Advances Alart, P., Maisonneuve, O., Rockafellar, R. T., SpringerLink (Online service) Springer Science+Business Media, Inc.
3 電子ブック Theoretical Numerical Analysis : A Functional Analysis Framework Han, Weimin, Atkinson, Kendall E., SpringerLink (Online service) Springer-Verlag New York	9 電子ブック Stability Analysis and Robust Control of Time-Delay Systems Wu, Min, He, Yong, She, Jin-Hua, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
4 電子ブック Numerical Methods for Ordinary Differential Equations : Initial Value Problems Griffiths, David F., Higham, Desmond J., SpringerLink (Online service) Springer-Verlag London Limited	10 電子ブック Optimal Control Problems for Partial Differential Equations on Reticulated Domains : Approximation and Asymptotic Analysis Kogut, Peter I., Leugering, Günter R., SpringerLink (Online service) Springer Science+Business Media, LLC
5 電子ブック An Introduction to Optimal Control Problems in Life Sciences and Economics : From Mathematical Models to Numerical Simulation with MATLAB® Aniţa, Sebastian, Arnăutu, Viorel, Capasso, Vincenzo, SpringerLink (Online service) Springer Science+Business Media, LLC	11 電子ブック Numerical Models for Differential Problems Quarteroni, Alfio, SpringerLink (Online service) Springer-Verlag Milan
6 電子ブック Analysis and Design of Nonlinear Control Systems Cheng, Daizhan, Hu, Xiaoming, Shen, Tielong, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	12 電子ブック Elliptic Differential Equations : Theory and Numerical Treatment Hackbusch, Wolfgang, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg