Параметризация проектных решений в системе автоматизации проектирования программных реализаций функций логического управления

В.Н. Негода; А.В. Лылова

Параметризация проектных решений в системе автоматизации проектирования программных реализаций функций логического управления

научная статья УДК 004.02: 004.4'24 Страницы: 99-106

¹ д.т.н., доцент, профессор, кафедра «Вычислительная техника», Ульяновский государственный технический университет
² ст. преподаватель, кафедра «Вычислительная техника», Ульяновский государственный технический университет

Ключевые слова: функции логического управления автоматизация проектирования оценка сложности программ реализации функций

Аннотация

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

Для цитирования

Негода В.Н., Лылова А.В. Параметризация проектных решений в системе автоматизации проектирования программных реализаций функций логического управления // Радиотехника. 2017. № 6. С. 99–106.

Список источников

Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации алгоритмов. СПб. Наука. 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 с.

Полный текст, PDF 350 ₽

[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 с.

Аннотация

Для цитирования

Похожие статьи