ТЕОРЕТИЧЕСКИЙ И ПРИКЛАДНОЙ НАУЧНО-ТЕХНИЧЕСКИЙ ЖУРНАЛ
Том 13Том 13№ 9№ 9
20222022
Издается с сентября 2010 г.
С Редакционный совет
( адовничий В.А., акад. РАН
Панченкакаров В.Л., акад. РАН
УСтемпковский А.Л., акад. РАН
о В.Я., акад. РАН
Фехлинов Л.М., д.т.н.доров И.Б., акад. РАН
Четверушкин Б.Н., акад. РАН
Васенин В.А., д.ф.-м.н., проф.Главный редактор
Редколлегия
ГБорБААнтонов Б.И.фонин С.А., к.ф.-м.н.урдонов И.Б., д.ф.-м.н., проф.зовс Ю., проф. (Латвия)
Гаврилов А.В., к.т.н.
Корнеев В.В., д.талатенко А.В., к.ф.-м.н..н., проф.
МКостюхин К.А., к.ф.-м.н.
НаМахортов С.Д., д.ф.-м.н., доц.анцивода А.В., д.ф.-м.н., доц.зиров Р.Р., д.т.н., проф.
Нечаев В.В., д.т.н., проф.
Новиков Б.А., д.ф.-м.н., проф.
Павлов В.Л. (США)
Пальчунов Д.Е., д.ф.-м.н., доц.
Петренко А.К., д.ф.-м.н., проф.
Позднеев Б.М., д.т.н., проф.
Позин Б.А., д.т.н., проф.
Серебряков В.А., д.ф.-м.н., проф.
ТСорокин А.В., к.т.н., доц.
ерехов А.Н., д.ф.-м.н., проф.
Филимонов Н.Б., д.т.н., проф.
Шапченко К.А., к.ф.-м.н.
ЯзЩШундеев А.С., к.ф.-м.н.ур Л.Н., д.ф.-м.н., проф.
Яков Ю.К., д.т.н., проф.
ЧугуновРедакцияа А.В.
Галатенко В. А., Костюхин К. А. Аппаратная отладка: обзор современных
подходов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 415
Орлова Е. В. Системный инжиниринг цифровых двойников организационно-технических
систем с использованием методов интеллектуального
анализа . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 425
Kol’chugina E. A. Self-Synthesis of Programs Based on Artifi cial Chemistry
Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 440
Бернадотт А. Структурная модификация конечного автомата для решения
проблемы экспоненциального взрыва . . . . . . . . . . . . . . . . . . . . . . . . . 449
Зуев С. М., Варламов Д. О., Акрамов У. И., Кукса В. В. Программно реализованная
модель устройства контроля параметров автоматической
коробки переключения передач автомобиля . . . . . . . . . . . . . . . . . . . . . . . 462
председатель)
Бетелин В.Б., акад. РАН
МВасильев В.Н., чл.-корр. РАН
Учредитель: Издательство "НОВЫЕ ТЕХНОЛОГИИ"
DOI 10.17587/issn.2220-3397
ISSN 2220-3397
Журнал издается при поддержке Отделения математических наук РАН,
Отделения нанотехнологий и информационных технологий РАН,
МГУ имени М.В. Ломоносова, МГТУ имени Н.Э. Баумана
СОДЕРЖАНИЕ
обсон И., проф. (Швейцария)
Журнал зарегистрирован
в Федеральной службе
по надзору в сфере связи,
информационных технологий
и массовых коммуникаций.
Свидетельство о регистрации
ПИ № ФС77-38590 от 24 декабря 2009 г.
(индекЖурнал распространяется по подписке, которую можно оформить в подписных агентствах
Http://novtex.ru/prin/rusел.: (499) 270-16-52.Т в редакции (для юридических лиц).
Ж Citation Index (RSCI).Журнал включен в Российский индекс научного цитирования (РИНЦ) и Russian Science
доурнал входит в Перечень научных журналов, в которых по рекомендации ВАК РФ
стлжны быть опубликованы научные результаты диссертаций на соискание ученой
E-mail: prin@novtex.ru
епени доктора и кандидата наук.
© Издательство "Новые технологии", "Программная инженерия", 2022
с по Объединенному каталогу "Пресса России" — 22765) или непосредственно
Стр.3
THEORETICAL AND APPLIED SCIENTIFIC AND TECHNICAL JOURNAL
SOFTWARE ENGINEERING
PROGRAMMNAYA INGENERIA
Published since September 2010
Editorial Council:
SADOVNICHY V. A., Dr. Sci. (Phys.-Math.),
Acad. RAS (Неаd)
BETELIN V. B., Dr. Sci. (Phys.-Math.), Acad. RAS
VASIL’EV V. N., Dr. Sci. (Tech.), Cor.-Mem. RAS
MAKAROV V. L., Dr. Sci. (Phys.-Math.), Acad.
RAS
PANCHENKO V. YA., Dr. Sci. (Phys.-Math.),
Acad. RAS
DOI 10.17587/issn.2220-3397
CONTENTS
STEMPKOVSKY A. L., Dr. Sci. (Tech.), Acad. RAS
UKHLINOV L. M., Dr. Sci. (Tech.)
FEDOROV I. B., Dr. Sci. (Tech.), Acad. RAS
CHETVERTUSHKIN B. N., Dr. Sci. (Phys.-Math.),
Acad. RAS
Editor-in-Chief:
VASENIN V. A., Dr. Sci. (Phys.-Math.)
Editorial Board:
ANTONOV B.I.
AFONIN S.A., Cand. Sci. (Phys.-Math)
BURDONOV I.B., Dr. Sci. (Phys.-Math)
BORZOVS JURIS, Dr. Sci. (Comp. Sci), Latvia
GALATENKO A.V., Cand. Sci. (Phys.-Math)
GAVRILOV A.V., Cand. Sci. (Tech)
JACOBSON IVAR, Dr. Sci. (Philos., Comp. Sci.),
Switzerland
KORNEEV V.V., Dr. Sci. (Tech)
KOSTYUKHIN K.A., Cand. Sci. (Phys.-Math)
MAKHORTOV S.D., Dr. Sci. (Phys.-Math)
MANCIVODA A.V., Dr. Sci. (Phys.-Math)
NAZIROV R.R. , Dr. Sci. (Tech)
NECHAEV V.V., Cand. Sci. (Tech)
NOVIKOV B.A., Dr. Sci. (Phys.-Math)
PAVLOV V.L., USA
PAL’CHUNOV D.E., Dr. Sci. (Phys.-Math)
PETRENKO A.K., Dr. Sci. (Phys.-Math)
POZDNEEV B.M., Dr. Sci. (Tech)
POZIN B.A., Dr. Sci. (Tech)
SEREBRJAKOV V.A., Dr. Sci. (Phys.-Math)
SOROKIN A.V., Cand. Sci. (Tech)
TEREKHOV A.N., Dr. Sci. (Phys.-Math)
FILIMONOV N.B., Dr. Sci. (Tech)
SHAPCHENKO K.A., Cand. Sci. (Phys.-Math)
SHUNDEEV A.S., Cand. Sci. (Phys.-Math)
SHCHUR L.N., Dr. Sci. (Phys.-Math)
YAZOV Yu. K., Dr. Sci. (Tech)
Editors:
CHUGUNOVA A.V.
Information about the jornal is available online at:
http://novtex.ru/prin/eng e-mail:prin@novtex.ru
Galatenko V. A., Kostyukhin K. A. Hardware Debugging:
an Overview of Modern Approaches . . . . . . . . . . . . . . . . . . . . . . . . . . . 415
Orlova E. V. System Engineering of the Organizational and
Technical Systems' Digital Twins Using Artifi cial Intelligence Methods . 425
Kol’chugina E. A. Self-Synthesis of Programs Based on Artifi cial
Chemistry Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 440
Bernadotte A. Structural Modifi cation of the Finite State Machine
to Solve the Exponential Explosion Problem . . . . . . . . . . . . . . . . . . . . . 449
Zuev S. M., Varlamov D. O., Akramov U. I., Kuksa V. V.
A Software-Implemented Model of a Device for Monitoring the
Parameters of an Automatic Gearbox of a Car . . . . . . . . . . . . . . . . . . . 462
Vol. 13
N 9
2022
ISSN 2220-3397
Стр.4