?
Automated verification of countermeasure against detector-control attack in quantum key distribution
EPJ QUANTUM TECHNOLOGY. 2023. Vol. 10. No. 1. Article 22.
Acheva P., Zaitsev K., Заводиленко В. В., Losev A., Huang A., Makarov V.
Avdoshin S.M., Pesotskaya E.Y., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 6, part 2 P. 133–146
Добавлено: 8 ноября 2026 г.
Добавлено: 8 ноября 2026 г.
IEEE Computer Society (Conference Publishing Services, CPS), 2026.
Добавлено: 7 ноября 2026 г.
Sergey Avdoshin, Elena Pesotskaya, Салех Х. М. и др., Procedia Computer Science 2026 Vol. 292 P. 1332–1341
Добавлено: 7 ноября 2026 г.
Дубленский Д. С., КАНУННИКОВ Т. Н., Махмудов Т. Н. и др., Известия высших учебных заведений. Электроника 2026 Т. 31 № S4.1 С. 137–148
Ключевым принципом функционирования беспилотного летательного аппарата является непрерывный сбор и обработка данных с бортовых датчиков, осуществляемая под управлением операционной системы реального времени (RTOS). Для мультикоптеров, где критически важна минимальная задержка реакции системы на изменения в полете, основным фактором становится производительность вычислительного ядра полетного контроллера. Исторически сложилось, что для этих целей доминирующим выбором стали микроконтроллеры на ...
Добавлено: 7 ноября 2026 г.
Колмогорова А. В., Ekaterina Yavshitz, Margolina A. и др., Association for Computational Linguistics, 2026.
Добавлено: 4 ноября 2026 г.
IEEE Circuits and Systems Society, 2026.
Добавлено: 4 ноября 2026 г.
Учебное пособие содержит описания восьми лабораторных работ по дисциплине «Функциональные узлы и компоненты систем контроля и управления»: исследование транзисторных усилительных каскадов, источников тока и токовых зеркал, каскодного и дифференциального каскадов и комплементарного повторителя, основных схем включения операционного усилителя, измерительных выпрямителей и пиковых детекторов, релаксационных генераторов и одновибраторов, линейных стабилизаторов напряжения, измерительного канала с мостовым датчиком, ...
Добавлено: 3 ноября 2026 г.
Association for Computational Linguistics, 2026.
Добавлено: 3 ноября 2026 г.
Абдулкадиров Т. Н., Рюмина Е. В., Рюмин Д. А. и др., Expert Systems with Applications 2026 Vol. 334 P. 1–29
Добавлено: 3 ноября 2026 г.
Бурдонов И. Б., Евтушенко Н. В., Косачев А. С., Труды Института системного программирования РАН 2025 Т. 37 № 6-1 С. 7–20
В статье исследуется длина адаптивной различающей последовательности для семейства инициальных полностью определенных наблюдаемых, возможно, недетерминированных автоматов. Приводится верхняя оценка длины такой последовательности и показывается ее достижимость. Обсуждается, каким образом полученные результаты можно применить при построении адаптивных диагностических тестов на основе конечно-автоматной модели. ...
Добавлено: 31 октября 2026 г.
Бурдонов И. Б., Евтушенко Н. В., Косачев А. С. и др., Труды Института системного программирования РАН 2026 Т. 38 № 4-1 С. 7–24
В статье усовершенствуется предложенная в предыдущей статье авторов модель кластеризованной распределённой сети с опросом, соответствующая сервис-ориентированной архитектуре. Целью опроса является нахождение ближайшего узла, готового оказать требуемую услугу (сервис) как можно раньше. Предлагаемые алгоритмы обеспечивают достижимость узлов, отсутствие дублирования сообщений, и обмен сообщениями с найденным узлом по кратчайшему пути. Кластеризованность сети означает, что в графе сети ...
Добавлено: 31 октября 2026 г.
Твардовский А. С., Бурдонов И. Б., Евтушенко Н. В., Труды Института системного программирования РАН 2026 Т. 38 № 4-2 С. 7–22
В статье вводятся понятия установочной и синхронизирующей последовательностей для конечных автоматов с временными ограничениями и таймаутами. Такие последовательности широко используются для идентификации финального состояния исследуемого автомата как при синтезе тестов на основе формальных моделей, так и при обучении конечно-автоматных моделей. Метод синтеза установочных и синхронизирующих последовательностей основан на использовании конечно-автоматной абстракции временного автомата, поскольку методы ...
Добавлено: 31 октября 2026 г.
Бурдонов И. Б., Евтушенко Н. В., Косачев А. С. и др., Труды Института системного программирования РАН 2026 Т. 38 № 3-1 С. 7–32
В статье предложена модель кластеризованной распределённой сети для обработки запросов. В такой сети узлы являются вычислительными единицами, и каждый узел может запросить ту или иную услугу, которая может быть оказана каким-то другим, но заранее неизвестным, узлом сети. Для этого осуществляется опрос сети аналогичный поиску в ширину для того, чтобы найти ближайший узел с необходимыми свойствами. ...
Добавлено: 31 октября 2026 г.
IEEE, 2026.
Добавлено: 31 октября 2026 г.
Припутин В. С., Комков А. А., Сподобаев Ю. М. и др., Антенны 2026 № 4(302) С. 22–28
Постановка проблемы. В современной практике получили распространение двухполяризационные четырехплечевые синусные антенны, которые способны сохранять и поддерживать свои эксплуатационные свойства в широкой полосе частот. Важное место в конструкции таких антенн занимают согласующие устройства, которые не только обеспечивают качество согласования сопротивлений между излучателями синусоидальной антенны и разъемами антенно-фидерного тракта, но и определяют эксплуатационные возможности антенны по направленности ...
Добавлено: 31 октября 2026 г.
Бурдонов И. Б., Евтушенко Н. В., Косачев А. С. и др., Труды Института системного программирования РАН 2025 Т. 37 № 5 С. 7–32
Статья является продолжением предыдущей статьи авторов, в которой строится абстрактная модель распределенной сети, содержащей только хосты и коммутаторы. Хосты предлагают пользователям пакеты определенных услуг (сервисов), сообщения (запросы) между хостами пересылаются через промежуточные узлы по правилам коммутации, и настройка узлов определяет множество путей от хоста к хосту, по которым будут пересылаться пакеты. Ситуация моделируется с использованием ...
Добавлено: 30 октября 2026 г.
Mosentsov S. N., Losev A. V., Zavodilenko V. V. и др., Фотоника 2023 Vol. 17 No. 2 P. 134–145
Статья посвящена сравнению характеристик детекторов одиночных фотонов производителей QRate (Россия) и ID Quantique (Швейцария). В работе исследованы их квантовые эффективности, частоты темнового счета и вероятности послеимпульсов. Результаты тестирования показали взаимозаменяемость детекторов, несоответствие зарубежных детекторов заявленным характеристикам и продемонстрировали потенциал отечественной разработки. ...
Добавлено: 6 мая 2026 г.
Losev A. V., Filyaev A. A., Заводиленко В. В. и др., St. Petersburg Polytechnical University Journal: Physics and Mathematics 2023 Vol. 16 No. 3.1 P. 459–462
В данной статье рассматривается детектор одиночных фотонов (ДОФ) с синусоидальным стробированием, предназначенный для использования в системе квантового распределения ключей (КРК). Обнаружен эффект «задержки лавины» в результате эксплуатации такого детектора. Этот эффект негативно влияет на общий уровень ошибок в системе КРК. Экспериментально установлено влияние основных параметров управления детектором на эффект задержки лавины. ...
Добавлено: 6 мая 2026 г.
Filyaev A. A., Losev A. V., Заводиленко В. В. и др., St. Petersburg Polytechnical University Journal: Physics and Mathematics 2023 Vol. 16 No. 3.1 P. 237–241
В работе рассматривается важный параметр детекторов одиночных фотонов, такой как квантовая эффективность, ошибки в определении которой приводят существенным погрешностям в параметрах системы квантового распределения ключей, где такие детекторы занимают ключевое положение. Для оценки квантовой эффективности или вероятности детектирования фотонов предложены три модели, рассмотрены их основные достоинства и недостатки. ...
Добавлено: 6 мая 2026 г.
Заводиленко В. В., Filyaev A. A., Losev A. V. и др., St. Petersburg Polytechnical University Journal: Physics and Mathematics 2023 Vol. 16 No. 3.1 P. 242–247
В данной работе рассматривается влияние формы области умножения на скорость темнового счета (DCR) InGaAs/InAlAs однофотонных лавинных фотодиодов (ОЛФД). Данное исследование проводится в рамках оптимизации параметров конструкции ОЛФД. Структура диода была смоделирована в расчетной среде T-CAD. ...
Добавлено: 6 мая 2026 г.
Ponosova A., Zhluktova I., Ruzhitskaya D. и др., Applied Physics Letters 2025 Vol. 127 No. 19 P. 194002
Добавлено: 5 декабря 2025 г.