Поиск


Сортировать по:     
 
Выпуск Название
 
Том 20, № 6 (2013) Формальная модель и задачи верификации программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий
"... Software-defined networking (SDN) is an approach to building computer networks that separate ..."
 
Том 22, № 6 (2015) Модель безопасности информационных потоков для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов
"... Software-defined networks (SDN) are a novel paradigm of networking which became an enabler ..."
 
Том 20, № 4 (2013) Программно-конфигурируемые сети как этап эволюции сетевых технологий Аннотация  PDF (Rus)  похожие документы
Артем Александрович Красотин, Игорь Вадимович Алексеев
"... Рассматривается понятие программно-конфигурируемой сети. Вначале даётся короткая историческая ..."
 
Том 22, № 6 (2015) Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight Аннотация  PDF (Rus)  похожие документы
А. А. Носков, М. А. Никитинский, И. В. Алексеев
"... to a paradigm shift towards software-defined networking (SDN), where network management level is separated from ..."
 
Том 21, № 6 (2014) О некоторых задачах реконфигурирования программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий
"... The designing of network update algorithms is urgent for the development of SDN control software ..."
 
Том 25, № 3 (2018) Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight Аннотация  похожие документы
Сергей Владимирович Моржов, Михаил Александрович Никитинский
"... for the Floodlight software defined network (SDN) controller. This application filters rules, which are added ..."
 
Том 25, № 2 (2018) Организация мультиконтроллерного взаимодействия в программно-конфигурируемых сетях Аннотация  похожие документы
Сергей Владимирович Моржов, Игорь Вадимович Алексеев, Михаил Александрович Никитинский
"... Software Defined Networking (SDN) is a promising paradigm for network management ..."
 
Том 19, № 6 (2012) Наследcтвенные свойства модульных сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... (например, планарность). Модульные сети активных ресурсов — формализм, эквивалентный по выразительной ..."
 
Том 19, № 5 (2012) Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools Аннотация  PDF (Rus)  похожие документы
Леонид Владимирович Дворянский, Ирина Александровна Ломазова
"... Вложенные сети Петри (NP-сети) — это расширение сетей Петри в рамках подхода “nets-within-nets ..."
 
Том 19, № 6 (2012) Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Зайцев
"... Представлена методика верификации вычислительных решеток с помощью нахождения инвариантов ..."
 
Том 24, № 4 (2017) О пространственной ограниченности клеточных Р-сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... Клеточные Р-сети — обобщение концепции двухуровневых ресурсных сетей (сетей Петри) на случай ..."
 
Том 20, № 4 (2013) О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин, Ирина Александровна Ломазова
"... Рассматривается моделирование схем потоков работ (workflow) при помощи сетей Петри. Определяется ..."
 
Том 25, № 2 (2018) О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов Аннотация  PDF (Rus)  похожие документы
Алевтина Борисовна Глонина, Василий Викторович Балашов
"... метод построения на её основе модели для конкретной конфигурации. Модель представляет собой сеть ..."
 
Том 21, № 6 (2014) Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий
"... анализа и верификации диаграмм MSC и HMSC. Метод основывается на трансляции конструкций (H)MSC в ..."
 
Том 23, № 6 (2016) Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM Аннотация  PDF (Rus)  похожие документы
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко
"... верификация UCM моделей проводится с помощью раскрашенных сетей Петри (РСП) и верификатора SPIN. Приводятся ..."
 
Том 18, № 4 (2011) Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий
"... телефонные сети. Цель работы - представить программный комплекс Automata Systems Verifier (ASV ..."
 
Том 20, № 2 (2013) Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... сеть (недетерминированный конечный автомат с одним счетчиком без проверки на ноль), содержащая по ..."
 
Том 19, № 6 (2012) Дедуктивная верификация протокола скользящего окна Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий
"... кадров. На языке системы верификации PVS описаны спецификация этого протокола с помощью машины состояний ..."
 
Том 19, № 6 (2012) Как разработать простое средство верификации систем реального времени Аннотация  PDF (Rus)  похожие документы
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов
"... Исследуется задача верификации систем реального времени (СРВ). Для описания СРВ удобно ..."
 
Том 22, № 4 (2015) Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
А. Н. Носков, И. А. Манов
"... , опираясь на текущие требования к качеству предоставления сервисов. Программное конфигурирование сети – это ..."
 
Том 21, № 6 (2014) Управляемые тупики в параллельных ресурсно-ограниченных потоках работ Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин, Надежда Юрьевна Панфилова
"... Работа посвящена проблеме проверки правильной организованности (бездефектности) сетей потоков ..."
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина, Е. А. Сидорова
"... задают сети параллельных композиций этих процессов. Данный метод верификации основан на техниках ..."
 
Том 22, № 4 (2015) Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов Аннотация  PDF (Rus)  похожие документы
В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин
"... В данной статье рассмотрены принципы организации беспроводных mesh-сетей  программно ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... средств верификации поведенческих свойств параллельных (распределенных) систем. В статье представлен опыт ..."
 
