Дипломы, курсовые, рефераты, контрольные...
Срочная помощь в учёбе

Теоретические основы построения однородных вычислительных систем на неразрезных процессорных матрицах

Диссертация: Теоретические основы построения однородных вычислительных систем на неразрезных процессорных матрицах
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

Реализация результатов исследования состоит, во-первых, в том, что предлагаемая теория вошла в научный обиход, преподаётся в ВУЗ-ах, вошла в учебники и монографии. Во-вторых, средства моделирования ОВС и операционная система СУММА построены и исследованы на основе развитой в работе концепции алгоритмического моделирования ОВС. В-третьих, оптимальные структуры ОВС МИНИМАКС, СУММА и многих других… Читать ещё >

Содержание

  • Система шрифтов, обозначений и сокращений
  • Глава 1. Алгоритмические модели ОВС
    • 1. 1. Концепция ОВС
      • 1. 1. 1. Пути повышения быстродействия ЭВМ
      • 1. 1. 2. Однородные вычислительные системы (ОВС)
      • 1. 1. 3. Экспансия параллельных систем и ОВС
      • 1. 1. 4. Резюме
    • 1. 2. Функционально-алгоритмическая модель ОВС
      • 1. 2. 1. Конфигуратор ОВС.,
      • 1. 2. 2. Структура алгоритмических описаний ОВС
      • 1. 2. 3. Временные и схемные описания ОВС
      • 1. 2. 4. Алгоритмическое имитационное моделирование
      • 1. 2. 5. Резюме
    • 1. 3. Системная модель ОВС
      • 1. 3. 1. Задача системного моделирования ОВС
      • 1. 3. 2. Система параллельных процессов
      • 1. 3. 3. Квазипараллельное исполнение параллельных процессов
      • 1. 3. 4. Язык квазипараллельного программирования
      • 1. 3. 5. Автоматное представление процесса
      • 1. 3. 6. Резюме
    • 1. 4. Клеточная модель ОВС
      • 1. 4. 1. Постановка задачи
      • 1. 4. 2. Предшествующие модели коллективов вычислителей
      • 1. 4. 4. Однородная стохастическая клеточная (ОСК-) система
      • 1. 4. 5. Функциональные свойства ОСК-систем
      • 1. 4. 6. Проблематика теории ОСК-систем
      • 1. 4. 7. Резюме
    • 1. 5. Структурные характеристики ОВС
      • 1. 5. 1. О теории идеального коллектива.,
      • 1. 5. 2. Структурные характеристики ОВС
      • 1. 5. 3. Теоретическое моделирование ОВС
    • 1. 6. Основные результаты главы
  • Глава 2. Пределы производительности ОВС
    • 2. 1. Технологические пределы производительности ОВС
      • 2. 1. 1. Технологический прогресс ЭВМ
      • 2. 2. 2. Тепловой барьер
      • 2. 1. 3. Резюме
    • 2. 2. Исследование эффективности ОВС с общими шинами
      • 2. 2. 1. Постановка задачи
      • 2. 2. 2. Предварительный анализ задачи
      • 2. 2. 3. Результаты моделирования
      • 2. 2. 4. Обсуждение результатов
    • 2. 3. Исследование эффективности ОВС с трансляционным обменом
      • 2. 3. 1. Операционная система ОВС
      • 2. 3. 2. Структура ОВС СУММА
      • 2. 3. 3. Передача данных в ОВС СУММА
      • 2. 3. 4. Постановка задачи анализа распределённого управления
      • 2. 3. 5. Анализ управления трансляционными обменами в ОВС
      • 2. 3. 6. Эффективность распределённого управления ОВС СУММА
      • 2. 3. 7. Системный барьер производительности ОВС
    • 2. 4. Световой барьер и его преодоление
      • 2. 4. 1. Постановка проблемы
      • 2. 4. 2. Световой барьер
      • 2. 4. 3. Теория вычислений с физической точки зрения
      • 2. 4. 4. Вычислительные события
      • 2. 4. 5. Природа светового барьера
      • 2. 4. 6. Синхронные и асинхронные ЭВМ
      • 2. 4. 7. Классический параллелизм
      • 2. 4. 8. Принцип близкодействия
      • 2. 4. 9. Релятивистские ЭВМ
      • 2. 4. 10. О релятивистской теории вычислений
      • 2. 4. 11. Проекты релятивистских ЭВМ
      • 2. 4. 12. Резюме
    • 2. 5. Эффективность параллельных вычислений
      • 2. 5. 1. Постановка проблемы
      • 2. 5. 2. Алгоритмические пределы производительности
      • 2. 5. 3. Архитектурные пределы производительности
      • 2. 5. 4. Резюме
    • 2. 6. Основные результаты главы
  • Глава 3. Теория структур ОВС
    • 3. 1. Локальные однородные структуры
      • 3. 1. 1. Коммутаторы в вычислительных системах
      • 3. 1. 2. Структура системы
      • 3. 1. 3. Локальность
      • 3. 1. 4. Однородность
      • 3. 1. 5. Периодичность
    • 3. 2. КАИС-структуры
      • 3. 2. 1. Определение КАИС-структур
      • 3. 2. 2. Эвклидовы и диофантовы структуры
      • 3. 2. 3. Локальные КАИС-структуры
      • 3. 2. 4. Типы КАИС-структур
      • 3. 2. 5. Оптимальные КАИС-структуры
      • 3. 2. 6. Строение и эквивалентность КАИС-структур
      • 3. 2. 7. Абсолютная и относительная адресация
      • 3. 2. 8. Размеченная решётка относительных адресов
    • 3. 3. Вложение структур в структуры
      • 3. 3. 1. Задача вложения матриц в КАИС-структуры
      • 3. 3. 2. Однозначные идеалы в Z+
      • 3. 3. 3. Поиск и-мерных матриц, вложимых в /)&bdquo--граф
      • 3. 3. 4. Клеточное и циклическое вложение матриц в структуру
      • 3. 3. 5. Вложение структуры в физическое пространство
    • 3. 4. Синтез и перебор Оп-графов
      • 3. 4. 1. Постановка задач синтеза и перебора
      • 3. 4. 2. Предельные КАИС-структуры
      • 3. 4. 3. Таблица изоморфизмов
      • 3. 4. 4. Алгоритм синтеза 2) и-графов
      • 3. 4. 5. Каталог оптимальных /)&bdquo--графов
    • 3. 5. Развитие теории структур ОВС
      • 3. 5. 1. Исследования КАИС-структур
      • 3. 5. 2. Комбинированные структуры
      • 3. 5. 3. Функциональные проблемы теории структур ОВС
      • 3. 4. 4. Резюме
    • 3. 6. Основные результаты главы
  • Глава 4. Отказоустойчивость ОВС
    • 4. 1. Проблема отказоустойчивости ОВС
      • 4. 1. 1. Отказоустойчивые системы
      • 4. 1. 2. Отказоустойчивые централизованные коммутаторы
      • 4. 1. 3. Отказоустойчивые распределённые коммутаторы
      • 4. 1. 4. Отказоустойчивые процедуры маршрутизации
      • 4. 1. 5. О диагностике ОВС
      • 4. 1. 6. Необходимость новой парадигмы структурной живучести
    • 4. 2. Пределы живучести ОВС
      • 4. 2. 1. Проблема живучести ОВС
      • 4. 2. 3. Живучесть ОВС с точки зрения теории просачивания
      • 4. 2. 4. Динамические модели живучести ОВС
      • 4. 2. 5. Исследование порогов просачивания
  • Метод моделирующей решётки
  • Метод второй производной
    • 4. 2. 6. Обсуждение результатов
    • 4. 2. 7. Реальная парадигма живучести ОВС
    • 4. 3. Отказоустойчивые неразрезные процессорные матрицы (НПМ)
    • 4. 3. 1. Источники отказов СБИС
    • 4. 3. 2. Обеспечение отказоустойчивости НПМ
    • 4. 3. 3. НПМ с программируемым резервом
    • 4. 3. 4. Реконфигурация НПМ с программируемым резервом
  • Алгоритм непосредственной перестройки
  • Алгоритм вертикальной перестройки
  • Алгоритм ограниченного захвата
  • Алгоритм свободного захвата
    • 4. 3. 5. Эффективность алгоритмов реконфигурации
    • 4. 3. 6. Архитектура ОВС на НПМ с программируемым резервом
    • 4. 3. 7. Резюме
    • 4. 4. Программная реализация алгоритмов реконфигурации НПМ
    • 4. 4. 1. Недостатки схемной реализации
    • 4. 4. 2. Архитектура ОВС с программной реконфигурацией НПМ
    • 4. 4. 3. Локальная самодиагностика НПМ
    • 4. 4. 4. Язык ЛОГИКА для описания клеточных автоматов
    • 4. 4. 5. Резюме
    • 4. 5. Реконфигурация отказоустойчивой НПМ методом консенсуса
    • 4. 5. 1. Новая парадигма реконфигурации НПМ
    • 4. 5. 2. ОВС с реконфигурацией НПМ методом консенсуса
    • 4. 5. 3. Волновой алгоритм поиска консенсуса
    • 4. 5. 4. Организация взаимодействий между ПЭ
    • 4. 5. 5. Пример реконфигурации
    • 4. 5. 6. Эффективность метода консенсуса
    • 4. 6. Основные результаты главы

Теоретические основы построения однородных вычислительных систем на неразрезных процессорных матрицах (реферат, курсовая, диплом, контрольная)

Актуальность проблемы. Одним из фундаментальных направлений развития современной науки и техники является достижение сверхвысокой производительности ЭВМ 1012-ь1014Р1орз и более. От решения этой проблемы зависит дальнейшее продвижение во многих стратегически важных отраслях науки, техники, экономики: численное моделирование сцен (синтез изображений), исследования по управляемому термоядерному синтезу, молекулярная динамика и статистическое моделирование в физике твёрдого тела и элементарных частиц, численный прогноз погоды, вычислительная аэродинамика и аэродинамика плазмы, разведка и моделирование нефтяных месторождений, численное решение трёхмерных волновых уравнений, проектирование интегральных схем, моделируются и декодируются структуры биомакромолекул. Для моделирование ядерных взрывов, вместо натурных испытаний, требуются ЭВМ с быстродействием в сотни раз большим, чем самые мощные суперкомпьютеры 90-х годов.

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

