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

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

    Собственные публикации и доклады

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  7. Experimental Evaluation of Classical Automata Constructions

    Авторы: D. Tabakov, Y. Moshe

    Описание: Проводится прямое экспериментальное сравнение между алгоритмами минимизации конечного автомата Хопкрофта и Бржозовского.

    Источник: LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence and Reasoning. – 2005. – P. 396–411.

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

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

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

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

  9. Восстановление автоматов по фрагментам поведения

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

    Описание: Cодержит результаты по теории представления автоматов с заданной точностью относительно различных классов и использования при их анализе идентификаторов состояний.

    Источник: Журнал Дискретная математика. – 2009. – Т. 21, № 2. – С. 3–42.

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

  10. Описание n log n алгоритма минимизации состояний в детерминированном конечном автомате

    Автор: Yingjie XU

    Перевод: Швец О.С.

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

    Источник (англ.): Describing an n log n algorithm for minimizing states in deterministic finite automaton.