Том 23, № 6 (2016) О минимизации конечных автоматов-преобразователей над полугруппами Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Г. Г. Темербекова
"... оперативном режиме, сетевых коммутаторов. Во многих случаях проблема верификации программ такого рода может ..."
 
Том 19, № 6 (2012) Дедуктивная верификация телекоммуникационных систем, представленных на языке Си Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... Предложен дедуктивный подход к верификации телекоммуникационных систем, представленных на языке C ..."
 
Том 21, № 6 (2014) Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова
"... В статье представлен подход к формальной верификации алгоритмов мультиагентного анализа данных для ..."
 
Том 19, № 4 (2012) Обобщенные асинхронные системы Аннотация  PDF (Rus)  похожие документы
Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов
"... асинхронная система. В ней введены дистрибутивные асинхронные автоматы. Доказано, что сети Петри и системы ..."
 
Том 14, № 4 (2007) Верификация синхронно-автоматных программ Аннотация  PDF (Rus)  похожие документы
С. В. Кубасов
"... Предлагается синхронная модель автоматной программы. Разработана методика верификации синхронно ..."
 
Том 20, № 3 (2013) Самоорганизация, сети, будущее Аннотация  PDF (Rus)  похожие документы
Георгий Геннадьевич Малинецкий, Татьяна Сергеевна Ахромеева, Сергей Александрович Посашков, Светлана Аркадьевна Торопыгина
"... . Обсуждалось использование сетей в контексте национальной обороны, экономики, управления массовым сознанием ..."
 
Том 14, № 4 (2007) Сети активных ресурсов Аннотация  PDF (Rus)  похожие документы
В. А. Башкин
"... Вводится формализм моделей распределенных систем, названный сетями активных ресурсов. Формализм ..."
 
Том 20, № 5 (2013) Замкнутые локально минимальные сети на поверхностях выпуклых многогранников Аннотация  PDF (Rus)  похожие документы
Наталия Павловна Стрелкова
"... Замкнутые локально минимальные сети — это «разветвлённый» аналог замкнутых несамопересекающихся ..."
 
Том 21, № 3 (2014) Об устойчивости состояния равновесия одной модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Викторович Богомолов
"... Рассматривается одна математическая модель нейронной сети на основе трёх нейронов-сумматоров Мак ..."
 
Том 23, № 6 (2016) Генерация графа социальной сети с использованием Apache Spark Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов, С. И. Вовчок
"... Планируется создать метод кластеризации графа социальной сети. Для тестирования будущего метода ..."
 
Том 25, № 6 (2018) Онтология процессов, ориентированная на верификацию Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова
"... Хоара. Она является частью интеллектуальной системы поддержки верификации свойств поведения таких ..."
 
Том 20, № 2 (2013) Группы гомологий сети Петри конвейера Аннотация  PDF (Rus)  похожие документы
Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина
"... Сеть Петри называется элементарной, если каждое ее место может содержать не более одной фишки. В ..."
 
Том 23, № 5 (2016) Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов Аннотация  PDF (Rus)  похожие документы
Е. В. Коновалов
"... Статья посвящена анализу сетей, состоящих из обобщенных нейронных элементов. В первой части статьи ..."
 
Том 22, № 4 (2015) Задача о наибольшем кратном потоке в делимой сети и ее частные случаи Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
"... В статье рассматривается задача о наибольшем кратном потоке в сети произвольной натуральной ..."
 
Том 24, № 6 (2017) Семантические средства обеспечения безопасности в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый
"... Программно-конфигурируемые сети являются многообещающей технологией построения коммуникационных ..."
 
Том 19, № 2 (2012) О верификации LD-программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... . Рассматривается пример моделирования и верификации ѕдискретныхї LD-программ с таймером с помощью программного ..."
 
Том 19, № 4 (2012) О построении и верификации программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... корректности методом проверки модели относительно средства автоматической верификации Cadence SMV. Выявляются ..."
 
Том 21, № 6 (2014) Разработка самоприменимой системы верификации. Теория и практика Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
"... По сравнению с традиционным тестированием дедуктивная верификация предлагает более формальный ..."
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация  PDF (Rus)  похожие документы
М. С. Ушакова, А. И. Легалов
"... доказывается с помощью методов формальной верификации. Дедуктивный анализ на основе исчисления Хоара применим ..."
 
Том 17, № 4 (2010) О сложности верификации недетерминированных вероятностных мультиагентных систем Аннотация  PDF (Rus)  похожие документы
М. К. Валиев, М. И. Дехтярь
"... верификации динамических свойств конечных Марковских процессов на вероятностные мультиагентные системы ..."
 
Том 17, № 4 (2010) Верификация C-программ в мультиязыковой системе СПЕКТР Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
"... Представлена расширяемая мультиязыковая система анализа и верификации СПЕКТР, разрабатываемая в ..."
 
