?
Закрытые эксперименты с автоматами
С. 10–15.
Babash A. V.
Аристова Н. И., Чадеев В. М., Якимова О. А., Автоматизация в промышленности 2024 № 6 С. 25–30
В условиях цифровизации минимизируется влияние негативного человеческого фактора в производственной системе, человек получает возможность заниматься творческой деятельностью, а не рутинной, и трудиться в более комфортных условиях, то есть параллельно с техноцентричностью на производствах формируется человекоцентричность. В ИПУ РАН разработана методология моделирования процесса технологической подготовки гибкого производства всевозможных изделий (включая автоматы) в различных производственных условиях с ...
Added: February 3, 2025
Aleskerov F. T., Khabina E. L., Shvarts D. et al., М.: Юрайт, 2021.
Мы часто принимаем решения не единолично, а в коллективе, с учетом мнений и предпочтений всех членов коллектива: в задачах голосования, распределения работников по работам или студентов по курсам, в задачах дележа наследства или общего имущества, в распределении мест в парламенте после выборов и оценке влияния участников в выборном органе, в задачах оценки эффективности работы в ...
Added: November 29, 2020
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
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
Г.М. Полотовский, Ремизов. И. Д., Математика в высшем образовании 2014 № 12 С. 9–14
Some examples of application of the models constructed of «household» objects, useful to an explanation to students of some abstract structures of modern mathematics are given. ...
Added: March 13, 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
Babash A. V., В кн.: Интеллектуальные системы в информационном противоборстве в корпоративной бизнес-среде. Материалы IV научно-практической конференции, 12-13 декабря 2013 г., Москва. Сборник научных трудов.: М.: МЭСИ, 2013. Гл. 1 С. 8–28.
Проведено математическое обоснование метода Фридмана по дешифрованию шифра Виженера. ...
Added: January 14, 2014