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

• Медведева, Мария Васильевна
• кандидат технических наук
• 1999

Оглавление диссертации кандидат технических наук Медведева, Мария Васильевна

ВВЕДЕНИЕ.

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

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

1.2. Синергетический подход к построению алгоритмов самоорганизации - алгоритмов виртуального программопереноса.

1.3. Формальная модель алгоритма клеточных вычислений.

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

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

2. РАЗРАБОТКА МЕТОДА И АЛГОРИТМА КЛЕТОЧНОЙ САМООРГАНИЗАЦИИ РЕТРАНСЛЯЦИОННОГО

ПРОГРАММОПЕРЕНОСА

2.1. Математические модели и этапы программопереноса с ретрансляцией

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

2.3. Определение допустимых вариантов ретрансляции

2.4. Клеточный алгоритм программопереноса с ретрансляцией.

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

3. РАЗРАБОТКА МЕТОДОВ И АЛГОРИТМОВ КЛЕТОЧНОЙ САМООРГАНИЗАЦИИ АДАПТИВНОГО

ПРОГРАММОПЕРЕНОСА.

3.1. Характеристика алгоритма адаптивного программопереноса

3.2. Построение клеточного алгоритма адаптивного программопереноса

3.3. Проектирование адаптивного алгоритма программопереноса с ретрансляцией.

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

4. ФУНКЦИОНАЛЬНАЯ РЕАЛИЗАЦИЯ И ИССЛЕДОВАНИЕ ХАРАКТЕРИСТИК КЛЕТОЧНЫХ АВТОМАТОВ

ПРОГРАММОПЕРЕНОСА.

4.1. Структурный синтез КА самоорганизации ретрансляционного программопереноса.

4.1.1. Задание алфавита и построение структурной схемы автомата клетки

4.1.2. Синтез выражений для функций реализации операции О/

4.1.3. Синтез выражений для функций реализации операции 0|

4.1.4. Синтез выражений для функций реализации операции 0|

4.1.5. Синтез выражений для функций выполнения операции

OÏOÏ.

4.2. Структурный синтез КА самоорганизации адаптивного программопереноса

4.2.1. Задание алфавита и построение структурной схемы клетки

4.2.2. Синтез выражений для функций реализации операции О].

4.2.3. Синтез выражений для функций реализации операции

4.2.4. Синтез выражения для функционального отказа.

4.2.5. Структурный синтез КА самоорганизации комбинированного программопереноса.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Реализация и внедрение результатов в диссертационной работе.

Данная работа выполнена в соответствии с программой ПТ614 "Многопроцессорные ЭВМ с параллельной структурой и системы виртуальной реальности" (приказ министерства общего и профессионального образования Российской Федерации № 572 от 03.03.98 г.) по направлению "Самоорганизующиеся отказоустойчивые многопроцессорные устройства".

Результаты работы внедрены в учебном процессе Курского государственного технического университета по дисциплине "Отказоустойчивые многопроцессорные платформы", в СКБ ПС ОАО "Счетмаш" (г. Курск).

Апробация работы. Основные положения диссертационной работы докладывались и обсуждались на следующих конференциях: XXV ГАГ АРИЙСКИЕ ЧТЕНИЯ. Международная молодежная научная конференция (г. Москва,

1999 г.), 1-я Всероссийская научно-техническая конференция "Компьютерные технологии в науке, проектировании и производстве" (г. Нижний Новгород, 1999 г.), Международная конференция "Методы и средства преобразования и обработки аналоговой информации" (г. Ульяновск ,1999 г.), 7-й Всероссийский семинар "Нейроинформатика и ее приложения" (г. Красноярск, 1999 г.), Международная научно-техническая конференция "Новые информационные технологии и системы" (г. Пенза ,1998 г.), 2-я Всероссийская научно-техническая конференция "Новые информационные технологии и системы" (г. Пенза, 1998 г.), 2-я Всероссийская научно-техническая конференция с международным участием "Электроника и информатика- 97" (г. Зеленоград ,1997 г.), Российская научно-техническая конференция "Современные проблемы сварочной науки и техники" (г. Воронеж ,1997 г.), Научно-техническая конференция "Материалы и упрочняющие технологии" (г. Курск, 1998 г.), Международная конференция "Оптико-электронные приборы и устройства в системах управления в системах распознавания образов, обработки изображений и символьной информации" (г. Курск, 1997,1999 г.г.), Международная техническая конференция "Медико-экологические информационные технологии-98" (г. Курск, 1998 г.).

Публикации. Основные результаты диссертационной работы опубликованы в 29 работах, в том числе в 9 статьях, в 7 тезисах докладов, в 10 докладах или их материалах, в 3 патентах на изобретение.

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

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

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

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

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

158

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

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

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

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

ЗАКЛЮЧЕНИЕ

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

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

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

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

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

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

160

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

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

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

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

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

3. Функционально-топологическая организация микропрограммных мультимикроконтроллеров группового логического управления / И.В. Зотов,

4. B.А. Колосков, B.C. Титов, И.В. Абузова, Тул. гос. ун-т. Тула. 1997- 226с.

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

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

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

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

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

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

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

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

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

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

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

