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

На правах рукописи

Мухопад Александр Юрьевич

Структурный синтез автоматов управления системами обработки информации реального времени

Специальность 05.13.01 - Системный анализ, управление и обработка информации (информатика, вычислительные машины и автоматизация; энергетика)

АВТОРЕФЕРАТ

диссертации на соискание ученой степени кандидата технических наук

Братск 2010

003492806

Работа выполнена в ГОУ ВПО ФАЖТ

«Иркутский государственный университет путей сообщения»

Научный руководитель:

доктор технических наук, профессор

Дунаев М. П.

Официальные оппоненты:

доктор технических наук, профессор

Алпатов Ю. Н.

доктор технических наук, доцент

Кузнецов Б.Ф..

Ведущая организация: ГОУ ВПО «Новосибирский государственный технический университет»

Защита состоится в 12-00 часов 19 марта 2010г. на заседании диссертационного совета Д 212.018.01 в ГОУ ВПО «Братский государственный университет» по адресу: 665709, г. Братск Иркутской обл., ул.Макаренко, 40.

С диссертацией можно ознакомиться в библиотеке ГОУ ВПО «Братский государственный университет».

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

Автореферат разослан 18 февраля 2010г. Ученый секретарь

диссертационного совета

Игнатьев И.В.

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

В системах обработки информации реального времени (СРВ) реализация процессов управления с помощью микропроцессоров или микроконтроллеров не только является избыточной, но и приводит к снижению быстродействия на 2 - 3 порядка по сравнению с аналоговой или специальной дискретной реализацией. В специальных микроэлектронных системах управления, реализуемых на базе больших интегральных схем (БИС ПЗУ), программируемых логических матриц (ПЛМ) и программируемых логических интегральных схем (ПЛИС), внутренние подсистемы синхронизации и выработки управляющих команд (микропрограммные автоматы -МПА) могут составлять до 30 -50% объема оборудования, и именно эти подсистемы определяют конструктивную сложность, энергопотребление и надежность всей системы управления технологическим процессом. Поэтому разработка новых методов синтеза и структурной организации СРВ и МПА, позволяющих реализовать заданные алгоритмы управления на БИС меньшей сложности, с меньшим энергопотреблением и обеспечивающих более высокий уровень надежности и безопасности, является весьма актуальной как в научном, так и практическом плане. Значимость исследований определяется также тем, что они относятся к числу приоритетных научных направлений, определенных постановлениями Правительства РФ.

Целью работы является:

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

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

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

- предложена методика синтеза МПА, основанная на преобразовании граф-схемы алгоритма с перекоммутацией логических условий (входных переменных МПА);

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

- модифицирован известный и предложены новые способы контроля МПА в процессе функционирования и резервирования комбинационной схемы МПА;

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

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

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

стабилизации мощности газового лазера в службе Локомотивного хозяйства ВосточноСибирской железной дороги ОАО РЖД, а также при проектировании медицинского прибора «Мультимед» в ООО «Байкальский научно-инженерный центр». Спецпроцессоры криптографической защиты информации апробируются соответствующими подразделениями ВСЖД ОАО РЖД. Материалы диссертации и разработанный на их основе программный комплекс с применением Matlab используются в учебном процессе Иркутского государственного университета путей сообщения в разделах курсов « Теория дискретных устройств», «Технические средства реализации информационных процессов», « Проектирование мехатронных модулей».

Достоверность результатов подтверждается:

- результатами сопоставительного анализа с типовыми решениями;

- результатами моделирования и эксперимента на ЭВМ.

Апробация работы проводилась на межвузовской научной конференции с участием Института динамики и теории систем управления (Иркутск, СО РАН, 1996), на III и IV Международных конференциях «Проблемы механики и современных машин» (Улан-Удэ, 2006 и 2009г.г.); XIV Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении» (Иркутск, 2009); XXII Международной научной конференции «Математические методы в технике и технологиях (Псков, 2009г.); VII Всероссийской научно-практической конференции студентов, аспирантов и молодых ученых «Молодежь и современные информационные технологии» (Томск, 2009); III Всероссийской конференции «Развитие науки и высшего образования» (РАЕ, Сочи, 2009); на XIII Международной научно-практической конференции «Системный анализ в проектировании и управлении» (Санкт-Петербург, 2009); в Международной научной школе «Фундаментальные и прикладные проблемы надежности и диагностики машин и механизмов» (Санкт - Петербург, 2009); на Всероссийской конференции « Актуальные проблемы развития гражданской авиации России» (Иркутск, 2009), а также на научно-технических семинарах Иркутского государственного университета путей сообщения и Братского государственного университета.

Публикации. По материалам диссертации опубликовано 17 работ, в том числе 3 статьи в журналах, рекомендованных ВАК РФ, 1 публикация в зарубежном журнале, 3 параграфа в учебных пособиях с грифом УМО, 5 патентов на полезные модели, 8 работ в едином авторстве. В работах с соавторами соискателю принадлежит от 40 до 60% результатов. Положения, составляющие новизну и выносимые на защиту, получены лично автором.

Структура и объем работы. Диссертационная работа с тоит из введения, четырех глав, заключения, списка литературы. Работа содержит 1/5 страниц, включая текст, 75 рисунков, 38 таблиц и список литературы из 176 наименований. В приложении - акты о внедрении и краткие описания 5 патентов.

ОСНОВНОЕ СОДЕРЖАНИЕ РАБОТЫ

Во введении обоснована актуальность исследований, определены их цели и задачи.

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

логических условий ai, a2|..., aq в код состояния a(t+l); JI - логическая, формирующая или выбирающая логические условия; У - управляющая, обеспечивающая генерацию импульсов синхронизации переходов в МПА.

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

a(t+l) = F,(a(t), a,, a2.....aq) ; A(t) = F2(a(t)); (1)

где a(t) и a(t+l) - настоящее (t) и последующее (t+1) состояние автомата; F¡ и F2 -системы булевых функций; A(t) - выходные команды МПА; aje {a} - входные логические переменные (условия). Одновременное использование конкатенации (a)a(t) для определения a(t+l) приводит к необходимости применения комбинационных схем большого объема. Существующие теории минимизации МПА рассчитаны на БИС малой и средней интеграции и малоэффективны при синтезе сложных МПА при ориентации на сверхбольшие интегральные схемы (СБИС): ПЛМ, ПЛИС и микроконтроллеры.

Наиболее сложной является A-подсистема, реализуемая для простых автоматов как комбинационная схема на элементах логики, ПЗУ или ПЛМ, а для сложных автоматов - на ПЛМ или ПЛИС. A-подсистема МПА, реализуемая через ПЗУ, имеет объем V = га2т+ч бит, где m -разрядность кода a(t), q - число логических условий. В диссертации предложено классифицировать автоматы на четыре группы по сумме общего числа переменных (m+q) A-подсистемы: сверхпростые (m=3, q<5), простые (m=4, q<8), средней сложности (m=5, q<12) и сложные (т=6, q>16).

Простые и сверхпростые автоматы используются для управления аналого-цифровыми и цифровыми таблично - алгоритмическими преобразователями информации как составными частями СРВ. Для управления самими СРВ используются автоматы средней сложности и сложные автоматы в зависимости от количества блоков в них и специфики алгоритма управления. Поэтому в диссертации проблемы анализа и синтеза МПА формулируются применительно к последним двум типам автоматов.

При реализации А- подсистемы на ПЛМ необходимо реализовать систему булевых функций Fi от m+q переменных

yi=Ri(xra...x2xi;aq... a2a,)

У2=К2(хт...х2Х[; aq... a2a¡) (1)

Ym=Rm(xm...x2xi; oq... a2ai)

Сложность реализации Fi на ПЛМ объясняется тем, что число возможных комбинаций K=2m4'q на входе схемы Fi для простых автоматов составляет 4096, для средних -128 тыс. и сложных- более 4 млн. Поэтому для сложных и средней сложности автоматов непосредственное «вложение» системы булевых функций R|R2... Rm в ПЛМ не осуществляется, а ставится задача реализации уравнения a(t+l) = F\(a(t), a4... a2ai) несколькими комбинационными схемами с меньшим, чем m+q, числом переменных в каждой.

Вопросам проектирования информационно-управляющих систем и, в том числе МПА, посвящены работы В.М.Глушкова, М.А.Гаврилова, А.Д. Закревского, В.Г. Лазарева, И.В. Прангишвшш, В.Б. Смолова, В.В.Соловьева, В. В. и Вл. В. Сапожниковых, М.А.Баранова, Ю.Ф.Мухопада, а также E.McCluskey , E.F.Moore, C.H.Mealy, C.N.Liu, J.Hartmaniz и др.

Для сложных СРВ необходимо применять МПА с мегабитными ПЗУ, ПЛМ или ПЛИС большого объема. Широкая номенклатура БИС, ПЛМ, ПЛИС и микроконтроллеров приводит к тому, что выбор «оптимального» набора БИС для реализации МПА с минимальной сложностью, энергопотреблением и максимальной

надежностью является наукоемкой задачей. 1.НаПаш5, А.Д.Закревский, М.А.Баралов, Е.И.Пупырев (1990г.) и др. предлагают два пути снижения сложности Р|:

- минимизация булевых функций & ( дает эффект снижения затрат ~ 20% для простых автоматов и ~ 10% для автоматов средней сложности),

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

Более эффективен метод декомпозиции граф-схем алгоритмов (ГСА) (Т.С.Бадмаева, Ю.Ф.Мухопад - 2003 г.). Этот метод позволяет снизить обшее число (т+ц) переменных для автоматов средней сложности с 17 до 11-12, однако для сложных автоматов имеются ограничения за счет необходимости введения дополнительных переменных при большом числе декомпозируемых частей ГСА.

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

Вопросам контроля МПА посвящены работы В.Н.Балакина, В.В.Барашенкова,

A.П.Горяшко, А.Е.Коваленко, Л.В.Дербунович, В.В.Сапожникова, С.А.Никищенкова,

B.Г.Тоценко, Н.С.Щербакова, Ю.Ф.Мухопада, а также Д.Андерсона, Ш.Графа, М.Гесселя, Р.Кука, Г.Метце, и др.

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

Для контроля одиночных ошибок эффективны коды с фиксированным числом единиц, названные тСп (ш произвольно расположенных единиц в п-разрядном коде). МПА с кодом тСп исследованы В.В.и Вл.В. Сапожниковыми. Код тСп требует создания весьма сложных схем контроля для п>4. При той же контролеспособности более прост в реализации модифицированный геометрический код (МГК). При использовании МГК исходный двоичный позиционный код (ДПК) преобразуется в код из трехразрядных групп с одной «1» - 001, 010,100. Как тСп , так и МГК увеличивают разрядность а(0 в 2 - 2,5 раза по сравнению с ДПК, поэтому прямое применение этих методов проблематично для сложных и средней сложности автоматов.

Нерешенными остаются следующие задачи:

- снижение сложности комбинационных схем МПА для СРВ;

- повышение эффективности методов динамического контроля МПА для СРВ.

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

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

В работе предложена новая методика синтеза МПА, существо которой сводится к преобразованию заданной граф-схемы алгоритма (ГСА) (рис. 1а) по следующим правилам'.

1. Если в ГСА имеются непосредственные связи типа оу —> а, (1 ф ]), то между ними ставится пустой оператор, т.е. такой, которому не соответствует выдача команды управления операционным устройством (рис.1 б).

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

Для синтеза МПЛ семантика Ai и а, несущественна, если ГСА составлена правильно.

Переход от модифицированной ГСА к графу переходов осуществляется по известной методике, однако после применения пунктов 1, 2 в получившемся графе не будет переходов a(t) —> a(t+l), учитывающих значения нескольких логических условий, а останутся переходы по р или по dj или а} (j=l,2, ..., q ). Здесь Р - безусловный переход. На рис.2 и 3 представлены графы переходов для исходной и модифицированной ГСА.

