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



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

Гуров В.С., Мазин М.А., Шалыто А.А. Ядро автоматного программирования // Свидетельство о регистрации программы для ЭВМ. № 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)

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

Клебан В.О., Шалыто А.А. Средство обеспечения взаимодействия автоматных программ, реализующих адаптивное управление мобильными роботами // Свидетельство о регистрации программы для ЭВМ. № 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)

Разное

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

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