Структурная организация самоконтролируемых автоматов для систем реального времени

Структурная организация самоконтролируемых автоматов для систем реального времени

Автор: Мухопад Юрий Федорович, Мухопад Александр Юрьевич

Журнал: Проблемы информатики @problem-info

Рубрика: Теоретическая информатика

Статья в выпуске: 1 (18), 2013 года.

Бесплатный доступ

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

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

Короткий адрес: https://sciup.org/14320190

IDR: 14320190

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

  • Глушков В. М. Автоматно-алгебраические аспекты оптимизации микропрограммных авто­матов//Тр. Междунар. конгр. математиков. М.: АН СССР, 1968. С. 53-55.
  • Мухопад Ю. Ф. Теория дискретных устройств. Иркутск: ИрГУПС, 2010.
  • Мухопад Ю. Ф. Проектирование специализированных микропроцессорных вычислителей. Новосибирск: Наука. Сиб. отд-ние, 1981.
  • Информационные системы. Табличная обработка информации. Л.: Энергоатомиздат. Ле­нингр. отд-ние, 1985.
  • Пат. РФ МКИ G11B20/20, 20/12. Устройство криптографической защиты информации/Ю. Ф. Мухопад, А. Ю. Мухопад, Б. Н. Антошкин. № 82889; 2009. Бюл. № 13.
  • Renji Tao. Finita automata and application to cryptography. Beijing: Inst. of Software, 2007.
  • Поликарпова Н. Автоматное программирование/Н. Поликарпова, А. А. Шалыто. СПб.: Питер, 2009.
  • Соловьев В. В. Логическое проектирование цифровых систем на основе ПЛИС/В. В. Со­ловьев, А. Климович. М.: Горячая линия -Телеком, 2008.
  • Мухопад А. Ю. Структурный синтез автоматов управления системами обработки инфор­мации реального времени: Автореф. дис.... канд. техн. наук. Братск: БрГУ, 2009.
  • Воевода А. А., Романников Д. О. Использование UML и временных сетей Петри при разработке программного обеспечения//Сб. науч. тр. НГТУ. 2010. № 3. С. 61-70.
  • Горбатов В. А. Теория автоматов/В. А. Горбатов, А. В. Горбатов, М. В. Горбатова. М.: АСТ “Астрель”, 2008.
  • Ачасова С. М. Алгоритмы синтеза автоматов на ПЛМ. М.: Сов. радио, 1987.
  • Закревский А. Д. Анализ и синтез каскадных схем. М.: Наука, 1981.
  • Мухопад Ю. Ф. Микроэлектронные системы управления. Братск: БрГУ, 2009.
  • Баранов С. И., Синев В. Н., Янцен Н. Я. Синтез автоматов на элементах с матрич­ной структурой//Проектирование функционально-ориентированных вычислительных систем. Л.: Изд-во ЛГУ, 1990. С. 90-108.
  • Cook G., Anderson D., Metze G. Design of totally self cheek circuits for m-out-ofn codes//IEEE Trans. 1973. V. 22, N 3. P. 255-263.
  • Сапожников В. В. Теория дискретных устройств ж. д. автоматики, телемеханики и связи/В. В. Сапожников, Вл. В. Сапожников, Ю. М. Кравцов. М.: Транспорт, 2001.
  • Рыцар Б. Е., Кметь А. Б. Новый метод кодирования подфункций в задачах синтеза цифровых устройств на ПЛМ//Кибернетика и систем. анализ. 2003. № 2. С. 63-89.
  • Бадмаева Т. С., Деканова Н. П., Мухопад Ю. Ф. Синтез самоконтролируемой систе­мы управления электроавтоматикой//Математические и информационные технологии в энерге­тике, экономике, экологии. Иркутск: СЭИ СО РАН, 2003. Ч. 1. С. 88-92.
  • Пат. РФ МКИ G06F9/00(2006.01). Микропрограммный автомат/А.Ю.Мухопад, Ю. Ф. Мухопад. № 82888; 2006. Бюл. № 13.
  • Mukhopad Yr. F., Mukhopad А. Yr. Microelectronic controlling of realtime complicated technical systems//Intern. J. Appl. Fund. Res. 2009. N 2. P. 26-29.
  • Закревский А.Д. Метод синтеза функционально устойчивых автоматов//Докл.АНСССР. 1969. № 4. С.381-386.
  • Hamming R. W. Error detecting and error correcting codes//Bell System Tech. 1950. V. 29, N 2. P. 147-160.
  • Согомонян Е. С. Самопроверяемые устройства и отказоустойчивые системы/Е. С. Со­гомонян, Е. В. Слабаков. М.: Радио и связь, 1989.
  • Францис Т. А. Избыточность в электронных дискретных устройствах/Т. А. Францис, Г. Ф. Янбых. Л.: Энергия, 1969.
  • Щербаков Н. С. Структурная теория аппаратного контроля цифровых автоматов/Н. С. Щербаков, Б. П. Подкопаев. М.: Машиностроение, 1982.
  • Тоценко В. Г. Алгоритмы технического диагностирования дискретных устройств. М.: Ра­дио и связь, 1985.
  • Францис Т. А., Бузинаускене Е. Н. Нижняя оценка выигрыша надежности при ис­пользовании кодов Хемминга в комбинационных автоматах//Вопросы надежности дискретных автоматов. Рига: Зинатне, 1970. С. 3-16.
  • Гаврилов М. А. Структурная избыточность и надежность работы релейных устройств//Тр. 1-го Междунар. конгр. Междунар. федерации по автомат. управлению. М.: Изд-во АН СССР, 1967. Т. 3. С.105-112.
  • Toma Y., Ohаyama J., Sakaj R. Realization on fail-sale sequential machines by using a k-out-of-N code//IEEE Trans. Comput. C-22, 1971. N 11. P.22-27.
  • Валиев Ш. К. Способ построения и реализации асинхронных конечных автоматов//Со­вершенствование и повышение надежности железнодорожных систем автоматики и связи. Днепро­петровск: ДнИИЖТ, 1985. С. 88-95.
  • Балакин В. Н., Барашенков В. В., Усачев Ю. Е. Синтез устройства диагностирования по схемам алгоритмов управления//Автоматика и телемеханика. 1984. № 6. С. 138-144.
  • А. с. СССР МКИ G11C11/00(2006.01). Устройство для контроля блоков управления/В. Н. Балакин, В. В. Барашенков, А. Ф. Казак, С. А. Никищенков. № 1365986; 1988. Бюл. № 1.
  • Никищенков С. А. Функциональная диагностика реконфигурируемых транспортных тех­нологических систем по информационно-логическим схемам процессов. Самара: СНЦ РАН: Сам­ГАПС, 2005.
  • Буинов А. Н. Построение управляющих автоматов с безошибочным поведением//Про­ектирование специализированных вычислителей и управляющих устройств. Иркутск: ИГУ, 1984. С. 3-9.
  • Сапожников В. В. Самодвойственные дискретные устройства/В. В. Сапожников, Вл. В. Сапожников, М. Гессель. СПб.: Энергоатомиздат. С.-Петерб. отд-ние, 2001.
  • Смолов В. Б., Чекмарев Ю. Д., Мухопад Ю. Ф. Использование системы геометриче­ских кодов в ПЗУ//Изв. вузов. Сер. Приборостроение. 1971. Т. 14, № 6. С. 73-79.
  • А. с. СССР МКИ G05B19/045. Постоянное запоминающее устройство с контролем/Ю. Ф. Мухопад, Ю. Д. Чекмарев. №1410101. 1988. Бюл. № 26.
  • Пат. РФ МКИD11C11/00(2006.01).Самоконтролируемый автомат управления/Ю. Ф. Му­хопад, А. Ю. Мухопад, Т. С. Бадмаева. № 63588; 2007. Бюл. № 15.
  • Мухопад Ю. Ф., Сербуленко Л. М. Автоматная интерпретация устройств контроля микропроцессорных систем//Микропроцессорные системы контроля и управления: Тр. Сиб. науч.­техн. конф., Новосибирск, 10-11 сент. 1992 г. Новосибирск: НЭТИ, 1992. С. 41-49.
  • Новик К. В. Сеть автоматов для моделирования асинхронного взаимодействия процессов: Автореф.... дис. канд. физ.-мат. наук. М.: Изд-во МГУ, 2005.
  • Вильнер П. Ю. Метод диагностирования отказов сложных технических систем с ис­пользованием сетей Петри//Информационные и математические технологии в науке, технике и образовании: Тр. 10-й Байкал. Всерос. конф., Иркутск, 10-14июля 2005г. Иркутск: ИСЭМ СОРАН, 2005. Ч. 1. С. 239-335.
  • Труды по теории синтеза и диагноза конечных автоматов и релейных устройств СПб.: СПБ ГУПС: Элмор, 2009.
  • Мухопад Ю. Ф., Мухопад А. Ю. Методы синтеза автоматов управления на больших интегральных схемах//Пробл. информатики. 2011. № 4. С. 17-28.
Еще
Статья научная
QR-код для установки приложения SciUp Наведите камеру и скачайте бесплатное приложение SciUp