Найти

Результаты поиска

• МОДЕЛЬ СХЕМЫ ЭЛЕКТРОННОГО ГОЛОСОВАНИЯ С ВОЗМОЖНОСТЬЮ ИЗМЕНЕНИЯ РЕШЕНИЯ УЧАСТНИКОМ ДО МОМЕНТА ОКОНЧАНИЯ ГОЛОСОВАНИЯ

  Ж.Н. Дакуо , С.В. Беззатеев , В. В. Давыдов , И.Д. Иогансон , А.Ф. Хуцаева

  201-212

  2026-09-10

  Аннотация ▼

   

  Существующие протоколы электронного голосования, как правило, обладают архитектурой, в которой отправка бюллетеня является необратимым действием. Такой подход ограничивает удобство использования системы, поскольку участник не может исправить случайную ошибку или изменить свое решение в течение периода голосования без прохождения повторной процедуры аутентификации либо аннулирования ранее поданного бюллетеня. Целью настоящей работы является разработка теоретической модели криптографического протокола электронного голосования, обеспечивающей нативную возможность многократного изменения решения для повышения удобства использования при сохранении анонимности и корректности подсчета. Архитектура предлагаемой модели основана на совместном использовании схемы обязательств с потайным входом для реализации свойства изменения решения, проверяемой случайной функции (VRF) для формирования бюллетеней, протокола Privacy Pass для анонимной авторизации участников и смешанных сетей (Mix-Nets), обеспечивающих сокрытие связи между пользователем и передаваемыми сообщениями. Разработан протокол электронного голосования, позволяющий участнику неоднократно изменять свое решение без повторного обращения к центру регистрации после получения права на участие в голосовании, что уменьшает количество интерактивных действий и повышает удобство использования системы. Проведен теоретический анализ стойкости предложенной модели, подтверждающий выполнение основных и ряда расширенных свойств, включая, полноту, устойчивость, приемлемость, проверяемость, конфиденциальность участника, одноразовость, справедливость, атомарную и универсальную проверяемость, а также возможность изменения решения. Благодаря модульной архитектуре модель допускает применение различных криптографических примитивов, включая постквантовые алгоритмы, без изменения общей логики функционирования протокола, что делает предложенный подход перспективной основой для построения защищенных систем электронного голосования, стойких к атакам квантового компьютера.

• ИНТЕЛЛЕКТУАЛЬНОЕ ПЛАНИРОВАНИЕ СТРАТЕГИЙ И УПРАВЛЕНИЕ ГРУППОЙ МОБИЛЬНЫХ РОБОТОВ В УСЛОВИЯХ НЕПОЛНОТЫ ИНФОРМАЦИИ

  И.В. Бычков , А.В. Давыдов , М.Ю. Кензин , Н.В. Нагул , А.А. Толстихин

  2023-04-10

  Аннотация ▼

  Рассматриваются различные задачи планирования стратегий и управления группой мо-
  бильных роботов в сложных динамических условиях при неполной информации о внешней среде.
  Представлены подходы к решению задач составления эффективного рабочего расписания в
  условиях непостоянного состава действующей группы, поиска источника нестационарного
  поля концентрации, супервизорного управления дискретно-событийными системами. Для зада-
  чи составления верхнеуровневого расписания групповой работы разработана оригинальная математическая модель, сформулированная в терминах задач планирования рабочих смен,
  а также проблемно-ориентированная модификация эволюционных алгоритмов со специализи-
  рованных набором эвристик для ее эффективного решения. Поиск и мониторинг источника
  нестационарного поля концентрации осуществляется с помощью децентрализованной муль-
  тиагентной стратегии управления, объединяющей элементы бионических и градиентных под-
  ходов, а также метода генерации искусственных потенциальных полей. Рассмотренная стра-
  тегия управления обладает низкой вычислительной сложностью, высокой вариативностью по
  отношению к типам обследуемых полей и легко масштабируется для управления любым дос-
  тупным количеством мобильных роботов. Последнее имеет особое значение, в частности, при
  рассмотрении задачи параллельного и независимого мониторинга нескольких источников.
  Для решения различных задач теории супервизорного управления дискретно-событийными сис-
  темами, используемыми на различных уровнях иерархической системы управления робототех-
  ническими комплексами, предложено использовать средства логического вывода, а именно,
  автоматическое доказательство теорем в исчислении позитивно-образованных формул. Осо-
  бенности исчисления позволяют эффективно решать сложные задачи управления динамиче-
  скими системами, а также осуществлять обработку и контроль событий на основе данных об
  окружающей среде в режиме реального времени в процессе логического вывода. Основанный на
  позитивно-образованных формулах подход позволяет исследовать свойства дискретно-
  событийных систем в автоматной форме, синтезировать и моделировать конечные автома-
  ты для построения и реализации монолитных и модульных супервизоров. Предложена общая
  схема, объединяющая рассмотренные подходы к управлению группой мобильных роботов на
  различных уровнях и масштабах времени в рамках единой иерархической системы управления