CC BY
99
Программные продукты и системы / Software & Systems
№ 5 (109), 2015
УДК 004.94:519.872.5 Дата подачи статьи: 01.12.14
DOI: 10.15827/0236-235X.109.107-116
ИМИТАЦИОННАЯ МОДЕЛЬ ОЦЕНКИ ПРОИЗВОДИТЕЛЬНОСТИ РЕМОНТНО-ДИАГНОСТИЧЕСКОГО КОМПЛЕКСА
Ф.Н. Абу-Абед, к.т.н., доцент, [email protected];
Д.В. Мартынов, к.т.н., доцент, [email protected] (Тверской государственный технический университет, наб. Аф. Никитина, 22, г. Тверь, 1 70026, Россия);
С.В. Сергиенко, старший офицер (Оперативное управление Командования воздушно-космической обороны, ул. Профсоюзная, 84/32, г. Москва, 11 7997, Россия);
Р.Ю. Кордюков, к.т.н., зам. начальника, [email protected] (Главное управление научно-исследовательской деятельности и технологического сопровождения передовых технологий (инновационных исследований) МО РФ, ул. Профсоюзная, 84/32, г. Москва, 117997, Россия)
Перспективным направлением совершенствования ремонта сложных территориально-распределенных технических систем является создание ремонтно-диагностического комплекса, включающего в свой состав участки контроля работоспособности, диагностирования составных элементов, применяемых в территориально-распределенных технических системах, а также участки, укомплектованные необходимым технологическим оборудованием, измерительными средствами, инструментами и оснасткой для проведения текущего ремонта сменных элементов. Для обеспечения ремонта ремонтно-диагностический комплекс оснащается средствами электроснабжения, комплектами запасного имущества и принадлежностей, эксплуатационной документацией. Предполагается, что личный состав, осуществляющий ремонт, имеет соответствующую квалификацию.
Ремонтно-диагностический комплекс представлен трехфазной многоканальной системой массового обслуживания. Исследование такой системы при функциях распределения времени обслуживания заявок, отличного от экспоненциального, затрудняет использование аналитических моделей, поэтому в работе были использованы методы имитационного моделирования.
В статье представлены основные принципы создания моделей сложных комплексов и рассматриваются аспекты структурного подхода к имитационному моделированию таких систем.
Разработанная программная реализация модели ремонтно-диагностического комплекса позволяет осуществлять симуляцию процесса его функционирования с последующей оценкой характеристик, наиболее важной из которых является среднее время обслуживания заявки в системе, а также определять необходимое количество каналов на каждом из участков. Модель предоставляет возможность использования бета-распределения (в качестве априорного) для задания величин продолжительности работ и ряд других случайных распределений. Разработанная модель может быть агрегирована в общую модель исследования процессов эксплуатации территориально-распределенных технических систем.
Программное средство реализовано на объектно-ориентированном языке программирования C# с использованием интегрированной среды разработки (IDE) ПО Microsoft Visual Studio 2010.
Ключевые слова: ремонтно-диагностический комплекс, имитационное моделирование, система массового обслуживания, территориально-распределенные технические системы, сменные элементы.
Процесс устранения отказов и неисправностей сложных технических систем включает в себя предварительную проверку работоспособности, выявление факта неисправности (отказа) - контроль, локализацию места неисправности - диагностику и устранение отказа - ремонт. Поступающие в ремонт сменные элементы (СЭ) (заявки) в случае их действительной неработоспособности проходят последовательно контроль исправности и диагностику с целью локализации неисправности, а затем непосредственно ремонт с использованием соответствующей оснастки и запасного имущества и принадлежностей (ЗИП) [1]. Прошедшие ремонт СЭ повторно проходят контроль исправности, в случае выявления неисправности процесс повторяется. Если ремонт проведен успешно, СЭ возвращаются для пополнения израсходованных комплектов эксплуатационных ЗИП [2].
Таким образом, ремонтно-диагностический комплекс (РДК) может быть представлен как мно-
гофазная, многоканальная система массового обслуживания (СМО) (рис. 1).
Поступающие из территориально-распределенных технических систем (ТРТС) СЭ представляют собой входной поток для РДК. Работоспособные СЭ, попавшие на входной поток РДК по ложной регистрации отказа (вероятность P), сразу попадают на выходной поток. Остальные последовательно проходят контроль, диагностику и ремонт на соответствующих участках.
Каждый из участков состоит из нескольких линий. Прошедшие ремонт СЭ с вероятностью Ррем на входе после повторного контроля уходят на выходной поток, с вероятностью Ррем = 1- Ррем на
участок диагностики, а в последующем на участок ремонта и т.д.
Многофазные СМО состоят из нескольких последовательных типовых узлов, то есть представляют собой совокупность нескольких СМО [3].
107
Программные продукты и системы / Software & Systems
№ 5 (109), 2015
Рис. 1. Представление РДК трехфазной СМО Fig. 1. A representation of RDC of three-phase QS
Все заявки, обслуженные в одном узле, направляются в следующий узел. Другими словами, выходной поток одного узла многофазной СМО является входным потоком для следующего [4].
Точный расчет характеристик таких СМО возможен только в случае, если все потоки заявок являются пуассоновскими, а все времена обслуживания - случайными величинами, распределенными по экспоненциальному закону. В других случаях возможен лишь приближенный расчет характеристик СМО.
При расчете характеристик многофазных СМО [5] необходимо учитывать следующее:
- если на вход СМО поступает несколько потоков заявок, то интенсивность полного потока заявок в этой СМО равна сумме интенсивностей отдельных потоков;
- если на вход СМО поступает часть заявок из некоторого потока, интенсивность которого равна X, то интенсивность входного потока заявок в СМО можно определить по формуле ’Kft) = = PX(t), где P — вероятность попадания заявки во входной поток;
- интенсивность выходного потока в СМО (то есть потока обслуженных заявок) равна интенсивности входного потока.
Заявки, поступающие на обслуживание в СМО, образуют поток заявок. Элементы СМО, обслуживающие заявки, создают каналы обслуживания.
В большинстве случаев интервалы времени между моментами поступления заявок и/или времена обслуживания заявок в СМО представляют собой случайные величины, то есть в большинстве случаев заранее точно неизвестно, когда поступит очередная заявка и сколько времени займет ее обслуживание. Поэтому теория систем массо-
вого обслуживания основана на математическом аппарате теории вероятностей и математической статистике.
Наиболее точный расчет характеристик возможен для СМО, в которых поток заявок является пуассоновским (простейшим). Пуассоновский поток заявок обладает свойствами реккурентности, стационарности, ординарности и отсутствия последействий.
Если при этих условиях время обслуживания заявок на каждом участке подчиняется экспоненциальному закону, то в этом случае модель СМО легко описывается системой дифференциальных уравнений.
Однако на практике время обслуживания более адекватно может быть представлено с помощью
бета-распределения [6].
Обоснование выбора закона распределения продолжительности выполнения работ
в моделях систем массового обслуживания
В СМО, процесс обслуживания которых подвержен влиянию случайных воздействий [5], принимается, что продолжительность работ является случайной величиной. Предполагается, что случайные величины продолжительности работ подчинены принятому для данной СМО закону распределения, причем тип распределения принимается одинаковым для всех работ. Что касается параметров распределения, то последние задаются для каждой работы их ответственными исполнителями на основе либо нормативных данных, либо априорных соображений, либо своего производственного опыта.
108
Программные продукты и системы / Software & Systems
№ 5 (109), 2015
В некоторых СМО задаются три параметра: нижняя грань а области определения (оптимистическое время), верхняя грань b (пессимистическое время) и мода распределения m (наиболее вероятное время).
В других системах (например в некоторых отечественных) задаются всего два параметра - оценки а и b. Практически во всех системах СМО априорно принимается, что плотность распределения временных оценок продолжительности работ обладает тремя свойствами: непрерывностью,
унимодальностью, двумя неотрицательными точками пересечения этой плотности с осью абсцисс. Простейшим распределением с подобными свойствами является бета-распределение, которое обычно постулируется на практике. Общий вид бета-распределения характеризуется, помимо наличия большого количества случайных факторов, каждый из которых в отдельности оказывает незначительное, несущественное влияние, наличием нескольких, также случайных, факторов, число которых невелико, а влияние существенно. В результате воздействия существенных факторов распределение вероятностей обычно делается асимметричным. Именно такого рода обстоятельство имеет место при реализации подавляющего большинства входящих в сетевой проект работ. Отсюда вытекает возможность выбора бета-распределения в качестве априорного типового.
Анализ большого количества статистических данных (хронометражи времен реализации отдельных работ, нормативные данные и т.д.) тоже подтверждает возможность использования бета-распределения в качестве априорного.
Формула плотности бета-распределения имеет следующий вид:
В (р, q, х)
. . хр 1 при 0 < х < 1,
. В (р, q)
0 при х(0, х) 1,
где B(p, q) - бета-функция, причем
B (p, q) = jxp 1 (1 - xf 1 dx
0
Г (P)Г (q)
Г ( p + q )
(1)
(2)
а гамма-функция r(z) определяется по формуле
да
Г (z) = z-1dt, причем для целых z функция
0
r(z) = 1x2x...x(z - 1) = (z - 1)! Начальный момент r-го порядка определяется формулой
1
В ( р, q )
1
}xr+р-' 0
(1 - x) 1 dx
В ( р + г, q ) В ( Р, q )
(3)
При r = 1 получаем математическое ожидание
Mx = -Р-. (4)
p+q
При r = 2 получаем дисперсию
Dx =
pq
(P + Q f( P + Q +1)
(5)
Плотность вероятности времени работы, распределенного по закону бета-распределения [5] на отрезке [a, b], имеет вид:
f () =
1
(b - а)a+e-1 B (а, р)
(t - а)а 1 (b -t)
p-i
при а < t < b,
0 в противном случае.
Так, например, для построения теоретиковероятностного аппарата системы PERT полагают, что продолжительность произвольной работы есть случайная величина, распределенная по закону бета-распределения на отрезке [a, b], а параметры закона распределения - математическое ожидание М и дисперсия ст2 - определяются по формулам:
_ , а + 4m + b 2 (b - а)
M =----------, ст = -----—, где а, b и m - соот-
6 36
ветственно оптимистическая, пессимистическая и наиболее вероятная (мода) оценки, задаваемые ответственными исполнителями работы.
Жизненный цикл системы
После входа заявки в СМО возможны с заданной вероятностью прекращение цикла обслуживания и выход из РДК. По выходу из подсистемы ремонта заявки возвращаются в подсистему контроля, с заданной вероятностью продолжая обслуживание или покидая РДК.
Количество мест в накопителях каждого узла неограниченно, все подсистемы без отказов. В моделируемой СМО используется дисциплина очереди - принцип, в соответствии с которым поступающие на вход обслуживающей системы требования выбираются из очереди на обслуживание, - определяемая правилом FIFO (First In, First Out). В существующей реализации имитационной модели модельное время продвигается дискретно, по принципу продвижения модельного времени до очередного события.
Модельное время сдвигается вперед не на фиксированную величину, а точно до времени наступления самого раннего из очередных событий, что имеет ряд преимуществ: события рассматриваются и моделируются в моменты их свершения и одновременно, если у них одинаковое время появления. Промежутки времени, когда в модели ничего не происходит, пропускаются без особых затрат машинного времени.
Возможный вариант сдвигов времени для заданной СМО при наступлении основных событий, приводящих к изменению состояния системы, имеет вид, представленный на рисунке 2.
109
Программные продукты и системы / Software & Systems
№ 5 (109), 2015
Чу}
Обработка текущего события прихода заявки с Id О
Событие окончания обслуживания в приборе контроля заявки Id О
Событие окончания обслуживания в приборе контроля заявки Id О
Событие окончания обслуживания в приборе контроля
заявки Id О
Событие прихода заявки Id 1
Событие прихода заявки Id 1
Событие окончания обслуживания в приборе диагностики заявки Id О
Событие Событие окончания Событие окончания Событие
прихода обслуживания в заявки Id 1 приборе контроля заявки Id 1
обслуживания в прихода приборе диагностики заявки Id 2 заявки Id О
Рис. 2. Сдвиг модельного времени в СМО Fig. 2. Model timeshift in QS
Временные диаграммы, представляющие продвижение модельного времени по данному прин-
ципу, будут выглядеть так, как показано на рисунке 3.
Co6i ' лтие 1 Co6i Г ' лтие 2 Событие i-1 Событие i Собы 1 1 J тие i+1 Событие i+2 Событие п !_1 1 .
Временная i ti тоследовательность съ t2 лены состоя i-l ний системы ti i+1 ti+2 t tn
t Ось модельного времени Рис. 3. Временные диаграммы Fig. 3. Time-charts
110
Программные продукты и системы / Software & Systems
№ 5 (109), 2015
Обоснование выбора технических средств программной реализации
В качестве среды разработки программного средства для моделирования СМО выбрана среда разработки программного обеспечения Microsoft Visual Studio 2010. Выбор обусловлен широким набором инструментальных средств для написания и отладки кода, удобством их использования. Приложение реализовано на основе объектно-ориентированного языка программирования C# [7] как одного из наиболее многофункциональных, обладающего преимуществами простого синтаксиса и поддерживающего большое количество библиотек программного кода. Аргументом в пользу выбора данной IDE послужило и наличие в ней встроенных библиотек с классами генераторов случайных чисел (ГСЧ), создающими достаточно равномерную последовательность псевдослучайных значений.
Алгоритм моделирования функционирования РДК
При реализации программной модели СМО целесообразно использовать объектно-ориентированный подход. При этом структура обобщенных в единую СМО элементов выглядит, как показано на рисунке 4.
При наступлении каждого основного события, которое имитируется выборкой ближайшего события из списка текущих событий, происходят сдвиг модельного времени и удаление данного события из списка как обработанного. Последовательность основных этапов показана на рисунке 5.
Реализация СМО и процесса ее функционирования
Все элементы, входящие в состав СМО, а также объекты и понятия, необходимые для реализации функциональной и структурной моделей заданной СМО, представляют собой соответствую-
Объект «СМО»
Очередь Очередь на Очередь
на контроль диагностику на ремонт
Участки Участки Участки
контроля диагностики ремонта
Список событий
Обработчик событий
Рис. 4. Обобщенная структура СМО Fig. 4. QS general structure
щие сущности - экземпляры классов. Некоторые из классов объединены в библиотеки как относящиеся к одной категории объектов.
Классы, использующиеся для представления структурной организации модели:
- библиотека компонентов СМО Components-Library, включающая класс заявки Request и класс участка обслуживания Device;
- различные перечисления, характеризующие тип участка Type и его состояние State, текущее месторасположение заявки Location в системе и другие сущности (реализуются соответствующими полями свойств перечисления типов - enum);
- класс СМО.
Для реализации функциональных составляющих модели используются:
- класс события BasicEvent, возникающего в системе, с соответствующим типом TypeEvent;
- класс обработчика событий HandlerEvent, происходящих при функционировании СМО;
- библиотека генераторов входящих заявок, работающих в соответствии с заданным законом распределения СВ GeneratorsRV (все классы унаследованы от родительского абстрактного класса Distribution): ExponentialDistribution, GammaDistri-bution, BetaDistribution, UniformDistribution, Probability.
Для сбора, промежуточной и финальной обработки, а также формирования представления результатов созданы:
- класс сборщика статистики GarbageStatistic;
- класс ведения логирования LogModeling.
Одним из инструментов Visual Studio 2010, позволяющим наглядно продемонстрировать архитектуру приложения, является Dependency Graph (граф зависимостей), использующий язык DGML (Directed Graph Markup Language). Данный инструмент используется для анализа исходного кода и визуализации связей между различными артефактами кода приложений (классами, интерфейсами, пространствами имен и т.п.).
Для представления инфраструктуры созданного приложения и документирования кода построены соответствующие диаграммы зависимостей (рис. 6).
Для достижения приемлемого быстродействия работы программного приложения осуществлено разделение непосредственно процессов моделирования и взаимодействия приложения с пользователем путем организации многопоточного исполнения, с разделением потоков для моделирования работы СМО и для взаимодействия с пользователем программы.
Описание работы с разработанным программным средством РДК
В верхнем меню приложения можно выбрать язык интерфейса приложения: русский или анг-
111
Программные продукты и системы / Software & Systems
№ 5 (109), 2015
лийский. При этом, кроме отображения элементов интерфейса с использованием выбранного языка, весь дальнейший диалог с пользователем и вывод данных будут осуществляться на данном языке (рис. 7).
К необязательным настройкам процесса моделирования относится возможность ведения логи-рования этапов моделирования по всем основным событиям и сдвигам модельного времени системы.
112
Программные продукты и системы / Software & Systems
№ 5 (109), 2015
Логирование предоставляет информацию о состоянии всех элементов системы в текущий момент времени. Запись в лог осуществляется в заданный файл с расширением *.log, который можно открыть любым текстовым редактором, поддерживающим минимальные возможности форматирования текста.
Задание файла для записи в лог осуществляется через верхнее меню на вкладке «Моделирование» - «Запись в лог». При этом открывается стандартное для ОС Windows диалоговое окно сохранения файла с возможностью выбора пути сохранения и выбора имени (по умолчанию "CMO_Log.log"). При существовании файла с вво-
димым именем будет предложена его замена. По умолчанию лог моделирования не ведется.
Внешнее оформление рабочего пространства пользователя реализовано в соответствии со структурной схемой заданной СМО, что обеспечивает наглядность и удобство при инициализации ее параметров и позволяет сразу получить представление об основных принципах функционирования [8].
Настраиваемые параметры разделены на группы в соответствии с логикой структуры СМО: выделены подсистема контроля, подсистемы диагностики и ремонта, отдельно представлен блок характеристик по формированию входного потока заявок. В панели настроек системы также задается время моделирования.
К обязательным параметрам настройки сети массового обслуживания относятся:
- задание количества участков в узлах контроля, диагностики и ремонта;
- выбор законов распределения интервалов поступления заявок в систему, обслуживания в блоке контроля, в блоке диагностики и в блоке ремонта;
- задание параметров всех законов распределения;
- задание вероятности попадания в системы заявки, не требующей полного цикла обслуживания (исправной) и вероятности некорректного ремонта, то есть вероятности повторения цикла полного обслуживания.
Рис. 7. Интерфейс разработанного программного средства Fig. 7. The developed software interface
113
Программные продукты и системы / Software & Systems
№ 5 (109), 2015
При выборе следующих законов распределения случайных величин требуется ввод параметров:
- X для экспоненциального;
- 0 и k для гамма-распределения;
- а и р для бета-распределения;
- а и b для равномерного распределения.
Окна для ввода параметров становятся активными и доступными для редактирования в них данных только после выбора конкретного закона распределения. При этом после выбора закона распределения случайной величины появляются информирующие подписи, сообщающие о требуемых параметрах для выбранного распределения.
Ввод данных осуществляется в форме целых или дробных чисел в зависимости от параметров, которые эти данные характеризуют. Для инициализации коэффициентов распределений, вероятностей и времени моделирования могут использоваться целые и дробные числа. При указании количества приборов допустим ввод только целочисленных значений.
Дробные числа могут задаваться с использованием точки или запятой между дробной и целой частями, однако при вводе более одного коэффициента (что необходимо при инициализации некоторых распределений) требуется задание дробных чисел через точку с разделителем в форме запятой между задаваемыми параметрами.
В текстовое окно, расположенное ниже интерфейса ввода информации, выводятся данные о текущем состоянии работы приложения: запись о необходимости ожидания завершения процесса моделирования и по его окончании результаты работы модели.
Сообщения об ошибочной конфигурации модели СМО
В случае ввода недопустимых значений параметров распределения, вероятностей, времени или неправильности других настроек процесс моделирования не будет начат. При этом пользователю будут выведены соответствующие предупреждения об ошибках конфигурации. Возникновение подобных ошибок возможно при заполнении полей данных параметрами недопустимого формата (пустых полей данных, символических или буквенных символов вместо численных значений, неправильной записи дробных чисел и т.д.), и в такой ситуации будет выведено сообщение «Недопустимый формат вводимых данных».
Существует вероятность появления ошибок другой категории, связанных с вводом численных данных, не соответствующих ограничениям, накладываемым на вводимые параметры с позиции их математического и физического смысла. Все значения параметров для корректности процесса
моделирования должны лежать в допустимых интервалах, определяющихся ограничениями того или иного закона распределения [9]. Для коэффициентов некоторых распределений недопустимы ввод отрицательных и нулевых значений, задание интервала вероятности в диапазоне, лежащем за границами {0, 1}, и т.д. Ошибки такого рода приводят к появлению сообщения «Введены недопустимые значения».
Разработка модели СМО в GPSS
Для оценки качества разработанного программного средства было осуществлено моделирование СМО средствами общецелевой системы моделирования GPSS [10].
С учетом принципов построения моделей в среде GPSS алгоритм симулирования процесса функционирования заданной СМО сводится к следующему.
Шаг 1. Обеспечить генерацию входящих тран-зактов с экспоненциальным распределением интервалов времени прибытия.
Шаг 2. Описать маршрут следования транзак-тов:
- поместить транзакт в объект оборудования «очередь контроля»;
- если дальнейшее обслуживание не требуется, удалить транзакт из системы;
- переместить транзакт в объект оборудования «многоканальная СМО контроля»;
- освободить место в «очереди контроля»;
- обслужить транзакт в «многоканальной СМО контроля»;
- если транзакт ранее успешно прошел полный цикл обслуживания, удалить его из системы;
- переместить транзакт в объект оборудования «многоканальная СМО диагностики»;
- освободить место в «очереди диагностики»;
- обслужить транзакт в «многоканальной СМО диагностики»;
- поместить транзакт в объект оборудования «очередь ремонта»;
- переместить транзакт в объект оборудования «многоканальная СМО ремонта»;
- освободить место в «очереди ремонта»;
- обслужить транзакт в «многоканальной СМО ремонта»;
- переместить транзакт в объект оборудования «очередь контроля» и повторить цикл, начиная с перемещения транзакта в объект оборудования «многоканальная СМО контроля».
Шаг 3. Обеспечить обслуживание транзактов во всех одноканальных и многоканальных СМО в соответствии с выбранными распределениями.
При создании модели СМО необходимо учитывать, что вероятности завершения обслуживания транзакта в системе и выход из нее на момент первичного вхождения в систему и на момент за-
114
Программные продукты и системы / Software & Systems
№ 5 (109), 2015
вершения цикла (то есть после прохождения обслуживания во всех участках - контроля, диагностики, ремонта, вторичного контроля) различны. Первая вероятность соответствует поступлению в систему изначально исправной детали, которая не требует дальнейшего обслуживания, а вторая -неудачному сеансу обслуживания в системе, в ходе которого не была восстановлена функциональность детали, то есть неудачному ремонту.
Текст программы для большей наглядности снабжен комментариями на русском языке, которые необходимо удалить при непосредственном прогоне модели:
INITIAL X$c,0 INITIAL X$t,0 Control STORAGE 3 Diagnostic STORAGE 2 Repair STORAGE 2 GENERATE (EXPONENTIAL(1,0,2))
ASSIGN 1,0
QUEUE WaitServiceInControl
TRANSFER 0.01,Service,NotService;С заданной Pr выход из СМО при отсутствии необходимости обслуживания (изначальной исправности)
NotService DEPART WaitServiceInControl TRANSFER,LeaveCMO Service ENTER Control
DEPART WaitServiceInControl ADVANCE (GAMMA(2,0,4,0.1))
LEAVE Control
TEST G P1,0,ContinueService;Проверка количества циклов ремонта
TRANSFER 0.03,LeaveCMO,ContinueService;С заданной Pr выход из СМО после цикла полного обслуживания
ContinueService QUEUE WaitServiceInDiagnostic ENTER Diagnostic DEPART WaitServiceInDiagnostic ADVANCE (BETA(2,0.5,3,0.1,0.9)); M[x]=0.75 LEAVE Diagnostic QUEUE WaitServiceInRepair ENTER Repair
DEPART WaitServiceInRepair ADVANCE (UNIFORM(2,0,1.8))
LEAVE Repair
ASSIGN 1+,1; Увеличение СЧ циклов обслуживания транзакта
QUEUE WaitServiceInControl TRANSFER ,Service
LeaveCMOSAVEVALUE t+,M1; Инкремент времени обслуживания транзакта
SAVEVALUE c+,1; Инкремент СЧ обслуженных транзактов
SAVEVALUE aveT,(X$t/X$c); Вычисление среднего времени пребывания в СМО TERMINATE GENERATE 1000000 TERMINATE 1
Для технической реализации данной особенности необходимо вначале установить, на каком этапе обслуживания находится активный транзакт, и только потом разыгрывать СВ и направлять его по дальнейшему маршруту в соответствии с заданной вероятностью.
Сравнительный анализ реализаций модели СМО
Наиболее важной искомой характеристикой функционирования заданной СМО является среднее время нахождения заявки в системе. Процесс моделирования с заданными параметрами показал следующие результаты: среднее время обслуживания в СМО разработанным программным средством составило 2,531 сек., а в системе GPSS World - 2,555 сек.
Показатели различаются сотыми долями, что доказывает корректность работы и эффективность разработанного программного приложения. Различие объясняется использованием разных ГСЧ СВ, равномерно распределенных на интервале {0, 1}, и использованием различных алгоритмов генерации случайных величин с заданным распределением.
Относительно продолжительности моделирования, то есть машинного времени имитации, отражающего затраты ресурса времени компьютера, измерения показали: машинное время моделирования для программного средства —12,3 сек., а для пакета GPSS World —12,4 сек. Это доказывает аналогичную производительность реализаций модели в обеих средах.
В результате использования различных реализаций моделей отмечены такие преимущества созданного программного средства, как наглядность представления моделируемой СМО, прозрачность и доступность интерфейса, простота использования, отсутствие необходимости выполнения предварительных расчетов при инициализации параметров, вывод результатов в доступной и понятной форме, защита от ввода недопустимых параметров.
К недостаткам созданного программного приложения можно отнести меньшую информативность отчета (определяется меньшее количество характеристик функционирования СМО и статистических параметров), что объясняется спецификой и требованиями технического задания.
При этом по точности и быстродействию разработанная программа не уступает модели, написанной в GPSS.
Литература
1. Абу-Абед Ф.Н. Имитационное моделирование процессов ремонтно-технического обслуживания нефтяных скважин // Программные продукты и системы. 2010. № 4. С. 167-171.
2. Абу-Абед Ф.Н., Аверкин В.Н., Кордюков Р.Ю., Щер-бинко А.В. Имитационное моделирование системы ремонта и технического обслуживания буровых установок // Ремонт, восстановление, модернизация. 2011. № 4. С. 19-21.
3. Алиев Т.И. Погрешности моделирования высоконагруженных систем в GPSS WORLD // Науч.-технич. вестн. информационных технологий, механики и оптики. 2013. № 1. С. 70-75.
4. Алиев Т.И. Характеристики дисциплин обслуживания заявок с несколькими классами приоритетов // Изв. РАН. Теория и системы управления. 1987. № 6. С. 188.
115
Программные продукты и системы / Software & Systems
№ 5 (109), 2015
5. Арепин Ю.И., Допира Р.В., Смоляков А.А. Военная кибернетика: методология создания автоматизированных систем управления техническим обеспечением. Тверь. Изд-во НИИ ЦПС, 2006. 204 с.
6. Биллиг В.А. Основы объектного программирования на C# (C# 3.0, Visual Studio 2008): учеб. пособ. М., 2010. Сер. Основы информационных технологий.
7. Гаммер М.Д., Сызранцев В.Н., Голофаст С.Л. Имитаторы на базе программно-аппаратной платформы в техническом образовании. Н.: Изд-во Тюменского гос. нефтегаз. ун-та, 2011.
8. Голенко-Гинзбург Д.И. Стохастические сетевые модели планирования и управления разработками: монография. Воронеж: Научная книга, 2010.
9. Допира Р.В., Кордюков Р.Ю., Платонов А.Ю., Сергиенко С.В., Щербинко А.В. Методика планирования ввода в эксплуатацию сложных технических систем // Ремонт, восстановление, модернизация. 2014. № 9. С. 45-48.
10. Мартенс Т., Вальрайвенз Дж., Брунэел Г. Приоритетные системы массового обслуживания: от вероятностных производящих функций к конечным вероятностям. Системы массового обслуживания. 2007. Т. 55. Вып. 1. С. 27-39.
DOI: 10.15827/0236-235X.108.107-116 Received 01.12.14
SIMULATION MODEL FOR REPAIR AND DIAGNOSTIC COMPLEX BENCHMARK EVALUATION
Abu-Abed F.N., Ph.D. (Engineering), Associate Professor, [email protected];
MartynovD. V., Ph.D. (Engineering), Associate Professor, [email protected] (Tver State Technical University, Nikitin Quay 22, Tver, 170026, Russian Federation);
Sergienko S. V, Senior Officer
(Operational Control Aerospace Defense Command Profsoyuznaya St. 84/32, Moscow, 117997, Russian Federation;
Kordyukov RYu., Ph.D. (Engineering), Deputy Head, [email protected]
(Main Department of scientific and research activities and technological support of the advanced technologies of the Ministry of defense of the Russian Federation, Profsoyuznaya St. 84/32, Moscow, 117997, Russian Federation)
Abstract. A promising direction to improve a repair of complex geographically distributed technical systems (GDTS) is to create a repair and diagnostic complex (RDC) which can include performance monitoring sectors, diagnosis of components used in GDTS, as well as sections equipped with the necessary technological equipment, measuring tools, tools and accessories for maintening replacement elements (RE). RDF is equipped with means of power supply, spare equipment and accessories (SEA) and operational documentation to provide repair. It is assumed that personnel carrying out repairs have the appropriate expertise.
RDF is presented as a three-phase multi-channel queuing system (QS). When distribution functions of service time differ from exponential time, the study of such system complicates the use of analytical models. So the authors used simulation methods, C# object-oriented programming language and Microsoft Visual Studio 2010 IDE.
The developed software implementation of RDF model allows estimating its functioning characteristics. The most important characteristic is the average time for request service in the system. It also determines the number of channels necessary on each section. The developed model can be aggregated into the overall research model of GDTS operating processes.
Keywords: repair and diagnostic equipment, simulation, queuing system, geographically distributed technical systems, replacement components.
References
1. Abu-Abed F.N. Simulation modeling of oil wells repair and maintenance processes. Programmnyeprodukty i sistemy [Software & Systems]. 2010, no. 4, pp. 167-171 (in Russ.).
2. Abu-Abed F.N., Averkin V.N., Kordyukov R.Yu., Scherbinko A.V. Simulation modeling system repair and maintenance of drilling rigs. Remont, vosstanovlenie, modernizatsiya [Repair, Reconditioning, Modernization]. 2011, no. 4, pp. 19-21 (in Russ.).
3. Aliev T.I. Simulation errors of high-loaded systems in GPSS world. Nauchno-tehnichesky vestnik informatsionnykh tekhnology, mekhaniki i optiki [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2013, no. 1. pp. 70-75 (in Russ.).
4. Aliev T.I. Characteristics of service disciplines with multiple priority classes. Izvestiya Rossiiskoy akademii nauk. Teoriya i systemy upravleniya [Journal of Computer and Systems Sciences International]. 1987, no. 6, pp. 188- (in Russ.).
5. Arepin Yu.I., Dopira R.V., Smolyakov A.A. Voennaya kibernetika: metodologiya sozdaniya avtomatizirovannykh sistem upravleniya tekhnicheskim obespecheniem [Military Cybernetics: Methodology of Creation of Automated Control Systems for Technical Support]. ZAO NiI TsPS Publ., Tver, 2006, 204 p.
6. Billig V.A. Osnovy obyektnogo programmirovaniya na C#. Ser. Osnovy informatsionnykh tekhnologiy [Basics of object-oriented programming on C# (C# 3.0, Visual Studio 2008). “Fundamentals of Information Technologies” series.]. Moscow, Tutorial, 2010.
7. Gammer M.D., Syzrantsev V.N., Golofast S.L. Imitatory na baze programmno-apparatnoy platformy v tekhnicheskom obrazovanii [Simulators Based on Software and Hardware Platform for Technical Education]. Tyumen State Oil and Gas Univ. Publ., Novosibirsk, 2011.
8. Golenko-Ginzburg D.I. Stokhasticheskie setevye modeli planirovaniya i upravleniya razrabotkami [Stochastic Network Models of Development Planning and Management]. Monograph. Voronezh, Nauchnaya kniga Publ., 2010.
9. Dopira R.V., Kordyukov R.Yu., Platonov A.Yu., Sergienko S.V., Shcherbinko A.V. Planning methodology of complex technical systems commissioning. Remont, vosstanovlenie, modernizatsiya [Repair, Reconditioning, Modernization]. 2014, no. 9, pp. 45-48 (in Russ.).
10. Maertens T., Walraevens J., Bruneel H. Priority queueing systems: from probability generating functions to tail probabilities. Queueing Systems. 2007, vol. 55, iss. 1, pp. 27-39.
116
