?
Формальная модель и задачи верификации программно-конфигурируемых сетей
Моделирование и анализ информационных систем. 2013. Т. 20. № 6. С. 33-48.
Захаров В. А., Смелянский Р. Л., Чемерицкий Е. В.
Программно-коммутируемые сети (ПКС) --- это класс компьютерных телекоммуникационных сетей, появившийся несколько лет назад в стремлении упростить проектирование и повысить гибкость управления сетями за счет разделения потоков данных (пакетов) и потоков управления (сообщений и команд), циркулирующие в сетях. ПКС представляет собой распределенную систему, в которой один или несколько контроллеров управляют множеством сетевых коммутаторов, обеспечивающих продвижение пакетов по каналам сети. Функциональные возможности и порядок взаимодействия коммутаторов и контроллеров ПКС определяются протоколом OpenFlow. На основе аппарата булевых функций и дискретных преобразователей нами предложена формальная модель ПКС, введен прототип формального языка спецификаций, поставлены задачи верификации моделей ПКС и получены оценки их сложности. Для одной из задач верификации моделей ПКС описан метод ее решения, на основе которого разработано программно-инструментальное средство верификации ПКС.
Научное направление:
Компьютерные науки
Приоритетные направления:
компьютерно-математическое
Язык:
русский
Smeliansky R. L., Chemeritsky E. V., Захаров В. А., Automatic Control and Computer Sciences 2014 Vol. 48 No. 7 P. 398-406
Добавлено: 30 сентября 2015 г.
Захаров В. А., Коннов И. В., Моделирование и анализ информационных систем 2010 Т. 17 № 4 С. 78-87
Наиболее значительную трудность для всех инструментальных средств верификации моделей программ
создает эффект комбинаторного взрыва. Один из способов сократить размер проверяемой модели $M$ ---
выбрать подходящую группу автоморфизмов $G$ размеченной системы переходов $M$ и построить фактор-модель $M/G$.
Состояниями фактор-модели $M/G$ служат орбиты состояний модели $M$ относительно группы $G$; также известно,
что модели $M/G$ и $M$ находятся ...
Добавлено: 30 сентября 2015 г.
Рассматривается предложенная формальная модель системы мониторинга транспортного потока и алгоритмы работы системы. ...
Добавлено: 21 октября 2015 г.
Захаров В. А., Чемерицкий Е. В., Моделирование и анализ информационных систем 2014 Т. 21 № 6 С. 57-69
Разработка алгоритмов реконфигурирования сетей является важным направлением развития программного обеспечения для телекоммуникационных сетей нового поколения --- программно конфигурируемых сетей. Частный случай проблемы реконфигурирования сетей --- это задача плавного восстановления заданной сетевой конфигурации, после того как некоторые правила коммутации пакетов были удалены из таблиц коммутаторов (например, по истечении срока их активности). В данной статье проведено исследование ...
Добавлено: 30 сентября 2015 г.
Захаров В. А., Чемерицкий Е. В., Automatic Control and Computer Sciences 2015 Vol. 49 No. 7
Designing of network update algorithms is an important line of research in the development of software for new generation of telecommunication networks – Software Defined Networks. A specific case of Network Update Problem is that of seamless recovering of network configurations after the loss of some forwarding rules as it may happens e.g. due ...
Добавлено: 13 октября 2015 г.
Салибекян С. М., Панфилов П. Б., Информационные технологии и вычислительные системы 2015 № 1 С. 3-9
В статье приводится формализация dataflow вычислительного процесса (т.е. вычислительного процесса с управлением потоком данных). Основой для формальной модели послужи: теория конечных автоматов, процессная сеть Кана и объектно-атрибутная архитектура вычислительной систельной системы. Формальная модель описывает параллельную вычислительную систему как с общей или распределенной памятью. Модель также позволяет описывать процесс синтеза и обработки сложноструктурированных данных. Изначально модель ...
Добавлено: 4 марта 2015 г.
И. В. Ефименко, Форсайт 2013
В работе обсуждаются вопросы создания формальной модели предметной области дорожного картирования на основе анализа лучших практик в данной области. Предполагается, что создание такой модели позволит обобщить опыт построения дорожных карт и обеспечит основу для разработки средств автоматизации формирования и использования дорожных карт. ...
Добавлено: 12 августа 2013 г.
Chernyshev S. V., Cherepanov E. A., Pankratiev E. V. и др., Journal of Mathematical Sciences 2005 Vol. 128 No. 6 P. 3487-3495
Добавлено: 27 января 2014 г.
Skoptsov K. A., Sheshenin S., Галатенко В. В. и др., International Journal of Applied Mechanics 2016 Vol. 8 No. 2 P. 1650016-01-1650016-18
We present a method for evaluating elastic properties of a composite material produced by molding a resin filled with short elastic fibers. A flow of the filled resin is simulated numerically using a mesh-free method. After that, assuming that spatial distribution and orientation of fibers are not significantly changed during polymerization, effective elastic moduli of ...
Добавлено: 22 мая 2016 г.
Малышев Д. С., Discrete Mathematics 2015 Vol. 338 No. 11 P. 1860-1865
We completely determine the complexity status of the 3-colorability problem for hereditary graph classes defined by two forbidden induced subgraphs with at most five vertices. © 2015 Elsevier B.V. All rights reserved. ...
Добавлено: 7 апреля 2014 г.
Сотникова С. Ю., Динамика сложных систем 2012 № 3 С. 84-87
В статье описывается разработанный программный комплекс моделирования физических процессов, который также позволяет проводить идентификацию параметров печатного узла (физической модели), на котором реализуется проектируемый бортовой источник вторичного электропитания. Для него разработаны интерфейсы связи управляющей программы с известными программами моделирования и оптимизации. ...
Добавлено: 5 декабря 2014 г.
Chuprikov P., Николенко С. И., Davydow A. и др., IEEE Transactions on Networking 2018 Vol. 26 No. 1 P. 342-355
Добавлено: 14 марта 2018 г.
Карпов В. Э., Карпова И. П., Procedia Engineering 2015 Vol. 100 P. 1459-1468
Добавлено: 14 марта 2015 г.
М. : Издательский центр «Российский государственный гуманитарный университет», 2019
Сборник включает 27 докладов международной конференции по компьютерной лингвистике и интеллектуальным технологиям «Диалог 2019», не вошедшие в ежегодник «Компьютерная лингвистика и интеллектуальные технологии», но рекомендованные Программным Комитетом к представлению на конференции. Для специалистов в области теоретической и прикладной лингвистики и интеллектуальных технологий. ...
Добавлено: 10 декабря 2019 г.
Springer, 2012
Добавлено: 29 января 2013 г.
Беклемишев Л. Д., Оноприенко А. А., Математический сборник 2015 Т. 206 № 9 С. 3-20
Формулируются системы преобразований термов, число шагов работы которых на произвольном входе конечно, но не ограничивается никакой вычислимой функцией, доказуемо тотальной в арифметике Пеано PА. Тем самым, утверждение о сходимости таких систем не доказуемо в PA. Эти системы получаются из независимого комбинаторного утверждения, известного как принцип червя; их также можно рассматривать как вариант хорошо известной игры Геракла и гидры, ...
Добавлено: 13 марта 2016 г.
Bliznets Ivan, Cygan M., Komosa P. и др., ACM Transactions on Computation Theory 2018 Vol. 10 No. 2 P. 1-32
Добавлено: 30 октября 2018 г.
Добавлено: 15 декабря 2015 г.
Шуранов Е. В., / Cornell University. Series Computer Science "arxiv.org". 2021.
Добавлено: 14 февраля 2023 г.
Гостев И. М., М. : Юрайт, 2016
В настоящее время компьютерные науки стремительно развиваются. Новые версии операционных систем появляются каждые полтора-два года, поэтому было принято решение о включении в данную книгу такого материала, который не будет устаревать. Содержание учебника представляет собой некоторые наиболее общие принципы построения операционных систем, которые были разработаны более 50 лет назад и практически не изменились за прошедшее время. ...
Добавлено: 13 октября 2009 г.
Borchmann D., Hanika T., Объедков С. А., Discrete Applied Mathematics 2020 Vol. 273 P. 30-42
Добавлено: 29 октября 2019 г.
Каз. : Издательство «Фэн» Академии наук Республики Татарстан, 2013
Материалы и доклады Шестой Всероссийской научно-практической конференции по имитацонному моделированию и его применению в науке и промышленности. ...
Добавлено: 14 декабря 2013 г.
В статье представлена технология, позволяющая собирать в полевых исследованиях пространственно локализованные данные об объектах городской среды. Технология основана на автоматической привязке фотографий к пространственным координатам. Приведен план полевых и камеральных мероприятий, предложены варианты ГИС-обработки собираемых таким образом данных. В качестве примера приведены данные об использовании белорусского языка в общественном пространстве городов Белоруссии. ...
Добавлено: 12 апреля 2015 г.