Ссылки по теме выпускной работы
-
Швец О.С. Разработка и исследование метода анализа автоматов, порождаемых локальными преобразованиями эталона
Описание: Персональный сайт на портале магистров ДонНТУ, 2014 год
Руководитель: к.ф.–м.н., доц. Копытова О.М.
-
Кузнецов Ю.А. Разработка и анализ алгоритма исследования структуры мозаики группой агентов
Описание: Персональный сайт на портале магистров ДонНТУ, 2014 год
Руководитель: к.т.н., доц. Шатохина Н.К.
-
Левицкая Е.С. Разработка и исследование алгоритма восстановления графов коллективом агентов
Описание: Персональный сайт на портале магистров ДонНТУ, 2014 г.
Руководитель: к.ф.-м.н., проф. Грунский И.С.
-
Бурлаева Е.И. Разработка метода анализа циклических свойств блок-схемы алгоритма
Описание: Персональный сайт на портале магистров ДонНТУ, 2013 год
Руководитель: к.ф.-м.н., доц. Копытова О.М.
-
Жогло Е.А. Разработка и исследование метода контроля карты рабочей среды агента
Описание: Персональный сайт на портале магистров ДонНТУ, 2012 год
Руководитель: к.ф.-м.н., проф. Грунский И.С.
-
Малюк Е.В. Исследование 4-х уровневой схемы управляющего автомата Мили в базисе стандартных БИС
Описание: Персональный сайт на портале магистров ДонНТУ, 2007 г.
Руководитель: к.т.н., доцент кафедры ЭВМ Зеленёва И.Я.
-
Методы построения конечных автоматов на основе эволюционных алгоритмов
Авторы: Царев Ф.Н.
Описание: Приводится обзор работ, посвященных автоматному программированию, посиковой инженерии ПО и применению эволюционных алгоритмов для построения автоматов. Описывается построения автоматов по обучающим примерам на основе эволюционных алгоритмов и выполнения операции скрещивания с учетом поведения автоматов на обучающих примерах, а также построения управляющих автоматов на основе эволюционных алгоритмов по обучающим примерам и темпоральным формулам. Рассматриваются следующие эволюционные алгоритмы: метод спуска на основе случайных мутаций, эволюционная стратегия, генетический алгоритм. Описывается представление конечных автоматов в эволюционных алгоритмах, алгоритмы выполнения операций мутации и скрещивания, метод вычисления функции приспособленности. Приводятся результаты вычислительных экспериментов по построению автоматов на примерах задач построения автомата управления часами с будильником и автомата управления дверьми лифта, а также для тестов, сгенерированных случайным образом. Описываются разработанные автором технология построения автоматов на основе эволюционных алгоритмов и инструментальное средство для автоматизированного построения автоматов.
-
Анализ и синтез абстрактных автоматов
Авторы: Кудрявцев В.Б., Грунский И.С., Козловский В.А.
Описание: Обзор содержит ряд окончательных результатов авторов, относящихся к области анализа и синтеза конечных автоматов по их поведению.
-
Неисправности автоматов, сохраняющие их поведение
Авторы: Копытова О.М.
Описание: В работе исследуются условия, при которых переброска k дуг в приведенном автомате, где k>1, не изменяет его поведения.
-
Преобразования автомата, сохраняющие его поведение
Авторы: Копытова О.М.
Описание: Показано, что возможность сохранения поведения при перебросках k дуг определяется разбиением π(U) и группой G(A,U).
-
О классах автоматов, получаемых перебросками дуг
Авторы: Копытова О.М.
Описание: Описана более тонкая структура таких классов автоматов-неисправностей, и найдены условия, налагаемые на граф переходов эталона и его преобразования, которые позволяют ослабить требование указанной различимости состояний при сохранении свойства "быть почти обходом"для минимальных контрольных экспериментов.
-
Об одном типе локальных преобразований конечного автомата
Авторы: Бурлаева Е.И., Копытова О.М.
Описание: Рассматривается специальная операция на дугах конечного автомата – переброска дуг. Автоматы, которые можно описать как результат переброски группы дуг в некотором автомате-эталоне, могут рассматриваться как его "неисправности". Приводятся примеры, когда в результате переброски автомат не изменяет своего поведения, оставаясь изоморфными исходному автомату. Исследуется циклическая структура таких автоматов.
-
О структуре автоматов, сохраняющих поведение при перебросках дуг
Авторы: Копытова О.М.
Описание: Автоматы, являющиеся "неисправностями"некоторого автомата-эта- лона, во многих случаях можно описать как результат переброски группы дуг в эталоне. При этом возможны случаи, когда поведение "неисправного"автомата не изменяется по сравнению с эталоном (не обнаруживаемые по внешнему поведению "неисправности"). Описаны структура автомата и условия переброски дуг, при кото- рых поведение "неисправного"автомата остается эквивалентным поведению эталона.
-
Представления автоматов в локально определенных классах
Авторы: Козловский В.А., Копытова О.М.
Описание: Найдены достаточные, а при дополнительных ограничениях и необходимые условия, при кото- рых частичные автоматы являются представлениями автоматов относительно введенных локально определенных классов автоматов, полученных из эталона некоторыми перебросками дуг. Для таких представлений получены неулучшаемые для n-плотных классов автоматов оценки сложности пред- ставлений автоматов. Для их частных случаев – кратчайших простых контрольных экспериментов, показано, что длина последних отличается от длины кратчайших обходов ровно на единицу.
-
Допустимые преобразования автомата, взаимодействующего со средой
Авторы:Чеботарев А.Н., Куривчак О.И.
Описание: НРассмотрены локальные преобразования автомата, не изменяющие его композицию с другим автоматом. Преобразования состоят в удалении или добавлении переходов в автомате. Предложены и обоснованы методы построения таких преобразований.
Техническая и справочная литература
-
Национальная библиотека Украины имени В.И. Вернадского, раздел – Наукові ресурси
Крупнейшая библиотека Украины, главный научно-информационный центр государства. Входит в число десяти крупнейших национальных библиотек мира.
-
Электронный архив ДонНТУ, раздел – Факультет компьютерных информационных технологий и автоматики
Содержит научные исследования и учебно-методические материалы профессорско-преподавательского состава, сотрудников, аспирантов и магистров ДонНТУ.
-
Википедия, раздел – Глоссарий теории графов
Свободная энциклопедия, в которой можно найти огромное количество необходимой Вам информации. Краткие определения из теории графов.
-
Научная электронная библиотека
Киберленинка
КиберЛенинка – это научная электронная библиотека, построенная на парадигме открытой науки, основными задачами которой является популяризация науки и научной деятельности, общественный контроль качества научных публикаций, развитие современного института научной рецензии и повышение цитируемости российской науки.
-
Теория графов
Основные понтия и определения в теории графов. Здесь описаны теоретические сведения об ориентированных графах, о связности графов.
-
Введение в теорию автоматов
Описание конечных автоматов, регулярных выражений.
-
Введение в теорию конечных автоматов
Электронная библиотека.
-
Визуализация графов. Метод связывания ребер
Описан алгоритм визуализации графов путем связывания ребер.
-
Регулярные языки и конечные автоматы
Электронный учебник.
-
Основы теории принятия решениий
Учебное пособие.
-
Введение в теорию графов
Учебно-методическое пособие Костромского государственного технологического университета.
-
Логика. Автоматы. Алгоритмы.
Настоящая книга рассчитана на широкий круг читателей, работающих в области автоматики, телемеханики и вычислительной техники и впервые знакомящихся с теорией конечных автоматов и последовательностных машин.
-
Элементы теории графов
Электронная библиотека.
-
CIT-форум
Крупнейший архив научной и практической информации по всем направлениям компьютерных наук.
-
ИНТУИТ
Бесплатное дистанционное обучение в Национальном Открытом Университете «ИНТУИТ» – это удобный способ получения знаний, которые помогут вам получить новую работу и занять более высокую должность.
-
Хабрахабр, раздел – Программирование
Сервис связаный с информационными технологиями, бизнесом и Интернетом.
-
Дискретная математика
Портал, посвященный предмету дискретной математики.
-
Информационная система Math-Net.Ru
Общероссийский математический портал, предоставляющий российским и зарубежным математикам различные возможности в поиске информации о математической жизни в России.
-
Библиотека программиста
Коллекция литературы по программированию на русском и анлийских языках.
-
Лекториум
Лекториум – академический образовательный проект, развивающий два направления: 1. Медиатека – коллекция видеолекций лучших лекторов России. Все материалы публикуются только по согласованию с лекторами и учебными заведениями. Доступ к библиотеке – свободный и бесплатный. 2. MOOC (Massive Online Open Course) – онлайн курсы нового поколения.
-
MAXimal
Большая колекция с реализацией большого количества алгоритмов.
-
Алгоритмы на графах
Сборник исходников.
-
Stack Overflow
Популярная система вопросов и ответов о программировании, разработанная Джоэлем Спольски и Джеффом Этвудом в 2008 году.
-
The Code Project
Веб-сайт на английском языке, который содержит статьи, предназначенные в первую очередь для программистов, создающих приложения для операционных систем семейства Microsoft Windows. Почти каждая статья сопровождается исходным текстом программы и примером, которые можно загрузить. На сайте используются системы рейтинга и комментариев, которые помогают отделять хорошие статьи от плохих.
-
DisserCat
Научная электронная библиотека диссертаций и авторефератов.
-
НАН Украины Институт математики
Библиотека Института математики НАН Украины.
-
Лекции по дискретной математике
Авторы: Капитонова Ю.В., Кривий С.Л., Летичевский А.А., Луцкий Г.М.
Описание: Изложены методы и средства дискретной математики как инструментария при обработке информации в компьютерах.
-
Применение теории графов в программировании
Авторы: Евстигнеев В.А.
Описание: Описывается применение теории графов в программировании систем.
-
Теория автоматов
Авторы: Карпов Ю.Г.
Описание: Эта книга служит формированию знаний и умений, которые образуют теоретический фундамент, необходимый для корректной постановки и решения проблем в области информатики, для осознания целей и ограничений при создании вычислительных структур, алгоритмов и программ обработки информации.
-
Конечные автоматы: эквивалентность и поведение
Авторы: Иванов Н.Н., Михайлов Г.И., Руднев В.В., Таль А.А.
Описание: В книге излагаются результаты работы авторов по созданию теории конечных автоматов, основанной на применении отношений эквивалентности. Наряду с традиционными задачами, решаемыми в теории автоматов, предлагаемый подход позволяет ставить и решать многие новые задачи, например, задачу о реализуемости заданного поведения в автомате определенного класса (инициальном, детерминированном, полностью определенном, автомате с конечной памятью), задачу об эквивалентности двух инициальных автоматов и др.
-
Введение в теорию конечных автоматов
Авторы: Гилл А.
Описание: Содержит систематическое изложение основных вопросов теории конечных автоматов. Особое внимание в книге уделено методам анализа.
-
Дискретная математика: графы, матроиды, алгоритмы.
Авторы: Асанов М.О., Баранский В.А., Расин В.В.
Описание: Изложен ряд основных разделов теории графов и матроидов Рассмотрены алгоритмы дискретной оптимизации на сетях и графах, наиболее часто используемых программистами Для студентов и аспирантов, специализирующихся в области компьютерных наук.
-
Занимательные задачи по теории графов
Авторы: Мельников О.
Описание: Предлагаемая книга посвящена изложению в занимательной форме элементов одного из важных разделов дискретной математики - теории графов.
-
Дискретная математика
Авторы: Донской В.И.
Описание: Книга представляет собой учебное пособие для студентов университетов, полностью соответствующее программе курса "Дискретная математика" для специальностей "Информатика" и "Прикладная математика". Может быть использовано студентами смежных специальностей и специалистами в области теоретической и прикладной информатики, программистами и разработчиками прикладных систем.
-
Введение в теорию графов
Авторы: Уилсон Р.
Описание: Учебное пособие специалистам в области техники, занимающимся прикладными задачами теории графов.