Удк 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, > называется регулярной схемой Д-оператора (РСД) и является средством описания алгоритмов в рамках построенного алгебраического аппарата.

Д-операторы могут быть записаны в виде , (), где данные, выводимы (вводимые) на внешнее устройство (с внешнего устройства) из памяти (в память). Таким образом, с помощью РСД может быть записан алгоритм, содержащий операции ввода-вывода. При этом такая формализованная запись алгоритма, обеспечивает возможности его анализа и преобразования по выбранному критерию, а также анализа потоков данных [3] с учетом специфики операций ввода-вывода.

1. Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки. Программирование. --К.: Наукова думка, 1978.-- 319с.

2. Акуловский В.Г. Основы алгебры алгоритмов, базирующейся на данных.//Проблеми програмування.-2010.-№2-3.-С.89-96.

3. Акуловский В.Г. Некоторые аспекты преобразования алгоритмов на основе формализации информационных связей.//Кибернетика и системный анализ.-2009.-№6.-С.50-54.