Поиск

Полнотекстовый поиск:
Где искать:
везде
только в названии
только в тексте
Выводить:
описание
слова в тексте
только заголовок

Рекомендуем ознакомиться

'Документ'
Считать утратившим силу Положение о наркологическом диспансере, утвержденное Министерством здравоохранения СССР от 0.08.7 N 1- 7/1 - 5. Заместитель М...полностью>>
'Регламент'
1. Утвердить прилагаемый Административный регламент Федеральной миграционной службы исполнения государственной функции по осуществлению лицензировани...полностью>>
'Тесты'
эмболия в) нарушение обмена веществ г) гиперемия, отёк д) длительный спазм сосудов Перечислите виды эмболий: а) тканевая б) жировая в) гиалиново-капе...полностью>>
'Документ'
ХXI век - век информации и информационных технологий. Но станет ли новое столетие веком Интернета? Пусть на него ответит время. Интернет, развивающийс...полностью>>

Университет Украины «Киевский Политехнический Институт»

Главная > Документ
Сохрани ссылку в одной из сетей:

Дерево иерархии ребер GL-модели

А.М. Романкевич, В.А. Романкевич, Бахтари Хедаятоллах

Национальный Технический Университет Украины

«Киевский Политехнический Институт», Киев, Украина

В докладе рассматриваются циклические графо-логические модели (GL-модели) поведения отказоустойчивых реконфигурируемых многопроцессорных систем (ОМС) в потоке отказов [1]. Подобные модели используются при расчете надежности ОМС. GL-модель представляет собой граф, каждому ребру которого приписана булева функция. Переменные функций суть состояния процессоров (1 – работоспособен, 0 - отказ), значение функции определяет состояние ребра графа (0 – исчезает, 1 - присутствует). Состоянию ОМС соответствует связность графа (отсутствие связности отражает потерю работоспособности системы). ОМС, включающую n процессоров и теряющую работоспособность при появлении не менее, чем m+1 отказов своих процессоров, мы будем называть базовой.

Основой GL-модели базовой ОМС является циклический (хотя это не обязательно) граф, связность которого при появлении того или иного вектора состояния системы определить несложно. Сложности начинаются при преобразовании модели базовой ОМС к модели небазовой [2], то есть системы, которая может вести себя в потоке отказов иначе, чем базовая, например, оказаться работоспособной при появлении некоторого множества векторов состояния ОМС с m+1 нулевых компонент.

Один из путей преобразования моделей – введение дополнительных ребер, которые способны блокировать потерю связности при появлении того или иного вектора состояния. Эти ребра вместе со своими реберными функциями могут усложнить модель. Поэтому за основу выбирается модель, которая при появлении вектора с m+1 нулевых компонент теряет всего 2 ребра: с одной стороны это – минимум для потери связности, а с другой – для блокирования достаточно одного дополнительного ребра.

Однако некоторые комбинации векторов состояния ОМС могут привести к образованию так называемых попарных реберных циклов (ПРЦ) в графе базовой GL-модели, что усложнит преобразованную модель, так как число дополнительных ребер увеличивается. Для определения возможности появления ПРЦ в модели в докладе предлагается строить дерево иерархии ребер базовой GL-модели. Вершинами дерева являются ребра исходной модели, а уровень иерархии определяется числом переменных, от которых зависят реберные функции. Между деревом и соответствующей GL-моделью существует взаимно-однозначное соответствие, а определенная упорядоченность вершин дерева позволяет упростить решение задачи определения наличия ПРЦ в модели при необходимости блокирования заданного множества векторов состояния ОМС.

Литература

  1. Романкевич А.М., Карачун Л.Ф., Романкевич В.А. Графо-логические модели для анализа сложных отказоустойчивых вычислительных систем // Электронное моделирование.- 2001.-т.23, №1.- С.102-111.

  2. Романкевич А.М., Иванов В.В., Романкевич В.А. Анализ отказоустойчивых многомодульных систем со сложным распределением отказов на основе циклических GL-моделей // Электронное моделирование.-№5, т.26, 2004, с.67-81



Скачать документ

Похожие документы:

  1. Университет Украины "Киевский Политехнический Институт"

    Руководство пользователя
    Прямоугольный блок в верхнем левом углу окна Micro Cap - меню управления. Оно используется, для управления параметрами окна с клавиатуры и обеспечивает следующие стандартные опции Windows:
  2. А. М. Степанчук Национальный технический университет Украины "Киевский политехнический институт" § исследование

    Исследование
    Дворянкин Александр Михайлович, д.т.н, профессор, заведующий кафедры программного обеспечения автоматизированных систем Волгоградского государственного технического университета,
  3. Министерство образования и науки украины национальный технический университет украины "киевский политехнический институт" факультет социологии кафедра философии научное сообщество студентов и аспирантов фс

    Документ
    Честь имеем пригласить Вас к участию в Международной научно-практической конференции "Материализм и эмпириокритицизм" – шедевр мировой философской мысли”, которая состоится 27-28 ноября 2008 года в НТУУ "КПИ" на
  4. Институт международного сотрудничества (6)

    Информационный бюллетень
    Министр образования и науки, молодежи и спорта Украины Дмитрий Табачник на пресс-конференции в Москве заявил, что количество украинских вузов, входящих в мировые рейтинги, увеличится.
  5. Программа конференции 18 20 мая 2010 г. Киев, Украина

    Программа
    Политехническая, №35, метро «Политехнический институт»). Институт проблем материаловедения им. И.Н.

Другие похожие документы..