Шалыто Анатолий Абрамович

Место работы: Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация
Должность: профессор
Ученая степень: доктор технических наук, профессор
E-mail: shalyto@mail.ifmo.ru
Scopus ID: 56131789500
ORCID: 0000-0002-2723-2077
Вельдер С. Э., Шалыто А. А. ВЕРИФИКАЦИЯ АВТОМАТНЫХ МОДЕЛЕЙ МЕТОДОМ РЕДУЦИРОВАННОГО ГРАФА ПЕРЕХОДОВ
Статья опубликована в выпуске №6, том 09, 2009
Клебан В. О., Шалыто А. А. РАЗРАБОТКА СИСТЕМЫ УПРАВЛЕНИЯ МАЛОРАЗМЕРНЫМ ВЕРТОЛЕТОМ
Статья опубликована в выпуске №2, том 11, 2011
Алексеев С. А., Калиниченко А. И., Клебан В. О., Шалыто А. А. АВТОМАТИЧЕСКИЙ СИНТЕЗ СИСТЕМЫ УПРАВЛЕНИЯ МОБИЛЬНЫМ РОБОТОМ ДЛЯ РЕШЕНИЯ ЗАДАЧИ «КЕГЕЛЬРИНГ»
Статья опубликована в выпуске №2, том 11, 2011
Сергеев А. А., Клебан В. О., Шалыто А. А. АНАЛИЗ ЭФФЕКТИВНОСТИ ИСПОЛЬЗОВАНИЯ GPU ДЛЯ АВТОМАТИЧЕСКОГО СИНТЕЗА СИСТЕМЫ УПРАВЛЕНИЯ МОБИЛЬНЫМ РОБОТОМ
Статья опубликована в выпуске №2, том 11, 2011
Алексеев С. А., Клебан В. О., Шалыто А. А. ПРОГРАММНО-АППАРАТНЫЙ КОМПЛЕКС ДЛЯ ИССЛЕДОВАНИЯ АВТОМАТНОГО УПРАВЛЕНИЯ МОБИЛЬНЫМИ РОБОТАМИ
Статья опубликована в выпуске №2, том 11, 2011
Трофимов Д. А., Шалыто А. А. МЕТОДЫ ОПТИМИЗАЦИИ СТРАТЕГИЙ В ИГРАХ ДЛЯ ДВУХ УЧАСТНИКОВ С ИСПОЛЬЗОВАНИЕМ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ
Статья опубликована в выпуске №2, том 11, 2011
Тихомиров А. В., Шалыто А. А. ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКОГО ПОДХОДА ДЛЯ ГЕНЕРАЦИИ КЛЕТОЧНЫХ АВТОМАТОВ
Статья опубликована в выпуске №2, том 11, 2011
Законов А. Ю., Шалыто А. А. ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ К ГЕНЕРАЦИИ ТЕСТОВ ДЛЯ АВТОМАТНЫХ ПРОГРАММ
Статья опубликована в выпуске №2, том 11, 2011
Клебанов А. А., Шалыто А. А. ПРИМЕНЕНИЕ ШАБЛОНОВ ТРЕБОВАНИЙ К ФОРМАЛЬНОЙ СПЕЦИФИКАЦИИ И ВЕРИФИКАЦИИ АВТОМАТНЫХ ПРОГРАММ
Статья опубликована в выпуске №5, том 10, 2010
Васильев В. Н., Парфенов В. Г., Шалыто А. А. ИННОВАЦИОННАЯ СИСТЕМА ПОДГОТОВКИ СПЕЦИАЛИСТОВ В ОБЛАСТИ ПРОИЗВОДСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В СПбГУ ИТМО
Статья опубликована в выпуске №4, том 09, 2009
Ахи А. А., Станкевич А. С., Шалыто А. А. АВТОМАТИЧЕСКИЕ МЕТОДЫ МОДИФИКАЦИИ РЕШЕНИЙ ДЛЯ ТЕСТИРОВАНИЯ ПРОВЕРЯЮЩИХ ПРОГРАММ
Статья опубликована в выпуске №1, том 12, 2012
Степанов Д. В., Шалыто А. А. ИСПОЛЬЗОВАНИЕ ГЕНЕТИЧЕСКОГО АЛГОРИТМА ДЛЯ ПОИСКА ОПТИМАЛЬНОЙ ТРАЕКТОРИИ НАБЛЮДАТЕЛЯ
Статья опубликована в выпуске №1, том 12, 2012
Тихомиров А. В., Шалыто А. А. ПРИМЕНЕНИЕ АДАПТИВНОГО ГЕНЕТИЧЕСКОГО АЛГОРИТМА ДЛЯ ГЕНЕРАЦИИ КЛЕТОЧНЫХ АВТОМАТОВ
Статья опубликована в выпуске №1, том 12, 2012
Александров А. В., Казаков С. В., Мельников С. В., Сергушичев А. А., Царев Ф. Н., Шалыто А. А. МЕТОД ИСПРАВЛЕНИЯ ОШИБОК В НАБОРЕ ЧТЕНИЙ НУКЛЕОТИДНОЙ ПОСЛЕДОВАТЕЛЬНОСТИ
Статья опубликована в выпуске №5, том 11, 2011
Шалыто А. А., Царев М. Н., Царев Ф. Н. ГРАФИЧЕСКИЙ ЯЗЫК ОПИСАНИЯ ИГРОВЫХ ЭПИЗОДОВ В ФУТБОЛЕ
Статья опубликована в выпуске №7, том 08, 2008
Шалыто А. А. ПАРАДИГМА АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
Статья опубликована в выпуске №8, том 08, 2008
Поликарпова Н. И., Точилин В. Н., Шалыто А. А. ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКОГО ПРОГРАММИРОВАНИЯ ДЛЯ ГЕНЕРАЦИИ АВТОМАТОВ С БОЛЬШИМ ЧИСЛОМ ВХОДНЫХ ПЕРЕМЕННЫХ
Статья опубликована в выпуске №8, том 08, 2008
Лобанов П. Г., Сытник С. А., Шалыто А. А. ПОСТРОЕНИЕ АВТОПИЛОТА ДЛЯ УПРОЩЕННОЙ МОДЕЛИ ВЕРТОЛЕТА С ПОМОЩЬЮ ГЕНЕТИЧЕСКОГО АЛГОРИТМА
Статья опубликована в выпуске №8, том 08, 2008
Бедный Ю. Д., Шалыто А. А. СОЗДАНИЕ СИСТЕМЫ УПРАВЛЕНИЯ ТАНКОМ ДЛЯ ИГРЫ ROBOCODE С ИСПОЛЬЗОВАНИЕМ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ
Статья опубликована в выпуске №8, том 08, 2008
Вельдер С. Э., Шалыто А. А. МЕТОДЫ ВЕРИФИКАЦИИ МОДЕЛЕЙ АВТОМАТНЫХ ПРОГРАММ
Статья опубликована в выпуске №8, том 08, 2008
Шалыто А. А., Лукин М. А. ВЕРИФИКАЦИЯ АВТОМАТНЫХ ПРОГРАММ С ИСПОЛЬЗОВАНИЕМ ВЕРИФИКАТОРА SPIN
Статья опубликована в выпуске №8, том 08, 2008
Егоров К. В., Шалыто А. А. РАЗРАБОТКА ВЕРИФИКАТОРА АВТОМАТНЫХ ПРОГРАММ
Статья опубликована в выпуске №8, том 08, 2008
Клебанов А. А., Шалыто А. А. РАЗРАБОТКА КОРРЕКТНЫХ JAVA CARD-ПРОГРАММ НА ОСНОВЕ АВТОМАТНОГО ПОДХОДА
Статья опубликована в выпуске №8, том 08, 2008
Гуров В. С., Мазин М. А., Шалыто А. А. ТЕКСТОВЫЙ ЯЗЫК АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
Статья опубликована в выпуске №8, том 08, 2008
Клебан В. О., Парфенов В. Г., Шалыто А. А. ПОСТРОЕНИЕ СИСТЕМЫ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ МОБИЛЬНЫМ РОБОТОМ НА ОСНОВЕ АВТОМАТНОГО ПОДХОДА
Статья опубликована в выпуске №8, том 08, 2008
Шалыто А. А., Суясов Д. И. ВЫДЕЛЕНИЕ СТРУКТУРНЫХ ПРИЗНАКОВ РАСПОЗНАВАЕМЫХ СИМВОЛОВ НА ОСНОВЕ НАБОРА КЛЕТОЧНЫХ АВТОМАТОВ
Статья опубликована в выпуске №3, том 08, 2008
Шалыто А. А., Боб Е. Б., Латников А. В., Мальцев А. М., Потехин А. Е. ЭВОЛЮЦИЯ МЕТОДОВ И ТЕХНОЛОГИЙ ПРОГРАММИРОВАНИЯ
Статья опубликована в выпуске №3, том 08, 2008
Шалыто А. А., Боб Е. Б., Латников А. В., Мальцев А. М., Потехин А. Е. ПРОГРАММИСТЫ, КОМПИЛЯТОРЫ, ПРОЦЕССОРЫ – ПОИСК ЕДИНОГО ВЕКТОРА
Статья опубликована в выпуске №3, том 08, 2008
Шалыто А. А., Рубинов К. В. О НЕКОТОРЫХ ЗАДАЧАХ ТЕСТИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Статья опубликована в выпуске №1, том 08, 2008
Гуров В. С., Мазин М. А., Шалыто А. А. ТЕКСТОВЫЙ ЯЗЫК АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
Статья опубликована в выпуске №8, том 07, 2007
Вельдер С. Э., Шалыто А. А. ВВЕДЕНИЕ В ВЕРИФИКАЦИЮ АВТОМАТНЫХ ПРОГРАММ НА ОСНОВЕ МЕТОДА MODEL CHECKING
Статья опубликована в выпуске №8, том 07, 2007
Лобанов П. Г., Шалыто А. А. ИСПОЛЬЗОВАНИЕ АВТОМАТОВ С ФЛАГАМИ ДЛЯ РЕШЕНИЯ
Статья опубликована в выпуске №8, том 07, 2007
Шалыто А. А. Автоматно-ориентированное программирование
Статья опубликована в выпуске №5, том 05, 2005
Гуров В. С., Мазин М. А., Шалыто А. А., Нарвский А. С. Разработка средств автоматизации построения объектно-ориентированных программ с явным выделением состоянии
Статья опубликована в выпуске №5, том 04, 2004
Корнеев Г. А., Шалыто А. А. Язык описания визуализаторов алгоритмов
Статья опубликована в выпуске №9, том 06, 2006
Гуров В. С., Мазин М. А., Шалыто А. А. UNIMOD – инструментальное средство для автоматного программировани
Статья опубликована в выпуске №7, том 06, 2006
Корнеев Г. А., Шалыто А. А. ПОСТРОЕНИЕ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ ДИСКРЕТНОЙ МАТЕМАТИКИ
Статья опубликована в выпуске №7, том 05, 2005
Корнеев Г. А., Шалыто А. А. VIZI — ЯЗЫК ОПИСАНИЯ ЛОГИКИ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ
Статья опубликована в выпуске №7, том 05, 2005
Шалыто А. А., Корнеев Г. А. ПОСТРОЕНИЕ МОДЕЛИ ДАННЫХ ПРОГРАММЫ ПО ИСХОДНОМУ КОДУ
Статья опубликована в выпуске №2, том 06, 2006
Тихомиров А. В., Шалыто А. А.

