Сайт ДонНТУ  
Портал магистров

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

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

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

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

    Описание: Автоматы, являющиеся неисправностями некоторого автомата-эталона, во многих случаях можно описать как результат переброски группы дуг в эталоне. При этом возможны случаи, когда поведение неисправного автомата не изменяется по сравнению с эталоном (не обнаруживаемые по внешнему поведению неисправности). Описаны структура автомата и условия переброски дуг, при которых поведение неисправного автомата остается эквивалентным поведению эталона.

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

  2. Анализ поведения автоматов

    Авторы: В.Б. Кудрявцев, И.С. Грунский, В.А. Козловский

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

    Источник: Журнал Дискретная математика. – 2009. – Т. 21, № 1. – С. 2-35. (посмотреть оригинал)

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

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

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

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

  4. О локальных преобразованиях автономных автоматов

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

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

    Источник: Материалы ХІ международной научно-практической конференции Математическое и программное обеспечение интеллектуальных систем (MPZIS-2013). Днепропетровск, 20-22 ноября 2013. – С. 119-120. (посмотреть оригинал)

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

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

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

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

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

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

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

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

  7. Устойчивость автоматов к неисправностям их функции переходов

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

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

    Источник: Труды ИПММ АН Украины. – 2010. – № 21. – С. 57-66. (посмотреть оригинал)

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

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

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

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

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

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

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

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

    10. Переводы статей

  10. Преобразование детерминированных конечных автоматов в регулярные выражения

    Авторы: Кристоф Нойманн

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

    Источник (англ.): https://www.researchgate.net/(посмотреть оригинал)