Методы обеспечения отказоустойчивости процессорных матриц СБИС тема диссертации и автореферата по ВАК РФ 05.13.15, доктор технических наук Лаходынова, Надежда Владимировна

• Лаходынова, Надежда Владимировна
• доктор технических наук
• 2003

Оглавление диссертации доктор технических наук Лаходынова, Надежда Владимировна

ВВЕДЕНИЕ

ГЛАВА 1. ОВС КАК СЛУЧАЙНОЕ ПОЛЕ

1.1. Концепция ОВС

1.1.1. Основные принципы построения параллельных вычислительных систем

1.1.2. ОВС с программируемой структурой

• 1.1.3. Современное состояние параллельных систем

1.2. Локальные однородные структуры

1.2.1. Структура вычислительной системы

1.2.2. Локальность

1.2.3. Однородность

1.2.4. Периодичность

1.3. Ординарная динамическая модель ОВС

1.3.1. Модели коллективов вычислителей

1.3.2. Структурные характеристики ОВС

1.3.3. Ординарная динамическая клеточная модель

1.4. Состояния ординарных динамических систем

1.4.1. О теории случайных полей

1.4.2. Состояния на конечных графах

1.4.3. Эргодичность

1.4.4. Обратимые системы л 1.4.5. Надежность однородных структур

1.4.6. Резюме

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

ГЛАВА 2. ОТКАЗОУСТОЙЧИВОСТЬ НПМ С ТОЧКИ ЗРЕНИЯ ТЕОРИИ ПРОСАЧИВАНИЯ

2.1. Проблема надежности

2.1.1. Отказоустойчивые вычислительные системы

2.1.2. Традиционные подходы к обеспечению отказоустойчивости

2.1.3. Необходимость новой парадигмы структурной живучести

2.2. Статическая модель структурной надежности.

2.2.1. Проблема живучести ОВС

2.2.2. Статическая модель структурной надежности

2.3. Динамические модели живучести ОВС

2.4. Исследование порогов просачивания

2.4.1. Постановка задачи

2.4.2. Метод моделирующей решётки

2.4.3 Метод второй производной

2.4.4. Смешанная задача просачивания

2.4.5. Обсуждение результатов

2.5. Реальная парадигма живучести ОВС

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

ГЛАВА 3. АЛГОРИТМЫ РЕКОНФИГУРАЦИИ

НЕРАЗРЕЗНЫХ ПРОЦЕССОРНЫХ МАТРИЦ (НПМ)

I 3.1. Отказоустойчивые НПМ

3.1.1. Источники отказов СБИС

3.1.2. Обеспечение отказоустойчивости НПМ

3.1.3. НПМ с перестраиваемой структурой и программируемым резервом

3.2. Реконфигурация НПМ с программируемым резервом

3.2.1. Алгоритм непосредственной перестройки

3.2.2. Алгоритм вертикальной перестройки

А 3.2.3. Алгоритм ограниченного захвата

3.2.4. Алгоритм свободного захвата

3.3. Эффективность алгоритмов реконфигурации

3.3.1. Эффективность алгоритмов реконфигурации

3.3.2. Выбор резерва

3.3.3. Работоспособность алгоритмов реконфигурации

3.3.4. Резюме

3.4. Архитектура ОВС на НПМ с программируемым резервом

3.4.1. Архитектура ОВС

3.4.2. Недостатки схемной реализации

3.4.3. Архитектура ОВС с программной реконфигурацией НПМ

3.4.4. Резюме

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

ГЛАВА 4. КОНСЕНСУС-ПАРАДИГМА ОТКАЗОУСТОЙЧИВОСТИ НЕРАЗРЕЗНЫХ ПРОЦЕССОРНЫХ МАТРИЦ

4.1. Консенсус-парадигма отказоустойчивости НПМ СБИС

• 4.1.1. Пределы отказоустойчивости однородных структур

4.1.2. Классическая парадигма отказоустойчивости

4.1.3. Византийская парадигма отказоустойчивости

4.1.4. Консенсус-парадигма отказоустойчивости

4.2. Реконфигурация НПМ на основе консенсуса

4.2.1. Метод консенсуса

4.2.2. ОВС с программной реконфигурацией НПМ методом консенсуса

4.2.3. Локальная самодиагностика НПМ

4.2.4. Волновой алгоритм поиска консенсуса

4.2.5. Примеры реконфигурации

4.3. Эффективность метода консенсуса

4.3.1. Моделирование волнового алгоритма

4.3.2. Оценка эффективность волнового алгоритма

4.3.3. Волновой алгоритм и задача просачивания

4.3.4. Резюме

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

Введение диссертации (часть автореферата) на тему «Методы обеспечения отказоустойчивости процессорных матриц СБИС»

Актуальность исследования. Одним из прорывных направлений современной науки и техники является достижение общедоступной сверхвысокой производительности ЭВМ - более чем 1013-*-1014 флопс. От успешного внедрения и использования таких супер-ЭВМ зависит стратегическая позиция современных государств в нарождающемся сложном постиндустриальном мире. Так для всемирного экологического (и, очевидно, не только экологического) мониторинга США построили массово-параллельный суперкомпьютер с объявленным быстродействием ЗхЮ13 флопс.

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

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

Концепция ОВС занимает видное место в развитии супер-ЭВМ. Например, вычислительные кластеры серии МВС-100 и МВС-100Х, предлагаемые НПО «Квант», реально представляют собой ОВС на процессорных матрицах, а полносвязность структуры их межмашинных связей является виртуальной [8]. К тому же классу относится упомянутая выше стратегическая вычислительная система США. Растет число публикаций, теоретических и практических разработок в рамках этой концепции. Результаты этого развития впечатляющие. Достигнута пиковая производительность стратегических массово-параллельных систем, исчисляемая десятками терафлопс, однако такие системы всё ещё уникальны, крупногабаритны и слишком дороги.

