Формализация оптимизирующих преобразований алгоритмов на графах и множествах
11
Заключение.
На основе полученных правил с учетом полноты
информации, проверяемой соответствующими правилами, может
быть построен оптимизатор описаний алгоритмов.
В тех случаях, когда информация о возможности замены полна,
оптимизатор должен осуществлять преобразования и выдавать поль-
зователю соответствующее сообщение.
Когда информации недостаточно, оптимизатор должен выдавать
запросы к пользователю, позволяющие получить недостающие дан-
ные и сконструировать заменяющие фрагменты.
ЛИТЕРАТУРА
[1] Касперский К.
Техника оптимизации программ. Эффективное использо-
вание памяти
. Санкт-Петербург, БХВ-Петербург, 2003.
[2] Касьянов В.Н.
Оптимизирующие преобразования программ
. Москва,
Наука, 1988.
[3] Компаниец Р.И., Маньков Е.В., Филатов Н.Е.
Системное программиро-
вание. Основы построения трансляторов
. Санкт-Петербург, Корона
принт, 2000.
[4] Овчинников В.А.
Алгоритмизация комбинаторно-оптимизационных задач
при проектировании ЭВМ и систем
. Москва, Изд-во МГТУ им. Н.Э. Баума-
на, 2001.
[5] Иванова Г.С.
Методология и средства разработки алгоритмов решения
задач анализа и синтеза структур программного обеспечения и
устройств вычислительной техники
. Дис. ... д-ра техн. наук. Москва,
2007.
[6] Овчинников В.А. Математические модели объектов задач структурного
синтеза.
Наука и образование
, 2009, № 3. URL:
/doc/115712.html
Статья поступила в редакцию 28.06.2013
Ссылку на эту статью просим оформлять следующим образом:
Овчинников В.А., Иванова Г.С. Формализация оптимизирующих преобразова-
ний алгоритмов на графах и множествах.
Инженерный журнал: наука и инновации,
2013, вып. 11. URL:
Овчинников Владимир Анатольевич
родился в 1939 г., окончил МВТУ им.
Н.Э. Баумана в 1961 г. Д-р техн. наук, профессор кафедры «Компьютерные системы
и сети» МГТУ им. Н.Э. Баумана, академик Международной академии информати-
зации. Автор свыше 120 научных работ в области вычислительной техники. Специ-
ализируется в области автоматизации проектирования компьютерных систем. е-
mail:
Иванова Галина Сергеевна
родилась в 1954 г., окончила МВТУ им. Н.Э. Ба-
умана в 1978 г. Д-р техн. наук, профессор кафедры «Компьютерные системы и
сети» МГТУ им. Н.Э. Баумана. Автор свыше 50 научных работ в области вычисли-
тельной техники. Специализируется в области проектирования программных си-
стем. е-mail:
