Теоретические основы построения однородных вычислительных систем на неразрезных процессорных матрицах тема диссертации и автореферата по ВАК РФ 05.13.13, доктор технических наук Воробьев, Владимир Анатольевич

• Воробьев, Владимир Анатольевич
• доктор технических наук
• 1999

Оглавление диссертации доктор технических наук Воробьев, Владимир Анатольевич

Система шрифтов, обозначений и сокращений.

Введение.

Глава 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. Основные результаты главы 1.

Глава 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. Основные результаты главы 2.

Глава 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. Поиск и-мерных матриц, вложимых в /)„-граф.

3.3.4. Клеточное и циклическое вложение матриц в структуру.

3.3.5. Вложение структуры в физическое пространство.

3.4. Синтез и перебор Оп-графов.

3.4.1. Постановка задач синтеза и перебора.

3.4.2. Предельные КАИС-структуры.

3.4.3. Таблица изоморфизмов.

3.4.4. Алгоритм синтеза 2)и-графов.

3.4.5. Каталог оптимальных /)„-графов.

3.5. Развитие теории структур ОВС.

3.5.1. Исследования КАИС-структур.

3.5.2. Комбинированные структуры.

3.5.3. Функциональные проблемы теории структур ОВС.

3.4.4. Резюме.

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

Глава 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. Основные результаты главы 4.

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

Актуальность проблемы. Одним из фундаментальных направлений развития современной науки и техники является достижение сверхвысокой производительности ЭВМ 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. Разработан метод поиска консенсуса, позволяющий на основе синдрома несогласия найти в процессорной матрице с отказами требуемую решётку согласных ПЭ - консенсус, если он там есть. Сложность найденной решётки является мерой качества неразрезной процессорной матрицы СБИС.

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

Список литературы диссертационного исследования доктор технических наук Воробьев, Владимир Анатольевич, 1999 год

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. Головня В.Н. Особенности развития архитектуры высокопроизводительных вычислительных машин // Вычислительная техника за рубежом в 198687 г. М.: Изд-во ИТМ и ВТ, 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. С. 96115.

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. Show 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. Berra Р. В. 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. С. 140149.

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. - С. 133153.

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. Réévaluation 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. 790802.

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. 547553.

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. 352372.

206. Gottlieb A. and other. The NYU Ultracomputer Designing an MIMD Shared-memory parallel computer // IEEE Trans. Comput., V.C-32, №2. -1983. -P. 175189.

207. Pfister G.F., Norton V.A. "Hot Spot" contention and combining in multistage interconnection networks // IEEE Trans. Comput., V.C-34, №10. -1985. -P. 933938.

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. Conçurent 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. Воробьёв В.А, Гавырин Ю.А. К теории структур однородных вычислительных систем // XXXIII Всесоюзная научная сессия, посвященная дню радио. Аннотация и тезисы докладов. Москва, 1978, С. 44.

229. Монахова Э.А. Синтез оптимальных диофантовых структур // Вопросы теории и построения вычислительных систем: Вычислительные системы, 80.-Новосибирск: Институт математики СОАН СССР.-1979. С. 18-35.

230. Сыскин С.А. О существовании предельных КАИС-структур // Однородные вычислительные системы: Вычислительные системы, 90.- Новосибирск: Институт математики СОАН СССР,-1981. С. 78-80.

231. Монахова Э.А. Об аналитическом задании оптимальных двумерных диофантовых структур однородных вычислительных систем // Однородныевычислительные системы: Вычислительные системы, 90.- Новосибирск: Институт математики СОАН СССР,-1981. С. 81-91.

232. Arden B.W., Lee Н. Analysis of Chordal Ring Network // IEEE Trans, on Computers, V.C-30, № 4.-1981,- P. 291-295.

233. Монахова Э.А. Оптимальные КАИС-структуры сосредоточенных однородных вычислительных систем // Электронное моделирование, № 3. -1985. -С. 30-34.

234. Boesch F.T., Wang J.-К. Reliable circulant networks with minimum transmission delay // IEEE Trans. Circuits Syst. CAS-32.-1985.- P. 1286-1291.

235. Browne R.F., Hodyson R.M. Symmetric degree-four chordal ring networks // IEEE Proceedings, V.137, ptE, № 4.-1990.-P. 310-318.

236. Du D.-Z. at al. A combinatorial problem related to distributed loop networks // Networks, V.20.-1990.-P. 173-180.

237. Монахова Э.А. Синтез оптимальных циркулярных сетей связи вычислительных систем. // Параллельные алгоритмы и структуры /под ред. Н.Н. Миренкова/.-Новосибирск: Наука, 1991. - С. 20-29.