Концепция ОВС была сформулирована в Институте математики СО АН СССР под руководством Э.В. Евреинова [1] в 1962 году и успешно развивается в настоящее время, являясь ведущей при построении систем сверхвысокой производительности. В России значительный вклад в развитие ОВС внесли Косарев Ю.Г., Хорошевский В.Г., Бандман О.Л., Прангишвили И.В., Медведев И.Л., Воробьев В.А., Корнеев В.В., Димитриев Ю.К., Глушков В.М., Каляев А.В., Лазарев В.Г., Додонов А.Г., Артамонов Г.Т. и многие другие.

Предмет диссертационного исследования — отказоустойчивая Однородная Вычислительная Система (ОВС) на Процессорных Матрицах (ПМ), в частности на Неразрезных ПМ СБИС (НПМ СБИС). Натурные эксперименты с предметом нашего исследования недоступны по очевидным экономическим и техническим причинам. Главным направлением исследований является поиск теоретических обоснований будущих технических решений.

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

Проблема обеспечения отказоустойчивости НПМ СБИС была сформулирована ещё в 80-х годах. Технологические трудности при изготовлении НПМ, низкий выход годных, дорогостоящее производство привели к тому, что до настоящего времени их использование в качестве базы для реализации ОВС остается проблематичным. Ясно, что технология обозримого будущего не избавит НПМ СБИС от указанных трудностей и ограничений. С другой стороны, очевидно, что именно НПМ наилучшим образом соответствуют идеологии ОВС и потребностям дальнейшего развития компактных массово-параллельных (мозгоподобных) вычислительных устройств.

Важнейшие особенности неразрезной технологии СБИС:

1) невозможность замены отказавших элементов;

2) отказы не только процессорных элементов, но и связей между ними;

3) однородность и близкодействие структур связей;

4) стремление к экономии оборудования.

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

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

Цель исследования — развитие теоретических основ построения отказоустойчивых ОВС, разработка программно-аппаратных методов обеспечения отказоустойчивости процессорных матриц с программируемой структурой, в том числе (и в особенности) НПМ СБИС.

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

2. Исследование фундаментальных пределов отказоустойчивости и надежности однородных структур (графов).

3. Разработка и исследование новых парадигм обеспечения отказоустойчивости ПМ и НПМ СБИС.

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

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

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

Методы исследования. При проведении исследований использовался следующий математический аппарат: многокомпонентные случайные системы, случайные поля, теория просачивания, теория графов, вычисления и имитационное моделирование на ЭВМ.

Научная новизна работы заключается в следующем.

1. Разработаны математические модели, предназначенные для исследования надёжности и отказоустойчивости ОВС, отличающиеся от известных учетом влияния структуры связей.

2. Исследованы фундаментальные пределы отказоустойчивости однородных коммутационных структур ПМ и НПМ СБИС.

3. Предложены практические методы определения предельных характеристик надежности - порогов просачивания - как для отдельного элемента, так и для ПМ в целом.

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

5. Предложен новый подход к обеспечению отказоустойчивости НПМ: консенсус-парадигма.

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

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

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

Реализация результатов исследования состоит в использовании их в учебном процессе в Вузах и при разработке отказоустойчивых ОВС. Использование результатов подтверждается соответствующими актами. Апробация. Результаты исследования: обсуждались на семинарах в Институте математики СО РАН (г. Новосибирск), Московском институте связи, Красноярском государственном электротехническом университете, на семинаре Отдела проблем информатизации Томского научного центра СО РАН, кафедре прикладной математики Томского государственного архитектурно-строительного университета.;

• кафедре прикладной математики Томского государственного архитектурно-строительного университета.;

• докладывались на 12-ти международных, всесоюзных и всероссийских, а также на региональных, городских и вузовских конференциях, совещаниях и школах-семинарах в Москве, Минске, Риге, Новосибирске, Томске, Екатеринбурге, Байконуре, Красноярске;

• поддерживались фондом грантов Министерства образования РФ.

Публикации. По тематике диссертации опубликовано 34 научных работы, из них: печатных - 33, из них: монографий - 1, учебных пособий — 1, в центральных изданиях - более десятка, в трудах всесоюзных, всероссийских и международных конференций - 9, в трудах региональных конференций — 3, в иностранной печати - 7.

Структура и объём работы. Диссертация состоит из введения, четырёх глав, заключения, библиографии и приложения. Общий объём диссертации - 236 страницы. Из них: 1 страница титульная; 3 страницы содержания (83 пункта); 207 страниц основного текста, содержащего 28 рисунков и 14 таблиц; 23 страницы библиографии на 276 названий; 2 страницы приложения. В приложение вынесено описание языка ЛОГИКА.

Заключение диссертации по теме «Вычислительные машины и системы», Лаходынова, Надежда Владимировна

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

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

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

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

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

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

5. Исследована методом моделирования на ЭВМ работоспособность и эффективность метода консенсуса. Эксперимент подтвердил, что он является наиболее эффективным по сравнению с известными алгоритмами. В этом смысле он является предельным.

6. Исследовано просачивание по согласным элементам в однородных структурах. Получены пороговые значения вероятности просачивания по согласным элементам для наиболее популярных структур, которые характеризуют живучесть системы с учетом ненадежности и узлов и связей. 7. Получены приближенные значения для вероятностей просачивания по узлам и связям для случая смешанной задачи просачивания.

ЗАКЛЮЧЕНИЕ

Перечислим основные результаты диссертации.

I. Подтверждена перспективность и решающая роль концепция ОВС в развитии современных массово-параллельных процессоров.

II. Построена ординарная динамическая клеточная модель параллельной вычислительной системы. Исследованы ее стохастические свойства.

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

2. Продемонстрирована возможность вычисления коэффициента готовности системы с учетом межмашинных взаимодействий.

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

III. Исследована перколяционная модель структурной надежности.

1. Показано, что требования локальности и однородности структуры не позволяют использовать слишком ненадёжные элементы.

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

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

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

IY. Исследованы подходы (парадигмы) к проблеме отказоустойчивости

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

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

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

5. Y. Предложены и исследованы новые методы обеспечения отказоустойчивости ОВС на ПМ и НПМ СБИС.

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

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

