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



Главная

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

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

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

English
 Home

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


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

Яndex



   Главная / Свидетельства (версия для печати)


Свидетельства



Автоматное программирование

Гуров В.С., Мазин М.А., Шалыто А.А. Ядро автоматного программирования // Свидетельство о регистрации программы для ЭВМ. № 2006613249. Дата регистрации - 14.09.2006. (PDF)

Гуров В.С., Мазин М.А., Шалыто А.А. Встраиваемый модуль автоматного программирования для среды разработки Eclipse // Свидетельство о регистрации программы для ЭВМ. № 2006613817. Дата регистрации - 07.11.2006. (PDF)

Буздалов М.В. Программное средство для построения управляющих конечных автоматов, решающих задачи навигации, с использованием генетических алгоритмов // Свидетельство о регистрации программы для ЭВМ. № 2011 613927. Дата регистрации - 14.07.2011.

Федотов П.В., Лиференко К.А. Виртуальная лаборатория для обучения рефакторингу автоматных программ // Свидетельство о регистрации программы для ЭВМ. № 2011615491. Дата регистрации - 14.07.2011.

Федотов П.В., Шестаков А.В. Программное средство для автоматизированных рефакторингов в инструментальном средстве Unimod // Свидетельство о регистрации программы для ЭВМ. № 2011615490. Дата регистрации - 14.07.2011.

Тяхти А.С., Царев Ф.Н., Чебатуркин А.А. Виртуальная лаборатория для обучения методам искусственного интеллекта при построении конечных автоматов // Свидетельство о регистрации программы для ЭВМ. № 2011615119. Дата регистрации - 08.09.2011.

Русин Н.С., Ульянцев В.И., Ведерников Н.В., Демьянюк В.Ю., Кротков П.А., Шалыто А.А. Программное средство преобразования полученных методами машинного обучения управляющих автоматов в формат MATLAB/Stateflow // Свидетельство о регистрации программы для ЭВМ. № 2015619224. Дата регистрации - 27.08.2015 (PDF)

Генетические алгоритмы

Буздалов М.В. Программное средство генерации тестовых данных для задачи о поиске максимального потока с использованием генетических алгоритмов // Свидетельство о регистрации программы для ЭВМ. № 2012610893. Дата регистрации - 20.01.2012.

Буздалов М.В. Программное средство исследования эволюционных алгоритмов для генерации покрывающего набора тестов // Свидетельство о регистрации программы для ЭВМ. № 2012616744. Дата регистрации - 05.10.2012.

Верификация

Лукин М.А., Шалыто А.А. Транслятор автоматной UniMod-модели во входной язык верификатора SPIN // Свидетельство о регистрации программы для ЭВМ. № 2008611181. Дата регистрации - 06.03.2008. (PDF)

Яминов Б.Р., Шатыто А.А. Расширение верификатора Bagor для верификации автоматных Unimod-моделей // Свидетельство о регистрации программы для ЭВМ. № 2008611055. Дата регистрации - 28.02.2008. (PDF)

Вельдер С.Э., Шатыто А.А. Система преобразования автоматной модели в модель Крипке и верификация CTL-свойств на ней // Свидетельство о регистрации программы для ЭВМ. № 2008614385. Дата регистрации - 11.09.2008.

Курбацкий Е.А., Шалыто А.А. Транслятор автоматной модели во входной язык верификатора SMV // Свидетельство о регистрации программы для ЭВМ. № 2008614235. Дата регистрации - 4.11.2008.

Борисенко А.А., Шалыто А.А. Программное средство для автоматической проверки контрактов и темпоральных спецификаций в среде MPS // Свидетельство о регистрации программы для ЭВМ. № 2010615076. Дата регистрации - 05.08.2010.

Генерация автоматов на основе генетического программирования

Поликарпова Н.И., Точилин В.Н. Программная система "Генетический генератор автоматов" // Свидетельство о регистрации программы для ЭВМ. № 2008610473. Дата регистрации - 25.01.2008.

Царев Ф.Н. Программное средство для построения управляющих конечных автоматов на основе обучающих примеров с использованием генетических алгоритмов // Свидетельство о регистрации программы для ЭВМ. № 2010614197. Дата регистрации - 29.06.2010.

Данилов В.Р., Шалыто А.А. Программное средство для генерации автоматов, представленных линейными бинарными графами на основе генетического программирования // Свидетельство о регистрации программы для ЭВМ. № 2010615014. Дата регистрации - 03.08.2010.

Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н. Программное средство для генерации конечных автоматов с дискретными и непрерывными выходными воздействиями // Свидетельство о регистрации программы для ЭВМ. № 2011615664. Дата регистрации - 19.07.2011.

Методы построения управляющих автоматов по сценариям работы

Ульянцев В.И., Царев Ф.Н. Программное средство для построения графа совместимости вершин дерева сценариев работы программы // Свидетельство о регистрации программы для ЭВМ. № 2012616462. Дата регистрации - 18.07.2012.

Ульянцев В.И. Программное средство для построения КНФ-формулы по графу совместимости вершин дерева сценариев работы программы // Свидетельство о регистрации программы для ЭВМ. № 2012660438. Дата регистрации - 20.11.2012.

Ульянцев В.И. Программный комплекс для построения и тестирования управляющих конечных автоматов // Свидетельство о регистрации программы для ЭВМ. № 2013619840. Дата регистрации - 17.10.2013. (PDF)

Чивилихин Д.С., Ульянцев В.И. Библиотека параллельных муравьиных алгоритмов для построения управляющих конечных автоматов // Свидетельство о регистрации программы для ЭВМ. № 2015610291. Дата регистрации - 12.01.2015. (PDF)