16. Харченко В.Л., Литвиненко В.Т. Обеспечение устойчивости управляющих и вычислительных систем к физическим дефектам и дефектам проектирования программно-аппаратных средств // Зарубежная радиоэлектроника. -1992. -№6.-С. 18-35.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

53. Надежность технических систем: СправочникЯО.К. Беляев, В.А. Богатырев, В.В. Болотин и др.; Под ред. И.А. Ушакова. М.: Радио и связь, 1985-608с.

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

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

56. Haken H. Advanced Synergetics. Springer Series in Sinergetics, Vol. 20. Berlin: Springer-Verlag, 1983.

57. Романовский Ю.М. Принципы самоорганизации в физике, химии, биологии. М.: Знание, 1981.

58. Николис Г., Пригожин И. Познание сложного. Введение. М.: Мир,1990.

59. Синергетика: Сб. статей / Под ред. Б.Б. Каданцева. М.: Мир, 1984.

60. Haken Н. Principles of Brain Functioning. Springer Series in Sinergetics, Vol. 67. Berlin Springer.

61. Глушков B.M. Синтез цифровых автоматов. M.: Физматгиз, 1962.

62. Кобринский Н.Е., Трахтенброт Б.А. Введение в теорию конечных автоматов. М.: Физматгиз, 1962.

63. Лупанов О.Б. О синтезе некоторых классов управляющих систем // Проблемы кибернетики, вып. 10. М.: Физматгиз, 1963. С. 63-97.

64. Цетлин М.Л. Исследования по теории автоматов и моделированию биологических систем. М.: Наука, 1969.64. von Neumann J. Theory of Self-Reproducing Automata. Urbana: University of Illinois Press, 1966.

65. Wolfram S. Cellular Automata and Complexity. New York: Addison-Wesley, 1994.

66. Тоффоли Т., Марголус H. Машины клеточных автоматов. М.: Мир,1991.

67. Codd Е. Cellular Automata. New York, London: Academic Press, 1968.

68. Achasowa S., Bandman O., Markova V., Piskunov S. Parallel substitution algorithm. Theory and application. Singapore: World Scientific. 1994.

69. Основы теории дискретных логических и вычислительных устройств. Шоломов Л.А. М.: Наука. Главная редакция физико-математической литературы. 1980.-400с.

70. Медведева М.В., Медведев A.B., Колосков В.А. Синтез алгоритмов самоорганизации мультимикроконтроллера на графовых моделях // Управление в сложных системах. Уфа: УГАТУ. 1998. С. 177-183.

71. Медведева М.В., Медведев A.B., Титов B.C. Операции самоорганизации отказоустойчивого мультимикроконтроллера // Новые информационные технологии и системы: Материалы II Международной научно-технической конференции. Пенза, ПГУ, 1998. - С. 75-76.

72. Медведева M.B. Выбор набора операций самоорганизации отказоустойчивого мультимикроконтроллера // Материалы и упрочняющие технологии. VI научно-техническая конференция с международным участием. Материалы докладов. Курск: КГТУ. 1998 г. - С. 257-260.

73. М.В. Медведева, JIM. Миневич, Г.П. Колоскова Виртуальная перезагрузка логической структуры в матрице мультипроцессора // "Медико-экологические информационные технологии". Материалы международной технической конференции. Курск: КГТУ, 1998. - С. 187-189.

74. Медведева М.В., Медведев A.B., Миневич Л.М., Колосков В.А. Принципы построения слоя самоорганизации на основе графоструктурного подхода // Изв. ТулГУ. Вып. 2. 1998.

75. Медведева М.В., Колосков В.А. Структурный синтез слоя самоорганизации отказоустойчивой мультимикроконтроллерной сети // Управление в сложных системах. Уфа: УГТУ. 1999.

76. Медведева М.В., Медведев A.B., Колосков В.А. Синтез адаптивного слоя самоорганизации мультимикроконтроллера// Изв. ТулГУ. Вып. 3. 1999.

77. Колосков В.А., Медведева М.В., Медведев A.B. Теоретико-графовые основы самоорганизаций: отказоустойчивых мультимикроконтроллеров // Изв. КурскогоГТУ.№3. 1999.-С. 113-123.

78. Колосков В.А., Медведева М.В., Миневич Л.И. Адаптивная настройка микроконтроллера процессора системы технического зрения // Распознавание 97. Сб. материалов 3 Международной конференции. - Курск: КГТУ. 1997. -С. 200-203.

79. Медведева М.В., Медведев A.B. Метод логической перестройки программируемого микроконтроллера // Современные проблемы сварочной науки и техники "Сварка 97". Материалы Российской научно-технической конференции (16-18 сентября 1997 г.) - Воронеж. 1997.

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

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

82. Патент РФ № 2103724. Ячейка однородной среды / Бабкин Г.В., Колосков В.А., Медведева М.В., Титов B.C. Бюл. 1998. № 3.

83. Патент РФ № 2122229. Распределенная система для программного управления / Колосков В.А., Миневич JIM., Медведева М.В., Титов B.C.

84. Патент РФ № 2133054 Распределенная система для программного управления / Миневич Л.М., Медведев A.B., Медведева М.В., Колосков В.А., Титов B.C.

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

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