Научная статья на тему 'МЕТОДИКА КОДИРОВАНИЯ УПРАВЛЯЮЩИХ АВТОМАТОВ ДЛЯ ПЕРЕДАЧИ ТРАФИКА В ПРОГРАММНО-КОНФИГУРИРУЕМОЙ СЕТИ'

МЕТОДИКА КОДИРОВАНИЯ УПРАВЛЯЮЩИХ АВТОМАТОВ ДЛЯ ПЕРЕДАЧИ ТРАФИКА В ПРОГРАММНО-КОНФИГУРИРУЕМОЙ СЕТИ Текст научной статьи по специальности «Компьютерные и информационные науки»

CC BY
52
13
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ПРОГРАММНО-КОНФИГУРИРУЕМАЯ СЕТЬ / OPENFLOW / РАЗНОРОДНЫЙ ТРАФИК / ЦИФРОВЫЕ АВТОМАТЫ / СЕТИ ПЕТРИ / УПРАВЛЯЮЩИЙ АВТОМАТ / ПЛИС

Аннотация научной статьи по компьютерным и информационным наукам, автор научной работы — Никишин К. И.

Программно-конфигурируемые сети (ПКС) - новая парадигма в области сетевых телекоммуникаций. Отличием от классических сетей является то, что с инфраструктурным уровнем взаимодействует контроллер ПКС на уровне управления. Однако классический метод передачи разнородного трафика на основе протокола OpenFlow имеет ряд недостатков. Для устранения недостатков передачи трафика направлены новые методы передачи трафика, методика комплексного контроля передачи трафика, методика кодирования управляющих автоматов для передачи трафика в ПКС. Методика кодирования управляющих автоматов основывается на цифровых автоматах Мура и алгоритмах ранней диагностики потерь трафика реального времени при передаче разнородного трафика в коммутаторе OpenFlow и передачи трафика реального времени с использованием планировщика и функцией контроля доставки в ПКС. Разработаны управляющие автоматы в соответствии с методикой и цифровыми автоматами Мура. Проведено моделирование работы управляющих автоматов на ПЛИС семейства Spartan 6 с помощью временных диаграмм. Оценены аппаратные затраты на ПЛИС управляющих автоматов. Спроектированные управляющие автоматы могут войти в состав телекоммуникационного оборудования, контроллеров или коммутаторов OpenFlow по средствам ПЛИС или ASIC для контроля и передачи трафика в ПКС с помощью управляющих сигналов и команд

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по компьютерным и информационным наукам , автор научной работы — Никишин К. И.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

CODING METHODOLOGY OF CONTROL AUTOMATS FOR TRAFFIC TRANSMISSION IN A SOFTWARE DEFINED NETWORK

Software defined networks (SDN) are a new paradigm in the field of network telecommunications. The difference from classical networks is that the control panel controller interacts with the infrastructure layer at the control level. However, the classical method of transmitting heterogeneous traffic based on the OpenFlow protocol has a number of disadvantages. In order to eliminate the disadvantages of traffic transmission, new methods of traffic transmission, the methodology of complex control of traffic transmission in SDN, the coding methodology of control automats for traffic transmission in SDN have been directed. The coding methodology of control automats is based on Moore digital automats and algorithms for early diagnosis of real-time traffic losses during the transmission of heterogeneous traffic in the OpenFlow switch and the transmission of real-time traffic using a scheduler and a delivery control function in SDN. Control automats have been developed in accordance with the methodology and Moore's digital automats. The modelling of work of control automats on FPGAs of the Spartan 6 family using time diagrams is carried out. Hardware costs for FPGA control automats are estimated. The designed control automats can be part of telecommunications equipment, controllers or OpenFlow switches by means of a designed FPGA or ASIC for monitoring and transmitting traffic to the control system by means of control signals and commands

Текст научной работы на тему «МЕТОДИКА КОДИРОВАНИЯ УПРАВЛЯЮЩИХ АВТОМАТОВ ДЛЯ ПЕРЕДАЧИ ТРАФИКА В ПРОГРАММНО-КОНФИГУРИРУЕМОЙ СЕТИ»

DOI 10.36622/^т2023Л9.1.002 УДК 004.72

