ИСП РАН

📢 Дистанционное электронное голосование на выборах депутатов Государственной Думы

🗓 Голоса принимают три дня — с 18 по 20 сентября.
В этот период москвичи смогут проголосовать на выборах в Государственную Думу, а жители района Щукино — также выбрать муниципальных депутатов.

💻 Проголосовать онлайн можно с 08:00 18 сентября до 19:59 20 сентября 2026 года.
Принять участие в дистанционном электронном голосовании могут совершеннолетние москвичи с постоянной регистрацией в Москве и полной учётной записью на mos.ru.

Если вы планируете принять участие в выборах, можно воспользоваться удобным для вас способом голосования.

👉 Подробная информация и доступ к электронному голосованию:
elec.mos.ru12:31

🗣ИСП РАН представил технологии безопасной разработки ПО и цифровой медицины на Let’s GoConf 2026

Сотрудники Института системного программирования им. В. П. Иванникова РАН приняли участие в конференции для Go-разработчиков Let’s GoConf 2026 в Москве.

На стендах ИСП РАН были представлены два ключевых направления: технологии анализа программного обеспечения Svace и Svacer, а также разработки в области цифровой медицины.

🔵Svace — статический анализатор исходного кода, который выявляет более 70 классов критических ошибок и поддерживает широкий спектр языков программирования, включая Go. Svacer — web-интерфейс для просмотра и работы с предупреждениями, полученными в результате анализа Svace.

🔵Разработки в области цифровой медицины были представлены
нейросетевыми моделями анализа ЭКГ для выявления патологий, а также технологиями обнаружения меланомы (и других патологических элементов) по снимкам кожи.

😷Let’s GoConf — конференция для Go-разработчиков, которая в 2026 году прошла 11 сентября в Москве.

➡️Фото предоставлены организаторами конференции

💬ИСП РАН в Telegram
💬ИСП РАН в МАКС

⚠️ СРОЧНО: срок подачи заявления на ДЭГ истекает СЕГОДНЯ, 14 сентября!

Если вы не в Москве и хотите проголосовать онлайн на выборах в Госдуму 18–20 сентября — сегодня последний день, чтобы подать заявление. Успейте до 23:59 МСК.

Кто может проголосовать онлайн:
ДЭГ доступно жителям 33 регионов с постоянной регистрацией. Полный список — в постановлении ЦИК, среди них: Республика Карелия, Коми, Крым, Алтайский и Пермский края, Архангельская, Белгородская, Владимирская, Вологодская, Калининградская, Калужская, Костромская, Курганская, Липецкая, Магаданская, Московская, Мурманская, Нижегородская, Новгородская, Новосибирская, Псковская, Ростовская, Свердловская, Смоленская, Томская, Челябинская, Ярославская области и другие.

Что нужно сделать прямо сейчас:

· Зайти на Госуслуги в раздел «Мои выборы».
· Убедиться, что учётная запись подтверждённая, а данные совпадают с реестром избирателей.
· Подать заявление на участие в ДЭГ.
· Успеть до 23:59 МСК сегодня, 14 сентября.

Как проголосовать:

· Даты: 18, 19, 20 сентября.
· Платформа: vybory.gov.ru.
· Время: с 08:00 18 сентября до 19:59 20 сентября (по местному времени вашего региона).
· Авторизуйтесь через Госуслуги, подтвердите личность кодом из СМС и получите электронный бюллетень.

Важно:

· Отключите VPN перед голосованием.
· Если заявление на ДЭГ не подадите — сможете проголосовать на участке по месту нахождения, но для этого нужно отдельное заявление через «Мобильный избиратель».
· Если передумаете голосовать онлайн, можно отозвать заявление до того же срока — и проголосовать на участке.

Если решите поучаствовать — будет здорово. 🙂

📢 ВАЖНО: Выборы в Госдуму — 2026!

Друзья, с 18 по 20 сентября 2026 года проходят выборы разных уровней. Голосовать в Москве могут как москвичи, так и избиратели из других регионов (при наличии заявления).

🗓 Даты: 18, 19, 20 сентября.

🗳 За кого можно проголосовать:
• Депутатов Госдумы (для москвичей и жителей других регионов с заявлением);
• Муниципальных депутатов района Щукино (для жителей района);
• Глав шести регионов (для подавших заявление жителей этих субъектов).

💻 Как голосовать москвичам:
Онлайн на портале mos.ru с 08:00 18 сентября до 19:59 20 сентября.
⚠️ Важно: нужна полная учетная запись на mos.ru. Если её нет — создайте заранее!

📍 Если вы не в Москве, но хотите проголосовать (ДЭГ):
Подайте заявление на Госуслугах.
📅 Срок подачи: с 3 августа по 14 сентября (до 23:59 МСК).

Москвичам с постоянной регистрацией заявление подавать НЕ нужно — они голосуют на mos.ru.

🎁 Бонус за участие:
Проголосуйте и получите призовые баллы программы «Миллион призов». Их можно обменять на скидки в магазинах, аптеках, ресторанах, билеты в музеи или пополнить «Тройку».
Не забудьте проверить свое устройство перед голосованием и отключить VPN! ✅

👏Поздравляем сотрудника ИСП РАН Андрея Перминова с получением диплома кандидата физико-математических наук!

23 апреля 2026 года Андрей защитил диссертационную работу «Доверенный байесовский классификатор для данных малой размерности на основе многослойного персептрона».

✔️Желаем Андрею дальнейших научных успехов, новых результатов и интересных исследовательских задач!

