Основы теории и принципы построения отказоустойчивых самоорганизующихся логических мультимикроконтроллеров тема диссертации и автореферата по ВАК РФ 05.13.05, доктор технических наук Колосков, Василий Александрович

• Колосков, Василий Александрович
• доктор технических наук
• 1998

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

СОДЕРЖАНИЕ

ВВЕДЕНИЕ

ГЛАВА 1. ОСОБЕННОСТИ ОРГАНИЗАЦИИ ОТКАЗОУСТОЙЧИВЫХ САМООРГАНИЗУЮЩИХСЯ МУЛЬТИМИКРОКОНТРОЛЛЕРОВ

1.1. Тенденции в организации мультимикроконтроллеров устройств группового логического управления

1.2. Основные понятия и определения в области отказоустойчивых мультимикроконтроллеров

1.3. Характеристика задач построения отказоустойчивого мультимикроконтроллера

1.4. Распределение слоя самоорганизации отказоустойчивого мультимикроконтроллера

1.5. Выводы к главе

ГЛАВА 2. РАЗРАБОТКА ТЕОРЕТИЧЕСКИХ ОСНОВ РАСПРЕДЕЛЕННОГО ПОСТРОЕНИЯ САМООРГАНИЗУЮЩИХ СЕТЕЙ

2.1. Графоструктурный подход к решению задачи самоорганизации 5

2.2. Классификация методов виртуального перемещения алгоритма

2.3. Характеристика методов глобального направленного поиска самоорганизующих сетей

2.4. Разработка операций распределенной разметки

2.5. Выводы к главе

ГЛАВА 3. СИНТЕЗ ОПЕРАЦИЙ РАСПРЕДЕЛЕННОГО ФОРМИРОВАНИЯ МАРШРУТОВ ВОССТАНОВЛЕНИЯ

3.1. Постановка задачи преобразования самоорганизующих сетей

3.2. Преобразование самоорганизующих ВЕ-сетей

3.3. Преобразование самоорганизующих NE-сетей

3.3.1. Разработка операции преобразования NE-сетей с набором

103 направлений перемещения

3.3.2. Разработка операции преобразования NE-сетей с набором

104 направлений перемещения

3.4. Формирование маршрутов восстановления в самоорганизующих WP-сетях

3.5. Выводы к главе

ГЛАВА 4. ИССЛЕДОВАНИЕ ПРЕДЕЛЬНЫХ ВОЗМОЖНОСТЕЙ МЕТОДОВ САМООРГАНИЗАЦИИ

4.1. Распределенное виртуальное перемещение алгоритмов на

графовой модели мультимикроконтроллера

4.2. Графоструктурные исследования d-безотказности мультимикроконтроллера

4.3. Результаты исследования методов самоорганизации на имитационной модели

4.4. Выводы к главе

ГЛАВА 5 . ПРИНЦИПЫ ПОСТРОЕНИЯ ОТКАЗОУСТОЙЧИВОГО САМООРГАНИЗУЮЩЕГОСЯ МУЛЬТИМИКРОКОНТРОЛЛЕРА

самоорганизующего слоя отказоустойчивого

мультимикроконтроллера

5.2. Организация настраиваемого многофункционального

микроконтроллера

5.3. Функциональная организация отказоустойчивого самоорганизующегося мультимикроконтроллера

5.4. Выводы к главе

ЗАКЛЮЧЕНИЕ

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

ПРИЛОЖЕНИЕ

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

ВВЕДЕНИЕ

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

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

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

В то же время прогресс микроэлектроники привел к созданию программируемых логических СБИС - автоматов, позволяющих не только выполнять логические алгоритмы, но и легко их изменять при смене управляемого объекта.

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

ления СБИС - автоматы объединяются в регулярную сеть, представляющую собой мультимикроконтроллер (ММК) и служащую для реализации сложных логических алгоритмов.

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

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

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

не только высокие эксплуатационные надежностные характеристики, но и увеличить выход годных мультимикроконтроллеров при их реализации на полупроводниковых неразрезных пластинах.

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

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

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

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

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

Для достижения поставленной цели в диссертационной работе решались следующие задачи:

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

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

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

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

Методы исследования основаны на использовании математических аппаратов теории графов, теории вероятностей, теории надежности технических систем, теории проектирования автоматов и дискретных систем, теории

топологического проектирования однородных структур, имитационного моделирования.

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

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

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

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

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

5. Синтезированы операции поворота стрелки, реализующие второй

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

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

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

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

На основе полученных теоретических результатов разработаны: - организация многофункционального микроконтроллера, обеспечивающая его самонастраиваемость и самосинхронизируемость;

- алгоритм текущего обновления копий состояний соседних настраиваемых многофункциональных модулей мультимикроконтроллера с объектами управления;

- метод и алгоритм взаимодействия настраиваемых многофункциональных микроконтроллеров в сети с отказавшими элементами по виртуальным адресам приемника в сообщении;

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

- программные средства имитационного моделирования основных этапов самоорганизации.

Реализация и внедрение результатов диссертационной работы. Диссертационная работа является обобщением результатов, полученных автором в Курском государственном техническом университете в процессе выполнения в 1980-1997 годах научно-исследовательских работ, в том числе Международного проекта «Технические системы обработки символьной информации и изображений» (распоряжение Госкомвуза РФ от 19.02.93. №10), темы Г - 22 "Разработка методов обработки нестационарных сигналов фазовой информации и создание базовой информационной измерительной системы" (1992-1995 г.г.), темы Г - 16 "Создание базовой архитектуры для информационных гипертехнологий и обработки изображений" (1993 г.), финансируемых по Единому заказу-наряду Комитета по ВШ № 10-36-63/10-0211 от 15.05.92 г. и Комитета по ВШ№ 10-36-67 ИЕУЮ-02-11 от 50.04.93 г. соответственно.

Результаты исследований прошли независимую экспертизу и включены в межвузовскую научно-техническую программу «Многопроцессорные ЭВМ с параллельной структурой и системы виртуальной реальности» (Приказ по министерству общего и профессионального образования № 572 от 02.03.98).

Результаты работы использованы при создании отказоустойчивых средств программируемых логических систем управления в АО «Счетмаш»,

НИ Горнорудный институт (Украина), АО «Прибор», в/ч 25714.

Теоретические и практические материалы диссертационной работы использованы в учебном процессе Курского государственного технического университета при разработке курсов «Отказоустойчивая организация процессоров и ЭВМ», «Структурно-топологическое проектирование ЭВМ», а также в лабораторном практикуме, практических занятиях и лекционном курсе по дисциплине «Организация ЭВМ, комплексов и систем».

Материалы исследований нашли отражение в технических решениях, защищенных авторскими свидетельствами и патентами РФ.

Апробация работы. Основные положения диссертационной работы докладывались и обсуждались на следующих симпозиумах и семинарах: VI симпозиум «Логическое управление в промышленности» (г. Тбилиси, 1983 г.), Всесоюзное научно-техническое совещание «Микропроцессорные средства вычислительной техники в системах связи и управления» (г. Рига, 1984 г.), Всесоюзный семинар «Проектирование систем диагностики» (г. Ростов-на-Дону, 1984 г.), Всесоюзный семинар «Отказоустойчивость многопроцессорных вычислительных систем» (Ростов-Туапсе, 1985 г.), научно-технический семинар «Микропроцессорные системы для управления технологическими процессами» (г. Ленинград, 1985 г.), семинар «Помехоустойчивость автоматизированных систем управления» (г. Киев, РДЭНТП, 1986 г.), научно-технический семинар «Методы исследования и обеспечения надежности сложных технических систем» (г. Ростов-на-Дону, 1989 г.), Всесоюзная конференция «Микропроцессорные комплексы для управления технологическими процессами» (г. Грозный, 1989 г.), Международная конференция «Системный анализ, моделирование и управление сложными процессами и объектами на базе ЭВМ» (г. Ташкент, 1993 г.), 7-я и 8-я Международные школы-семинары «Микропроцессорные системы связи и управления на железнодорожном транспорте» (Алушта-Харьков, 1994, 1995 гг.), 3-й Российский научно-технический семинар «Нейросетевые и транспьютерные технологии и

