Система автоматизации технологического процесса производства керамического кирпича, обладающая свойством живучести тема диссертации и автореферата по ВАК РФ 05.13.06, кандидат технических наук Поляков, Владимир Михайлович

• Поляков, Владимир Михайлович
• кандидат технических наук
• 2005

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

Введение.

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

АВТОМАТИЗАЦИИ.

1.1 .Анализ технологических операций в производстве керамических изделий.

1.2.Анализ концепции агрегатирования и особенности автоматизации технологических комплексов в керамическом производстве.

1.3.Анализ методов и моделей формализованного представления функционирования технологических агрегатов с дискретным принципом действия.

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

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

ГЛАВА 2.РАЗРАБОТКА МЕТОДИКИ ПРОЕКТИРОВАНИЯ СИСТЕМЫ

АВТОМАТИЗАЦИИ ПРОИЗВОДСТВА КЕРАМИЧЕСКОГО КИРПИЧА, ОБЛАДАЮЩЕЙ СВОЙСТВОМ ЖИВУЧЕСТИ.

2.1.Разработка обобщенной дезагрегированной модели технологического процесса производства керамического кирпича.

2.2.Разработка конечно-автоматных моделей технологических агрегатов производства керамического кирпича.

2.3.Разработка метода кодирования и интерпретации конечно-автоматных моделей технологических агрегатов.

2.4.Разработка моделей функционирования технологических агрегатов на основе сетей Петри.

ГЛАВА 3.РАЗРАБОТКА МАТЕМАТИЧЕСКИХ МОДЕЛЕЙ И МЕТОДОВ ПРИНЯТИЯ ДИАГНОСТИЧЕСКИХ РЕШЕНИЙ В РАСПРЕДЕЛЕННЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ.

3.1.Разработка структурно-функционального метода контроля и диагностирования распределенных вычислительных систем.

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

3.3.Разработка алгоритма диагностирования на основе структурно-функционального метода.

ГЛАВА 4 .РАЗРАБОТКА ПРОГРАММНОГО, АППАРАТНОГО И ЛИНГВИСТИЧЕСКОГО ОБЕСПЕЧЕНИЯ СИСТЕМЫ АВТОМАТИЗАЦИИ ТЕХНОЛОГИЧЕСКОГО ПРОЦЕССА ПРОИЗВОДСТВА КЕРАМИЧЕСКОГО КИРПИЧА.

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

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

4.1.2. Разработка языка структурного описания.

4.1.3. Разработка лексического и синтаксического анализаторов языка структурного описания.

4.2. Разработка устройства моделирования конечных автоматов.

4.3. Разработка программного обеспечения системы моделирования функционирования технологических агрегатов на основе сетей Петри.

4.4. Разработка распределенной системы автоматизации технологических агрегатов.

ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ.

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

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

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

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

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

Поставленная цель достигается при решении следующих основных задач:

1) разработка формализованных моделей дискретных технологических процессов в производстве керамического кирпича;

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

3) компьютерное моделирование процессов функционирования технологических агрегатов производственного процесса;

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

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

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

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

• конечно-автоматные h сетевые модели функционирования технологических агрегатов процесса производства керамического кирпича;

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

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

Практическая значимость работы заключается:

1) в результатах системного анализа технологического процесса производства керамического кирпича;

2) в методике аппаратно-программной реализации устройств управления на основе конечно-автоматных моделей;

3) в методике контроля и диагностирования распределенных систем управления;

4) в разработанной программно-аппаратной поддержке процесса автоматизации производства керамического кирпича, допускающей расширение.

Внедрение результатов исследований. Результаты исследований, связанные с разработкой системы контроля и диагностирования распределенных управляющих систем, выполненные в соответствии с хоздоговорными научно-исследовательскими работами №11/95 и 21/96, внедрены на TTC г. Белгорода, а также в ОВО при Свердловском РОВД г. Белгорода.