238. Huisman L.M., Kundu S. Highly Reliable Symmetric Networks // IEEE Trans, on Parallel and Distributed Systems, V.5, № 1.-1994.- P. 94-97.

239. 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.

240. Hwang K., Ghosh J. Hypernet: a communication efficient architecture for constructing massively parallel computers // IEEE Trans. Comput., V.36, № 12.-1987,-P. 1450-1466.

241. Preparata F.P., Vulemin J. The cube connected cycles: A versatile network for parallel computation, Commun. ACM V.24.-May 1981.- P. 300-309.

242. Galil Z., Paul W.J. An efficient general- purpose parallel computer // J. Assoc. Comput. Mach., V.30, № 2.-1983.- P. 360-387.

243. 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.

244. 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.

245. 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.

246. 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.

247. 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.

248. Latifi S. Task Allocation in the Star graph // IEEE Trans, on Parallel and Distributed Systems, V.5, № 11. -1994. -P. 1220-1224.

249. Шум JI.C. О функциональной организации вычислительных систем // Вычислительные системы. -Новосибирск: Институт математики СО АН СССР, 1970. -Вып.39. -С. 81-88.

250. Воробьёв В.А, Монахова Э.А. Организация путевых процедур в диофан-товых структурах однородных вычислительных систем // XXIV областная научно-техническая конференция, посвящённая Дню Радио: Тезисы докладов. -Новосибирск, 1981. С. 70-71.

251. Монахова Э.А. Алгоритмы межмашинных обменов и реконфигурации межмашинных графов в вычислительной системе с программируемой структурой // Вычислительные системы, Вып 94, Новосибирск: Институт математики СОАН СССР. -1982, С. 81-102.

252. Воробьёв В.А. Относительная адресация элементов циклического графа. В кн: Однородные вычислительные системы из микро-ЭВМ: Вычислительные системы, 97. -Новосибирск: Институт математики СО АН СССР. -1983. С. 87-103.

253. Yalamanchili S, Aggarwal J.K. A characterization and analysis of parallel processor interconnection networks. IEEE Trans. Comput, V.36, № 6.-1987. -P. 680-691.

254. 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.

255. 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.

256. Миренков H.H., Фишерман С.Б. Алгоритмы распознавания подсистем заданных структур в ОВС // Теория однородных вычислительных систем: Вычислительные системы. 63. -Новосибирск: Институт математики СО АН СССР.-1975.-С. 44-53.

257. ChenM.-S., ShinK.G. Processor allocation in an N-cube multiprocessor using Gray codes // IEEE Trans. Comput., V.36, № 12.-1981.- P. 1396-1407.

258. Воробьёв B.A., Саенко А.Д. Вложение КАИС-структур в физическое пространство // Методы и средства проектирования специализированных вычислительных систем. Ленинск, Изд-во МО, 1989.

259. 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.

260. 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.

261. Фон Нейман Дж. Вероятностная логика и синтез надёжных организмов из ненадёжных компонент // Автоматы. М.: ИЛ, 1956.

262. Мур Е., Шеннон К. Надёжные схемы из ненадёжных реле // Работы по теории информации и кибернетике. М.: ИЛ, 1963 - С. 114-153.

263. Пирс У. Построение надёжных вычислительных машин. М.: Мир, 1968.

264. ТИИЭР, Т.74, № 5 Отказоустойчивость СБИС . -1986.

265. Авидженис А, Лапри К.К. Гарантоспособные вычисления: от идей до реализации в проектах. -ТИИЭР, Т.74, № 5. -1986. С. 8-21.

266. Погребинский С.Б, Стрельников В.П. Проектирование и надёжность многопроцессорных ЭВМ. М.: Радио и связь, 1988. - 166 с.

267. Лаходынова Н.В. Стохастическая модель однородной вычислительной системы, учитывающая межмашинные связи // Вычислительные системы с программируемой структурой: Вычислительные системы, 94. Новосибирск, Институт математики СОАН СССР, 1982. - С. 120-137.

268. Serlin О. Fault tolerant computers // Data Process, V.25, №10. 1983. -P. 2831.

269. 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.

270. Додонов А.Г, Кузнецова М.Г, Горбачик Е.С. Введение в теорию живучести вычислительных систем. Киев: Наукова думка, 1990. -182 с.

271. Jeng М, Siegel H.J. Desing and analysis of dynamic redundancy networks // IEEE Trans. Comput, V.C-37, № 9. 1988. - P. 1019-1029.

272. 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.

273. 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.

274. Kruskal C.P., Snir M. The performance of multistage interconnection networks for multiprocessors // IEEE Trans. Comput, V.C-32, №12. -1983. -P. 1091-1098.

