Научно-технический вестник СПбГУ ИТМО. Выпуск 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