8. Показана их высокая эффективность по сравнению с предшествующими алгоритмами Сами и Стефанелли.

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

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

11. Показана возможность программной реализации МПКА, свободной от неконтролируемых элементов процессорной матрицы.

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

YI. Предложена новая консенсус-парадигма структурной живучести.

1. Показаны ее преимущества перед традиционными подходами к обеспечению отказоустойчивости ВС, в том числе основанных на взаимопроверках с построением синдрома неисправностей.

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

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

4. Исследована работоспособность и эффективность метода консенсуса. Показано, что он является наиболее эффективным по сравнению с известными алгоритмами.

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

6. Попутно получены приближенные значения для вероятностей просачивания по узлам и связям для случая смешанной задачи просачивания.

Список литературы диссертационного исследования доктор технических наук Лаходынова, Надежда Владимировна, 2003 год

1. Евреинов Э.В. О возможности построения вычислительных систем высокой производительности / Э.В. Евреинов, Ю.Г. Косарев Новосибирск: Институт математики СОАН СССР, 1962.

2. Евреинов Э.В. Однородные универсальные вычислительные системы высокой производительности / Э.В. Евреинов, Ю.Г. Косарев Новосибирск: Наука, 1966.

3. Евреинов Э.В. Однородные вычислительные системы / Э.В. Евреинов, В.Г. Хорошевский Новосибирск: Наука, 1978.

4. Мамзелев И.А. Некоторые вопросы теории модели коллектива вычислителей // Вычислительные системы, М.: Финансы и статистика, 1981.- Вып. 2. - С. 63-68.

5. Димитриев Ю.К. Вычислительные системы из мини-ЭВМ / Ю.К. Димитриев, В.Г. Хорошевский М.: Радио и связь, 1982 .

6. Прангишвили И.В. Параллельные вычислительные системы с общим управлением / И.В. Прангишвили, С.Я. Виленкин, И.Л. Медведев М.: Энергоиздат, 1983.

7. Каляев А.В. Многопроцессорные системы с программируемой архитектурой. М.: Радио и связь, 1984.

8. Корнеев В.В. Параллельные вычислительные системы. М.: Нолидж, 1999. -320 с.

9. ТИИЭР, T.72, № 1, Супер-ЭВМ: воздействие на развитие науки и техники /пер. с англ./. М.: Мир, 1984.

10. П.Хокни Р., Параллельные ЭВМ. / Р. Хокни., К. Джесхоуп.-М.: Радио и связь, 1986.

11. Фрир Дж. Построение вычислительных систем на базе перспективных микропроцессоров. М.: Мир, 1990.

12. Anthes G.H., . INTERVIEW: Seymour R.Cray, Head of Cray Computer Corp/ G.H. Anthes, C. Babcock // Computer World, № 35 . Moskow, 1994, - C. 51.

13. Babcock C. Will the Cray-4 Be the Next Supercomputing Coup // Computer World, № 35. Moskow, 1994. - C. 50.

14. ЭВМ с массовым параллелизмом завоёвывают сферу бизнеса// Computer World-Moskow, № 49.-1994, С. 53,55-58.

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

16. Christ N.H. A very fast parallel processor / N.H. Christ, A.Terrano // IEEE Trans. Comput., V.33, № 4 .-1984.- P. 344-350.

17. Killmon P. Computers tackle callenges of the 90s // Comput. Des, V.24, № 17.- 1986.-P. 47-50,52,56.19.0hr S. Engineering computers. Technology forecast // Electron. Des., V.35, № 1.- 1987.-P. 104-107,112-113, 116,118.

18. Соколова Г.Н. Состояние и тенденции развития зарубежной высокопроизводительной вычислительной техники // Вычислительная техника за рубежом в 1986-87 г. -М.: Изд-во ИТМ и ВТ, 1987.- С.3-22.

19. Головня В.Н. Особенности развития архитектуры высокопроизводительных вычислительных машин // Вычислительная техника за рубежом в 1986-87 г. М.: Изд-во ИТМ и ВТ, 1987. - С.102-139.

20. Peacock J.K. Application dictates your choice of a multiprocessor model // EDN, V.32, № 13.- 1987.-P. 241-248.

21. ТП1 J. Computer sistem architecture // Electron. Des., V.37, №1.-1989. P. 1,50-54, 56, 58, 60, 62-63.

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

23. Hwang K. Advanced parallel processing with supercomputer architectures // Proceedings of the IEEE / ТИИЭР, перевод с англ./ V.75, № 10.- 1987. С. 4- 40.

24. Головкин Б.А. Технико-экономические модели и оценки ЭВМ // Зарубежная радиоэлектроника, №1. -1988. С. 3-25.

25. Weiss S. Scalar Supercomputer Architecture.// Proceeding IEEE / ТИИЭР, перевод с англ. / У .11, №12 .- 1989.-С. 197-211.

26. Rau B.R. Efficient code generation for horizontsl architectures: Compiler techniques and architecturl support / B.R.Rau, C.D.Glaeser, R.L. Picard // Proc. 9tn Int. Symp. Computer Architecture (Austin, TX, Apr.1982), P. 131-139.

27. Cohler E.U., Stohrer J.T. Functionally parallel architectures for array processors // Compuer, V.14, №9.-1981. P. 28-36.

28. Fisher J.A. The VLIW machine: A multiprocesor for compiling scientific code // Computer, V.17, №7.-1984. P. 45-53.31 .Fisher J.A. VLIW architectures: Supercomputing via overlapped execution // Second Int. Conf. Supercomputing. -1987.

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

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

31. Rau B.R. and other // IEEE Comput., V.22, №1 .-P. 12-35.

32. Charlesworth A.E. An approach to scientific array procesing: The architectural desing ofthe АР-120B/FSP-164 family.// Computer, 1981, V.14, №9, P. 18-27.

33. Головкин Б.А. Параллельные вычислительные системы.-М.: Наука, 1980.

34. Королёв JI.H. Структуры ЭВМ и их математическое обеспечение. М.: Наука, 1974.