Как видно из анализа графов, после модификации на любом переходе a(t) —♦ a(t+l) можно определить номер логического условия aj или значение Р =1 соответствующего состоянию a(t).

В этом случае аналитическая запись работы модифицированного автомата будет иметь вид (2):

a(t+l) = F,H(a(t), p.aj) ; A(t) = F2 (a(t)); J = F3(a(t)) (2)

Здесь J - номер соответствующего условия aj при состоянии a(t) , Fi" - новая система булевых функций, зависящая от кода а(1) и логических значений всего одной переменной a и безусловного перехода р. После определения номера J в виде кода {Z}выбор нужного значения aj может быть осуществлен типовым мультиплексором по адресу {Z}.

Рис. 1. Граф - схема алгоритма сложения чисел с плавающей запятой

Рис.2. Граф автомата Мура

Рис.3. Граф нового автомата.

Введение М пустых операторов приводит к увеличению числа состояний в графе переходов, но величина т не меняется, если М+М < 2™ и увеличивается на «1», если условие не выполняется. N - число состояний автомата Мура. Пустому оператору соответствует пропуск такта, поэтому снижается быстродействие МПА в Ь раз. Здесь Ь = г де М, ,N1 -количество пустых и действующих операторов А, на выделенном

пути ГСА с наибольшим значением (N1 + М1). В реальных задачах Ь < 1,25.

Структурная схема МПА для реализации уравнения (2) оригинальна (рис.4). Объем памяти для нового МПА равен У„ = т2т+1. Функциональная подсистема нового автомата остается такой же, как и в автомате Мура.

Рис.4. Структурная схема нового автомата

М - мультиплексор; р - признак безусловного перехода;

ОУ - объект управления (операционное устройство);

Р3 - комбинационная схема определения адреса {?.} переменной ще {а}.

МПА, представленный на рнс.4, может быть реализован без схемы Fj, если выполнить следующее правило: перенумеруем все ctj б {а } так, что каждому a(t) будет соответствовать aj, номер которого совпадает с номером состояния a(t), если ему не соответствует Р =1.

В этом случае мультиплексор следует проектировать как специальное устройство или необходимо произвести подачу си аг.... aq на соответствующие входы мультиплексора. В соответствии с графом переходов (рис.3) переменная а, должна быть подала на 2-й и 7-й информационные входы мультиплексора, переменная а2 - на 5-й и 10-й, аз - на 14-й и 20-й входы , ..., Об . на 11-й и 15-й входы. Если некоторому a(t) соответствует р =1, то выбирается ао = 0.

В диссертации показано, что затраты элементов на схему F3 и мультиплексор не превосходят затрат на F|".

Эффективность методики, без учета F3 и мультиплексора, оценивается отношением L=V/V„. Оценка снижения объема ПЗУ приведена для простых, средних и сложных автоматов: m=4, q=8, L=128; т=5, q=12, L=2048; т=6, q=16, T.—32768.

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

Снижение сложности МПА при реализации А -подсистемы на ПЗУ, ПЛМ или ПЛИС столь существенно (в 2Ч " 1 раз), что приводит к значительному повышению надежности МПА за счет использования БИС с меньшей степенью интеграции, а также к снижению энергозатрат.

Для БИС ПЗУ энергопотребление составляет 0,4 мкВт/вснтиль. Если один бит реализуется одним вентилем, то для сложных МПА энергопотребление снижается с 2,4 Вт до 0,3 мВт; устраняется эффект термоперегрева БИС, следовательно, повышается надежность МПА.

Учет затрат на схему F3 и мультиплексор несущественно снижает эффективность новой методики по критерию L.

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

В известных структурах МПА все логические условия {а} в А - подсистему подавались одновременно. За счет большого числа переменных (m+q) малоэффективны процедуры минимизации булевых функций. Для нового метода синтеза число переменных равно (ш+1), и даже для сложных автоматов величина (ш+1) не превосходит 8 при любом числе логических условий. Процедура минимизации булевых функций при числе переменных < 8 становится эффективной и определяет реализуемость MIIA на ПЛМ самой меньшей степени интеграции.

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

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

построения аналога ПЛМ за счет объемно-распределенной логики (Мухопад Ю.Ф., Комков А.З.), тем не менее степень интеграции матричных структур невелика. Для нового принципа организации МПА достигнутый уровень интеграции достаточен, что позволяет поставить задачу синтеза СРВ на элементах пневмоавтоматики и струйной техники, устойчивых даже к повышенному радиационному фону и другим неблагоприятным воздействиям.

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

В диссертации разработана методика моделирования МПА с новой структурной организацией на 8- разрядных микроконтроллерах, основанная на методе прямого считывания кода а(1+1) по коду аа(1). Такой способ эффективен для новой структуры МПА и обеспечивает высокое быстродействие модели МПА, несмотря на использование программного метода преобразования информации в микроконтроллерах. Более того, этот метод моделирования дает возможность применения упрощенных (логических) микроконтроллеров для программной реализации сложных МПА как с отдельно выделенным, так и с программно реализуемым мультиплексором.

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

В третьей главе исследуются вопросы встроенного контроля МПА.

Для средних и сложных МПА известные методы динамического контроля практически неприменимы, т.к. разрядность кода состояний увеличивается более чем в два раза, и при большом числе логических переменных ц усложняется реализация А-подсистемы. Совместно с новой методикой синтеза в диссертации предложено использование на выходе РГ кода МГК, а на входе р1Н конкатенации а и модифицированного двоичного непозиционного кода состояний (МДК) (табл.1). В таблице символом т обозначена также разрядность ДПК и МДК.

Таблица 1

№ ДПК mCn МГК МДК

m 2С5 ЗС6 m+ 1

0. 000 00011 001 001 00 00

1. 001 00101 001 010 00 01

2. 010 01001 010 100 01 10

3. 011 10001 010 010 01 01

4. 100 10010 010 001 01 00

5. 101 10100 100 001 10 00

6. 110 11000 100 010 10 01

7. 111 01010 100 100 10 10

Переход от МГК к МДК осуществляется по правилу 001-00, 010-01, 100-10. Тогда в МДК в каждых двух разрядах не должна встречаться комбинация 11. Структура самоконтролируемого МПА с кодами МГК и МДК оригинальна, а схема контроля правильности кода a(t) тривиальна, т.к. сводится к установке элементов «И» на каждые два разряда кода {х}. При контроле МПА с кодом МДК разрядность кода a(t) увеличивается на 1 по сравнению с ДПК (табл.1). Схема контроля с МГК и МДК

позволяет обнаруживать двукратные и большей кратности ошибки, если они возникают в разных группах МГК. Однако двойные ошибки в одной группе их трех разрядов не обнаруживаются.

В диссертации предложены методы контроля МПЛ при многократных ошибках, основанные на преобразовании МГК в код Грея в счетчике информационной подсистемы, а также на сравнении по частям тех переходов a(t)-»a(t+l), которые определяются логическими условиями вне счетчика.

В диссертации предложена модификация известного метода резервирования А-подсистемы за счет использования двух идентичных схем Fi и одной осуществляющей обратное преобразование a(t) = h\ (aj a(t +1)). В этом случае схема принятия решения выполняет следующий алгоритм контроля:

1 - если проверка на МГК дает отрицательный результат, как для Fi (1), так и для Fi (2) и выходные коды двух схем совпадают, то формируется сигнал - «МПА исправен», иначе п.2;

2 - по F, восстанавливается a(t) от первого блока F) и сравнивается с тем, который хранится в И - подсистеме. Если a(t)" = a(t)*, то разрешается выдача Aj. Иначе п.4. Здесь индекс «и» обозначает a(t) в И - системе, а индекс «в» -восстановленное значение a(t);

3 - осуществляется п.2 со вторым резервным блоком Fi, иначе п.4;

4 - блокируется выдача команд Ai и формируется сигнал -«Автомат неисправен».

