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



Главная

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

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

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

English
 Home

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


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

Яndex



   Главная / Презентации (версия для печати)


Презентации



Шалыто А.А. Введение в автоматное программирование

Шалыто А.А. Автоматное программирование

Янкин Ю.Ю., Шалыто А.А. Метод создания программного обеспечения модулей, выполненных на основе программируемых логических интегральных схем (PDF)

Янкин Ю.Ю., Шалыто А.А. Метод создания программного обеспечения модулей, выполненных на основе программируемых логических интегральных схем (видео-презентация в формате exe)

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»

Korneev G., Shalyto A. State-Driven Programming for Computer Games

Царев Ф.Н., Шалыто А.А. Применение генетического программирования для построения автоматов, управляющих системами со сложным поведением

Шалыто А.А. Автоматное программирование

Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования

Царев Ф.Н., Шалыто А.А. Применение генетического программирования для генерации автомата в задаче об "Умном муравье"

Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Применение генетического программирования для реализации систем со сложным поведением

Наумов А.С. Виртуальная машина автоматного программирования

Красильников Н.Н., Парфенов В.Г., Царев Ф.Н., Шалыто А.А. Виртуальная лаборатория для первоначального обучения проектированию программ

Гуров В.С. UniMod: метод и средство разработки реактивных объектно-ориентированных программ с явным выделением состояний

Berry G. Synchronous Programming Techniques for Embedded Systems (PDF)

Доклад Е.А.Мандрикова и В.А.Кулева на V Всероссийской межвузовской конференции молодых ученых "Разработка инструментального средства для автоматической генерации конечных автоматов с использованием генетических алгоритмов" (PDF)

Царев М.Н., Царев Ф.Н. Графический язык описания игровых эпизодов в футболе

Давыдов А.А., Соколов Д.О., Царев Ф.Н. Применение генетических алгоритмов для генерации автоматов Мура и систем взаимодействующих автоматов Мили в задаче об "Умном муравье"

Клебан В.О., Шалыто А.А. Использование автоматного программирования для построения систем управления мобильными роботами

Иринев А.В. Генерация вероятностных автоматов методами Reinforcement Learning

Klebanov A. Automata-based programming technology extension for generation of JML annotated Java card code

Князев Е.Г. Автоматизированная классификация изменений программного кода для повышения эффективности задач его обзора и анализа

Абдрашитов Д.С. Применение деревьев для представления строковой информации

Акишев И.Р. Разработка и анализ параллельных поисковых структур данных, нечувствительных к размеру кеша

Astafurov A.A., Shalyto A.A. Declarative Approach to Implementing Automata Classes in Imperative Programming Languages

Применение генетического программирования для построения автоматов

Верификация автоматных программ

Царев М.Н., Царев Ф.Н. Школа информационных технологий и футбола

Automata Based Programming (внешняя ссылка: se.inf.ethz.ch)

Spichakova M. Automata Based Programming (Institute of Cybernetics at Tallinn University of Technology) (внешняя ссылка: s-ma-u-g.googlecode.com)

Давыдов А.А., Поликарпова Н.И., Соколов Д.О., Царев Ф.Н., Шалыто А.А. Разработка программного средства 3Genetic для генерации автоматов управления системами со сложным поведением

Чеботарева Ю.К. Применение генетических алгоритмов для генерации числовых последовательностей, описывающих движение, на примере шага вперед человекоподобного робота

Клебан В.О., Шалыто А.А. Применение автоматного программирования во встраиваемых системах

St. Petersburg University of IT, Mechanics & Optics and ACM International Collegiate Programming Contest (PDF)

Соколов Д.О. Применение двухэтапного генетического программирования для построения автомата, управляющего моедлью танка в игре Robocode (PDF)

Ремизов А.О., Шалыто А.А. Верификация автоматных программ

Dvorkin M. Genomics Quick Start

Капун Е.Д. Разработка метода сравнения нуклеотидных последовательностей путем разбиения на фрагменты (PDF)

Дворкин М.Э. Методы минимизации необходимого числа цепейдля секвенирования ДНК (PDF)

Клебанов А.А. Применение шаблонов требований для формальной спецификации и верификации автоматных программ

Законов А.Ю. Применение генетических алгоритмов к генерации тестов для автоматных программ

Вельдер С.Э. Оптимальные укладки графов в пространстве и их приложения к задаче выполнимости

Мандриков Е.А. Совместное использование автоматного программирования и генетических алгоритмов для управления мультиагентными системами (PDF)

Алексеев С.А. Программно-аппаратный комплекс для исследования автоматного управления мобильными роботами

Егоров К.В. Совместное применение генетического программирования и верификации моделей для построения автоматов управления системами со сложным поведением

Красильников Н.Н. Автоматное программирование (внешняя ссылка: kenai.com)

Dvorkin M. Genomics Quick Start (внешняя ссылка: is.ifmo.ru)

Технология верификации управляющих программ со сложным поведением, построенных на основе автоматного подхода