Закирзянов И.Т., Ульянцев В.И., Шалыто А.А. Программный комплекс методов машинного обучения DFA-Inductor для построения детерминированных конечных автоматов // Свидетельство о регистрации программы для ЭВМ. № 2016660665. Дата регистрации - 20.09.2016. (PDF)

Чивилихин Д.С., Ульянцев В.И. Программное средство для построения базисных функциональных блоков по сценариям работы // Свидетельство о государственной регистрации программы для ЭВМ. № 2017612567. Дата регистрации - 01.03.2017. (PDF)

Авдюхин Д.А., Ульянцев В.И., Чивилихин Д.С., Станкевич А.С., Шалыто А.А. Программное средство для анализа соответствия моделей сценариям исполнения // Свидетельство о регистрации программы для ЭВМ. № 2017617357. Дата регистрации - 21.09.2017. (PDF)

Автоматное и адаптивное управление

Клебан В.О., Шалыто А.А. Средство обеспечения взаимодействия автоматных программ, реализующих адаптивное управление мобильными роботами // Свидетельство о регистрации программы для ЭВМ. № 2009615456. Дата регистрации - 01.10.2009. (PDF)

Клебан В.О., Шалыто А.А. Система автоматного управления макетом безэкипажного танка // Свидетельство о регистрации программы для ЭВМ. № 2009615622. Дата регистрации - 10.08.2009. (PDF)

Чеботарева Ю.К., Шалыто А.А. Программное средство для автоматической генерации движений человекоподобного робота в среде Webots // Свидетельство о регистрации программы для ЭВМ. № 2010610927. Дата регистрации - 29.01.2010.

Алексеев С.А., Калиниченко А.И., Клебан В.О., Шалыто А.А. Программное средство для исследования автоматного управления роботами // Свидетельство о регистрации программы для ЭВМ. № 2010614264. Дата регистрации - 30.06.2010.

Автоматное программирование на функциональных языках

Малаховски Я.М., Шалыто А.А. Библиотека поддержки автоматного программирования для языка Haskell // Свидетельство о регистрации программы для ЭВМ. № 2010614196. Дата регистрации - 29.06.2010.

Геном

Александров А.В., Исенбаев В.В., Казаков С.В., Мельников С.В., Сергушичев А.А., Царев Ф.Н. Программное средство для удаления ошибок из набора чтений нуклеотидной последовательности // Свидетельство о регистрации программы для ЭВМ. № 2011614454. Дата регистрации - 06.06.2011. (PDF)

Александров А.В., Казаков С.В., Мельников С.В., Сергушичев А.А., Федотов П.В., Царев Ф.Н. Программное средство для сборки квазиконтигов из парных чтений // Свидетельство о регистрации программы для ЭВМ. № 2012614488. Дата регистрации - 27.07.2012.

Александров А.В., Казаков С.В., Царев Ф.Н., Сергушичев А.А., Федотов П.В. Программное средство, реализующее алгоритм поиска перекрытий между квазиконтигами // Свидетельство о регистрации программы для ЭВМ. № 2013616471. Дата регистрации - 09.07.2013 (PDF)

Александров А., Казаков С., Царев Ф., Сергушичев А., Федотов П. Программное средство, реализующее запуск этапов сборки генома через графический интерфейс пользователя // Свидетельство о регистрации программы для ЭВМ № 2013619155. Дата регистрации - 26.09.2013. (PDF)

Александров А.В., Казаков С.В., Сергушичев А.А. Программное средство, реализующее алгоритм упрощения графа перекрытий при сборке геномных последовательностей. № 2013660881. Дата регистрации - 21.11.2013 (PDF)

Александров А.В., Казаков С.В., Сергушичев А.А. Программное средство, реализующее алгоритм исправления ошибок вставки и удаления в наборе чтений нуклеотидной последовательности // Свидетельство о регистрации программы для ЭВМ. № 2013660882. Дата регистрации - 21.11.2013 (PDF)

Лобода А.А., Сергушичев А.А. Программа для решения обобщенной задачи поиска связного подграфа максимального веса // Свидетельство о регистрации программы для ЭВМ. № 2018612213. Дата регистрации - 14.02.2018.

"Рекорд мира" - 28 ноября 2018 г. подано. 19 декабря того же года зарегистрировано! Сергушичев А.А., Артемов М.Н., Зенкова Д.М., Каменев В.В., Саблина М.М., Шалыто А.А. Программное средство для визуального и интерактивного анализа экспрессии генов // Свидетельство о регистрации программы для ЭВМ. №2018666621. Дата регистрации - 19.12.2018. (PDF)

Разное

Чивилихин Д.С., Корнеев Г.А., Сергушичев А.А., Станкевич А.С., Ульянцев В.И., Буздалов М.В., Шалыто А.А. Программное средство для тестирования кибер-физических систем в замкнутом цикле на основе проверки моделей. Свидетельство о регистрации программы для ЭВМ. №2018619730. Дата регистрации - 11.07.2018. (PDF)

Бужинский И.П., Закирзянов И.Т., Миронович В.А., Казаков С.В., Лукин М.А., Буздалова А.С., Ульянцев В.И., Шалыто А.А. Программное средство для генерации дискретной формальной модели объекта управления по примерам поведения. Свидетельство о регистрации программы для ЭВМ. №2018619728. Дата регистрации - 11.07.2018 (PDF)

Буздалов М.В., Царев Ф.Н., Шалыто А.А. Программное средство генерации входных данных для задачи о минимальной общей надстроке. Свидетельство о регистрации программы для ЭВМ. № 2013 610658 от 09.01.2013. (PDF)

Буздалов М.В., Буздалова А.С. Программная библиотека для исследования и сравнения различных методов машинного обучения. Свидетельство о регистрации программы для ЭВМ. № 2015610563. Дата регистрации - 13.01.2015. (PDF)




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