Схема МПА с резервированием приведена на рис.5.

Рис.5. Структурная схема МПА с резервированием по новой методике

В таблице 2 приведена оценка надежности для всех вариантов состояния А-подсистемы в МПА. Символом Н обозначена неисправность МПА, символом И -исправность, у - вероятность отказа за один час работы одной комбинационной схемы. В столбце М отмечены варианты неисправной работы при тройном резервировании и мажоритарном способе принятия решения 2 из 3.

Таблица 2

№ 1ч(2) ь н и Вер. неиспр м

0 0 - 0 0 1 г1 1

1 0 0 1 1 1

2 0 1 0 1 1

3 0 1 1 1

4 1 0 0 1 1

5 1 0 1 1

6 1 1 0 1

7 1 1 1 1

При таком способе резервирования вероятность исправной работы МПА в течение часа Р = (1-Зу2). Выражение для Р получено без учета слагаемых -у в степени выше 2. Если для БИС ПЗУ (ПЛМ) у =10"4 - 10"5 отк/час, тогда Р = 1 - 3(1 (Г - 10"'°).

В отличие от известных схем резервирования с мажоритарным выбором упрощается схема принятия решений, а также повышается уровень безотказности за счет обеспечения работоспособности при исправной схеме ^ и хотя бы одной схемы Б1 с блокировкой выдачи команд в случае полной неисправности Р) (1) и Р) (2).

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

В работе произведена оценка степени повышения надежности МПА по новой структуре с резервированием А-подсистемы и обратным преобразователем информации для вариантов трехкратного резервирования.

В четвертой главе рассматриваются несколько систем управления технологическими процессами с дискретной реализацией операционного устройства на базе ПЗУ, регистров и элементов логики. Автор в практических задачах осуществлял совместно с соавторами разработку Ф, И, Л, А подсистем и самостоятельно разрабатывал ГС А, а также проводил абстрактный, структурный и функциональный синтез управляющей подсистемы СРВ.

Анализ известных ГСА для операций сложения и работы с порядками в системах с плавающей запятой, а также алгоритма приоритетных прерываний (В.Г. Кирий, С.И.Самарский) показал, что даже для простых микропрограмм, содержащих 20-25 микроопераций и 6-8 логических условий, эффект от перехода к новой структурной организации МПА обеспечивает снижение сложности А - подсистемы в 32-128 раз.

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

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

работающие ЭВМ со специальным программным обеспечением и специализированными языками высокого уровня.

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

Для управления спецпроцессором был использован МПА с канонической структурой автомата Мура. В связи реализацией национальной программы России в области нанотехнологии возрождается также отечественная микроэлектроника. Поэтому в диссертации произведен реинжиниринг подсистемы управления спецпроцессором контроля БИС ПЗУ.

В разработанной ГСА - 12 логических условий, а величина т= 6. Прямой переход к новой структуре МПА обеспечивает выигрыш в Ь=2048 раз, однако выделение циклических ветвей позволяет дополнительно снизить сложность А -подсистемы. На рис.8 показаны обозначенные ветви 0,1,...17; 25,26,...36 и 38,39,...42. Тогда при 45 вершинах в графе переходов функция ПЛМ сведется к формированию переходов только в остальные 14 вершин (5, 7, 9, 12, 17, 19, 21, 25, 29, 37, 38, 43, 44, 45) с формированием сигнала (+1) как отрицания функций ПЛМ.

Рис.6 Формирователь временных Рис.7. Структурная схема спецпроцессора диаграмм для спецпроцессора контроля ПЗУ

контроля БИС ПЗУ

В диссертации приведены сравнения расчетов объемов памяти автомата, построенного по классической структуре и по предложенной новой модели МПА. Сложность МПА по новой структуре без счетчика можно оценить через т=6 и ц=12, тогда для автомата Мура У=6-2' , а для нового автомата Ун=6-27, эффект составит 1=2048 раз.

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

Рис.8. Граф переходов нового автомата с выделенным счетчиком для управления процессом контроля ПЗУ

В машиностроительной промышленности нашли применение лазерные технологии для резки металлов, упрочнения шеек валов колесных пар железнодорожных вагонов и др. Одной из важнейших подсистем управления лазером является стабилизация мощности излучения, которая реализуется аналоговыми средствами, дискретные реализации таких систем неизвестны. Для адаптивной СРВ газового лазера (рис.9) с разрывным принципом управления (Н.Н.Пашков) разработан алгоритм, который представлен уравнениями (3):

*1="7-*| • • (3)

1\ '2

Для дискретной реализации уравнения (3) преобразуются к виду (4): у = +с2хг + с1хи{ +(1гиг . (4)

ГДе III =С1|(У-С,Х,), и2 =1Ь(У-С2Х2).

Здесь у - мощность излучения, XI- давление газовой среды, х2- ток разряда, С,, С2, <1|,(12 константы, и],и2 - исполнительные команды изменения х,, х2.

В диссертации разработано операционное устройство (рис.10) с использованием накапливающего сумматора, ПЗУ и нескольких регистров памяти. Алгоритмы управления лазером и операционным устройством представлены на рис.11 и 12. Оригинальность подхода заключается в организации табличного способа вычисления Ъ= С,х, где С; -константы, х - двоичное значение переменной с фиксированной запятой (разрядность < 16), величина Ъ- параметр обратной связи. Адрес ПЗУ формируется как конкатенация кода х и кода номера константы, т.е. информации о константе, но не самого значения С]. Изменение адресной части, соответствующей константе (О, реализуется счетчиком (1 = 1 - 4). Такое решение обеспечивает при 16- разрядном представлении х и С с фиксированной запятой сокращение памяти табличного умножителя в 16384 раза. В разработанной ГСА т =6; я =12, тогда для МПА Ь = 2048. При выделении счетчика в качестве памяти А- подсистема дополнительно упрощается.

| »| Лазер Игделие |

Устройство -Йен Ком.

Пулы упр. МПЛ

Операц. устройство а."

► и'„

Рис.9. Блок-схема управления лазером

РгАр 1

а

РгА ПЗУ -к, ОЗУ - г Рг я

С|Х

Зш

Рис. 10. Структурная схема операционного устройства системы управления лазером

Рг - регистр; РгА - регистр адреса ПЗУ; РгЛУ - регистр логических условий; накапливающий сумматор; ГВМ - генератор временных меток; РгЯ - регистр результата; РгИК - регистр исполнительных команд.

/вк>л С!. Сь Ь|, Ьь Д|. Л1/

и,(К),МК). У

ЕКК+1). Ь(К<-1) (К-М)

ЦП.

<к

Рис 11. Алгоритм управления лазером

Рис.12. Алгоритм управления операционным устройством

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

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

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

На первом этапе часть информационного сообщения разрядностью п интерпретируется не только как код для передачи, но и как двоичный адрес ПЗУ, в котором хранится набор секретных ключей (констант). Количество констант равно 2". Константы распределены по адресам с использованием датчика случайных чисел. При п=1б количество секретных ключей > 64000, что гарантирует резистентность защиты и невозможность взлома с помощью перебора за реальное время даже на суперЭВМ, т.к. количество переборных вариантов равно 21<А', где N -количество разных ключей к которым идет обращение при передаче полного текста закодированного сообщения.

На втором этапе преобразования в спецпроцессоре использован оригинальный алгоритм рассеивания информации, определенный тем, что секретный ключ представляет собой комбинацию из равного числа «0» и «1», распределенных по случайному закону в поле разрядности п (регистр В). Устанавливаются два регистра сдвига (С и О) с разрядностью п/2, которые заполняются по правилу С] = X; / Ь, =1, Б=Х| / Ь, =0, где Хгочередной бит сообщения (1 =Г- п) Затем образуется п-разрядная конкатенация Ы и выполняется операция ХОЯ. При каждом последующем шаге получения новой части сообщения в регистре ключа производится сдвиг.

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

За счет специальной организации операционных устройств удалось упростить ГСА настолько, что автоматы управления СРВ для криптозащиты можно отнести к классу простых автоматов, т.к. в ГСА т=5, ц=7. Сложность МПА по новой структуре без счетчика можно оценить через т=5 и ^=1, тогда для автомата Мура У=5-2 , а для нового автомата Ун=5-26, т.е. эффект составит Ь=64 раза.

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

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

