Удк 519. 681 Формализация некоторых аспектов взаимодействия алгоритмов с внешней средой
Вид материала | Документы |
- Контрольный тест 45 вопросов Самостоятельная работа: Домашнее задание, 22.59kb.
- Удк 340. 6+681. 327+681 015 Д. В. Ландэ, В. Н. Фурашев, 450.24kb.
- Удк 681 053: 681. 32: 007, 134.3kb.
- Лекция Алгоритм его свойства и формализация. Принципы разработки алгоритмов и программ, 498.99kb.
- Коррозия металлов, 40.27kb.
- Секция 9 Ю. И. Нечаев, Д. Г. Тихонов, 118.21kb.
- Принципы организации и архитектура автономных систем, 116.18kb.
- Удк 681. 3: 519 применение методов data mining для формирования базы знаний экспертной, 78.88kb.
- Конспект лекций москва 2004 удк 519. 713(075)+519. 76(075) ббк 22. 18я7, 1805.53kb.
- Удк 681. 51: 303. 732+681 066 вопросы анализа проблем рыбохозяйственных комплексов:, 87.72kb.
УДК 519.681
ФОРМАЛИЗАЦИЯ НЕКОТОРЫХ АСПЕКТОВ ВЗАИМОДЕЙСТВИЯ АЛГОРИТМОВ С ВНЕШНЕЙ СРЕДОЙ
В. Г. Акуловский
Академии таможенной службы Украины,
Большинство программных систем (информационных, управляющих и т.д.) интенсивно взаимодействуют с внешней средой и, таким образом, формализации этого аспекта функционирования алгоритмов является весьма актуальной задачей.
Модификация известной модели ЭВМ Глушкова [1] позволяет построить алгебраический аппарат [2], в рамках которого может быть решена указанная задача.
Оснастив модель ЭВМ памятью и подключив к ней внешнюю среду (источник и приемник данных), построим систему алгоритмических алгебр (САА/Д) -








Представление любого Д-оператора из U через образующие элементы системы L, > называется регулярной схемой Д-оператора (РСД) и является средством описания алгоритмов в рамках построенного алгебраического аппарата.
Д-операторы могут быть записаны в виде



1. Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки. Программирование. --К.: Наукова думка, 1978.-- 319с.
2. Акуловский В.Г. Основы алгебры алгоритмов, базирующейся на данных.//Проблеми програмування.-2010.-№2-3.-С.89-96.
3. Акуловский В.Г. Некоторые аспекты преобразования алгоритмов на основе формализации информационных связей.//Кибернетика и системный анализ.-2009.-№6.-С.50-54.