МЕТОДИКА КОДИРОВАНИЯ УПРАВЛЯЮЩИХ АВТОМАТОВ ДЛЯ ПЕРЕДАЧИ ТРАФИКА

В ПРОГРАММНО-КОНФИГУРИРУЕМОЙ СЕТИ

К.И. Никишин

Пензенский государственный университет, г. Пенза, Россия

Аннотация: программно-конфигурируемые сети (ПКС) - новая парадигма в области сетевых телекоммуникаций. Отличием от классических сетей является то, что с инфраструктурным уровнем взаимодействует контроллер ПКС на уровне управления. Однако классический метод передачи разнородного трафика на основе протокола OpenFlow имеет ряд недостатков. Для устранения недостатков передачи трафика направлены новые методы передачи трафика, методика комплексного контроля передачи трафика, методика кодирования управляющих автоматов для передачи трафика в ПКС. Методика кодирования управляющих автоматов основывается на цифровых автоматах Мура и алгоритмах ранней диагностики потерь трафика реального времени при передаче разнородного трафика в коммутаторе OpenFlow и передачи трафика реального времени с использованием планировщика и функцией контроля доставки в ПКС. Разработаны управляющие автоматы в соответствии с методикой и цифровыми автоматами Мура. Проведено моделирование работы управляющих автоматов на ПЛИС семейства Spartan 6 с помощью временных диаграмм. Оценены аппаратные затраты на ПЛИС управляющих автоматов. Спроектированные управляющие автоматы могут войти в состав телекоммуникационного оборудования, контроллеров или коммутаторов OpenFlow по средствам ПЛИС или ASIC для контроля и передачи трафика в ПКС с помощью управляющих сигналов и команд

Ключевые слова: программно-конфигурируемая сеть, OpenFlow, разнородный трафик, цифровые автоматы, сети Петри, управляющий автомат, ПЛИС

Введение

Программно-конфигурируемые сети

(ПКС) - новая парадигма в области сетевых телекоммуникаций [1-2]. Основной

отличительной особенностью от классической сети Ethernet [3] с поддержкой «качества обслуживания» [4] является то, что с инфраструктурным уровнем взаимодействует контроллер ПКС на уровне управления. Таким образом, контроллер ПКС является важной частью в сети [5].

В ПКС основным протоколом является OpenFlow, протокол позволяет обрабатывать разнородный трафик и управлять им [6-7]. Однако классический метод передачи разнородного трафика на основе протокола OpenFlow имеет ряд недостатков, более подробно недостатки передачи разнородного трафика описаны в статье [8]. Рассмотрим некоторые из этих недостатков.

К первому недостатку можно отнести отсутствие быстрой передачи разнородного трафика, поскольку тратятся значительные временные и аппаратные ресурсы для поиска таймаутов потока.

© Никишин К.И., 2023

Следующим недостатком является то, что отсутствует контроль функций доставки трафика на входных портах коммутаторов OpenFlow. Из-за этого затруднительно определить доставку трафика реального времени получателю в необходимые моменты времени.

В связи с этими недостатками автором статьи были предложены и разработаны новые методы передачи и контроля трафика в ПКС. Разработан метод ранней диагностики потерь трафика реального времени при передаче разнородного трафика в коммутаторе OpenFlow (метод 1) [8]. Метод 2 заключается в передачи трафика реального времени с использованием планировщика и функцией контроля доставки в ПКС.

Описание методики

Автором статьи была разработана и описана методика комплексного контроля передачи трафика в ПКС. Данная методика основывается на новых методах передачи трафика, таких как метод ранней диагностики потерь трафика реального времени при передаче разнородного трафика в коммутаторе OpenFlow и метод передачи трафика реального времени с использованием планировщика и функцией контроля доставки в ПКС.

При этом администратор сети ПКС может настроить требуемый метод передачи трафика с его контролем в ПКС или автоматически устанавливает соответствующий контроль аппаратура сети. То есть, возможен выбор одного из методов передачи трафика в ПКС. Передаваемый трафик также проверялся на валидацию в соответствии с сетевыми стандартами при помощи специально разработанного программного обеспечения [9].

Кроме этого возможен комплексный контроль передачи трафика в ПКС, тогда предложенные методы включаются

последовательно в работе ПКС.