повторений (2 или 3 раза) операции усреднения в большом окне с заменой х, на хср при / х,- -Хср / >3а (Х| -значение переменной, хср - среднее значение, о - дисперсия) устраняются случайные «выбросы». Реализация операции С|Х( (1 =1 - п ) позволяет «компенсировать» эффект динамического запаздывания СРВ за счет забывания (С| < 1) старых значений. Адаптивные свойства фильтра определяются возможностью выбора значений п, т, С, и нелинейной шкалы временных отсчетов по средней крутизне сигнала, определяемой после второго окна. Для соотношения сигнал/шум < 1 выбирается значение к, р = 8,16. Структура фильтра содержит два блока стековой памяти, ПЗУ для операции С, X , два накапливающих сумматора и элементы логики. Значения 2=С|Х также как и для лазерного СРВ, определяются через ПЗУ с использованием номера константы.

МПА имеет характеристики т= 6, ц~ 12, величина Ь = 2048.

Использование СРВ для медтехники позволяет построить многофункциональные приборы с автоматизированной реализацией лечебных процедур. В диссертации проведено полное структурное и функциональное проектирование СРВ для обработки информации и управления прибором «Мультимед», предназначенного для лечения бронхолегочных и других простудных заболеваний на основе электромагнитного вакуумного и термотактильного воздействия на меридианы и биологически активные точки.

Все подсистемы Ф, И, А, Л построены на дискретных элементах средней интеграции, включая сумматор, стековую память с 12 регистрами, счетчики и элементы логики с управлением от МПА Число состояний МПА - N = 25 и логических условий -q=8. Величина Ь = 128. Прибор «Мультимед» оригинален, подана заявка на патентование в виде полезной модели.

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

Методы динамического контроля и предложенная модификация контроля с резервированием могут быть применимы не только в МПА, но и для средств автоматизации широкого профиля.

Заключение

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

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

предложенной методике, оригинальна. Эффективное снижение объема ПЗУ для автоматов составляет 24'1 раз.

3. Для систем реального времени, работающих в экстремальных условиях (температурные перепады, сильные электромагнитные поля, вибрация и др.), предложено несколько методов для встроенного динамического контроля:

метод контроля, основанный на проверке наличия только одной единицы в модифицированном геометрическом коде на выходе ПЗУ и использовании модифицированного двоичного кода в адресной части ПЗУ. При этом число разрядов в модифицированном двоичном коде всего на один больше, чем в двоичном позиционном коде. Схема МПА с самоконтролем оригинальна;

- модификация известного метода резервирования, основанная не только на дублировании А -подсистемы, но и на введении обратного преобразователя aa(t+l) —» a(t), что позволяет осуществить одновременно динамический контроль МПА и блокировку выдачи команд управления в случае неисправности или сбоя. Метод наиболее эффективен в комплексе с новой методикой синтеза МПА.

4. Разработан алгоритм моделирования новой структуры МПА на ПЭВМ с переложением на язык команд микроконтроллеров

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

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

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

Список публикаций по теме диссертации В изданиях, рекомендованных ВАК РФ

1. Мухопад, А.Ю Встроенный контроль в автоматах управления [Текст] / Ю.Ф. Мухопад, А.Ю. Мухопад, Т.С. Бадмаева // Вестник ИрГТУ. - 2006. - № 2. - С. 148-150.

2. Мухопад А.Ю. Динамический контроль автоматов [Текст] / А.Ю. Мухопад // Изв. НГТУ. - Новосибирск: 2008. - № 3. - С .55 - 58.

3. Мухопад А.Ю. Метод синтеза сложных автоматов [Текст] / А.Ю. Мухопад, Ю.Ф. Мухопад // Изв. НГТУ. - Новосибирск: 2009. - вып. 1.- С. 212-214.

Патенты

4. Патент РФ на полезную модель № 63588. Самоконтролируемый автомат управления / Мухопад Ю.Ф., Мухопад АЛО., Бадмаева Т.С. - Опубл. в бюл. № 15. - 2007.

5. Патент РФ на полезную модель № 82888., Микропрограммный автомат / Мухопад А.Ю., Мухопад Ю.Ф. - Опубл. в бюл. № 13. - 2009.

6. Патент РФ на полезную модель № 82974. Устройство криптографической зашиты информации / Мухопад Ю.Ф., Мухопад А.Ю., Агафонов Т.Б. - Опубл. в бюл. № 13. -2009.

7. Патент РФ на полезную модель № 82889. Устройство криптографической защиты информации / Мухопад А.Ю., Мухопад Ю.Ф., Антошкин Б.Н. - Опубл. в бюл. № 13. -2009.

8. Патент РФ на полезную модель № 82890. Устройство криптографической защиты информации / Мухопад А.Ю., Мухопад Ю.Ф. - Опубл. в бюл. № 13. - 2009.

Статьи и доклады на научных конференциях

9. Мухопад A.IO. Структурная организация программной модели сложных автоматов управления мехатроникой [Текст] / А.Ю. Мухопад // Тр. IV Международной конференции «Проблемы механики современных машин». - Улан - Удэ: ВСГТУ, Т. 3,- 2009. - С. 88-94.

10. Мухопад А.Ю. Структурная организация программной модели сложных автоматов систем реального времени ¡Текст] / А.Ю. Мухопад // Тр. XXII Международной конференции « Математические методы в технике и технологиях». - Псков: ППИ, Т. 2.-2009.-С. 83-86.

11. Мухопад А.Ю. Синтез сложных автоматов управления мехатроникой [Текст] / А.Ю. Мухопад // Тр. VII Всероссийской научно-практической конференции студентов, аспирантов и молодых ученых «Молодежь и современные информационные технологии»,- Томск: ТПУ . - 2009. - ч.2. - С. 70-71.

12. Мухопад А.Ю. Обеспечение надежности сложных автоматов управления мехатроникой [Текст] / А.Ю. Мухопад // Тр. Международной научной школы « Фундаментальные и прикладные проблемы надежности и диагностики машин и механизмов.- СПб: Научный совет РАН по проблемам машиноведения и технологических процессов, 2009. - С. 17-19.

13. Мухопад А.Ю., Методы повышения безотказности электронного комплекса самолетов [Текст] / А.Ю. Мухопад, Ю.Ф, Мухопад, М.П. Дунаев // Тр. Всероссийской конференции «Актуальные проблемы развития гражданской авиации России».-Иркутск, Москва: МГТУГА, 2009. - С. 78-83.

В других журналах и изданиях

14. Мухопад А.Ю. Структурная организация автоматов с контролем [Текст] / А.Ю. Мухопад // сб. Информационные системы контроля и управления на транспорте. Иркутск: ИрГУПС, 2005. - вып. 13. - С. 75-78.

15. Мухопад А.Ю. Динамический контроль микропрограммных автоматов [Текст] / А.Ю. Мухопад // Информационные системы контроля и управления в промышленности и на транспорте,- Иркутск: ИрГУПС, 2009. - вып. 16. - С.78-82.

16 Мухопад А.Ю. Моделирование сложных автоматов информационно-управляющих систем [Текст] / А.Ю. Мухопад / в кн. Ю.Ф.Мухопада « Теория дискретных устройств».- Иркутск: ИрГУПС, 2009 . - С. 146-142.

17. Mukhopad Yr. F., Mukhopad A.Yr. Microelectronic controlling of realtime complicated technical systems / Yr. F. Mukhopad, A.Yr. Mukhopad //International journal of applied and fundamental research (JSSN 1996-3955), 2009. - № 2. - p. 26 - 29.

Подписано в печать: 15.02.2010 г. Формат 60 х 90 1/16. Бумага офсетная. Печать трафаретная. Усл. печ. л. 1,16 Тираж 130 экз. Заказ № 175.

Отпечатано:Федеральное государственное унитарное геологическое предприятие «Урангеологоразведка». Юридический адрес: 115148, г. Москва, ул. Б. Ордынка, дом 49, стр.3. ИНН 7706042118 Справки и информация: БФ «Сосновгеология» «Глазковская типография». Адрес: 664039, г. Иркутск, ул. Гоголя, 53: тел.: 38-78-40, тел./факс: 598-498

Перечень условных обозначений.

Введение.

Глава 1. Методы анализа и синтеза информационно-управляющих систем реального времени.

1.1. Анализ и синтез микроэлектронных информационно управляющих систем.

1.2. Микропрограммное управление.

1.3. Методы повышения надежности дискретных устройств.

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

Выводы по главе 1.

Глава 2. Управление техническими системами реального времени.

2.1. Анализ структурной организации автоматов управления.

2.2. Анализ и синтез быстродействующих автоматов.

2.3. Методика синтеза сложных автоматов.

2.4.Структурная организация микропрограммных автоматов с выбором логического условия.

2.5. Моделирование сложных автоматов на микроконтроллерах.

2.5.1. Методы моделирования автоматов.

2.5.2. Моделирование сложных автоматов.

Выводы по главе 2.

Глава 3. Контроль и диагностика автоматов управления в системах реального времени.

3.1. Контроль автоматов на основе кодов с фиксированным числом единиц.

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

3.3. Контроль автоматов при многократных ошибках.

3.4. Метод резервирования комбинационной схемы автомата с самоконтролем.

Выводы по главе 3.

Глава 4. Устройства управления в технологических и технических системах реального времени.

4.1. Алгоритмы сложения чисел с плавающей запятой.

4.2. Адаптивный цифровой фильтр.

4.3. Автомат управления спецпроцессором функционального контроля БИС ПЗУ.

4.4. Система реального времени управления режимом стабилизации мощности газового лазера.

4.5. Управление процессом криптографической защиты информации.

4.6. Система управления медицинским прибором.

Выводы по главе 4.

Современная интегральная технология предоставляет разработчикам средств автоматизации широкий набор больших и сверхбольших интегральных схем: микропроцессоров, контроллеров, постоянных и оперативных запоминающих устройств среднего и большого объема, программируемых логических матриц (ПЛМ). программируемых логических интегральных схем (ПЛИС), широкого набора элементов логики средней интеграции, специализированных БИС [50,61,93,132].

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

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

В связи с усложнением задач, решаемых СРВ, существенно возрастают требования к подсистеме управлении как по быстродействию, так и по безотказности работы, т.к. в специализированных СРВ подсистема управления может составить от 30 до 50% оборудования. Реализация управления в виде классических структур (автомата Мура и Мили) при большом числе состояний (40-50) и логических условий (12-16 и более) становится проблематичной за счет необходимости применения ПЗУ или ПЛМ больших объемов, что ведет к снижению надежности. Поэтому реализация сложных СРВ осуществляется на микропроцессорах с программным управлением или на микроконтроллерах. При этом за счет дополнительного непроизводительного переноса информации при командной структуре управления и использовании программных интерпретаторов быстродействие СРВ снижается на 2-3 порядка по сравнению с чисто аппаратной реализацией операционной части и управлением микропрограммными автоматами (МПА). Для такой реализации помимо разработки методики проектирования СРВ на БИС требуется также разработка новой методики синтеза сложных МПА.

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

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

Во второй главе предложена новая методика синтеза сложных автоматов, основанная на специальном преобразовании граф-схемы (ГСА) алгоритма. Реализация МПА по предложенной методике обеспечивает снижение объема комбинационной схемы, выполненной на ПЗУ или ПЛМ, в десятки, сотни и тысячи раз (в зависимости от числа логических условий) по сравнению с классической структурой автомата Мура. На структурную организацию такого МПА получен патент на полезную модель.

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

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

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

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

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

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

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