💬ИСП РАН в Telegram
💬ИСП РАН в МАКС

✔️Доверие к искусственному интеллекту обсудили на Форуме «Зарубежнефть 2026»

Руководитель Исследовательского центра доверенного искусственного интеллекта ИСП РАН Денис Турдаков выступил на Форуме «Зарубежнефть 2026» в рамках сессии «Искусственный интеллект: возможности и риски».

В докладе «Можно ли доверять ИИ?» Денис Турдаков рассказал о развитии подходов к доверенному искусственному интеллекту в России и работе Исследовательского центра доверенного ИИ ИСП РАН. Отдельное внимание он уделил проблемам современных больших языковых моделей: галлюцинациям, предвзятости, а также связанным с их применением угрозам информационной безопасности.

На площадке „Зарубежнефти“ обсудили практические возможности и риски применения искусственного интеллекта. Хорошим примером перехода от дискуссии к реальным решениям стала совместная разработка — инструмент интеллектуальной аналитики для ТЭК «Сонар», созданный на платформе Talisman,

— отметил Денис Турдаков.

В сессии также принял участие заместитель генерального директора по цифровой трансформации ООО «ЗН Цифра» Дмитрий Кырнаев с выступлением «Аналитика федерального уровня».

Для нас важно, чтобы технологии искусственного интеллекта не оставались экспериментами, а становились частью реальных производственных и управленческих процессов. «Сонар» — результат объединения отраслевой экспертизы «Зарубежнефти» и научно-технологических компетенций ИСП РАН,

— заявил он.

💬ИСП РАН в Telegram
💬ИСП РАН в МАКС

✈️Отечественная ОС реального времени JetOS используется в новых российских пассажирских самолётах

Операционная система реального времени JetOS («ДжетОС»), разработанная ГосНИИАС в кооперации с ИСП РАН им. В.П. Иванникова и ИПМ им. М.В. Келдыша РАН, используется на российских пассажирских самолётах МС-21-310 и SJ-100.

🔵JetOS предназначена для выполнения бортовых приложений на вычислителях гражданских воздушных судов. Система способна одновременно выполнять до 30 приложений с гарантированным временем отклика.

JetOS разрабатывается в соответствии с требованиями высшего уровня критичности «А» для гражданской авиации. Программный интерфейс системы реализован в соответствии со стандартом ARINC 653, предусматривающим строгое разделение ресурсов процессора и памяти между приложениями. Благодаря этому несколько независимых задач могут безопасно выполняться на одном бортовом компьютере: сбой одного приложения не должен влиять на работу остальных.

JetOS имеет микроядерную архитектуру и поддерживает процессорные архитектуры PowerPC, ARM32 и ARM64, что позволяет переносить систему на различные аппаратные платформы.

✔️Планируется, что JetOS станет основой для перспективных российских воздушных судов.

🔗Источник: ТЕХНОСФЕРА. РОССИЯ

💬ИСП РАН в Telegram
💬ИСП РАН в МАКС

🗣ИСП РАН представил доклад по статическому анализу конечных автоматов на ITC-Asia 2026

19–22 августа в Нинбо (Китай) прошла юбилейная десятая Международная конференция по тестированию в Азии — ITC-Asia 2026. Она объединила исследователей и инженеров в области проектирования, верификации, тестирования, надёжности и безопасности интегральных схем.

Среди докладчиков — представители ведущих компаний отрасли: Synopsys, Siemens EDA, Huawei (HiSilicon), Intel, ByteDance, а также университетов и научных организаций США, Японии и Китая.

✔️Старший лаборант ИСП РАН Андрей Вязовцев выступил с докладом «SVAN-FSM: Static Analysis of Finite State Machines in SystemVerilog» в секции Pre-Silicon Security Analysis. Работа выполнена в соавторстве с Яном Чуркиным, Арманом Егиазаряном, Рубеном Бучацким, Александром Камкиным и Артёмом Коцыняком.

В той же секции были представлены работы исследователей из Университета электронной науки и технологий Китая, Пекинского транспортного университета и Тяньцзиньского университета. Статья по докладу будет опубликована в цифровой библиотеке IEEE Xplore.

👨‍💻SVAN-FSM является частью SVAN — системы статического анализа описаний цифровой аппаратуры, разрабатываемой в ИСП РАН. Инструмент автоматически извлекает конечные автоматы из RTL-описаний на языке SystemVerilog и выявляет в них дефекты — например, недостижимые состояния и взаимоблокировки — без запуска симуляции. Обнаружение таких ошибок ещё на этапе проектирования RTL-модели, до синтеза и физической реализации микросхемы, существенно сокращает стоимость исправлений и ускоряет цикл разработки.

Конференцию открыл пленарный доклад Ерванда Зоряна — президента Synopsys Armenia, главного архитектора и научного сотрудника Synopsys, президента IEEE Test Technology Technical Council. Его выступление «Lifetime Health for Multi-Die Systems in the Era of AI» было посвящено тестированию и надёжности многокристальных систем. В 2014 году д-р Зорян был удостоен Национальной медали науки Республики Армения.

➡️ITC-Asia — азиатская конференция семейства International Test Conference, одного из ведущих мировых форумов в области тестирования электроники. Первая ITC-Asia состоялась в Тайбэе в 2017 году. В 2026 году конференция отметила десятилетие и прошла в Нинбо — одном из крупнейших портовых и индустриальных центров восточного Китая.

💬ИСП РАН в Telegram
💬ИСП РАН в МАКС