На основе предложенной методики были разработаны цифровые автоматы Мура, описаны с помощью систем канонических уравнений и выходных функций, построены различные таблицы переходов состояний цифровых автоматов.

Формализация алгоритмов и методики передачи трафика в ПКС в виде цифровых автоматов связана с тем, что цифровые автоматы являются промежуточным звеном для исследования алгоритмов с помощью имитационного моделирования (OMNET++, CPN Tools, Cisco Packet Tracer [10]). От цифровых автоматов можно перейти к сетям Петри.

В качестве среды имитационного моделирования выбран пакет моделирования CPN Tools [11]. CPN Tools обладает всеми преимуществами аппарата сетей Петри, позволяет строить различные виды сетей Петри.

Пакет CPN Tools наилучшим образом подходит для исследования компьютерных сетей, их критериев, метрик и задержки в сети. Он обладает максимальной

производительностью по исследованию новых методов и алгоритмов в компьютерных сетях.

Но описанной формализации на цифровых автоматах и моделирования передачи трафика в ПКС на основе сетей Петри было недостаточно. Возникла необходимость спроектировать управляющие автоматы на основе заявленных методов и методики передачи трафика в ПКС.

В аппаратном обеспечении,

микропроцессорах разделяют управляющие и операционные автоматы. Операционный автомат исполняет определённую команду или операцию.

Основную роль выполняет управляющий автомат, который посылает соответствующие команды, синхросигналы для исполнения в

оборудовании. Поэтому управляющие автоматы должны быть разработаны к привязке к конечному оборудованию, аппаратуре.

Язык описания схем VHDL позволяет осуществить кодирование управляющих автоматов на ПЛИС типа FPGA. Таким образом, работу управляющих автоматов можно проверить на реальном оборудовании ПЛИС и получить необходимые результаты. В качестве примера было выбрано современное семейство ПЛИС Spartan 6, можно проектировать управляющие автоматы и на более поздних семействах ПЛИС.

Рассмотрим методику кодирования управляющих автоматов для передачи трафика в ПКС. Методика состоит из нескольких этапов.

Этап 1 - на основе методики комплексного контроля и методов передачи трафика получаем цифровые автоматы Мура с заданным количеством состояний. Получили прямые таблицы переходов состояний цифровых автоматов.

Этап 2 - кодируем в соответствии с прямой таблицей переходов текущие и следующие состояния, входные сигналы.

Этап 3 - устанавливаем временные задержки для формирования и смены состояний цифрового автомата. Производим моделирование управляющего автомата, получаем временные диаграммы работы управляющего автомата.

Этап 4 - проверяем работу управляющего автомата на ПЛИС с помощью временных диаграмм. Сравниваем значения, полученные на временных диаграммах с разработанной прямой таблицей переходов. В случае отклонения от работы цифрового автомата -необходимость скорректировать кодированием управляющего автомата и вернуться к этапу 2.

Этап 5 - спроектированные управляющие автоматы могут войти в состав телекоммуникационного оборудования,

контроллеров или коммутаторов OpenFlow по средствам ПЛИС или ASIC для контроля и передачи трафика в ПКС с помощью управляющих сигналов и команд.

Проектирование управляющих автоматов на ПЛИС

Рассмотрим цифровой автомат Мура, который соответствует методу ранней диагностики потерь трафика реального времени и представлен на рис. 1. У цифрового автомата

имеются состояния (а1 - а8), входной сигнал (переходы z1 - z4), выходной сигнал (w1 - w8), безусловные переходы обозначаются «1».

Для полученного цифрового автомата Мура напишем систему канонических уравнений (СКУ) и систему выходных функций (СВФ). СКУ является аналитической

интерпретацией таблиц переходов автоматов и определяет функции переходов цифрового автомата. СВФ является аналитической интерпретацией таблиц выходов автоматов и определяет функции выходов цифрового автомата.

Рис. 1. Граф цифрового автомата Мура

СКУ:

a1(t+1) = a7z4;

a2(t+1) = alZl;

aз(t+1) = a2Z2;

a4(t+1) = a3z3 va1(!z1) a5(t+1) = a4 a6(t+1) = a5

a7(t+1) = a6 vaз(!zз) va2(!z2) a8(t+1) = a7

ag(t+1) = a8 СВФ:

w1(t) =a1 W2(t) = a2 wз(t) = aз w4(t) = a4 w5(t) = a5 W6(t) = a6 w7(t) = a7 W8(t) = a8 wg(t) = a9

Построили прямую таблицу переходов состояний цифрового автомата. Схема работы управляющего автомата заключается в том, что на свой вход поступает код текущего состояния

цифрового автомата (state) и внешний сигнал (z). На выходе управляющего автомата получаем код следующего состояния (next_state). Кроме этого входящими сигналами являются синхросигнал и сигнал сброса.

Для описания состояний цифрового автомата необходимо использовать

перечисляемый тип. Для этого описывается тип (state_values), значениями которого являются состояния цифрового автомата. Внутренний сигнал (state) будет иметь этот перечисляемый тип, в котором и сохраняются текущие состояния автомата. Их описание представлено ниже.

type state_values is (s0, s1, s2, s3, s4,s5,s6,s7,s8,s9);

signal state, nextstate: state_values;

Если поступает сигнал сброса, то управляющий автомат находится в начальном состоянии, т.е. S0. При наступлении нарастающего фронта синхросигнала происходит изменение состояний

управляющего автомата.

Для описания логики переходов цифрового автомата используется оператор case. Логика программируется в соответствии с таблицей переходов состояний цифрового автомата. При этом в зависимости от входящего сигнала автомат будет находиться в

различных состояниях. Пример описания переходов состояния управляющего автомата представлен ниже.

process (state, z) begin

case state is when s0 => outl <="0000";

if z ="01" then nextstate <= s1; end if;

end process;

Для проверки работы разработанного управляющего автомата необходимо разработать файл на языке VHDL для моделирования ПЛИС и получения временных диаграмм. В этом файле устанавливаются временные задержки для формирования и

смены состояний цифрового автомата и вся основная реакция управляющего автомата на входные сигналы. Фрагмент кода представлен ниже.

stim_proc: process begin

rst< = 1'; wait for 25 ns; rst< = '0'; wait for 25 ns; z< = "01"; wait for 25 ns; z< = "11"; wait for 25 ns; end process;

END;

Временная диаграмма работы

управляющего автомата метода 1 представлена на рис. 2.

Ц; elk j a

Т 41:0) OO

0

14 м 0

▼ outl[3:Q) 0

Шт 0

т™ 0

-Щш 0

"Щ [01 0

1

Ц^ state 50

"Ljjk next_state SB

li elk period 25000 ps.

Рис. 2. Временная диаграмма работы управляющего автомата метода 1

Затраты ПЛИС управляющего автомата представлены в отчете ниже, показан процент занятых регистров, триггеров и логических таблиц.

Количество используемых регистров: 8 из 54,576 1%

Количество используемых триггеров: 4 Количество используемых логических таблиц: 4 из 27,288 1%

Аналогичным образом для метода 2 передачи трафика реального времени с использованием планировщика и функцией контроля доставки в ПКС был разработан цифровой автомат Мура, СКУ, СВФ, таблица переходов состояний.

С помощью разработанной методики кодирования аналогичным образом был разработан управляющий автомат. Данный управляющий автомат состоит из большего количества состояний и входных сигналов. Поэтому будет показана только временная диаграмма работы управляющего автомата метода 2 на рис. 3.

Затраты ПЛИС управляющего автомата представлены в отчете ниже, показан процент занятых регистров, триггеров и логических таблиц.

Количество используемых регистров: 10 из 54,576 1%

Количество используемых триггеров: 5 Количество используемых логических таблиц: 19 из 27,288 1%

Отличие данной статьи от предыдущих работ автора заключается в том, что разработана методика кодирования управляющих автоматов для передачи трафика в ПКС, состоящая из нескольких этапов и основанная на предложенных автором методах передачи трафика в ПКС. С помощью данной методики были спроектированы цифровые автоматы Мура, системы канонических уравнений и выходных функций. Разработанные управляющие автоматы позволили выполнить синтез цифровых автоматов и методики в составе реального оборудования на ПЛИС, которое в дальнейшем

может являться частью в составе контроллеров или коммутаторов OpenFlow ПКС.

Рис. 3. Временная диаграмма работы управляющего автомата метода 2 Заключение

