Skip to main content

2021 | OriginalPaper | Buchkapitel

The Solution of “If-Problem” in Computations with Multi-valued Variables Based on Operator Overloading

verfasst von : Vyacheslav Sal’nikov, Konstantin Semenov

Erschienen in: Proceedings of International Scientific Conference on Telecommunications, Computing and Control

Verlag: Springer Singapore

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This paper presents the exhaustive solution of the “if-problem” in computations with multi-valued variables based on the technique of operation overloading that is widely used in object-oriented programming. The proposed approach addresses the problem of the conditional branches when due to the uncertainty of the operand the result of the logical operation is not determined explicitly and therefore both conditional branches should be executed simultaneously. For the purpose of the study, the code for C/C++ was developed and tested. The results of the performed tests are provided. The proposed solution makes it possible to transfer previously written C/C++ program code for calculations with single-valued types of variables (float, double, etc.) to calculations with any formalism representing the multi-valued variables using minor code modifications. This offers the opportunity to expand the applicability of earlier developed program code to the wider scope of application problems: from the calculations with input variables accurate to round-off errors to the computations with inaccurate or uncertain data.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

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

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

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

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

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




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

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




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Piponi, D.: Automatic differentiation, C++ templates, and photogrammetry. J. Graph. Tools 9(4), 41–55 (2004)CrossRef Piponi, D.: Automatic differentiation, C++ templates, and photogrammetry. J. Graph. Tools 9(4), 41–55 (2004)CrossRef
2.
Zurück zum Zitat Holmqvist, K., Migdalas, A.: A C++ class library for interval arithmetic in global optimization. In: State of the Art in Global Optimization, pp. 213–226. Springer, Boston, MA (1996) Holmqvist, K., Migdalas, A.: A C++ class library for interval arithmetic in global optimization. In: State of the Art in Global Optimization, pp. 213–226. Springer, Boston, MA (1996)
3.
Zurück zum Zitat Beck, T., Fischer, H.: The if-problem in automatic differentiation. J. Comput. Appl. Math. 50(1–3), 119–131 (1994)MathSciNetCrossRef Beck, T., Fischer, H.: The if-problem in automatic differentiation. J. Comput. Appl. Math. 50(1–3), 119–131 (1994)MathSciNetCrossRef
4.
Zurück zum Zitat Kearfott, R.B.: Automatic differentiation of conditional branches in an operator overloading context. In: Computational Differentiation: Techniques, Applications, and Tools, pp. 75–81. SIAM (1996) Kearfott, R.B.: Automatic differentiation of conditional branches in an operator overloading context. In: Computational Differentiation: Techniques, Applications, and Tools, pp. 75–81. SIAM (1996)
5.
Zurück zum Zitat Fischer, H.: Automatic Differentiation: Root Problem and Branch Problem. In: Encyclopedia of Optimization, pp. 176–181. Springer (2009) Fischer, H.: Automatic Differentiation: Root Problem and Branch Problem. In: Encyclopedia of Optimization, pp. 176–181. Springer (2009)
6.
Zurück zum Zitat Kubota, K., Iri, M.: Estimates of rounding errors with fast automatic differentiation and interval analysis. J. Inf. Proc. 14(4), 508–515 (1991)MathSciNetMATH Kubota, K., Iri, M.: Estimates of rounding errors with fast automatic differentiation and interval analysis. J. Inf. Proc. 14(4), 508–515 (1991)MathSciNetMATH
7.
Zurück zum Zitat Hyvönen, E.: Constraint reasoning based on interval arithmetic: the tolerance propagation approach. Artif. Intell. 58(1–3), 71–112 (1992)MathSciNetCrossRef Hyvönen, E.: Constraint reasoning based on interval arithmetic: the tolerance propagation approach. Artif. Intell. 58(1–3), 71–112 (1992)MathSciNetCrossRef
8.
Zurück zum Zitat Mauris, G., Lasserre, V., Foulloy, L.: A fuzzy approach for the expression of uncertainty in measurement. Measurement 29(3), 165–177 (2001)CrossRef Mauris, G., Lasserre, V., Foulloy, L.: A fuzzy approach for the expression of uncertainty in measurement. Measurement 29(3), 165–177 (2001)CrossRef
9.
Zurück zum Zitat Abebe, A.J., Guinot, V., Solomatine, D.P.: Fuzzy alpha-cut vs. Monte Carlo techniques in assessing uncertainty in model parameters. In: Proceedings of the 4th International Conference on Hydroinformatics. Iowa City, USA (2000) Abebe, A.J., Guinot, V., Solomatine, D.P.: Fuzzy alpha-cut vs. Monte Carlo techniques in assessing uncertainty in model parameters. In: Proceedings of the 4th International Conference on Hydroinformatics. Iowa City, USA (2000)
10.
Zurück zum Zitat Yager, R.R.: Arithmetic and other operations on dempster-shafer structures. Int. J. Man Mach. Stud. 25(4), 357–366 (1986)CrossRef Yager, R.R.: Arithmetic and other operations on dempster-shafer structures. Int. J. Man Mach. Stud. 25(4), 357–366 (1986)CrossRef
11.
Zurück zum Zitat Ferson, S., Kreinovich, V., Grinzburg, L., Myers, D., Sentz, K.: Constructing probability boxes and Dempster-Shafer structures. Sandia National Lab.(SNL-NM), Albuquerque, NM (USA). Report No. SAND-2015–4166J (2015) Ferson, S., Kreinovich, V., Grinzburg, L., Myers, D., Sentz, K.: Constructing probability boxes and Dempster-Shafer structures. Sandia National Lab.(SNL-NM), Albuquerque, NM (USA). Report No. SAND-2015–4166J (2015)
12.
Zurück zum Zitat Hunter, A., Parsons, S.D. (ed.): Applications of Uncertainty Formalisms. Springer (2003) Hunter, A., Parsons, S.D. (ed.): Applications of Uncertainty Formalisms. Springer (2003)
13.
Zurück zum Zitat Parsons, S., Hunter, A.: A review of uncertainty handling formalisms. In: Applications of Uncertainty Formalisms, pp. 8–37. Springer, Berlin, Heidelberg (1998) Parsons, S., Hunter, A.: A review of uncertainty handling formalisms. In: Applications of Uncertainty Formalisms, pp. 8–37. Springer, Berlin, Heidelberg (1998)
14.
Zurück zum Zitat Villanueva, M.E., Rajyaguru, J., Houska, B., Chachuat, B.: Ellipsoidal arithmetic for multivariate systems. Comput. Aided Chem. Eng. 37, 767–772 (2015)CrossRef Villanueva, M.E., Rajyaguru, J., Houska, B., Chachuat, B.: Ellipsoidal arithmetic for multivariate systems. Comput. Aided Chem. Eng. 37, 767–772 (2015)CrossRef
15.
Zurück zum Zitat Semenov, K.K.: Metrological auto-tracking of calculation programs in informational measuring systems. PhD thesis. St.Petersburg State Polytechnical University (2011) (in Russian) Semenov, K.K.: Metrological auto-tracking of calculation programs in informational measuring systems. PhD thesis. St.Petersburg State Polytechnical University (2011) (in Russian)
17.
Zurück zum Zitat Hu, B.Q., Wong, H.: Generalized interval-valued fuzzy rough sets based on interval-valued fuzzy logical operators. Int. J. Fuzzy Syst. 15(4), 381–391 (2013)MathSciNet Hu, B.Q., Wong, H.: Generalized interval-valued fuzzy rough sets based on interval-valued fuzzy logical operators. Int. J. Fuzzy Syst. 15(4), 381–391 (2013)MathSciNet
18.
Zurück zum Zitat Mari, L.: A computational system for uncertainty propagation of measurement results. Measurement 42(6), 844–855 (2009)CrossRef Mari, L.: A computational system for uncertainty propagation of measurement results. Measurement 42(6), 844–855 (2009)CrossRef
19.
Zurück zum Zitat Moore, R.E., Kearfott R.B., Cloud M.J.: Introduction to interval analysis. SIAM (2009) Moore, R.E., Kearfott R.B., Cloud M.J.: Introduction to interval analysis. SIAM (2009)
20.
Zurück zum Zitat Hickey, T., Ju, Q., van Emden, M.H.: Interval arithmetic: from principles to implementation. J. ACM 48(5), 1038–1068 (2001)MathSciNetCrossRef Hickey, T., Ju, Q., van Emden, M.H.: Interval arithmetic: from principles to implementation. J. ACM 48(5), 1038–1068 (2001)MathSciNetCrossRef
Metadaten
Titel
The Solution of “If-Problem” in Computations with Multi-valued Variables Based on Operator Overloading
verfasst von
Vyacheslav Sal’nikov
Konstantin Semenov
Copyright-Jahr
2021
Verlag
Springer Singapore
DOI
https://doi.org/10.1007/978-981-33-6632-9_32

Neuer Inhalt