Апробация работы. Основные результаты работы были представлены на следующих научно-технических конференциях: Ускорение научно-технического прогресса в промышленности строительных материалов и строительной индустрии, Белгород (1987 г); Управление сложными техническими объектами и технологическими процессами в промышленности строительных материалов, Белгород (1989 г); VIII Межвузовское совещание-семинар: Методы и средства технической диагностики, Харьков (1989 г.); Системотехнические принципы управления технологическими процессами, Белгород (1991 г); Системотехнические принципы управления технологическими процессами, Белгород (1993 г); Механизация и автоматизация технологических комплексов в промышленности строительных материалов, Белгород (1995 г); Перспективные системы управления на железнодорожном, промышленном и городском транспорте, Алушта (1996 г); Живучесть и реконфигурация информационно-вычислительных и управляющих систем, Москва (1988 г); 5-я Международная конференция:

Распознавание - 2001, Курск (2001 г); VI международная научно-техническая конференция: Кибернетика и высокие технологии XXI века, Воронеж (2005 г). Связь с научно-техническими и другими программами. Работы выполнялись в соответствии с инновационной программой «Трансферные технологии, комплексы и оборудование», а также в соответствии с НИР «Разработка принципов и методов построения унифицированных средств управления для интеллектуальных зданий».

Основные положения диссертации, которые выносятся на защиту:

• формализованные модели дискретных технологических процессов в производстве керамического кирпича;

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

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

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

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

Заключение диссертации по теме «Автоматизация и управление технологическими процессами и производствами (по отраслям)», Поляков, Владимир Михайлович

ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ

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

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

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

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

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

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

6. Разработаны аппаратное, программное и лингвистическое обеспечение системы автоматизации процесса производства керамического кирпича в составе:

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

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

134

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

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

2. Автоматизация производственных процессов в промышленности строительных материалов / В.С Кочетов, В.И. Кубанцев, A.A. Ларченко и др.; под ред. B.C. Кочетова. Изд. 3-е, перераб. И доп. - Л.: Строииздат. Ленинградское отд-ние, 1986. -392с.

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

4. Августиник, А.И. Керамика / А.И. Августиник. Изд. 2-е, перераб. и доп. Л., Стройиздат (Ленингр. отд-ние), 1975. - 592с.

5. Амбарцумян, A.A. Проблемно-ориентированный язык описания поведения систем логического управления / A.A. Амбарцумян, С.А. Искра, НЛО. Кривандина и др. // Проектирование устройств логического управления. М.: Наука, 1984.

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

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

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

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

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

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

12. Бандман, М.К. Территориально-производственные комплексы: Прогнозирование процесса формирования с использованием сетей Петри / М.К. Бандман, О.Л. Бандман, Т.Н. Евсикова. Новосибирск: Наука, 1990. - 264с.

13. Бандман, О.Л. Синтез параллельных микропрограммных структур / О.Л. Бандман, C.B. Пискунов, С.Н. Сергеев // Кибернетика. 1981. - №5. - с. 48-54.f 14. Баранов, С.И. Синтез микропрограммных автоматов / С.И. Баранов. М.:1. Энергия, 1979.-232с.

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

15. Бардзинь, Я.М. Язык спецификаций SDL /PLUS/ и методика его использования / Я.М. Бардзинь, A.A. Калниньш, Ю.Ф. Стродс, В.А. Сыцко. Рига: ЛГУ, 1986.-172с.

16. Бергер, Г. Программирование управляющих устройств на языке STEP-5. Том 1. Программирование основных функций / Г. Бергер. Сименс, 1982.-126с.

17. Богданов, B.C. технологические комплексы и линии для производства строительных материалов и изделий / B.C. Богданов, A.A. Борщевский и др.; под общ. Ред. A.C. Ильина. М: изд-во АСВ; Белгород: Изд-во БелГТАСМ, 2000. 199с.

