Программные продукты

Роспатент

2012611397
1. Дубинин В.Н., Реуцкий В.А. Система семантического анализа проектов стандарта IEC 61499 // Федеральная служба по интеллектуальной собственности. – Свидетельство о гос. регистрации программы для ЭВМ № 2012611397 от 03.02.2012.
2012611398
2. Дубинин В.Н., Шестаков С.К. Транслятор XML-описаний NCES-сетей в код SMV // Федеральная служба по интеллектуальной собственности. – Свидетельство о гос. регистрации программы для ЭВМ № 2012611398 от 03.02.2012.
2013615412
3. Дроздов Д.Н., Дубинин В.Н. Транслятор XML-описания функциональных блоков стандарта IEC 61499 в код VHDL // Федеральная служба по интеллектуальной собственности. – Свидетельство о гос. регистрации программы для ЭВМ № 2013615412 от 06.06.2013.
2013615737
4. Дубинин В.Н., Вашкевич Н.П. Конвертор UML-FB-моделей систем управления на основе стандарта IEC 61499 в формат XML // Федеральная служба по интеллектуальной собственности. – Свидетельство о гос. регистрации программы для ЭВМ № 2013615737 от 19.06.2013.
2013615873
5. Дубинин, В.Н. Визуальная интерактивная имитационная модель производственной установки FESTO на основе функциональных блоков IEC 61499 // Федеральная служба по интеллектуальной собственности. – Свидетельство о гос. регистрации программы для ЭВМ № 2013615837 от 21.06.2013.
2013616261
6. Дубинин В.Н., Вашкевич Н.П., Колесин А.В., Тяпков А.М. Система реструктуризации и преобразований функциональных блоков на основе трансформации графов / В.Н. Дубинин, // Федеральная служба по интеллектуальной собственности. – Свидетельство о гос. регистрации программы для ЭВМ № 2013616261 от 02.07.2013.
2013617850
7. Вашкевич Н.П., Дубинин В.Н., Демин Е.С. Транслятор XML-описаний иерархических модульных недетерминированных автоматов в код VHDL // Федеральная служба по интеллектуальной собственности. – Свидетельство о гос. регистрации программы для ЭВМ № 2013617850 от 26.08.2013.
2013619797
8. Будаговский Д.А., Дубинин В.Н., Вашкевич Н.П. Транслятор XML-описаний иерархических модульных недетерминированных автоматов в программы ПЛК в формате PLCOpen XML / Д.А. Будаговский, В.Н. Дубинин, Н.П. Вашкевич // Федеральная служба по интеллектуальной собственности. – Свидетельство о гос. регистрации программы для ЭВМ № 2013619797 от 16.10.2013.
2013661346
9. Вашкевич Н.П., Дубинин В.Н.,  Тумасов С.В., Демин Е.С. Комплекс программ для поддержки проектирования дискретных событийных систем на основе недетерминированных автоматов // Федеральная служба по интеллектуальной собственности. – Свидетельство о гос. регистрации программы для ЭВМ № 2013661546 от 10.12.2013.
2013661891
10. Дубинин В. Н., Дроздов Д. Н. Транслятор XML-описания функциональных блоков стандарта IEC 61499 в код SMV // Федеральная служба по интеллектуальной собственности. Свидетельство о гос. регистрации программы для ЭВМ № 2013661891 от 18.12.2013.
2014617541
11. Дубинин В. Н., Тумасов С. В., Тархов К. Ю. Программный комплекс для синтеза запрещающих правил для контроллеров безопасности на основе реверсивных sNCES-сетей // Федеральная служба по интеллектуальной собственности. Свидетельство о гос. регистрации программы для ЭВМ № 2014617541 от 28.07.2014.
2014662724
12. Дубинин В. Н., Еремин А.А., Пащенко Д.В. Транслятор технологических схем MS Visio в формат XML // Федеральная служба по интеллектуальной собственности. Свидетельство о гос. регистрации программы для ЭВМ № 2014662724 от 08.12.2014.
2014662723
13. Дубинин В. Н., Калачев А.В., Коннов Н.Н. Анализатор-транслятор технологических схем АСУ ТП // Федеральная служба по интеллектуальной собственности. Свидетельство о гос. регистрации программы для ЭВМ № 2014662723 от 08.12.2014.
2015616383
14. Дроздов Д.Н., Дубинин В.Н., Пащенко Д.В. Система поддержки верификации систем функциональных блоков стандарта IEC 61499 на основе метода Model Checking // Федеральная служба по интеллектуальной собственности. Свидетельство о гос. регистрации программы для ЭВМ № 20156163836 от 09.06.2015.
2015613346
15. Демин Е.С., Дубинин В.Н., Пащенко Д.В., Трокоз Д.А. Транслятор XML-описания функциональных блоков IEC 61499 в код Prolog // Федеральная служба по интеллектуальной собственности. Свидетельство о гос. регистрации программы для ЭВМ № 2015613346 от 18.06.2015.
2018612517
16. Войнов А.С., Дроздов Д.Н., Дубинин В.Н., Сенокосов И.В. Транслятор SCL-описаний в функционально-блочное представление человеко-машинного интерфейса электроподстанций IEC 61850 // Федеральная служба по интеллектуальной собственности. Свидетельство о гос. регистрации программы для ЭВМ № 2018612517 от 19.02.2018.
2018612150
17. Войнов А.С., Дроздов Д.Н., Дубинин В.Н., Сенокосов И.В. Транслятор описания селектирующих автоматов в замкнутую модель системы сортировки последовательностей деталей // Федеральная служба по интеллектуальной собственности. Свидетельство о гос. регистрации программы для ЭВМ № 2018612150 от 13.02.2018.
2018613063
18. Дроздов Д.Н., Миронова Е.Е., Дубинин В.Н., Войнов А.С., Сенокосов И.В. Транслятор описаний сетей Петри в код SMV для определения их поведенческой эквивалентности на основе метода Model checking // Федеральная служба по интеллектуальной собственности. Свидетельство о гос. регистрации программы для ЭВМ № 2018613063 от 02.03.2018.
2018613272
19. Войнов А.С., Сенокосов И.В., Дубинин В.Н. Транслятор SCL-описаний цифровых подстанций МЭК 61850 в набор фактов языка Пролог // Федеральная служба по интеллектуальной собственности. Свидетельство о гос. регистрации программы для ЭВМ № 2018613272 от 6.03.2018.
2018619144
20. Сенокосов И.В., Войнов А.С., Дубинин В.Н. Функционально-блочная реализация магазинного автомата для распознавания языка скобочных арифметических выражений // Федеральная служба по интеллектуальной собственности. Свидетельство о гос. регистрации программы для ЭВМ № 2018619144 от 01.08.2018.
2018618704
21. Войнов А.С., Сенокосов И.В., Дубинин В.Н. Система трансформации графов для детерминизации недетерминированных автоматов // Федеральная служба по интеллектуальной собственности. Свидетельство о гос. регистрации программы для ЭВМ № 2018618704 от 19.07.2018.
2018617748
22. Сенокосов И.В., Войнов А.С., Дубинин В.Н. Система трансформации графов для преобразования регулярных выражений алгебры событий в систему канонических уравнений недетерминированного автомата // Федеральная служба по интеллектуальной собственности. Свидетельство о гос. регистрации программы для ЭВМ № 2018617748 от 29.06.2018.
2018618707
23. Войнов А.С., Сенокосов И.В., Дубинин В.Н. Функционально-блочная модель защиты от перегрузок цифровых подстанций МЭК 61850 // Федеральная служба по интеллектуальной собственности. Свидетельство о гос. регистрации программы для ЭВМ № 2018618707 от 19.07.2018.
2018616939
24. Дубинин В.Н., Беззатеев И.А., Войнов А.С., Сенокосов И.В. Функционально-блочная реализация распределенного семафора на основе алгоритма Raft // Федеральная служба по интеллектуальной собственности. Свидетельство о гос. регистрации программы для ЭВМ № 2018616939 от 09.06.2018.
2018618831
25. Дубинин В.Н., Беззатеев И.А., Войнов А.С., Сенокосов И.В. Функционально-блочная реализация распределенного семафора на основе алгоритма Paxos // Федеральная служба по интеллектуальной собственности. Свидетельство о гос. регистрации программы для ЭВМ № 2018618831 от 20.07.2018.

