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

Место работы: Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация
Должность: заведующий кафедрой
Ученая степень: доктор технических наук, профессор
E-mail: shalyto@mail.ifmo.ru
Вельдер С. Э., Шалыто А. А. ВЕРИФИКАЦИЯ АВТОМАТНЫХ МОДЕЛЕЙ МЕТОДОМ РЕДУЦИРОВАННОГО ГРАФА ПЕРЕХОДОВ
Статья опубликована в выпуске №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
Информация 2001-2019 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

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