Skip to main content
Log in

If we measure a number, we get an interval. What if we measure a function or an operator?

Иэмерив число, получим интервал. Что получим, иэмерив функцию или оператор?

  • Published:
Reliable Computing

Abstract

Assume that we measure a physical quantityx with a measuring device whose accuracy isδ (i.e., whose producers guarantee that the difference\(x--\bar x\) between the actual valuex and the measured value\(\bar x\) does not exceedδ). If the result of this measurement is\(\bar x\), then possible values ofx form an interval\([\bar x - \delta ,\bar x + \delta ]\).

Suppose now that we know that a physical quantityy is a function of the physical quantityx (in other words, we know thaty=f (x) for some functionf (x)), but we do not knowf. How to determinef? We can measure only finitely many values, with finite precision, so, after finitely many measurements, we get a set of possible functionsf(x). This set can be called afunction interval (function intervals were first analyzed by R. Moore himself).

The situation can become even more complicated. For example, if we analyze how physical fields evolve, then in addition to functions, we must describeoperators, i.e., mappings that transform a function (current value\(f(\bar x)\) of a physical field) into a function (predicted future value of this field). Again, since we can perform only finitely many measurements, at any moment of time, our measurement results are consistent with the whole bunch of different operators. So, at any moment of time, we have a set of operators; we can call it anoperator interval.

One can apply different ideas to describe function intervals, operator intervals, etc. But it is desirable to develop a general formalism that would cover all these cases. In this paper, we propose and justify such a formalism.

Abstract

Предположим, что иэмеряется фиэическая величинаx с помощъю иэмерительного устройства, дающего погрещностьδ (т. е. иэготовители этого устройства гарантируют, что раэность\(x--\bar x\) между реальным значениемx и измеренным значением\(\bar x\) не превыщаетδ). Если реэультат иэмерений равен\(\bar x\), воэможные эначенияx лежат в интервале\([\bar x - \delta ,\bar x + \delta ]\).

Прелположим, что иэвестна фиэическая величинаy, являющаяся функиией от фиэической величиныx (другими словами. мы энаем, чтоy=f (x) для некоторой функцииf(x)), но сама функцияf неиэвестна. Как определитьf? Мы можем иэмерить только конечное число эначений с ограниченной точностью. так что после конечного числа иэмерений мы получим множество воэможных функцийf(x). Это множество наэываютфункuонлыным uнmерыом (такие интервалы были впервые исследованы Р. Муром).

Ситуация может стать еще более сложной. Например, если мы исследуем нэменение фиэического поля, то, кроме функций, мы должны описатьоnерamоры, т. е. отображения, которые переводят одну функцию (текущее эначение поля\(f(\bar x)\)) в другую (предскаэанное будущее эначение этого поля). й опять, иэ-эа того, что мы можем вынолнить только конечное число иэмерений, в каждый момент времени реэультаты нащих иэмерений согласуются с целой группой раэличных операторов. Таким обраэом, в каждый момент времени мы имеем множество операторов, которое можно наэватьопераморным кимерум.

Можно прнмеиять раэлкчные подходые для онисания функциональных интервалов, операторных интервалов и т. д. Но желательно раэработать обобженную формальную систему, приложимую ко всем этим случаям. В работе предлагается и обосновывается такая формальная система.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Cormen, T. H., Leiserson, C. E., and Rivest, R. L.Introduction to algorithms, MIT Press, 1990.

  2. Kosheleva, O. and Kreinovich, V.Procomsots: a physically motivated way to approximative constructivism. Leningrad Center of New Technology “Informatika”, Techn. Rep., Leningrad, 1989 (in Russian).

  3. Kreinovich, V. et al.Theoretical foundations of estimating precision of software results in intellectual systems for control and measurement. Soviet National Institute for Electromeasuring Instruments, Techn. Rep. No. 7550-8170-40, Leningrad, 1988 (in Russian).

  4. Kreinovich, V. and Villaverde, K.Towards modal interval analysis: how to compute maxima and minima of a function from approximate measurement results. University of Texas at El Paso, Computer Science Department, Techn. Rep. UTEP-CS-91-9.

  5. Moore, R. E.Mathematical elements of scientific computing. Holt, Rinehart and Winston, N.Y., 1975.

    Google Scholar 

  6. Moore, R. E.Methods and applications of interval analysis. SIAM, Philadelphia, 1979.

    Google Scholar 

  7. Ratschek, H. and Rokne, J.New computer methods for global optimization. Ellis Horwood, Chichester, 1988.

    Google Scholar 

  8. Scott, D. S.Lectures on a mathematical theory of computation. In: “Theoretical Foundations of Programming Methodology”, D. Reidel Publishing Co., 1982, pp. 145–292.

  9. Scott, D. S. and Gunter, C. A.Semantic domains. In: van Leeuwen, J. (ed.) “Handbook of Theoretical Computer Science”, Elsevier Science Publishers, 1990, pp. 635–674.

  10. Villaverde, K. and Kreinovich, V.A linear-time algorithm that locates local extrema of a function of one variable from interval measurement results. Interval Computations 4 (1993), pp. 176–194.

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Additional information

© J. Lorkowski, V. Kreinovich, 1996

This work was supported by NSF grant No. CDA-9015006, NASA Research Grant No. 9–482, and a grant from the Materials Research Institute. The authors also wish to thank the participants of Leningrad seminar on mathematical logic and constructive mathematics, especially N. A. Shanin, for valuable discussions.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lorkowski, J., Kreinovich, V. If we measure a number, we get an interval. What if we measure a function or an operator?. Reliable Comput 2, 287–297 (1996). https://doi.org/10.1007/BF02391701

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02391701

Keywords

Navigation