?
Определение периода гаммы в шифре Виженера по заданному шифртексту
Гл. 1. С. 8-28.
Babash A. V.
Babash A. V., В кн. : Проблемы функционирования государственной системы изготовления, оформления и контроля паспортно-визовых документов нового поколения. Научно-практическая конференция 1 ноября 2012 г. : М. : Проспект, 2012. С. 10-15.
Решается задача по частичному определению ключевой информации шифрующего устройства по частичному наблюдению за данным устройством. ...
Added: January 14, 2014
Sysoeva L., В кн. : Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19–23 июня 2017 г.). : М. : МАКС Пресс, 2017. С. 235-237.
В настоящей работе вводится понятие автоматного замыкания множества булевых функций. Показывается, что существует шесть автоматно-замкнутых классов булевых функций. ...
Added: August 25, 2017
Aleskerov F. T., Khabina E. L., Shvarts D. et al., М. : Юрайт, 2021
Мы часто принимаем решения не единолично, а в коллективе, с учетом мнений и предпочтений всех членов коллектива: в задачах голосования, распределения работников по работам или студентов по курсам, в задачах дележа наследства или общего имущества, в распределении мест в парламенте после выборов и оценке влияния участников в выборном органе, в задачах оценки эффективности работы в ...
Added: November 29, 2020
Zakharov V., Жайлауова Ш. Р., В кн. : Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.). : М. : МГУ, МАКС Пресс, 2017. С. 84-87.
Эффективная разрешимость проблемы л-т эквивалентности дает возможность приступить к решению задачи минимизации - построения схемы программ наименьшего размера, л-т эквивалентной заданной схеме. Чтобы отыскать ее решение, заметим, что модель вычислений стандартных схем программ сходна модели вычислений автоматов-преобразователей, работающих над полугруппами. Ранее был предложен метод минимизации автоматов-преобра\-зо\-вателей, работающих над упорядоченными левосократимыми полугруппами. В данной заметке мы ...
Added: October 22, 2017
Salibekyan S. M., В кн. : Объектные системы – 2016: материалы XII Международной научно-практической конференции (Ростов-на-Дону, 10-12 мая 2016 г.). : Ростов н/Д : ШИ (ф) ЮРГПУ (НПИ) им. М.И. Платова, 2016. С. 54-61.
В статье приводится описание программной и аппаратной реализации автоматов различных типов на базе объектно-атрибутного (ОА) подхода к организации вычислительного процесса, относящегося к классу data-flow (вычисления с управлением потоком данных). ОА-вычислительная система представляет собой совокупность функциональных устройств (ФУ), производящих обработку информации и обменивающихся между собой простейшими токенами, состоящими из данных или указателя и идентификатора (атрибута). ФУ, ...
Added: November 10, 2016
Zakharov V., Жайлауова Ш. Р., Моделирование и анализ информационных систем 2017 Т. 24 № 4 С. 415-433
rst-order program schemata is one of the simplest models of sequential imperative
programs intended for solving verication 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
Babash A. V., Кудияров Д. С., Проблемы информационной безопасности. Компьютерные системы 2013 № 3 С. 49-54
Даны достаточные условия, при которых периоды последовательностей отображений генератора IA кратны числу 2 в степени n. ...
Added: March 7, 2014
Babash A. V., Кудияров Д. С., Проблемы информационной безопасности. Компьютерные системы 2013 № 3 С. 49-54
Sufficient conditions under which the periods of the sequences of maps generator IA divisible by 2n. ...
Added: January 7, 2014
Babash A. V., М. : МЭСИ, 2014
Монография знакомит читателя с теоретико-автоматными методами синтеза криптографической защиты информации ...
Added: March 8, 2015
Vyalyi M., Гимадеев Р. А., Дискретный анализ и исследование операций 2014 Т. 21 № 1 С. 3-14
Получены нижние оценки сложности различения слов кратностями вхождений подслов с учётом позиции подслова в слове. Доказано, что в случае подслов длины 1 оценка оптимальна с точностью до мультипликативного множителя. Рассмотрена связь задачи различения слов вхождениями подслов с задачей различения слов автоматами. ...
Added: October 18, 2014
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., М. : ФГБОУ ВО "РЭУ им. Г.В. Плеханова", 2016
В сборнике трудов представлены статьи по математическим ьетодам в экономике и информационной безопасности ...
Added: February 26, 2017
Zakharov V., Гнатенко А. Р., В кн. : Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.). : М. : МГУ, МАКС Пресс, 2017. С. 68-71.
В статье в качестве формальной модели последовательных реагирующих систем была предложена модель вычислений конечных автоматов-преобразователей, работающих над полугруппами действий. Для спецификации поведений таких автоматов был предложен специальный вариант темпоральной логики линейного времени LTL-FL (LTL with Formal Languages). Формальные языки (множества конечных слов фиксированных алфавитов) в формулах LTL-FL используются для параметризации темпоральных операторов. В этой же ...
Added: October 22, 2017
Г.М. Полотовский, Ремизов. И. Д., Математика в высшем образовании 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
М. : МГУ, МАКС Пресс, 2017
Книга представляет собой сборник статей, написанных на основе докладов, представленных на 18-ой Международной конференции "Теоретические проблемы кибернетики" в Пензенском государственном университете, 19-23 июня 2017 г. ...
Added: October 12, 2017
Babash A. V., Математические заметки 2012 Т. 91 № 5 С. 667-674
Улучшена оценка сверху минимальной длины выходных слов, которые не
могут быть получены на выходе произвольного автомата с двоичным входным
и выходным алфавитами. ...
Added: March 7, 2014
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
Babash A. V., Кудияров Д. С., Системы высокой доступности 2012 № 2 С. 7-11
Генератор RC4 представим последовательным соединением автономного полноциклового автомата с неавтономным автоматом, состояниями последнего являются пары: подстановка степени 2 в степени n и вычет из кольца вычетов по модулю n. Доказано, что периоды последовательностей подстановок кратны числу 2 в степени n-1 и даны достаточные условия, при которых эти периоды кратны 2 в степени n . ...
Added: March 7, 2014
Babash A. V., , in : Сборник трудов VI-й Международной конференции имени А.И. Китова "Информационные технологии и математические методы в экономике и управлении (ИТи ММ-2016)" 26-27 мая 2016. : М. : ФГБОУ ВО "РЭУ им. Г.В. Плеханова", 2016. P. 270-275.
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. ...
Added: February 26, 2017
Babash A. V., Кудияров Д. С., Проблемы информационной безопасности. Компьютерные системы 2013 № 3 С. 49-54
Даны достаточные условия, при которых периоды последовательностей отображений генератора IA кратны числу 2 в степени n. ...
Added: March 8, 2014