- модифицирован известный способ и предложен способ контроля МПА в процессе функционирования, а также способ резервирования комбинационной схемы МПА;

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

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

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

Достоверность результатов подтверждается: результатами сопоставительного анализа с типовыми решениями; результатами моделирования и экспериментальной проверки функционирования МПА с помощью программной модели.

В соответствии с постановлением правительства Российской федерации от 8 ноября 2001 №779 с дополнениями от 13.11.2009 № 816 «Национальная технологическая база на 2002-2006 годы» и уточнениями 2009г. исследования относятся к программе «технологического перевооружения отечественной промышленности на основе передовых технологий» в области «Технологии информационных систем», соответствующих приоритетному направлению науки, технологии и техники Российской Федерации, «Космические и авиационные технологии», «Новые транспортные технологии», «Перспективные вооружения, военная и специальная техника», «Производственные технологии».

Публикации. По материалам диссертации опубликовано 32 работы, в том числе 3 статьи в журналах, рекомендованных ВАК РФ, 1 публикация в зарубежном журнале, 3 параграфа в учебных пособиях с грифом УМО, 5 патентов на полезные модели, 8 работ в едином авторстве. В работах с соавторами соискателю принадлежит от 40 до 60% результатов. Положения, составляющие новизну и выносимые на защиту, получены лично автором.

Структура и объем работы. Диссертационная работа состоит из введения, четырех глав, заключения, списка литературы. Работа содержит 175 страниц, включая текст, 75 рисунков, 38 таблиц и список литературы из 176 наименований. В приложении - акты о внедрении и краткие описания 5 патентов.

Выводы по главе 4:

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

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

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

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

5. Произведен анализ ГСА для общераспространенных операций сложений и выравнивания порядков для чисел с плавающей запятой, а также алгоритма прерываний. Показано, что если МПА для этих операций реализовать по новой структурной организации, то сложность комбинационных схем МПА можно было бы снизить в 30-128 раз.

6. В задаче производственного контроля ПЗУ с ультрафиолетовым стиранием информации сложность А-подсистемы МПА для управления спецпроцессором с новой структурной организацией снижается более чем в 2048 раз.

7. Разработана СРВ адаптивного управления стабилизацией уровня мощности газового лазера. Реализация системы адаптивного управления предложена впервые. Сложность А-подсистемы МПА для предложенного СРВ по сравнению с автоматом Мура снижается в 2048 раз.

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

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

10. Предложена и детально разработана СРВ для управления медицинским прибором «Мультимед». МПА по разработанной ГСА при реализации по новой структуре упрощается в 256 раз.

Заключение

1. Произведен системный анализ структурной организации МПА с выделением Ф- функциональной, И- информационной, А- адресной, Л-логической и У- управляющей подсистем. По признакам количества разрядов (ш) для представления состояний МПА и числу логических условий (q) автоматы разделены на четыре группы: — сверхпростые, простые, сложные и средней сложности. Анализ научных публикаций привел к выводу о том, что при использовании интегрального базиса (ПЗУ, ПЛМ и ПЛИС) наукоемкие технологии, связанные с декомпозицией, минимизацией булевых функций, и специальные способы кодирования, не дают существенного результата упрощения МПА для автоматов средней и повышенной сложности.

2. Предложена новая методика синтеза МПА, основанная на преобразовании граф-схем алгоритмов, позволяющая в реализации А-подсистемы использовать одномоментно не все q логических переменных, а подключать их последовательно в соответствии с текущим кодом состояния МПА. Структурная схема МПА, созданная по предложенной методике, оригинальна. Снижение объема ПЗУ для автоматов составляет 24"1 раз.

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

- модификация известного метода резервирования, основанная не только на дублировании А -подсистемы, но и на введении обратного преобразователя aa(t+l) —> a(t), что позволяет осуществить одновременно динамический контроль МПА и блокировку выдачи команд управления в случае неисправности или сбоя. Метод наиболее эффективен в комплексе с новой методикой синтеза МПА.

4. Разработан алгоритм моделирования новой структуры МПА на ПЭВМ с переложением на язык команд микроконтроллеров.

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

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

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

1. Абдикеев, Н.М. Производственные системы с искусственным интеллектом / Н.М. Абдикеев, Р.А. Алиев, М.М. Шахназаров. - М : Радио и связь, 1990. - 261 с.

2. Алыневский, Ю.А. Механизм обмена сообщениями для параллельно работающих автоматов / Ю.А. Алыпевский, М.Г. Раер, А А. Шалыто. — СПб. : СПбГТУ ИТМО, 2003. http:/is.ifino.ru/projects/turn

3. Амосов, В.В. Схемотехника и средства проектирования цифровых устройств /В.В. Амосов. СПб : БХВ - Петербург, 2007. - 542 с.

4. Антонов, А.П. Структурный синтез цифровых устройств / А.П. Антонов, В.Ф. Мелехин, Т.М. Митина. СПб. : Изд-во СПбГТУ, 1999. -88 с.

5. Анцупов, С.В. Контролирующие и диагностические процедуры на схемах алгоритмов / С.В. Анцупов, В.Н. Балакин, В.В. Барашенков // Автоматика и телемеханика, 1986. -№ 10. С.127 -134.

6. Астапчук, В. А. О проблемах оптимального построения распределенных информационных систем / В.А. Остапчук, А.А. Воевода, С.В. Коротков // Научн. вестн. НГТУ. — Новосибирск : Изд -во НГТУ, 1999. № 2 (7). - С. 177 - 178.

7. Ачасова, С.М. Алгоритмы синтеза автоматов на ПЛМ / М. : Сов. радио, 1987. 135 с.

8. Бадмаева, Т.С. Структурный синтез самоконтролируемых автоматов управления технологическими процессами: автореф. дис. . канд. тех. наук: защищена 25.09.2003 : утв. 5.12.2003 / Т.С. Бадмаева. Иркутск : ИрГУПС, 2003. - 16 с.

9. Байков, В.Д. Специализированные процессоры / В.Д. Байков, В.Б. Смолов. М. : Радио и связь, 1985. - 288 с.

10. Балакин, В.Н. Проектирование самопроверяемых управляющих устройств по тестопригодным схемам алгоритмов / В.Н. Балакин, В.В. Барашенков // Автоматика и телемеханика, 1988. № 11. - С. 161 - 168.

11. Балашов, Е.П. Информационные системы. Табличная обработка информации / Е.П. Балашов, В.Б. Смолов. JL: Энергоатомиздат, 1985. -179 с.

12. Баранов, С.И. Синтез автоматов на элементах с матричной структурой. С.И. Баранов, В.Н. Синев, Н.Я. Янцен // Проектирование функционально-ориентированных вычислительных систем. JI. : ЛГУ, 1990.-С. 90-108.

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

14. Баранов, С.И. Матричная реализация управляющих автоматов / С.И. Баранов, Н.Я. Янцен / Теория дискретных управляющих устройств. М.: Наука, 1982.-С. 57-65.

15. Барашенков, В.В. Контроль синтаксической корректности операторных схем алгоритмов / В.В. Барашенков, О.Г. Кокаев, А.А. Гужавин // Вычислительная техника, Л. : ЛГУ, 1977. вып 6. - С. 64 — 71.

16. Бибило, П.Н. Синтез дискретных управляющих систем на базе ПЛИС / П.Н. Бибило // Управляющие системы и машины. 1998. - ч.1 - № 2. -С.69-75, ч.2. - № 3. - С.48 - 58.

17. Бибило, П.Н. Синтез логических схем на VHDL / П.Н. Бибило. М. : СОЛОН-Р, 2002.

18. Борзов, Д.Б. Устройство для вычисления интенсивности взаимодействия алгоритмов в параллельных управляющих системах / Д.Б. Борзов, И.В.Зотов // Тр. научн. техн. конф. Управляющие и вычислительные системы, Вологда : Вол. ГТУ, 2000. С. 111-112.

19. Брага, Н.С. Создание роботов. (Mechatronics) / Н.С. Брага. М. : НТ Press, 2007. - 345 с.

20. Брауэр, В. Введение в теорию конечных автоматов / В. Брауэр. М. : Радио и связь, 1987. — 392 с.

21. Бродин, В.Б. Системы на микроконтроллерах и БИС программируемой логики / В.Б. Бродин, А.В. Калинин. М. : Эком, 2002.

22. Булычев, А.В. Противоаварийная автоматика энергосистем с упреждающими свойствами / А.В. Булычев, В.А. Гуляев, В.М Санько // Управляющие и вычислительные системы. — Вологда : Вол. ГТУ, 2000. — С. 75 76.

23. Вавилов, К.В. Организация взаимодействия локальных систем управления на основе автоматного подхода и функционального разделения автоматов управления. SIMATICS7-30(Siemens) / К.В. Вавилов . СПб : 2005. http://is.ifino.ru/progeny/s7300.pdf

24. Валиев, Ш.К. Способ построения и реализации асинхронных конечных автоматов / Ш.К. Валиев // Совершенствование и повышение надежности железнодорожных систем автоматики, телемеханики и связи. — Днепропетровск : ДнИИЖТ, 1985. С. 88 - 95.

25. Вальков, В.М. Микроэлектронные управляющие вычислительные комплексы (системное проектирование и конструирование) / В.М. Вальков. JI. : Машиностроение, 1990. — 234 с.

26. Варфоломеев, Е.П. Об одном методе построения бинарной программы, реализующей конечно-автоматный алгоритм / Е.П. Варфоломеев, B.C. Дудкин //Изв. ЛЭТИ. Л. : ЛЭТИ, 1981. - вып. 291. - С. 38-42.

27. Варшавский, В.И. Автоматное управление асинхронными процессами в ЭВМ и дискретных системах / В.И. Варшавский, М.А. Кишиневский, В.Б. Мараховский . М. : Наука, 1986. - 398 с.

