Про модифікацію графо-логічної моделі
Репозитарій Вінницького Національного Технічного Університету
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Про модифікацію графо-логічної моделі
О модификации графо-логической модели About modification of graph-logic model |
|
Creator |
Морозов, К. В.
Романкевич, В. О. Потапова, К. Р. |
|
Subject |
GL-модель
модифікація реберних функцій блоковані вектори GL-model modification of edge functions blocked vectors. GL-модель модификация реберных функций блокируемые векторы |
|
Description |
Базова GL-модель відображає поведінку відмовостійких багатопроцесорних систем (ВБС) у потоці відмов, число яких не перевищує припустимого. У випадку, якщо рівень надійності системи, що розробляється, є недостатнім, він може бути підвищений шляхом організації стійкості ВБС до деяких відмов більш високої кратності. Для збереження адекватності моделі поведінці системи в потоці відмов вона може бути модифікована, зокрема, шляхом зміни її реберних функцій. У статті вирішується задача пошуку критеріїв для вибору пар реберних функцій, які доцільно модифікувати.
Базовая GL-модель отражает поведение отказоустойчивых многопроцессорных систем (ОМС) в потоке отказов, число которых не превышает допустимого. В случае, если уровень надежности разрабатываемой системы недостаточен, он может быть повышен путем организации устойчивости ОМС к некоторым отказам более высокой кратности. Для сохранения адекватности модели поведению системы в потоке отказов она может быть модифицирована, в частности, путем изменения ее реберных функций. В статье решается задача поиска критериев для выбора пар реберных функций, которые целесообразно модифицировать. The basic GL-model represents the behavior of the fault-tolerant multiprocessor systems (FTMS) in a stream of failures, the number of which does not exceed the allowable value. If the reliability of the developed system is insufficient, it may be raised by providing tolerance of the FTMS to some failures of higher order. To maintain the adequacy of the model with behavior of the system in a stream of failures it can be modified, in particular by changing its edge functions. This paper solves the problem of finding criteria for selection of pairs of edge functions, that are expedient to be modified. |
|
Date |
2016-03-01T09:16:12Z
2016-03-01T09:16:12Z 2015 |
|
Type |
Article
|
|
Identifier |
Морозов К. В. Про модифікацію графо-логічної моделі [Текст] / К. В. Морозов, В. О. Романкевич, К. Р. Потапова // Інформаційні технології та комп'ютерна інженерія. - 2015. - № 3. - C. 42-49.
1999-9941 http://ir.lib.vntu.edu.ua/handle/123456789/8990 https://itce.vntu.edu.ua/index.php/itce/article/view/207 004.05 |
|
Language |
uk_UA
|
|
Format |
application/pdf
|
|
Publisher |
ВНТУ
|
|