?
Верификация программно-конфигурируемых сетей при помощи системы UPPAAL
Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2014. № 2 (193). С. 169–179.
Подымов В. В., Попеско У. В.
В последние несколько лет активное развитие получили программно-конфигурируемые сети (ПКС) – особый вид компьютерных сетей, в которых все коммутирующие устройства имеют централизованное управление. В статье изучены задачи формального описания и верификации ПКС. Для описания ПКС использована библиотека элементов UML в редакторе диаграмм Dia. Для верификации ПКС использовано программно-инструментальное средство UPPAAL. Основной результат исследований – разработка транслятора, позволяющего по диаграмме сети получить ее модель для верификации в виде сети конечных временных автоматов. Корректность трансляции строго обоснована. Проведен ряд экспериментов, показывающих применимость предложенного метода верификации для проверки свойств поведения ПКС, специфицированных посредством формул темпоральной логики реального времени.
Язык:
русский
Уилкокс П., Романов А. Ю., М.: ДМК Пресс, 2025.
Книга, которую вы держите в руках, продолжает серию «Книжная полка истового
инженера», которая издается при поддержке компании YADRO.
Данная книга представляет собой учебник по теоретическим основам продвинутой
функциональной верификации и содержит лучшие практики, используемые в настоящее
время. В ней подробно описана унифицированная методология верификации
(UVM) и раскрыты такие темы, как функциональный виртуальный прототип, функциональное
покрытие, утверждения, формальная верификация, тестбенчи, косимуляция,
эмуляция, аппаратное ...
Добавлено: 30 июля 2026 г.
Болбачан В. С., / Series math "arxiv.org". 2024.
Полилогарифмы Чжоу — это специальные функции, возникающие при явном описании отображения регулятора Бейлинсона. Наиболее интересное функциональное уравнение для этой функции отражает тот факт, что она обращается в нуль на границе в комплексе циклов Блоха. Мы показываем, что это функциональное уравнение формально вытекает из более простых свойств: кососимметричности, функториальности и мультипликативности. Для доказательства этого мы рассматриваем ...
Добавлено: 16 июля 2026 г.
Болбачан В. С., / Series math "arxiv.org". 2024.
Пусть K поле характеристики ноль. Мы доказываем что его когомологии в степени m-1 и весе m рационально изоморфны когомологиям полилогарифмического комплекса в соответствующей степени. Это дает частичное расширение теоремы Суслина, описывающую неразложимую K теорию K_3 для поля. ...
Добавлено: 16 июля 2026 г.
Панов В. А., Рябченко А. П., / Series arXiv "stat.ME". 2026. No. 2607.05048.
Добавлено: 9 июля 2026 г.
Добавлено: 11 июня 2026 г.
Добавлено: 19 мая 2026 г.
Добавлено: 28 апреля 2026 г.
СПб.: АО "ЦТСС", 2025.
В научном издании представлены труды Двенадцатой всероссийской научно-практической конференции по имитационному моделированию и его применению в науке и промышленности «Имитационное моделирование. Теория и практика» (ИММОД-2025) по следующим направлениям: - теоретические основы и методология имитационного и комплексного моделирования; - методы исследования и оценки качества моделей, валидация и верификации моделей; - методы и системы распределенного моделирования; - ...
Добавлено: 17 апреля 2026 г.
Гордин В. А., Smirnov M. A., Russian Meteorology and Hydrology 2025 No. 50 P. 1016–1028
Для интерполяции комплексного прогноза геопотенциала и температуры в точки регулярной сетки проводилась статистическая оценка трехмерных авто- и кросс-кореляционных функций для инкрементов от первого приближения. В качестве первого приближения использованы поля прогноза по модели ICON. ...
Добавлено: 17 февраля 2026 г.
Степанянц В. Г., , in: 2025 International Russian Automation Conference (RusAutoCon).: IEEE, 2025. P. 982–986.
Добавлено: 3 октября 2025 г.
Зыков С. В., Маличенко С. В., Защита информации. Инсайд 2025 Т. 121 № 1 С. 1–7
В статье анонсируется аналогия использования моделей транспортного равновесия в задачах распределения потоков компьютерной сети. Цель исследования состоит в проверке возможности задействования транспортных моделей и алгоритмов для оптимизации маршрутизации в программно-конфигурируемой сети (ПКС) и построении на основе указанных моделей метода оптимального распределения потоков. Для достижения поставленной цели использовались методы целочисленной оптимизации и компьютерного моделирования. Практический результат исследования подтвердил ...
Добавлено: 18 декабря 2024 г.
Poplavsky E., Кузнецова А. М., Troitskaya Y., Journal of Marine Science and Engineering 2023 Vol. 11 No. 6 Article 1239
В данной работе представлен анализ нового метода восстановления параметров пограничного слоя атмосферы в ураганах. Данный метод основан на аппроксимации верхней параболической части профиля скорости ветра и восстановлении нижней логарифмической части. На основе логарифмической части получены скорость трения, скорость приземного ветра и коэффициент аэродинамического сопротивления. Полученные данные используются для верификации данных моделирования в модели WRF-ARW. Изучен ...
Добавлено: 10 декабря 2024 г.
Бурдонов И. Б., Евтушенко Н. В., Косачев А. С., Труды Института системного программирования РАН 2024 Т. 36 № 1 С. 23–34
Описывается исследование возможности реализации виртуальных сетей с учётом различных параметров и их корректировки в программно-конфигурируемых структурах, моделируемых взвешенным графом плоскости данных. В работе исследуются параметры двух типов: «ресурс» и «стоимость». Для параметра типа «ресурс» с ребром ассоциируется его «ёмкость», и число путей, проходящих через ребро, не должно превышать ёмкость ребра. Для параметра типа «стоимость» с ...
Добавлено: 27 октября 2024 г.
Акельев Е. В., ВИВЛIОθИКА: E-Journal of Eighteenth-Century Russian Studies 2023 Т. 11 С. 241–270
Как практикующие историки приходят к тем или иным убеждениям? Как отличить «гипотетическое» от «доказанного»? Почему в определенный момент те или иные интерпретации находят всеобщую поддержку в научном сообществе, а другие нет? И как в дальнейшем общепризнанные интерпретации могут быть опровергнуты? Эти вопросы находятся в центре внимания этой статьи, но рассматриваются не отвлеченно, на уровне теории, ...
Добавлено: 23 ноября 2023 г.
Сафонова И.Е., Холодов А. Н., Желенков Б. В. и др., Телекоммуникации 2020 № 5 С. 41–48
Приводится описание принципов построения технологий SDN и NFV, их вариантов применения в корпоративных телекоммуникационных сетях. Представлен расчет экономической эффективности сети, построенной на основе SDN. Показано, что использование сетевых сервисов SDN позволяет сократить расходы на обслуживание сети, увеличить утилизацию сети и предоставляет независимость от производителей оборудования. ...
Добавлено: 25 октября 2022 г.
Федотов И. А., Хританков А. С., Обидаре М. Д., Программная инженерия 2022 № 4 С. 200–208
Многосторонние соглашения используются в системах распределенного реестра и блокчейн-сетях для согласования изменений в системе. Если один из участников сети предлагает транзакцию на запись, то сначала ее должны подтвердить определенные участники сети. Многостороннее соглашение, или консенсус, определяет состав этих участников. На основе предыдущих ответов можно посчитать вероятность подтверждения транзакции для каждого из участников. В настоящей работе ...
Добавлено: 20 сентября 2022 г.
Кухаренко В. А., Зиборов К. В., Садыков Р. Ф. и др., Моделирование и анализ информационных систем 2020 Т. 27 № 4 С. 454–471
Степень применения методов формальной верификации в индустриальных проектах всегда была ограничена. Распространение систем распределенного реестра (СРР), известных также как блокчейн, быстро меняет ситуацию. Поскольку основной областью применения СРР является автоматизация финансовых транзакций, свойства предсказуемости и надежности являются критическими при реализации таких систем. Реальное поведение СРР определяется выбранным протоколом консенсуса, свойства которого нуждаются в строгой спецификации ...
Добавлено: 31 мая 2021 г.