УДК 519.21 С. А. Сергеев
МНОГОКАНАЛЬНАЯ НЕСТАЦИОНАРНАЯ МОДЕЛЬ УДАЛЁННОГО СЕРВЕРА АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ МОНИТОРИНГА ИСКУССТВЕННЫХ СООРУЖЕНИЙ
Дата поступления: 18.01.2016 Решение о публикации: 17.03.2016
Цель: Определить возможность реализации всех операций, связанных с технологическим циклом обработки, поступающих от датчиков автоматизированной системы мониторинга технического состояния искусственных сооружений. Методы: Задача решена путём построения имитационной и аналитической нестационарных моделей автоматизированной системы мониторинга и моделирования. Для построения матрицы коэффициентов для системы однородных дифференциальных уравнений использован рекурсивный метод. Результаты: Достоверность расчётов подтверждена путём их взаимного сравнения. Результаты моделирования показали, что система значительно превосходит предъявленные к ней требования к оперативности обработки поступающих заявок. Впервые была реализована многоканальная нестационарная аналитическая модель. Практическая значимость: Методика определения возможности реализации всех операций, связанных с технологическим циклом обработки данных, поступающих от датчиков автоматизированной системы мониторинга технического состояния искусственных сооружений, может применяться и для других высоконагруженных систем. Предложенный рекурсивный алгоритм генерации матрицы коэффициентов для системы однородных дифференциальных уравнений, описывающих нестационарную систему обслуживания, значительно упрощает составление этой матрицы для многопараметрических нестационарных аналитических моделей.
Нестационарная модель, автоматизированная система мониторинга, искусственные сооружения, вероятности состояний системы.
Sergey A. Sergeyev, post-graduate student, assistant lecturer, serega_svetl@mail.ru (Petersburg State Transport University) MULTIPLE-LINE NON-STATIONARY MODEL OF A REMOTE SERVER FOR AUTOMATED SYSTEM FOR MONITORING OF ENGINEERING STRUCTURES
Objective: To determine possibility of realisation of all operations related to technological cycle of processing data coming from detectors of an automated system for monitoring of engineering structures' technical condition. Methods: The problem is solved through building simulation and analytical non-stationary models of automated system for monitoring and simulation. Recursive method was deployed for building a coefficient matrix for homogeneous differential equations system. Results: Dependability of calculations is confirmed by reciprocal comparison. Simulation results indicated that the system significantly exceeds demands placed on it, as regards promptness of processing incoming requests. For the first time, a multiple-line non-stationary analytical model was realised. Practical importance: The method for determining possibility of realisation of all operations related to the technological cycle of processing data coming from detectors of an automated system for monitoring of engineering structures' technical condition can also be applied to other highly loaded systems. The proposed recursive algorithm for generating a coefficient matrix for a homogeneous differential equations system which describes a non-stationary service system significantly simplifies compiling this matrix for multi-parameter non-stationary analytical models.
Non-stationary model, automated monitoring system, engineering structures, system state probabilities.
Для своевременного реагирования на опасные изменения параметров искусственных сооружений необходимо мониторить их геодезическое состояние. Проблема мониторинга искусственных сооружений рассмотрена в [1, 2, 7-10]. Однако в этих источниках рассматривались вопросы архитектуры автоматизированной системы мониторинга технического состояния искусственных сооружений (АСМИС) и использование данных от датчиков. Настоящая работа посвящена определению возможности реализовать все операции, связанные с технологическим циклом обработки данных, поступающих от датчиков, за отведённый интервал времени. При перегрузке либо отказе работы компонентов АСМИС возникает вероятность несвоевременного получения информации о нежелательном состоянии искусственного сооружения, что может привести к значительным материальным потерям и даже к человеческим жертвам.
Исследование удалённого сервера системы АСМИС
В [2] описана АСМИС «АСМАДС». Система состоит из двух серверов: локального и удалённого. Ранее была разработана нестационарная модель локального сервера, проведены его аналитическое и имитационное моделирование, а также нагрузочное тестирование, которое подтвердило результаты моделирования.
Для получения полной картины возможности реализации всех операций, связанных с технологическим циклом удалённого сервера, также разработаны имитационная и аналитическая модели, каждая из которых характеризуется следующими параметрами:
1) М- количество типов заявок;
2) КТ1 (г = 1, М) - количество заявок 1-го типа, поступающих в нестационарную систему обслуживания (НСО) за интервал моделирования;
3) X.. - элемент матрицы интенсивности поступления заявки 1-го типа с номером
4) Ь - число каналов обслуживания;
5) ц.. (г = 1, М,. = 1, Ь) - элемент матрицы интенсивности обслуживания каналом с номером. заявки г-го типа;
6) ф.. (г = 1, М,. = 1, Ь) - элемент матрицы доступности каналов. ф.. = 1, если заявке типа г доступен канал с номером., ф.. = 0 - в противоположном случае;
7) п = {пг }(г = 1, М) - вектор, определяющий количество заявок /-го типа, находящихся в НС О; _
8) т = {т{}(/ = 1, М) - вектор, определяющий количество заявок каждого типа, уже получивших обслуживание и покинувших НСО;
9) I = {I. }(7 = 1, Ь) - вектор состояний каналов обслуживания, I. = 0, если .-й канал свободен, I. = г, если.-й канал обслуживает заявку типа г;
10) б - вектор очереди, причём г-я компонента вектора равна номеру типа заявки, стоящей на г-м месте в очереди на обслуживание. При этом если заявка, стоящая первой в очереди, не имеет доступа к только что освободившемуся каналу обслуживания, последний занимает заявка, стоящая ближе всего к началу очереди, имеющая доступ к этому каналу;
11) рг = {рг},1 = 1, М - г'-я компонента вектора, которая определяет приоритет заявок г-го типа.
Состояние НСО в каждый момент времени характеризуется упорядоченным набором векторов: (п,т,1 ). Составим систему однородных дифференциальных уравнений Чепмена - Колмогорова в векторно-матричном виде:
с1Р, _ ) = А ■ Рп -ГхМ), (1)
(п, т, I, б) у / (п, т,1, б) у / ' к 7
где рп т д д^) - вектор вероятностей нахождения НСО в одном из состояний в момент времени А - квадратная матрица. Задав затем начальные условия р д 0 д) (0) = 1, где вероятности остальных состояний равны 0, можно решить соответствующую задачу Коши.
Исходя из требований к развёртыванию описанной системы, она должна решать сле-
дующую задачу. По условиям задачи на удалённом сервере возникло состояние, которое требует запустить прогнозирующий анализ данных, поступающих от 15 датчиков с интенсивностью 10с 1. Кроме того, с интенсивностью 2с1 поступают три запроса от пользователей системы через графический интерфейс на углублённый прогнозирующий анализ. Процессор удалённого сервера имеет 4 ядра обслуживания. Каждое ядро обрабатывает заявку прогнозирующего типа с интенсивностью 0,2743с"1, а заявку типа углублённого прогноза - с интенсивностью 0,2071с1. Распределение времени поступления и обработки заявок подчинено экспоненциальному закону. Необходимо найти момент времени в котором все 18 заявок будут обработаны с вероятностью не менее 90 %, а также момент времени t2, в котором заявки на углублённый анализ, поступившие от пользователей, будут обработаны с вероятностью не менее 90 %. Если > 60 или 1г > 30, необходимо разработать стратегии ускорения работы удалённого сервера. В постановке условий задачи введено допущение. Интенсивность обработки заявок обоих типов была получена из статистики обработки этих заявок на одном ядре. Предполагается, что при запуске обработки одновременно четырёх заявок на отдельном ядре каждая интенсивность их обработки останется прежней, так как затраты процессорного времени удалённого сервера на обработку других запросов, а также операций операци-
онной системы ничтожно малы по сравнению с заявками на прогнозирование.
Для определения значений и 12 были использованы программы для имитационного и аналитического моделирования НСО [3, 5, 6]. Так как вывод общего уравнения для системы дифференциальных уравнений, описывающих нестационарную систему обслуживания, модель которой дана выше, - трудновыполнимая задача, решено составлять матрицу коэффициентов для аналитической модели с помощью метода, предложенного в [4].
Переходы между состояниями системы происходят по следующим правилам:
1) из состояния Р„ л, в котором п. + т<
7 п, т, I, у' г 1 1
< КТ, система может перейти в состояние
Рп1, Ил, Л, с интенсивностью Ч т +1. Если I. = 0, то 11 = 1, вектор q остаётся без изменений. п\ = п. +1. Вектор т остаётся без изменений;
2) из состояния Р т 1 у, в котором I. > 0, система может перейти в состояние Р — ^ —
г п1, т1,11, у1
с интенсивностью {, где п1{ = п{ -1, т1. = = т. +1, l1i = У1, при этом необходимо удалить у1.
Кроме того, в алгоритме используется функция проверки наличия состояния 1зБх181, задача этой функции - проверять все полученные состояния на дубликаты. Блок-схема алгоритма генерации матрицы состояний для многоканальной модели приведена на рис. 1.
Исходные данные моделей:
1. М = 2.
2. KT = {15, 3}.
з. Kj =
4. L = 4.
5. Vj =
10 10 10 10 10 1010 10 1010 10 1010 10 10 222 000 000 000 000
0,2743 0,2743 0,2743 0,2743" 0,2071 0,2071 0,2071 0,2071
6. ф „ =
"1111 1 1 1 1 7. pr = {1,2}.
Рис. 1. Блок-схема алгоритма генерации матрицы состояний для многоканальной модели
Для определения построены графики зависимости вероятности нахождения системы в состоянии, где т = {15, 3}, с помощью аналитической и имитационной моделей. Раз-
ница в значениях вероятностей, полученных с помощью обеих моделей, была только в 4-м знаке после запятой. На рис. 2 приведён график вероятности нахождения системы в по-
27 27,5 28 28,5 29 29,5 30 30,5 31 31,5 г, с Рис. 2. Вероятность нахождения системы в поглощающем состоянии
Р
Р
0,96 0,94 0,92 0,9 0,88 0,86 0,84 0,82 0,8
17 17,5 18 18,5 19 19,5 20 20,5 21 21,5 г, с Рис. 3. Вероятность нахождения системы в состоянии, где т2 = 3
глощающем состоянии в разные моменты времени.
Для определения 12 построены графики зависимости вероятности нахождения системы в состояниях, где т2 = 3, с помощью аналитической и имитационной моделей. Разница в значениях вероятностей, полученных с помощью обеих моделей, также была только в 4-м знаке после запятой. На рис. 3 приведён
график вероятности нахождения системы в искомых состояниях в разные моменты времени.
Из рис. 2 и 3 видно, что и 1г не превышают максимально допустимые для них показатели, следовательно, скорость реакции системы на возникновение внештатной ситуации будет выше нормы и данный узел системы не нуждается в оптимизации.
Заключение
Описанный в статье метод пригоден для расчёта вероятностно-временных характеристик большого количества нестационарных моделей различной сложности. Благодаря предложенному рекурсивному алгоритму генерации матрицы коэффициентов для системы однородных дифференциальных уравнений, описывающих НСО, стала возможна программная реализация таких многопараметрических аналитических моделей, как сетевая и Ь-канальная.
Библиографический список
1. Брынь М. Я. Геодезический мониторинг деформаций вантовых мостов на основе спутниковых технологий / М. Я. Брынь, Е. Г. Толстов, А. А. Никит-чин и др. // Изв. ПГУПС. - 2009. - Вып. 2 (19). -С. 120-128.
2. Брынь М. Я. Программный комплекс для мониторинга деформаций особо опасных объектов / М. Я. Брынь, А. Д. Хомоненко, В. П. Бубнов, А. А. Никитчин, С. А. Сергеев, П. А. Новиков, А. И. Титов // Проблемы информационной безопасности. Компьютерные системы. - 2014. - № 1. -С. 36-41.
3. Бубнов В. П. Особенности программной реализации численно-аналитического метода расчёта моделей нестационарных систем обслуживания / В. П. Бубнов, А. С. Еремин, С. А. Сергеев // Тр. СПИИРАН. - 2015. - № 1. - С. 218-232.
4. Бубнов В. П. Рекурсивный метод генерации матрицы коэффициентов системы однородных дифференциальных уравнений, описывающих нестационарную систему обслуживания / В. П. Бубнов, А. Д. Хомоненко, С. А. Сергеев // Междунар. конф. по мягким вычислениям и измерениям. Т. 1, секция 1-3. 2015. - С. 164-166.
5. Сергеев С. А., Бубнов В. П., Бубнов В. В. Программа для имитационного моделирования нестационарных систем обслуживания. Роспатент : Свид-во о гос. регистрации программы ЭВМ № 201561735. - М., 2015.
6. Сергеев С. А., Бубнов В. В., Ерёмин А. С. Программа для расчёта вероятностей состояний нестационарных систем обслуживания. Роспатент : Свид-во о гос. регистрации программы для ЭВМ № 2014662753. - М., 2014.
7. Li A. Q. Analysis and assessment of bridge health monitoring mass data - progress in research/development of «Structural Health Monitoring» / A. Q. Li, Y. L. Ding, H. Wang, T. Guo // Sci. China Ser. E: Technol. Sci. - 2012. - Vol. 55, N 8. - P. 2212-2224.
8. Li S. L. SMC structural health monitoring benchmark problem using monitored data from an actual cable-stayed bridge / S. L. Li, H. Li, Y. Liu et al. // Struct. Control and Health Monit. - 2014. - Vol. 21, N 2. -P. 156-172.
9. Spencer B. F. Campaign Monitoring of Railroad Bridges in High-Speed Rail Shared Corridors using Wireless Smart Sensors: Report N NSEL-040 / B. F. Spencer. - Department of Civil and Environ. Eng. Univ. Illinois at Urbana-Champaign, June 2015.
10. Watanabe E. On longevity and monitoring technologies of bridges: a survey study by the Japanese Society of Steel Construction / E. Watanabe, H. Furuta, T. Yamaguchi, M. Kano // Struct. Infrastruct. Eng. -2014. - Vol. 10, N 4. - P. 471-491.
References
1. Bryn M.Ya., Tolstov Ye.G, Nikitchin A. A., Rez-nik B., Yashchenko A. I., Yevstafyev O. V. & Kuchu-mov V.A. Izvestiya PGUPS - Proc. Petersburg Transp. Univ., 2009, Is. 2 (19), pp. 120-128.
2. Bryn M.Ya., Khomonenko A. D., Bubnov V. P., Nikitchin A. A., Sergeyev S. A., Novikov P. A. & Ti-tov A. I. Problemy informatsionnoy bezopasnosti. Kompyuternyye sistemy - Information Security Problems. Computer Systems, 2014, no. 1, pp. 36-41.
3. Bubnov V. P., Yeremin A. S. & Sergeyev S.A. Trudy SPIIRAN - Proc. of St Petersburg Institute for Informatics and Automation of the Russian Academy of Sci., 2015, no. 1, pp. 218-232.
4. Bubnov V. P., Khomonenko A. D. & Sergeyev S. A. Rekursivny metod generatsii matritsy koef-fitsientov sistemy odnorodnykh differentsialnykh ura-vneniy, opisyvayushchikh nestatsionarnuyu sistemu obsluzhivaniya [Recursive Method for Generation
of Coefficient Matrix for a Homogeneous Differetial Equations System Which Describe a Non-Stationary Service System]. Mezhdunarodnaya konferentsiyapo myagkim vychisleniyam i izmereniyam (Int. Conf. for Soft Computing and Measurements), 2015. Vol. 1, section 1-3. Pp. 164-166.
5. Sergeyev S. A., Bubnov V. P., Bubnov V. V. Program for Imitation Simulation of Non-Stationary Service Systems. Federal Service for Intellectual Property, Patents and Trademarks. State program registration certificate N 201561735. Moscow, 2015.
6. Sergeyev S. A., Bubnov V. V., Yeremin A. S. Program for Calculation of Probabilities of Condition ofNon-Stationary Service Systems. Federal Service for Intellectual Property, Patents and Trademarks. State program registration certificate N 2014662753. Moscow, 2015.
7. Li A. Q., Ding Y. L., Wang H. & Guo T. Analysis and assessment of bridge health monitoring mass data-
progress in research/development of 'Structural Health Monitoring'. Sci. China Ser. E: Technol. Sci., 2012, Vol. 55, no. 8, pp. 2212-2224.
8. Li S. L., Li H., Liu Y., Lan C., Zhou W. & Ou J. SMC structural health monitoring benchmark problem using monitored data from an actual cable-stayed bridge. Struct. Control and Health Monit., 2014, Vol. 21, no. 2, pp. 156-172.
9. Spencer B. F. Campaign Monitoring of Railroad Bridges in High-Speed Rail Shared Corridors using Wireless Smart Sensors. Report no NSEL-040, Department of Civil and Environ. Eng. Univ. Illinois at Urbana-Champaign, June 2015.
10. Watanabe E., Furuta H., Yamaguchi T. & Ka-no M. On longevity and monitoring technologies of bridges: a survey study by the Japanese Society of Steel Construction. Struct. Infrastruct. Eng., 2014, Vol. 10, no. 4, pp. 471-491.
СЕРГЕЕВ Сергей Александрович - аспирант, ассистент, serega_svetl@mail.ru (Петербургский государственный университет путей сообщения Императора Александра I).