|
представить его логические элементы. Правило соответствия выражение, элементами которого являются логические функции и логические выражения. Введём обозначение для отображения функций и операторов правила: «->» (импликация). Контролируемые признаки исследуемой части сети соответствуют параметрам, характеризующим режим штатного функционирования, если признаки всех составляющих, входящих в эту часть соответствуют параметрам, характеризующим режим штатного функционирования. с„„, (X,) -> С(Х), ЛГ = [*,],/ = й, (2.6) где X множество проверяемых* составляющих сети х„ п количество проверяемых составляющих сети, С(х) логическая функция проверки контролируемых признаков части сети на соответствие параметрам, характеризующим режим штатного функционирования, Ссоап(х) логическая функция проверки контролируемых признаков конкретной составляющей сети на соответствие параметрам, характеризующим режим штатного функционирования. Контролируемые признаки конкретной составляющей соответствуют параметрам, характеризующим режим штатного функционирования, если для каждого признака выполняется ограничение для этих параметром: . )~»О*»(*,)>/> = М.' = 1,я, (2.7) где I число ограничений, Ьр(х) функция выполнения р-го ограничения признака параметром, характеризующим режим штатного функционирования, для конкретной составляющей сети 2.3. Система правил формирования рекомендаций по устранению нарушений функционирования сетей информационного обмена Общий вид правил выбора организационно-технических мероприятий. В зависимости от значений контролируемых признаков составляющих сети, на52 |
50 предложение методики поиска нарушений функционирования вычислительной сети; разработка схемы анализа контролируемых признаков, производимого во время проверки конкретной составляющей сети определённого уровня представления на соответствие параметрам, характеризующим режим штатного функционирования; разработка методики выбора рекомендаций по устранению нарушений функционирования вычислительной сети; предложение формата правил выбора рекомендаций по устранению сбоев в зависимости от конкретной ситуации; 3. разработка структуры, алгоритмов и информационного обеспечения системы поддержки работоспособности вычислительной сети предприятия; 4. практическое обоснование предложенных методик путем внедрения программного комплекса системы поддержки работоспособности вычислительной сети предприятия: доказательство практической применимости формализованной модели представления сети и связанных с ней методик; доказательство корректности рекомендаций по устранению сбоев в работе сети; доказательство практической целесообразности системы, основанной на предложенных методиках. 1.5. Выводы по первой главе Исследование существующих топологий сетей, сетевых технологий, стандартов построения сетей позволило выявить обобщенную структуру корпоративной сети. Эго дает основание для разработки, построения и исследования модели представления корпоративной сети предприятия. 63 отсутствует доступ ко всем устройствам, составляющим детализируемый компонент сети, а также при отсутствии связи с ним. После просмотра составляющих на всех уровнях представления собирается общий отчёт о несоответствиях. Если отчёт не был сформирован, то нет необходимости в проведении организационно-технических мероприятий для устранения сбоев. Собранный отчёт является выходными данными процесса анализа сети. Проблемных ситуаций в сети может быть достаточно много, причем каждая ситуация может характеризоваться огромным числом контролируемых признаков. Учесть все это самостоятельно обслуживающий персонал не сможет. Поэтому при возникновении в сети неизвестной проблемной ситуации происходит ее фиксация для ее исследования и обработки обслуживающим персоналом. 2.2.3. Анализ контролируемых признаков Анализ контролируемых признаков происходит во время проверки конкретной составляющей сети определённого уровня представления на соответствие параметрам, характеризующим режим штатного функционирования. У каждой составляющей сети на любом уровне абстракции существует группа контролируемых признаков, способных описать работоспособность устройства иличасти сети. Контролируемые признаки указывают на корректное функционирование сети или её части только при соответствии привязанным к ним ограничениям параметрами, характеризующими режим штатного функционирования. Центральной частьюанализа контролируемых признаков на соответствие параметрам, характеризующим режим штатного функционирования, является понятие правила соответствия контролируемых признаковпараметрам, характеризующим режим штатного 64 функционирования, позволяющее эффективно представить его логические элементы. Правило соответствия выражение, элементами которого являются логические функции и логические выражения. Введём обозначение для отображения функций и операторов правила: «->» (импликация). Контролируемые признаки исследуемой части сети соответствуют параметрам, характеризующим режим штатного функционирования, если признаки всех составляющих, входящих в эту часть соответствуют параметрам, характеризующим режим штатного функционирования. СсостМ “> С(Х),Х = [х,]9 / = й, (2.6) где X множество проверяемых составляющих сети х*, п количество проверяемых составляющих сети, С(х) логическая функция проверки контролируемых признаков части сети на соответствие параметрам, характеризующим режим штатного функционирования, Сс0сг(х) логическая , функция проверки контролируемых признаков конкретной составляющей1 сети на соответствие параметрам, характеризующим режим штатного функционирования. Контролируемые признаки конкретной составляющей соответствуют параметрам, характеризующим режим штатного функционирования, если для каждого признака выполняется ограничение параметром, характеризующим режим штатного функционирования: Ьр (*/) ~> Ссост ( х , — 1 = 1 , п (2.7) где I число ограничений, Ьр(х) функция выполнения р-го ограничения признака параметром, характеризующим режим штатного функционирования, для конкретной составляющей сети х,. |