ОФЭРНиО

16415
1. Лепилин И.Б., Вашкевич Н.П., Дубинин В.Н. Графический редактор сетевого представления недетерминированных автоматов // Объединенный фонд электронных ресурсов ”Наука и образование” (ОФЭРНиО). – Свидетельство о регистрации электронного ресурса № 16415 от 24.11.2010; Инв.номер ВНТИЦ № 0201050162.
17908
2. Кутузов В.В., Дубинин В.Н. Конвертор многоуровневых модульных NCES-сетей в одноуровневые NCES-сети // Объединенный фонд электронных ресурсов ”Наука и образование” (ОФЭРНиО). – Свидетельство о регистрации электронного ресурса № 17908 от 16.02.2012; Инв.номер ВНТИЦ № 50201250260 от 21.02.2012.
18008
3. Пашков Н.А., Дубинин В.Н. Система моделирования на основе нечетких сетей Петри // Объединенный фонд электронных ресурсов ”Наука и образование” (ОФЭРНиО). – Свидетельство о регистрации электронного ресурса № 18008 от 05.03.2012; Инв.номер ВНТИЦ № 50201250331 от 20.03.2012.
19131
4. Дубинин В.Н. Комплекс программ «Петрис» для моделирования и исследования сетей Петри // Объединенный фонд электронных ресурсов ”Наука и образование” (ОФЭРНиО). – Свидетельство о регистрации электронного ресурса № 19131 от 22.04.2013; Инв.номер ВНТИЦ № 50201350438 от 17.05.2013.
19132
5. Дубинин В.Н., Раскин С.И. Конвертор XML-описаний систем управления на основе стандарта IEC 61499 в UML-FB-модели // Объединенный фонд электронных ресурсов ”Наука и образование” (ОФЭРНиО). – Свидетельство о регистрации электронного ресурса №  19132 от 22.04.2013; Инв.номер ВНТИЦ № 50201350439от 17.05.2013 .

Фонды алгоритмов и программ

 

1. Дубинин В.Н., Зинкин С.А. Система имитационного моделирования функционально-децентрализованных вычислительных систем; Пенз. политехн. ин-т. - Пенза, 1986. - 161 с. – Гос. фонд алгоритмов и программ СССР; Инв. № 50870001130 // Алгоритмы и программы: Инф.бюл. - М.: ВНТИЦентр, 1988. - № 2. – С.10.

 
2. Дубинин В.Н., Зинкин С.А. Программа автоматического документирования GPSS-моделей. - Пенз. политехн. ин-т. - Пенза, 1986. - 32 с. - Гос. фонд алгоритмов и программ СССР; Инв. № 50870001129.
 
3. Дубинин В.Н., Зинкин С.А.Язык и система спецификации, верификации и имитационного моделирования иерархически структурированных вычислительных и дискретных систем. - Пенз. политехн. ин-т. - Пенза, 1987. - 130 с. -Республиканский фонд алгоритмов и программ Белорусской ССР; Инв. № 00499.