Горяйнова Анастасия Вячеславовна

Библиотека материалов по теме выпускной работы

Тематические статьи

1. Обратимые конечные автоматы и условия вложения полугруппы в группу

   Авторы:Н.И. Крайнюков

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

   Источник: Вектор науки ТГУ. № 3(13), 2010 УДК 004.421:004.912 управление, вычислительная техника и информатика.

2. Об одном типе локальных перобразований конечного автомата

   Авторы:Е.И. Бурлаева, О.М. Копытова

   Описание: Рассматривается специальная операция на дугах конечного автомата – переброска дуг. Автоматы, которые можно описать как результат переброски группы дуг в некотором автомате-эталоне, могут рассматриваться как его неисправности. Приводятся примеры, когда в результате переброски автомат не изменяет своего поведения, оставаясь изоморфными исходному автомату. Исследуется циклическая структура таких автоматов.

   Источник: Материалы IV всеукраинской научно-технической конфиренции студентов, аспирантов и молодых ученых Информационные управляющие системы и компьютерный мониторинг (ИУС КМ 2013) (24.04-25.04.2013). Донецк: ДонНТУ. – 2013. – С. 479-484.

3. О структуре автоматов, сохраняющих поведение при переброске дуг

   Авторы: О.М. Копытова

   Описание: Описаны структура автомата и условия переброски дуг, при которых поведение неисправного автомата остается эквивалентным поведению эталона.

   Источник: Труды VIII Международной конференции «Дискретные модели в теории управляющих систем» (Москва, 6-9 апреля 2009 г.). М.: Макс-Пресс. – 2009. – С. 155-159.

4. Контроль автомата при локальных перебросках дуг

   Авторы: О.М. Копытова

   Описание: Рассматриваются контрольные эксперименты с автоматами относительно таких классов неисправностей, для которых всякий обход по дугам автомата-эталона либо является контрольным экспериментом этого автомата, либо может быть достроен до него приписыванием к обходу произвольного вход-выходного слова длины, не превосходящей некоторой константы m, определяемой классом и эталоном.

   Источник: Материалы V международной научно-практической конференции Новости научной мысли. Чехия. – 2009. – С. 143-147.

5. О сложности кратных диагностических экспериментов для подмножеств состояний автомата

   Авторы: Д.В. Уваров

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

   Источник: Журнал Интеллектуальные системы. – 2005. – Т. 9, № 3. – С. 485-503.

6. Умови збереження поведінки автомата при двох перекидах дуг

   Авторы: О.М. Копытова

   Описание: Изучается задача определения, когда один из графов (автомат) может быть получен из другого некоторой последовательностью перебросок дуг. Доказано, что в отличие от переброски одной дуги переброска уже двух дуг не всегда вызывает изменение поведения. Найдены достаточные условия, по которым при двух перебросках дуг автомат остается изоморфным исходному автомату.

   Источник: Материалы IV международной научно-практической конференции Образование и наука без границ – 2008. Польша, Перемышль. – 2008. – Т. 17. – С. 33-37.

7. О сравнении поведения ОДk-эталона и автоматов, порождаемых его локальными преобразованиями

   Авторы: О.С. Швец, О.М. Копытова

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

   Источник: Информационные управляющие системы и компьютерный мониторинг (ИУС и КМ – 2014) / Материалы V международной научно-технической конференции студентов, аспирантов и молодых ученых. Донецьк: ДонНТУ – 2014. – Т. 2 – С. 365-369.

8. Неисправности автоматов, сохраняющие их поведение

   Авторы: О.М. Копытова

   Описание: Рассматривается задача сохранения поведения автомата при искажениях его структуры (графа переходов). Найдены условия, при которых искаженный автомат эквивалентен исходному по поведению.

   Источник: Материалы XVI Международной конференции «Проблемы теоретической кибернетики» (20-25 июня 2011 г.), Россия. Нижний Новгород. Изд-во Нижегородского госуниверситета, 2011 – с. 222-225.

9. Представления автоматов в локально определенных классах

   Авторы: В.А. Козловский, О.М. Копытова

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

   Источник: Труды Института прикладной математики и механики НАН Украины. – Донецьк: ІПММ НАН України, 2008. – Т. 17. – С. 80-87.

Перевод статьи

10. Реализация алгоритма Хопкрофта

    Авторы: Hang Zhou

    Перевод: Горяйнова А.В.

    Описание: В данной работе приведен алгоритм предназначенный для минимизации конечного автомата и как этот алгоритм выполняется во временной сложности O (M Nlog₂ N).

    Источник (англ.): Implementation of Hopcroft's Algorithm.