Skip to main content
main-content

Tipp

Weitere Artikel dieser Ausgabe durch Wischen aufrufen

01.08.2013 | Focus | Ausgabe 8/2013

Soft Computing 8/2013

An overview of C-XSC as a tool for interval arithmetic and its application in computing verified uncertain probabilistic models under Dempster–Shafer theory

Zeitschrift:
Soft Computing > Ausgabe 8/2013
Autoren:
Michael Zimmer, Gabor Rebner, Walter Krämer
Wichtige Hinweise
Communicated by V. Kreinovich.

Abstract

Interval arithmetic can be a useful tool in soft computing. However, working with intervals requires specialized algorithms and appropriate data structures. In this paper, we give an overview of the C++ library C-XSC, which provides many useful data types and functions for (verified) scientific computing, with a special focus on interval arithmetic. We describe its basic features and focus especially on some recent new features that significantly broaden the range of uses of C-XSC, such as dot products in K-fold double precision, sparse data types and BLAS support. In a second section, we describe an application of C-XSC in soft computing in the form of an interface between C-XSC and MATLAB for the DSI-Toolbox, which combines Dempster–Shafer theory to model uncertain data with verified interval arithmetic. For some applications, utilizing C-XSC in MATLAB (or as a standalone) can be more effective than the widely used INTLAB extension for MATLAB, due to the lack of interpretation overhead. As an example, we use C-XSC for the normalization function in the DSI-Toolbox and compare the results and performance to those provided by INTLAB. Using C-XSC in MATLAB also extends the functionality of MATLAB/INTLAB. As an example, the interval error function of C-XSC (this function is not provided by INTLAB) is utilized via a MEX-interface for the verified sampling of the cumulative normal distribution.

Bitte loggen Sie sich ein, um Zugang zu diesem Inhalt zu erhalten

Sie möchten Zugang zu diesem Inhalt erhalten? Dann informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 69.000 Bücher
  • über 500 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Umwelt
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Testen Sie jetzt 30 Tage kostenlos.

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 58.000 Bücher
  • über 300 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Testen Sie jetzt 30 Tage kostenlos.

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 50.000 Bücher
  • über 380 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Umwelt
  • Maschinenbau + Werkstoffe




Testen Sie jetzt 30 Tage kostenlos.

Literatur
Über diesen Artikel

Weitere Artikel der Ausgabe 8/2013

Soft Computing 8/2013 Zur Ausgabe

Premium Partner

    Bildnachweise