35. Parhi К.К. Algorithm Transformation Techniques for Concurrent Proceccors // Proceedings ofthe IEEE /ТИИЭР, перевод с англ./, V.77, №12.- 1989. С. 96-115.

36. Шпаковский Г.И. Метод планирования трасс и архитектуры ЭВМ со сверхдлинной командой // Зарубежная радиоэлектроника, № 11. -1991. С.10-27.

37. Власов В.В. Организация и функционирование специализированных вычислительных систем, управляемых потоком данных / В.В.Власов, О.А.Рахматулин, Вл.К Ю // Зарубежная радиоэлектроника, № 7,8,9. -1993. С. 18-31.

38. Крайников А.В. СБИС-архитектура высокопроизводительных процессоров потоков данных / А.В.Крайников, О.А.Рахматулин, Вл.К. Ю //Зарубежная радиоэлектроника, № 8.-1992. С. 111-134.

39. Potter J.L. Array Processor Supercomputers // Proceedings of the IEEE, /ТИИЭР, перевод с англ./ V.77, №12. -1989. С. 115-135.

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

41. Stoflo S J. DADO: A parallel processor for expert systems / S J.Stoflo , D.P. Miranker // Proc. 1984 Int. Conf. Parallel Processing. -1984. -P. 74-82.

42. 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. 61-72.

43. Воробьёв К.Ю. Иерархическая обработка изображений и пирамидальные системы / К.Ю.Воробьёв, Г.Н.Тимонькин, В.С.Харченко, В.А. Мельников // Зарубежная радиоэлектроника, №7. 1991. - С. 51-60.

44. Палташёв Т.Т. Растрирование и распределённая обработка в системах генерации реалистических изображений / Т.Т.Палташёв, С.И.Климина // Зарубежная радиоэлектроника, №11. 1992. - С. 3-22.

45. Бандман О.Л. Организация массовых вычислений в оптических компьютерах: обзор // Зарубежная радиоэлектроника, № 2. 1992. - С. 64-75.

46. Berra Р. В. and other. Optics and Supercomputing // Proceedings of the IEEE /ТИИЭР, перевод с англ./, V.77, №12. 1989. - С. 5-23.

47. Streibl N. and oter. Digital Optics // Proceedings of the IEEE /ТИИЭР, перевод с англ./, V.77, №12. 1989. - С. 179-196.

48. Spectrum, V.25, № 3. -1988.- P. 36-41.

49. Чебатко М.И. Нейронные сети для решения задач на борту летательных аппаратов.// Зарубежная радиоэлектроника, №11,12.- 1994. С. 40-44.

50. Forrest В.М., and other, Implementing neural network models on parallel computers // Comput. J., V.30, № 5,- 1986.- P. 413-419.

51. Milutinovic V. Mapping of Neural Networks on the Honeycomb Architecture // Proceeding of the IEEE, 1989, V.77, №12, /ТИИЭР, перевод с англ., С. 91-95./

52. Kung Н.Т. Systolic arrays (for VLSI). / H.T.Kung, G.E.Leiserson In: Proc. Symp. Sparse Matrix Computations and Applications. Society for Industr. and Applied Math., 1979, P. 256-289.

53. Kung H.T. The Structure of Parallel Algorithms // Advances in Computers, V.19. New-York, 1980.-P. 65-112.

54. Moldovan D.I. On the Desing of Algorithms for VLSI Systolic Arrays // Proceedings of the IEEE, /ТИИЭР, перевод с англ./, V.71, №1.-1983. С. 140-149.

55. IEEE Trans. Comput., V.33, №4.- P. 361-364.

56. Kung H.T. Why Systolic Architectures? // Computer, V.15, № 1. 1982.-P. 37-46.

57. Kung S.-Y. Wavefront array processor: lanquage, architecture and aplications / S.-Y.Kung, K.S.Arun, RJ.Gal-Ezer, V.Bhaskar Rood. // IEEE Trans. Comput., V.31, N11.-1982.- P. 1054-1066.

58. Kung S.-Y. On Supercomputing with Systolic Wavefront Array Processors // Proceedings of the IEEE /ТИИЭР, перевод с англ./, V.72, №7. -1984. - С. 133- 153.

59. Anaratone М. and other, The Warp computer: architecture, implementation and performance // IEEE Trans. Comput., V.36, № 12.- 1987.- P. 1523-1538.

60. Барон И. Транспьютер // Электроника, Т.56, № 23.-1983. С. 104.

61. Транспьютеры. Архитектура и программное обеспечение. /Пер. с англ. под ред. Г.Харпа/. М.: Радио связь, 1993.

62. Мишин А.И., Однородные вычислительные системы и параллельные вычисления / А.И.Мишин, С.Г.Седухин // Автоматика и вычислительная техника, N1.- 1981.-С. 20-24.

63. Воробьёв В.А. Модель коллектива вычислителей, основанная на принципе близко-действия // Вычислительные системы с программируемой структурой: Вычислительные системы, 94. -Новосибирск: Институт математики СОАН СССР, 1982 . -С.103-119.

64. А.И.Мишин // Институт математики СО АН СССР, Препринт № 20. Новосибирск, 1985.

65. В.А.Воробьёв В.А. Близкодействующая архитектура вычислительной системы /В.А.Воробьёв, Н.ВЛаходынова // Перспективы развития вычислительных систем. III Всесоюзный симпозиум, Рига, 31.10-2.11, 1989: Тезисы докладов. -Рига, 1989. -С. 20.

66. Воробьёв В.А. Теоретические основы построения однородных вычислительных систем на неразрезных процессорных матрицах. Дис. .докт. наук. /ИПУ/.- Москва. 1999. -350 с. -рук.

67. Михайлов С.А. Перспективные принципы построения сверхбольших интегральных схем // Зарубежная радиоэлектроника, №12 . -1991. С. 3-14,33.

68. Бубенников А.Н. Мировые программы освоения высоких субмикронных технологий конкурентноспособных СБИС / А.Н.Бубенников, А.А. Бубенников // Зарубежная Радиоэлектроника, № 2. -1993. С. 75-85.