Васильев В.Н. Проект «Подготовка и переподготовка ИТ-специалистов на базе центров образования и разработок в сфере информационных технологий» (PDF)

Васильев В.Н. Опыт взаимодействия НИУ ИТМО и бизнеса. Двадцать девятое заседание Комиссии при Президенте РФ по модернизации, Покров, 21 марта 2012 (PDF)

Царев Ф. Н., Шалыто А. А. Эволюционные вычисления и генерация конечных автоматов. Третья российская конференция с международным участием «Технические и программные средства систем управления, контроля и измерения». Институт проблем управления имени В. А. Трапезникова РАН (г. Москва, Россия), 17 апреля 2012 года. Пленарный доклад. (PDF)

Подготовка и переподготовка ИТ-специалистов на базе центров образования и разработок в сфере информационных технологий (внешняя ссылка: www.i-russia.ru)

Programming World Champions from Russia

Верификация распределенных автоматных программ с использованием инструментального средства Spin (внешняя ссылка: tmpaconf.org)

Карпов Ю.Г., Шошмина И.В. На пути к практическому применению верификации в разработке программных систем (PDF)

Карпов Ю.Г., Шошмина И.В., Беляев А.Б. Верификация параллельных и распределенных программных систем (PDF)

Шошмина И.В., Карпов Ю.Г., Беляев А.Б. Моделирование и верификация распределенных систем в среде SPIN (PDF)

Slides from Konstantin Rubinov, Politecnico di Milano (PDF)

Шалыто А.А. Или бизнес помогает классным ИТ-коллективам в вузах, или нам всем труба (PDF)

Бедный Ю., Шалыто А.А. Применение генетических алгоритмов для генерации автоматов при построении модели максимального правдоподобия и в задачах управления (внешняя ссылка: rpp.nashaucheba.ru)

Кажелев С.Ю., Шалыто А.А. Автоматическая генерация кода программ с явным выделением состояний (внешняя ссылка: www.myshared.ru)

Царев Ф.Н. Теория автоматов в программировании (внешняя ссылка: hnu.docdat.com)

Итоговая конференция ФЦП "Исследования и разработки по приоритетным направлениям развития научно-технического комплекса России на 2007-2012 г."

Разработка технологии генетического программирования для генерации автоматов управления системами со сложным поведением

Технология верификации управляющих программ со сложным поведением, построенных на основе автоматного подхода

Царев Ф. Н., Шалыто А. А. Программирование олимпиадными командами как разновидность экстремального программирования для решения задач дискретной математики (на примере сборки генома). CEE-SEC(R) 2011 (PDF)

VI Всероссийская межвузовская конференция молодых ученых

Владыкин А.А. (аспир.). Эффективный разбор XML на основе автоматного подхода. (PDF)

Колесников Е.И. (аспир.). Обзор маршрутов проектирования прикладного программного обеспечения для ПЛИС/ASIC/SoC на основе языков С/С++.

Чепурной А.И. (аспир.). Выбор исполнимой модели для описания логики переходов веб-приложений.

Клебан В.О. (студ.), Стрюк Л.Е. (студ.). Моделирование бизнес-процессов с использованием конечных автоматов.

Бульёнов А.В. (аспир.). Методы автоматного программирования в разработке web-приложений.

Буздалов М.В. (студ.). Применение генетических алгоритмов для генерации тестов к олимпиадным задачам по программированию.

Вельдер С.Э. (аспир.). Верификация автоматных моделей на основе построения редуцированного графа переходов.

Стрюк Л.Е. (студ.), Клебан В.О. (студ.). Использование конечных автоматов при построении ядра микрооперационной системы реального времени.

Царев Ф.Н. (студ.). Применение метода представления функции переходов с помощью абстрактных конечных автоматов в генетическом программировании.

Попов С.О. (студ.). Метод построения детерминированных автоматов на основе использования вероятностных автоматов.

Родиков Д.Е. (студ.), Соколов Д.О. (студ.). Анализ использования нескольких функций приспособленности для построения автоматов с помощью генетических алгоритмов на примере задачи "Умный муравей 3".

Чеботарева Ю.К. (студ.). Применение генетических алгоритмов для генерации числовых последовательностей, описывающих движение, на примере шага вперед человекоподобного робота.

Федотов П.В. (студ.), Соколов Д.О. (студ.), Царев Ф.Н. (студ.). Применение генетического программирования в задаче поиска усердных бобров.

Мандриков Е.А. (студ.), Кулев В.А. (студ.). Применение автоматного программирования для построения систем управления бизнес-процессами.

Маврин П.Ю. (аспир.). Декларативное объявление сервисов в динамических компонентных системах.

VII Всероссийская межвузовская конференция молодых ученых

Вельдер С.Э. Оптимальные укладки графов в пространстве и их приложения к задаче выполнимости

I Всероссийский конгресс молодых ученых

Афанасьева А.С. Выбор функции приспособленности особей генетического алгоритма с помощью обучения с подкреплением (PDF)




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