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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  6. Automatic Derivation of Finite-State Machines for Behavior Control

    Авторы: Blai Bonet, Hector Palacios, Hector Geffner

    Описание: В этой статье, представлен метод получения контроллеров автоматически из модели. Модели представляют собой класс задач, где условные действия детерминированы и некоторые флюэнты являющиеся наблюдаемыми.

    Источник: B. Bonet, H. Palacios. H. Geffner. Proc. AAAI-10. Atlanta, USA. 7/2010ссылка

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

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

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

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

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

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

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

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

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

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

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

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

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

  10. Автоматический вывод конечных автоматов для управления поведением

    Авторы: Blai Bonet, Hector Palacios, Hector Geffner

    Перевод: В.О. Изюк

    Описание: В этой статье, представлен метод получения контроллеров автоматически из модели. Модели представляют собой класс задач, где условные действия детерминированы и некоторые флюэнты являющиеся наблюдаемыми.

    Источник (англ.): B. Bonet, H. Palacios. H. Geffner. Proc. AAAI-10. Atlanta, USA. 7/2010. Источник оригинальной статьи