275. 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.

276. 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.

277. 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.

278. 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.

279. Seban R.R. FTN (fault-tolerant networks) Topology and Protocols // J. of Parallel and Distributed Computing, V.l 1, № 1.- 1991. -P. 51-62.

280. Raghavendra O.S., Varma A. Fault-Tolerant multiprocessors with reduandant-path interconnection networks // IEEE Trans. Comput., V.35, №4.- 1986. -P. 307-316.

281. Choi Y-H., Malek M. A fault-tolerant FFT processor // IEEE Trans. Comput., V.37,№ 5.-1988.-P. 617-621.

282. Воробьёв В.А., Корнеев B.B. О структурной живучести однородных вычислительных систем // Тезисы докладов II Всесоюзной конференции "Алгоритмические методы проектирования цифровых систем". Ленинград, 1972.

283. Pradhan D.K., Reddy S.M. A fault-tolerant communication architecture for distributed systems // IEEE Trans. Comput., V.C-31.-1982 . P. 863-870.

284. 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.

285. 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.

286. 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.

287. Bruck J., Cypher R. Fault-Tolerant de Bruijn and Shuffle-Exchange Networks // IEEE Trans, on Parallel and Distributed Systems, V.5, № 5. 1994. - P. 548553.

288. 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.

289. 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.

290. 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.

291. 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. 10991106.

292. 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.

293. 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.

294. 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.

295. 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.

296. 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.

297. 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.

298. Olson A, Shin K.G. Fault-Tolerant Routing in Mesh Architectures // IEEE

299. 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.

300. Граф Ш, Гессель M.:. Схемы поиска неисправностей /перевод с немецкого под редакцией Д.А. Поспелова/. М.: Энергоатомиздат, 1989. - 145 с.

301. Согомонян Е.С, Слабаков Е.В. Самопроверяемые устройства и отказоустойчивые системы. М.: Радио и связь, 1989. - 208 с.

302. Матросова А.Ю. Алгоритмические методы синтеза тестов. Томск: Из-во ТГУ, 1990.-208 с.

303. 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.

304. Holt C.S., Smith J.E. Self-diagnosis in distributed systems // IEEE Trans. Comput., Y.34, №1. 1985. - P. 19-32.

305. Usluel A.K., Lala P. K. Conçurent error detection and reconfiguration in sistolic arrays // FTDS-10 (10-th Int. Conf. on fault-tolerant systems and diagnostics). Varna, 1987. - P. 101-112.

306. 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.

307. Димитриев Ю.К. Самодиагностика модульных вычислительных систем. -Новосибирск: Наука, 1993.

308. Димитриев Ю.К. Анализ самодиагностических свойств структур распределённых живучих вычислительных систем // Автометрия, №5.-1996 -С. 71-84.

309. Hammersley J.M. Percolation processes lower bounds for critical probability //Ann. Math. Statist., V.28. 1957. - P. 790-795.

310. Воробьёв B.A., Лаходынова H.B. Критическое протекание в плоских решетках // Специализированные вычислительные системы, методы и средства обработки информации: Тематический сборник научных трудов. -М.: Изд-во МАИ , 1987. С. 13-15.

311. Воробьёв В.А., Лаходынова Н.В. Пределы надёжности однородных вычислительных систем // Экспертные системы и распознавание образов: Вычислительные системы, 126). Новосибирск, Институт математики СО АН СССР, 1988.-С. 122-149.

312. Воробьёв В.А., Лаходынова Н.В. Пределы надежности однородных структур // Известия АН СССР: Техническая кибернетика, № 3. 1989. -С. 110-114.

313. Воробьёв В.А., Лаходынова Н.В. Пороги просачивания и надежность однородных структур // Методы и средства проектирования специализированных вычислительных систем. Ленинск: Изд-во МО, 1989.

314. 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.

315. Мангир Т.Э. Источники отказов и повышение выхода годных СБИС // ТИИЭР, Т.72. 1984. - С. 37-56.

316. Секен К.Х. Управление сложностью СБИС: Современное состояние и перспективы//ТИИЭР, Т.71, № 1. 1983. - С. 184-211.

317. Корен И, Прадхан Д. Избыточность как средство повышения надёжности и выхода годных мультипроцессорных систем с интеграцией на уровне кристаллов и пластин // ТИИЭР, Т.74, №>5.- 1986. С. 93-106.

318. Мур У.З. Обзор методов повышения отказоустойчивости, повышающих выход годных интегральных схем // ТИИЭР, Т.74, № 5. 1986. - С. 76-92.

319. Харченко B.C., Литвиненко В.Г, Мельников В.А. Методы повышения отказоустойчивости СБИС бортовых цифровых вычислительных комплексов // Зарубежная радиоэлектроника, № 12. 1990. - С. 56-69.

