В условиях функционирования современных информационно-управляющих систем, постоянного усложнения реализуемых в них бизнес-процессов и возрастания требований к используемым информационным технологиям (ИТ) вопрос нормального функционирования ИТ-сервисов приобретает весьма важное значение. Эффективное сопровождение используемых ИТ-технологий и оборудования оказывается критичным для достижения поставленных для предприятия целей. Когда пользователь или клиент сталкиваются с какой-либо проблемой (неисправностью, сбоем, просто неумением пользоваться), он хочет получить квалифицированную помощь в работе с приобретенной им услугой или программным продуктом. При этом единственно, что его интересует — это максимально быстрое и качественное решение возникшей проблемы.
Опыт эксплуатации подобных систем [4,12,19,45] показал, что наилучшее значение показателя качества ИТ-сервисов достигается в случае соблюдения следующих принципов.
1. По всем вопросам, связанным с использованием сервисов, пользователи должны обращаться только в систему информационно-технической поддержки.
2. В рамках отдела информационных технологий на предприятии должна существовать выделенная группа сотрудников, имеющих компетенции различного уровня, которая будет обеспечивать разрешение проблемных ситуаций по запросам пользователей, в том числе и привлекая возможности внешних поставщиков сервиса.
3. Порядок оказания поддержки пользователям должен быть четко формализован для всех участников процесса: пользователей, диспетчеров, специалистов информационной службы и внешних поставщиков сервисов [19].
С организационной точки зрения эти принципы позволяют построить реально полезную для организации систему поддержки пользователей. Анализ работы современных систем информационно-технической поддержки (ИТП) на предприятии позволяет отнести их к классу сложных организационно-технических систем. В этом плане одной из основных особенностей их функционирования является тот факт, что параметры и структуры системы на различных этапах жизненного цикла могут изменяться под действием объективных и субъективных факторов [83].
Известно, что взаимоотношение функций и структуры системы в процессе ее развития характеризуется как единством, так и противоречиями. При этом разрешение указанных противоречий может осуществляться различными альтернативными путями, включая полный отказ от старой структуры, переставшей соответствовать новым функция (в случае возникновения системной проблемы), до модернизации старой структуры и коррекции процесса функционирования системы (в данном случае, принято говорить о наличии функциональной проблемы)[9].
Управление структурной динамикой сложных организационно-технических систем предназначено для целенаправленного формирования оптимальной последовательности действий, которая должна обеспечить разрешение диалектического противоречия между функциями и соответствующими структурами на каждом из этапов жизненного цикла системы.
Очевидно, что решения об изменении структуры системы принимаются не спонтанно, а инициируются изменениями состояния управляемого процесса. Другими словами, запуск процесса синтеза структуры — это ситуативная реакция системы управления на изменения управляемого процесса с целью приведения его к нужному (целевому) состоянию [83]. Если эта реакция замедленная или неадекватная, то говорить об эффективности управления, а, следовательно, и об эффективности всей системы поддержки в целом, не приходится. Она заведомо будет низкой. Отсюда вытекает важнейшее требование к управлению структурной динамикой сложных систем: повышение уровня адекватности управленческих решений состоянию управляемого процесса и сокращение времени реагирования системы на изменение состояния управляемого процесса. В результате возникает необходимость решения задачи управления в условиях неопределенности исходных данных для принятия решения об управляющих воздействиях. Адаптивные системы могут приспосабливаться к изменениям внешней среды и самого объекта управления, а также улучшать свою работу по мере накопления опыта, т. е. информации о результатах управления [79,93].
Вопросы синтеза и анализа сложных технических и организационно-технических систем с адаптивно изменяемой структурой рассматривались в работах М. Ю. Охтилева, Б. В. Соколова, Н. М. Александровского, А. Д. Цвиркуна, В. Н. Фомина, Л. А. Растригина и др. [83,5,93,9,107,109,111]. На содержательном уровне проблема управления структурной динамикой сложной системы и ее основных элементов на различных этапах жизненного цикла сводится к решению следующих основных классов задач:
— задачи моделирования и анализа структурной динамики сложной системы;
— задачи оперативной диагностики (наблюдения) состояния отдельных элементов и системы в целом;
— задачи выбора оптимальных программ управления структурной динамикой сложной системы и их регулирование в различных условиях обстановки (в том числе и задачи синтеза самой системы и ее системы управления на различных этапах жизненного цикла) [83].
Таким образом, одной из важнейших целей управления является управление структурной динамикой системы в интересах обеспечения максимально возможного уровня работоспособности системы в целом и ее отдельных элементов в каждый момент времени. Для ее достижения широко используют функцию реконфигурации структуры, которая включает в себя следующие операции: диагностика состояния системы по данным всевозможных наблюдений, поиск вариантов допустимой структуры, выбор варианта, контроль с помощью средств диагностирования результатов воздействия на структуру. Методы управления структурной динамкой систем широко используют возможности по перераспределению функций, выполняемых системой, между действующими элементами для оперативной подстройки к изменяющимся условиям среды.
Проводя реконфигурацию структуры, необходимо стремиться оперативно и с максимальной полнотой использовать сохранившиеся ресурсы организационно-технической системы для выполнения основных функций автоматизированного управления объектами с учетом изменения способов применения системы [41]. При этом основное отличие реконфигурации структур от управления резервами состоит в том, что реконфигурация может применяться и в тех случаях, когда резервы исчерпаны, но возможен переход на уровни работоспособности с понижением качества выполнения целевых задач объектами системы. Данные вопросы приобретают особую актуальность в настоящее время в связи с высокой степенью неопределенности поведения элементов и систем, в том систем ИТП в условиях нестационарной рабочей нагрузки. Анализ показывает [5,14,94], что любая организационно-техническая система, функционируя в нестационарной внешней среде, только тогда сможет эффективно выполнять поставленные целевые задачи и вырабатывать соответствующие плановые и регулирующие воздействия, когда в ней будут реализованы особые механизмы адаптации, состоящие в изменении параметров и структуры моделей (алгоритмов) планирования и управления объектами, входящими в состав специального программно-математического обеспечения. Таким образом, среди задач, связанных с реконфигурацией структуры сложной системы особое значение в настоящее время начинает приобретать задача структурной и параметрической адаптации к изменяющимся условиям обстановки.
При оптимизации процессов функционирования сложных систем обычно требуется знание их динамических характеристик. Эффективным является определение динамических характеристик объекта с помощью некоторой настраиваемой динамической модели, что позволяет использовать полученную модель также для решения различных задач управления. Моделирование позволяет решать следующие задачи:
— определение математического описания (динамических характеристик объекта) и использование этого описания для проектирования системы управления, настройки регуляторов и других элементов (модель как датчик характеристик объекта);
— изменение характеристик системы управления в желаемом направлении (модель как корректирующее устройство);
— измерение действительного или желаемого динамического состояния объекта в настоящем или будущем [85].
В тоже время, многочисленные исследования [10,92,102,116] показали, что разработка моделей, ориентированных на широкую предметную область является трудно разрешимой задачей. Этот факт приводит к необходимости создания моделей, специализированных по классу моделируемых объектов в конкретной предметной области. Поэтому, несмотря на имеющиеся публикации по вопросам концептуального и функционального моделирования систем информационно-технической поддержки, нельзя говорить о глубокой проработке предметной области, рассматриваемой в данном диссертационном исследовании. В частности, отсутствует методология перехода от функциональных моделей к имитационным моделям, используемым для изучения динамических свойств и переходных процессов систем ИТП. Анализ [58,92,100] позволяет также сформулировать принципиальную особенность процесса моделирования сложных организационно-технических систем, определяющую эффективность исследования: необходимость широкого использования средств автоматизации моделирования. Отсутствие указанных средств автоматизации приводит к выделению больших затрат (временных, денежных и других ресурсов) каждый раз при необходимости изменения структуры моделируемой системы. В настоящий момент распространенные инструментальные средства и языки имитационного моделирования предоставляют недостаточную поддержку для изучения систем с переменной структурой в случае необходимости перестроения структуры непосредственно в режиме симуляции и наблюдения за переходным процессом, сопровождающим вносимые изменения. Однако, технологии автоматизированного изменения моделей, разработанных с использованием базовых инструментальных средств и сред имитационного моделирования, в известных работах реализованы в недостаточной степени.
Необходимо также отметить следующее. Если исследуемые процессы характеризуются малым влиянием контролируемых и неконтролируемых величин на выходную величину, то в этом случае можно проводить однократный синтез структуры организационно-технической системы, осуществив направленный поиск в пространстве структурных состояний системы. Задачей оптимизации в данном случае будет являться выбор той структуры, при которой обеспечивается достижение целевого критерия. Такая оптимизация является статической и требует своего решения в классе систем информационно-технической поддержки с учетом потребностей минимизации времени реакции системы при разрешении возникающих проблем пользователей.
Если же процессы функционирования системы характеризуются значительным влиянием неконтролируемых нестационарных воздействий на выходную реакцию, которая в общем случае изменяется случайно, то закон изменения управляющих воздействий заранее не может быть известным и должен исследоваться в процессе функционирования системы. Исследование объекта управления в динамике функционирования должно установить границы оптимальных режимов, определить тенденции изменения выходной реакции системы и выявить переходные характеристики процесса [55]. При этом если окажется, что время изменения выходной величины мало по сравнению со временем переходных процессов то необходима оптимизация в динамике и, следовательно, необходимо проводить диагностику текущих характеристик системы. Хотя проблема диагностирования состояния объектов управления рассмотрена достаточно глубоко, в настоящее время важно осуществить переход от традиционного принципа апостериорного выявления фактов перехода организационно-технической системы в неработоспособное состояние (принцип констатации), к принципам оперативного опережающего обнаружения аномальных ситуаций, выявления и устранения их причин в интересах стабилизации основных показателей рассматриваемых объектов в процессе эксплуатации. При этом представляется целесообразным ориентироваться на последовательные методы принятия решения на основе статистического анализа наблюдаемых данных с учетом специфики функционирования систем ИТП.
Таким образом, тема диссертации, посвященная обоснованию моделей систем информационно-технической поддержки и разработке алгоритмов анализа статических и динамических свойств данного класса систем в интересах оптимизации их структуры и оперативной диагностики аномальных ситуаций, представляется актуальной.
Тема диссертации непосредственно связана с научным направлением Воронежского государственного университета — «Математическое моделирование, программное и информационное обеспечение, методы вычислительной и прикладной математики и их применение к фундаментальным и прикладным исследованиям в естественных науках».
Целью работы является разработка моделей и алгоритмов анализа процессов функционирования систем информационно-технической поддержки с переменной структурой на предприятии в интересах минимизации времени V реакции и оперативной диагностики аномальных ситуаций.
Объектом исследования выступает система информационно-технической поддержки предприятия как сложная организационно-техническая система.
Предметом исследования является математическое и алгоритмическое обеспечение моделирования и анализа процессов функционирования систем информационно-технической поддержки с переменной структурой.
Для достижения цели в работе рассматриваются и решаются следующие задачи.
1. Анализ известных методов и алгоритмов формирования и адаптации сложных организационно-технических систем с учетом потребностей задачи реконфигурации структуры системы ИТП в изменяющихся условиях.
2. Построение концептуальных и функциональных объектно-ориентированных моделей системы ИТП.
3. Формирование совокупности критериев для выявления структурных противоречий, определяющих функциональную работоспособность системы, и разработка алгоритмов, обеспечивающих анализ и синтез структуры системы ИТП по критерию минимизации времени взаимодействия с объектом обслуживания.
4. Разработка последовательных алгоритмов выявления аномальных ситуаций в процессе функционирования системы методами обнаружения «разладки» для оперативного диагностирования состояния системы ИТП и проведение экспериментальных исследований возможностей полученных алгоритмов.
5. Разработка технологии для проведения имитационного моделирования в интересах исследования процессов, сопровождающих изменение структуры системы, и ее апробация для анализа функционирования систем ИТП.
Методы проведения исследования. При решении поставленных в диссертации задач использовались аналитические и вычислительные методы современной теории систем, а именно: аппарат дискретной математики и теории графоваппарат теории принятия статистических решенийметоды исследования операций и системного анализаметоды теории вероятностеймодели и методы теории систем массового обслуживаниятехнологии объектно-ориентированного программирования, а также методы и технологии статистического имитационного моделирования.
Основные результаты, выносимые на защиту, и их научная новизна.
На защиту выносятся следующие результаты, впервые достаточно подробно развитые или полученные в настоящей работе:
1. Модели функционирования системы ИТП, отличающиеся использованием объектно-ориентированных представлений процессов взаимодействия с внешними объектами обслуживания и динамики состояний ее элементов и уровней, что обеспечивает последующую разработку математического и программного обеспечения для исследования системы с изменяющейся структурой.
2. Совокупность критериев выявления структурных противоречий для проверки функциональной работоспособности системы и выполнения базовых структурных ограничений, а также алгоритм синтеза структуры сложной системы по критерию минимизации времени взаимодействия с объектом обслуживания, использующий модифицированную процедуру Форда-Фалкерсона поиска минимального сечения на графе.
3. Алгоритмы выявления аномальных ситуаций в процессе функционирования отдельных элементов и уровней системы ИТП на предприятии, отличающиеся использованием последовательных статистических методов обнаружения «разладки» для фиксации негативных изменений параметров базовых элементов и обеспечивающие минимизацию времени их выявления, а также зависимости для среднего времени запаздывания и ложной тревоги при принятии решений от параметров алгоритма обработки.
4. Автоматизированная технология создания объектно-ориентированных имитационных моделей систем, отличающаяся использованием формализма карт состояний Харела и обеспечивающая проведение непрерывного моделирования и исследования переходных процессов при функционировании систем в процессе изменения структуры.
Научная новизна полученных результатов работы определяется следующим.
1. Предложены объектно-ориентированные модели многоуровневой системы ИТП на предприятии, определяющие принципы построения математического и компьютерного моделирования с использованием формализма гибридных автоматов (карт состояний Харела) для исследования ситуативных изменений структуры в динамике функционирования. На их основе разработана сквозная автоматизированная технология конструирования имитационных моделей сложной системы с различным количеством уровней и элементов на каждом уровне, использующая обоснованный набор базовых элементов модели и реализующая возможность изменения структуры непосредственно в процессе имитационного моделирования.
2. Уточнена совокупность критериев выявления структурных противоречий в процессе синтеза сложной организационно-технической системы, определяющих ее функциональную работоспособность и являющихся базовыми ограничениями к задаче структурного синтеза системы, и предложен алгоритм анализа указанных ограничений в виде совокупности логических процедур проверки выполнения сформулированных критериев.
Алгоритм синтеза структуры системы ИТП по критерию минимизации времени взаимодействия с объектом обслуживания основан на ее представлении в виде дискретной ситуационной сети и реализует модифицированную процедуру Форда-Фалкерсона для поиска минимального сечения на графе, позволяющую избежать выполнения вычислительных операций по нахождению сечения в полном объеме при последующей модификации структуры системы в процессе адаптации. Использование преобразований графа, необходимых для построения фундаментальной системы сечений усовершенствованной процедуры • Форда-Фалкерсона, обосновано путем формулирования и доказательства ряда промежуточных теорем.
3. Задача оперативной диагностики аномальных ситуаций поставлена и решена как задача обнаружения «разладки», возникающей при изменении вектора параметров рабочей нагрузки, элементов и уровней обслуживания системы ИТП (интенсивности входного потока запросов пользователей, интенсивности обслуживания, вероятности правильной классификации при наличии неоднородного входного потока и др.) в направлении, характеризующем снижение работоспособности системы. С использованием асимптотического разложения Ле Кама получены аналитические выражения для накапливаемых статистик алгоритмов кумулятивных сумм, используемых для обнаружения «разладки» по отношению к перечню негативных (аномальных) ситуаций при диагностике состояния системы ИТП. Методом статистического моделирования определены рациональные значения параметров настройки синтезированных алгоритмов.
Достоверность результатов работы. Достоверность основных результатов диссертационных исследований определяется сочетанием различных методов исследований как теоретических, так и экспериментальных (имитационное моделирование), совпадением результатов, полученных различными методами между собой, наглядной физической трактовкой установленных закономерностей и соотношений.
Значимость для науки и практики определяется созданием моделей, алгоритмов обработки информации и программных средств для моделирования и диагностики процессов функционирования систем ИТП на предприятии, обеспечивающих выработку рекомендаций по их поисковой оптимизации.
Концептуальные и функциональные модели, полученные для систем информационно-технической поддержки, могут найти практическое применение при проектировании и анализе систем массового обслуживания с изменяемой структурой, используемых на предприятиях в различных сферах деятельности.
Полученные в диссертации аналитические выражения для характеристик синтезированных алгоритмов и результаты статистического их моделирования позволяют обоснованно выбрать необходимые параметры алгоритма выявления аномальных ситуаций в процессе функционирования сложной системы с изменяемой структурой в соответствии с имеющейся априорной информацией относительно характеристик внешней и внутренней среды, а также с требованиями программной реализации.
Автоматизированная технология создания и применения имитационных моделей может быть использована при исследовании организационно-технических систем с изменяющейся структурой, для которых получено объектно-ориентированное описание процесса функционирования с использованием формализма карт состояний Харела.
В целом практическое значение полученных результатов определяется возможностью их применения для проведения исследований эффективности и оптимизации деятельности организационно-технических систем и подсистем сервисного обслуживания крупных организаций и предприятий.
Реализация результатов работы. Полученные в диссертации результаты использованы в НПЦ «Модуль» (г. Москва), а также в учебном процессе Воронежского государственного университета при разработке математического и программного обеспечения для моделирования и анализа сложных информационно-управляющих систем.
Апробация работы. Основные положения диссертационной работы докладывались и обсуждались: на VIII, X Международных научно-технических конференциях «Кибернетика и высокие технологии XXI века» (Воронеж) в 2007, 2009 годахна VI, VII, IX, X Международных конференциях «Информатика: проблемы, методология, технологии» (Воронеж) в 2006, 2007, 2008 и 2010 годах.
Публикации. По теме диссертации опубликовано 11 работ, в том числе 4 статьи в изданиях, рекомендованных ВАК. В совместных работах научному руководителю принадлежит постановка задачи и определение направления исследований. Соискателем выполнены доказательства теорем, проведение рассуждений и вывод аналитических соотношений, необходимых для решения поставленных задач, организация экспериментов для обоснования алгоритмов, полученных теоретических путем, анализ и интерпретация полученных результатов, а таюке разработка технологии автоматизированного создания моделей для имитации работы сложных систем с переменной структурой. В работах, опубликованных совместно с другими соавторами, автором диссертации выполнено уточнение совокупности критериев выявления структурных противоречий для оценки уровня конфликтности организации, а также синтез и анализ структуры сложной системы ИТП по критерию минимизации времени взаимодействия с объектом обслуживания.
Личный вклад автора. Основные результаты по теме диссертации получены лично автором и опубликованы в соавторстве с научным руководителем. В совместных работах научному руководителю принадлежит постановка задачи и определение направления исследований. Соискателем выполнены доказательства теорем, проведение рассуждений и вывод аналитических соотношений, необходимых для решения поставленных задач, организация экспериментов для обоснования алгоритмов, полученных теоретических путем, анализ и интерпретация полученных результатов, а также разработка технологии автоматизированного создания моделей для имитации работы сложных систем с переменной структурой. В работах, опубликованных совместно с другими соавторами, автором диссертации выполнено уточнение совокупности критериев выявления структурных противоречий для оценки уровня конфликтности организации, а также синтез и анализ структуры сложной системы ИТП по критерию минимизации времени взаимодействия с объектом обслуживания.
Объем и структура диссертационной работы. Диссертация состоит из введения, четырех разделов, заключения и списка литературы, включающего 120 наименований. Объем диссертации составляет 181 страницы, включая 171 страниц основного текста и 10 страниц списка литературы.
Выводы по главе 1!|ч.
1. Проанализированы инструментальные средства для проведения моделирования сложных организационно-технических систем и выбрана интегрированная среда MATLAB+Simulink+Stateflow, в связи с возможностями по интеграции среды с компонентами, написанными при помощи современных языков программирования (Java, С++ и т. д.). Наличие подсистемы Simulink для i Ч1'Ч визуального программирования, имитации и анализа динамических систем делает MATLAB одним из самых мощных средств имитационного моделирования. В процессе анализа выявлена необходимость расширения возможностей инструментальной среды в области моделирования систем с переменной структурой, в связи с тем, что в практике создания имитационных моделей событийно-управляемых систем часто возникает задача исследования многоэлементных систем с адаптивно изменяющейся в процессе симуляции структурой.
2. Предложен и реализован механизм автоматизированного построения моделей многоэлементных систем1 в среде MATLAB+ Simulink+Stateflow, обеспечивающий исследование поведения систем с переменной структурой в динамике функционирования и основанный на использовании формализма гибридных автоматов — карт состояния Харела, а также средств Stateflow API. Предлагаемая технология апробирована на примере модели системы ИТП.
3. В интегрированной среде MATLAB+Simulink+Stateflow создана имитационная модель, соответствующая концептуальному и функциональному описанию системы ИТП, полученному в главе 1. При этом был найден механизм, основанный на использовании возможностей Stateflow API, позволяющий расширить базовую модель системы с одним уровнем поддержки и одним блоком обработки до модели, адекватно описывающей многоуровневую систему ИТП на предприятии.
4. На созданной имитационной модели системы проведены испытания и получены численные результаты для оценки эффективности алгоритмов адаптации структурного состояния системы ИТП. Так, при адаптации структуры трехуровневой системы ИТП с интенсивностью входящего потока заявок, составляющей 40 заявок в час (в переводе с машинного на реальное время), перемещение слабо загруженного блока обработки со второго уровня обслуживания на первый уровень, позволило достаточно быстро вернуть среднее время ожидания заявки в очереди к целевому значению — двадцати пяти минутам (реального времени). Для наблюдения за процессом функционирования системы и выявления аномалий в динамике работы системы ИТП были использованы алгоритмы обнаружения «разладки», полученные в главе 3. При этом процесс адаптации структурного состояния системы занял около шестидесяти минут (реального времени).
Заключение
.
В ходе выполнения диссертационной работы поставлены и решены следующие научные задачи:
— проведен анализ известных методов синтеза и адаптации структуры организационно-технических систем, использующих как параметрическую, так и структурную адаптацию, а также определено место процесса структурной адаптации в стандартном контуре управления;
— выполнено концептуальное и функциональное модельное описание системы информационно-технической поддержки на предприятии в целом, а также отдельных видов деятельности в процессе ее работы;
— сформулирован набор критериев, которым должны удовлетворять компоненты сложной системы, обеспечивающих ее функционирование без структурных противоречий, проведены теоретические исследования алгоритмов оптимизации структуры в плане минимизации времени взаимодействия системы информационно-технической поддержки с объектами обслуживания;
— исследованы вопросы оперативного диагностирования текущего состояния системы информационно-технической поддержки с использованием математического аппарата теории массового обслуживания и последовательных алгоритмов обнаружения «разладки», обеспечивающих минимальное время запаздывания обнаружения негативных тенденций (аномальных ситуаций) при заданном уровне вероятности ложной тревоги;
— исследованы возможности создания автоматизированной технологии построения объектно-ориентированных имитационных моделей систем в подсистеме Stateflow, расширяющей возможности интегрированной инструментальной среды MATLAB + Simulink + Stateflow для моделирования систем с переменной структурой в динамике функционирования.
В ходе проведенных исследований получены следующие основные результаты и выводы.
1. Осуществлена реализация объектно-ориентированного подхода к конструированию моделей исследования структурной динамикой сложных организационно-технических систем на основе множества моделей элементарных составляющих на примере многоуровневой системы информационно-технической поддержки на предприятии. Построенные объектно-ориентированные модели для описания работы систем информационно-технической поддержки в нотации UML реализуют основные виды деятельности базовых элементов исследуемого класса систем и объекта обслуживания с использованием диаграмм вариантов использования, диаграмм состояний, диаграмм деятельности и обеспечивают последующую разработку математического и программного обеспечения для исследования систем с изменяющейся в динамике функционирования структурой.
2. Сформулирован набор критериев, которым должна удовлетворять организационно-техническая система, и соответствие которым гарантирует принципиальную работоспособность системы информационно-технической поддержки в целом. Полученный набор критериев является инвариантным по отношению к классу организационно-технической системы. На основе введенных критериев обоснована алгоритмическая процедура логического анализа структурных противоречий, возникающих в процессе обоснования облика сложной системы, обеспечивающая проверку возможности отнесения рассматриваемого варианта построения системы к множеству строго допустимых.
3. Разработаны математическая модель и алгоритм, позволяющие проводить синтез структуры системы ИТП и ее оптимизацию по критерию минимизации времени взаимодействия с объектом обслуживания. Основная трудность при разработке этой модели состояла в том, что аргументом целевой функции, определяющей минимальное время реакции, является структурное описание самой системы. Указанная трудность преодолевается на основе математического представления процесса функционирования системы дискретной ситуационной сетью с последующим использованием метода поиска критического сечения на графе на основе модифицированной процедуры Форда-Фалкерсона. Показано, что преобразование графа, необходимого для построения фундаментальной системы сечений, в полном объеме должно использоваться только один раз, а при каждом последующем определении фундаментальной системы (вызванном, например, изменениями морфологии системы) оно заменяется более простыми операциями. Поскольку реализованные алгоритмы оптимизации структуры инвариантны к предметной области, то данная процедура обеспечивает поддержку процесса проектирования, эксплуатации и модернизации систем различного функционального назначения.
4. На основе проведенного анализа особенностей функционирования системы информационно-технической поддержки предложен методический аппарат и синтезированы алгоритмы обработки результатов наблюдения за состоянием процесса обработки заявок, основанные на реализации специальных процедур обнаружения «разладки» для диагностирования негативных изменений в динамике функционирования многоуровневой системы ИТП, представленной в виде многофазной системы массового обслуживания. Применительно к базовой функциональной модели системы ИТП проанализированы различные аномальные ситуации, возникающие при работе системы (работа отдельного блока обслуживания, работа уровня обслуживания, работа уровня обслуживания с предварительной классификацией поступающих инцидентов).
При проведении исследований алгоритмов выявления аномальных ситуаций в динамике функционирования системы ИТП использованы традиционные показатели качества обнаружения «разладки», такие как величина среднего времени запаздывания и вероятность ложной тревоги при подаче сообщения о «разладке». С использованием полученных зависимостей указанных показателей от скорости изменения параметров функционирования системы (как внешних, так и внутренних) может осуществляться выбор параметров алгоритма, обеспечивающих минимальное время запаздывания обнаружения «разладки» при заданном уровне вероятности ложной тревоги. При исследовании аномальных ситуаций, возникающих при работе элемента обслуживания системы ИТП, установлено, что, при относительном изменении интенсивности входящего потока на 5%, 25% или 50% от базового значения достигается уровень вероятности ложных тревог, равный 0.02 при среднем времени запаздывания 15 условных единиц. При исследовании функционирования уровня обслуживания осуществлялось наблюдение за средним временем нахождения инцидента в очереди. Полученные результаты позволяют фиксировать увеличение времени нахождения сервис-заявки в системе, связанное с уменьшением работоспособности блоков на уровне обслуживания на 10% и более. Установлено, что при простой диспетчеризации инцидентов менеджером уровня возможно настроить алгоритм обнаружения «разладки» как для «сильных» изменений параметров функционирования системы (изменение значения интенсивности входящего потока до 45%), так и для небольших отклонений (10−15%), с вероятностью ложной тревоги порядка 0,08. Получено, что при добавлении этапа предварительной классификации поступающих инцидентов менеджером уровня эффективность процесса управления инцидентами повышается лишь в том случае, если вероятность правильной классификации инцидента менеджером превышает 0.85.
6. Для исследования работы систем с переменной структурой в интегрированной инструментальной среде MATLAB+Simulink+Stateflow разработан механизм, основанный на использовании возможностей Stateflow API, обеспечивающий возможность перестройки структуры модели в процессе непрерывной симуляции. Реализация данного механизма определяется возможностями использования разработанных в первой главе объектно-ориентированных моделей базовых элементов системы ИТП в виде диаграмм состояний и их интерпретации в форме карт состояний Харела (гибридных автоматов). Предложенная автоматизированная технология создания и применения имитационных моделей может быть использована при исследовании организационно-технических систем с изменяющейся структурой, для которых получено объектно-ориентированное описание процесса функционирования и реализовано соответствующее программное обеспечение с использованием указанного формализма. Данная технология и разработанный на ее основе программный комплекс позволяет исследовать различные аспекты поведения моделируемой системы, включая переходные процессы при добавлении/удалении элементов, а именно: изменение показателей качества при изменении структурыдинамику перехода системы в стабильный режим работызагрузку блоков обработки при пиковой рабочей нагрузке.