Описана методика кодирования управляющих автоматов для передачи трафика в ПКС. Методика кодирования управляющих автоматов основывается на цифровых автоматах Мура и алгоритмах ранней диагностики потерь трафика реального времени при передаче разнородного трафика в коммутаторе OpenFlow и передаче трафика реального времени с использованием планировщика и функцией контроля доставки в ПКС.

Разработаны управляющие автоматы в соответствии с методикой и цифровыми автоматами Мура. Проведено моделирование работы управляющих автоматов на ПЛИС семейства Spartan 6 с помощью временных диаграмм. Оценены аппаратные затраты на ПЛИС управляющих автоматов.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Спроектированные управляющие

автоматы могут войти в состав телекоммуникационного оборудования,

контроллеров или коммутаторов OpenFlow по средствам ПЛИС или ASIC для контроля и передачи трафика в ПКС с помощью управляющих сигналов и команд.

Литература

1. McKeown N., Anderson T., Balakrishnan H. Openflow: enabling innovation in campus networks // ACM SIGCOMM Computer Communication Review. 2008. Vol. 38. No. 2. pp. 69-74.

2. Advanced study of SDN/OpenFlow controllers/ А. Shalimov, D. Zuikov, D. Zimarina, V. Pashkov, R.

Smeliansky // Proceedings of the 9th Central & Eastern European Software Engineering Conference in Russia. ACM. Moscow, 2013. pp. 1-6. DOI - 10.1145/2556610.2556621.

3. Олифер В.Г., Олифер Н.А. Компьютерные сети. Принципы, технологии, протоколы. 4-е изд. СПб.: Питер, 2010. 943 с.

4. Karakus M., Durresi A. Quality of service (QoS) in software defined networking (SDN): A survey // Journal of Network and Computer Applications. 2017. Vol. 80. pp. 200218.

5. Maniu R. and Dumitru L.A. Exploring the possibilities of a self-regulating SDN controller // Scientific Bulletin «Mircea cel Batran» Naval Academy. 2015. Vol. 18. No. 1. pp. 58-61.

6. Maturing of OpenFlow and Software-Defined Networking Through Deployments/ M. Kobayashi, S. Seetharaman, G. Parulkar, G. Appenzeller, J. Little, J. Van Reijendam, N. McKeown // Computer Networks. 2014. Vol. 61. pp. 151-175.

7. Перепелкин Д.А., Бышов В.С. Балансировка потоков данных в программно-конфигурируемых сетях с обеспечением качества обслуживания сетевых сервисов // Радиотехника. 2016. № 11. C. 111-119.

8. Никишин К.И. Моделирование метода ранней диагностики потерь трафика реального времени в программно-конфигурируемых сетях на основе аппарата сетей Петри // Вестник Поволжского государственного технологического университета. Сер.: Радиотехнические и инфокоммуникационные системы. 2022. № 2 (54). С. 4760. DOI - 10.25686/2306-2819.2022.2.4.

9. Никишин К.И. Разработка программного обеспечения для валидации сетевых стандартов // Вестник Воронежского государственного технического университета. 2022. Т. 18. № 6. С. 62-67. DOI -10.36622/VSTU.2022.18.6.008.

10. Никишин К.И. Исследование передачи трафика в программно-конфигурируемой сети с использованием Cisco Packet Tracer // Вестник Воронежского государственного технического университета. 2022. Т. 18. № 5. С. 85-90. DOI - 10.36622/VSTU.2022.18.5.011.

11. Jensen K., Kristensen L.M. Coloured Petri Nets. Springer, 2009. 384 р.

Modelling and Validation of Concurrent Systems. Berlin:

Поступила 10.01.2023; принята к публикации 13.02.2023 Информация об авторах

Никишин Кирилл Игоревич - канд. техн. наук, доцент кафедры вычислительной техники, Пензенский государственный университет (440026, Россия, г. Пенза, ул. Красная, д. 40), e-mail: [email protected]

CODING METHODOLOGY OF CONTROL AUTOMATS FOR TRAFFIC TRANSMISSION

IN A SOFTWARE DEFINED NETWORK

K.I. Nikishin Penza State University, Penza, Russia

