?
Reconstruction of information on an Input word automaton given initial and final states
P. 270–275.
Babash A. V.
We give a description of Medvedev permutation automata for which approximate reconstruction of information on an input word is possible given initial and final states corresponding to the input word.
In book
Babash A. V. М.: ФГБОУ ВО "РЭУ им. Г.В. Плеханова", 2016.
Аристова Н. И., Чадеев В. М., Якимова О. А., Автоматизация в промышленности 2024 № 6 С. 25–30
В условиях цифровизации минимизируется влияние негативного человеческого фактора в производственной системе, человек получает возможность заниматься творческой деятельностью, а не рутинной, и трудиться в более комфортных условиях, то есть параллельно с техноцентричностью на производствах формируется человекоцентричность. В ИПУ РАН разработана методология моделирования процесса технологической подготовки гибкого производства всевозможных изделий (включая автоматы) в различных производственных условиях с ...
Added: February 3, 2025
Stukach O., , in: 2019 International Siberian Conference on Control and Communications (SIBCON). Proceedings.: Tomsk: Tomsk State University of Control Systems and Radioelectronics (TUSUR), 2019. Ch. 1 P. 1–7.
The problem of regulators (controllers) design is
extremely relevant in connection with the penetration into all
technological areas of the methods of precise control of objects
with feedback. Such devices are being more and more used,
which increases the variety of controlled objects. This list
includes all new objects of robotics and technological setups,
which have much more complex mathematical models. ...
Added: September 24, 2019
Salibekyan S. M., Прикладная информатика 2017 Т. 12 № 2 С. 5–16
The article describes implementation (hardware and software) of computing system in automatic paradigm based on object-attribute (OA) computer system belonging to the class of dataflow machines. OA-computer is the system of functional unit (FU) collaborating each other. FU is hardware of software unit. The system named OA-automation emulate behavior of automation. It is discussion of ...
Added: September 14, 2019
Хабаровск: ДВГУПС, 2017.
Представлены результаты теоретических и экспериментальных исследований, выполненных преподавателями, аспирантами, докторантами, студентами, а также сотрудниками ОАО"РЖД" и IT-компаний в области автоматики и телекоммуникаций, технологии транспортных процессов, математического моделирования процессов, информационных технологий. Издание предназначено для студентов, преподавателей, научных работников, магистрантов, аспирантов и технических специалистов в соответствующих областях. ...
Added: March 9, 2018
Zakharov V., Гнатенко А. Р., В кн.: Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.).: М.: МГУ, МАКС Пресс, 2017. С. 68–71.
В статье в качестве формальной модели последовательных реагирующих систем была предложена модель вычислений конечных автоматов-преобразователей, работающих над полугруппами действий. Для спецификации поведений таких автоматов был предложен специальный вариант темпоральной логики линейного времени LTL-FL (LTL with Formal Languages). Формальные языки (множества конечных слов фиксированных алфавитов) в формулах LTL-FL используются для параметризации темпоральных операторов. В этой же ...
Added: October 22, 2017
Zakharov V., Жайлауова Ш. Р., В кн.: Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.).: М.: МГУ, МАКС Пресс, 2017. С. 84–87.
Эффективная разрешимость проблемы л-т эквивалентности дает возможность приступить к решению задачи минимизации - построения схемы программ наименьшего размера, л-т эквивалентной заданной схеме. Чтобы отыскать ее решение, заметим, что модель вычислений стандартных схем программ сходна модели вычислений автоматов-преобразователей, работающих над полугруппами. Ранее был предложен метод минимизации автоматов-преобра\-зо\-вателей, работающих над упорядоченными левосократимыми полугруппами. В данной заметке мы ...
Added: October 22, 2017
М.: МГУ, МАКС Пресс, 2017.
Книга представляет собой сборник статей, написанных на основе докладов, представленных на 18-ой Международной конференции "Теоретические проблемы кибернетики" в Пензенском государственном университете, 19-23 июня 2017 г. ...
Added: October 12, 2017
Zakharov V., Жайлауова Ш. Р., Моделирование и анализ информационных систем 2017 Т. 24 № 4 С. 415–433
rst-order program schemata is one of the simplest models of sequential imperative
programs intended for solving veri cation and optimization problems. We consider the decidable rela tion of logical-thermal equivalence of these schemata and the problem of their size minimization while
preserving logical-thermal equivalence. We prove that this problem is decidable. Further we show that
the rst-order program schemata supplied ...
Added: October 12, 2017
Sysoeva L., В кн.: Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19–23 июня 2017 г.).: М.: МАКС Пресс, 2017. С. 235–237.
В настоящей работе вводится понятие автоматного замыкания множества булевых функций. Показывается, что существует шесть автоматно-замкнутых классов булевых функций. ...
Added: August 25, 2017
Babash A. V., М.: ФГБОУ ВО "РЭУ им. Г.В. Плеханова", 2016.
В сборнике трудов представлены статьи по математическим ьетодам в экономике и информационной безопасности ...
Added: February 26, 2017
Salibekyan S. M., В кн.: Объектные системы – 2016: материалы XII Международной научно-практической конференции (Ростов-на-Дону, 10-12 мая 2016 г.).: Ростов н/Д: ШИ (ф) ЮРГПУ (НПИ) им. М.И. Платова, 2016. С. 54–61.
В статье приводится описание программной и аппаратной реализации автоматов различных типов на базе объектно-атрибутного (ОА) подхода к организации вычислительного процесса, относящегося к классу data-flow (вычисления с управлением потоком данных). ОА-вычислительная система представляет собой совокупность функциональных устройств (ФУ), производящих обработку информации и обменивающихся между собой простейшими токенами, состоящими из данных или указателя и идентификатора (атрибута). ФУ, ...
Added: November 10, 2016
Zakharov V., Cybernetics and Systems Analysis 2010 № 4 С. 39–48
This paper shows how two-tape automata can be employed to design efficient equivalence checking procedures for sequential programs. The semantics of sequential programs is defined in terms of dynamic logic structures. If a dynamic frame is acyclic (i.e., all program statements are irreversible), it can be specified by means of a two-tape deterministic automaton. Then ...
Added: September 30, 2015
Babash A. V., М.: МЭСИ, 2014.
Монография знакомит читателя с теоретико-автоматными методами синтеза криптографической защиты информации ...
Added: March 8, 2015
Vyalyi M., Гимадеев Р. А., Дискретный анализ и исследование операций 2014 Т. 21 № 1 С. 3–14
Получены нижние оценки сложности различения слов кратностями вхождений подслов с учётом позиции подслова в слове. Доказано, что в случае подслов длины 1 оценка оптимальна с точностью до мультипликативного множителя. Рассмотрена связь задачи различения слов вхождениями подслов с задачей различения слов автоматами. ...
Added: October 18, 2014
Babash A. V., Кудияров Д. С., Проблемы информационной безопасности. Компьютерные системы 2013 № 3 С. 49–54
Даны достаточные условия, при которых периоды последовательностей отображений генератора IA кратны числу 2 в степени n. ...
Added: March 8, 2014
Babash A. V., Математические заметки 2012 Т. 91 № 5 С. 667–674
Улучшена оценка сверху минимальной длины выходных слов, которые не
могут быть получены на выходе произвольного автомата с двоичным входным
и выходным алфавитами. ...
Added: March 7, 2014
Babash A. V., Кудияров Д. С., Системы высокой доступности 2012 № 2 С. 7–11
Генератор RC4 представим последовательным соединением автономного полноциклового автомата с неавтономным автоматом, состояниями последнего являются пары: подстановка степени 2 в степени n и вычет из кольца вычетов по модулю n. Доказано, что периоды последовательностей подстановок кратны числу 2 в степени n-1 и даны достаточные условия, при которых эти периоды кратны 2 в степени n . ...
Added: March 7, 2014
Babash A. V., Кудияров Д. С., Проблемы информационной безопасности. Компьютерные системы 2013 № 3 С. 49–54
Даны достаточные условия, при которых периоды последовательностей отображений генератора IA кратны числу 2 в степени n. ...
Added: March 7, 2014