69. Бубенников А.Н. Тенденции развития конкурентноспособных кремниевых КИзд-во МОП-, биполярных и БИКИзд-во МОП-СБИС / А.Н.Бубенников, А.А. Бубенников //Зарубежная Радиоэлектроника, № 1. -1994.-С. 2-3.

70. Васильев Б.М. Микропроцессоры: история, развитие, технология / Б.М.Васильев, А.П.Частиков // Зарубежная Радиоэлектроника, № 2-3. -1994. С. 52-61.

71. Рогожин В.Б. Два миллиарда операций в секунду // Мир ПК, №7.-1994. С. 23-26.

72. Борзенко А. На пути в будущее: микропроцессор Petium Pro // Компьютер Пресс, № 12.-декабрь 1995.-С. 131.

73. Батыгов М. Современные процессоры для ПК: сравнение производительности / М.Батыгов, О.Денисов // Компьютер Пресс, № 12.- декабрь 1996. С. 94-106.

74. Рыбаков А. Процессоры семейства Power PC // Компьютер Пресс, № 2.-1996. С. 86-88, 90, 92-93.

75. Черняк Л. Рабочие станции Ultra шаг Sun в XXI век // Компьютер Пресс, № 2,1996. - С. 95-100.

76. Поляков В. Микропроцессоры: между прошлым и будущим // Компьютер пресс, №4.-1996. С. 62-67.

77. Кииз Р.У. Физические ограничения цифровых электронных схем // ТИИЭР, Т. 63, № 5. -1975. С. 5-38.

78. Кииз Р.У. Фундаментальные пределы в цифровой обработке информации // ТИИЭР, Т. 62 , №2 .-1981. С. 152-166.

79. Schorr A. Pysical parallel devices are not mach faster then sequential ones // Inf. Process Lett.,V.17, №2. -1983. P. 103-106.

80. KOTOB B.E. Перспективы и проблемы создания ЭВМ на сверхбольших интегральных схемах. — // Теоретические вопросы параллельного программирования и многопроцессорных ЭВМ. -Новосибирск: ВЦ СО АН СССР, 1983.

81. Grosch H.R.J // J. Optical Soc. America, V.43, № 4. -1953.

82. Amdahl G. The validity of the single processor approach to achieving large-scale computing capabilities // Proc. AFTPS Spring Joint Computer Conf. V.30, (Atlantic City, NJ, Apr. 18-20). Reston: AFTPS Press, VA, 1967.- P. 483-485.

83. Gallant J. Parallel processing ushers in a revolution in computing // EDN, V.33, № 18.1988.- P. 86,89-94,96,98,100.

84. Gustafson J.L. Reevaluation Amdal's law // Commun. ACM, V.31, №5. -1988.- P. 532533.

85. Buzbee B. Parallel processing makes tough demands // Comput. Des., V.23, №10.1984.- P. 137-140.

86. Hillis W.D. Data parallel algorithms / W.D.Hillis, G.L.Steele // Commun. ACM, V.29, № 12.-1986.- P. 1170-1183.

87. Косарев Ю.Г. О схемах обмена между ветвями параллельных алгоритмов // Вычислительные системы, Вып 52, Новосибирск: Институт математики СО АН СССР, 1972, С. 70-75.

88. Вальковский В.А. Синтез параллельных программ и систем на вычислительных моделях. / В.А.Вальковский, В.Э.Малышкин — Новосибирск: Наука, Сибирское отделение, 1988,- 128 с.

89. Вальковский В.А. Распараллеливание алгоритмов и программ. Структурный подход. М.: Радио и связь, 1989.

90. Волович В.М. О решении систем линейных алгебраических уравнений клеточными методами // Вычислительные методы и программирование. М.: Изд-во МГУ.-Вып.З,- С. 106-133.

91. Миренков Н.Н. Параллельное программирование мультимодульных вычислительных систем. М.: Радио и связь, 1989.99.0ртега Дж. Введение в параллельные и векторные методы решения линейных систем. М.: Мир, 1991.

92. Воробьёв В.А. Эффективность параллельных вычислений // Автометрия. № 1, -2001,-С. 50-57.

93. Седухин С.Г. Параллельно-поточная интерпретация метода Гаусса // Вычислительные системы с программируемой структурой: Вычислительные системы, 97.-Новосибирск: Институт математики СОАН СССР, 1983. С. 10-27.

94. Корнеев В.В. Современные микропроцессоры / В.В. Корнеев, А.В. Киселев . 2-е изд. - М. : Нолидж, 2000. - 315 с.

95. ЮЗ.Седухин С.Г. Параллельно-поточная интерпретация метода Холецкого // Электронное моделирование, Т.6, № 6.-1984. С. 3-6.

96. Мишин А.И. Асинхронно-локальные вычислительные системы и среды / А.И.Мишин, В.А.Леус -Новосибирск: Институт математики СОАН СССР, 1991. -178 с.

97. Ачасова С.М. // Корректность параллельных вычислительных процессов / С.М.Ачасова, О.Л Бандман -Новосибирск: Наука, Сиб. отделение, 1990.

98. Воробьёв В.А. Программное обеспечение систем логического управления ДА: Учебное пособие. /В.А. Воробьёв, Н.В.Лаходынова М.: Изд-во МАИ , 1991.- 39 с.

99. Achasova S.M. Correctness of mixed cellular computations // Bulletin of the Novosibirsk Computing Center, Series: Computer Science, Issue: 2(1993), P. 1-11.

100. Ю.Фон Нейман Дж. Теория самовоспроизводящихся автоматов. — М.: Мир, 1971.

101. Ш.Корнев Ю.Н. Алгоритмы обобщенных подстановок и их интерпретация сетями автоматов и однородными машинами / Ю.Н.Корнев, С.Н.Пискунов, С.Г.Сергеев // Изв. АН СССР. Техническая кибернетика, № 6.-1971. С. 131-142.

102. Варшавский В.И. Коллективное поведение автоматов. М.: Наука, 1973.