Том 14, № 1 (2007) Верификация автоматных программ с использованием LTL Аннотация  PDF (Rus)  похожие документы
К. А. Васильева, Е. В. Кузьмин
"... Рассматривается один из способов моделирования, спецификации и верификации программ, построенных на ..."
 
Том 19, № 2 (2012) Потоки в обобщенных сетях со связанными дугами Аннотация  PDF (Rus)  похожие документы
Владимир Александрович Скороходов
"... Приведены основные формулировки и определения для обобщенных сетей со связанными дугами. Показано ..."
 
Том 13, № 1 (2006) Свойства бисимуляции разметок в ограниченных сетях Петри Аннотация  PDF (Rus)  похожие документы
В. А. Башкин
"... Рассматривается проблема поиска бисимулярных разметок в ограниченных сетях Петри. Вводятся и ..."
 
Том 17, № 1 (2010) Визуализация динамических графов для анализа сложных сетей Аннотация  PDF (Rus)  похожие документы
С. Н. Пупырев, А. В. Тихонов
"... Предложен метод визуализации динамических графов, позволяющий анализировать сложные сети. Наш метод ..."
 
Том 18, № 4 (2011) Построение приближений бисимуляции в односчетчиковых сетях Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... Односчетчиковые сети представляют собой конечные автоматы с дополнительным целочисленным ..."
 
Том 19, № 4 (2012) Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования Аннотация  PDF (Rus)  похожие документы
Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин
"... . Метод основан на преобразовании исходной модели в сеть Петри, расчёте инвариантов и дальнейшем обратном ..."
 
Том 20, № 4 (2013) Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах Аннотация  PDF (Rus)  похожие документы
Виталий Игоревич Петров, Мария Сергеевна Комар, Евгений Андреевич Кучерявый
"... , беспроводные сети, безопасность информационных систем Предлагается новый подход к множественной аутентификации ..."
 
Том 17, № 4 (2010) Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени Аннотация  PDF (Rus)  похожие документы
И. В. Коннов, В. А. Захаров
 
Том 19, № 6 (2012) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
"... международного семинара «Семантика, спецификация и верификация программ: теория и приложения» (Third Workshop on ..."
 
Том 19, № 1 (2012) Задача адаптации обобщенного нейронного элемента Аннотация  PDF (Rus)  похожие документы
Евгений Владиславович Коновалов
"... .ru получена 23 мая 2011 Ключевые слова: нейронные сети, модели нейронных элементов, обобщенный нейронный ..."
 
Том 23, № 4 (2016) Сетевая модель для задачи целочисленного сбалансирования четырехмерной матрицы Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
"... в сети произвольной натуральной кратности к. Определяется три типа дуг в сети: обычная дуга, кратная ..."
 
Том 22, № 4 (2015) Метод генерации примеров моделей программ в терминах сетей Петри Аннотация  PDF (Rus)  похожие документы
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев
"... В данной работе рассматривается с формальной точки зрения метод построения сетей Петри ..."
 
Том 18, № 2 (2011) Об одном представлении функции в модели императивной программы, заданной сетями Петри Аннотация  PDF (Rus)  похожие документы
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков
"... Рассматривается подход к построению в терминах сетей Петри модели функции как элемента модели ..."
 
Том 19, № 2 (2012) Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL Аннотация  PDF (Rus)  похожие документы
Павел Валерьевич Лебедев
"... Описывается полиномиальный алгоритм верификации цепей Маркова, динамические свойства которых ..."
 
Том 19, № 5 (2012) Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Кропачева, Александр Иванович Легалов
"... .51+514.17 Формальная верификация программ, написанных на функционально-потоковом языке ..."
 
Том 20, № 6 (2013) Автоматическая верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев
"... облегчают процесс верификации С-программ. Смешанная аксиоматическая семантика предлагает выбор между ..."
 
Том 20, № 6 (2013) Построение и верификация LD-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... Предлагается подход к построению и верификации LD-программ логических контроллеров (ПЛК) для ..."
 
Том 20, № 4 (2013) Построение и верификация ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... Предлагается подход к построению и верификации программ логических контроллеров (ПЛК) для ..."
 
Том 24, № 6 (2017) Элиминация инвариантов финитных итераций над массивами при верификации Си программ Аннотация  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев
"... Данная работа представляет дальнейшее развитие метода верификации финитной итерации [7]. Он ..."
 
Том 25, № 4 (2018) Верификация программ со взаимной рекурсией на языке Пифагор Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Ушакова, Александр Иванович Легалов
"... В работе рассматривается верификация программ со взаимной рекурсией для языка функционально ..."
 
Том 25, № 5 (2018) О методах верификации и разработки программ развития сельскохозяйственных территорий Аннотация  PDF (Rus)  похожие документы
Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов
"... назначения. Поэтому актуальными задачами являются верификация уже созданных программ развития и разработка ..."
 
Том 25, № 6 (2018) Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский
"... Цель проекта “Платформенно-независимый подход к формальной спецификации и верификации стандартных ..."
 
1 - 75 из 218 результатов 1 2 3 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)