Концепция ОВС развивалась в СО РАН и в других научных организациях России при участии автора этой работы [1−9,13]. Исследования ОВС в России, связанные с развитием параллельных систем, основанных на однородности [ 1074], привели к созданию целого ряда экспериментальных и промышленных систем: МИНСК-222 [2], МИНИМАКС [3], СУММА [5] - в Институте математики СО РАНМИКРОС[8] и МИКРОС-Т — в Институте физики полупроводников СО РАНПС-300, ПС-2000 [6], ПС-3000, ПС-4000- в Институте проблем управления РАНМВС-100 [9] и МВС-хООО — в НПО «Квант».

Субмикронная технология 90-х, Неразрезные Процессорные Матрицы (НПМ) и достижение в ближайшем будущем фундаментальных пределов кремниевой технологии (технологическая норма — 0,1 мкм, тактовая частота -1 -2 Ггц, время перехода — 10 пс) требуют критического переосмысления основных архитектурных, структурных и теоретических решений в разработке новых поколений ОВС. Экспериментальное макетирование столь сложных систем представляется чрезвычайно дорогостоящим. Поэтому главным направлением исследований при разработке ОВС на неразрезных процессорных матрицах является теоретическое обоснование принимаемых решений.

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

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

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

2. Исследование фундаментальных пределов производительности различных архитектур ОВС и организации параллельных вычислений.

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

4. Разработка теории структур и алгоритмов функционирования структур ОВС, удовлетворяющих принципу близко действия.

5. Исследование пределов надёжности ОВС и новых парадигм живучести и самодиагностики НПМ.

6. Разработка близкодействующих алгоритмов реконфигурации избыточных НПМ СБИС с целью сохранения заданной структуры при отказах некоторой линейной доли элементов.

7. Разработка программной реализации алгоритмов реконфигурации.

8. Разработка архитектуры ОВС на НПМ.

Метод исследования, принятый в работе, — широкое применение ЭВМ для имитационного моделирования ОВС, аналитического решения математических задач теории структур и теории надёжности ОВС и, наконец, для программной реализации предлагаемых алгоритмов синтеза структур и реконфигурации структур. Широко привлекаются современные математические теории: графов, алгебраических систем, исследования операций, алгоритмов и вычислений, групп, чисел, решёток, случайных полей, просачивания, вероятностей [364-К373].

Научная новизна работы состоит в теоретическом обосновании способов построения отказоустойчивых ОВС на неразрезных процессорных матрицах СБИС с предельными технологическими параметрами и в обход известных ограничений производительности и надёжности. Во-первых, исследованы сами эти ограничения и сформулирован принцип их обхода. Во-вторых, построена теория КАИС-структур ОВС, которая интенсивно используется и развивается в работах российских и зарубежных авторов применительно к задачам синтеза структур распределённых супер-ЭВМ, организации их функционирования, диагностики и обеспечения отказоустойчивости. В-третьих, исследованы фундаментальные пределы надёжности ОВС и на этой основе развита реальная парадигма локальной самодиагностики и методы реконфигурации НПМ.

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

Практическая ценность исследования очевидна из того факта, что без исследования проблемы реализации ОВС на НПМ СБИС и без решения поставленных в работе задач стратегические цели развития супер-ЭВМ недостижимы.

Реализация результатов исследования состоит, во-первых, в том, что предлагаемая теория вошла в научный обиход, преподаётся в ВУЗ-ах, вошла в учебники и монографии. Во-вторых, средства моделирования ОВС и операционная система СУММА построены и исследованы на основе развитой в работе концепции алгоритмического моделирования ОВС. В-третьих, оптимальные структуры ОВС МИНИМАКС, СУММА и многих других современных разработок суть оптимальные КАИС-структуры, предлагаемые и синтезированные в данной работе. В-четвёртых, решены основные принципиальные проблемы обеспечения отказоустойчивости неразрезных процессорных матриц СБИС и разработана соответствующая архитектура ОВС.

Внедрение результатов подтверждается документами.

Апробация. Результаты исследования:

• обсуждались на семинарах в Институте математики СО РАН и на ВЦ СО РАН (г.Новосибирск), в Томском государственном университете на кафедре математической логики и проектирования РФФ, кафедре программирования и на Научно-техническом Совете ФПМК, в Сибирском физико-техническом институте (г.Томск).

• докладывались более чем на 17-ти международных, всесоюзных и всероссийских, а также на региональных, городских и вузовских конференциях, совещаниях и школах-семинарах в Москве, Киеве, Минске, Бишкеке, Ки-шенёве, Санкт-Петербурге, Новосибирске, Томске, Екатеринбурге, Таганроге, Ленинске (Кзыл-ордынской обл.).

Публикации. По тематике диссертации опубликовано 51 научная работа, из них: печатных — 49, из них: в центральных изданиях (рекомендованных ВАК) — 25, в трудах всесоюзных, всероссийских и международных конференций — 14, в региональной печати — 6, в трудах региональных конференций — 3, в иностранной печати — 1.

Структура и объём работы. Диссертация состоит из введения, четырёх глав, заключения, библиографии и приложения. Общий объём диссертации -350 страниц. Из них: 2 страницы титульных- 5 страниц содержания (166 пунктов) — 297 страниц основного текста, содержащего 52 рисунка и 27 таб.

4.6. Основные результаты главы 4.

В главе 4 получены следующие результаты.

1. Критически рассмотрены традиционные методы обеспечения отказоустойчивости ВС, в том числе основанные на взаимопроверках с построением синдрома неисправностей, и показана их недостаточность для решения этой проблемы в случае НПМ СБИС из-за невозможности замены, неограниченных требований к степени связности модулей, отсутствия близкодействия и неадекватности «византийского согласия» всех исправных.

2. Показано, что пределы надёжности однородной структуры того же порядка, что и надёжность вентиля, а минимальный выход годных ПЭ на НПМ должен быть не ниже порога просачивания. Для ОВС оптимальны КАИС-структуры минимального диаметра.

3. Даны два метода поиска порогов просачивания для произвольных однородных структур: метод моделирующей решётки и метод второй производной. Приведено точное решение классической задачи Хам-мерсли для квадратной и шестиугольной решёток .

4. На основе анализа источников отказов в СБИС и исследования пределов их надёжности предложена реальная парадигма живучести НПМ СБИС, учитывающая отказы ПЭ и связей и позволяющая использовать все полученные СБИС: неисправные — разрезать на годные компоненты для более простой технологии, частично годные — использовать в специальном режиме, годные — для реализации КАИС-структур.

5. Предложен метод программирования резерва НПМ СБИС, позволяющий варьировать избыточность от нуля или минимума в одну строку или столбец до максимума — четырёхкратной избыточности.

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

7. Методом второй производной аналитически исследовано поведение функции годности малых (до 18 ПЭ) подматриц НПМ в зависимости от выхода годных ПЭ. Показано, что для алгоритма непосредственной перестройки более надёжны структуры, вытянутые в горизонтальном направлении, а для алгоритмов захвата — в вертикальном. Эти результаты следует рассматривать как рекомендации по программированию резерва.

8. Предложена архитектура ОВС на неразрезных процессорных матрицах СБИС с программируемым резервом.

9. Рассмотрена схемная реализация алгоритмов реконфигурации с помощью комбинационных микропрограммных клеточных автоматов (МПКА) и указано, что такая реализация предполагает абсолютную надёжность МПКА и всех связей в процессорной матрице.

10.Предложен метод программной реализации МПКА, свободный от неконтролируемой и «абсолютно надёжной» аппаратуры.

11.Разработан язык ЛОГИКА для описания МПКА. Язык ЛОГИКА отличается простотой и, в отличие от известной машины клеточных автоматов, произвольным шаблоном соседства.

12.Предложена архитектура ОВС на неразрезных процессорных матрицах СБИС с программируемым резервом и с программной реализацией алгоритмов реконфигурации.

13.Цредложена стратегия локальной самодиагностики неразрезной процессорной матрицы СБИС, позволяющая построить синдром несогласия между соседними процессорными элементами и не требующая аппаратуры самодиагностики. Синдром несогласия может быть использован как непосредственно, так и для построения синдрома неисправности ПЭ.

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

15.Предложена архитектура ОВС на неразрезных процессорных матрицах СБИС с программной реализацией метода консенсуса. Эта архитектура требует неразличимости вертикальных и горизонтальных связей в решающем поле, что полностью соответствует КАИС-структурам.

Заключение

.

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

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

В диссертации получены следующие основные теоретические и практические результаты.

I. На обширном материале показана важная роль однородных вычислительных систем в прогрессе параллельных супер-ЭВМ. Вместе с тем традиционные архитектуры ОВС приблизились к фундаментальным пределам производительности и для преодоления этих пределов требуются новые теоретические исследования и конструкторские разработки.

II. Разработана концепция алгоритмического моделирования ОВС, лежащая в основе систем имитационного моделирования и проектирования ОВС, в частности:

1. Построены математические модели ОВС на системном (система процессов), функциональном (алгоритм) и логическом (однородная стохастическая клеточная система) уровнях.

2. Реализованы средства имитационного моделирования ОВС.

3. Предложены характеристики структур ОВС — структурная живучесть, добротность и коммутируемость.

III. Исследованы ограничения производительности ОВС и способы их обхода, в частности:

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

2. Сформулирован и формализован принцип близкодействия, включающий: локальность (ограничение на физическую длину связей и удалённость взаимодействующих ЭМ) — асинхронность (отсутствие единого тактового генератора) — распределённость (отсутствие общего ресурса и ограниченность сложности ЭМ) — децентрализацию (отсутствие общего управления в процессе счёта).

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

4. Показано, что асимптотически эффективны только локально-параллельные программы для ОВС с локальными и параллельными обменами между ЭМ.

IV. Построена теория КАИС-структур ОВС, в частности:

1. Обоснован их выбор с точки зрения принципа близкодействия, исследованы групповая классификация, параметрические описания, оптимальность, предельность, изоморфизм, эквивалентность описаний, адресация ЭМ и эквивалентность адресов, самоадресация сообщений, путевые процедуры, алгоритмы синтеза и сокращённого перебора, способы вложения матриц в КАИС-структуры и КАИС-структур в физическое пространство.

2. Получен каталог оптимальных КАИС-структур.

V. Разработаны методы обеспечения отказоустойчивости ОВС на неразрезных процессорных матрицах, в частности:

1. Исследованы структурные характеристики надёжности ОВС и установлена оптимальность структур минимального среднего диаметра.

2. Установлены пределы надёжности ОВС и нижние границы выхода годных процессорных элементов (ПЭ) и связей на НПМ СБИС в зависимости от типа структуры — пороги просачивания. Даны методы оценки порогов просачивания для решёток в отказоустойчивых НПМ СБИС и правдоподобное решение задачи Хаммерсли.