ПРИМЕНЕНИЕ НАПРАВЛЕННОЙ МУТАЦИИ ДЛЯ ГЕНЕРАЦИИ КЛЕТОЧНЫХ АВТОМАТОВ


Статья опубликована в выпуске №2, том 14, 2014
Чивилихин Д. С., Ульянцев В. И., Вяткин В. В., Шалыто А. А. ПОСТРОЕНИЕ АВТОМАТНЫХ ПРОГРАММ ПО СПЕЦИФИКАЦИИ С ПОМОЩЬЮ МУРАВЬИНОГО АЛГОРИТМА НА ОСНОВЕ ГРАФА МУТАЦИЙ
Статья опубликована в выпуске №6, том 14, 2014
Янкин Ю. Ю., Шалыто А. А. РАЗРАБОТКА РЕЗЕРВИРОВАННОГО БЛОКА УПРАВЛЕНИЯ ЭЛЕКТРОПРИВОДОМ НА ОСНОВЕ АВТОМАТНОГО ПОДХОДА
Статья опубликована в выпуске №6, том 14, 2014
Александров А. В., Шалыто А. А. МЕТОД ИСПРАВЛЕНИЯ ОШИБОК ВСТАВКИ И УДАЛЕНИЯ В НАБОРЕ ЧТЕНИЙ НУКЛЕОТИДНОЙ ПОСЛЕДОВАТЕЛЬНОСТИ
Статья опубликована в выпуске №1, том 16, 2016
Петрова И. А., Буздалова А. С., Шалыто А. А. МЕТОД ДИНАМИЧЕСКОГО ВЫБОРА ВСПОМОГАТЕЛЬНЫХ КРИТЕРИЕВ В МНОГОКРИТЕРИАЛЬНЫХ ЭВОЛЮЦИОННЫХ АЛГОРИТМАХ
Статья опубликована в выпуске №3, том 16, 2016
Петрова И. А., Буздалова А. С., Шалыто А. А. ТЕОРЕТИЧЕСКИЙ АНАЛИЗ МЕТОДА ВЫБОРА ПЕРЕКЛЮЧАЮЩИХСЯ ВСПОМОГАТЕЛЬНЫХ КРИТЕРИЕВ НА ЗАДАЧЕ XdivK
Статья опубликована в выпуске №3, том 17, 2017
Буланова Н. С., Буздалова А. С., Шалыто А. А. МЕТОД АДАПТИВНОГО ВЫБОРА ОПЕРАТОРОВ МУТАЦИИ ИСКУССТВЕННЫХ ИММУННЫХ СИСТЕМ И ЛОКАЛЬНОГО ПОИСКА
Статья опубликована в выпуске №6, том 17, 2017
Гайнуллина А. Н., Сухов В. Д., Шалыто А. А., Сергушичев А. А.
ПРИМЕНЕНИЕ МЕТОДА НЕЗАВИСИМЫХ КОМПОНЕНТ ДЛЯ ОПРЕДЕЛЕНИЯ НАЧАЛЬНОГО ПРИБЛИЖЕНИЯ ПРИ ПОИСКЕ АКТИВНЫХ МОДУЛЕЙ В БИОЛОГИЧЕСКИХ ГРАФАХ

Статья опубликована в выпуске №6, том 20, 2020
Шовкопляс Г. Ф., Строков Д. А., Казанцев Д. В., Ватьян А. С., Асадулаев А. А., Томилов И. В., Шалыто А. А., Гусарова Н. Ф.
Повышение эффективности обработки жестового языка посредством малокадрового машинного обучения

Статья опубликована в выпуске №3, том 22, 2022
Рыбкин К. Е., Фильченков А. А., Азаров А. А., Забашта А. С., Шалыто А. А.
Совместное обучение агентов и векторных представлений графов в задаче управления конвейерными лентами

Статья опубликована в выпуске №6, том 22, 2022
Шалыто А. А.
Валидация автоматных спецификаций

Статья опубликована в выпуске №2, том 23, 2023
Александров А. В., Казаков С. В., Сергушичев А. А., Царев Ф. Н., Шалыто А. А.
ГЕНЕРАЦИЯ КОНЕЧНЫХ АВТОМАТОВ ДЛЯ УПРАВЛЕНИЯ МОДЕЛЬЮ БЕСПИЛОТНОГО САМОЛЕТА

Статья опубликована в выпуске №2, том 11, 2011
Информация 2001-2024 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика