Сортировать по:
| Выпуск | Название | |
| Том 26, № 1 (2019) | Распределенная отказоустойчивая платформа управления для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Василий Николаевич Пашков | ||
| "... коммутаторами между контроллерами платформы управления, выбора резервных контроллеров для каждого коммутатора ..." | ||
| Том 20, № 6 (2013) | Формальная модель и задачи верификации программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий | ||
| "... . Функциональные возможности и порядок взаимодействия коммутаторов и контроллеров ПКС определяются протоколом ..." | ||
| Том 27, № 4 (2020) | Темпоральная логика для программируемых логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Владимир Евгеньевич Зюбин, Сергей Михайлович Старолетов, Татьяна Викторовна Лях, Андрей Сергеевич Розов, Сергей Петрович Горлач | ||
| "... управляющего программного обеспечения составляют программы для программируемых логических контроллеров (ПЛК ..." | ||
| Том 21, № 6 (2014) | О некоторых задачах реконфигурирования программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий | ||
| "... того как некоторые правила коммутации пакетов были удалены из таблиц коммутаторов (например ..." | ||
| Том 20, № 4 (2013) | Программно-конфигурируемые сети как этап эволюции сетевых технологий | Аннотация PDF (Rus) похожие документы |
| Артем Александрович Красотин, Игорь Вадимович Алексеев | ||
| "... рассмотрены существующие библиотеки для программной реализации управления программно-конфигурируемой сетью ..." | ||
| Том 26, № 4 (2019) | Анализ безопасности контроллеров продольного движения во время набора высоты | Аннотация похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... мы представляем исполняемую модель, написанную на Matlab/Simulink® для системы управления пассажирским самолетом ..." | ||
| Том 25, № 2 (2018) | Организация мультиконтроллерного взаимодействия в программно-конфигурируемых сетях | Аннотация похожие документы |
| Сергей Владимирович Моржов, Игорь Вадимович Алексеев, Михаил Александрович Никитинский | ||
| "... Программно-конфигурируемая сеть (ПКС) – это перспективная парадигма управления сетью, в которой для ..." | ||
| Том 22, № 6 (2015) | Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight | Аннотация PDF (Rus) похожие документы |
| А. А. Носков, М. А. Никитинский, И. В. Алексеев | ||
| "... привело к появлению парадигмы программно-конфигурируемой сети (ПКС), в которой уровень управления сетью ..." | ||
| Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... построения программы управления кодовым замком. Для этих подходов оценивается удобство анализа программной ..." | ||
| Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
| "... «дискретных» программ логических контроллеров (ПЛК), обеспечивающего возможность анализа их корректности ..." | ||
| Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... управляющего программного обеспечения для программируемых логических контроллеров. Язык был успешно использован ..." | ||
| Том 26, № 1 (2019) | «Общие критерии» и безопасность программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Андрей Николаевич Петухов, Павел Львович Пилюгин | ||
| "... и информатики при разработке профиля защиты. Новый класс сетевых атак на коммутаторы и контроллеры SDN может ..." | ||
| Том 28, № 4 (2021) | Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX | Аннотация PDF (Rus) похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... областей применения KeYmaeraX являются системы управления с замкнутым контуром. Система управления ..." | ||
| Том 30, № 4 (2023) | Моделирование влияния внешних воздействий на процесс автоматизированной посадки БпЛА-квадрокоптера на подвижную платформу с использованием технического зрения | Аннотация PDF (Rus) похожие документы |
| Артём Валерьевич Рябинов, Антон Игоревич Савельев, Дмитрий Андреевич Аникин | ||
| "... (БпЛА) на движущуюся платформу с использованием компьютерного зрения и разработанной ранее системы ..." | ||
| Том 21, № 4 (2014) | Применение стохастических метаэвристик в задаче управления данными в мультиклиентском кластере баз данных | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Бойцов | ||
| "... входа, объединенных в одно целое и работающих под управлением контроллера кластера. Данная система ..." | ||
| Том 31, № 3 (2024) | LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... программируемых логических контроллеров. При верификации декларативной LTL-спецификации поведения программ может ..." | ||
| Том 26, № 1 (2019) | Алгоритм минимизации количества правил маршрутизации в ПКС | Аннотация PDF (Rus) похожие документы |
| Иван Сергеевич Петров | ||
| "... Архитектура ПКС (программно-конфигурируемые сети) предоставляет новые возможности по управлению ..." | ||
| Том 26, № 1 (2019) | Построение бортовых сетей реального времени на основе технологии ПКС | Аннотация PDF (Rus) похожие документы |
| Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова | ||
| "... в виртуальной сетевой среде, основанной на программных ПКС-коммутаторах Ofsoftswitch13 и сетевом контроллере ..." | ||
| Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
| "... контроллеры, сетевые коммутаторы, интерпретаторы программ, системные драйверы. Поведение некоторых реагирующих ..." | ||
| Том 26, № 1 (2019) | Эффективный алгоритм разрешения коллизий в правилах политики безопасности | Аннотация PDF (Rus) похожие документы |
| Сeргей Владимирович Моржов, Валерий Анатольевич Соколов | ||
| "... Межсетевой экран является основным классическим инструментом для контроля и управления сетевым ..." | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... (программируемых логических контроллеров) для написания программного обеспечения с поддержкой Индустрии 4.0. Язык ..." | ||
| 1 - 21 из 21 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
