Вычисления в реальном времени — класс задач, решаемых в рамках теории алгоритмов и впервые рассмотренных Хисао Ямадой в 1962 году. Обычно задачи формулируются в терминах абстрактных вычислителей, таких как машина Тьюринга или машина Поста, и связаны с исследованиями свойств монотонно возрастающих функций , для которых существует генератор последовательностей выходных символов, печатающих на -м такте работы на ленте , если для некоторого , и в противном случае. Такие функции называются «вычислимыми в реальное время»[1].
Решения подобных задач могут использоваться в качестве теоретического базиса для доказательства корректности и эффективности алгоритмов, используемых в системах реального времени.
Энциклопедичный YouTube
-
1/3Просмотров:71 3842 17631 605
-
МАШИНЫ ВРЕМЕНИ
-
🔴 Слово эксперту 243. Экспертиза определения скорости автомобиля по видеозаписи
-
Станислав Страупе | Будущее квантовых вычислений
Субтитры
Примечания
- ↑ Марченков, С. С., Матросов, В. Л. Сложность алгоритмов и вычислений // Итоги науки и техники. Серия «Теория вероятностей. Математическая статистика. Теоретическая кибернетика». — М.: ВИНИТИ, 1979. — Т. 16. — С. 103—149.
![](/s/i/modif.png)
Обычно почти сразу, изредка в течении часа.