103. ПЗ.Бандман O.JI. Асинхронная интерпретация параллельных микропрограмм: Препринт ОВС-14. Новосибирск: Институт математики СО АН СССР.- 1981.-36 с.

104. Тоффоли Т. Машины клеточных автоматов / Т.Тоффоли, Н.Марголус /Перевод с англ. под ред. Баталова Б.В./. М.: Мир, 1991.

105. Корнеев В.В. Архитектура вычислительных систем с программируемой структурой. Новосибирск: Наука, Сибирское отделение, 1985.

106. Абрамова НА. Однородные логические сети и их группы автомофизмов // Автоматика и телемеханика, № 11.-1970.

107. Евреинов Э.В. Цифровые автоматы с настраиваемой структурой. Однородные среды. / Э.В.Евреинов, И.В.Прангишвили М.: Энергия, 1974.

108. Воробьёв В.А. Простейшие структуры однородных вычислительных систем // Вычислительные системы.-Новосибирск: Институт математики СО АН СССР. -Вып.60. 1974.- С. 35-49.

109. Воробьёв В.А. Некоторые вопросы теории структур однородных вычислительных систем / В.А.Воробьёв, В.В.Корнеев // Вычислительные системы.-Новосибирск: Институт математики СОАН СССР. -Вып.60. 1974.- С. 3-16.

110. Воробьёв В.А. Элементы теории структур однородных вычислительных систем / В.А.Воробьёв, В.В.Корнеев // Однородные вычислительные системы и среды: Материалы IV Всесоюзной конференции. -Киев. 1975.-Ч.1.- С. 33-34.

111. Монахов О.А. Параметрическое описание структур ОВС // Вычислительные системы. -Новосибирск: Институт математики СОАН СССР. Вып.80. - 1979.- С. 3-17.

112. Воробьёв В.А. К теории структур однородных вычислительных систем /

113. B.А.Воробьёв, Ю.А.Гавырин // XXXIII Всесоюзная научная сессия, посвященная дню радио. Аннотация и тезисы докладов. — Москва. 1978, - С. 44.

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

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

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

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

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

119. Аверинцев М.Б. Об одном способе описания случайных полей с дискретным аргументом // Проблемы передачи информации. 6. 2. - 1970. - С 100-108.

120. Басис В.Я. О стационарности. и эргодичности многокомпонентных марковских процессов с локальными взаимодействиями. // В сб.: Многокомпонентные случайные системы. М.: Наука. - 1978. - С. 31-46.

121. Васильев Н.Б. Обратимые цепи Маркова с локальными взаимодействиями / Н.Б.Васильев, О.К.Козлов // В сб.: Многокомпонентные случайные системы. М.: Наука. - 1978. - С.83-99.

122. Добрушин P.JI. Задание системы случайных величин при помощи условных распределений // Теория вероятностей и ее применения . 15. № 3. - 1970. - С.469-497.

123. Добрушин P.JI. Описание случайного поля при помощи условных вероятностей и условия его регулярности. // Теория вероятностей и ее применения. 13. № 2. -1968. - С. 201-229.

124. Добрушин P.JI. Описание случайного поля при помощи условных вероятностей и приложения к статистической физике. // Институт проблем передачи информации АН СССР. М. - 1968. С. 61.

125. Добрушин P.JI. Марковские процессы с большим числом компонент обратимый случай и некоторые обобщения. // Проблемы передачи информации. - 7. №3. -1971. - С.57-66.

126. Розанов Ю.А. Исследование свойства марковости случайных полей // В сб.: Итоги науки и техники ВИНИТИ. Современные проблемы математики, 14. 1979. - С. 3-70.

127. Розанов Ю.А. О гауссовских полях с заданными условными распределениями. // Теория вероятностей и ее применения. 12. № 3. - 1967. - С. 433-443.

128. Вассерштейн JI.M. Марковские процессы на счетном произведении пространств, описывающие большие системы автоматов.//Проблемы передачи информации. 5. № 3. - 1969. С. 64-71

129. Goldstein Sheldon. Remarks on the global Markov property. // Commun. Math. Phys. -74. № 3. 1980. - P.223-234.

130. Dang-Ngoe N. Markov property of extremal local fields // N.Dang-Ngoe, G. Royer -Proc. Amer. Math. Soc. 70, №2. - 1978. - P.185-188.

131. Kesten Harry. Existeme and uniqueness of countable one-dimensional Markov random fields // Ann. Probab. 4. № 4. - 1976. - P.557-569.

132. Moran P.A.P. Nesessary conditions for Marcovian processes on a lattice // J. Appe. Probab. 10, № 3. - 1973. - P.605-612.

133. Nelson Edward. Markov fields // Proc. Int. Congr. Math. Vancouver. V.2. S.l. - 1974.- P.395-398.

134. Spitzer Frank. Markov random fields on an infinite tree. // Ann. Probab. 3. 1975. - P. 387-398.

135. Аверинцев М.Б. Описание марковских случайных полей при помощи гиббсовских условных вероятностей // Теория вероятностей и ее применения. 17. № 1. - 1972. -С.21-35.

136. Аверинцев М.Б. Гиббсовское описание случайных полей, условные вероятности которых могут обращаться в ноль // Проблемы передачи информации. — 11. №4. -1975. С.86-96.

137. Герцик В.М. Условия неединственности гиббсовского состояния для решетчатых моделей с финитным потенциалом взаимодействия // Изв. АН СССР, Сер. Мат.- 40. №2. 1976. - С. 448-462.

138. Добрушин Р.Л. Марковские процессы с большим числом компонент обратимый случай и некотрые обобщения // Проблемы передачи информации. - 7. № 3. - 1971.- С. 57-66,

139. Добрушин Р.Л. Исследование гиббсовских состояний для трехмерных решетчатых систем // Теория вероятностей и ее применения, 8. № 2. - 1973. - С.261-279.

140. Добрушин Р.Л. Гиббсовское состояние, описывающее существование фаз для трехмерной модели Изинга // Теория вероятностей и ее применения, 17, № 4. -1972. - С.619-639.

