Журнал "Программная инженерия"
Теоретический и прикладной научно-технический журнал
ISSN 2220-3397

Номер 04 2025 год

DOI: 10.17587/prin.16.209-216
УДК: 004.93
Применение метода бит-рекурсии в задачах программирования циклических электропневматических автоматов
А. В. Яковлев, канд. техн. наук, доц., lutikovaolga@mail.ru, Д. А. Аникеев, студент, danyanickeev@gmail.com, Л. С. Кудинов, студент, goodkud@mail.ru, Московский государственный технический университет им. Н. Э. Баумана

Для интенсификации программирования технологических процессов, реализуемых цикличе­скими конечными автоматами, разработан метод бит-рекурсии, основанный на распространении свойства простой математической рекурсии на систему булевых функций как общего алгоритмического базиса логического программирования. Предложенная математическая модель кинематического состояния автомата с использованием маркеров — программных элементов бит-рекурсии — расширяет известную методологию программирования за счет структуризации синтезируемой LD-программы. Показано, что рекурсия связывает триаду множеств, отнесенных соответственно к маркерам, датчикам и релейным электромагнитам, управляющими исполнительными двигателями циклического автомата. Разработана LD-шаблон-карта, дополняющая интерфейс программиста. В целом применение метода рекурсии интенсифицирует и повышает качество LD-программирования, существенно сокращает долю его неформализуемой составляющей.

Ключевые слова: циклический конечный автомат, LD-базис программирования, система маркеров, LD-программирование, метод бит-рекурсии, идентификационные таблицы, шаблон-карта
Стр. 209—216
Ссылка для цитирования:
Яковлев А. В., Аникеев Д. А., Кудинов Л. С. Применение метода бит-рекурсии в задачах программирования циклических электропневматических автоматов // Программная инженерия. 2025. Том 16, № 4. С. 209—216. DOI: 10.17587/prin.16.209-216.