28. Водяхо, А.И. Функционально-ориентированные процессоры / А.И. Водяхо, В.Б. Смолов, В.У. Плюснин, Д.В. Пузанков. JI. : Машиностроение, 1988. — 224 с.

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

30. Глушков, В.М. Автоматно-алгебраические аспекты оптимизации МПА / В.М. Глушков // Тр. межд. матем. Конгресса. М. : 1968. - С. 5355.

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

32. Гома, X. UML. Проектирование систем реального времени, параллельных и распределенных приложений / X. UML. Гома; пер. с англ. М.: ДМК Пресс, 2002. - 704 с.

33. Горбатов, А.В. Фундаментальные основы дискретной математики / А.В. Горбатов. М. : Наука - Физматлит, 2000. - 544 с.

34. Горбатов, А.В. Характеризационная теория синтеза функциональных декомпозиций в К- значных логиках / А.В. Горбатов. М. : Физматлитература, 2000. - 336 с.

35. Горбатов, А.В. Логическое управление распределенными системами /

36. A.В. Горбатов, М.И. Смирнов, И.С. Хлытчиев.- М.: Энергоатомиздат, 1991.-288 с.

37. Горяшко, А.П. Синтез диагностируемых систем вычислительных устройств/ А.П. Горяшко. М. : Наука, 1987. - 287 с.

38. Грамолин, В.В. Реализация комбинационных преобразований на БИС /

39. B.В. Грамолин, В.Г. Першев, М.И. Шамров. УСиМ, 1980. - № 6. - С. 30 -35.

40. Грушвицкий, Р. Проектирование систем на ПЛИС / Р. Грушвицкий, А. Мурсаев, Е. Угрюмов. СПб. : БХВ - Петербург, 2002. - 606 с.

41. Гурвиц, Е.А. Синтез полисинхронных дискретных устройств/ Е.А. Гурвиц. М.: Связь, 1969. - 172 с.

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

43. Дунаев, М.П. Экспертные системы для наладки электроприводов / М.П. Дунаев. Иркутск : ИрГТУ, 2004. - 132 с.

44. Закревский, А.Д. Параллельные алгоритмы логического управления /

45. A.Д. Заревский. М.: УРСС, 2003. - 200 с.

46. Закревский, А.Д. Анализ и синтез каскадных схем / А.Д. Закревский. -М.: Наука, 1981.-386 с.

47. Иыуду, К.А. Надежность, контроль и диагностика вычислительных машин и систем / К.А Иыуду. М. : Высшая школа, 1984. — 214 с.

48. Казак, А.Ф. Микропрограммные системы ЭВМ / А.Ф. Казак, О.Г. Кокаев, Г.А. Петров. Л. : ЛЭТИ, 1981. - 100 с.

49. Карпов, Ю.Г. Теория автоматов / Ю.Г. Карпов.- СПб.: Питер,2003-208 с.

50. Кирий, В.Г. Теория автоматов / В.Г. Кирий. — Иркутск: ИрГТУ, 2007. — 144 с.

51. Колесов, Ю.Б. Моделирование систем. Диагностические и гибридные системы / Ю.Б. Колесов, Ю.Б. Сениченков. СПб : БХВ - Петербург, 2006. - 220 с.

52. Комков, А.З. Алгоритмические модели резервирования микропроцессорных систем автоматики / А.З. Комков // Информационные системы контроля и управления в промышленности и на транспорте. Иркутск : ИрГУПС, 2006. - вып 13. - С. 142 - 148.

53. Костров, Б.В. Архитектура микропроцессорных систем / Б.В. Костров,

54. B.Н. Ручкин .- М : Диалог МИФИ, 2007. 300 с.

55. Кошкин, В.В. Основные способы наращивания матричных программируемых схем /В.В. Кошкин, JI.A. Шумилов // Изв. ЛЭТИ. Л.: ЛЭТИ, 1982. - вып. 314. - С. 60 - 66.

56. Краковский, Ю.М. Информационная безопасность и защита информации / Ю.М. Краковский. М. : Ростов-на-Дону, Март Т, 2008. -288 с.

57. Кузнецов, А.П. О программной реализации логических функций и автоматов / А.П. Кузнецов. Автоматика и телемеханика. 1977. - №4.

58. Кузнецов, Б.Ф. Электронные промышленные устройства / Б.Ф. Кузнецов. Ангарск : Анг. Гос. техн. академия, 2009. - 151 с.

59. Кузьмин, Е.В. Моделирование, спецификация и верификация «автоматных» программ / Е.В. Кузьмин //Программирование № 1, 2008.

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

61. Лагунов, И.А. Разработка текстового языка автоматного программирования и его реализация на основе автоматного подхода / И.А. Лагунов. СПб : СПбГУ ИТМО, 2008. http://is/ifino.ru/papers/fsml

62. Литиков, И.П. Кольцевое тестирование цифровых устройств / И.П. Литиков. -М : Энергоатомиздат, 1990. — 156 с.

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

64. Мордасов, Д.М. Пневматические элементы и узлы в устройствах контроля / Д.М. Мордасов, М.М. Мордасов, А.В. Трофимов. Тамбов : Тамб. ГТУ, 2001. - 88 с.

65. Музылева И. Элементная база для построения цифровых систем управления. М.: Техносфера, 2006. 173 с.

66. Муттер, В.М., Микропроцессорные кодеры и декодеры / В.М. Муттер, Г.А. Петров, В.И. Маринкин, B.C. Степанов. М. : Радио и связь, 1991. -184 с.

67. Мухопад, Ю.Ф. Теория дискретных устройств / Ю.Ф. Мухопад. — Иркутск: ИрГУПС, 2009. 162 с.

68. Мухопад, Ю.Ф. Синтез МПА с ассоциативной памятью / Ю.Ф,. Мухопад, П.А. Бабкин // Сб. Микропроцессорные системы контроля и управления, тр. Сибирск. научно-технич. конфер. Новосибирск: НЭТИ, Томск: ТИАСУР, 1992. С. 90-99.

69. Мухопад, Ю.Ф. Синтез автоматов управления по декомпозированной схеме алгоритма / Ю.Ф. Мухопад, Т.С.Бадмаева. // Сб. Информационные системы контроля и управления на транспорте. — Иркутск : ИрИИТ, 2002. -С. 14-25.

70. Мухопад, Ю.Ф. Микропроцессорные системы контроля ПЗУ / Ю.Ф. Мухопад, JI.O. Березков, Г.С. Скосырский. Иркутск : ИГУ,1984.- 114 с.

71. Мухопад, Ю.Ф. Перепрограммируемые матрицы пневматических систем программного управления / Ю.Ф. Мухопад, А.Ф. Бовкун // Автоматизированные системы контроля и управления на транспорте. — Иркутск : ИрИИТ, 1998. вып. 4. - С. 122 - 125.

72. Мухопад, Ю.Ф. Устройство поиска неисправных блоков и элементов / Ю.Ф. Мухопад, А.Н. Буинов, В.Л. Скибинский // А.с. СССР № 1418071. -БИ№ 31. 1988.

73. Мухопад, Ю.Ф., Микроэлектронные системы управления / Ю.Ф. Мухопад. Братск : БГУ, 2009. - 288 с.

74. Мухопад, Ю.Ф., Устройство для вычисления функции / Ю.Ф. Мухопад, В.М. Гардер // А.с. 696472. БИ№ 41.- 1979.

75. Мухопад, Ю.Ф. Цифровое устройство воспроизведения функций / Ю.Ф. Мухопад, В.М. Гардер // А.с. 579622. БИ. - 1979.

76. Мухопад, Ю.Ф. Адаптивный аналого-цифровой фильтр / Ю.Ф. Мухопад, Е.М. Кучина // А.С. 714408. БИ № 5. - 1980.

77. Мухопад, Ю.Ф. Функциональные преобразователи с ограниченным числом хранимых констант / Ю.Ф. Мухопад, В.М. Лукашенко // Сб. Управляющие системы и машины . 1978. - № 5.

78. Мухопад, Ю.Ф. Автоматическая оптимизация энергетических характеристик мостовых СВЧ-плазмотронов / Ю.Ф. Мухопад, В.А. Молодкин А.И. Федченко, В.В. Марусин // Изв. СО АН СССР, Секц. техн. Наук . 1975. - Вып 3. № 13.

79. Мухопад, Ю.Ф.Анализ и синтез информационно-управляющих систем / Ю.Ф. Мухопад // Сб. Информационные технологии и проблемы математического моделирования сложных систем. — Иркутск : ИрГУПС, 2007.-С. 33-46.

80. Мухопад, Ю.Ф. Микроэлектронные информационно-управляющие системы / Ю.Ф. Мухопад. Иркутск : ИрГУПС, 2004. - 404 с.

81. Мухопад, Ю.Ф. Программная матрица для пневматических систем дискретного действия / Ю.Ф. Мухопад, А.З. Комков, А.Ф. Бовкун // Патент РФ № 64792. БИ № 19. - 2007.

82. Мухопад, Ю.Ф. Программная матрица для пневматических систем управления дискретного действия / Ю.Ф. Мухопад, А.З. Комков // Патент РФ № 62717. БИ № 12. - 2007.

83. Мухопад, Ю.Ф. Специализированные вычислительные среды / Ю.Ф. Мухопад, В.К. Попков. Улан-Удэ: Бурятск. изд -во, 1982. - 183 с.

84. Мухопад, Ю.Ф. Гибридная вычислительная среда для решения экстремальных задач на графах / Ю.Ф. Мухопад, В.К. Попков, Д.Н. Чимитов . // Сб. Методы и программы решения оптимизационных задач на графах и сетях. Новосибирск : СО АН СССР, 1982. - ч. 1.

85. Мухопад, Ю.Ф., Проектирование специализированных микропроцессорных вычислителей / Ю.Ф. Мухопад. — Новосибирск : Наука, 1981.