пути их использования в специальных технических комплексах» (г. Курск, 1994 г.), Международные конференции «Оптико-электронные приборы и устройства в системах распознавания образов, обработки изображений и символьной информации» (г. Курск, 1993, 1995, 1997 гг.), Международные научно-технические конференции «Новые информационные технологии и системы» (г. Пенза, 1994, 1997 гг.), научно-технические конференции «Вибрационные машины и технологии» (г. Курск, 1995,1997 гг.), 3-я Международная конференция «Измерение, контроль и автоматизация производственных процессов» (ИКАПП-94) (г.Барнаул, 1994г.), Республиканская конференция «Приборы и приборные системы» (г. Тула, 1994 г.), 2-я Всероссийская научно-техническая конференция с международным участием «Электроника и информатика - 97» (г. Зеленоград, 1997 г.), 2-я Международная конференция по проблемам физической метрологии РШИЕТ'-96 (г. Санкт-Петербург, Россия, 1996 г.), научно-технические конференции и семинары КурскГТУ (1980-1998 гг.).

Публикации. Основные результаты диссертационной работы опубликованы в трех монографиях, 37 статьях, в том числе в журналах РАН «Автоматика и телемеханика», Сиб. отд. АН «Автометрия», Латв. АН «Автоматика и вычислительная техника», «Изв. вузов. Приборостроение» и защищены 8 авторскими свидетельствами на изобретение, 6 патентами и 3 решениями на их выдачу.

Основные научные положения. выносимые на защиту.

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

2. Модель матричного структурно- и функционально избыточного мультимикроконтроллера с многофункциональными динамическими микроконтроллерами.

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

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

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

6. Операция виртуального сдвига и определение множества алгоритмов, закрепляемых за каждым из микроконтроллеров ММК. Результаты ис-ледований алгоритмической избыточности и отказоустойчивости.

7. Каноническая структура элемента самоорганизующего слоя. Принципы построения слоя самоорганизации.

8. Структурно-функциональная организация отказоустойчивого муль-тимикроконтроллера, реализующего виртуальное переразмещение алгоритмов управления и виртуальную перестройку связей элементов ММК.

Объем и структура работы. Диссертационная работа состоит из введения, пяти глав, заключения, списка литературы и приложения. Общий объем диссертации составляет 362 страницы, из них 47 страниц составляют рисунки и графики, 27 страниц - список литературы, 6 страниц - приложения с актами внедрения.

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

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

организующих сетей, рассмотрена разработка операций распределенной разметки графа перемещений ММК.

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