320. Stapper С.Н. Large-area fault clusters and fault tolerance in VLSI circuits: a review // IBM J. Res. Develop, V.33, № 2. 1989. - P. 162-173.

321. Stapper C.H. Small-area fault clusters and fault tolerance in VLSI circuits // IBM J. Res. Develop, V.33, № 2. 1989. - P. 174-177.

322. Сами M, Стефанелли P. Перестраиваемые архитектуры матричных процессорных СБИС. -ТИИЭР, Т.74, № 5. 1986. - С. 107-118.

323. 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.

324. Singh A.D. IEEE Trans. Comput, V.37, № 11. -1988.

325. 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. 833844.

326. Мямлин A.H, Поздняков Л.А, Котов Е.И, Задыхайло И.Б. Об одном методе повышения надёжности матричных многопроцессорных систем // Электронная вычислительная техника: Сб. научных трудов. - М, 1988. -Вып.2 . - С. 26-37.

327. Kuo S.-Y, Fuchs W.K. Reconfigurable Cube-Connected Cycles Architectures // J. of Parallel and Distributed Computing, V.9, № 1. 1990.

328. Dutt S., Hays J.P. On designing and reconfiguring k-fault-tolerant tree architecture // IEEE Trans. Comput., V.39, № 4. 1990. - P. 490-503.

329. 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.

330. Dwork D. et al. Fault tolerance in networks of bounded degree // SIAM J. Computing, V.l7. 1988. - P. 975-988.

331. Dolev D. et al. An efficient algorithm for Byzantine agreement without authentication // Щгт. and Control, V.52, № 3. 1992 . - P. 256-274.

332. ГалушкинА.Н., Грачёв JI.B., Толстых M.M., Точёнов В.А. Оценка алгоритмов реконфигурации структуры вычислительных систем с МИМД- архитектурой // Кибернетика, №2. -1990.

333. Лаходынова Н.В. Анализ и разработка методов обеспечения отказоустойчивости однородных вычислительных систем. Дис. . канд.техн. наук / Московский институт связи/. Москва: 1991.- рук.

334. Воробьёв В.А., Лаходынова Н.В. Процессорная матрица с перестраиваемой структурой и перестраиваемым резервом // Автометрия, № 5. 1994. -С. 90-98.

335. Воробьёв В.А., Ерёмина Н.Л. Программная реализация реконфигурации отказоустойчивой процессорной матрицы // Автометрия, № 2: Перспективные вычислительные системы. 1996. - С. 111-121.

336. Воробьёв В.А., Ерёмина Н.Л., Лаходынова Н.В. Анализ алгоритмов перестройки структуры процессорной матрицы // Автометрия, №3 1996. -С. 69-77.

337. Ерёмина Н.Л. Моделирование отказоустойчивой процессорной матрицы. // Новые информационные технологии в исследовании дискретных структур: Доклады всероссийской конференции. -Екатеринбург: УрО РАН, 1996. С. 112-116.

338. Воробьёв В.А, Лаходынова Н.В. Алгоритм реконфигурации процессорной матрицы на основе сигналов согласия // Международная конференция "Автоматизация проектирования дискретных систем": Тезисы докладов. -Минск, 1995, Т. 1. С. 13.

339. Воробьёв В.А, Лаходынова Н.В. Реконфигурация отказоустойчивой процессорной матрицы на основе сигналов согласия // Автометрия, № 6. 1997. -С. 108-113.

340. Берж К. Теория графов и её применения. М.: ИЛ, 1962.

341. Мальцев А.И. Алгебраические системы. М.: Наука, 1970.

342. Вентцель Е.С. Исследование операций. М.: Сов. радио, 1972.

343. Ахо А, Хопкрофт Дж, Ульман Дж. Построение и анализ вычислительных алгоритмов. М.: Мир, 1979.

344. Магнус В, Каррас А, Солитэр Д. Комбинационная теория групп. М.: Наука, гл. ред. физ.-мат. литературы, 1974.

345. Бухштаб A.A. Теория чисел. М.: Просвещение, 1966.

346. Скорняков Л.А. Элементы теории структур. М.: Наука, 1970.

347. Престон К. Гиббсовские состояния на счётных множествах. М.: Мир, 1977. - 125 с.

348. Кестен X. Теория просачивания для математиков. М.: Мир, 1986.

349. Боровков A.A. Теория вероятностей. М.: Наука, 1976. - 351 с.

350. Воробьёв В.А, Головчинер М.Н. Введение в алгоритмизацию: конспект лекций. -Томск: Издательство ТГУ, 1992.