86. Мухопад, Ю.Ф. . Автоматная интерпретация устройств контроля МПС / Ю.Ф. Мухопад, JI.M. Сербуленко // сб. Микропроцессорные системы контроля и управления, тр. Сибирск. научно-технич. конфер.-Новосибирск : НЭТИ, Томск ТИАСУР. 1992 - С. 41-49.

87. Мухопад, Ю.Ф. Устройство контроля микропроцессорной системы / Ю.Ф. Мухопад, JI.M. Сербуленко // Положит, решен. ВНИИГПЭ № 94033171/033292. сентябрь 1994.

88. Мухопад, Ю.Ф., Системная модель микропроцессорных устройств / Ю.Ф. Мухопад // Локальные вычислительные сети и распределенная обработка данных. Новосибирск : НЭТИ, 1991. - С. 63-71.

89. Мухопад, Ю.Ф. Системный анализ Машины Тьюринга / Ю.Ф. Мухопад // сб. Микропроцессорные системы. — Новосибирск : НЭТИ, 1990.

90. Мухопад, Ю.Ф. Формирователь временных последовательностей / Ю.Ф. Мухопад, Г.С. Скосырский, В.М. Репин и др. // А.с. № 991587 СССР.-БИ№3.- 1983.

91. Мухопад, Ю.Ф. Системный анализ постоянных запоминающих устройств / Ю.Ф. Мухопад, Г.С. Скосырский, Ю.Д. Чекмарев // сб. Микропроцессорные системы контроля и управления технологическими процессами. Улан-Удэ : 1989.

92. Мухопад, Ю.Ф. Вычислительное перестраиваемо устройство / Ю.Ф. Мухопад, В.Б. Смолов//А.с. №524187.- БИ№ 29.- 1977.

93. Мухопад, Ю.Ф. Использование системы геометрических кодов в ПЗУ / Ю.Ф. Мухопад, В.Б. Смолов, Ю.Д. Чекмарев // Изв. ВУЗов СССР. -Приборостроение, 1971. Т. 14 . - № 6

94. Мухопад, Ю.Ф., Цифровая фильтрация нестационарных сигналов. / Ю.Ф. Мухопад // Информационные системы контроля и управления на транспорте. Иркутск : ИрГУПС, 2004. - Вып. 11. - С. 152-156.

95. Нарышкин. Н.С. Цифровые устройства и микропроцессоры / Н.С. Нарышкин. М.: Академа, 2006. — 318 с.

96. Никищенков, С.А. Функциональная диагностика реконфигурируемых транспортных технологических систем по информационно-логическим схемам процессов/ С.А. Никищенков. Самара: СНЦ РАН, СамГАПС, 2005.- 159 с.

97. Новорусский, В.В. Основы теории систем и системы логического управления / В.В. Новорусский . Новосибирск: Наука, 1997. — 335 с.

98. Овечкин, В.В. Технологическая база интерфейсов локальных вычислительных сетей / В.В. Овечкин, И.И. Рыбкин. М.: Радио и связь, 1989.-271 с.

99. Огнев, И.В. Надежность запоминающих устройств / И.В. Огнев, К.Ф. Сарычев . М. : Радио и связь, 1988. - 221 с.

100. Ослендер, Д. Управляющие программы для механических систем. Объектно-ориентированное проектирование систем реального времени / Д. Ослендер, Д. Риджли, Д. Рингерберг. М : Бином. Лаборатория знаний, 2009, - 148с.

101. Пархоменко, П.П. Основы технической диагностики / П.П. Пархоменко, Е.С. Согомонян . М.: Энергоатомиздат, 1981. — 319 с.

102. Патенты РФ. Микропрограммное устройство управления 2042189, 93028404, 2018937, 2042190, 2042188, 2046396, 2046395, 2071112.

103. Потемкин, И.С. Функциональные узлы цифровой автоматики / И.С. Потемкин. М. : Энергоатомиздат, 1988. - 320с.

104. Палагин, А.В. Реализация МПА на ПЛИС / А.В. Палагин, А.А. Баркалов, С.И. Юсифов и др. УСиМ. - 1991. - № 8. - С. 18 - 22.

105. Петряков, А.В. Утечка и защита информации в телефонных каналах / А.В. Петряков, B.C. Лагутин. М. : Энергоиздат, 1998. — 315 с.

106. Перегудов, Ф.И. Введение в системный анализ / Ф.И. Перегудов, Ф.П. Тарасенко. М. : Высшая школа, 1989. - 363 с.

107. Плотников, А.В. Микропрограммное устройство управления / А.В. Плотников, А.А. Баркатов, К.Е. Стародубцев. УСиМ, 1987. - № 4. с. 38-41.

108. Поликарпова, Н.И. Автоматное программирование / Н. И. Поликарпова, А.А. Шалыто. СПб : «Питер», 2009. - 176 с.

109. Полякова, Л.Ф. Адаптирующийся решающий элемент в системах с мажоритарным принципом резервирования / Л.Ф. Полякова // Проектирование ЦВМ . Л.: ЛГУ, 1974. - Вып 1. - С. 83-91.

110. Постников, А.И. Основы теории цифровых автоматов / А.И. Постников. Красноярск : КрГТУ, 1999. - 251 с.

111. Пашков, Н.Н. Методы анализа и синтеза разрывных систем адаптивного управления технологическими процессами: автореф. дис. .докт .техн. наук : защищена 18.06.2009 : утв. 21.11.2009 / Н.Н. Пашков. -Иркутск: Изд-во ИрГУПС, 2009. -40 с.

112. Прищепа, Л.С. Устройство для контроля дешифраторов / Л.С. Прищепа, В.А. Илюшкин // Интеллектуальные системы в управлении, конструировании и образовании. — Томск : ТГУСУР, 2002. С. 160-163.

113. Пупырев, Е.И. Перестраиваемые автоматы и МПС /Е.И. Пупырев.- М.: Наука, 1984. 191 с.

114. Пустынский, И.Н. Адаптивные фотоэлектрические преобразователи с микропроцессорами / И.Н. Пустынский, B.C. Титов, Т.А. Шарабакина. -М.: Энергоатомиздат, 1990. 78 с.

115. Решетников, Е.О. Инструментальное средство для визуального проектирования автоматных программ на основе Microsoft Domain — Specific Language Tools. СПб: СПбГУ ИТМО, 2007. -http://is.ifmo.ru/papers/reshetnikovbachelor

116. Рыцар, Б.Е. Новый метод кодирования подфункций в задачах синтеза цифровых устройств на ПЛМ / Б.Е. Рыцар, А.Б. Кметь // Кибернетика и системный анализ, 2003. №2. - С. 63-89.

117. Савельев, А.Г. Минимизация числа внутренних состояний МПА, выполненного с использованием ПЗУ / А.Г. Савельев // Сб. Автоматы и управление. М. : Наука, Институт проблем передачи информации АН СССР, 1973.-С. 15-26.

118. Сагалович, Ю.Л. Кодирование состояний автомата. / Ю.Л. Сагалович // Теория дискретных управляющих устройств. М. : Наука, 1982. - С. 175 - 182.

119. Садреев, Т.А. Применеие специализированных микропроцессорных систем в энергетике / Т.А. Садреев, Р.Г. Хузяшев, А.В. Булычев и др. // Тр. межвуз. конф. «Управляющие и вычислительные системы». -Вологда, ВолГТУ, 2000. С. 62, 67-68, 73-76.

120. Самаль, Д.И. Метод синтеза произвольной логики на ПЛМ / Д.И. Самаль, В.В. Соловьев // Автоматика и вычислительная техника. — 1997.-№ 1.-С. 57-64.

121. Сапожников, В.В. Теория дискретных устройств ж.д. автоматики, телемеханики и связи / В.В. Сапожников, Вл.В. Сапожников. М.: Транспорт, 2001. - 307 с.

122. Синтез управляющих устройств в однородных средах. / ред В.И. Сифоров, М. : Наука, 1984. 166 с.

123. Скосырский, Г.С. Устройство функционального контроля блоков памяти / Г.С. Скосырский, Ю.Ф. Мухопад. А.С. СССР № 1547034, БИ № 8, 1990.

124. Скосырский, Г.С. Особенности параметрического и функционального контроля БИС ПЗУ с плавающим затвором / Г.С. Скосырский // Проектирование специализированных вычислителей и управляющих систем. Иркутск : ИГУ, 1984. - С. 76-82.

125. Смагин, А.А. Сжатие информации в табличных структурах / А.А. Смагин. Саратов: Сар. Ун-т, 1985. — 124 с.

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

127. Соловьев, В.В. Логическое проектирование цифровых систем на основе ПЛИС / В.В. Соловьев, A.M. Климович // Горячая линия -Телеком, 2008. 374 с.

128. Стародубцев, Н.А. Синтез схем управления параллельных вычислительных систем / Н.А. Стародубцев. Л. : Наука, 1984. — 320 с.

129. Стешенко, В.Б. ПЛИС фирмы Altera: Проектирование устройств обработки сигналов / В.Б. Стешенко. М. : Додэка, 2000. - 124 с.

130. Тимофеев, А.О. Проектирование автомата управления с предельным быстродействием / А.О. Тимофеев, Л.Г. Теницкий // Изв. ЛЭТИ. — Л .: ЛЭТИ, 1981.- Вып 291.-С. 47-51.

131. Тоценко, В.Г, Алгоритмы технического диагностирования дискретных устройств / В.Г. Тоценко. М.: Радио и связь, 1985. — 238 с.

132. Угрюмов, Е.П. Проектирование элементов и узлов ЭВМ / Е.П. Угрюмов. М. : Высшая школа, 1987. - 318 с.

133. Уилмсхерст, Т. Разработка встроенных систем с помощью микроконтроллеров PIC / Т. Уилмсхерст. М. : «МК-Пресс», 2008.- 543 с.

