?
On Network Update Problems for Software Defined Networks
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 to expiry of their time-outs. This paper initiates a systematic study of this problem in the framework of a formal model of Software Defined Networks. As the result we present two algorithms for safe and correct insertion of lost forwarding rules in SDN flow-tables and show that in general case seamless recovering of network configurations can not be achieved without using forwarding rules with multiple priorities.
Научное направление:
Компьютерные науки
Приоритетные направления:
компьютерно-математическое
Язык:
английский
Smeliansky R. L., Chemeritsky E. V., Захаров В. А., Automatic Control and Computer Sciences 2014 Vol. 48 No. 7 P. 398-406
Добавлено: 30 сентября 2015 г.
Захаров В. А., Чемерицкий Е. В., , in : Proceedings of 2014 International Science and Technology Conference "Modern Networking Technologies (MoNeTec): SDN&NFV Next Generation of Computational Infrastructure", Moscow, Russia, October 27-29, 2014. : M. : Max press, 2014. P. 47-52.
Добавлено: 13 октября 2015 г.
Захаров В. А., Чемерицкий Е. В., Моделирование и анализ информационных систем 2014 Т. 21 № 6 С. 57-69
Разработка алгоритмов реконфигурирования сетей является важным направлением развития программного обеспечения для телекоммуникационных сетей нового поколения --- программно конфигурируемых сетей. Частный случай проблемы реконфигурирования сетей --- это задача плавного восстановления заданной сетевой конфигурации, после того как некоторые правила коммутации пакетов были удалены из таблиц коммутаторов (например, по истечении срока их активности). В данной статье проведено исследование ...
Добавлено: 30 сентября 2015 г.
Сидоренко В. Г., Петров А. С., Информатизация образования и науки 2018 № 2(38) С. 51-61
Планирование логистических процессов (построение планового графика) может рассматриваться как задача направленного перебора, решаемая с учетом накладываемых на функционирование логистической системы ограничений. Ее решение требует значительных временных затрат. Для того, чтобы ускорить получение результатов рассмотрения различных вариантов планового графика, предлагается использовать параллельные вычисления. Применение параллельных вычислений накладывает ограничения на архитектуру приложения и распределение ресурсов. Это предполагает ...
Добавлено: 26 июня 2018 г.
Захаров В. А., Смелянский Р. Л., Чемерицкий Е. В., Моделирование и анализ информационных систем 2013 Т. 20 № 6 С. 33-48
Программно-коммутируемые сети (ПКС) --- это класс компьютерных телекоммуникационных сетей, появившийся несколько лет назад в стремлении упростить проектирование и повысить гибкость управления сетями за счет разделения потоков данных (пакетов) и потоков управления (сообщений и команд), циркулирующие в сетях. ПКС представляет собой распределенную систему, в которой один или несколько контроллеров управляют множеством сетевых коммутаторов, обеспечивающих продвижение пакетов ...
Добавлено: 30 сентября 2015 г.
Захаров В. А., Коннов И. В., Journal of symbolic computation 2010 Vol. 45 No. 11 P. 1144-1162
Добавлено: 12 октября 2015 г.
Внуков А. А., Тепляков М. В., Программы для ЭВМ. Базы данных. Топологии интегральных микросхем 2010 № 2(71)(Iч.) С. 92-92
Программа предназначена для поддержания заданных климатических условий в жилом или служебном помещении. Программа состоит из нескольких вычислительных блоков, включающих блок съёма данных регулируемого параметра и состояния исполнительного устройства, блок внесения изменений в регулируемый параметр и блок Трёхдиапазонного регулятора. Программа может быть использована при построении систем, состоящих из множества контроллеров КОНТАР, датчиков и исполнительных устройств для ...
Добавлено: 16 мая 2013 г.
Лысенко А. Н., Романов А. Ю., Вестник Национального технического университета Харьковский политехнический институт. Серия: Информатика и моделирование 2011 Т. 17 № 16 С. 86-92
Рассмотрены различные подходы к организации сетей на чипе. Выявлен основной недостаток сетей на чипе с коммутацией пакетов – чрезмерно большие объемы входных и выходных буферов роутеров. Предложена новая архитектура роутера с улучшенными показателями потребляемых ресурсов и высоким быстродействием. Ил.: 5. Библиогр.: 12 назв. ...
Добавлено: 15 февраля 2015 г.
Захаров В. А., Подымов В. В., Алтухов В. С. и др., , in : Proceedings of 2014 International Science and Technology Conference "Modern Networking Technologies (MoNeTec): SDN&NFV Next Generation of Computational Infrastructure", Moscow, Russia, October 27-29, 2014. : M. : Max press, 2014. P. 7-12.
Добавлено: 13 октября 2015 г.
Котельникова М. В., Аистов А. В., Вестник Нижегородского университета им. Н.И. Лобачевского. Серия: Социальные науки 2019 Т. 55 № 3 С. 183-189
Представлено описание метода, позволяющего совершенствовать содержание дисциплин математического цикла, разделяя их на инвариантную (общую) и вариативную части. Приводятся результаты выделения инвариантов для дисциплин «Линейная алгебра», «Математический анализ», «Теория вероятностей и математическая статистика», преподаваемых экономистам-бакалаврам нескольких вузов. На основе выделенных инвариантов предлагаются темы для организации самостоятельной проектной и исследовательской деятельности студентов, ориентированной на содержание курса «Эконометрика». ...
Добавлено: 28 января 2020 г.
M. : Max press, 2014
Добавлено: 13 октября 2015 г.
Карпов В. Э., Карпова И. П., Procedia Engineering 2015 Vol. 100 P. 1459-1468
Добавлено: 14 марта 2015 г.
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 г.
М. : Издательский центр «Российский государственный гуманитарный университет», 2019
Сборник включает 27 докладов международной конференции по компьютерной лингвистике и интеллектуальным технологиям «Диалог 2019», не вошедшие в ежегодник «Компьютерная лингвистика и интеллектуальные технологии», но рекомендованные Программным Комитетом к представлению на конференции. Для специалистов в области теоретической и прикладной лингвистики и интеллектуальных технологий. ...
Добавлено: 10 декабря 2019 г.
Сотникова С. Ю., Динамика сложных систем 2012 № 3 С. 84-87
В статье описывается разработанный программный комплекс моделирования физических процессов, который также позволяет проводить идентификацию параметров печатного узла (физической модели), на котором реализуется проектируемый бортовой источник вторичного электропитания. Для него разработаны интерфейсы связи управляющей программы с известными программами моделирования и оптимизации. ...
Добавлено: 5 декабря 2014 г.
В статье представлена технология, позволяющая собирать в полевых исследованиях пространственно локализованные данные об объектах городской среды. Технология основана на автоматической привязке фотографий к пространственным координатам. Приведен план полевых и камеральных мероприятий, предложены варианты ГИС-обработки собираемых таким образом данных. В качестве примера приведены данные об использовании белорусского языка в общественном пространстве городов Белоруссии. ...
Добавлено: 12 апреля 2015 г.
Chuprikov P., Николенко С. И., Davydow A. и др., IEEE Transactions on Networking 2018 Vol. 26 No. 1 P. 342-355
Добавлено: 14 марта 2018 г.
Chernyshev S. V., Cherepanov E. A., Pankratiev E. V. и др., Journal of Mathematical Sciences 2005 Vol. 128 No. 6 P. 3487-3495
Добавлено: 27 января 2014 г.
Borchmann D., Hanika T., Объедков С. А., Discrete Applied Mathematics 2020 Vol. 273 P. 30-42
Добавлено: 29 октября 2019 г.
Springer, 2012
Добавлено: 29 января 2013 г.
Гостев И. М., М. : Юрайт, 2016
В настоящее время компьютерные науки стремительно развиваются. Новые версии операционных систем появляются каждые полтора-два года, поэтому было принято решение о включении в данную книгу такого материала, который не будет устаревать. Содержание учебника представляет собой некоторые наиболее общие принципы построения операционных систем, которые были разработаны более 50 лет назад и практически не изменились за прошедшее время. ...
Добавлено: 13 октября 2009 г.
Каз. : Издательство «Фэн» Академии наук Республики Татарстан, 2013
Материалы и доклады Шестой Всероссийской научно-практической конференции по имитацонному моделированию и его применению в науке и промышленности. ...
Добавлено: 14 декабря 2013 г.
Шуранов Е. В., / Cornell University. Series Computer Science "arxiv.org". 2021.
Добавлено: 14 февраля 2023 г.
Беклемишев Л. Д., Оноприенко А. А., Математический сборник 2015 Т. 206 № 9 С. 3-20
Формулируются системы преобразований термов, число шагов работы которых на произвольном входе конечно, но не ограничивается никакой вычислимой функцией, доказуемо тотальной в арифметике Пеано PА. Тем самым, утверждение о сходимости таких систем не доказуемо в PA. Эти системы получаются из независимого комбинаторного утверждения, известного как принцип червя; их также можно рассматривать как вариант хорошо известной игры Геракла и гидры, ...
Добавлено: 13 марта 2016 г.