18. Бусленко, Н.П. Моделирование сложных систем / Н.П. Бусленко. М.: Наука, 1978.-400с.

19. Васильев, В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В.В. Васильев, В.В. Кузьмук. Киев: Наук, думка, 1990.-216с.

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

21. Волик, Г.Б. Надежность, эффективность и живучесть управляющих систем / Г.Б. Волик // Системы управления и их применение. -М.: Ин-т пробл. Упр., 1985. -с. 23-31.

22. Волик, Г.Б. Эффективность, надежность и живучесть управляющих систем / Г.Б. Волик, И.А. Рябинин // Автоматика и телемеханика.-1984. -№12. -с. 151-160.

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

24. Гилл, А. Введение в теорию конечных автоматов / А. Гилл. М.: Наука, 1966. -272с.

25. Глушков, В.М. Синтез цифровых автоматов / В.М. Глушков. М.: Физматгиз,1962.-476с.

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

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

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

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

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

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

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

33. Госин, Н.Я. Технология добычи глины / Н.Я. Госин. М.: Госгортехиздат, 1963.-80с.

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

35. Девятков, В.В. Условие-82 язык программно-логического управления / В.В. Девятков, А.Б. Чичковский //Автоматизация проектирования. Вып. 2. - М.: Машиностроение, 1990.

36. Додонов, А.Г. Живучие вычислительные системы. Задачи исследования и проектирования / А.Г. Додонов, М.Г. Кузнецова // Гибридные вычислительные системы и комплексы. 1988. Вып. 6. -с.29-32.

37. Дроздов, Н.Е. Механическое оборудование керамических предприятий / Н.Е. Дроздов. М.: Машиностроение, 1975. - 248с.

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

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

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

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

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

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

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

45. Зорохович, В.Е. Производство кирпича. Комплексная механизация и автоматизация / В.Е. Зорохович, Э.Д. Щукуров. -Л.: Стройиздат. Ленингр. отд-ние, 1988.-232с.: ил.

46. Ильевич, А.П. Машины и оборудование для заводов по производству керамики и огнеупоров / А.П. Ильевич. М.: Машиностроение, 1963. - 355с.

47. Ильевич, А.П. Машины и оборудование для заводов по производству керамики и огнеупоров / А.П. Ильевич. М.: Высшая школа, 1979. - 344с.

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

49. Котов, В.Е. Сети Петри/В.Е. Котов.-М.: Наука, 1984.- 160с.

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

51. Крапивин, В.Ф. О теории живучести сложных систем / В.Ф. Крапивин. М.: Наука, 1978. -248с.

52. Крапивин, В.Ф. Теоретико-игровые методы синтеза сложных систем и конфликтных ситуаций / В.Ф. Крапивин. М: Сов. радио, 1972. -192с.

53. Кузнецов, О.П. Проблемы разработки языков логического программирования и их реализация на микроЭВМ (на примере языка "Ярус-2") / О.П. Кузнецов, Л.Б. Шипилина, A.B. Марковский и др. // Автоматика и телемеханика. 1985. - №6.

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

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

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

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

58. Лазарев, В.Г. Синтез асинхронных конечных автоматов / В.Г. Лазарев, Е.И. Пийль. М.: Энергия, 1970. - 400с.

59. Лазарев, В.Г. Синтез асинхронных конечных автоматов / В.Г. Лазарев, Е.И. Пийль. М.: Энергия, 1978. - 408с.

60. Лазарев, В.Г. Синтез асинхронных конечных автоматов / В.Г. Лазарев, Е.И. Пийль. М.: Энергоатомиздат, 1989. - 328с.

61. Лескин, A.A. Сети Петри в моделировании и управлении / A.A. Лескин и др..-Л.: Наука, 1989.- 158с.

62. Лундина, М.Г. Производство кирпича методом полусухого прессования / М.Г. Лундина, П.И. Бернштейн, Г.С. Брох. Госстройиздат, 1958. - 164с.

