?
Теория автоматов. Анализ шифрующих автоматов : учебное пособие
М. :
ФГБОУ ВО "РЭУ им. Г.В. Плеханова", 2021.
Бабаш А. В.
Данное пособие содержит методический материал для инно-вационных курсов лекций по профилю «Криптографическая за-щита информации» и может быть использовано при изучении блока дисциплин этого профиля. Ряд представленных результа-тов полезен аспирантам и специалистам, специализирующимся в указанной области.
Для студентов, обучающихся по направлениям «Прикладная информатика» и «Информационная безопасность».
Научное направление:
Компьютерные науки
Язык:
русский
Chertenkov V. I., Щур Л. Н., Lobachevskii Journal of Mathematics 2026 Vol. 47 No. 2 P. 720–727
Добавлено: 16 июня 2026 г.
Добавлено: 16 июня 2026 г.
Добавлено: 16 июня 2026 г.
Добавлено: 16 июня 2026 г.
Novopoltsev M., Tulenkov A., Murtazin R. и др., IEEE Access 2025 Vol. 13 P. 188170–188181
Добавлено: 16 июня 2026 г.
Stepin A., Mozikov M., Kabanov A. и др., IEEE Access 2026 Vol. 14 P. 48127–48144
Добавлено: 16 июня 2026 г.
Abdullaeva I., Karpukhin I., Filatov A. и др., IEEE Access 2026 Vol. 14 P. 59390–59408
Добавлено: 16 июня 2026 г.
Association for Computational Linguistics, 2026.
Добавлено: 14 июня 2026 г.
Strube M., Braud C., Hardmeier C. и др., Suzhou: Association for Computational Linguistics, 2025.
Добавлено: 11 июня 2026 г.
Добавлено: 10 июня 2026 г.
Дистиллированные кисломолочные напитки встречаются в пищевой промышленности редко, несмотря на повсеместное распространение растительных спиртных напитков. В настоящее время производство крепких дистиллированных алкогольных напитков из кисломолочных продуктов с использованием традиционных технологий известно лишь среди монголоязычных народов и их сибирских соседей. Данное исследование представляет собой первый междисциплинарный анализ дарасуна, традиционного бурятского спиртного напитка, изготавливаемого из кисломолочного напитка ...
Добавлено: 10 июня 2026 г.
Butorova A., Bobakov V., Sergeev A. и др., European Physical Journal: Special Topics 2026 P. 1–19
Добавлено: 10 июня 2026 г.
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника".
Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и ...
Добавлено: 12 ноября 2023 г.
Учебник содержит лекционный материал по дисциплине "Дискретная математика", а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы.
Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные ...
Добавлено: 12 ноября 2023 г.
Экспериментальное исследование наличия установочных трасс заданной длины для неинициальных автоматов
Евтушенко Л. Г., В кн.: Межвузовская научно-техническая конференция студентов, аспирантов и молодых специалистов им. Е.В. Арменского 2023.: МИЭМ НИУ ВШЭ, 2023. С. 134–136.
Конечные автоматы часто используются, как формальная модель для описания поведения дискретных систем, и в ряде случаев установочные трассы позволяют упростить/оптимизировать процесс пассивного тестирования. В данной работе приводятся результаты компьютерных экспериментов проверки наличия установочных трасс заданной длины в конечном автомате. ...
Добавлено: 3 сентября 2023 г.
Евтушенко Л. Г., Широкова Е., Лапутенко А., В кн.: Межвузовская научно-техническая конференция студентов, аспирантов и молодых специалистов имени Е.В. Арменского. Материалы конференции.: М.: МИЭМ НИУ ВШЭ, 2021. С. 178–180.
В данной работе приводятся результаты экспериментов по использованию алгоритма решения автоматного уравнения для бинарной композиции конечных автоматов без обратных связей для оптимизации компонента, все выходные каналы которого доступны для наблюдения. Описываемый алгоритм позволяет строить сетевой эквивалент хвостового компонента композиции для сокращения затрат при аппаратной реализации композиции автоматов и повышения эффективности работы цифрового устройства. ...
Добавлено: 27 мая 2022 г.
Бабаш А. В., М.: ФГБОУ ВО "РЭУ им. Г.В. Плеханова", 2021.
В учебном пособии рассмотрен теоретико-автоматный подход к синтезу криптографической защиты информации. Цель пособия состоит в описании методов синтеза шифрующих автоматов. Предлагаются удобные для применения в криптографической практике методы оценки числа неэквивалентных ключей шифров, построенных по классической схеме – управляющий блок и шифрующий блок. Приведен более эффективный, чем известные ранее, алгоритм нахождения областей импримитивности групп подстановок, ...
Добавлено: 25 октября 2021 г.
Твардовский А. С., Евтушенко Н. В., Труды Института системного программирования РАН 2019 Т. 31 № 4 С. 175–188
Конечно-автоматные методы широко используются при синтезе проверяющих тестов с гарантированной полнотой для дискретных систем. Поскольку поведение современных информационных и управляющих систем часто зависит от времени, классическая модель конечного автомата расширяется введением временных переменных. Более того, опциональность в спецификациях реальных систем побуждает к исследованиям в области синтеза тестов для недетерминированных автоматов. В настоящей работе мы адаптируем ...
Добавлено: 13 марта 2020 г.
Самоненко И. Ю., Интеллектуальные системы. Теория и приложения 2007 № 11 С. 787–792
Добавлено: 28 сентября 2018 г.
Самоненко И. Ю., Интеллектуальные системы. Теория и приложения 2007 № 11 С. 329–340
Добавлено: 28 сентября 2018 г.
Самоненко И. Ю., Интеллектуальные системы. Теория и приложения 2018 Т. 22 № 2 С. 113–121
Назовем гиперавтоматом конечный автомат, состояниями которого являются множества состояний некоторого конечного автомата. Гиперавтомат называется групповым, если полугруппа автомата, на базе которого он построен, является группой. В работе изучается вопрос о максимальном количестве регулярных языков, представимых в групповых гиперавтоматах. ...
Добавлено: 28 сентября 2018 г.
Твардовский А. С., Евтушенко Н. В., ББК 73я431 Н766 Редакционная коллегия выпуска 2018 С. 85–85
Тестирование на основе конечно автоматных моделей является эффективным инструментом проверки корректности программного и аппаратного обеспечения, позволяя строить проверяющие тесты с гарантированной полнотой покрытия неисправностей (ошибок). При тестировании реальных систем часто приходится учитывать, что спецификации могут быть недетерминированными. Соответственно, в общем случае, при описании реальных систем используются недетерминированные конечные автоматы, для которых проверяющие тесты строятся относительно редукции и ...
Добавлено: 11 августа 2018 г.
Вендин А. С., Успехи современной науки 2017 Т. 1 № 5 С. 81–85
В данной работе рассматривается разработка инструментального средства анализа исходного кода программ на языке Perl для визуализации алгоритма. Рассмотрена теоретическая база, с помощью которого можно подойти к реализации инструмента и анализировать исходный код программы на языке Perl. Сделан обзор существующих средств визуализации исходного кода программ, на основе которого сформулированы требования к разрабатываемому программному обеспечению. Рассмотрены средства ...
Добавлено: 11 декабря 2017 г.