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