63. Малышев, Н.Г. Структурно-автоматные модели технических систем / М.: Радио и связь, 1986. - 168с.

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

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

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

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

68. Новорусский, В.В. Конечноавтоматные системы управления (принципы построения и анализ поведения) / В.В. Новорусский. Новосибирск: Наука, 1982. -270с.

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

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

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

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

73. Питерсон, Дж. Теория сетей Петри и моделирование систем / Дж. Питерсон. -М.: Мир, 1984.-264с.

74. Подлесный, Н.И. Исследование живучести многофункциональных распределенных микропроцессорных систем управления / Н.И. Подлесный, А.Я. Гапунин и др. // Радиоэлектроника летат. Аппаратов. 1984. - Вып. 14. с. 165-172

75. Подлесный, Н.И. Об оценке эффективности сложных систем, обладающих свойством живучести / Н.И. Подлесный, А.Я Гапунин, О.В. Узлов // Самолетостроение. Техника воздушного флота. -1982. -Вып. 12. с. 10-16.

76. Поляков, В.М. Использование технологической иерархии при создании систем управления с высоким уровнем живучести / В.М. Поляков, В.Г. Рубанов // В сб. материалов 5-й международной конференции «Распознавание 2001». Часть 2. -Курск, 2001. с. 221-222.

77. Поляков, В.М. Обеспечение отказоустойчивости передачи в транспортных системах служб быстрого реагирования / В.М. Поляков, А.Н. Ознобихин //

78. Информационно-управляющие системы на железнодорожном транспорте (ИУСЖТ). 1996. -№3,4 (2). - с. 80-81.

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

80. Рубанов, В.Г. Методология проектирования систем автоматизации, обладающих высокой степень живучести / В.Г. Рубанов, В.М. Поляков // Вестник БелГТАСМ. 2002. - №2. - с. 118-127.

81. Рябинин, И.А. Логико-вероятностные методы исследования надежности структурно-сложных систем / И.А. Рябинин, Г.Н. Черкесов. М.: Радио и связь, 1981.-216с.

82. Силенюк, С.Г. Механическое оборудование для производства строительных материалов, изделий и конструкций / С.Г. Силенюк, А.А. Борщевский, Н.М. Горбовец и др.. М.: Машиностроение, 1990. - 416с.

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

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

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

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

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

88. Стекольников, Ю.И. Живучесть систем / Ю.И. Стекольников. СПб.: Политехника, 2002.- 155с.

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

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

91. Технология системного моделирования / Е.Ф. Аврамчук, A.A. Вавилов, C.B. Емельянов и др., под ред. C.B. Емельянова. -М.: Машиностроение, 1988. 520с.

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

93. Шалыто, A.A. Алгоритмизация и программирование для систем логического управления и "реактивных систем" / A.A. Шалыто // Автоматика и телемеханика. -2001. -№1. -с.3-39.

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

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

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

97. A Fault Identification Algorithm for t, Diagnosable Systems / Che-Liang Yang, Gerald M. Masson // IEEE Trans. Comput., 1986. -№6. -vol. C-35. -pp. 503-510.

98. Diagnosis and fault identification algorithms for large scale computing systems / Lombardi Fabrizio, Chin-Long Wey // Supercomputing Systems Proceedings of the First International Conference, St. Petersburg, Florida, Dec. 16-29, 1985. c.404-413.

99. On the connection assignment problem of diagnosable systems / F.P. Preparata, G. Metze and R.T. Chein // IEEE Trans. Electron. Comput. Vol. EC-16. -№12. 1967. -pp. 848-854.

100. Mistic Controller. Opto. BookletN1-800-321-OPTO.

101. Modicon Modsoft. Руководство программиста. GM-MSFT-001. Ред. E. 1993.

102. SIMATIC. Simatic S7/M7/C7. Programmable Controllers. SIEMENS. Catalog ST 70. 1996.