141. Добрушин Р.Л. Задача единственности гиббсовского случайного поля и проблема фазовых переходов // Функциональный анализ и его приложения, 2. №4. 1968. -С.44-57.

142. Козлов O.K. Гиббсовское описание точечных случайных полей // Теория вероятностей и ее применения. 21, № 2. - 1976. - С.348-365.

143. Козлов O.K. Гиббсовское описание системы случайных величин // Проблемы передачи информации. -. 10, №3. 1973. - С.94-103.

144. Мартиросян Д.Г. Периодические гиббсовские состояния для классических решетчатых систем // Изв. АН АРМ СССР, серия математика. 14, № 1. - 1979. - С.21-41.

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

146. Geogii Hans-Otto. Canonical and grand canonical Gibbs states for continuum systems // Commun. Math. Phys. 48, № 1. - 1976. - P.31-51.

147. Georgii Hans-Otto. Canonical Gibbs measures. Some extensions of the Finetti representation theorem for interacting particle systems // Lect. Notes. Math. 760, 8. -1979.-P.190.

148. Grosso G. Del. On the local central limit theorem for Gibbs processes // Communs. Math. Phys. 37, № 2. - 1974. - P. 141-160.

149. Higuchi Yasunari. Remarks on the timiting Gibbs states on a (1+3) tree // Publ. Res. Inst.Math.Sci. 13, №2. - 1977. - P.335-348.

150. Moussouris John. Gibbs and Markov random systems with constraints // J.Statist. Phys. 10, № 1.- 1974.- P.l 1-33.

151. Preston Christopher J. Gibbs states on countable sets . London. Cambridge Univ. Press.- 1974.-P. 128.

152. Preston C. Random fields // Lect Notes Math. v. 534. 1976. - P.200 .

153. Spitzer Frank. Markov random fields and Gibbs ensembles // Amer. Math. Mon. 78,2.-1971.-P. 142-154. 165.Sullivan W.G. Potentials for Almost Markovian Random Fields // Commun. Math. Phys. 33, №1. - 1973. - P.61-74.

154. Wagner E.G. On connecting modules together uniformly to form a modular computer // IEEE Trans, on EC. V.EC-15, № 6.- 1965.-P. 863-972.

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

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

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

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

159. Воробьев В.А. Отказоустойчивость однородных процессорных матриц / В.А. Воробьев, Н. В. Лаходынова, Н.Л. Еремина. Томск: Томский государственный архитектурно-строительный университет, 2002. - 154 с.

160. Лаходынова Н. В. Исследование алгоритмов реконфигурации процессорной матрицы и задача просачивания // Моделирование неравновесных систем, материалы III Всероссийского семинара, Красноярск, 20-22 октября 2000 года. - С. 145-146.

161. Лаходынова Н. В. Задача просачивания для моделирования финансовых потоков / Н. В. Лаходынова, Т.В. Воробьева // Моделирование неравновесных систем, материалы IV Всероссийского семинара, Красноярск, 12-14 октября 2001 года. - С. 23.

162. Лаходынова Н. В. Просачивание в однородных структурах с согласием // Материалы II Всесибирского конгресса женщин-математиков, Красноярск, 15-20 января 2002 года.

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

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

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

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

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

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

169. Serlin О. Fault tolerant computers // Data Process., V.25, №10. 1983. -P. 28-31.

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

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

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

173. Adams G.B. The extra stage cube: A fault-tolerant interconnection network for supersystems / G.B.Adams, H.J.Siegel // IEEE Trans. Comput., V.C-31, №5. 1982. . p. 443-454.

174. Adams G.B. Asurvey and comparison of fault-tolerant multistage interconnection networks / G.B.Adams, D.P.Agrawal, H.J.Siegel // Computer, V.20, № 6. -1987. P. 1427.

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

176. Horowitz E. The Binary Tree as an Interconnection Network: Application to Multiprocessor System and VLSI / E.Horowitz, A.Zorat // IEEE Trans. Comput., V.C-30, № 4. 1981. - P. 247-253.

177. Hassan A.S.M. A Fault-Tolerant Modular Architecture for Binary Trees / A.S.M.Hassan, V.K.Agarwal // IEEE Trans. Comput., V.C-35, № 4. P. 356-361.

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

179. Yingquan Z. A Kind of Multistage Interconnection Networks with Multiple Paths / Z.Yingquan, M. Yinghua // J. of computer science and technology, V.ll, № 4. 1996.- P. 395-404.

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

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

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

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

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

185. Pradhan D.K.,. Communication Structures in Fault-Tolerant Distributed Systems / D.K.Pradhan, F.J Meyer // FTDS-10 (10-th Int. Conf. on fault-tolerant systems and diagnostics). Varna, 1987. - P. 193-202.

186. Pradhan D.K. The De Bruijn Multiprocessor Network: A versative parallel processing and sorting networks / D.K.Pradhan, Samatham M. // IEEE Trans. Comput., V.C-39, №4.- 1989.-P. 567-581.

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

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

189. Alam M.S. Routing in Modular Fault-Tolerant Multiprocessor System / M.S.Alam, R.G.Melhem // IEEE Trans, on Parallel and Distributed Systems, V.6, №11. 1995.- P. 1206-1220.

190. Tzeng N.-F. A Pairwise Substitutional Fault-Tolerant Technique for Cube-Connected Cycles Architecture / N.-F.Tzeng, P. -J.Chang // IEEE Trans, on Parallel and Distributed Systems, V.5, №4.- 1994. P. 433-438.

191. Yang C.S. A Recofigurable Modular Fault-Tolerant Hypercube Architecture / C.S.Yang, L.P.Zu, Y.N.Wu // IEEE Trans, on Parallel and Distributed Systems, V.5, № 10.- 1994.-P. 1018-1032.

192. Vinnakota B. Design of Algoritm-Based Fault-Tolerant Multiprocessor Systems for Concurrent Error Detection and Fault Diagnosis / B.Vinnakota, N.K.Jha // IEEE Trans, on Parallel and Distributed Systems, V.5, №10. 1994. - P. 1099-1106.

