350 руб
Журнал «Радиотехника» №6 за 2017 г.
Статья в номере:
Параметризация проектных решений в системе автоматизации проектирования программных реализаций функций логического управления
Тип статьи: научная статья
УДК: 004.02: 004.4'24
Авторы:

В.Н. Негода – д.т.н., доцент, профессор, кафедра «Вычислительная техника», 

Ульяновский государственный технический университет

E-mail: nvn@ulstu.ru

А.В. Лылова – ст. преподаватель, кафедра «Вычислительная техника», 

Ульяновский государственный технический университет E-mail: lylovaannav@gmail.com

Аннотация:

Отмечено многообразие вариантов программной реализации функций логического управления усложняет задачу автоматизации проектирования. Предложены механизмы параметризации, которые в ходе выбора вариантов реализации обеспечивают высокий уровень покрытия пространства проектных решений. Показано, что механизмы ориентированы на использование теоретических и эмпирических зависимостей критериальных параметров от значимых факторов, трансформацию исходных представлений функций, а также автоматическую генерацию программ и их профилирование.

Страницы: 99-106
Список источников
  1. Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации алгоритмов. СПб. Наука. 2000. 780 с.
  2. Вермишев Ю.Х. Основы автоматизации проектирования. М.: Радио и связь.1988. 280 с.
  3. 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.
  4. Гришин А.В., Негода В.Н. Статико-динамическое профилирование программ логического управления // Автоматизация процессов управления (Ульяновск: НПО «Марс»). 2012. № 1. С. 56−61.
  5. Горелик А.Л., Скрипкин В.А. Некоторые вопросы построения систем распознавания. М.: Сов. радио.1974. 224 с.
  6. Закревский А.Д. Логический синтез каскадных схем. М.: Наука. Гл. ред. физ.-мат. лит. 1981. 416 с.
  7. Bryant Randal E. Graph-Based Algorithms for Boolean Function Manipulation // IEEE Transactions on Computers. 1986. № 8. P. 677−691.
  8. Блох А.Ш. Граф-схемы и их применение. Минск: Вышейша школа. 1975. 304 с.
  9. Ахо А., Сети В., Ульман Р., Джеффри Д. Компиляторы: принципы, технологии и инструменты: Пер. с англ. М.: Издательский дом «Вильямс». 2003. 786 с.
  10. Карпов Ю.Г. Теория и технология программирования. Основы построения трансляторов. СПб.: БХВ-Петербург. 2005. 272 с.
  11. Хамби Э. Программирование таблиц решений. М.: Мир. 1976.
  12. Негода В.Н. Сложность интерпретации интервальных таблиц арифметических функций // Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике // Труды Междунар. конф. г. Ульяновск: УлГТУ. 13−15 мая 2003. Т. 2. С. 109−111.
  13. Негода В.Н. Унификация проектных решений при автоматном программировании систем логического управления // Автоматизация процессов управления (г. Ульяновск: НПО «Марс»). 2014. № 3. С. 103−111.
  14. Поликарпова Н.И., Шалыто А.А. Автоматное программирование. СПб. 2008. 167 с.
Дата поступления: 17 мая 2017 г.