Abstract: software defined networks (SDN) are a new paradigm in the field of network telecommunications. The difference from classical networks is that the control panel controller interacts with the infrastructure layer at the control level. However, the classical method of transmitting heterogeneous traffic based on the OpenFlow protocol has a number of disadvantages. In order to eliminate the disadvantages of traffic transmission, new methods of traffic transmission, the methodology of complex control of traffic transmission in SDN, the coding methodology of control automats for traffic transmission in SDN have been directed. The coding methodology of control automats is based on Moore digital automats and algorithms for early diagnosis of real-time traffic losses during the transmission of heterogeneous traffic in the OpenFlow switch and the transmission of real-time traffic using a scheduler and a delivery control function in SDN. Control automats have been developed in accordance with the methodology and Moore's digital automats. The modelling of work of control automats on FPGAs of the Spartan 6 family using time diagrams is carried out. Hardware costs for FPGA control automats are estimated. The designed control automats can be part of telecommunications equipment, controllers or OpenFlow switches by means of a designed FPGA or ASIC for monitoring and transmitting traffic to the control system by means of control signals and commands

Key words: software defined network, OpenFlow, heterogeneous traffic, digital automata, Petri nets, control automat,

FPGA

References

1. McKeown N., Anderson T., Balakrishnan H. "Openflow: enabling innovation in campus networks", ACM SIGCOMM Computer Communication Review, 2008, vol. 38, no. 2, pp. 69-74.

2. Shalimov А., Zuikov D., Zimarina D., Pashkov V., Smeliansky R. "Advanced study of SDN/OpenFlow controllers", Proc. of the 9th Central & Eastern European Software Engineering Conf. in Russia. ACM, Moscow, 2013, pp. 1-6. DOI -10.1145/2556610.2556621.

3. Olifer V.G., Olifer N.A. "Computer networks. Principles, technologies, protocols" ("Komp'yuternye seti. Printsipy, tekhnologii, protokoly"), St. Petersburg: Piter, 2010, 943 p.

4. Karakus M., Durresi A. "Quality of service (QoS) in software defined networking (SDN)", a survey, Journal of Network and Computer Applications, 2017, vol. 80, pp. 200-218.

5. Maniu R., Dumitru L.A. "Exploring the possibilities of a self-regulating SDN controller", Scientific Bulletin «Mircea cel Batran» Naval Academy, 2015, vol. 18, no. 1, pp. 58-61.

6. Kobayashi M., Seetharaman S., Parulkar G., Appenzeller G., Little J., Van Reijendam J., McKeown N. "Maturing of OpenFlow and Software-Defined Networking Through Deployments", Computer Networks, 2014, vol. 61, pp. 151-175.

7. Perepelkin D.A., Byshov V.S. "Balancing data flows in software-defined networks with ensuring the quality of service of network services", Radio Engineering (Radiotekhnika), 2016, no. 11, pp. 111-119.

8. Nikishin K.I. "Modeling a method for early diagnosis of real-time traffic losses in software-defined networks based on the apparatus of Petri nets", Bulletin of Volga State Technological University (Vestnik Povolzhskogo gosudarstvennogo tekhnologicheskogo universiteta), 2022, no. 2 (54), pp. 47-60. DOI - 10.25686/2306-2819.2022.2.4.

9. Nikishin K.I. "Development of software for validation of network standards", Bulletin of Voronezh State Technical University (Vestnik Voronezhskogo gosudarstvennogo tekhnicheskogo universiteta), 2022, vol. 18, no. 6, pp. 62-67. DOI -10.36622/VSTU.2022.18.6.008.

10. Nikishin K.I. "Investigation of traffic transmission in a software-defined network using Cisco Packet Tracer", Bulletin of Voronezh State Technical University (Vestnik Voronezhskogo gosudarstvennogo tekhnicheskogo universiteta), 2022, vol. 18, no. 5, pp. 85-90. DOI - 10. 36622/VSTU.2022.18.5.011.

11. Jensen K., Kristensen L.M. "Coloured Petri Nets. Modelling and Validation of Concurrent Systems", Berlin: Springer, 2009, 384 р.

Submitted 10.01.2023; revised 13.02.2023

Information about the authors

Kirill I. Nikishin, Cand. Sc. (Technical), Associate Professor, Penza State University (40 Krasnaya str., Penza 440026, Russia), e-mail: [email protected]

i Надоели баннеры? Вы всегда можете отключить рекламу.