В четвертой главе рассмотрено распределенное виртуальное перемещение алгоритмов на графовой модели мультимикроконтроллера, проведено графоструктурное исследование (¡[-безотказности ММК, приведены результаты исследования методов самоорганизации на имитационной модели.

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

В приложении представлены акты использования диссертационной работы.

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

Заключение диссертации по теме «Элементы и устройства вычислительной техники и систем управления», Колосков, Василий Александрович

ЗАКЛЮЧЕНИЕ

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

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

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

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

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

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

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

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

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

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

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

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

10. Обоснованы условия потери самоорганизации в результате выполнения операций разметки и поворота стрелки и показано, что преобразование BEV -, ВЕК -, BED - самоорганизующих сетей не приводит к их возникновению.

11. Сформулированы условия потери перемещаемого алгоритма управления для самоорганизующих NE - сетей, позволившие выявлять функциональный отказ мультимикроконтроллера при выполнении операции поворота стрелки.

12. Выявлено, что наилучшие результаты по отказоустойчивости позволяет достичь метод самоорганизации, основанный на построении BED -сетей, учитывающий при реализации операции поворота стрелки как конфи-

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

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

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

Список литературы диссертационного исследования доктор технических наук Колосков, Василий Александрович, 1998 год

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

1. Прангишвили И.В., Амбарцумян A.A. Научные основы построения АСУ ТП сложных энергетических систем. - М.:НаукаД992. -232с.

2. Прангишвили И.В., Амбарцумян A.A. Основы построения АСУ сложными технологическими процессами. -М.: Энергоатомиздат, 1994.

3. Захаров В.Н., Поспелов Д.А., Хазацкий В.Е. Системы управления. Задание. Проектирование. Реализация. - М.:Энергия,1977. - 424с.

4. Автоматизация проектирования сложных логических структур/ В.А.Горбатов, В.Ф.Демьянов, Г.Б.Кулиев и др. Под ред. В.А.Горбатова. -М.:Энергия,1978. - 352с.

5. Горбатов В.А., Кафаров В.В., Павлов П.Т. Логическое управление технологическими процессами. - М.: Энергия, 1978. - 272с.

6. Горбатов В.А. Теория частично упорядоченных систем. - М.: Советское радио,1976. - 336с.

7. Горбатов В.А. Семантическая теория проектирования автоматов. -М..Энергия, 1979. - 264с.

8. Горбатов В.А., Останков Б.Л., Фролов С.А. Однородные структуры автоматного управления. - М.: Машиностроение, 1980,- 215с.

9. Горбатов В.А., Павлов П.Л., Четвериков В.Н. Логическое управление информационными процессами. - М.: Энергоатомиздат, 1984. - 304с.

Ю.Горбатов В.А. и др. САПР систем логического управления/ В.А. Горбатов, A.B. Крылов, Н.В. Федоров; Под ред. В.А. Горбатова М.:Энергоатомиздат,1988. -232с.

П.Горбатов В.А., Смирнов М.И. Хлытчиев И.С. Логическое управление распределенными системами. - М.: Энергоатомиздат, 1991. - 288с.

12.Юдицкий С.А., Тагаевская A.A., Ефремова Т.К. Проектирование дискретных систем автоматики. - М.: Машиностроение, 1980. - 232с.

13.Юдицкий С.А., Магергут В.З. Логическое управление дискретными процессами. - М.Машиностроение, 1987. -424с.

14.Гаврилов М.А., Девятков В.В., Пупырев Логическое проектирование дискретных автоматов. - М.: Наука, 1977. - 352с.

15.Лазарев В.Г., Пийль Е.И. Синтез асинхронных конечных автоматов. - М.: Наука, 1964. - 300с.

16.Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов. - М.: Энергия,

1970.-400с.

17.Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов. - М.: :Энергия, 1978.-408с.

18.Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов. - М.: Энергоатомиздат, 1989. - 328с.

19.Лазарев В.Г., Пийль Е.И., Турута E.H. Построение программируемых управляющих устройств. - М.: Энергоатомиздат, 1984. - 192с.

20.Лазарев В.Г. и др. Программное управление на узлах коммутации / Лазарев В.Г., Пийль Е.И., Турута E.H. -. М.:Связь, 1978. - 264с.

21.Апериодические автоматы. /А.Г. Астаповский, В.И. Варшавский, В.Б. Мараховский и др. Под ред. В.И. Варшавского. - М.: Наука, 1976. -424с.

22.Автоматное управление асинхронными процессами в ЭВМ и дискретных системах /Под ред. В.И. Варшавского. - М.: Машиностроение, 1986. - 400с.

23.3акревский А.Д. Алгоритмы синтеза дискретных автоматов. - М.: Наука,

1971. -512с.

24.3акревский А.Д. Логический синтез каскадных схем. - М.:Наука,1981. -414с.

25.Баранов С.И. Синтез микропрограммных автоматов. - М.: Энергия, 1979. - 232с.

26.Баранов С.И., Скляров В.А. Цифровые устройства на программируемых БИС с матричной структурой. - М.: Радио и связь, 1986 - 272с.

27.Жинтелис Т.Б., Карчяускас Э.К., Мачикенас Э.К. Автоматизация проектирования микропрограммируемых структур. - JL: Машиностроение, 1978. - 216с.

28.Кравцов Л.Я., Черницкий Т.К. Проектирование микропрограммных устройств управления. - Л.:Энергия, 1976. - 142с.

29.Арсеньев Ю.Н., Журавлев В.М. Проектирование систем логического управления на микропроцессорных средствах. - М.: Высшая школа, 1991. -319с.

30.Павлов В.В. Управляющие устройства логического типа. М.:Энергия,1968. -80с.

31.Теория переключательных схем. Т.1. - Комбинационные схемы. Миллер Р. Перев. с англ. - М.: Наука, 1970. - 416с.

32.Теория переключательных схем. Т.2. - Последовательные схемы и машины. Миллер Р. Перев. с англ. - М.: Наука, 1971. - 304с.

33.Фридман А., Менон П. Теория и проектирование переключательных схем. Перев. с англ. - М.: Мир, 1978. - 580с.

34.Многофункциональные регулярные вычислительные структуры./ Е.П. Балашов, В.Б. Смолов, Т.А. Петров и др. - М.: Радио и связь, 1978. - 288с.

35.Балашов Е.П., Пузанков Д.В. Проектирование информационно -управляющих структур. - М.: Советское радио, 1987. - 254с.

36.Амбарцумян A.A. Программируемые логические контроллеры и их применение // Измерение, контроль, автоматизация. - 1979. - №4. - с.25-33.

37.Мишель Ж. Программируемые контроллеры: Архитектура и применение. -М.: Машиностроение, 1992. - 320с.

38.Микропроцессорные средства производственных систем / Под ред. В.Г. Колосова. - М.: Машиностроение, 1988. - 286 с.

39.Срибнер Л. Программируемые устройства автоматики. - Киев: Техника, 1982. - 176с.

40.Кузнецов Б.П., Шалыто A.A. Реализация булевых формул линейными бинарными графами. I. Синтез и анализ. //Автоматика и телемеханика. -1994,- №5. - С.132-142.

41.Малюгин В.В., Соколов В.В. Интенсивные логические вычисления // Автоматика и телемеханика. - 1993. - .№4. - С. 160-166.

42.Кухарев Г.А. и др. Техника параллельной обработки бинарных данных на СБИС.: Справ, пособие / Г.А. Кухарев, В.П. Шмерко, С.Н. Янушкевич. -Мн.: Высшая школа, 1991. - 226с.

43.Артюхов В .Л., Кондратьев В.Н., Шалыто A.A. Реализация булевых функций арифметическими полиномами. // Автоматика и телемеханика. -1998. - №4.-С. 138-147.

44.Авсаркисян Г.С. Обобщенные полиномиальные формы булевых функций и синтез многовыходных логических схем // Автоматика и телемеханика. -1983.-№Ц. _с. 111-119.

45.Мотоока Т., Томита С. Компьютеры на СБИС. - М.: Мир, 1988. - 392с.

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

47.Якубайтис Э.А. Логические автоматы и микромодули. - Рига.: Зинатне, 1975. - 259с.

48.Пупырев Е.И. Перестраиваемые автоматы и микропроцессорные системы. - М.: Наука, 1984,- 192 с.

49.Мищенко В.А., Козюминский В.Д., Семашко А.Н. Многофункциональные автоматы и элементная база цифровых ЭВМ / Под ред. В.А. Мищенко. -М.: Радио и связь, 1981. - 240с.

50.Артюхов В.Л., Копейкин Т.А., Шалыто A.A. Настраиваемые модули для управляющих логических устройств. - Л.: Энергоатомиздат, 1981. - 185с.

51.Коул Б.К. Второе поколение программируемых логических ИС. // Электроника. - 1988. - №10. - С. 18-22.

52.Лопатин В.А., Хачатурян К.Х. Транспьютеры - элементная база мощных параллельных компьютеров // Интеркомпьютер. - 1990. - №6. - С. 19-22.

53.3акревский А.Д. Реализация на программируемых логических матрицах параллельных алгоритмов логического управления. // Автоматика и телемеханика. - 1983. - №7. - С. 116-123.

54.3акревский А. Д. К теории параллельных алгоритмов логического управления // Изв. АН СССР. Техн. Кибернетика. - 1989,- №5. - С. 179191.

55.Скляров В.А. Синтез микропрограммных автоматов на стандартных ПЛМ // Автоматика и вычислительная техника. - 1982. - №4. - С. 28-35.

56.Ачасова С.М. Алгоритмы синтеза автоматов на программируемых матрицах /Под ред. О.Л. Бандман. - М.: Радио и связь, 1987. - 136с.

57.Бандман О.Л., Пискунов C.B., Сергеев С.Н. Синтез параллельных микропрограммных структур //Кибернетика. - 1981. - №5. - С. 48-54.

58.Соловьев В.В. Синтез одноуровневых схем микропрограммных автоматов из программируемых матриц логики //Автоматика и вычислительная техника. - 1993. - №1. - С. 14-20.

59.Соловьев В.В. Реализация на программируемых матрицах логики параллельных алгоритмов логического управления //Управляющие системы и машины. - 1985. - №6. - С. 24-30.

60.Соловьев В.В. синтез конечных автоматов на программируемых матрицах логики//Автоматика и вычислительная техника. - 1997. - №2. - С. 65-74.

61.Палагин A.B., Баркалов A.A., Юсифов С.И., Стародубов К.Е., Швец А.Г. Реализация микропрограммных автоматов на ПЛИС //Управляющие системы и машины. - №8. - С. 18-22.

62.Палагин A.A., Опанасенко В.Н., Чигирик Л.Г. Структурная организация адаптивных логических сетей на ПЛИС //Управляющие системы и машины. - №7/8. - С.18-25.

63.Кениг Р., Фрицнович Г.Ф. Декомпозиция сети Петри при проектировании дискретных устройств на основе стандартных модулей // Автоматика и вычислительная техника. - 1984. - №1. - С. 82-91.

64.Евреинов Э.В., Косарев Ю.Т. Однородные вычислительные системы высокой производительности. - М.: Радио и связь, 1996. - 308с.

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

66.Евреинов Э.В. Однородные вычислительные системы, структуры и среды.—М: Радио и связь, 1981. - 208с.

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

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

69.Каляев A.B. Многопроцессорные системы с программируемой архитектурой. М.: Радио и связь, 1984. - 240с.

70.Прангишвили И.В., Стецюра Г.Г. Микропроцессорные системы. М.: Радио и связь, 1984. - 240с.

71.Бахтеяров С.Д. и др. Транспьютерная технология / С.Д. Бахтеяров, Е.Е. Дудников, М.Ю. Евсеев .Под ред. C.B. Емельянова. - М.: Радио и связь, 1993.-304 с.

72.Специализированные процессоры для высокопроизводительной обработки данных. O.JI. Бандман, Н.И. Миренков, С.Т. Седухин и др. - Новосибирск: Наука, 1988. - 204 с.

73. Бандман O.JI. Методы параллельного микропрограммирования. Новосибирск: Наука. - 1981. 180 с.

74.Марков В.П., Пискунов C.B., Погудин Ю.М. Формальные методы, языковые и инструментальные средства синтеза клеточных алгоритмов и архитектур // Программирование. - 1996. - № 4. - С. 24-36.

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

76.Бандман O.JI. Пространственно-временные преобразования параллельных микропрограмм // Автоматика и техника. - 1988. - №3. - С. 129-141.

77.Харченко B.C., Никольский С.Б., Сазонов А.Е. Один подход к синтезу дискретных микроконтроллерных систем // Автоматика и вычислительная техника. - 1989. - № 4. - С. 87-95.

78.Харченко B.C., Кальченко С.Б., Сазонов А.Е. Декомпозиция параллельных матричных схем алгоритмов в задачах синтеза микроконтроллерных сетей // Автоматика и вычислительная техника. - 1990. - № 4. - С. 81-89.

79. Функционально-топологическая организация микропрограммных мультимикроконтроллеров группового логического управления / И.В. Зотов, В.А. Колосков, B.C. Титов, И.В. Абузова; Тул. гос. ун-т. Тула. 1997. - 226 с.

80.Зотов И.В., Колосков В.А., Титов B.C. Псевдопараллельный метод декомпозиции параллельных алгоритмов логического управления. Курск, 1996. - 22 с. - Деп. в ВИНИТИ 17.7.96, № 2438-В96.

81. Зотов И.В., Колосков В.А. Топологическое проектирование микроконтроллерной сети // 2-ая научно-техническая конференция «Вибрационные машины и технологии». Сборник докладов и материалов. -Курск: КГТУ, 1995. - С. 125-128.

82.Зотов И.В., Колосков В.А., Титов B.C. Псевдопараллельный синтез разбиений алгоритмов в задачах проектирования т-регулярных управляющих структур / II Международная конференция «Новые информационные технологии и системы. Сборник материалов. -Пенза: ПГТУ, 1996. ч.1.-С. 82-84.

83.Зотов И.В., Колосков В.А., Титов B.C. Выбор оптимальных разбиений алгоритмов при проектировании микроконтроллерных сетей // Автоматика и вычислительная техника. - 1997. - №5. - С. 51-62.

84. Зотов И.В., Колосков В. А. Компонентный синтез мультимикроконтроллерной сети / Российская научно-техническая конференция «Материалы и управляющие технологии - 94». Тезисы и материалы докладов. - Курск: КГТУ, 1994. - С. 173-175.

85.Зотов И.В., Колосков В.А., Титов B.C. Метод размещения алгоритмов логического управления в микроконтроллерных сетях с кольцевой структурой. - Курск, 1997. - 26с. Деп. в ВИНИТИ 14.05.92, №1599 - В97.

86.Зотов И.В., Колосков В.А., Титов B.C. Модель маршрутизации управляющих сообщений в ^.-регулярных микроконтроллерных сетях. -Курск, 1996. - Юс. Деп. в ВИНИТИ 25.12.96, №3779 -В96.

87.Баумс А.К. Анализ распределенных систем реального времени с директивными сроками смены режимов // Автоматика и вычислительная техника. - 1996. - №2. - С.69-79.

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

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

90.Гаврилов М.А. Структурная избыточность и надежность работы релейных устройств. - М.: Изд. АН СССР, 1962.

91.Гаврилов М.А., Остиану В.М., Потехин А.И. Надежность дискретных систем / Итоги науки. Сер. Теория вероятностей. Математическая статистика. Теоретическая кибернетика. 1969. М.: Наука, 1970.

92.Сотсков Б.С. Основы теории и расчета надежности элементов и устройств автоматики и вычислительной техники. М.: Высшая школа, 1970. - 271 с.

93.Францис Т.А., Янбых Г.Ф. Избыточность в электронных дискретных устройствах. - М.: Энергия, 1969. - 248с.

94.3акревский А.Д. Метод синтеза функционально устойчивых автоматов. -ДАН СССР. - 1959. -№4.

95.Хетагуров Э.Я., Руднев Ю.П. Повышение надежности цифровых устройств методами избыточного кодирования. - М.: Энергия, 1974. - 272с.

96.Щербаков М.С. Самокорректирующиеся дискретные устройства. -М.: Машиностроение, 1975. -215с.

97.Гуревич A.M. Надежность логических систем управления. - М.: Энергия, 1970. - 104с.

98.Доманицкий С.М. Построение надежных логических устройств. - М.: Энергия, 1971. -280с.

99.Авиженис А. Отказоустойчивость - свойство, обеспечивающее постоянную работоспособность цифровых систем // ТИИЭР. - 1978. - №10. - т.66. - С. 5-25.

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

101. Согомонян Е.С., Каравай М.Ф. Самопроверяемые вычислительные устройства и отказоустойчивые системы // Измерение, контроль, автоматизация. - 1980. - №9, - С.173-181.

102. Согомонян Е.С. Отказоустойчивые избыточные структуры // Автоматика и телемеханика. - 1986. - №10. - С. 135-143.

103. Согомонян Е.С. Аппаратурное и программное обеспечение отказоустойчивых вычислительных систем // Автоматика и телемеханика. -1988. - №2. - С.3-59.

104. Гавзов Д.В., Сапожников В.В., Сапожников Вл.В. Методы обеспечения безопасности дискретных систем // Автоматика и телемеханика. - 1994. -№8. - С. 5-50.

105. Гройсберг Л.Б. Методы обеспечения надежности микропроцессорных управляющих систем // Вопросы технической диагностики. Межвуз. сб. -Ростов-на-Дону: РИСИ, 1985. - С. 3-18.

106. Харченко В.Л., Литвиненко В.Т. Обеспечение устойчивости управляющих и вычислительных систем к физическим дефектам и

дефектам проектирования программно-аппаратных средств // Зарубежная радиоэлектроника. - 1992. - №6. - С. 18-35.

107. Кулинич A.A., Максимов В.И. Архитектура вычислительных систем с контуром обеспечения отказоустойчивости // Измерения, контроль, автоматизация. - 1993. -№1-2. - С. 64-77.

108. Гуляев В.А., Додонов А.Е., Пелехов С.П. Организация живучих вычислительных структур. - К.: Наукова думка, 1982. - 140с.

109. Коваленко А.Е., Гула В.В. Отказоустойчивые микропроцессорные системы. - Киев: Техника, 1986. - 150с.

110. Березюк Н.Т., Гапунин А.Я., Подлесный Н.И. Живучесть микропроцессорных систем управления. - Киев: Техника, 1988. - 143с.

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

112. Иыуду К.А. Надежность, контроль и диагностика вычислительных машин и систем. - М.: Высшая школа, 1989. - 216с.

113. Пакулов H.H., Уханов В.Ф., Чернышев П.Н. Мажоритарный принцип построения надежных узлов и устройств ЦВМ. - М.: Советское радио, 1974. - 184с.

114. Савченко Ю.Т. Цифровые устройства, нечувствительные к неисправностям элементов. - М.: Советское радио, 1977. -173с.

115. Чернышев Ю.А., Аббакумов И.С. Расчет и проектирование устройств ЭВМ с пассивным резервированием. - М.: Энергия, 1979. - 119 с.

116. Методы анализа и синтеза структур управляющих систем / Б.Т. Волик, Б.Б. Буянов, Н.В. Лубков и др.; Под ред. Б.Т. Волика. - М.: Энергоатомиздат, 1988. - 296с.

117. Каравай М.Ф. Математические основы отказоустойчивости // Методы и системы технической диагностики. - Саратов: СГУ, 1990. - С. 3-7.

118. Каравай М.Ф. Инвариантно-групповой подход к синтезу отказоустойчивых систем // Докл. РАН. - 1996. - Т. 347. - №2. С. 175-179.

119. Каравай М.Ф. Применение теории симметрии к анализу и синтезу отказоустойчивых систем // Автоматика и телемеханика. - 1996. - №6. - С. 159-173.

120. Dutt S., Hayes J. An automorphic approach to the Design of FT multiprocessors // IEEE Trans. Comput. April. - 1989. - V.38. - №4. -P.515-525.

121. Karavay M.F. Theory of symmetry and fault-tolerance // Preprints IF AC Int. Simp, on Distributed intelligence systems, 13-15 Aug. 1991. -Arlington, VA USA. -P.305-311.

122. Каравай М.Ф., Уваров С.И. О минимальной избыточности в реконфигурируемых однородных многопроцессорных вычислительных системах // Автоматика и телемеханика. - 1988. - №2. - С. 149-159.

123. Пархоменко П.П. Гиперкубовая архитектура многопроцессорных вычислительных систем с реберным расположением процессорных элементов // Изв. РАН. Техническая кибернетика. - 1994. - №2. - С. 170182.

124. Пархоменко П.П. Размещение копий ресурсов на графах, моделирующих структуру вычислительных систем // Автоматика и телемеханика. - 1997. - №5. - С. 181-194.

125. Reddy A.N., Banerjee P., Abraham S.G. I/O embedding in hypercubes // Proc. 17th Int. Conf. Parallel Processing, St. Charles, IL. - Aug. 15-19.- 1988.

126. Chen H.-L., Tzeng N.-F. Efficient resource placement in hypercubes using multipleadjacy codes // IEEE Trans, on Сотр. Jan. - 1994. - V.43. - №1. -P.23-33.

127. Banerjee P., Peerce M. Design and evaluation of hardware strategies for reconfiguring hypercubes and meshes under faults // Trans, on Сотр. July. -1994.-V.43.-№7.-P. 841-848.

128. Рубашкин Д.Д. Отказоустойчивая микропроцессорная система с перестраиваемой структурой для автоматизации технологических процессов // Приборы и системы управления. - 1992. - №2. - С. 1-3.

129. Koren J. A reconfigurable and fault-tolerant multiprocessor array // Proc. 8th Annu. Symp. Comput. Architecture. - 1981. -P.425-442.

130. Mangir Т., Avizienis A. Fault-tolerant design for VLSU: Effect of interconnect requirements on yield improvement of VLSI design // IEEE Trans. Comput. - July. - 1982.

131. Abraham J.A., Banerjee P., Chien Chien Yi. Fault-tolerant techniques for systolic arrays // Computer. - July. - 1987.

1. Pradhan D.K. Dynamically restructurable fault-tolerant processor network architectures // IEEE Trans. Сотр. - 1985. - V.34. - №5. - P.841-848.

133. Donianst V.N., Lori S. Fault-tolerant reconfigurable processoring arrays using bi-directional switches//Microprocessing and Microprogamming. -1984. - V.14. - P.109-115.

134. Kuo S.Y. Fuches W.K. Efficient spare allocation in reconfigurable arrays // IEEE Design Test. - Feb. - 1987.

135. Kung Sun Yuan, Jean Shiann Ning, Chang Chin Wei. Fault-tolerant array processors using single-track switches // IEEE Trans. Comput. - April. - 1989.

136. Hosseini S.H. On Fault-tolerant Structure Distributed Fault-Diagnosis, Reconfiguration and Recovery of the Array Processors // IEEE Trans. Comput. -July. - 1989.

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

138. Кун С. Матричные процессоры на СБИС: Пер. с англ. М.:Мир, 1991,-672с.

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

140. Эванз Р., Макхуэртер Дж. Иерархическая стратегия тестирования самоорганизующихся отказоустойчивых матриц /Систолические

структуры: Пер. с англ./ Под ред.У.Мура, Маккейба, Р. Уркхарта. -М.:Радио и связь, 1993. - С.264-276.

141. Корен И., Померанц И. Распределенное структурирование процессорных матриц, содержащих отказавшие процессоры / Систолические структуры: Пер. с англ. / Под ред. У. Мура., Э.Маккейба, Р.Уркхарта. -М.: Радио и связь, 1993. - С.276-291.

142. Горяшко А.П., Шура-Бура А.Э. Методы оценки отказоустойчивых структур СБИС // Изв. АН СССР. Техническая кибернетика. - 1988. - №6. -С.133-142.

143. Горяшко А.П., Шура-Бура А.Э., Метод построения отказоустойчивых процессорных решеток // Изв. РАН. Техническая кибернетика. - 1991. -№2.-С. 180-189.

144. Горяшко А. П. Специализированные вычислительные структуры / Искусственный интеллект: В 3-х кн. Кн. 3. Программные и аппаратные средства: справочник / Под ред. В. Н. Захарова, В.Ф. Хорошевского. М.: Радио и связь, 1990,- С. 258-284.

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

146. Воробьев В. А., Лаходынова Н. В. Процессорная матрица с перестраиваемой структурой и перестраиваемым резервом. // Автометрия.

- 1994.-№5.-С.90-98.

147. Воробьев В. А., Еремина Н. Л. Программная реализация реконфигурации отказоустойчивой процессорной матрицы. // Автометрия.

- 1996. - №2.-С. 111-121.

148. Галушкин А. И., Грачев Л. В., Толстых М. М., Точенов В. А. Оценка алгоритмов реконфигурации структуры вычислительной системы с М1МЕ>-архитектурой // Кибернетика. - 1990. - №2,- С. 35-41.

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

150. Мямлин А. Н., Поздняков JI. А., Котов Е. П., Задыхайло И. Б. Об одном методе повышения надежности матричных многопроцессорных систем. -М. : ИПМ АН СССР. Препринт №78. 1985. - 18с.

151. Головко В. А. Методы обеспечения отказоустойчивости линейных систолических процессоров. // Микроэлектроника. - 1995. - Т. 24. - №3. -С. 229-240.

152. Долгушев С. А., Донианц В. Н., Стефанелли Р. Алгоритмические методы реконфигурации однородных процессорных матриц. Препринт. -М. : ИППН АН СССР, 1988. - 26с.

153. Петров А. Б. Толерантные матрицы процессорных элементов // Изв. вузов. Приборостроение. - 1994. - №2. - С. 79-83.

154. Кухарев Г. А., Шмерко В. П., Зайцева Е. Н. Алгоритмы и систолические процессоры для обработки многозначных данных. Мн. : Наука и техника, 1990. - 300 с.

155. Кузнецова В. Л., Раков М. А. Самоорганизация в технических системах. Киев : Наукова думка, 1987. - 200 с.

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

157. Zhao W., Ramamritham К., Stankovic Y. A. Scheiduling Tasks with Resource Requirements in Hard Real-Time Systems // IEEE Trans. Software Eng. - May. - 1987. - №5. - P. 564-577.

158. Cheng S., Stankovic Y. A., Ramamritham K. Dynamic Scheiduling of Groups of Tasks with Precendence Constraints in Distibuted Hard Real-Time Systems / In Proc. Real-Time Systems Simp. - Dec. - 1986. - P. 166-179.

159. Ramamritham К., Stankovic Y. A., Zhao W. Distributed Scheiduling Tasks with Deadlines and Resource Requirements // IEEE Trans. Comput. - August. -1989. -№ 8. -P. 110-123.

160. Донианц В. H. Оптимизация статического распределения программ в сети микро-ЭВМ // Труды II Всесоюзного семинара. Синтез управляющих устройств на основе МП и однородных средств. - М. : Наука, 1980. - С. 2023.

161. Турута Е. Н. Организация распределения задач в вычислительных системах, обеспечивающая их отказоустойчивость // Автоматика, вычислительная техника. - 1985. - JSibl. - С. 5-14.

162. Турута Е. Н. Планирование параллельных вычислений при построении отказоустойчивых вычислительных систем // Тр. 8-й Междунар. конф. «Системы, допускающие неисправности, и диагностика». Катовице(Полына), 1985. - С. 282-288.

163. Турута Е. Н.Отказоустойчивое распределение задач в многопроцессорных системах и определение размерности систем //Распределенные управляющие и вычислительные системы. - М.: Наука, 1987.-С. 108-126.

164. Аскеров Ч. П., Фургина JI. А. Распределение периодических задач в однородных вычислительных системах, обеспечивающее их отказоустойчивость // Техника средств связи. - Сер. СС. - Вып. 4. - 1988. -С. 51-57.

165. Бернер JI. И., Турута Е. Н. Повышение отказоустойчивости распределенных систем управления с помощью резервирования функций // Логическое управление с использованием ЭВМ. Тез. докл. XI Всесоюзн. симп. Орджоникидзе, 1988. - С. 217-221.

166. Бернер Л.И. Подсистема динамического перераспределения задач отказавших узлов распределенных АСУТП // Приборы и системы управления. -1991. - №12. - С. 5-6.

167. Бернер JI. И. Автоматизированное распределение ресурсов многомашинных вычислительных систем // Приборы и системы управления. - 1992. - №5.

168. Денисов С. Г., Турута Е. Н. Восстановление вычислительных процессов в многопроцессорной системе на основе их реактивизации // Управление ресурсами в интегрированных сетях. М.: Ин-т проблем передачи информации, 1991. - С. 117-129.

169. Мамедли Э. М., Соболев Н. А. Механизмы операционных систем, обеспечивающие отказоустойчивость в управляющих многомашинных вычислительных системах // Автоматика и техника. - 1995. - №8. - С. 3-63.

170. Баумс А. К. Оценка распределенных систем реального времени по их относительной гибкости // Автоматика и вычислительная техника. - 1996. -№6. -С. 45-53.

171. Bertossi A. A., Mancini L. Fault-tolerant LPT task sheduling in multiprocessor system//Microprocessors and Microsystems. - 1992. -Vol. 16. -№2. - P. 91-99.

172. Krishna С. M., Kang G. S. On sheduling tasks with a quire recovery from failure // Computers. - 1986. - V. C-35. - №5. - P. 448-455.

173. Aleksandridis N. A. Adaptable software and hardware: Promlems and solutations // Computer. - February. - 1980. - P. 29-39.

174. Kirrman H. D. Fault tolerance in process control // IEEE Micro. - Oktober. -1987.-P. 27-58.

175. Ahmad Ishfrao. A massivery parallel fault-tolerant architectare for time-criticale computing // J. Supercomput. - 1995. - 9. - №1-2. - P.135-162.

176. Колосков В. А., Денисова Т. П., Типикин А. П. Алгоритмический контроль в управляющих устройствах с перезапуском программ // Известия вузов. Приборостроение. - 1979. - №5. - С. 47-53.

177. Колосков В. А., Денисова Т. П., Типикин А. П. К вопросу формирования контрольных соотношений для алгоритмов

программируемых логических систем управления. Тула: ТПИ, 1980. - С. 45-52.

178. Колосков В. А., Денисова Т. П., Типикин А. П. Исследование эффективности контрольных соотношений в логических алгоритмах управления // Алгоритмы и структуры специализированных вычислительных систем. - Тула: ТПИ, 1981. - С. 72-80.

179. Колосков В. А., Колоскова Г. П. Анализ правильности управляющих логических алгоритмов использованием модели управляющего объекта // Моделирование сложных процессов и систем. - Киев: Наукова думка, 1985. - С. 249-252.

180. А. С. 711573, МКл2, G06F 9/14, G06F 11/00. Микропрограммное устройство с контролем переходов / Колосков В. А. и др. - Бюл. 1980. -№3.

181. А. С. 807289, МКл3, G06F 9/22, G06F 11/00. Микропрограммное устройство с контролем переходов. / Колосков В. А. и др. - Бюл. 1981. -№7.

182. А. С. 985789, МКл3, G06F 9/22, G06F 11/00. Микропрограммное устройство управления с исправлением ошибок / Колосков В. А. и др. -Бюл. 1982. -№48.

183. Колосков В. А., Типикин А. П. Машинный анализ контрольных соотношений при проектировании помехоустойчивых алгоритмов управления // Проектирование систем автоматики и вычислительной техники. - Воронеж: ВПИ, 1978. - С. 76-83.

184. Колосков В. А. Средства оперативного парирования дефектов микроконтроллерной сети // Тезисы докладов юбилейной конференции ученых КПИ. Курск, 1994. - С. 69-70.

185. Колосков В. А. Однородные управляющие само диагностируемые сети с оперативной перестройкой // Микропроцессорные системы связи и

управления на ж/д транспорте ( тезисы докл. школы -семинара.). -Харьков, 1994. - С. 37.

186. Колосков В. А., Колоскова М. В. Самодиагностируемый логический сопроцессор медицинской диагностической аппаратуры // Материалы и упрочняющие технологии - 94. Тезисы и материалы докладов Российской НТК. - Курск, 1994. - С. 138-141.

187. Пархоменко П.П., Согомонян Е.С. Основы технической диагностики: (Оптимизация алгоритмов диагностирования, аппаратурные средства) / Под ред. П.П. Пархоменко. - М.: Энергия, 1981. - 320 с.

188. Основы технической диагностики. В 2-х книгах. Кн. 1. Модели объектов, методы и алгоритмы диагноза / Под ред. П.П. Пархоменко. - М.: Энергия, 1976. - 464 с.

189. Димитриев Ю.К. Самодиагностика модульных вычислительных систем. Новосибирск: ВО «Наука». Сибирская издательская фирма, 1993. - 293 с.

190. Колосков В.А., Денисова Г.П., Типикин А.П. Об учёте особенностей логических алгоритмов при выделении точек перезапуска в системах с восстановлением // Агрегатирование, контроль и диагностика вычислительных систем. - Киев: Наукова думка, 1978. - С. 28-35.

191. Колосков В.А., Колоскова Г.П., Типикин А.П. Надёжностные преобразования управляющих логических алгоритмов // Диагностика энергетических и электронных систем. - Киев: Наукова думка, 1983. - С. 28-35.

192. Колосков В.А., Колоскова Г.П. Надёжностные преобразования программ управляющей микро-ЭВМ // Вопросы технической диагностики. Межвуз. сб. научн. трудов. - Ростов н / Дону: Рост. инж. строит, ин-т, 1985. - С. 88-92.

193. Колосков В.А., Колоскова Г.П. Проектирования надёжных алгоритмов управления инерционными объектами // Алгоритмы и структуры

специализированных вычислительных систем. - Тула: ТПИ, 1983. - С. 7884.

194. Колосков В.А., Колоскова Г.П. Обеспечение самовосстановления в программируемых устройствах управления // Вопросы технической диагностики. Межвуз. сб. научн. трудов. - Ростов н / Дону: Рос. инж. строит, ин-т, 1983. - С. 24-29.

195. Колосков В.А., Колоскова Г.П., Типикин А.П. Метод повышения корректирующей способности алгоритмов управления инерционными объектами // Технической диагностики. Межвуз. Сборник. - Ростов н / Дону: Рос. инж. строит, ин-т, 1982. - С. 7-15.

196. Колосков В.А., Колоскова Г.П. Обеспечения контроля и восстановления в устройствах программно-логического управления // Техническая диагностика. 5-ое Всесоюзное совещание. - М.: ИПУ, 1982. -С. 100-103.

197. Колосков В.А., Колоскова Г.П. Вопросы проектирования помехоустойчивых алгоритмов управления // Помехи в цифровой технике—82. Материалы 3-й Всесоюзной научно-технической конференции. - Паланга, 1982. - С. 72-75.

198. Колосков В.А., Колоскова Г.П. Надёжностное проектирование математического обеспечения микропроцессорных систем // Применение микропроцессорных комплектов БИС при разработке РЭА. - Ленинград: ЛДНТП, 1983. - С. 69-73.

199. Колосков В.А., Колоскова Г.П., Бабкин Г.В. Помехоустойчивое программное обеспечение микропроцессорной управляющей системы // Микропроцессорные комплексы для управления технологическими процессами. Материалы Всесоюзной научно-технической конференции. -Грозный, 1989. - С. 40-41.

200. Колосков В.А., Колоскова Г.П. Структурная организация надёжных устройств программно-логического управления // Алгоритмы и структуры

специализированных вычислительных систем. Сб. научных трудов. - Тула: ТПИ, 1984. - С. 117-123.

201. Колосков В.А., Колоскова Г.П. Обеспечение самовосстановления в программируемых устройствах управления // Вопросы технической диагностики. Сб. научн. трудов. - Ростов н / Дону, 1983. - С. 24-28.

202. Колосков В.А., Титов B.C. Самосинхронизация адаптивной логической микроконтроллерной сети // Новые информационные технологии и системы : Материалы докладов международной конф. - Пенза : ПГТУ, 1994.-С. 71-72.

203. Колосков В.А. Согласованный откат параллельных взаимодействующих процессов // Сборник материалов 2-ой Международной конференции «Распознавание - 95». - Курск, 1985. - С. 235-237.

204. А. С. 711267, МКл2, G06F 9/16, G06F 11/00. Микропрограммное устройство управления с исправлением ошибок / Колосков В. А. и др. -Бюл. 1980.-№22.

205. А. С. 932495, МКл3, G06F 9/22, G06F 11/08. Микропрограммное устройство с восстановлением при сбоях переходов / Колосков В.А. и др. -Бюл. 1982. -№20.

206. А. С. 985787, МКл3, G06F 9/22, G06F 11/16. Микропрограммное устройство управления с контролем переходов / Колосков В.А. и др. -Бюл. 1982. -№48.

207. Игнатьев В.М., Колосков В.А., Титов B.C. Проектирование самоорганизующейся дефектоустойчивой микроконтроллерной сети. -Тула: ТГУ, 1995.- 140 с.

208. Колосков В.А., Титов B.C. Архитектура отказоустойчивых сетей самонастраиваемых микроконтроллеров. - Курск: КГТУ, 1995. - 176с.

209. Колосков В.А., Титов B.C. Методы самоорганизации отказоустойчивой мультимикроконтроллерной сети // Автоматика и телемеханика. - 1998. -№3. С. 173-183.

210. Колосков В.А., Титов B.C. Управляющая система с самоорганизующим слоем // Автометрия. - 1997. - № 4. - С. 113-120.

211. Колосков В.А., Колоскова Г.П., Титов B.C. Саморемонт и самосинхронизация логических микроконтроллерных сетей // Изв. вузов. Приборостроение. - 1997. - № 2. - С. 43-46.

212. Колосков В.А. Метод восстановления логической структуры мультимикроконтроллерной сети // Изв. Курск ГТУ. - 1997. - № 1. - С. 8289.

213. Колосков В.А. Медведева М.В. Инвариантные преобразования логической структуры отказоустойчивого самоорганизующегося мультимикроконтроллера сети // Методы и средства систем обработки информации. - Курск : Курск ГТУ, 1997. - С. 59-64.

214. Зотов И.В., Колосков В.А. Синхронизация параллельных процессов в дискретных микроконтроллерных сетях // Изв. ТГУ. - 1997. - Том 1. -Вып. 1.-С. 35-39.

215. Колосков В.А., Титов B.C. Построение отказоустойчивых самоорганизующихся мультимикроконтроллеров систем технического зрения // Сборник материалов 3-й Международной конференции «Распознавание - 97». - Курск, 1997. - С. 19-25.

216. Колосков В.А., Миневич JI.M. Маршрутизация сообщений в отказоустойчивой микроконтроллерной сети вибрационного стенда // Вибрационные машины и технологии. Сб. докл. 3-й Международной научно-технической конференции. - Курск: Курск ГТУ, 1997. - С. 243-246.

217. Колосков В.А., Медведева М.В., Миневич JI.M. Адаптивная настройка процессора системы технического зрения // Сборник материалов 3-й

Международной конференции «Распознавание - 97». - Курск.: Курск ГТУ, 1997. - С. 200-204.

218. Колосков В .А., Останков Б.Л. Логические микроконтроллерные сети с оперативной перестройкой // Информационные процессы, технологии, системы, коммуникации и сети. - М.: МАИ, 1995. - С. 76-80.

219. Колосков В.А. Концепция построения самоорганизующейся микронтроллерной сети // Алгоритмы и системы обработки информации. -Тула: ТГУ, 1995. - С. 150-155.

220. Колосков В.А.,Титов B.C. Адаптивная логическая микроконтроллерная сеть // Нейросетевые и транспьютерные технологии и пути их использования в специальных технических комплексах. Материалы 3-го научно-технического семинара. - Курск: 1994. - С. 92-97.

221. Колосков В.А.,Титов B.C. Распределённая самоорганизация однородной управляющей системы // Изв. вузов. Приборостроение. - 1994. -№11-12.-С. 20-23.

222. Колосков В.А. Подход к обеспечению дефектоустойчивости микроконтроллерной сети // Сборник научных трудов. Том 5. Орёл: Орловский государственный политехнический институт, 1994. - С. 79-85.

223. Колосков В.А. Принципы обеспечения дефектоустойчивости систем управления // Новые информационные технологии, распознавание образов и анализ изображения. Сб. докладов семинара. Курский политехнический институт. - Курск, 1992. - С. 80-85.

224. Колосков В.А., Колоскова Г.П. Перераспределение ресурсов в отказоустойчивой мультимикроконтроллерной сети // Труды юбилейной научной конференции. 4.2. Курск ГТУ. - Курск, 1995. - С. 55-59.

225. Колосков В.А., Колоскова Г.П., Типикин И.П. Обеспечение отказоустойчивости микропроцессорной управляющей системы // Алгоритмы и структуры систем обработки информации. Сборник научных трудов. - Тула: Тул. ПИ, 1987. - С. 87-94.

226. Колосков В.А., Колоскова Г.П., Типикин И.П. Архитектура и программные средства отказоустойчивых мультипроцессорных систем // Вопросы технической диагностики. Межвузовский сборник. - Ростов н / Д: Рост, инж-строит. ин-т, 1986. - С. 3-7.

227. Бабкин Е.А., Колосков В.А., Колоскова Т.П., Типикин А.П. Организация программируемых логических микроконтроллеров // Алгоритмы и структуры специализированных вычислительных систем. Сборник научных трудов. - Тула: ТПИ, 1986. - С.98-103.

228. Колосков В.А., Титов B.C., Бабкин Т.В. Самоорганизация дефектоустойчивой системы логического управления /Курск, гос. техн. унт. - Курск, 1993. - 27с. - Деп. в ВИНИТИ 21.04.93, №1068-В93.

229. Колосков В.А., Медведева М.В., Медведев A.B., Миневич JI.M., Титов B.C. Графоструктурные основы построения отказоустойчивых самоорганизующихся мультимикроконтроллеров / Курск, гос. техн. ун-т. -Курск, 1997. - 33с. - Деп.в ВИНИТИ 14.05.97, Ж600-В97.

230. Колосков В.А., Титов B.C. Проектирование адаптивной логической микроконтроллерной сети / II Международная научно-техническая конференция "Новые информационные технологии и системы:" Сборник материалов. ПГТУ. - Пенза, 1994. - С.70-72.

231. Колосков В.А., Титов B.C. Проектирование адаптивной сети программно-логического управления / III Международная конференция "Измерение, контроль, автоматизация производственных процессов (ИКАПП-94)". Сборник докладов. -Барнаул, 1994,- С.20-22.

232. Колосков В.А. Матричный процессор самоорганизации управляющей сети // Алгоритмы и структуры систем обработки информации. Сборник научных трудов. - Тула: ТГУ, 1994. - С. 104-110.

233. Колосков В.А., Колоскова Т.П., Титов B.C. Отображение алгоритмов отказоустойчивой микроконтроллерной сети / Сборник материалов 2-й

Международной конференции "Распознавание-95". - Курск: КГТУ, -1995.

- С.233-235.

234. Колосков В.А. Статическая самоорганизация однородной управляющей системы / Сборник материалов 1-й Международной конференции "Распознавание-93". - Курск: КПИ, 1993,- С.138-140.

235. Колосков В.А., Бабкин Т.В. Имитационная модель однородной дефектоустойчивой управляющей сети / Сборник материалов 1-й Международной конференции "Распознавание-93". - Курск: КПИ, 1993. -С.143-145.

236. Колосков В.А., Колоскова Г.П. Перестройка логической структуры микроконтроллерной сети // Перспективные системы управления на ж/д, промышленном транспорте: Материалы 8-й Международной школы-семинара (г.Алушта 7-18 сентября, 1995г). -Харьков, 1995. -С.19-21.

237. Колосков В.А., Титов B.C. Надежностный анализ дефектоустойчивости однородных управляющих систем / Системный анализ, моделирование и управление сложными процессами и объектами на базе ЭВМ. Тез. докладов III Международной конференции "Системный анализ-93". -Ташкент, 1993. - С.81-82.

238. Бабкин Т.В., Колосков В.А. Декомпозиция микроконтроллерной сети //Тезисы докладов юбилейной конференции ученых КПИ. -Курск, 1994. -С.26-27.

239. Колосков В.А., Бабкин Т.В., Титов B.C. Моделирование распределенной реконфигурации микроконтроллерной сети // Приборы и приборные системы. Тезисы докладов научно-технической конференции.

- Тула, 1994. - С.49-50.

240. Колосков В.А. Автоматизация проектирования самодиагностирующейся микроконтроллерной сети // Приборы и приборные системы. Тезисы докладов научно-технической конференции. -Тула, 1994.-С.51-52.

241. Колосков В.А., Бабкин Т.В. Распределенный алгоритм реконфигурации микроконтроллерной сети // Материалы и упрочняющие технологии-94. Тезисы и материалы докладов Российской научно-техн. конференции. -Курск, 1994.-С.138-141.

242. Колосков В.А., Титов B.C. Обеспечение непрерывности управления в мультимикроконтроллерной сети // Материалы и упрочняющие технологии-94. Тезисы и материалы докладов Российской научно-техн. конференции. - Курск, 1994. - С.171-173.

243. Колосков В.А. Принципы саморемонта отказоустойчивой микроконтроллерной сети // Вибрационные машины и технологии. Сб.докладов и материалов П-й начно-техн. конференции. - Курск, 1995. -С.121-125.

244. Колосков В.А., Колоскова М.В. Распределенные средства самоорганизации мультимикроконтроллерной сети // Вибрационные машины и технологии. Сб.докладов и материалов П-й научно-техн. конференции. - Курск, 1995,- С.139-142.

245. Колосков В.А., Медведева М.В., Титов B.C. Организация обеспечения отказоустойчивости микроконтроллерных сетей // Электроника и информатика 97. Вторая Всероссийская НТК с международным участием (Зеленоград 25-26 ноября 1997.).Тезисы докладов. - Москва, 1997. - С.31-32.

246. Колосков В.А., Ефименко В.В. Цифровой коммутатор с матричной архитектурой //Научно-техническая конференция с международным участием "Материалы и упрочняющие технологии-97". Тезисы и материалы докладов. - Курск, 1997. - С. 199-202.

247. Миневич JIM., Медведев A.B., Колосков В.А. Автоматизация проектирования программируемых средств обеспечения отказоустойчивости // V Научно-техническая конференция с

международным участием "Материалы и упрочняющие технологии-97".Тезисы и материалы докладов. - Курск, 1997. - С.205-206.

248. Патент РФ №2103724, МПК ООбР 15/16. Ячейка однородной среды / Колосков В. А. и др. - Бюл. - 1998. -№3.

249. Патент РФ № 2110827, МК 005В 19/18, ООбБ 9/28. №97102528. Дискретная микроконтроллерная сеть / Колосков В.А. и др. - Бюл. - 1998,-№3.

250. Патент РФ № 2110831, МК ООбБ 15/16. №96108448. Модуль матричного коммутатора / Колосков В.А. и др. - Бюл. - 1998. - №13.

251. Патент РФ № 2112272, МК ООбБ 9/22. №97104368. Модуль матричной сети / Колосков В.А. и др. - Бюл. - 1998. - №15.

252. Патент РФ № 2111528, МК в06¥ 9/22. №97104623. Микропрограммное устройство управления / Колосков В.А. и др. - Бюл. - 1998. - №14.

253. Патент РФ № 2112269, МК 005В 19/18. №97105566. Модульное устройство для программного управления / Колосков В.А. и др. - Бюл. -1998. -№15.

254. Заявка, МК ООбБ 15/16. №96108431. Модуль матричного коммутатора. Решение о выдаче патента от 5.01.98 /Колосков В.А. и др.

255. Заявка, МК 005В 19/18. №97104702. Мультимикроконтроллерная система. Решение о выдаче патента от 20.03.98 /Колосков В.А. и др.

256. Заявка, МК ООбБ 9/22. №97102631. Модуль мультимикропрограммной системы. Решение о выдаче патента от 5.01.98 /Колосков В.А. и др.

257. А. С. 575654, МКл2, ООбР 15/00. Управляющая логическая машина / Колосков В.А. и др. - ДСП.

258. А. С. 622316, МКл2, ООбЕ 15/00. Управляющая логическая машина / Колосков В.А. и др. - ДСП

259. Колосков В.А., Колоскова Г.П., Типикин А.П. Проектирование надежной микропроцессорной системы управления с реконфигурацией

// Всесоюзное научно-техническое совещание " Микропроцессорные

средства вычислительной техники в системах связи и управления". Тезисы докладов. - М.: Радио и связь, 1984. -С.44-45.

260. Свами М., Тхуласираман К. Графы, сети и алгоритмы. - М.: Мир, 1984. - 454с.

261. Ope О. Теория графов. - М.: Наука. Главная редакция физико-математической литературы, 1980. - 336с.

262. Зыков A.A. Основы теории графов. - М.: Наука, 1987. - 382с.

263. Лазарев В.Г., Мартемьянов С.И. Метод выбора структуры однородной распределенной управляющей системы // Управляющие системы и машины. -1991. - №4. - С.73-82.

264. Алексеев О.Г. Комплексное применение методов дискретной оптимизации. - М.: Наука, 1985. - 248с.