Skip to main content
SpringerLink
Log in

Enclosure for the Solution Set of Parametric Linear Systems with Non-affine Dependencies

  • Conference paper
Parallel Processing and Applied Mathematics (PPAM 2011)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7204))

Abstract

The problem of solving linear systems whose coefficients are nonlinear functions of parameters varying within prescribed intervals is investigated. A new method for outer interval solution of such system is proposed. In order to reduce memory usage, nonlinear dependencies between parameters are handled using revised affine arithmetic. Some numerical experiments which aim to show the properties of the proposed method are reported.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Akhmerov, R.R.: Interval-Affine Gaussian Algorithm for Constrained Systems. Reliable Computing 11(5), 323–341 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  2. El-Owny, H.: Parametric Linear System of Equations, whose Elements are Nonlinear Functions. In: 12th GAMM - IMACS International Symposion on Scientific Computing. Computer Arithmetic and Validated Numerics, vol. 16 (2006)

    Google Scholar 

  3. de Figueiredo, L.H., Stolfi, J.: An Introduction to Affine Arithmetic. TEMA Tend. Mat. Apl. Comput. 4(3), 297–312 (2003)

    MathSciNet  MATH  Google Scholar 

  4. Hansen, E.R.: Generalized Interval Arithmetic. In: Nickel, K. (ed.) Interval Mathematics. LNCS, vol. 29, pp. 7–18. Springer, Heidelberg (1975)

    Chapter  Google Scholar 

  5. Hladik, M.: Enclosures for the solution set of parametric interval linear systems. Technical Report 983, KAM-DIMATIA Series, pp. 1–25 (2010)

    Google Scholar 

  6. Vu, X.-H., Sam-Haroud, D., Faltings, B.: A Generic Scheme for Combining Multiple Inclusion Representations in Numerical Constraint Propagation. Technical Report No. IC/2004/39, Swiss Federal Institute of Technology in Lausanne (EPFL), Switzerland (2004)

    Google Scholar 

  7. Kolev, L.V.: Automatic Computation of a Linear Interval Enclosure. Reliable Computing 7(1), 17–28 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  8. Kolev, L.V.: Solving Linear Systems whose Elements are Non-linear Functions of Intervals. Numerical Algorithms 37, 213–224 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  9. Kulpa, Z., Pownuk, A., Skalna, I.: Analysis of linear mechanical structures with uncertainties by means of interval methods. Computer Assisted Mechanics and Engineering Sciences 5(4), 443–477 (1998), http://andrzej.pownuk.com/publications/IntervalEquations.pdf

    MathSciNet  MATH  Google Scholar 

  10. Messine, F.: Extentions of Affine Arithmetic: Application to Unconstrained Global Optimization. Journal of Universal Computer Science 8(11), 992–1015 (2002)

    MathSciNet  Google Scholar 

  11. Neumaier, A.: Interval Methods for Systems of Equations, pp. xvi–255. Cambridge University Press, Cambridge (1990)

    Google Scholar 

  12. Popova, E.D.: Generalization of a Parametric Fixed-Point Iteration. PAMM 4(1), 680–681 (2004)

    Article  Google Scholar 

  13. Popova, E.D.: On the Solution of Parametrised Linear Systems. In: Kraemer, W., Wolff von Gudenberg, J. (eds.) Scientific Computing, Validated Numerics, Interval Methods, pp. 127–138. Kluwer Acad. Publishers (2001)

    Google Scholar 

  14. Popova, E.D.: Solving Linear Systems Whose Input Data Are Rational Functions of Interval Parameters. In: Boyanov, T., Dimova, S., Georgiev, K., Nikolov, G. (eds.) NMA 2006. LNCS, vol. 4310, pp. 345–352. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  15. Rohn, J.: Technical Report No. 620, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, p. 11 (1995)

    Google Scholar 

  16. Rump, S.M.: Verification methods for dense and sparse systems of equations. In: Herzberger, J. (ed.) Topics in Validated Computations, pp. 63–135. North-Holland, Amsterdam (1994)

    Google Scholar 

  17. Shary, S.P.: Solving tied interval linear systems. Sibirskii Zhurnal Vychislitiel’noi Matiematiki 7(4), 363–376 (2004)

    MATH  Google Scholar 

  18. Skalna, I.: A Method for Outer Interval Solution of Systems of Linear Equations Depending Linearly on Interval Parameters. Reliable Computing 12(2), 107–120 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  19. Skalna, I.: Evolutionary Optimization Method for Approximating the Solution Set Hull of Parametric Linear Systems. In: Boyanov, T., Dimova, S., Georgiev, K., Nikolov, G. (eds.) NMA 2006. LNCS, vol. 4310, pp. 361–368. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  20. Skalna, I., Pownuk, A.: A global optimisation method for computing interval hull solution for parametric linear systems. International Journal of Reliability and Safety 3(1-3), 235–245 (2009)

    Article  Google Scholar 

  21. Skalna, I.: Direct Method for Solving Parametric Interval Linear Systems with Non-affine Dependencies. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Wasniewski, J. (eds.) PPAM 2009. LNCS, vol. 6068, pp. 485–494. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  22. Comba, J.L.D., Stolfi, J.: Affine arithmetic and its applications to computer graphics. In: Proc. SIBGRAPI 1993, VI Simpsio Brasileiro de Computaa o Grfica e Processamento de Imagens, Recife, BR, pp. 9–18 (1993)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. AGH University of Science and Technology, Krakow, Poland

    Iwona Skalna

Authors
  1. Iwona Skalna
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer and Information Science, Czestochowa University of Technology, Dabrowskiego 69, 42-201, Czestochowa, Poland

    Roman Wyrzykowski  & Konrad Karczewski  & 

  2. Electrical Engineering and Computer Science Department, University of Tennessee, 1122 Volunteer Blvd, 37996-3450, Knoxville, TN, USA

    Jack Dongarra

  3. Department of Informatics and Mathematical Modeling, Technical University of Denmark, Richard Petersens Plads, Building 321, 2800, Kongens Lyngby, Denmark

    Jerzy Waśniewski

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Skalna, I. (2012). Enclosure for the Solution Set of Parametric Linear Systems with Non-affine Dependencies. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Waśniewski, J. (eds) Parallel Processing and Applied Mathematics. PPAM 2011. Lecture Notes in Computer Science, vol 7204. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31500-8_53

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-31500-8_53

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-31499-5

  • Online ISBN: 978-3-642-31500-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation