?
Закрытые эксперименты с автоматами
С. 10–15.
Бабаш А. В.
Решается задача по частичному определению ключевой информации шифрующего устройства по частичному наблюдению за данным устройством.
Язык:
русский
В условиях цифровизации минимизируется влияние негативного человеческого фактора в производственной системе, человек получает возможность заниматься творческой деятельностью, а не рутинной, и трудиться в более комфортных условиях, то есть параллельно с техноцентричностью на производствах формируется человекоцентричность. В ИПУ РАН разработана методология моделирования процесса технологической подготовки гибкого производства всевозможных изделий (включая автоматы) в различных производственных условиях с ...
Добавлено: 3 февраля 2025 г.
Мы часто принимаем решения не единолично, а в коллективе, с учетом мнений и предпочтений всех членов коллектива: в задачах голосования, распределения работников по работам или студентов по курсам, в задачах дележа наследства или общего имущества, в распределении мест в парламенте после выборов и оценке влияния участников в выборном органе, в задачах оценки эффективности работы в ...
Добавлено: 29 ноября 2020 г.
Салибекян С. М., Прикладная информатика 2017 Т. 12 № 2 С. 5–16
В статье описываюется реализации — программная или аппаратная — автоматной вычислительной системы (ВС) на базе объектно-атрибутной вычислительной системы, относящейся к классу машин с управлением потоком данных (dataflow). Рассматриваются реализации автоматов различных классов (детерминированный, недетерминированный, абстрактный, структурный), а также реализации автоматной декомпозиции (вложенный и вызываемый автоматы) и системы параллельно работающих автоматов. ...
Добавлено: 14 сентября 2019 г.
Захаров В. А., Гнатенко А. Р., В кн.: Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.).: М.: МГУ, МАКС Пресс, 2017. С. 68–71.
В статье в качестве формальной модели последовательных реагирующих систем была предложена модель вычислений конечных автоматов-преобразователей, работающих над полугруппами действий. Для спецификации поведений таких автоматов был предложен специальный вариант темпоральной логики линейного времени LTL-FL (LTL with Formal Languages). Формальные языки (множества конечных слов фиксированных алфавитов) в формулах LTL-FL используются для параметризации темпоральных операторов. В этой же ...
Добавлено: 22 октября 2017 г.
Захаров В. А., Жайлауова Ш. Р., В кн.: Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.).: М.: МГУ, МАКС Пресс, 2017. С. 84–87.
Эффективная разрешимость проблемы л-т эквивалентности дает возможность приступить к решению задачи минимизации - построения схемы программ наименьшего размера, л-т эквивалентной заданной схеме. Чтобы отыскать ее решение, заметим, что модель вычислений стандартных схем программ сходна модели вычислений автоматов-преобразователей, работающих над полугруппами. Ранее был предложен метод минимизации автоматов-преобра\-зо\-вателей, работающих над упорядоченными левосократимыми полугруппами. В данной заметке мы ...
Добавлено: 22 октября 2017 г.
М.: МГУ, МАКС Пресс, 2017.
Книга представляет собой сборник статей, написанных на основе докладов, представленных на 18-ой Международной конференции "Теоретические проблемы кибернетики" в Пензенском государственном университете, 19-23 июня 2017 г. ...
Добавлено: 12 октября 2017 г.
Захаров В. А., Жайлауова Ш. Р., Моделирование и анализ информационных систем 2017 Т. 24 № 4 С. 415–433
Стандартные схемы программ - это одна из наиболее простых моделей последовательных императивных программ, предназначенная для решения задач оптимизации и верификации программ. Мы рассматриваем разрешимое отношение логико-термальной эквивалентности стандартных схем программ и задачу минимизации их размера при условии сохранением отношения логико-термальной эквивалентности. Нами доказано, что эта задача является алгоритмически разрешимой. Далее показано, что стандартные схемы программ ...
Добавлено: 12 октября 2017 г.
Сысоева Л. Н., В кн.: Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19–23 июня 2017 г.).: М.: МАКС Пресс, 2017. С. 235–237.
В настоящей работе вводится понятие автоматного замыкания множества булевых функций. Показывается, что существует шесть автоматно-замкнутых классов булевых функций. ...
Добавлено: 25 августа 2017 г.
Бабаш А. В., М.: ФГБОУ ВО "РЭУ им. Г.В. Плеханова", 2016.
В сборнике трудов представлены статьи по математическим ьетодам в экономике и информационной безопасности ...
Добавлено: 26 февраля 2017 г.
Салибекян С. М., В кн.: Объектные системы – 2016: материалы XII Международной научно-практической конференции (Ростов-на-Дону, 10-12 мая 2016 г.).: Ростов н/Д: ШИ (ф) ЮРГПУ (НПИ) им. М.И. Платова, 2016. С. 54–61.
В статье приводится описание программной и аппаратной реализации автоматов различных типов на базе объектно-атрибутного (ОА) подхода к организации вычислительного процесса, относящегося к классу data-flow (вычисления с управлением потоком данных). ОА-вычислительная система представляет собой совокупность функциональных устройств (ФУ), производящих обработку информации и обменивающихся между собой простейшими токенами, состоящими из данных или указателя и идентификатора (атрибута). ФУ, ...
Добавлено: 10 ноября 2016 г.
Г.М. Полотовский, Ремизов. И. Д., Математика в высшем образовании 2014 № 12 С. 9–14
Приводится несколько примеров применения моделей, построенных из «бытовых» объектов, полезных для разъяснения студентам некоторых абстрактных структур современной математики. ...
Добавлено: 13 марта 2016 г.
Захаров В. А., Cybernetics and Systems Analysis 2010 № 4 С. 39–48
В статье показано, каким образом двухленточные автоматы можно применять для проверки эквивалентности последовательных программ. Семантика последовательных программ определяется на основе моделей динамической логики. В том случае, когда динамическая шкала ациклична (т.е. в программе нет взаимно обратимых операторов), она может быть описана двухленточным детерминированным автоматом. Тогда задача проверки эквивалентности программ, семантика операторов которых определяется динамическими ...
Добавлено: 30 сентября 2015 г.
Бабаш А. В., М.: МЭСИ, 2014.
Монография знакомит читателя с теоретико-автоматными методами синтеза криптографической защиты информации ...
Добавлено: 8 марта 2015 г.
Вялый М. Н., Гимадеев Р. А., Дискретный анализ и исследование операций 2014 Т. 21 № 1 С. 3–14
Получены нижние оценки сложности различения слов кратностями вхождений подслов с учётом позиции подслова в слове. Доказано, что в случае подслов длины 1 оценка оптимальна с точностью до мультипликативного множителя. Рассмотрена связь задачи различения слов вхождениями подслов с задачей различения слов автоматами. ...
Добавлено: 18 октября 2014 г.
Бабаш А. В., Кудияров Д. С., Проблемы информационной безопасности. Компьютерные системы 2013 № 3 С. 49–54
Даны достаточные условия, при которых периоды последовательностей отображений генератора IA кратны числу 2 в степени n. ...
Добавлено: 8 марта 2014 г.
Бабаш А. В., Математические заметки 2012 Т. 91 № 5 С. 667–674
Улучшена оценка сверху минимальной длины выходных слов, которые не
могут быть получены на выходе произвольного автомата с двоичным входным
и выходным алфавитами. ...
Добавлено: 7 марта 2014 г.
Бабаш А. В., Кудияров Д. С., Системы высокой доступности 2012 № 2 С. 7–11
Генератор RC4 представим последовательным соединением автономного полноциклового автомата с неавтономным автоматом, состояниями последнего являются пары: подстановка степени 2 в степени n и вычет из кольца вычетов по модулю n. Доказано, что периоды последовательностей подстановок кратны числу 2 в степени n-1 и даны достаточные условия, при которых эти периоды кратны 2 в степени n . ...
Добавлено: 7 марта 2014 г.
Бабаш А. В., Кудияров Д. С., Проблемы информационной безопасности. Компьютерные системы 2013 № 3 С. 49–54
Даны достаточные условия, при которых периоды последовательностей отображений генератора IA кратны числу 2 в степени n. ...
Добавлено: 7 марта 2014 г.
Бабаш А. В., В кн.: Интеллектуальные системы в информационном противоборстве в корпоративной бизнес-среде. Материалы IV научно-практической конференции, 12-13 декабря 2013 г., Москва. Сборник научных трудов.: М.: МЭСИ, 2013. Гл. 1 С. 8–28.
Проведено математическое обоснование метода Фридмана по дешифрованию шифра Виженера. ...
Добавлено: 14 января 2014 г.