193. Ramanathan P. Resource Placement with Multiple Adjacenty Constraits in k-ary n-Cubes / P.Ramanathan, S.Chalasani // IEEE Trans, on Parallel and Distributed Systems, V.6,№ 5.- 1995.-P.511-519.

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

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

196. Pifarre G.D. Adaptive Deedlock- and Livelock-Free Routing in the Hypercube Network / G.D.Pifarre, L.Gravano, G.Denicolay, J.L.Sanz // IEEE Trans, on Parallel and Distributed Systems, V.5, № 11. 1994. - P. 1121-1139.

197. 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. 976987.

198. Shin C.J. Adding Multiple- Fault Tolerance to Generalizad Cube Networks / C.J.Shin, K.E.Batcher // IEEE Trans, on Parallel and Distributed Systems, V.5, № 8. 1994. -P. 785-792.

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

200. Согомонян Е.С. Самопроверяемые устройства и отказоустойчивые системы /

201. E.С.Согомонян, Е.В.Слабаков М.: Радио и связь, 1989. - 208 с.

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

203. Preparata F.P. Оп connection assignement problem of diagnosable systems /

204. F.P.Preparata, G.Metze, R.J.Chien // IEEE Trans. El. Comput.,V. EC-16, № 12, 1967.- P.848-854.

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

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

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

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

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

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

211. Mc Leod R.D. Percolation and Anomalous Transport as Tools in Analyzing Parallel Processing Interconnect Network / R.D.Mc Leod, JJ.Schellenberg // J. of Parallel and Distributed Computing, V.8, № 4. 1990. - P. 376-387.

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

213. Vorobyev V. A. Reconfigurable processing arrays with a rearrangeable redundancy /V.A. Vorobyev, N.V. Lakhodinova // Optoelectronics, Instrumentation and Data Processing, № 5. 1994. -P. 90-98.

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

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

216. Vorobyev V.A. Analysis of the algorithms of a processor array structure reconfiguration /V.A. Vorobyev , N.V. Lakhodinova // Optoelectronics, Instrumentation and Data Processing, № 3. 1996. -P. 69-77.

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

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

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

220. Vorobyev V.A. Reconfiguration of fault-tolerant processor arrays on the basis of agreement signals / V.A. Vorobyev, N.V. Lakhodinova, // Optoelectronics, Instrumentation and Data Processing, № 6. 1997. -P. 108-113.

221. Артамонов Г.Т. Об одном способе построения однородных эквицентральных сетей // Техническая кибернетика, № 6. -1970.

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

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

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

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

226. Upfal Е. Tolerating a Linear Number of Faults in Networks of Baunded Degree // Information and Computation, V.115. 1994. - P. 312-320.

227. Dwork D. et al. Fault tolerance in networks of bounded degree // SLAM J. Computing, V.17.- 1988.-P. 975-988.

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

229. Harris Т.Е. A lower bound for the critical probability in a certain percolation process // Proceeding of Cambridge Philosofical Society, V.56. I960 - P. 13- 20.

230. Боровков A.A. Теория вероятностей. — M.: Наука, 1976. 351 с.

231. Берж К. Теория графов и её применения. М.: ИЛ, 1962. 247.3акревский А.Д. Алгоритмы синтеза дискретных автоматов. - М.: Наука, 1974. 248.Сами М. Перестраиваемые архитектуры матричных процессорных СБИС. /

232. М.Сами, Р.Стефанелли -ТИИЭР, Т.74, № 5. 1986. - С. 107-118.

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

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

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

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

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

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

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

240. Hosseini S.H. On fault-tolerant structure, distributed fault-diagnosis, reconfiguration and recovery ofthe array processors // IEEE Trans. Comput., V.38, № 7. 1989. - P. 932942.

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

242. Lam C.W.H. A study of two approaches for reconfiguring fault-tolerant systolic arrays / C.W.H.Lam, H.F.Li // IEEE Trans. Comput., V.38, № 6. 1989. - P. 833-844.

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

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

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

246. Chan M.Y. Distributed Fault-Tolerant Embeddings of Rings in Hypercubes / M.Y.Chan, S.-J Lee.// J. of Parallel and Distributed Computing, V.ll, № 1.-1991. -P. 63-71.

247. Lin R. Reconfigurable Buses with Shift Switching: Concepts and Applications / R.Lin, S.Olarin // IEEE Trans, on Parallel and Distributed Systems, V.6, №1. 1995. - P. 93102.

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

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

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

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

252. Scott S.L. The Impact of Pipelined Channels on k-ary n-Cube Networks / S.L.Scott, J.K.Goodman // IEEE Trans, on Parallel and Distributed Systems, V.5, №1.-1994.- P. 216.

253. ChenY.-L. A Fault-Tolerant Distributed Subcube Management Scheme for Hypercub Multicomputer Systems / Y.-L.Chen, J.-C.Lin // IEEE Trans, on Parallel and Distributed Systems, V.6, №7. -1995. -P. 766-772.

254. Еремина Н.Л. Реконфигурация отказоустойчивой неразрезной процессорной матрицы: Дис. канд. техн. наук. /ТГУ/.- Томск, 2000. -128 с. -рук.

255. Еремина H.JI. Алгоритм диагонального захвата для реконфигурации процессорной матрицы и его эффективность // Вестник Томского государственного педагогического университета. 1999. № 7.-С. 42-47

256. Лаходынова Н. В. Анализ алгоритмов реконфигурации структуры процессорной матрицы на основе сигналов согласия // Радиоэлектроника. Информатика. Управление. № 2, 2001. С. 98-102.

257. Лаходынова Н.В. Об одном методе обеспечения отказоустойчивости процессорных матриц // Автометрия, № 6. 2002.

258. Lakchodinova N.V. About one method of ensuring of fault tolerance of without-cut processor arrays VLCI. // Optoelectronics, Instrumentation and Data Processing, № 6. -2002.