Проверяемый текст
Лысков Олег Эдуардович. Автоматизация поддержки процесса обеспечения работоспособности вычислительной сети предприятия (Диссертация 2008)
[стр. 48]

48 бую проблему работы сети можно описать, как систему множеств значений группы контролируемых признаков.
Конкретная проблема имеет место, если
соответствующие ей значения контролируемых признаков входят в систему множеств значений конкретной проблемы.
Так как проблема связана с
контролируемыми признаками конкретных типов составляющих, то идентификация проблемы упростит ее локализацию.
При локализации происходит поиск связи значений, признаков сетевых устройств с конкретной ситуацией: Штатная ситуация это текущая'ситуация при условии пребывания сети в режиме штатного функционирования.
Работоспособность выражена некоторым конечным множеством штатных ситуаций.

Нели сеть находится в работоспособном состоянии, то область соответствующих значений контролируемых признаков обусловлена параметрами, характеризующими режим штатного функционирования.
Сетьможет находиться в двух видах состояний: работоспособном и
неработоспособном.
Состояние «Сеть работоспособна» единственное в своём роде и не требует классификации или группировки.
Неработоспособное состояниие требует классификации.
Так как для возвращения сети-в режим штатного функционирования необходимо принимать оперативные решения, то для поиска причин сбоев
и способов их устранения выгодно использовать ситуационный подход.
При использовании ситуационного подхода часто руководствуются группой правил [45].
Центральной частью анализа текущего состояния сети является понятие ситуационного правила, позволяющее эффективно представить его логические элементы.
Ситуационное правило выражение, элементами которого являются логические функции и логические выражения: Введём обозначения для отображения функций и операторов правила: «->» (импликация), «Л» (логическое «и»).
Добавим к операторам знак принадлежности, переменной множеству
значении «е».
[стр. 58]

59 2.2.
Методика поиска нарушений функционирования вычислительной сети Полученная модель представления сети благодаря ее свойству детализируемости компонентов может быть использована в процессе поиска устройств сети, нарушающих ее функционирование.
В целях автоматизации решения этой задачи была разработана методика поиска нарушений функционирования вычислительной сети.
2.2.1.
Понятие проблемы функционирования сети Под текущей ситуацией будем понимать совокупность значений контролируемых признаков исследуемой части сети или составляющей сети в период между переходами от некорректного функционирования к штатному, и наоборот, или до проведения диагностики сети, если диагностика выявила ощутимые изменения контролируемых признаков [79].
Проблемная ситуация это текущая ситуация при условии пребывания сети в состоянии некорректного функционирования.
Проблема это именованное множество вариантов проблемных ситуаций.
Любую проблему работы сети можно описать, как систему множеств значений группы контролируемых признаков.
Конкретная проблема имеет место, если
значения контролируемых признаков, ей соответствующие, входит в систему множеств значений конкретной проблемы.
Так как проблема связана с
конкретными контролируемыми признаками конкретных типов сетевых составляющих, то идентификация проблемы упростит её локализацию.
В процессе локализации происходит поиск связи значений признаков сетевых устройств с конкретной ситуацией.
Штатная ситуация это текущая ситуация при условии пребывания сети в режиме штатного функционирования.
Работоспособность выражена некоторым конечным множеством штатных ситуаций.

Если сеть находится в

[стр.,59]

60 работоспособном состоянии, то область соответствующих значений контролируемых признаков обусловлена параметрами, характеризующими режим штатного функционирования.
Сеть может находиться в двух видах состояний: работоспособном и
проблемном (неработоспособном).
Состояние «Работоспособна» единственное в своём роде и не требует классификации или группировки.
Проблема же требует классификации, которая будет проведена позже.
Так как для возвращения сети в режим штатного функционирования необходимо принимать оперативные решения, то для поиска причин сбоев
в сети и способов их устранения выгодно использовать ситуационный подход.
При использовании ситуационного подхода часто руководствуются группой правил [45].
Центральной частью анализа текущего состояния сети является понятие ситуационного правила, позволяющее эффективно представить его логические элементы.
Ситуационное правило выражение, элементами которого являются логические функции и логические выражения.
Введём обозначения для отображения функций и операторов правила: «-^» (импликация), «Л» (логическое «и»).
Добавим к операторам знак принадлежности переменной множеству
значений «е».
Формат правила следующий: (Рп 6 Рц)Л...Л(Р,л € Р1яг~л(р« € Р«Г~л{р„ € Р„) -> СР-и, (2.5) где СР имя текущего состояния сети, II — множество компонентов сети, создавших нештатную ситуацию, ру ]-й признак 1-го типа составляющей сети, исследуемый при нахождении сети в состоянии СР, Ру — множество значений з-го контролируемого признака 1-го типа составляющей сети, \у количество проверяемых типов составляющих сети (/ = 1,м>).
Правила формируются следующим образом: 1) Производится группировка проблем и именование каждой группы.
2) Формируется система исследуемых контролируемых признаков и множества соответствующих им значений для каждой конкретной проблемы.


[стр.,63]

64 функционирования, позволяющее эффективно представить его логические элементы.
Правило соответствия выражение, элементами которого являются логические функции и логические выражения.
Введём
обозначение для отображения функций и операторов правила: «->» (импликация).
Контролируемые признаки исследуемой части сети соответствуют параметрам, характеризующим режим штатного функционирования, если признаки всех составляющих, входящих в эту часть соответствуют параметрам, характеризующим режим штатного функционирования.
СсостМ “> С(Х),Х = [х,]9 / = й, (2.6) где X множество проверяемых составляющих сети х*, п количество проверяемых составляющих сети, С(х) логическая функция проверки контролируемых признаков части сети на соответствие параметрам, характеризующим режим штатного функционирования, Сс0сг(х) логическая , функция проверки контролируемых признаков конкретной составляющей1 сети на соответствие параметрам, характеризующим режим штатного функционирования.
Контролируемые признаки конкретной составляющей соответствуют параметрам, характеризующим режим штатного функционирования, если для каждого признака выполняется ограничение параметром, характеризующим режим штатного функционирования: Ьр (*/) ~> Ссост ( х , — 1 = 1 , п (2.7) где I число ограничений, Ьр(х) функция выполнения р-го ограничения признака параметром, характеризующим режим штатного функционирования, для конкретной составляющей сети х,.

[Back]