Функциональное восстановление автоматов-перечислителей с обобщенными временными характеристиками линейного типа
Диссертация
Разработка метода восстановления поведения системы, основанного на синтезе универсального автомата Медведева А1 типа (О,/^) Для заданного семейства КДА Медведева At, г el типов ^0,/^) по известным временным характеристикам автоматов Д- — разработка метода восстановления поведения сложной системы, моделируемой семейством {At }ieI автоматов Медведева типа (0,1), на основе использования… Читать ещё >
Содержание
- 1. Исследование специфики функционирования автоматов Медведева с
- I. обобщенными временными характеристиками
- 1. 1. Основные понятия и определения
- 1. 2. Автоматы с обобщенными временными характеристиками и их функционирование
- 1. 3. Применение представляющих автоматов для решения задачи ФВП систем, моделируемых автоматами с обобщенными временными характеристиками
- 1. 4. Основные результаты раздела
- 2. Восстановление поведения системы, моделируемой КДА Медведева произвольного временного типа, на основе анализа универсального автомата с обобщенными временными характеристиками
- 2. 1. Анализ универсального автомата с обобщенными временными характеристиками
- 2. 2. ФВП системы, моделируемой КДА Медведева типа (0,t2), при изменении начального порядка расположения состояний автомата
- 2. 3. Основные результаты раздела
- 3. Восстановление поведения системы, моделируемой семейством автоматов произвольных временных типов, на основе синтеза универсального автомата
- 3. 1. Синтез универсального автомата с обобщенными временными характеристиками для семейства автоматов произвольных временных типов
- 3. 2. Восстановление поведения системы, моделируемой семейством {Aj}j6i автоматов Медведева типа (0,1)
- 3. 3. Основные результаты раздела
Список литературы
- Айзерман М.А. и др. Логика. Автоматы. Алгоритмы. -М.: Физматгиз, 1963.- 140 с.
- Арбиб М. Алгебраическая теория автоматов, языков и полугрупп. -М.: Статистика, 1975.-335 с.
- Баранов С.И. Синтез микропрограммных автоматов. -Л.: «Энергия», 1979. -232 с.
- Барздинь Я.М., КалниношЯ.Я. Универсальный автомат с переменной структурой// Автоматика и вычислительная техника. -1974, № 2. С. 9−18.
- Богомолов A.M., Барашко А. С., Грунский И. С. Эксперименты с автоматами. -Киев: Наукова думка, 1973. -144 с.
- Богомолов A.M., Грунский И. С., Сперанский Д. В. Контроль и преобразование дискретных автоматов. -Киев: Наукова Думка, 1975. -174 с.
- Богомолов A.M., Салий В. Н. Алгебраические основы теории дискретных систем. -М.: Наука, 1997. -368 с.
- Богомолов A.M., Сперанский Д. В. Аналитические методы в задачах контроля и анализа дискретных устройств. Саратов: Изд-во Сарат. ун-та, 1986.-240 с.
- Богомолов A.M., Сытник А. А. Универсальные конечные автоматы// Доклад АН СССР, 1987. —Т.294. -№ 3. -С. 525−528.
- Богомолов A.M., Сытник А. А., Твердохлебов В. А. Автоматные модели и рекурсивный конструктивизм. Саратов: Изд-во Сарат. ун-та, 1992. -76 с.
- Богомолов A.M., Твердохлебов В. А. Целенаправленное поведение автоматов. -Киев: Наукова думка, 1975. -123 с.
- БрауэрВ. Введение в теорию конечных автоматов/ Пер. с англ. Под ред. Журавлева Ю. И. -М.: Радио и связь, 1987. -392 с.
- Буевич В.А. Построение универсальной о.— д. функции с двумя переменными// Проблемы кибернетики. -1965, № 15. -С. 249−252.
- Булева алгебра и конечные автоматы/ Под ред. д-ра техн. наук Пархоменко П. П. -М.: Мир, 1969. -294 с. f 16. Вагарина Н. С., СытникА.А. Задача восстановления поведения в классесистем без потери информации//Искусственный интеллект. -2004, № 4 -С. 100−107.
- ВагаринаН.С., СытникА.А. Полугрупповые методы при синтезе универсальных автоматов- перечислителей// Теоретические проблемы информатики и ее приложений: Сб. науч. тр. -Саратов: Изд-во Сарат. ун-та, 2004.-Вып. 6.-С. 53−61.
- Варшавский В.И. Коллективное поведение автоматов. М.: Наука, 1973. -408 с.
- ВахлаеваК.П. Подход к решению обратных задач для автоматныхфункций// Социально-экономическое развитие России. Проблемы, поиски, решения: Сб. науч. тр. по итогам НИР СГСЭУ в 2003 году. -Саратов: Изд. центр СГСЭУ, 2004. -4.2. -С. 82−84.
- ВахлаеваК.П. Автоматное моделирование многозадачных (систем// Теоретические проблемы информатики и ее приложений: Сб. науч.тр. -Саратов: Изд-во Сарат. ун-та, 2003. -Вып. 5. -С. 47−59.
- Вахлаева К.П. Применение управляющих функций для настройки системы автоматов на заданное поведение, в перечислительной форме// Теоретические проблемы информатики и ее приложений: Сб. науч. тр. -Саратов: Изд-во Сарат. ун-та, 2004. -Вып. 6. -С. 61−67.
- Ведешенков В.А. Организация самодиагностирования технического состояния цифровых систем// Автоматика и телемеханика. —2003, № 11. — С. 165−183.
- Гилл А. Введение в теорию автоматов/ Пер. с англ. Дауровой А. Т. и др. Под ред. Пархоменко П. П. -М.: Наука, 1966. -272 с.
- Глушков В.М. Синтез цифровых автоматов. -М.: Физматгиз, 1962. -476 с.
- Дискретная математика и математические вопросы кибернетики/ Под общей ред. Яблонского С. В. и ЛупановаО.Б. -М.: Наука, 1974. -Т. 1. -311 с.
- Евреинов Э.В., Прангишвили И. В. Цифровые автоматы с настраиваемой структурой. -М.: Энергия, 1974. -240 с.
- Какубава Р.В., Хуродзе Р. А. Вероятностный анализ производительности технических систем со структурной и временнойизбыточностью// Автоматика и телемеханика. -2004, № 5. -С. 154−166.
- Каравай М.Ф. Математические основы отказоустойчивости//Методы и системы технической диагностики: Материалы VII Всесоюз. совещания по технической диагностике и отказоустойчивости. -Саратов: Изд-во Сарат. ун-та, 1990. -Вып. 14. -4.1. -С. 3−7.
- Каравай М.Ф. Минимизированное вложение произвольных гамильтоновых графов в отказоустойчивый граф и реконфигурация при отказах// Автоматика и телемеханика. -2004, № 12. -С. 159−178.
- Кобринский Н.Е., Трахтенброт Б. А. Введение в теорию конечных автоматов. —М.: Физматгиз, 1962. -404 с.
- Кудрявцев В.Б., Алешин С. В., Подколзин А. С. Введение в теорию автоматов. -М.: Наука, 1985. -319 с.
- Левин В.И. Математическое моделирование систем с помощью динамических автоматов// Информационные технологии. —1997, № 9.
- Мамедли Э.М., Соболев Н. А. Метод обеспечения отказоустойчивости в резервированных управляющих вычислительных системах// Автоматика и телемеханика. -2000, № 2. -С. 172−183.
- Мелихов А.Н. Ориентированные графы и конечные автоматы. -М.: Наука, 1971. —416 с.
- Многофункциональные автоматы и элементная база цифровых ЭВМ/ Под ред. Мищенко В. А. -М.: Радио и связь, 1981. -240 с.
- Моисеев Н.Н. Математические задачи системного анализа. -М.: Наука, 1981. —488 с.
- Нейман Дж. Теория самовоспроизводящихся автоматов. -М.: Мир, 1971. — 382 с.
- Основы технической диагностики/ Под ред. Пархоменко П. П. -М.: Энергия, 1976. -4.1. -464 с.
- Пархоменко П.П. О технической диагностике. -М.: Знание, 1969. -64 с.
- Пархоменко П.П., Согомонян Е. С. Основы технической диагностики:оптимизация алгоритмов диагностирования, аппаратурные средства. —М.: Энергоиздат, 1981.-320 с.
- Сперанский Д.В. О тестировании линейных автоматов// Автоматика и телемеханика. -2000, № 5. -С. 157−166.
- Спивак М.А. Введение в абстрактную теорию автоматов. -Саратов: Изд-во Сарат. ун-та, 1970. -109 с.
- Сытник А.А. Восстановление поведения дискретных систем//Методы и системы технической диагностики: Материалы VII Всесоюз. совещания по технической диагностике и отказоустойчивости. -Саратов: Изд-во Сарат. ун-та, 1990.-Вып. 14.-4.1.-С. 149−151.
- Сытник А.А. Восстановление поведения сложных систем. -Саратов: Изд-во Сарат. ун-та, 1992. -192 с.
- Сытник А.А. Методы и модели восстановления поведения автоматов// t Автоматика и телемеханика. -1992, № 11. -С. 149−159.
- Сытник А.А., Вахлаева К. П. Об использовании автоматных моделей при построении отказоустойчивых вычислительных систем// Электронное моделирование. -2004. -Т. 26, № 3. -С. 51−64.
- СытникА.А., ПосохинаН.И. Об одном подходе к восстановлению поведения конечных детерминированных автоматов// Известия РАЕН, серия МММИУ. -1999. -Т. 3, № 1. -С. 91−99.
- СытникА.А., ШульгаТ.Э. Числовые методы функционального * восстановления поведения систем// Автоматика и телемеханика. -2003,10.-С. 123−140.
- Таирбеков Ч.Б.о. Автоматы с обобщенными временными характеристиками как перечислители// Теоретические проблемы информатики и ее приложений: Сб. науч. тр. -Саратов: Изд-во Гос. УНЦ «Колледж», 1999. -Вып.З.-С. 115−118.
- Твердохлебов В.А. Аксиоматический подход к диагностированию систем в целом//Математические модели поведения: Межвуз. науч. сб. -Саратов: Изд-во Сарат. ун-та, 1981. -Вып. 5. -С. 105−113.
- Твердохлебов В.А. Логические эксперименты с автоматами. -Саратов: Изд-во Сарат. ун-та, 1988. -184 с.
- Твердохлебов В.А. Построение тестов для автоматов с произвольными временными характеристиками// Микропроцессорная техника, техническаядиагностика и структура систем управления. -Саратов: Изд-во Сарат. ун-та, 1987.-С. 11−17.
- Трахтенброт Б.А., БарздиньЯ.М. Конечные автоматы. Поведение и синтез. -М.: Наука, 1970. -400 с.
- Чирков М.К. Основы общей теории конечных автоматов. -JL: Изд-во Ленингр. ун-та, 1975. -280 с.
- Яблонский С.В. Введение в дискретную математику. -М.: Наука, 1979. — 319 с.