УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Геном
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / События и факты / Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование (версия для печати)


Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование



Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование Оглавление

1. ВВЕДЕНИЕ В АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ
А. А. Шалыто Парадигма автоматного программирования с. 3
2. ПОСТРОЕНИЕ АВТОМАТОВ ДЛЯ УПРАВЛЕНИЯ БЕСПИЛОТНЫМИ УСТРОЙСТВАМИ НА ОСНОВЕ ПРИМЕНЕНИЯ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ
Н.И.Поликарпова, В. Н. Точилин, А. А. Шалыто Применение генетического программирования для генерации автоматов с большим числом входных переменных с. 24
Ф. Н. Царев Совместное применение генетического программирования, конечных автоматов и искусственных нейронных сетей для построения системы управления беспилотным летательным аппаратом с. 42
А. А. Давыдов, Д. О. Соколов, Ф. Н. Царев Применение генетического программирования и методов сокращенных таблиц переходов и деревьев решений для построения автоматов управления моделью беспилотного летательного аппарата с. 60
П. Г. Лобанов, С. А. Сытник, А. А. Шалыто Построение автопилота для упрощенной модели вертолета с помощью генетического алгоритма с. 79
Ю. Д. Бедный, А. А. Шалыто Создание системы управления танком для игры Robocode с использованием генетических алгоритмов с. 88
3. ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ ДЛЯ ГЕНЕРАЦИИ АВТОМАТОВ
Е. А. Мандриков, В. А. Кулев Разработка инструментального средства для генерации конечных автоматов с использованием генетических алгоритмов с. 100
В. Р. Данилов Метод представления автоматов деревьями решений для использования в генетическом программировании с. 103
А. А. Давыдов, Д. О. Соколов, Ф. Н. Царев Применение генетических алгоритмов для построения автоматов Мура и систем взаимодействующих автоматов Мили на примере задачи об "Умном муравье" с. 108
П. Г. Лобанов Методы оптимизации генетических алгоритмов для построения конечных автоматов с. 114
4. ВЕРИФИКАЦИЯ АВТОМАТНЫХ ПРОГРАММ
С. Э. Вельдер, А. А. Шалыто Методы верификации моделей автоматных программ с. 123
Е.А. Курбацкий Верификация программ, построенных на основе автоматного подхода, с использованием программного средства SMV с. 137
М. А. Лукин, А. А. Шалыто Верификация автоматных программ с использование верификатора SPIN с. 145
В. С. Гуров, Б. Р. Яминов Верификация автоматных программ при помощи верификатора UniMod.verifier с. 162
К. В. Егоров, А. А. Шалыто Разработка верификатора автоматных программ с. 177
А. Ю. Законов Применение автоматного подхода для создания корректных Java Card-приложений с. 189
А. А. Клебанов, А. А. Шалыто Разработка корректных Java Card-программ на основе автоматного подхода с. 198
С. Ю. Канжелев Верификация взаимодействия частей реактивной системы, реализованной с помощью автоматного подхода с. 211
О. Г. Степанов Метод автоматической динамической верификации автоматных программ с. 221
5. МЕТОДЫ РАЗРАБОТКИ АВТОМАТНЫХ ПРОГРАММ
А. А. Астафуров Декларативный подход к вложению и наследованию автоматных классов при использовании императивных языков программирования с. 230
К. И. Тимофеев, А. А. Астафуров Наследование автоматных классов с использованием динамических языков программирования на примере Ruby с. 238
6. ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
Д. Ю. Кочелаев, И. А. Лагунов, Б. С. Хасянзянов, Б. Р. Яминов Инструментальное средство для поддержки автоматного программирования UniMod 2. Проектирование. Валидация. Верификация. Реализация. с. 251
7. ТЕКСТОВЫЕ ЯЗЫКИ АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
В. С. Гуров, М. А. Мазин, А. А. Шалыто Текстовый язык автоматного программирования с. 258
И. А. Лагунов Текстовый язык автоматного программирования FSML для инструментального средства UniMod с. 263
8. ТЕСТИРОВАНИЕ ПРИЛОЖЕНИЙ И КОНЕЧНЫЕ АВТОМАТЫ
К. В. Рубинов, В. В. Веденеев,В. Г. Парфенов Метод разработки тестов для программных интерфейсов приложений на основе конечно-автоматной модели тестирования с. 273
9. АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ МОБИЛЬНЫХ РОБОТОВ
В. О. Клебан, В. Г. Парфенов, А. А. Шалыто Построение системы автоматического управления мобильным роботом на основе автоматного подхода с. 281
10. ПРИМЕНЕНИЕ КОНЕЧНЫХ АВТОМАТОВ В ДОКУМЕНТООБОРОТЕ
В. О. Клебан, Ф. А. Новиков Использование конечных автоматов в документообороте с. 286
11. ИСКУСТВЕННЫЙ ИНТЕЛЛЕКТ И КОНЕЧНЫЕ АВТОМАТЫ
А. Л. Красс Метод обучения сложных систем с большим числом входных данных и выходных воздействий с. 295



© 2002—2017 По техническим вопросам сайта: vl.ulyantsev@gmail.com