3. Предложена реальная парадигма живучести НПМ СБИС, учитывающая отказы линейной доли ПЭ и связей.

4. Разработана архитектура ОВС на неразрезных процессорных матрицах с программируемым резервом, содержащая решающее поле на НПМ с избыточной КАИС-структурой межпроцессорных связей.

5. Разработаны алгоритмы реконфигурации неразрезных процессорных матриц СБИС с программируемым резервом, обеспечивающие восстановление квадратной решётки при отказах линейной доли процессоров.

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

7. Предложен язык ЛОГИКА и метод программной реализации алгоритмов реконфигурации НПМ с программируемым резервом, свободный от неконтролируемой аппаратуры.

8. Предложена стратегия локальной самодиагностики НПМ, не требующая специальной диагностической аппаратуры и позволяющая получить синдром несогласия между ЭМ с учётом отказов и ПЭ, и связей.

9. Разработан метод поиска консенсуса, позволяющий на основе синдрома несогласия найти в процессорной матрице с отказами требуемую решётку согласных ПЭ — консенсус, если он там есть. Сложность найденной решётки является мерой качества неразрезной процессорной матрицы СБИС.

Таким образом, заложены идейные и теоретические основы построения распределённых релятивистских ОВС на неразрезных процессорных матрицах СБИС с предельными технологическими параметрами.

Показать весь текст

