В.Н. Негода – д.т.н., доцент, профессор, кафедра «Вычислительная техника»,
Ульяновский государственный технический университет
E-mail: nvn@ulstu.ru
А.В. Лылова – ст. преподаватель, кафедра «Вычислительная техника»,
Ульяновский государственный технический университет E-mail: lylovaannav@gmail.com
Отмечено многообразие вариантов программной реализации функций логического управления усложняет задачу автоматизации проектирования. Предложены механизмы параметризации, которые в ходе выбора вариантов реализации обеспечивают высокий уровень покрытия пространства проектных решений. Показано, что механизмы ориентированы на использование теоретических и эмпирических зависимостей критериальных параметров от значимых факторов, трансформацию исходных представлений функций, а также автоматическую генерацию программ и их профилирование.
- Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации алгоритмов. СПб. Наука. 2000. 780 с.
- Вермишев Ю.Х. Основы автоматизации проектирования. М.: Радио и связь.1988. 280 с.
- Artho C., Biere A. Subroutine inlining and bytecode abstraction to simplify static and dynamic analysis // Proc. BYTECODE 2005. ENTCS – Edinburgh: Elsevier. 2005. P. 98−115.
- Гришин А.В., Негода В.Н. Статико-динамическое профилирование программ логического управления // Автоматизация процессов управления (Ульяновск: НПО «Марс»). 2012. № 1. С. 56−61.
- Горелик А.Л., Скрипкин В.А. Некоторые вопросы построения систем распознавания. М.: Сов. радио.1974. 224 с.
- Закревский А.Д. Логический синтез каскадных схем. М.: Наука. Гл. ред. физ.-мат. лит. 1981. 416 с.
- Bryant Randal E. Graph-Based Algorithms for Boolean Function Manipulation // IEEE Transactions on Computers. 1986. № 8. P. 677−691.
- Блох А.Ш. Граф-схемы и их применение. Минск: Вышейша школа. 1975. 304 с.
- Ахо А., Сети В., Ульман Р., Джеффри Д. Компиляторы: принципы, технологии и инструменты: Пер. с англ. М.: Издательский дом «Вильямс». 2003. 786 с.
- Карпов Ю.Г. Теория и технология программирования. Основы построения трансляторов. СПб.: БХВ-Петербург. 2005. 272 с.
- Хамби Э. Программирование таблиц решений. М.: Мир. 1976.
- Негода В.Н. Сложность интерпретации интервальных таблиц арифметических функций // Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике // Труды Междунар. конф. г. Ульяновск: УлГТУ. 13−15 мая 2003. Т. 2. С. 109−111.
- Негода В.Н. Унификация проектных решений при автоматном программировании систем логического управления // Автоматизация процессов управления (г. Ульяновск: НПО «Марс»). 2014. № 3. С. 103−111.
- Поликарпова Н.И., Шалыто А.А. Автоматное программирование. СПб. 2008. 167 с.