Автор Шалыто Анатолий Абрамович Научно-Технический Вестник информационных технологий, механики и оптики

2024 , ТОМ 24, НОМЕР 5 ( сентябрь-октябрь )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Меню

Публикации

Главный редактор

НИКИФОРОВ
Владимир Олегович
д.т.н., профессор

Партнеры

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

Место работы: Университет ИТМО, Санкт-Петербург, 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

Законов А. Ю., Шалыто А. А. ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ К ГЕНЕРАЦИИ ТЕСТОВ ДЛЯ АВТОМАТНЫХ ПРОГРАММ
Статья опубликована в выпуске №2, том 11, 2011

Егоров К. В., Царев Ф. Н., Шалыто А. А. ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКОГО ПРОГРАММИРОВАНИЯ ДЛЯ ПОСТРОЕНИЯ АВТОМАТОВ УПРАВЛЕНИЯ СИСТЕМАМИ СО СЛОЖНЫМ ПОВЕДЕНИЕМ НА ОСНОВЕ ОБУЧАЮЩИХ ПРИМЕРОВ И СПЕЦИФИКАЦИИ
Статья опубликована в выпуске №5, том 10, 2010

Клебанов А. А., Шалыто А. А. ПРИМЕНЕНИЕ ШАБЛОНОВ ТРЕБОВАНИЙ К ФОРМАЛЬНОЙ СПЕЦИФИКАЦИИ И ВЕРИФИКАЦИИ АВТОМАТНЫХ ПРОГРАММ
Статья опубликована в выпуске №5, том 10, 2010

Васильев В. Н., Парфенов В. Г., Шалыто А. А. ИННОВАЦИОННАЯ СИСТЕМА ПОДГОТОВКИ СПЕЦИАЛИСТОВ В ОБЛАСТИ ПРОИЗВОДСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В СПбГУ ИТМО
Статья опубликована в выпуске №4, том 09, 2009

Ахи А. А., Станкевич А. С., Шалыто А. А. АВТОМАТИЧЕСКИЕ МЕТОДЫ МОДИФИКАЦИИ РЕШЕНИЙ ДЛЯ ТЕСТИРОВАНИЯ ПРОВЕРЯЮЩИХ ПРОГРАММ
Статья опубликована в выпуске №1, том 12, 2012

Степанов Д. В., Шалыто А. А. ИСПОЛЬЗОВАНИЕ ГЕНЕТИЧЕСКОГО АЛГОРИТМА ДЛЯ ПОИСКА ОПТИМАЛЬНОЙ ТРАЕКТОРИИ НАБЛЮДАТЕЛЯ
Статья опубликована в выпуске №1, том 12, 2012

Тихомиров А. В., Шалыто А. А. ПРИМЕНЕНИЕ АДАПТИВНОГО ГЕНЕТИЧЕСКОГО АЛГОРИТМА ДЛЯ ГЕНЕРАЦИИ КЛЕТОЧНЫХ АВТОМАТОВ
Статья опубликована в выпуске №1, том 12, 2012

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

Александров А. В., Казаков С. В., Мельников С. В., Сергушичев А. А., Царев Ф. Н., Шалыто А. А. МЕТОД ИСПРАВЛЕНИЯ ОШИБОК В НАБОРЕ ЧТЕНИЙ НУКЛЕОТИДНОЙ ПОСЛЕДОВАТЕЛЬНОСТИ
Статья опубликована в выпуске №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

Рыбкин К. Е., Фильченков А. А., Азаров А. А., Забашта А. С., Шалыто А. А.

Совместное обучение агентов и векторных представлений графов в задаче управления конвейерными лентами

Статья опубликована в выпуске №6, том 22, 2022

Шалыто А. А.

Валидация автоматных спецификаций

Статья опубликована в выпуске №2, том 23, 2023

Александров А. В., Казаков С. В., Сергушичев А. А., Царев Ф. Н., Шалыто А. А.

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

Статья опубликована в выпуске №2, том 11, 2011

Клеверов Д. А., Шалыто А. А., Артемов М.

Метод построения интерпретируемых скрытых марковских моделей для задачи поиска связываемых участков пептидов в последовательностях белков

Статья опубликована в выпуске №5, том 23, 2023

Сидоренко Д. А., Шалыто А. А.

Предсказание связей «ген-болезнь» с помощью гетерогенной графовой нейронной сети

Статья опубликована в выпуске №4, том 24, 2024