134. Феоктистов, В.П. Техническое диагностирование транспортных средств / В.П. Феоктистов, И.К. Лакин // Транспорт: Наука, техника, управление, 1997. № 11. - С. 5 - 19.

135. Хопкрофт, Д. Введение в теорию автоматов, языков и вычислений / Д. Хопкрофт, Р. Мотвани, Д. Ульман.- М : Вильяме, 2002. 288 с.

136. Харлан, С.Н. Моделирование работы устройств автоматики средствами теории автоматов / С.Н. Харлан // Сб. Белоруск. Гос. ун-та. — Гомель : 1995.-С. 102- 133.

137. Чирков, М.К. Основы общей теории конечных автоматов / М.К. Чирков. Л. : ЛГУ, 1975. - 279 с.

138. Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации алгоритмов. — СПб. : Наука, 2000. 312 с.

139. Шевкопляс, Б.В. Микропроцессорные структуры / Б.В. Шевкопляс. -М.: Радио и связь, 1986. 264 с.

140. Щербаков, Н.С. Достоверность работы цифровых устройств / Н.С. Щербаков. М. : Машиностроение, 1989. - 224 с.

141. Шишкин, Г.И. Обеспечение помехоустойчивости цифровых систем / Г.И. Шишкин. Саров.: ФГУП «РФЯЦ-ВНИИЭФ, 2004. -ч 1.-435 с.

142. Шнайер, Б. Практическая криптография / Б. Шнайер, Н. Ферпоссон. -М.: Диалектика, 200. 412 с.

143. Шрейдер, Ю.А. Системы и модели / Ю.А. Шрейдер, А.А. Шаров. М.: Радио и связь, 1982. - 152 с.1. Работы автора:

144. Мухопад, Ю.Ф. Встроенный контроль в автоматах управления / Ю.Ф. Мухопад, А.Ю. Мухопад, Т.С. Бадмаева // Вестник ИрГТУ. №2, 2006. -С. 148-150.

145. Мухопад, А.Ю. Динамический контроль автоматов / А.Ю. Мухопад. — Новосибирск : Изв. НГТУ. № 3. - 2008. - С. 55 - 58.

146. Мухопад, А.Ю. Метод синтеза сложных автоматов / А.Ю. Мухопад, Ю.Ф. Мухопад. Новосибирск : Изв. НГТУ, 2009. - Вып. 1. - С. 212 -214.

147. Мухопад, Ю.Ф. Самоконтролируемый автомат управления / Ю.Ф. Мухопад, А.Ю. Мухопад, Т.С. Бадмаева // Патент РФ на полезную модель № 63588. БИ№ 15, 2007.

148. Мухопад, Ю.Ф. Устройство криптографической защиты информации / Ю.Ф. Мухопад, А.Ю. Мухопад, Т.Б. Агафонов // Патент РФ на полезную модель № 82974. -БИ№ 13, 2009.

149. Мухопад, Ю.Ф. Устройство криптографической защиты информации / Ю.Ф. Мухопад, А.Ю. Мухопад, Б.Н. Антошкин // Патент РФ на полезную модель № 82889. -БИ № 13, 2009.

150. Мухопад, А.Ю. Устройство криптографической защиты информации / А.Ю. Мухопад, Ю.Ф. Мухопад // Патент РФ на полезную модель № 82890. -БИ№ 13,2009.

151. Мухопад, А.Ю. Микропрограммный автомат / А.Ю. Мухопад, Ю.Ф. Мухопад // Патент РФ на полезную модель № 82888. БИ № 13, 2008.

152. Мухопад, А.Ю. Структурная организация управляющих устройств мехатронных систем / А.Ю. Мухопад, Ю.Ф. Мухопад // Тр. III Межд. конф. «Проблемы механики современных машин». Улан-Удэ : ВСГТУ, 2006.-С. 259-262.

153. Мухопад, А.Ю. Структурная организация программной модели сложных автоматов управления мехатроникой / А.Ю. Мухопад // Тр. IV Международной конференции «Проблемы механики современных машин». Улан-Удэ: ВСГТУ, 2009. - том 3. - С. 88 - 94.

154. Мухопад, А.Ю. Структурная организация программной модели сложных автоматов систем реального времени / А.Ю. Мухопад //

155. Тр. XXII Международной конференции «Математические методы в технике и технологиях». Псков: 111Щ, 2009. - ч. 2. — С. 70-71.

156. Мухопад, А.Ю. Метод синтеза сложных автоматов / А.Ю. Мухопад, Ю.Ф. Мухопад // Тр. XIV Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении». Иркутск: ИСЭМ СО РАН, 2009. - том 1. - С.157 - 163.

157. Мухопад, Ю.Ф. Защита информации в информационно-управляющих системах реального времени / Ю.Ф. Мухопад, А.Ю. Мухопад // Тр. VIII междун. конф. «Системный анализ в проектировании и управлении» СПб.: 2009, часть 2. С. 209 - 211.

158. Мухопад, А.Ю. Статистическая обработка данных о нестационарных процессах / А.Ю. Мухопад, Ю.Ф. Мухопад // сб. Асимптотические методы в задачах проектирования летательных аппаратов. — Иркутск: ИрГТУ, 1996.-С. 45-47.

159. Кучина, Е.М. Метод анализа дефектограмм цилиндрических оболочек / Е.М. Кучина, А.Ю. Мухопад // Ст. Информационные системы контроля и управления на транспорте. Иркутск : ИрГУПС, 2002. - Вып 10. - С. 149-152.

160. Мухопад, Ю.Ф. Комбинаторно-нейронные сети / Ю.Ф. Мухопад, А.Ю. Мухопад // Сб. Информационные системы контроля и управления на транспорте. Иркутск: ИрГУПС, 2000. - Вып. 8. - С. 54 - 62.

161. Мухопад, Ю.Ф. Один из методов кодирования информации в микропроцессорных системах / Ю.Ф. Мухопад, А.Ю. Мухопад // Сб. Информационные технологии и проблемы математического моделирования сложных систем. Иркутск : ИрГУПС, 2006. — С. 54 — 58

162. Мухопад, А.Ю. Таблично-алгоритмический кодер / А.Ю. Мухопад, Ю.Ф. Мухопад, Т.Б. Агафонов // Информационные системы контроля и управления на транспорте. Иркутск: ИрГУПС, 2002. — Вып. 10. — С. 171 - 175.

163. Мухопад Ю.Ф. Контроль и диагностика автоматов управления /Ю.Ф. Мухопад, А.Ю. Мухопад, Т.С. Бадмаева // Системный анализ. Моделирование. Новые технологии. Иркутск : ИрГУПС, 2005. - Вып. 5.- С. 78-81.

164. Мухопад, А.Ю. Структурная организация автоматов с контролем / А.Ю. Мухопад // Сб. Информационные системы контроля и управления на транспорте. Иркутск: ИрГУПС, 2005. - Вып. 13. - С. 75 - 78.

165. Мухопад, Ю.Ф. Структурная организация самоконтролируемых автоматов / Ю.Ф. Мухопад, А.Ю. Мухопад, Т.С. Бадмаева //Современные технологии. Системный анализ. Моделирование.- ISSN 1813-9108.- 2005.-№1.- С. 81-85.

166. Мухопад, А.Ю. Динамический контроль микропрограммных автоматов/ А.Ю. Мухопад // Информационные системы контроля и управления в промышленности и на транспорте. Иркутск: ИрГУПС, 2009.-Вып. 16. - С.78 - 82.

167. Мухопад, Ю.Ф. Организация средств управления микроэлектронными техническими системами / Ю.Ф. Мухопад, А.Ю.Мухопад // Современные проблемы науки и образования . № 6, 2009. - С.30 - 31.

168. Мухопад, А.Ю. Моделирование сложных автоматов информационно-управляющих систем / А.Ю. Мухопад // в кн. Ю.Ф.Мухопада « Теория дискретных устройств». — Иркутск : ИрГУПС, 2009. С. 146 - 142.

169. Мухопад, А.Ю. Минимизация кодового представления переходов в сложных автоматах / А.Ю. Мухопад, Ю.Ф. Мухопад // в кн. Ю.Ф. Мухопада «Микроэлектронные автоматы управления». Братск : БГУ, 2009.-С. 151 - 155.

170. Mukhopad, Yr. F. Microelectronic controlling of realtime complicated technical systems / Yr. Mukhopad, A.Yr. Mukhopad//International journal of applied and fundamental research (JSSN 1996- 3955). № 2, 2009. - p. 26 -29.

171. Мухопад А.Ю. Контроль функционирования автоматов управления / А.Ю. Мухопад, Ю.Ф. Мухопад // в кн. Ю.Ф. Мухопада «Микроэлектронные системы управления» Братск : БГУ, 2009. С. 166 — 170.

172. Хомяков, Г.К. Медицинский прибор Мультимед / Г.К. Хомяков, Ю.Ф. Мухопад, Г.П. Патрушев, А.Ю. Мухопад // Заявка на полезную модель. -2010

173. Агафонов, Т.Б. Динамически модифицируемые матрицы для кодирования информации / Т.Б. Агафонов, Ю.Ф. Мухопад, А.Ю. Мухопад // Сб. Информационные системы контроля и управления на транспорте. Иркутск : ИрГУПС, 2001. - Вып 9. - С. 159 - 161.

174. Агафонов, Т.Б. Динамически модифицируемые матрицы для кодирования информации / Т.Б. Агафонов, Ю.Ф. Мухопад, А.Ю. Мухопад // Сб. Информационные системы контроля и управления на транспорте. Иркутск : ИрГУПС, 2001. - Вып. 9. - С.159 - 161.

175. Полетаев, А.Ф. Программа моделирования автоматов управления / А.Ф. Полетаев, А.Ю. Мухопад // Заявка на получение свидетельства об официальной регистрации программы для ЭВМ. — 2010.1.