Список литературы

  1. Э.В., Косарев Ю. Г. О возможности построения вычислительных систем высокой производительности: Препринт. — Новосибирск: Институт математики СОАН СССР, 1962.
  2. Э.В., Косарев Ю. Г. Однородные универсальные вычислительные системы высокой производительности. Новосибирск: Наука, 1966.
  3. Э.В., Хорошевский В. Г. Однородные вычислительные системы. -Новосибирск: Наука, 1978.
  4. И.А. Некоторые вопросы теории модели коллектива вычислителей // Вычислительные системы, М.: Финансы и статистика, 1981.- Вып. 2.-С. 63−68.
  5. Ю.К., Хорошевский В. Г. Вычислительные системы из мини-ЭВМ.- М.: Радио и связь, 1982 .
  6. И.В., Виленкин С. Я., Медведев И. Л. Параллельные вычислительные системы с общим управлением. М.: Энергоиздат, 1983.
  7. A.B. Многопроцессорные системы с программируемой архитектурой.- М.: Радио и связь, 1984.
  8. В.В. Архитектура вычислительных систем с программируемой структурой. Новосибирск: Наука, Сибирское отделение, 1985.
  9. ТИИЭР, T.72, № 1, Супер-ЭВМ: воздействие на развитие науки и техники /пер. с англ./. М.: Мир, 1984.
  10. I.Xokhh Р., Джесхоуп К. Параллельные ЭВМ. М.: Радио и связь, 1986.
  11. Высокоскоростные вычисления. Архитектура, производительность, прикладные алгоритмы и программы для супер-ЭВМ / Пер. с англ. Под ред. Я. Ковалика/. М.: Радио и связь, 1988.
  12. В.А. Вычислительные комплексы для проектирования ЛА: Учебное пособие. М.: Изд-во Изд-во МАИ, 1988. — 42 с.
  13. Дж. Построение вычислительных систем на базе перспективных микропроцессоров. М.: Мир, 1990.
  14. Anthes G.H., Babcock С. INTERVIEW: Seymour R. Cray, Head of Cray Computer Corp // Computer World, № 35. Moskow, 1994, — C. 51.
  15. Babcock C. Will the Cray-4 Be the Next Supercomputing Coup // Computer World, № 35. Moskow, 1994. — C. 50.
  16. ICL Goldrush MegaServer параллельная система для коммерческих применений // Computer World — Moskow, № 2 .- 1994. — С. 44−45.
  17. ЭВМ с массовым параллелизмом завоёвывают сферу бизнеса// Computer World- Moskow, № 49.-1994, С. 53, 55−58.
  18. IBM меняет стратегию применения мейнфреймов с параллельной структурой // Computer World- Moskow, № 49.- 1994. С. 58.
  19. Mokhoff N. Parallelism makes strong big for a next generation computers // Comput. Des., V.23, № 10.-1984, — P. 104−108,110,112−114,116−118,120−124, 126−131.
  20. Christ N.H., Terrano A. A very fast parallel processor // IEEE Trans. Comput., V.33,№ 4 .-1984.-P. 344−350.
  21. Killmon P. Computers tackle callenges of the 90s // Comput. Des, V.24, № 17.-1986,-P. 47−50,52,56.23.0hr S. Engineering computers. Technology forecast // Electron. Des., V.35, № 1.- 1987,-P. 104−107,112−113, 116,118.
  22. С. Призрак ядерной войны // PC WEEK: Компьютерная неделя, № 49(73).- М.: 10.12.1996 г. .- С. 1.
  23. ЭВМ пятого поколения. Концепции, проблемы, перспективы: Под ред. Т. Мото-ока / Пер. с англ. О. М. Вейнерова под ред. А. А. Рывкина, В. М. Савинкова .- М.: Финансы и статистика, 1984.
  24. Вычислительная техника за рубежом в 1983−84 году. -М.: Изд-во ИТМ и ВТ АН СССР, 1984.
  25. Г. Н. Состояние и тенденции развития зарубежной высокопроизводительной вычислительной техники // Вычислительная техника за рубежом в 1986−87 г. -М.: Изд-во ИТМ и ВТ, 1987, — С.3−22.
  26. В.Н. Особенности развития архитектуры высокопроизводительных вычислительных машин // Вычислительная техника за рубежом в 198 687 г. М.: Изд-во ИТМ и ВТ, 1987. — С.102−139.
  27. Peacock J.K. Application dictates your choice of a multiprocessor model // EDN, V.32, № 13. 1987, — P. 241−248.
  28. ТШ J. Computer sistem architecture // Electron. Des., V.37, № 1.-1989. -P. 1,50−54,56,58, 60, 62−63.
  29. Bond J. Parallel-processing concepts finally come together in rial systems // Comput. Des., V.26, № 11. -1987. P. 51−52, 54, 56, 58, 60−65, 67−68, 73−74.
  30. Hwang К. Advanced parallel processing with supercomputer architectures // Proceedings of the IEEE / ТИИЭР, перевод с англ./ У.15, № 10, — 1987. С. 440.
  31. .А. Технико-экономические модели и оценки ЭВМ // Зарубежная радиоэлектроника, № 1. -1988. С. 3−25.
  32. Weiss S. Scalar Supercomputer Architecture.// Proceeding IEEE / ТИИЭР, перевод с англ. / У.11, № 12 .- 1989. С. 197−211.
  33. Rau B.R., Glaeser C.D., Picard R.L. Efficient code generation for horizontsl architectures: Compiler techniques and architecturl support // Proc. 9tn Int. Symp. Computer Architecture (Austin, TX, Apr. 1982). P. 131−139.
  34. Cohler E.U., Stohrer J.T. Functionally parallel architectures for array processors // Compuer, V.14, № 9. -1981. P. 28−36.
  35. Fisher J.A. The VLIW machine: A multiprocesor for compiling scientific code // Computer, V.17, № 7.-1984. P. 45−53.
  36. Fisher J.A. VLIW architectures: Supercomputing via overlapped execution // Second Int. Conf. Supercomputing. -1987.
  37. Colwell R.P. and other. A VLIW arxhitecture for a trace schelduling compiler // Second Int. Conf. on Architecture Support for Programming Languages and Operating Systems, Palo Alto, CA, Oct. 1987.
  38. Smith J.E. and other, The ZS-1 Central Processor.// Second Int. Conf. on Architecture Support for Programming Languages and Operating Systems, Palo Alto, CA, Oct. 1987.41 .Rau B.R. and other // IEEE Comput., V.22, № 1.-P. 12−35.
  39. Charlesworth A.E. An approach to scientific array procesing: The architectural desing ofthe AP-120B/FSP-164 family.// Computer, 1981, V.14, № 9, P. 18−27.
  40. .А. Параллельные вычислительные системы.-М.: Наука, 1980.
  41. JI.H. Структуры ЭВМ и их математическое обеспечение. -М.: Наука, 1974.
  42. Parhi К.К. Algorithm Transformation Techniques for Concurrent Proceccors // Proceedings ofthe IEEE /ТИИЭР, перевод с англ./, V.77, № 12, — 1989. С. 96 115.
  43. Г. И. Метод планирования трасс и архитектуры ЭВМ со сверхдлинной командой // Зарубежная радиоэлектроника, № 11. -1991. -С.10−27.
  44. В.В., Рахматулин О. А., Ю Вл.К. Организация и функционирование специализированных вычислительных систем, управляемых потоком данных // Зарубежная радиоэлектроника, № 7,8,9. -1993. С. 18−31.
  45. А.В., Рахматулин О. А., Ю Вл.К. СБИС-архитектура высокопроизводительных процессоров потоков данных //Зарубежная радиоэлектроника, № 8. -1992. С. 111−134.
  46. Potter J.L. Array Processor Supercomputers // Proceedings of the IEEE, /ТИИЭР, перевод с англ./ V.77, № 12. -1989. С. 115−135.
  47. Siegel H.J. and other. PASM: A partitionable SIMD/MIMD system for image processing and pattern recognition // IEEE Trans. Comput., V. C-30, № 12. -1981. P. 934−947.
  48. Stoflo S.J., Miranker D.P. DADO: A parallel processor for expert systems // Proc. 1984 Int. Conf. Parallel Processing. -1984. -P. 74−82.
  49. D.E. «NON-VON"s applicability to three A1 task areas // Proc. 9th Int. Joint Conf. Artificial Intelligence (Los Angeles, CA, Aug. 18−23, 1985). P. 6172.
  50. К.Ю., Тимонькин Г. Н., Харченко B.C., Мельников В. А. Иерархическая обработка изображений и пирамидальные системы // Зарубежная радиоэлектроника, № 7. 1991. — С. 51−60.
  51. Т.Т., Климина С. И. Растрирование и распределённая обработка в системах генерации реалистических изображений // Зарубежная радиоэлектроника, № 11.- 1992. С. 3−22.
  52. O.JI. Организация массовых вычислений в оптических компьютерах: обзор // Зарубежная радиоэлектроника, № 2. 1992. — С. 64−75.
  53. Р. В. and other. Optics and Supercomputing // Proceedings of the IEEE /ТИИЭР, перевод с англ./, V.77, № 12. 1989. — С. 5−23.
  54. Streibl N. and oter. Digital Optics // Proceedings of the IEEE /ТИИЭР, перевод с англ./, V.77, № 12. 1989. — С. 179−196.
  55. В.А., Бутаков Е. А. Нахождение всех максимальных полностью монотонных функций, содержащихся в произвольной булевой функции // Труды/ Сибир. физ.-техн. ин-тут/, Вып48. Томск, 1966.
  56. В.А., Бутаков Е. А., Быкова С. В. Реализация булевых функций пороговыми элементами // Логический язык для представления алгоритмов синтеза релейных устройств. М.: Наука, 1966. — С. 219−262.
  57. Vorobiov V.A., Butakov E.A., Bylcova S.V. Realization of Boolean Functions by Threshold Elements // A Programming Language for Logic and Coding. ASM Monograph Series. New-York: Academic Press, 1969.
  58. Spectrum, V.25,№ 3. -1988,-P. 36−41.
  59. М.И. Нейронные сети для решения задач на борту летательных аппаратов.// Зарубежная радиоэлектроника, № 11,12, — 1994. С. 40−44.
  60. Forrest В.М., and other, Implementing neural network models on parallel computers // Comput. J., V.30, № 5, — 1986.- P. 413−419.
  61. Milutinovic V. Mapping of Neural Networks on the Honeycomb Architecture // Proceeding of the IEEE, 1989, V.77, № 12, /ТИИЭР, перевод с англ., С. 9195./
  62. Kung Н.Т., Leiserson G.E. Systolic arrays (for VLSI). In: Proc. Symp. Sparse Matrix Computations and Applications. Society for Industr. and Applied Math., 1979, P. 256−289.
  63. Kung H.T. The Structure of Parallel Algorithms // Advances in Computers, V.19. New-York, 1980.- P. 65−112.
  64. Moldovan D.I. On the Desing of Algorithms for VLSI Systolic Arrays // Proceedings of the IEEE, /ТИИЭР, перевод с англ./, V.71, № 1.-1983. С. 140 149.
  65. IEEE Trans. Comput., V.33, № 4, — P. 361−364.
  66. Kung H.T. Why Systolic Architectures? // Computer, V.15, № 1. 1982.-P. 37−46.
  67. Kung S.-Y., Arun K.S., Gal-Ezer R.J., Bhaskar Rood.V. Wavefront array processor: lanquage, architecture and aplications // IEEE Trans. Comput., V.31, N11.-1982,-P. 1054−1066.
  68. Kung S.-Y. On Supercomputing with Systolic Wavefront Array Processors // Proceedings of the IEEE /ТИИЭР, перевод с англ./, V.72, № 7. -1984. — С. 133 153.
  69. Anaratone М. and other, The Warp computer: architecture, implementation and performance // IEEE Trans. Comput, V.36, № 12, — 1987.- P. 1523−1538.
  70. И. Транспьютер // Электроника, Т.56, № 23.-1983. С. 104.
  71. Транспьютеры. Архитектура и программное обеспечение. /Пер. с англ. под ред. Г. Харпа/. М.: Радио связь, 1993.
  72. А.И., Седухин С. Г. Вычислительные системы и параллельные вычисления с локальными взаимодействиями // Математическое обеспечение вычислительных систем: Вычислительные системы, 78. -Новосибирск: Институт математики СОАН СССР, 1979. С. 90−103.
  73. А.И., Седухин С. Г. Однородные вычислительные системы и параллельные вычисления // Автоматика и вычислительная техника, N1,-1981. С. 20−24.
  74. В.А. О содержании теории однородных вычислительных систем // XXIV областная научно-техническая конференция, посвященная Дню радио: Тезисы докладов. -Новосибирск, 1981. С. 70−71.
  75. В.А. Модель коллектива вычислителей, основанная на принципе близкодействия // Вычислительные системы с программируемой структурой: Вычислительные системы, 94. -Новосибирск: Институт математики СОАН СССР, 1982. С. 103−119.
  76. В.А., Лаходынова Н. В. Теория модели коллектива вычислителей, основанная на принципе близкодействия // Тезисы докладов XXV областной научно-технической конференции, посвященной 60-й годовщине образования СССР и Дню радио. -Новосибирск, 1982 .
  77. М.К., Мишин А. И. Организация параллельных вычислений на системах с локальными взаимодействиями элементов // Автометрия, № 6. -1983.-С. 88−96.
  78. Ю.С., Мишин А. И. Временная сложность алгоритмов задач гид-ро-аэродинамики и производительность параллельных вычислительных систем // Институт математики СО АН СССР, Препринт № 20. Новосибирск, 1985.
  79. В.А., Лаходынова Н. В. Близкодействующая архитектура вычислительной системы // Перспективы развития вычислительных систем. III Всесоюзный симпозиум, Рига, 31.10−2.11, 1989: Тезисы докладов. -Рига, 1989.-С. 20.
  80. В.А. Преодоление светового барьера в вычислительной технике. // Методы и средства проектирования специализированных вычислительных систем. — Ленинск, Изд-во МО, 1989.
  81. С.А. Перспективные принципы построения сверхбольших интегральных схем // Зарубежная радиоэлектроника, № 12. -1991. С. 3−14,33.
  82. А.Н., Бубенников А. А. Мировые программы освоения высоких субмикронных технологий конкурентноспособных СБИС // Зарубежная Радиоэлектроника, № 2. -1993. С. 75−85.
  83. А.Н., Бубенников А. А. Тенденции развития конкурентноспособных кремниевых КИзд-во МОП-, биполярных и БИКИзд-во МОП-СБИС // Зарубежная Радиоэлектроника, № 1. -1994.-С. 2−3.
  84. .М., Частиков А. П. Микропроцессоры: история, развитие, технология // Зарубежная Радиоэлектроника, № 2−3. -1994. С. 52−61.
  85. В.Б. Два миллиарда операций в секунду //Мир ПК, № 7.-1994. -С. 23−26.
  86. А. На пути в будущее: микропроцессор Petium Pro // Компьютер Пресс, № 12. декабрь 1995. — С. 131.
  87. М., Денисов О. Современные процессоры для ПК: сравнение производительности // Компьютер Пресс, № 12.- декабрь 1996. С. 94−106.
  88. А. Процессоры семейства Power PC // Компьютер Пресс, № 2.1996. С. 86−88,90, 92−93.
  89. JI. Рабочие станции Ultra шаг Sun в XXI век // Компьютер Пресс, № 2, — 1996.-С. 95−100.
  90. В. Микропроцессоры: между прошлым и будущим // Компьютер пресс, № 4.-1996.-С. 62−67.
  91. Р.У. Физические ограничения цифровых электронных схем // ТИИЭР, Т. 63, № 5.-1975.-С. 5−38.
  92. Р.У. Фундаментальные пределы в цифровой обработке информации // ТИИЭР, Т. 62, № 2 .-1981. С. 152−166.
  93. Schorr A. Pysical parallel devices are not mach faster then sequential ones // Inf. Process Lett., V. 17, № 2. -1983. P. 103−106.
  94. B.E. Перспективы и проблемы создания ЭВМ на сверхбольших интегральных схемах. // Теоретические вопросы параллельного программирования и многопроцессорных ЭВМ. -Новосибирск: ВЦ СОАН СССР, 1983.
  95. Л.Д., Лифшиц Е. М. Теоретическая физика. М.: Физматгиз, 1962. -Т.2, Теория поля.
  96. Grosch H.R.J // J. Optical Soc. America, V.43, № 4. -1953.
  97. Amdahl G. The validity of the single processor approach to achieving large-scale computing capabilities // Proc. AFIPS Spring Joint Computer Conf. V.30, (Atlantic City, NJ, Apr.18−20). Reston: AFIPS Press, VA, 1967, — P. 483−485.
  98. Gallant J. Parallel processing ushers in a revolution in computing // EDN, V.33, № 18.-1988, — P. 86,89−94,96,98,100.
  99. Gustafson J.L. Reevaluation Amdal’s law // Commun. ACM, V.31, № 5. -1988, — P. 532−533.
  100. Buzbee B. Parallel processing makes tough demands // Comput. Des., V.23, № 10, — 1984, — P. 137−140.
  101. Hillis W.D., Steele G.L. Data parallel algorithms // Commun. ACM, V.29, № 12.-1986.-P. 1170−1183.
  102. Юб.Косарев Ю. Г. О схемах обмена между ветвями параллельных алгоритмов // Вычислительные системы, Вып 52, Новосибирск: Институт математики СОАН СССР, 1972, С. 70−75.
  103. В.А., Малышкин В. Э. Синтез параллельных программ и систем на вычислительных моделях. Новосибирск: Наука, Сибирское отделение, 1988, — 128 с.
  104. В.А. Распараллеливание алгоритмов и программ. Структурный подход. М.: Радио и связь, 1989.
  105. В.М. О решении систем линейных алгебраических уравнений клеточными методами // Вычислительные методы и программирование. -М.: Изд-во МГУ.- Вып. З, С. 106−133.
  106. ПО.Миренков Н. Н. Параллельное программирование мультимодульных вычислительных систем. М.: Радио и связь, 1989.111 .Ортега Дж. Введение в параллельные и векторные методы решения линейных систем. М.: Мир, 1991.
  107. В.А. Эффективность параллельных вычислений // Автометрия.-1999. -В печати.
  108. С.Г. Параллельно-поточная интерпретация метода Гаусса // Вычислительные системы с программируемой структурой: Вычислительныесистемы, 97.-Новосибирск: Институт математики СОАН СССР, 1983. -С. 10−27.
  109. М.Седухина Л. А. Параллельные алгоритмы в линейном программировании // Однородные вычислительные системы из микро-ЭВМ: Вычислительные системы, 97.- Новосибирск: Институт математики СОАН СССР, 1983. -С. 10−27.
  110. С.Г. Параллельно-поточная интерпретация метода Холецкого // Электронное моделирование, Т.6, № 6.-1984. С. 3−6.
  111. А.И., Леус В. А. Асинхронно-локальные вычислительные системы и среды. -Новосибирск: Институт математики СОАН СССР, 1991. -178 с.
  112. С.М., Бандман О.Л // Корректность параллельных вычислительных процессов. -Новосибирск: Наука, Сиб. отделение, 1990.
  113. В.А. и др. Совершенствование программирования в задачах логического управления технологическими системами // Технический прогресс в атомной промышленности. Серия: Организация производства прогрессивная технология. Вып. 12 (277).- М., 1989.
  114. В.А., Бондарев A.A., Лаходынова Н. В. Реализация ПРАЛУ на программируемом логическом контролере. Алгоритмическое и техническое обеспечение для проектирования систем управления движущимися объектами. М.: Изд-во МАИ, 1991, — С. 110.
  115. В.А., Лаходынова Н. В. Программное обеспечение систем логического управления ЛА: Учебное пособие. М.: Изд-во МАИ, 1991.- 39 с.
  116. Achasova S.M. Correctness of mixed cellular computations // Bulletin of the Novosibirsk Computing Center, Series: Computer Science, Issue: 2(1993), P. 111.
  117. Фон Нейман Дж. Теория самовоспроизводящихся автоматов. М.: Мир, 1971.
  118. Ю.Н., Пискунов С. Н., Сергеев С. Г. Алгоритмы обобщенных подстановок и их интерпретация сетями автоматов и однородными машинами // Изв. АН СССР. Техническая кибернетика, № 6.-1971. С. 131−142.
  119. В.И. Коллективное поведение автоматов. М.: Наука, 1973.
  120. О.Л. Асинхронная интерпретация параллельных микропрограмм: Препринт ОВС-14. Новосибирск: Институт математики СО АН СССР, — 1981.-36 с.
  121. Т., Марголус H. Машины клеточных автоматов /Перевод с англ. под ред. Баталова Б.В./. М.: Мир, 1991.
  122. М., Шуффорд И. Э. Логика систем: введение в формальную теорию систем // Исследования по общей теории систем. М.: Прогресс, 1969.
  123. Н.П., Калашников В. В., Коваленко И. Н. Лекции по теории сложных систем. -М.: Советское радио, 1973.
  124. В.А. Конфликтующие структуры. М.: Советское радио, 1973.
  125. В.А. Вопросы теории и моделирования однородных вычислительных систем: Дис.. канд. техн. наук / НЭТИ/. -Новосибирск, 1974. -134 с. рук.
  126. В.А. Вопросы теории и моделирования однородных вычислительных систем: Дис.. канд. техн. наук. Приложение /НЭТИ/.- Новосибирск, 1974. -105 с. -рук.
  127. Schaeppi Н.Т. A Formal Language for Desckribing Machine Logic (LOTIS) // IEEE Trans., 1963, V. EC-13, № 4.
  128. A.A. Моделирование релейных схем // Логический язык для представления алгоритмов синтеза релейных устройств. М.: Наука, 1966.
  129. Применение вычислительных машин для проектирования цифровых устройств (под ред. Матюхина Н.Я.). М.: Сов. радио, 1968.
  130. Friedman T.D., Yang S.С. Methods used in an automated logic generator (ALERT) // IEEE Tran., V. С-18, № 7. -1969.
  131. M.А. Последние достижения в области автоматизации проектирования и анализа цифровых систем // ТИИЭР /пер. с англ./, Т. 60, № 1. -1972,
  132. Г. Микропрограммирование. М.: Мир, 1973.
  133. А.П. О человеческом и эстетическом факторах в программировании // Кибернетика, № 5.-1972.
  134. В.А., Быкова C.B., Закревский А. Д. Библиотека подпрограмм системы ЛЯПАС // Тезисы докладов к предстоящему коллоквиуму по автоматизации синтеза дискретных вычислительных устройств.-Новосибирск: Институт математики СОАН СССР, 1966, -С. 4−8.
  135. A.A. Система ЛЯПАС-70 для БЭСМ-6: Инструкция пользователю и программисту. Томск, Сибирский физико-технический институт, 1975.
  136. А.Д., Торопов Н. Р. Программирующая система ЛЯПАС-М . -Минск: Наука и техника, 1978.
  137. C.B., Иволга В. П. Выделение свободных операндов в программах на ЛЯПАСе // Материалы по системе автоматического программирования ЛЯПАС. -Томск: Изд-во ТГУ, — Вып. 6.
  138. А.Д. Компилятор ЛЯПАСа// Логический язык для представления алгоритмов синтеза релейных устройств. -М.: Наука, 1966. С. 7074.
  139. В.А. Р-ЛЯПАС базовый язык моделирования цифровых устройств // Вычислительные системы.-Новосибирск: Институт математики СОАН СССР, 1970, — Вып. 39, — С. 67−80.
  140. В.А. Формализация моделей дискретных устройств и базовый язык моделирования // Тезисы докладов III Всесоюзной конференции «Однородные вычислительные системы и сети». Таганрог, 1972.
  141. В.А., Петрова Э. А. Программирующая система ЛЯПАС-Р-ЛЯПАС для «Минск-22»(инструкция по эксплуатации) // Вычислительные системы. -Новосибирск: Институт математики СО АН СССР, 1974.-Вып.59.- С. 162−179.
  142. В.А. Программирующая система Р-ЛЯПАС. Инструментальный язык // Вопросы теории и построения вычислительных систем: Вычислительные системы, 80. -Новосибирск: Институт математики СОАН СССР, 1979,-С. 97−120.
  143. Gordon G. A. A General Purpose Systems Simullator // IBM Sys. J.,№ 1 .Sept. 1962.
  144. Knuth D.E., M. Neley J.L. SOL A Symbolic Language for General Purpose System Simulation // IEEE Trans., V. EC-13, № 8.-Aug. 1964.
  145. JI.А. СЛЭНГ экспериментальный язык программирования, ориентированный на описание и моделирование вычислительных машин и систем // Теория автоматов. -Киев, 1967. -Вып1.
  146. В.А. Моделирование системы параллельных процессов на Р-ЛЯПАСе // Вычислительные системы. -Новосибирск: Институт математики СОАН СССР, 1972, — Вып.51. С. 82−95.
  147. Э. Взаимодействие последовательных процессов // Языки программирования. М.: Мир, 1972, — С. 9−86.
  148. Lipton R.J., Snyder L., Zalzstein Y. A Comparatve Stady of Models of Parallel Computation // 15th Annual Symp. on Switching Automata Theory.-1974.-P. 145−155.
  149. Н.П., Шрейдер Ю. А. Метод статистических испытаний(Монте-Карло) и его реализация на цифровых вычислительных машинах. М.: Физ. -Мат., 1961.1 бО. Закревский А. Д. Реализация случайных событий с заданной вероятностью // Труды СФТИ, Вып47,1965.
  150. В.И. Исследование алгоритмов синтеза дискретных устройств методом статистических испытаний: Дис.. канд. техн. наук /СПИ/. Севастополь, 1970.
  151. М.В. Анализ производящих множителей мультипликативного датчика случайных чисел: Препринт 42−71. -Новосибирск: ИЯФ, 1971.
  152. .С. Элементы теории потенциальной эффективности сложных систем. М.: Советское радио, 1971.
  153. В.А., Корнеев В. В. Метод статистических испытаний при исследовании характеристик осуществимости // Вопросы теории и построения вычислительных систем: Вычислительные системы, 60. -Новосибирск: Институт математики СОАН СССР, 1974. С. 70−83.
  154. В.А. Средства моделирования вычислительных систем // Однородные вычислительные системы и среды: Материалы IV Всесоюзной конференции. -Киев, 1975. -Часть I. С. 134−135
  155. Ю.Г. О структурах вычислительных систем, устойчивых к изменению числа машин // Вычислительные системы. Новосибирск: Институт математики СОАН СССР, 1970. — Вып.42,
  156. Morris D., Theaker C.J. Hierarchikal multiprocessor architecture // IEEE Proc., V. 134, № 4.- 1987.-P. 161−167.
  157. Yang Q., Bhuyan L.N. Performance of Multiple-Bus Interconnections for Multiprocessors // J. of Parallel and Distributed Computing, V.8, № 3.-1990.
  158. Su S.Y.W., Thakore A.K. Matrix operation on a Multicomputer system with switchable main memory modules and dinamic control // IEEE Trans. Comput., V. C-36, № 12. -1987. P. 1467−1484.
  159. Baru C.K., Su S.Y.W. The architecture of SM3: A dynamically partitionable multicomputer system // IEEE Trans. Comput., V. C-35, № 9. -1986. P. 790 802.
  160. В.А. Коммутируемость и внутренняя эффективность однородных вычислительных систем в одном частном случае // Вычислительные системы. -Новосибирск: Институт математики СОАН СССР, 1974. Вып.60, — С. 50−69.
  161. В.А., Седухин С. Г. Анализ передачи данных в ОВС СУММА // Вопросы кибернетики. -М., 1978. -Вып.42. С. 52−58.
  162. В.А., Седухин С. Г. Распределенное управление процессами в ОВС // Гибридные вычислительные машины и комплексы. -Киев: Наукова думка, 1979. -Вып.1. С. 40−48.
  163. Мультипроцессорные системы и параллельные вычисления /Пер. с англ. под ред. Энслоу Ф. Г. /. М.: Мир, 1976.
  164. Hull R., Halsall F., Grimsdale R.L. Virtual resourse ring: technique for decentralised management in fault-tolerant distributed computer systems // IEE Proc., V. E-131, № 2. -1984. -P. 38−44.
  165. Del Corso D. and ather. TOMP project // IEEE Proc. E. Comput. and Digital Techniques, V.136. -1989.
  166. M. Производительность многопроцессорных систем // Мир ПК, № 12.-1995.-С.140−142.
  167. Clos С. A stady of non-blocking switching networks // Bell Syst. Tech. J., V.32. -1953. P. 406−424.
  168. К. Требования, предъявляемые к объёму памяти телефонного коммутатора // Работы по теории информации и кибернетике. М.: ИЛ, 1963,-С. 106−113.
  169. Benes V.E. Mathematical Theori of Connecting Networks and Telephone Traffic // New York: Academic press, 1986.
  170. Г. Т. Об одном способе построения однородных эквицен-тральных сетей // Техническая кибернетика, № 6. -1970.
  171. Г. Т. Топология регулярных вычислительных сетей и сред. -М.: Радио и связь, 1985.
  172. Г. Т., Тюрин В. Д. Топология сетей ЭВМ и многопроцессорных систем. М.: Радио и связь, 1991.
  173. Siegel H.J., Nation W.G., Kruskal С.Р., Napolitano L.M. Using the Multistage Cube Network Topology in Parallel Supercomputers.// Proceedings of the IEEE /ТИИЭР, перевод с англ., /, V.77, № 12. -1989. С. 154−178.
  174. Wu C.-L., Feng T.Y. On a class of multistage interconnection networks // IEEE Trans. Comput., V. C-29, № 8. -1980.-P. 694−702.
  175. Kruskal C.P., Snir M. A unifield theory of interconnection network structure // Theoret. Comput. Sci., V.48, № 1 -1986.-P. 75−94.
  176. Crowther W. and other Performans measurements on a 128-node butterfly parallel processor// 1985 Int. Conf. Parallel Processing. -1985.-P. 531−540.
  177. Patel J.H. Performans of processor-memory interconnections for multiprocessors // IEEE Trans. Comput., V. C-30, № 10.-1981. -P. 771−780.
  178. Batcher K.E. The flip network in STARAN // 1976 Int. Conf. Parallel Processing. -1976.-P. 65−71.
  179. Siegel H.J., McMillen R.J. The multistage cube: a versatile interconnection network// Comput., V.14, № 12.-1981.-P. 65−76.
  180. Pease M.C. The indirect binary n-cube microprocessor array // IEEE Trans. Comput., V. C-26, № 5. -1977. P. 458−473.
  181. Thanawastien S., Nelson V.P. Interference analysis of shuffle/exchange networks 11 IEEE Trans. Comput., V. C-30, № 8. -1981. P. 545−556.
  182. Lawrie D.H. Acces and alignment of data in array processor // IEEE Trans. Comput., V. C-26, № 12. -1975. P. 1145−1155.
  183. Goke G.R., Lipovski G.J. Banyan networks for partitioning multiprocessor systems // First Ann. Symp. Comput. Architec. -1975.-P. 21−28.
  184. Koike K., Ohmori K. MAN-YO: a special purpose parallel machine for logic design automation // 1985 Int. Conf. Parallel Processing. -1985.-P. 583−590.
  185. Wong F.S., Ito M.R. A loop-structured switching network // IEEE Trans. Comput., V. C-33, № 5.-1984, — P. 450−455.
  186. Yoon H., Lee K.Y. B-Banyan and B-Delta Networks for Multiprocessor Systems // J. of Parallel and Distributed Computing, V.7, № 3. -1989.-P. 570−582.
  187. Navaneethan P., Jenkins L. Design of Nonequivalent Self-Routing Networks Based on Matrix Model // J. of Parallel and Distributed Computing, V.12, № 1.-May 1991.-P. 70−73.
  188. Lee D.-L. Design of an Array Processor for Image Processing // J. of Parallel and Distributed Computing, V. l 1, № 2.-February 1991.- P. 163−169.
  189. Gupta M., Lee K.Y. The n-Omega: An Omega-like Topology for Distributed-Memory Multiprocessors // J. of Parallel and Distributed Computing, V.9, № 4.-August 1990,-P. 389−410.
  190. Wang M.-C., Siegel H.J. and al. Using a Multiparth Network for Reducing the Effects of Hot Spots // IEEE Trans, on Parallel and Distributed Systems, V.6, № 3.-1995, — P. 252−268.
  191. Лощил об И. Н. Коммутаторы широкополосных сетей интегрального обслуживания // Зарубежная радиоэлектроника, № 7,8,9. -1993. -С. 3−17.
  192. Kruskal С.Р., Snir М. Cost-bandwidth tradeoffs for communication networks //ACM Symp. Parallel Algorithms Architectures. 1989. -P. 32−41.
  193. Kruskal C.P., Snir M. The importance of being square // Elevence Ann. Int. Symp. Computer Architecture. 1984, P. 91−98.
  194. Kruskal C.P., Snir M. Processor networks and interconnection networks without long wires // ACM Symp. Parallel Algorithms Architectures.-1989. -P. 42−51.
  195. Kruskal C.P., Snir M. The performance of multistage interconnection networks for multiprocessors // IEEE Trans. Comput. V.32, № 12 .-1983. -P. 1091−1098.
  196. Rettberg R., Thomas R. Contetionis no to sharedmemory multiprocessing // Commun. ACM, V.29, № 12. -1986. -P. 1202−1212.
  197. Lenfant J. A versatile mechanism to move data in an array processor // IEEE Trans. Comput, V. C-34.-1985.-P. 506−522.
  198. Nassimi D, Sahni S. A self-routing Benes network and parallel permutation algorithms // IEEE Trans. Comput, V. C-30.-1981.- P. 332−340.
  199. Finkel R, Solomon M.H. The lens interconnetion strategy // IEEE Trans. Comput. V. C-30.-1981.-P. 960−965.
  200. Parker D.S. Notes on shuffle-exchange switching networks // IEEE Trans. Comput, V. C-29, № 3 -1980. P. 213−222.
  201. Lee M, Wu C.-L. Performance analysis of circuit switching baseline interconnelction networks // Eleventh Ann. Int. Symp. Computer Architect.-June 1984,-P. 82−90.
  202. Dally W. J, Sietz C.L. Deedlok-free message routing in multiprocessor interconnection networks // IEEE Trans. Comput, V. C-36, № 5.-1987. -P. 547 553.
  203. Kermani P., Kleinrock L. Virtual cut-through: A new computer communication switching techniqu // Comput. Networks, V.3.-1979.-P. 267.
  204. Kermani P., Kleinrock L. A tradeoff study of switching systems in computer communications networks // IEEE Trans. Comput, V. C-29, № 12. -1980, P. 1052−1060.
  205. Franklin M. A, Dhar S. Interconnetion networks: Physical desing and performance analysis // J. Parallel Distributed Comput, V.3, № 3.-1986. -P. 352 372.
  206. Gottlieb A. and other. The NYU Ultracomputer Designing an MIMD Shared-memory parallel computer // IEEE Trans. Comput., V. C-32, № 2. -1983. -P. 175 189.
  207. G.F., Norton V.A. «Hot Spot» contention and combining in multistage interconnection networks // IEEE Trans. Comput., V. C-34, № 10. -1985. -P. 933 938.
  208. Seznec A. A new interconnection networkfor SIMD computers: the Sigma network // IEEE Trans. Comput., V.36.-1987.
  209. Wagner E.G. On connecting modules together uniformly to form a modular computer. IEEE Trans, on EC, V. EC-15, N6.- 1965.-P. 863−972.
  210. H.A. Однородные логические сети и их группы автомофизмов // Автоматика и телемеханика, № 11 .-1970.
  211. Э.В., Прангишвили И. В. Цифровые автоматы с настраиваемой структурой. Однородные среды. М.: Энергия, 1974.
  212. В.А., Корнеев В. В. О структурах однородных вычислительных систем // Тезисы докладов III Всесоюзной конференции «Однородные вычислительные системы и сети». Таганрог, 1972.
  213. В.А. Простейшие структуры однородных вычислительных систем // Вычислительные системы.-Новосибирск: Институт математики СОАН СССР, 1974, — Вып.60. С. 35−49.
  214. В.А., Корнеев В. В. Некоторые вопросы теории структур однородных вычислительных систем // Вычислительные системы.-Новосибирск: Институт математики СОАН СССР, 1974.-Вып.60. С. 3−16.
  215. В.А., Корнеев В. В. Элементы теории структур однородных вычислительных систем // Однородные вычислительные системы и среды: Материалы IV Всесоюзной конференции. -Киев, 1975.-4.L- С. 33−34.
  216. О.А. Параметрическое описание структур ОВС // Вычислительные системы. -Новосибирск: Институт математики СОАН СССР, 1979.-Вып.80.-С. 3−17.
  217. Wittie L.D. Communication structures for large networks of microcomputers // IEEE Trans. Comput., 1981, V. C-30, Apr. P. 264−273.
  218. Ю.Г. О задаче соединения элементов вычислительной системы // Вычислительные системы.Вып.З, Новосибирск: Институт математики СОАН СССР, 1962, С. 17−30.
  219. М.И. Информационные графы // Сибирский математический журнал, 1970, Т. 11, № 5.
  220. Seitz C.L. The cosmic cube // Commun. ACM, 1985, V.28, № 1, P. 22−23.
  221. Asbury R, Frison G, Roth T. Concurent computers ideal for inherentli parallel problems // Comput. Des, 1985, V.24, № ц? p. 99−102,104,106−107.
  222. Hayes J.P. Hypercube Supercomputers // Proceedings of the IEEE, 1989, V.77, 12, /ТИИЭР, перевод с англ, С. 37−50./
  223. Turner I. Point-symmetric graphs with a prime number of points // J. Combinatorial Theory, 1967, V.3, № 2, P. 136−145.
  224. Elspas B, Turner I. Graphs with circulant asjacency matrices // J. Combinatorial Theory, 1970, V.9, N3, P. 297−307.
  225. David H.A. Enumeration of cyclic graphs and cyclic design // J. Combinatorial Theory, 1972, V.13, P. 303−308.
  226. Wang G. K, Maddocks T.W. A generalized Pascal’s triangle // Fibonacci Quart, 1975, V.31, P. 134−136.
  227. Wong C. K, Don Coppersmith. A Combinatorial Problem Releted to Multimodule Memory Organization // J. Assoc. Comput. Machinery, 1974, V.21, N3, P. 392−402.
  228. Э.А. Синтез оптимальных диофантовых структур // Вопросы теории и построения вычислительных систем: Вычислительные системы, 80.-Новосибирск: Институт математики СОАН СССР.-1979. С. 18−35.
  229. С.А. О существовании предельных КАИС-структур // Однородные вычислительные системы: Вычислительные системы, 90.- Новосибирск: Институт математики СОАН СССР,-1981. С. 78−80.
  230. Э.А. Об аналитическом задании оптимальных двумерных диофантовых структур однородных вычислительных систем // Однородныевычислительные системы: Вычислительные системы, 90.- Новосибирск: Институт математики СОАН СССР,-1981. С. 81−91.
  231. Arden B.W., Lee Н. Analysis of Chordal Ring Network // IEEE Trans, on Computers, V. C-30, № 4.-1981, — P. 291−295.
  232. Э.А. Оптимальные КАИС-структуры сосредоточенных однородных вычислительных систем // Электронное моделирование, № 3. -1985. -С. 30−34.
  233. Boesch F.T., Wang J.-К. Reliable circulant networks with minimum transmission delay // IEEE Trans. Circuits Syst. CAS-32.-1985.- P. 1286−1291.
  234. Browne R.F., Hodyson R.M. Symmetric degree-four chordal ring networks // IEEE Proceedings, V.137, ptE, № 4.-1990.-P. 310−318.
  235. Du D.-Z. at al. A combinatorial problem related to distributed loop networks // Networks, V.20.-1990.-P. 173−180.
  236. Э.А. Синтез оптимальных циркулярных сетей связи вычислительных систем. // Параллельные алгоритмы и структуры /под ред. Н.Н. Миренкова/.-Новосибирск: Наука, 1991. — С. 20−29.
  237. Huisman L.M., Kundu S. Highly Reliable Symmetric Networks // IEEE Trans, on Parallel and Distributed Systems, V.5, № 1.-1994.- P. 94−97.
  238. Bhuyan L.N., Agrawal D.P. Generalized hypercube and hyperbus structures for a computer network // IEEE Trans. Comput., V. C-33, № 4. -1984, — P. 323−333.
  239. Hwang K., Ghosh J. Hypernet: a communication efficient architecture for constructing massively parallel computers // IEEE Trans. Comput., V.36, № 12.-1987,-P. 1450−1466.
  240. Preparata F.P., Vulemin J. The cube connected cycles: A versatile network for parallel computation, Commun. ACM V.24.-May 1981.- P. 300−309.
  241. Galil Z., Paul W.J. An efficient general- purpose parallel computer // J. Assoc. Comput. Mach., V.30, № 2.-1983.- P. 360−387.
  242. Lee I.Y.-Y., Wang S.-D. Ring-Connected Networks and Their Relationship to Cubical Ring Connected Cycles and Dynamic Redundancy Networks // IEEE Trans, on Parallel and Distributed Systems, V. 6, № 9. -1995. P. 988−996.
  243. Duh D.-R., Chen G.-H., Fang J.-F. Algorithms and Properties of a New Two-Level Network with Folded Hypercubes as Basic Modules // IEEE Trans, on Parallel and Distributed Systems, V. 6, № 7. -1995. -P. 714−723.
  244. Malluhi Q. M, Bayouni M.A. The Hierarchical Hypercube: A New Interconnection Topology of Massively Parallel Systems // IEEE Trans, on Parallel and Distributed Systems, V. 5, № 1 -1994. -P. 17−30.
  245. Day K, Tripathi A. A Comparative Study of Tpological Propertiesw of Hypercubes and Star Graphs // IEEE Trans, on Parallel and Distributed Systems, V. 5,№ 1.-1994. -P. 31−38.
  246. Misic J, Jovanovic Z. Communication Aspects of Star Graph Interconnection Network // IEEE Trans, on Parallel and Distributed Systems, V.5, № 7. -1994. -P. 678−687.
  247. Latifi S. Task Allocation in the Star graph // IEEE Trans, on Parallel and Distributed Systems, V.5, № 11. -1994. -P. 1220−1224.
  248. Шум JI.C. О функциональной организации вычислительных систем // Вычислительные системы. -Новосибирск: Институт математики СО АН СССР, 1970. -Вып.39. -С. 81−88.
  249. Воробьёв В. А, Монахова Э. А. Организация путевых процедур в диофан-товых структурах однородных вычислительных систем // XXIV областная научно-техническая конференция, посвящённая Дню Радио: Тезисы докладов. -Новосибирск, 1981. С. 70−71.
  250. Э.А. Алгоритмы межмашинных обменов и реконфигурации межмашинных графов в вычислительной системе с программируемой структурой // Вычислительные системы, Вып 94, Новосибирск: Институт математики СОАН СССР. -1982, С. 81−102.
  251. В.А. Относительная адресация элементов циклического графа. В кн: Однородные вычислительные системы из микро-ЭВМ: Вычислительные системы, 97. -Новосибирск: Институт математики СО АН СССР. -1983. С. 87−103.
  252. Yalamanchili S, Aggarwal J.K. A characterization and analysis of parallel processor interconnection networks. IEEE Trans. Comput, V.36, № 6.-1987. -P. 680−691.
  253. Lin X., Mc Kinley P. K., Ni L.M. Deedlock-Free Multicast Wormhole Routing in 2-D Mensh Multicomputers // IEEE Trans, on Parallel and Distributed Systems, V.5, № 8.-1994.-P. 793−804.
  254. Ghosh J., Das S.K., John A. Concurrent Processing of Lineary Ordered Structures on Hypercube Multicomputers // IEEE Trans, on Parallel and Distributed Systems, Y.5, № 9. -1994. -P. 897−911.
  255. H.H., Фишерман С. Б. Алгоритмы распознавания подсистем заданных структур в ОВС // Теория однородных вычислительных систем: Вычислительные системы. 63. -Новосибирск: Институт математики СО АН СССР.-1975.-С. 44−53.
  256. ChenM.-S., ShinK.G. Processor allocation in an N-cube multiprocessor using Gray codes // IEEE Trans. Comput., V.36, № 12.-1981.- P. 1396−1407.
  257. B.A., Саенко А. Д. Вложение КАИС-структур в физическое пространство // Методы и средства проектирования специализированных вычислительных систем. Ленинск, Изд-во МО, 1989.
  258. Scott S.L., Goodman J.K. The Impact of Pipelined Channels on k-ary и-Cube Networks // IEEE Trans, on Parallel and Distributed Systems, V.5, № 1.-1994,-P. 2−16.
  259. ChenY.-L., Lin J.-C. A Fault-Tolerant Distributed Subcube Management Scheme for Hypercub Multicomputer Systems.// IEEE Trans, on Parallel and Distributed Systems, V.6, № 7. -1995. -P. 766−772.
  260. Фон Нейман Дж. Вероятностная логика и синтез надёжных организмов из ненадёжных компонент // Автоматы. М.: ИЛ, 1956.
  261. Мур Е., Шеннон К. Надёжные схемы из ненадёжных реле // Работы по теории информации и кибернетике. М.: ИЛ, 1963 — С. 114−153.
  262. У. Построение надёжных вычислительных машин. М.: Мир, 1968.
  263. ТИИЭР, Т.74, № 5 Отказоустойчивость СБИС. -1986.
  264. Авидженис А, Лапри К. К. Гарантоспособные вычисления: от идей до реализации в проектах. -ТИИЭР, Т.74, № 5. -1986. С. 8−21.
  265. Погребинский С. Б, Стрельников В. П. Проектирование и надёжность многопроцессорных ЭВМ. М.: Радио и связь, 1988. — 166 с.
  266. Н.В. Стохастическая модель однородной вычислительной системы, учитывающая межмашинные связи // Вычислительные системы с программируемой структурой: Вычислительные системы, 94. Новосибирск, Институт математики СОАН СССР, 1982. — С. 120−137.
  267. Serlin О. Fault tolerant computers // Data Process, V.25, № 10. 1983. -P. 2831.
  268. Ebihara Y. at al. Fault diagnosis and automatic reconfiguration for a ring subsystem // Comput. Networks and ISDN Syst, V.10, № 2. 1986. — P. 97−109.
  269. Додонов А. Г, Кузнецова М. Г, Горбачик Е. С. Введение в теорию живучести вычислительных систем. Киев: Наукова думка, 1990. -182 с.
  270. Jeng М, Siegel H.J. Desing and analysis of dynamic redundancy networks // IEEE Trans. Comput, V. C-37, № 9. 1988. — P. 1019−1029.
  271. Adams G. B, Siegel H.J. The extra stage cube: A fault-tolerant interconnection network for supersystems // IEEE Trans. Comput, V. C-31, № 5. 1982.. p. 443−454.
  272. Adams G. B, Agrawal D.P., Siegel H.J. Asurvey and comparison of fault-tolerant multistage interconnection networks // Computer, V.20, № 6. -1987. -P. 14−27.
  273. Kruskal C.P., Snir M. The performance of multistage interconnection networks for multiprocessors // IEEE Trans. Comput, V. C-32, № 12. -1983. -P. 1091−1098.
  274. Horowitz E, Zorat A. The Binary Tree as an Interconnection Network: Application to Multiprocessor System and VLSI // IEEE Trans. Comput, V. C-30, № 4. 1981.-P. 247−253.
  275. Hassan A.S.M, Agarwal V.K. A Fault-Tolerant Modular Architecture for Binary Trees // IEEE Trans. Comput, V. C-35, № 4. P. 356−361.
  276. Grassi V. Yield evaluation of VLSI reconfigurable binari tree architectures // FTDS-13 (13-th Int. Conf. on fault-tolerant systems and diagnostics), Varna, Bulgaria, june 20−22, 1990,-P. 106−119.
  277. Yingquan Z., Yinghua M. A Kind of Multistage Interconnection Networks with Multiple Paths // J. of computer science and technology, V. l 1, № 4. 1996. -P. 395−404.
  278. Seban R.R. FTN (fault-tolerant networks) Topology and Protocols // J. of Parallel and Distributed Computing, V. l 1, № 1.- 1991. -P. 51−62.
  279. Raghavendra O.S., Varma A. Fault-Tolerant multiprocessors with reduandant-path interconnection networks // IEEE Trans. Comput., V.35, № 4.- 1986. -P. 307−316.
  280. Choi Y-H., Malek M. A fault-tolerant FFT processor // IEEE Trans. Comput., V.37,№ 5.-1988.-P. 617−621.
  281. В.А., Корнеев B.B. О структурной живучести однородных вычислительных систем // Тезисы докладов II Всесоюзной конференции «Алгоритмические методы проектирования цифровых систем». Ленинград, 1972.
  282. Pradhan D.K., Reddy S.M. A fault-tolerant communication architecture for distributed systems // IEEE Trans. Comput., V. C-31.-1982. P. 863−870.
  283. Pradhan D.K., Meyer F.J. Communication Structures in Fault-Tolerant Distributed Systems // FTDS-10 (10-th Int. Conf. on fault-tolerant systems and diagnostics). Varna, 1987. — P. 193−202.
  284. Pradhan D.K., Samatham M.K. The De Bruijn Multiprocessor Network: A versative parallel processing and sorting networks // IEEE Trans. Comput., V. C-39, № 4, — 1989.-P. 567−581.
  285. Pradhan D.K. Fault-tolerant VLSI Architectures Based on De Bruijn Graphs (or Old Graphs / New Tricks) // FTDS-13 (13-th Int. Conf. on fault-tolerant systems and diagnostics, Varna, Bulgaria, june 20−22, 1990).-P. 9−27.
  286. Bruck J., Cypher R. Fault-Tolerant de Bruijn and Shuffle-Exchange Networks // IEEE Trans, on Parallel and Distributed Systems, V.5, № 5. 1994. — P. 548 553.
  287. Alam M.S., Melhem R.G. Routing in Modular Fault-Tolerant Multiprocessor Systems // IEEE Trans, on Parallel and Distributed Systems, V.6, № 11. 1995. -P. 1206−1220.
  288. Tzeng N.-F., Chang P. -J. A Pairwise Substitutional Fault-Tolerant Technique for Cube-Connected Cycles Architecture // IEEE Trans, on Parallel and Distributed Systems, V.5, № 4. 1994. — P. 433−438.
  289. O.Yang C. S, Zu L.P., WuY.N. A Recofigurable Modular Fault-Tolerant Hypercube Architecture // IEEE Trans, on Parallel and Distributed Systems, V.5, № 10, — 1994.-P. 1018−1032.
  290. Vinnakota B, Jha N.K. Design of Algoritm-Based Fault-Tolerant Multiprocessor Systems for Concurrent Error Detection and Fault Diagnosis // IEEE Trans, on Parallel and Distributed Systems, V.5, № 10. 1994. — P. 10 991 106.
  291. Ramanathan P., Chalasani S. Resource Placement with Multiple Adjacenty Constraits in k-ary n-Cubes // IEEE Trans, on Parallel and Distributed Systems, V.6,№ 5, — 1995.-P. 511−519.
  292. Trobec R. A fault-tolerant routing in parallel systems // FTDS-10 (10-th Int. Conf. on fault-tolerant systems and diagnostics). Varna, 1987. -P. 95−100.
  293. Lan Y. An Adaptive Fault-Tolerant Routing Algorithm for Hypercube Multiprocessors // IEEE Trans, on Parallel and Distributed Systems, V. 6, № 11.- 1995.-P. 1147−1152.
  294. Pifarre G. D, Gravano L, Denicolay G, Sanz J.L. Adaptive Deedlock- and Livelock-Free Routing in the Hypercube Network // IEEE Trans, on Parallel and Distributed Systems, V.5, № 11. 1994. — P. 1121−1139.
  295. Duato J. A Theory of Deedlock-Free Adaptive Multicast Routing in Wormhole Networks // IEEE Trans, on Parallel and Distributed Systems, V. 6, № 9. 1995. -P. 976−987.
  296. GaughanP. T, Yalamanchili S. A Family of Fault-Tolerant Routing Protocols for Direct Multiprocessor Networks // IEEE Trans, on Parallel and Distributed Systems, V.6, № 5. 1995. — P. 482−487.
  297. Olson A, Shin K.G. Fault-Tolerant Routing in Mesh Architectures // IEEE
  298. Trans, on Parallel and Distributed Systems, V.5, № 11. 1994. — P. 1225−1232. 319. Shin C.J, Batcher K.E. Adding Multiple- Fault Tolerance to Generalizad Cube Networks // IEEE Trans, on Parallel and Distributed Systems, V.5, № 8. — 1994.- P. 785−792.
  299. Граф Ш, Гессель M.:. Схемы поиска неисправностей /перевод с немецкого под редакцией Д.А. Поспелова/. М.: Энергоатомиздат, 1989. — 145 с.
  300. Согомонян Е. С, Слабаков Е. В. Самопроверяемые устройства и отказоустойчивые системы. М.: Радио и связь, 1989. — 208 с.
  301. А.Ю. Алгоритмические методы синтеза тестов. Томск: Из-во ТГУ, 1990.-208 с.
  302. Preparata F.P., Metze G., ChienR.J. On connection assignement problem of diagnosable systems // IEEE Trans. El. Comput., V. EC-16, № 12, 1967. -P. 848−854.
  303. Holt C.S., Smith J.E. Self-diagnosis in distributed systems // IEEE Trans. Comput., Y.34, № 1. 1985. — P. 19−32.
  304. Usluel A.K., Lala P. K. Concurent error detection and reconfiguration in sistolic arrays // FTDS-10 (10-th Int. Conf. on fault-tolerant systems and diagnostics). Varna, 1987. — P. 101−112.
  305. Sapiecha K. Fault tolerant WSI architecture with random spare part distribution // FTDS-10 (10-th Int. Conf. on fault-tolerant systems and diagnostics). Varna, 1987.-P. 81−94.
  306. Ю.К. Самодиагностика модульных вычислительных систем. -Новосибирск: Наука, 1993.
  307. Ю.К. Анализ самодиагностических свойств структур распределённых живучих вычислительных систем // Автометрия, № 5.-1996 -С. 71−84.
  308. Hammersley J.M. Percolation processes lower bounds for critical probability //Ann. Math. Statist., V.28. 1957. — P. 790−795.
  309. B.A., Лаходынова H.B. Критическое протекание в плоских решетках // Специализированные вычислительные системы, методы и средства обработки информации: Тематический сборник научных трудов. -М.: Изд-во МАИ, 1987. С. 13−15.
  310. В.А., Лаходынова Н. В. Пределы надёжности однородных вычислительных систем // Экспертные системы и распознавание образов: Вычислительные системы, 126). Новосибирск, Институт математики СО АН СССР, 1988.-С. 122−149.
  311. В.А., Лаходынова Н. В. Пределы надежности однородных структур // Известия АН СССР: Техническая кибернетика, № 3. 1989. -С. 110−114.
  312. В.А., Лаходынова Н. В. Пороги просачивания и надежность однородных структур // Методы и средства проектирования специализированных вычислительных систем. Ленинск: Изд-во МО, 1989.
  313. Mc Leod R. D, Schellenberg J.J. Percolation and Anomalous Transport as Tools in Analyzing Parallel Processing Interconnect Network // J. of Parallel and Distributed Computing, V.8, № 4. 1990. — P. 376−387.
  314. Т.Э. Источники отказов и повышение выхода годных СБИС // ТИИЭР, Т.72. 1984. — С. 37−56.
  315. К.Х. Управление сложностью СБИС: Современное состояние и перспективы//ТИИЭР, Т.71, № 1. 1983. — С. 184−211.
  316. Корен И, Прадхан Д. Избыточность как средство повышения надёжности и выхода годных мультипроцессорных систем с интеграцией на уровне кристаллов и пластин // ТИИЭР, Т.74, №>5.- 1986. С. 93−106.
  317. Мур У. З. Обзор методов повышения отказоустойчивости, повышающих выход годных интегральных схем // ТИИЭР, Т.74, № 5. 1986. — С. 76−92.
  318. B.C., Литвиненко В.Г, Мельников В. А. Методы повышения отказоустойчивости СБИС бортовых цифровых вычислительных комплексов // Зарубежная радиоэлектроника, № 12. 1990. — С. 56−69.
  319. Stapper С.Н. Large-area fault clusters and fault tolerance in VLSI circuits: a review // IBM J. Res. Develop, V.33, № 2. 1989. — P. 162−173.
  320. Stapper C.H. Small-area fault clusters and fault tolerance in VLSI circuits // IBM J. Res. Develop, V.33, № 2. 1989. — P. 174−177.
  321. Сами M, Стефанелли P. Перестраиваемые архитектуры матричных процессорных СБИС. -ТИИЭР, Т.74, № 5. 1986. — С. 107−118.
  322. Hosseini S.H. On fault-tolerant structure, distributed fault-diagnosis, reconfiguration and recovery of the array processors // IEEE Trans. Comput, V.38,№ 7. 1989. -P. 932−942.
  323. Singh A.D. IEEE Trans. Comput, V.37, № 11. -1988.
  324. Lam C.W.H, Li H.F. A study of two approaches for reconfiguring fault-tolerant systolic arrays // IEEE Trans. Comput, V.38, № 6. 1989. — P. 833 844.
  325. Мямлин A. H, Поздняков Л. А, Котов Е. И, Задыхайло И. Б. Об одном методе повышения надёжности матричных многопроцессорных систем // Электронная вычислительная техника: Сб. научных трудов. — М, 1988. -Вып.2. — С. 26−37.
  326. Kuo S.-Y, Fuchs W.K. Reconfigurable Cube-Connected Cycles Architectures // J. of Parallel and Distributed Computing, V.9, № 1. 1990.
  327. Dutt S., Hays J.P. On designing and reconfiguring k-fault-tolerant tree architecture // IEEE Trans. Comput., V.39, № 4. 1990. — P. 490−503.
  328. Chan M.Y., Lee S.-J. Distributed Fault-Tolerant Embeddings of Rings in Hypercubes // J. of Parallel and Distributed Computing, V. ll, № 1. 1991. -P. 63−71.
  329. Dwork D. et al. Fault tolerance in networks of bounded degree // SIAM J. Computing, V. l7. 1988. — P. 975−988.
  330. Dolev D. et al. An efficient algorithm for Byzantine agreement without authentication // Щгт. and Control, V.52, № 3. 1992. — P. 256−274.
  331. ГалушкинА.Н., Грачёв JI.B., Толстых M.M., Точёнов В. А. Оценка алгоритмов реконфигурации структуры вычислительных систем с МИМД- архитектурой // Кибернетика, № 2. -1990.
  332. Н.В. Анализ и разработка методов обеспечения отказоустойчивости однородных вычислительных систем. Дис.. канд.техн. наук / Московский институт связи/. Москва: 1991.- рук.
  333. В.А., Лаходынова Н. В. Процессорная матрица с перестраиваемой структурой и перестраиваемым резервом // Автометрия, № 5. 1994. -С. 90−98.
  334. В.А., Ерёмина Н. Л. Программная реализация реконфигурации отказоустойчивой процессорной матрицы // Автометрия, № 2: Перспективные вычислительные системы. 1996. — С. 111−121.
  335. В.А., Ерёмина Н. Л., Лаходынова Н. В. Анализ алгоритмов перестройки структуры процессорной матрицы // Автометрия, № 3 1996. -С. 69−77.
  336. Н.Л. Моделирование отказоустойчивой процессорной матрицы. // Новые информационные технологии в исследовании дискретных структур: Доклады всероссийской конференции. -Екатеринбург: УрО РАН, 1996. С. 112−116.
  337. Воробьёв В. А, Лаходынова Н. В. Алгоритм реконфигурации процессорной матрицы на основе сигналов согласия // Международная конференция «Автоматизация проектирования дискретных систем»: Тезисы докладов. -Минск, 1995, Т. 1. С. 13.
  338. Воробьёв В. А, Лаходынова Н. В. Реконфигурация отказоустойчивой процессорной матрицы на основе сигналов согласия // Автометрия, № 6. 1997. -С. 108−113.
  339. К. Теория графов и её применения. М.: ИЛ, 1962.
  340. А.И. Алгебраические системы. М.: Наука, 1970.
  341. Е.С. Исследование операций. М.: Сов. радио, 1972.
  342. Ахо А, Хопкрофт Дж, Ульман Дж. Построение и анализ вычислительных алгоритмов. М.: Мир, 1979.
  343. A.A. Теория чисел. М.: Просвещение, 1966.
  344. Л.А. Элементы теории структур. М.: Наука, 1970.
  345. К. Гиббсовские состояния на счётных множествах. М.: Мир, 1977. — 125 с.
  346. X. Теория просачивания для математиков. М.: Мир, 1986.
  347. A.A. Теория вероятностей. М.: Наука, 1976. — 351 с.
  348. Воробьёв В. А, Головчинер М. Н. Введение в алгоритмизацию: конспект лекций. -Томск: Издательство ТГУ, 1992.
Заполнить форму текущей работой

Заказал и сдал!