Розвинуто запропонований раніше підхід до побудови нової моделі, названої графо-логічною, призначеної для аналізу поведінки складних систем. Особливістю моделі є використання для відображення поведінки системи аналізу деякого графа, зв'язність якого залежить від значень певним чином обраних бульових функцій. Запропоновано методику генерації бульових функцій, що базується на використанні розбиття множини елементів системи на ряд підмножин, які не перетинаються, і вибірки елементів яких інтерпретуються як набори двійкових змінних, що входять у форми запису бульових функцій.

Розглянуто задачі відображення на GL-моделях підвищення та зниження ступеня відмовостійкості багатомодульних систем відносно базових систем. Доведено, що це можна зробити у межах GL-моделей. Для моделей циклічного типу запропоновано два підходи та відповідні способи розв'язання поставлених задач: зміна реберних функцій; введення додаткових ребер. Розглянуто задачу оптимізації проведення додаткових ребер. У випадку, коли GL-модель втрачає не більше ніж три ребра, цю задачу розв'язано.

Исследованы некоторые характеристики базовых графо-логических моделей отказоустойчивых реконфигурируемых многопроцессорных систем, устойчивых к двукратным отказам.

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

Рассмотрены вопросы структурной реализации формирования последовательностей специального вида с возможностью задания значений двух параметров - вероятности единичного состояния и вероятности переключения в выходной последовательности. Изложена методика и приведен пример расчета основных величин, характеризующих структурные особенности такого генератора.

Обобщены и развиты некоторые результаты, полученные авторами ранее в области синтеза графологических моделей, отображающих поведение многопроцессорных систем в потоке отказов для случая, когда система является устойчивой к двум отказам своих компонент. Предложен новый путь трансформации базовых моделей в небазовые.

Рассмотрена задача модернизации методов синтеза тестопригодных комбинационных цифровых устройств, основанного на использовании элементов с изменяемой логической функцией, базовых функциональных элементов, решение которой приводит к уменьшению времени тестирования.

Індекс рубрикатора НБУВ: З970.221

Рубрики:

Багатопроцесорні обчислювальні системи

Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ 

Рассмотрена возможность использования для оптимизации GL-моделей двух таблиц, подобных таким, которые используются при минимизации булевых функций методом Квайна.

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

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

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

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

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

Рассмотрены вопросы организации реконфигурирования в многопроцессорных системах управления на разных стадиях их проектирования и функционирования. Предложен алгоритм уменьшения перебора при определении размещения функций управления по процессорам системы, основой которого является таблица, которая трансформируется по мере появления отказов процессоров. В основу алгоритма положена таблица возможных размещений функций по процессорам, которая последовательно трансформируется по мере появления отказов. Приведен алгоритм расчета числа реальных размещений.

Проведено формирование функций управления автономного генератора последовательности равновесных псевдослучайных двоичных векторов, в основе которого лежит особый управляемый сдвиговый регистр. Предложен метод построения графа переходов рассматриваемого генератора. Предложен и доказан алгоритм построения функций управления генератора для случая формирования последовательности равновесных двоичных векторов с весом 3. Отличительной особенностью предлагаемого генератора является отсутствие повторов в последовательности векторов, что важно при выполнении статистических экспериментов - уменьшается погрешность.

Індекс рубрикатора НБУВ: З970.221-082

Рубрики:

Багатопроцесорні обчислювальні системи

Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ 

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

Індекс рубрикатора НБУВ: З970.221

Рубрики:

Багатопроцесорні обчислювальні системи

Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