Список публикаций Дубинина В.Н.

1. Дубинин В.Н., Кулагин В.П., Зинкин С.А. Система моделирования на основе сетей Петри // Тезисы докладов Всесоюзной науч.-техн. конф. "Автоматизация исследования, эргономического проектирования и испытаний сложных человеко-машинных систем", ч.2. - Л., 1983. - С.82-83

2. Дубинин В.Н., Зинкин С.А. Система моделирования подсистем ВЗУ // Тезисы Всесоюзной науч.-техн. конф. "Развитие теории и техники хранения информации". - Пенза, 1983. - С.34-35

3. Раков Б.М., Зинкин С.А., Дубинин В.Н. Реализация уровней параллельности в системах ВЗУ // Вопросы радиоэлектроники: Науч.-техн. сб. Сер. ЭВТ. - 1983. - Вып.11. - С.75-82

4. Дубинин В.Н., Зинкин С.А. Моделирование подсистем внешней памяти ЭВМ с использованием иерархических сетей // Вычислительная техника в автоматизированных системах контроля и управления: Межвуз. сб. науч. тр. - Пенза: ППИ, 1984. - Вып.14. - С.44-50

5. Вашкевич Н.П., Дубинин В.Н., Зинкин С.А. и др. Проектирование подсистем внешних запоминающих устройств с прямым доступом на основе сетевых моделей // Вопросы радиоэлектроники: Науч.-техн. сб. Сер. ЭВТ. - 1984. - Вып.13. - С.78-82

6. Дубинин В.Н., Зверев С.Л., Зинкин С.А. Микропроцессорная система для дисковой подсистемы с кэш-памятью // Тезисы докладов областной науч.-техн. конф. "Микропроцессорные системы и персональные компьютеры". - Смоленск, 1985. - С.40-42

7. Дубинин В.Н. Моделирование систем на основе сетевых формализмов // Тезисы докладов зонального семинара "Повышение эффективности автоматизированных средств восприятия и обработки информации". - Пенза: ПДНТП, 1985. - С.58

8. Дубинин В.Н. Иерархическая структуризация сетевых моделей подсистем ввода вывода ЭВМ // Вычислительная техника в автоматизированных системах контроля и управления: Межвуз. сб. науч. тр. - Пенза: ППИ, 1985. - Вып.15. - С.33-39. (pdf)

9. Дубинин В.Н. Организация моделирования подсистем ввода-вывода ЭВМ // Вычислительная техника в автоматизированных системах контроля и управления: Межвуз. сб. науч. тр. - Пенза: ППИ, 1986. - Вып.16. - С.36-44. (pdf)

10. Дубинин В.Н. Использование сетевых моделей в автоматизированном проектировании распределенных подсистем ввода-вывода ЭВМ // Тезисы докладов 3-й Всесоюзной конф. молодых ученых и специалистов приборостроительной промышленности. Выпуск 6, 7, 8. - М.: ЦНИИТЭИ приборостроения, 1986. - С.41-42

11.  Дубинин В.Н., Зинкин С.А. Система структурного проектирования вычислительных систем на основе сетевых формализмов / Пенз. политехн. ин-т. - Пенза, 1987. - 114 с. - Деп. В ВИНИТИ 26.01.87, № 555-В87

12.  Дубинин В.Н., Зинкин С.А. Верификация алгоритмов функционирования и оценка производительности подсистем ввода-вывода вычислительных комплексов на основе сетевых формализмов / Пенз. политехн. ин-т. - Пенза, 1987. - 122 с. - Деп. В ВИНИТИ 24.09.87, № 6871-В87

13.  Дубинин В.Н., Зинкин С.А. Реализация управления кэш-памятью в подсистемах дисковых ЗУ с использованием специализированных контроллеров // Тезисы докладов Всесоюзной науч.-техн. конф. "Проектирование внешних запоминающих устройств на подвижном носителе". - Пенза, 1988. - С.133

14.  Дубинин В.Н., Зинкин С.А. Проектирование распределенных микропроцессорных систем на основе сетевых формализмов // Тезисы докладов Пятой Всесоюзной конф. по проблемам управления развитием систем. - Саратов, 1988. - С.14

15.  Дубинин В.Н., Зинкин С.А. Язык и система моделирования функционально-децентрализованных вычислительных систем // Вычислительная техника в автоматизированных системах контроля и управления: Межвуз. сб. науч. тр. - Пенза: ППИ, 1988. - Вып.18. - С.37-42

16.  Дубинин В.Н., Зинкин С.А. Спецификация и верификация протоколов связи информационно-вычислительных систем с моноканальной архитектурой.- Отчет о НИР. Госег. № 01.86.01.86.0099210. Часть 1. - Пенза: ППИ, 1986. - 55 с.

17.  Дубинин В.Н., Зинкин С.А. Спецификация и верификация протоколов связи информационно-вычислительных систем с моноканальной архитектурой. - Отчет о НИР. Госег. № 01.86.01.86.0099210. Часть 2. - Пенза: ППИ, 1986. - 56 с.

18.  Дубинин В.Н., Зинкин С.А. Спецификация и верификация периферийных систем управления. - Отчет о НИР. Госег. № 01.83.0075661. - Пенза: ППИ, 1985. - 145 с.

19.  Дубинин В.Н. Разработка архитектуры, методов и средств проектирования периферийных систем управления ЭВМ. - Диссертация на соискание ученой степени кандидата технических наук. - Пенза, 1989. - 304 с. (pdf)

20.  Дубинин В.Н. Разработка архитектуры, методов и средств проектирования периферийных систем управления ЭВМ. - Автореф. дис… канд.техн.наук. -Рязань, 1989. - 20 с. (pdf)

21.  Вашкевич Н.П., Дубинин В.Н., Зверев С.Л., Зинкин С.А. Проектирование интеллектуальных систем управления массовой памятью на основе функционального подхода // Моделиране и симулиране на човешката памет - МНЕМО'89: Тезисы докладов 3-й научно-техн. конф. с международным участием "ДЗУ'89". - Варна (НРБ), 1989, - С.24-26

22.  Дубинин В.Н., Зинкин С.А. Экспертная система для верификации и проектирования алгоритмов функционирования систем управления внешней памятью ЭВМ // Тезисы докладов Всесоюзной науч.-техн. конф. "Практика применения баз данных для решения информационно-поисковых задач и задач управления". - Пенза: ПДНТП, 1989. - С.28-29

23.  Вашкевич Н.П., Дубинин В.Н., Зинкин С.А. Лингвистический подход к проектированию информационно-управляющих мультимикропроцессорных систем // Тезисы докладов Второй Всесоюзной науч.-техн. конф. "Микропроцессорные системы автоматики".- Новосибирск, 1990. - С.112-113

24.  Дубинин В.Н., Зверев С.Л.. Разработка технологии проектирования интеллектуальных систем управления внешней памятью ЭВМ // Информатика в технологии приборостроения: Материалы Всесоюзного семинара, Ленинград, июнь 1990. - С.115-118

25.  Вашкевич Н.П., Дубинин В.Н. Моделирование и верификация систем управления внешней памятью ЭВМ с использованием системы продукций // Тезисы докладов Республиканской науч.-техн. конф. "Базы данных и экспертные системы в АСНИ". - Севастополь, 1990

26.  Дубинин В.Н., Зинкин С.А., Дудкин А.М. Спецификация и верификация подсистем ввода-вывода ЭВМ // Вопросы радиоэлектроники: Науч.-техн. Сб. СерВТ. - 1988. - Вып.14. - С.63-70. (pdf)

27.  Дубинин В.Н., Зинкин С.А. Принципы построения и исследования сети внешних запоминающих устройств с моноканальной архитектурой // Тезисы докладов Республиканской науч.-техн. конф. "Моделирование, проектирование и производство систем внешних ЗУ ЭВМ". - Пенза: ПДНТП, 1990. - с.69-71

28.  Дубинин В.Н., Зинкин С.А. Проектирование систем внешних ЗУ на магнитных дисках для супер-ЭВМ // Материалы Всесоюзного науч.-техн. семинара "Периферийные устройства ЭВМ и систем". - М.: МДНТП, 1991. - С.22-26

29.  Дубинин В.Н., Зинкин С.А. Формализованное описание и верификация коммуникационных структур сетей внешних ЗУ // Материалы Всесоюзного науч.-техн. семинара "Периферийные устройства ЭВМ и систем". - М.: МДНТП, 1991. - С.27-32

30.  Дудкин А.М., Дубинин В.Н., Зинкин С.А. Использование методов искусственного интеллекта при проектировании интеллектуальных систем управления внешней и массовой памятью ЭВМ // Вопросы радиоэлектроники: Науч.-техн. Сб. СерВТ. - 1990. - Вып.13. - С.16-36

31.  Дубинин В.Н., Зверев С.Л. Применение машинной графики в структурном проектировании информационно-управляющих систем // Материалы Зонального семинара "Применение машинной графики в моделировании и обучающих системах". - Пенза: ПДНТП, 1990. - С.27-29

32.  Дубинин В.Н., Зверев С.Л. Об одном подходе к проектированию аппаратно-программного обеспечения систем искусственного интеллекта // Тезисы докладов Зональной конф. "Математические и программные методы проектирования информационных и управляющих систем". - Пенза, 1990. - С.113-115

33.  Вашкевич Н.П., Дубинин В.Н., Зверев С.Л. Проектирование высокопроизводительных продукционных систем // Тезисы докладов Второй Всесоюзной науч.-техн. конф. "Повышение эффективности средств обработки информации на базе математического и машинного моделирования". - Тамбов, 1991. - С.244-245

34.  Дубинин В.Н., Зверев С.Л., Зинкин С.А. Разработка интеллектуальной САПР систем управления внешней памятью высокопроизводительных ЭВМ // Материалы Международной науч.-техн. конф. "Программное обеспечение ЭВМ". - Тверь, 1990. - С.64-66

35.  Дубинин В.Н., Зинкин С.А. Использование временной логики в системах спецификации и верификации дисковых файловых систем // Материалы IX cимпозиума "Эффективность, надежность и качество систем "человек-техника". - Воронеж, 1990. - Часть 1. - С.110-111

36.  Дубинин В.Н., Зверев С.Л. Проектирование специализированных транспьютерных вычислительных систем на основе диаграмм потоков данных // Материалы Первого Всесоюзного научно-практического семинара по автоматизации инженерного труда ("Жизнь и компьютер"). - Харьков, 1990, - С.141-146

37.  Вашкевич Н.П., Дубинин В.Н., Зверев С.Л., Зинкин С.А. Автоматизация проектирования дисковых подсистем внешней памяти ЭВМ // Материалы Первого Всесоюзного научно-практического семинара по автоматизации инженерного труда ("Жизнь и компьютер"). - Харьков, 1990, - С.133-138

38.  Дубинин В.Н. Распределенные файловые системы для сети персональных ЭВМ // Материалы Зонального семинара "Микропроцессоры в системах контроля и управления". - Пенза: ПДЭНТЗ, 1991. - С 39-40

39.  Дубинин В.Н., Зверев С.Л., Зинкин С.А. Аппаратная поддержка функций управления базами знаний в системах искусственного интеллекта // Вычислительная техника в автоматизированных системах контроля и управления: Межвуз. сб. науч. тр. - Пенза: ППИ, 1991. - Вып.21. - С.66-72

40.  Вашкевич Н.П., Дубинин В.Н., Зинкин С.А. Использование методов искусственного интеллекта при проектировании интеллектуальных систем управления внешней и массовой памятью ЭВМ // Техническая кибернетика. Известия АН СССР. - N 5. - 1991. -С.63 – 74. (pdf)

41.  Дубинин В.Н., Зинкин С.А. Спецификация и верификация процессов обмена информацией в вычислительных системах и сетях: Учеб. пособие. - Пенза: Изд-во Пенз. политехн. ин-та. – 1992. – 95 с. (pdf)

42.  Дубинин В.Н., Зверев С.Л. Системы дедуктивного вывода и решение логических задач: Метод. указания. - Пенза: Изд-во Пенз. политехн. ин-та. – 1993. – 60 с. (pdf)

43.  Дубинин В.Н, Зверев С.Л. Проектирование структуры технологических процессов с помощью графических примитивов // Материалы Межреспубликанской конференции "Повышение эффективности средств обработки информации на базе математического и машинного моделирования". - Тамбов: ТВВАИУ, 1993. - С.380-381

44.  Дубинин В.Н. Построение экспертных систем для верификации и моделирования коммуникационных протоколов // Материалы Межреспубликанской конференции "Повышение эффективности средств обработки информации на базе математического и машинного моделирования". - Тамбов: ТВВАИУ, 1993. - С.263-264

45.  Дубинин В.Н. Структурное проектирование программного обеспечения распределенных вычислительных систем // Тезисы докладов Международной конференции "Информационные технологии и системы". - Воронеж, 1993. - С.41

46.  Вашкевич Н.П., Дубинин В.Н., Зверев С.Л. Проектирование технологических процессов в распределенной САПР ТП // Материалы Второй Международной науч.-техн. конф. "Актуальные проблемы фундаментальных наук". - Москва, 1994

47.  Dubinin V.N., Vashkevich N.P. Net formalism based tools for design, verification and implementation of distributed systems // Proc. EAST-WEST International Conf. "Information Technology in Design" (EWITD'94), Moscow, Russia , September 1994, part 2. - pp.170-174

48.  Tuzilov I.V., Dubinin V.N., Finogeev A.G., "Ontological knowledge representation", Proc. International Sci. Techn. Conf. "New Information Technologies and Systems (NITS'94)", Penza, Russia , 1994, p.52

49.  Dubinin V.N., Tarasov A.V., "Organization of data-driven computation in local area network", Proc. International Sci. Techn. Conf. "New Information Technologies and Systems (NITS'94)", Penza, Russia , 1994, pp.75-76

50.  Dubinin V.N., "SIMS-M - a software package for design and implementation of distributed systems on the basis of local area network", Proc. International Sci. Techn. Conf. "New Information Technologies and Systems (NITS'94)", Penza, Russia , 1994, pp.77-78

51.  Дубинин В.Н. Язык логических запросов к базе данных о переходах состояний для верификации дискретных систем // Материалы Международной науч.-техн. конф. "Новые информационные технологии и системы". - Пенза, 1994. - С.59

52.  Дубинин В.Н., Дорошенко И.Н. Исследование моделей переходов состояний с использованием концепции распределенной обработки // Материалы Международной науч.-техн. конф. "Новые информационные технологии и системы". - Пенза, 1994. - С.73-74

53.  Дубинин В.Н., Гусаров С.В. Сетевые спецификации и моделирование параллельных взаимодействующих интеллектуальных систем с использованием языков искусственного интеллекта // Материалы Международной науч.-техн. конф. "Новые информационные технологии и системы". - Пенза, 1994. - С.72

54.  Вашкевич Н.П., Дубинин В.Н., Зверев С.Л. Структура и функциональные возможности САПР ТП токарной обработки // Материалы Международной науч.-техн. конф. "Новые информационные технологии и системы". - Пенза, 1994. - С.143-144

55.  Дубинин В.Н., Москалянов Е.В. Установление коллективного соединения в локальной вычислительной сети / Пенз. гос. техн.ун-т. - Пенза, 1995. - 42 с. - Деп. В ВИНИТИ 12.04.95, № 1000-В95 (pdf)

56.  Дубинин В.Н. Об одном подходе к разработке программного обеспечения распределенных вычислительных систем и сетей на основе ПЭВМ // Вычислительная техника в автоматизированных системах контроля и управления: Межвуз. сб. науч. тр. - Пенза: ПГТУ, 1995. - Вып.23. - С.14-22. (pdf)

57.  Дубинин В.Н. Вычисление логических запросов, основанных на временной логике / Пенз. гос. техн.ун-т. - Пенза, 1996. - 54 с. - Деп. В ВИНИТИ 14.02.96, № 488-В96 (pdf)

58.  Дубинин В.Н. ПЕТРИС - комплекс программ для графического моделирования расширенных сетей Петри / Пенз. гос. техн.ун-т. - Пенза, 1996. - 54 с. - Деп. В ВИНИТИ 23.07.96, № 2502-В96 (pdf)

59.  Бондаренко Л.А., Былкин В.Д., Дубинин В.Н. Об одной методике интерпретации электрокардиограмм // IX Международная конф. "Математические методы в химии и химической технологии": Тезисы докладов. - Тверь: ТГТУ, 1995. - Ч.4. - С.128

60.  Дубинин В.Н. Программирование на языке Лисп: Метод. указания к выполнению лабораторных работ. - Пенза: Изд-во Пенз. гос. техн. ун-та. – 1996. – 46 с. (pdf)

61.  Дубинин В.Н., Зинкин С.А. Сетевые спецификации, моделирование и проектирование вычислительных комплексов, систем и сетей: Учеб. пособие. – Пенза: Изд-во Пенз. гос. техн. ун-та. – 1996. – 322 с. (pdf)

62.  Dubinin V.N. Design of distributed CAD systems on the basis of local area network // Proc.EAST-WEST International Conf. "Information Technology in Design (EWITD'96)"., Moscow, Russia , July 1996. - pp.152-155

63.  Дубинин В.Н. Многоадресная транспортировка данных в локальной сети с шинной топологией // Материалы 2-й Международной науч.-техн. конф. "Новые информационные технологии и системы", Часть 1. - Пенза, 1996. - С.131-132

64.  Дубинин В.Н. Библиотека поддержки реализации распределенных вычислительных систем на основе локальной сети // Материалы 2-й Международной науч.-техн. конф. "Новые информационные технологии и системы", Часть 1. - Пенза, 1996. - С.141-143

65.  Дубинин В.Н. Комплекс программ для графического моделирования расширенных сетей Петри // Материалы 2-й Международной науч.-техн. конф. "Новые информационные технологии и системы", Часть 2. - Пенза, 1996. - С.96-98

66.  Дубинин В.Н. Интерпретация логических запросов, основанных на временной логике // Материалы 2-й Международной науч.-техн. конф. "Новые информационные технологии и системы", Часть 1. - Пенза, 1996. - С.73-74

67.  Дубинин В.Н. Децентрализованное управление распределенными данными в локальной вычислительной сети // Материалы 2-й Международной науч.-техн. конф. "Новые информационные технологии и системы", Часть 1. - Пенза, 1996. - С.139-141

68.  Дубинин В.Н. Инструментальные средства для проектирования, верификации и реализации распределенных вычислительных систем на основе локальной сети // Вычислительная техника в автоматизированных системах контроля и управления: Межвуз. сб. науч. тр. - Пенза: ПГТУ, 1996. - Вып.24. - С.43-49

69.  Дубинин В.Н., Зинкин С.А. Языки логического программирования в проектировании вычислительных систем и сетей: Учеб. пособие. – Пенза: Изд-во Пенз. гос. техн. ун-та. – 1997. – 88 с. (pdf)

70.  Дубинин В.Н. Децентрализованное управление распределенными данными в локальной вычислительной сети: спецификация, моделирование, реализация и применение в распределенных вычислениях / Пенз. гос. техн.ун-т. - Пенза, 1997. - 78 с. - Деп. В ВИНИТИ 10.06.97, № 1946-В97 (pdf)

71.  Разработка САПР ТП с элементами искусственного интеллекта и средств их проектирования на основе ЛВС: В 3 кн.: Отчет о НИР / Кн.1: Разработка методов и средств проектирования распределенных САПР на основе локальной вычислительной сети / Н.П.Вашкевич, В.Н.Дубинин, С.Л.Зверев. - Гос. рег.№ 01.9.50001883. - Пенза. - Пенз. гос. техн. ун-т, 1997. - 216 с.

72.  Дубинин В.Н. Сетевое представление и интерпретация программ распределенной обработки в ЛВС // Материалы 3-й Международной науч.-техн. конф. "Новые информационные технологии и системы". - Пенза, 1998. - С.46-47

73.  Дубинин В.Н. Организация групповых взаимодействий в вычислительных сетях // Материалы 3-й Международной науч.-техн. конф. "Новые информационные технологии и системы". - Пенза, 1998. - С.45-46

74.  Вашкевич Н.П., Дубинин В.Н., Зверев С.Л. САПР ТП токарной обработки: структура и функциональные возможности // Вычислительная техника в автоматизированных системах контроля и управления: Межвуз. сб. науч. тр. - Пенза: ПГУ, 1998. - Вып.25. - С.60-67. (pdf)

75.  Дубинин В.Н. Проектирование и реализация распределенных систем на основе локальной вычислительной сети: Метод. указания к выполнению лабораторных работ. – Пенза: Пенза: Изд-во Пенз. гос. техн. ун-та. – 1999. – 74 с. (pdf)

76.  Дубинин В.Н. Организация и проектирование интеллектуальных распределенных вычислительных систем с групповыми взаимодействиями // Вычислительная техника в автоматизированных системах контроля и управления: Межвуз. сб. науч. тр. - Пенза: ПГУ, 1999. - Вып.26. - С.31-38. (pdf)

77.  Дубинин В.Н. Работа с базами данных в архитектуре клиент-сервер: Метод. указания к выполнению лабораторных работ. – Пенза: Изд-во Пенз. гос. ун-та. – 2000. – 91 с. (pdf)

78.  Дубинин В.Н. Использование SQL-сервера в лабораторном практикуме по базам данных // Университетское образование: Сб. материалов 4-й Междунар. Науч.-методич. конф. Часть 3. – Пенза: ПДЗ, 2000. – С. 8-10

79.  Дубинин В.Н. Нечеткие группы и взаимодействия в вычислительных сетях // Материалы 4-й Междунар. науч.-техн. конф. “Новые информационные технологии и системы” (НИТС’2000). – Пенза, 2000. – С.83-84

80.  Дубинин В.Н. Распределенная интерпретация логических запросов для исследования сетевых структур // Материалы 4-й Междунар. науч.-техн. конф. “Новые информационные технологии и системы” (НИТС’2000). – Пенза, 2000. – С.84-85

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

82.  Дубинин В.Н., Зинкин С.А. Язык и система спецификации , верификации и имитационного моделирования вычислительных и дискретных систем / Республиканский фонд алгоритмов и программ БССР, № 00499, 1987, 130 с.

83.  Вашкевич Н.П., Дубинин В.Н., Дудкин А.М., Зверев С.Л., Зинкин С.А., Раков Б.М. Система внешних запоминающих устройств на магнитных дисках. - Авторское свидетельство N 1462411. Заявлено 10.03.85. Публикация 28.02.89. - ВНИИПИ 122-11-89 // Бюллетень изобретений.- № 8. - 1989. - С.263. (html)

84.  Дубинин В.Н., Зинкин С.А. Программа автоматического документирования GPSS-моделей / Гос. фонд алгоритмов и программ СССР, № 50870001129, 1986, 30 с.

85.  Вашкевич Н.П., Дубинин В.Н., Зверев С.Л., Зинкин С.А. Интеллектуальный пакет прикладных программ для проектирования систем управления внешней памятью ЭВМ // Программное обеспечение и прикладные системы искусственного интеллекта: Каталог Всесоюзной выставки. - Минск, 1990

86.  Дубинин В.Н. Комплекс программ исследования вычислительных систем. - Экспонат на научн.-практ. конф. "Информационные технологии в науке". - М.: Всероссийский выставочный центр, павильон 71. - 1998

87.  Дубинин В.Н. Моделирование систем транспортировки деталей на основе функциональных блоков стандарта IEC 61499 // Материалы V Международной науч.-техн. конф. “Новые информационные технологии и системы” (НИТС’2002). – Пенза, 2002. – C.32

88.  Дубинин В.Н. Некоторые структурные преобразования функциональных спецификаций // Материалы V Международной науч.-техн. конф. “Новые информационные технологии и системы” (НИТС’2002). – Пенза, 2002. – С.33

89.  Дубинин В.Н. Создание информационных систем для поддержки проектирования на основе функциональных блоков IEC 61499 // Материалы V Международной науч.-техн. конф. “Новые информационные технологии и системы” (НИТС’2002). – Пенза, 2002. – С.34-37. (pdf)

90.  Dubinin V., Vyatkin V. UML-FB a language for modeling and implementation of industrial-process measurement and control systems on the basis of IEC 61499 standard // Труды VI Международной научно-технической конференции “Новые информационные технологии и системы(НИТС’2004)”, Пенза, Россия, 17-19 июня 2004, часть 2 , C.77-83 (pdf)

91.  Дубинин В.Н., Дубравин А.А., Черемушкин В.В., Вяткин В.В. Разработка визуальных имитационных моделей производственных систем на основе UML и функциональных блоков // Труды VI Международной научно-технической конференции “Новые информационные технологии и системы(НИТС’2004)”, Пенза, Россия, 17-19 июня 2004, часть 2. - C. 68-76 (pdf)

92.  Dubinin V.N. Implementation of some kinds of interactions and communications in IEC 61499 architecture // Труды VI Международной научно-технической конференции “Новые информационные технологии и системы(НИТС’2004)”, Пенза, Россия, 17-19 июня 2004, часть 2. - C.84-92 (pdf)

93.  Вяткин В.В., Дубинин В.Н., Ханиш Х.-М. Проектирование распределенных систем управления промышленными процессами с использованием UML-FB // Труды Международных научно-технических конференций “Интеллектуальные системы (IEEE AIS’04)” и “Интеллектуальные САПР (CAD-2004)”, 3-10 сентября 2004 г., Дивноморское, Россия. Научное издание в 3-х томах. – М.: Физматлит, 2004, т.1. – с.193-199. – ISBN 5-9221-0531-0

94.  Дубинин В.Н., Вяткин В. Проектирование распределенных систем управления промышленными процессами с использованием UML-FB // Известия высших учебных заведений. Поволжский регион. Сер. Технические науки. – Пенза: Изд-во Пенз. гос. ун-та, 2004. – N 2 (11). – С.136-146 (pdf)

95. Дубинин В.Н. Разработка инструментальных средств проектирования распределенных систем управления промышленными процессами // Cб. статей IX Международной научно-методической конференции “Университетское образование” (МКУО-2005), Пенза, 2005. (pdf)

96.  Дубинин В.Н. Одноуровневое представление систем функциональных блоков // Сб. статей Международной науч.-техн. конф. “Современные информационные технологии- 2005”, Весенняя сессия, Пенза, 2005. - C.59-63

97.  Дубинин В.Н. Распределенная реализация интерпретированных сетей Петри в архитектуре IEC 61499 // Межвуз. сб. науч. трудов "Вычислительные системы и технологии обработки информации", выпуск 3(29). – Изд-во Пензенского гос. ун-та, 2005.- C.58-64 (pdf)

98.  Дубинин В.Н. Реализация некоторых видов взаимодействий в системах, основанных на стандарте IEC 61499 // Межвуз. сб. науч. трудов "Вычислительные системы и технологии обработки информации", выпуск 3(29). – Изд-во Пензенского гос. ун-та, 2005.- C.65-71

99.  Dubinin V., Vyatkin V., Pfeiffer T. “Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499”, IEEE International Conference on Robotics and Automation (ICRA’05), Barcelona, Spain, 2005. – P.4007-4012

100. Дубинин В.Н., Вяткин В.В. Моделирование и верификация приложений IEC 61499 с использованием языка Prolog // Труды VI-й Международной конференции “Компьютерное моделирование 2005”, 28 июня-2 июля 2005 г., Санкт-Петербург. – СПб: Издательство Санкт-Петербургского государственного политехнического университета, 2005. - C.277-286 (pdf)

101. Дубинин В.Н., Вяткин В.В. Построение поисково-трансформационных систем для поддержки проектирования компонентно-базированных систем промышленной автоматики // Труды Международных научно-технических конференций “Интеллектуальные системы (AIS’05)” и “Интеллектуальные САПР (CAD-2005)”, 3-10 сентября 2005 г., Дивноморское, Россия. Научное издание в 3-х томах. – М.: Физматлит, 2005, Т.2. – С.30-35. (pdf)

102. Дубинин В.Н., Вяткин В.В. Формализованное описание и моделирование систем функциональных блоков IEC 61499 // Известия высших учебных заведений. Поволжский регион. Сер. Технические науки. – Пенза: Информационно-издательский центр Пенз. гос. ун-та, 2005. – N 5 (20). – С.76-89. (pdf)

103.Дубинин В.Н., Климкина Л.П. Изучение XML-технологий на примерах систем промышленной автоматики // Университетское образование (МКУО-2006): Сборник статей Международной научно-методической конференции, Пенза, 2006. – с.442-444. (pdf)

104. Dubinin V., Vyatkin V. “Towards a Formal Semantics of IEC 61499 Function Blocks” // 4th IEEE International Conference on Industrial Informatics (INDIN’2006), Singapore , 2006. - P.6-11

105. Dubinin V., Vyatkin V., Hanisch H.-M. “Using Prolog for Modelling And Verification of IEC 61499 Function Blocks and Applications” // 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), Proceedings, Prague, Czech Republic, 2006. - P.774-781

106. Dubinin V., Hanisch H.-M., Karras S. "Building of reachability graph extractions using a graph rewriting system" // Труды VII Международной научно-технической конференцииНовые информационные технологии и системы(НИТиС’2006)”, Пенза, 2006, часть 1. - C.160-171 (pdf)

107. Dubinin V., Hanisch H.-M., Missal D. "Event graph-based approach to interpretation of NCES models" // Труды VII Международной научно-технической конференцииНовые информационные технологии и системы(НИТиС’2006)”, Пенза, 2006, часть 1. - C.172-186 (pdf)

108. Vyatkin V., Hanisch H.-M., Karras S., Pfeiffer T. , Dubinin V. Rapid engineering and re-configuration of automation objects using formal verification // International Journal of Manufacturing Research, 2006, Vol. 1, No. 4. - P.382–404.

109. Основы построения и функционирования интеллектуальных информационных систем: Учебное пособие / В.Д.Былкин, В.Н.Дубинин, Т.А.Глебова, И.И.Коновалова; Под общ.ред. проф. А.Н.Кошева. - Пенза: ПГУАС, 2007. – 207 с. (pdf)

110. Дубинин В.Н., Климкина Л.П. Семантическое моделирование систем промышленной автоматики // Университетское образование (МКУО-2007): Сборник статей XI Международной научно-методической конференции. - Пенза, 2007. – C.194-196

111. Vyatkin V., Dubinin V. Sequential Axiomatic Model for Execution of Basic Function Blocks in IEC61499 // 5th IEEE International Conference on Industrial Informatics (INDIN’2007), July 23-27 2007, Vienna, Austria. – P.1137-1142

112. Vyatkin V., Dubinin V., Veber C., Ferrarini L. Alternatives for Execution Semantics of IEC61499 // 5th IEEE International Conference on Industrial Informatics (INDIN’2007), July 23-27 2007, Vienna, Austria. – P.1105-1110

113. Дубинин В.Н., Вяткин В.В. Использование Web-онтологий в проектировании реконфигурируемых систем промышленной автоматики // Труды Международной научно-технической конференции “Интеллектуальные системы (AIS’07)”, Дивноморское. - М.: Физматлит, 2007. – Т.2. - С. 14-22. (pdf)

114. Дубинин В.Н., Вяткин В.В. Модели последовательного выполнения функциональных блоков IEC 61499 на основе динамически изменяемых приоритетов // Известия высших учебных заведений. Поволжский регион. Технические науки, 2007. -  № 1. - С.13-22 (pdf)

115. Дубинин В.Н., Ханиш Х.-М., Миссал Д. Реверсивные частично-маркированные sNCES-сети // Известия высших учебных заведений. Поволжский регион. Технические науки, 2007. - № 2. - С.22-31 (pdf)

116. Дубинин В.Н., Ханиш Х.-М., Миссал Д. Интерпретация реверсивных частично-маркированных sNCES-сетей // Известия высших учебных заведений. Поволжский регион. Технические науки. – Пенза, 2007. -  № 3. – С.23-34 (pdf)

117. Dubinin V.N., Missal D. Reverse partially-marked safe net condition/event systems and their interpretation // Современные информационные технологии в науке, образовании и практике: Материалы VI всероссийской научно-практической конференции (с международным участием). – Оренбург, 2007. – С.168-191 (pdf)

118. Дубинин В.Н., Климкина Л.П. Моделирование производственных систем с использованием продукционных систем представления знаний // Cб. статей XII Международной научно-методической конференции “Университетское образование”. - Пенза, 2008. – C.127-129. (pdf)

119. Dubinin V., Vyatkin V. On Definition of a Formal Semantic Model  for IEC 61499 Function Blocks // EURASIP Journal on Embedded Systems, Vol. 2008, Article ID 426713. - 10 P.

120. В.Н.Дубинин В.Н. Формализованное описание и разработка моделей выполнения систем интерфейсов функциональных блоков IEC 61499 // Сб. статей Международной научно-технической конференции “Современные информационные технологии- 2008”, Весенняя сессия, Пенза, 2008, вып.7 – С. 155-164. (pdf)

121. Дубинин В.Н., Вяткин В.В. Разработка интегрированной параметризованной модели выполнения функциональных блоков IEC 61499 с использованием морфологических методов // Сб. статей Международной научно-технической конференции “Современные информационные технологии- 2008”, Весенняя сессия, Пенза, 2008, вып.7 – С. 146-154. (pdf)

122. Дубинин В.Н. Использование реверсивных частично-маркированных sNCES-сетей в синтезе контроллеров безопасности для дискретно-событийных систем // Известия высших учебных заведений. Поволжский регион. Технические науки. – Пенза, 2008. - № 1. - С.25-35. (pdf)

123. Дубинин В.Н. Использование дескриптивной логики и Web-онтологий в определении визуальных языков // Материалы Международной научно-практической конференции “Перспективные технологии искусственного интеллекта”, Пенза, 2008.

124. Дубинин В.Н., Вяткин В.В. Рефакторинг диаграмм управления выполнением стандарта IEC 61499 // Известия ВУЗов. Поволжский регион. Технические науки. – 2008. – № 2. – С.16-25. (pdf)

125. Вашкевич Н.П., Дубинин В.Н. Формализованное описание и верификация дискретных событийных систем с параллельными процессами // Вопросы радиоэлектроники, сер.ЭВТ, 2008, Вып.5 – С.51-65. (pdf)

126. Дубинин В.Н. Моделирование систем функциональных блоков IEC 61499 с помощью модульных арифметических NCES-сетей // Труды VIII Международной научно-технической конференции “Новые информационные технологии и системы (НИТиС’2008)”, Пенза, 2008, часть 2. – С.47-64. (pdf)

127. Дубинин В.Н. Графовые трансформации для синтеза формальных моделей управляющих приложений IEC 61499 // Современные информационные технологии в науке, образовании и практике. Материалы VII всероссийской научно-практической конференции (с международным участием). - Оренбург: ОГУ, 2008. – С.28-41. (pdf)

128. Дубинин В.Н., Вяткин В.В. Метамоделирование функциональных блоков IEC 61499 и NCES-сетей // Труды Международной научно-технической конференции “Современные информационные технологии”, вып. 8, Пенза, 2008. – С.162-169.(pdf)

129. Дубинин В.Н. Об одной методике проектирования супервизоров для предотвращения запрещенных состояний в дискретно-событийных системах // Труды Международной научно-технической конференции “Современные информационные технологии”, вып. 8, Пенза, 2008. – С.143-159. (pdf)

130. Дубинин В.Н., Вяткин В.В. Графо-трансформационный подход к синтезу формальных моделей систем функциональных блоков IEC 61499 // Известия высших учебных звыедений. Поволжский регион. Технические науки. – 2008. – № 4. – С. 16-26. (pdf)

131. Dubinin V., Vyatkin V. Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard // Proc. 13th IFAC Symposium on Information Control Problems in Manufacturing, Moscow, Russia, June 3 - 5, 2009. - P.193-198.

132. Дубинин В.Н. Концептуальное моделирование систем управления на основе функциональных блоков IEC 61499 // Вестник ТГТУ. – 2009. - № 3.- C.467-477.

133. Дубинин В.Н. Асинхронное моделирование NCES-сетей // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2009. – № 2. - C. 3-14. (pdf)

134. Дубинин В.Н. Об одной методике проектирования супервизорного управления для дискретно-событийных систем // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2009. – № 3. - C.12-14. (pdf)

135. Дубинин В.Н. Сравнительный анализ некоторых аспектов выполнения функциональных блоков IEC 61499 // Современные информационные технологии в науке, образовании и практике. Материалы VII всероссийской научно-практической конференции (с международным участием). - Оренбург: ОГУ, 2009. - С.19-28.(pdf)

136. Vyatkin V., Dubinin V. Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard // IEEE Transactions on Industrial Informatics. - 2010.- Vol.6, Issue 2. – P.155-165.

137. Дубинин В.Н., Вяткин В.В. Функционально-блочная реализация моделей выполнения в системах функциональных блоков IEC 61499 // // Труды Международной научно-технической конференции “Современные информационные технологии”, Пенза, 2010, вып.11. – С.123-138. (pdf)

138. Дубинин В.Н., Ханиш Х.-М., Вяткин В.В., Шестаков С.К. Анализ расширенных NCES-сетей на основе метода Model Checking // Труды IX Международной научно-технической конференции “Новые информационные технологии и системы (НИТиС’2010)”, Пенза, 2010. – Часть 2. – C. 20-48. (pdf)

139. Дубинин В.Н. Система имитационного моделирования распределенных систем промышленной автоматики на основе функциональных блоков // Труды IX Международной научно-технической конференции “Новые информационные технологии и системы (НИТиС’2010)”, Пенза, 2010. – Часть 2.– С. 9-20.

140. Диянов И.А., Дубинин В.Н. Инженерная методика синтеза моделей распределенных супервизоров для дискретно-событийных систем // Труды IX Международной научно-технической конференции “Новые информационные технологии и системы (НИТиС’2010)”, Пенза, 2010. – Часть 2.– С.164-176. (pdf)

141. Дубинин В.Н., Вяткин В.В. Шаблон реализации функциональных блоков “Синхронная модель выполнения” // Труды Международной научно-технической конференции “Современные информационные технологии”, Пенза, 2010, вып.12. – С. 102-113. (pdf)

142. Дубинин В.Н., Вяткин В.В. Онтология функциональных блоков стандарта IEC 61499 // Труды Международной научно-технической конференции “Современные информационные технологии”, Пенза, 2010, вып.12. – С. 113-126.(pdf)

143. Дубинин В.Н., Вяткин В.В. Семантический анализ описаний систем управления промышленными процессами на основе стандарта IEC 61499 с использованием онтологий // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2010. – № 3 (15). – С. 3–15. (pdf)

144. Дубинин В.Н., Вяткин В.В. Моделирование и верификация функциональных блоков IEC 61499 с использованием SMV // Сборник статей Международной научно-практической конференции "Информационные ресурсы и системы в экономике, науке и образовании", Пенза: Приволжский Дом Знаний, 2011. – С. 5-10.

145. Дубинин В.Н., Вяткин В.В. Обнаружение циклов в системах функциональных блоков IEC 61499 с использований онтологий // Труды Международной научно-технической конференции “Современные информационные технологии”, Пенза, 2011, вып.13. – С. 149-161. (pdf)

146. Dai W., Dubinin V., Vyatkin V. IEC 61499 Ontology Model for Semantic Analysis and Code Generation // IEEE 9th International Conference on Industrial Informatics (INDIN’2011), Lisbon, Portugal, 2011. - P. 597-602.

147. Дубинин В.Н., Вяткин В.В. Формализация моделей выполнения функциональных блоков IEC 61499 // Известия ВУЗов. Поволжский регион. Технические науки. – 2011. – № 1. - C. 12-23. (pdf)

148. Дубинин В.Н., Вяткин В.В. Верификация приложений IEC 61499 на основе метода Model Checking // Известия ВУЗов. Поволжский регион. Технические науки. – 2011. – № 3. – C.44-55. (pdf)

149. Dai W., Vyatkin V., Dubinin V. Ontology-based Design Recovery and Migration between IEC 61499 - compliant Tools // 37th Annual Conference of the IEEE Industrial Electronics Society (IECON 2011), Melbourne, Australia, 2011. – P. 4332 – 4337.

150. Дубинин В.Н., Механов В.Б., Таранцев Е.К. Моделирование функциональных блоков в системе CPN Tools // Межвуз. сб. науч. тр. "Вычислительные системы и технологии обра-ботки информации", Выпуск 10 (33), 2011. – C. 7-19.(pdf)

151. Вашкевич Н.П., Дубинин В.Н., Вяткин В.В. Формализованное описание последовательной модели выполнения функциональных блоков // Межвуз. сб. науч. тр. "Вычислительные системы и технологии обработки информации", Выпуск 10 (33), 2011. - С. 45-61. (pdf)

152. Дубинин В.Н., Вяткин В.В. Операционная семантика синхронных функциональных блоков IEC 61499 на основе машин абстрактных состояний, Часть 2: Модели блоков и представление в SMV // Труды Международной научно-технической конференции "Современные информационные технологии", Пенза, 2011, вып.14 – С. 94-100.(pdf)

153. Дубинин В. Н., Климкина Л. П. Моделирование динамики и трансформаций информационно-управляющих систем // Cб. статей XVI Международной научно-методической конференции "Университетское образование". - Пенза, 2012. - C.86-87.

154. Dubinin V., Vyatkin V. Semantics-Robust Design Patterns for IEC 61499, IEEE Transactions on Industrial Informatics. - 2012. - Vol. 8, Issue 2. – P. 279-290.

155. Дубинин В.Н., Вяткин В.В. Операционная семантика синхронных функциональных блоков IEC 61499 на основе машин абстрактных состояний, Часть 1: Модель диспетчеров // XXI век: итоги прошлого и проблемы настоящего Плюс. – 2012. – Вып. 4. – С. 233-240. (pdf)

156. Лепилин И.Б., Вашкевич Н.П., Дубинин В.Н. Графический редактор сетевого представления недетерминированных автоматов // Хроники объединенного фонда электронных ре-сурсов "Наука и образование". – 2010. - № 2. – C. 20. - Режим доступа: http://ofernio.ru/portal/newspaper/ofernio/2010/11.doc (pdf)

157. Кутузов В.В., Дубинин В.Н. Конвертор многоуровневых модульных NCES-сетей в одноуровневые NCES-сети // Хроники объединенного фонда электронных ресурсов «Наука и образование». – 2012. - № 2. - С. 14-15. - Режим доступа: http://ofernio.ru/portal/newspaper/ofernio/2012/2.doc (pdf)

158. Пашков Н.А., Дубинин В.Н. Система моделирования на основе нечетких сетей Петри // Хроники объединенного фонда электронных ресурсов «Наука и образование». - 2012. - № 3. - С. 11. - Режим доступа: http://ofernio.ru/portal/newspaper/ofernio/2012/3.doc (pdf)

159. Вашкевич Н.П., Дубинин В.Н. Определение графов зависимостей в онтологии функциональных блоков и их использование для анализа систем управления // Вопросы радиоэлектроники, сер. СОИУ, 2012, Вып. 4 – С.74-86.

160. Вашкевич Н.П., Дубинин В.Н. Вопросы разработки операционной семантики функциональных блоков IEC 61499 // Программные системы и вычислительные методы. – 2012. - № 1. – С. 10-16.

161. Вашкевич Н.П., Дубинин В.Н. Иерархические модульные недетерминированные автоматы // Труды X Международной научно-технической конференции "Новые информацион-ные технологии и системы (НИТиС'2012)", Пенза, 2012. – C. 3-7. (pdf)

162. Дубинин В.Н. Моделирование недетерминированных автоматов с использованием сетевых систем "Условие-Событие" // Труды X Международной научно-технической конференции "Новые информационные технологии и системы (НИТиС'2012)", Пенза, 2012. – C. 239-244. (pdf)

163. Скопинцев Р.Г., Дубинин В.Н. Подход к реализации систем функциональных блоков IEC 61499 на языке VHDL // Труды X Международной научно-технической конференции "Новые информационные технологии и системы (НИТиС'2012)", Пенза, 2012. – C. 59-64. (pdf)

164. Дубинин В.Н., Вяткин В.В. Проектирование управляющих приложений на основе трансформации онтологий с использованием языков логического программирования // Труды Международной научно-технической конференции "Современные информационные технологии", Пенза, 2012, вып. 16 – С. 6-25. (pdf)

165. Дубинин, В.Н. Операционная семантика функциональных блоков IEC 61499 (Часть 1: Модель базисного блока) / В.Н. Дубинин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2012. - № 4. - С.37-48. (pdf)

166. Дубинин В.Н., Вяткин В.В. Модели функциональных блоков IEC 61499, их проверка и трансформации в проектировании распределенных систем управления: монография. – Пенза: Изд-во ПГУ, 2012. – 348 с. ( pdf)

167. Разработка комплекса формальных моделей и их трансформаций для проектирования распределенных информационно-управляющих систем промышленной автоматики: отчет о НИР по проекту № 2.1.2/4257 аналитической ведомственной целевой программы “Развитие научного потенциала высшей школы (2009-2011 годы)”: в 6 т. / рук. Н.П. Вашкевич; исполн. В.Н. Дубинин [и др.] – Пенза. - Т. 1. – 2009. – 131 с. (pdf)

168. Разработка комплекса формальных моделей и их трансформаций для проектирования распределенных информационно-управляющих систем промышленной автоматики: отчет о НИР по проекту № 2.1.2/4257 аналитической ведомственной целевой программы “Развитие научного потенциала высшей школы (2009-2011 годы)”: в 6 т. / рук. Н.П. Вашкевич; исполн. В.Н. Дубинин [и др.] – Пенза. - Т. 2. – 2009. – 280 с.

169. Разработка комплекса формальных моделей и их трансформаций для проектирования распределенных информационно-управляющих систем промышленной автоматики: отчет о НИР по проекту № 2.1.2/4257 аналитической ведомственной целевой программы “Развитие научного потенциала высшей школы (2009-2011 годы)”: в 6 т. / рук. Н.П. Вашкевич; исполн. В.Н. Дубинин [и др.] – Пенза. - Т. 3. – 2010. – 362 с.

170. Разработка комплекса формальных моделей и их трансформаций для проектирования распределенных информационно-управляющих систем промышленной автоматики: отчет о НИР по проекту № 2.1.2/4257 аналитической ведомственной целевой программы “Развитие научного потенциала высшей школы (2009-2011 годы)”: в 6 т. / рук. Н.П. Вашкевич; исполн. В.Н. Дубинин [и др.] – Пенза. - Т. 4. – 2010. – 315 с.

171. Разработка комплекса формальных моделей и их трансформаций для проектирования распределенных информационно-управляющих систем промышленной автоматики: отчет о НИР по проекту № 2.1.2/4257 аналитической ведомственной целевой программы “Развитие научного потенциала высшей школы (2009-2011 годы)”: в 6 т. / рук. Н.П. Вашкевич; исполн. В.Н. Дубинин [и др.] – Пенза. - Т. 5. – 2011. – 229 с.

172. Разработка комплекса формальных моделей и их трансформаций для проектирования распределенных информационно-управляющих систем промышленной автоматики: отчет о НИР по проекту № 2.1.2/4257 аналитической ведомственной целевой программы “Развитие научного потенциала высшей школы (2009-2011 годы)”: в 6 т. / рук. Н.П. Вашкевич; исполн. В.Н. Дубинин [и др.] – Пенза. - Т. 6. – 2011. – 419 с. (pdf)

173. Разработка комплекса формальных моделей и их трансформаций для проектирования распределенных информационно-управляющих систем промышленной автоматики: заключ. отчет о НИР по проекту № 2.1.2/4257 аналитической ведомственной целевой программы “Развитие научного потенциала высшей школы (2009-2011 годы)”/; рук. Н.П. Вашкевич; исполн. В.Н. Дубинин [и др.]. – Пенза, 2012. – 54 с.; № гос. регистрации 01200952061.

174. Дубинин В.Н., Климкина Л.П. XSLT-преобразования систем функциональных блоков // Cб. статей XVII Международной научно-методической конференции "Университетское образование". - Пенза, 2013. - C. 102-104. (pdf)

175. Dai W., Dubinin V., Vyatkin V. Automatically Generated Layered Ontological Models for Semantic Analysis of Component-Based Control Systems // IEEE Transactions on Industrial Informatics. . – 2013. Vol. 9, Issue 4. – P. 2124-2136.

176. Дубинин В.Н. Комплекс программ «Петрис» для моделирования и исследования сетей Петри // Хроники объединенного фонда электронных ресурсов «Наука и образование». – 2013. - № 4. - С. 13-14. - Режим доступа: http://ofernio.ru/portal/newspaper/ofernio/2013/4.doc

177. Дубинин В.Н., Раскин С.И. Конвертор XML-описаний систем управления на основе стандарта IEC 61499 в UML-FB-модели// Хроники объединенного фонда электронных ресурсов «Наука и образование». – 2013. - № 4. - С. 14. - Режим доступа: http://ofernio.ru/portal/newspaper/ofernio/2013/4.doc

178. Дубинин В.Н., Зинкин С.А. Сетевые модели распределенных систем обработки, хранения и передачи данных: монография. – Пенза: Приволжский Дом знаний, 2013. – 452 с. (pdf)

179. Дубинин В.Н., Вяткин В.В., Дроздов Д.Н. Опережающие вычисления в системах функциональных блоков IEC 61499 // Труды Международной научно-технической конференции "Современные информационные технологии", Пенза, 2013, вып. 17. – С. 9-24. (pdf)

180. Вашкевич Н.П., Дубинин В.Н. Реализация недетерминированных автоматов на языке диаграмм Ладдера // Тезисы докладов XI международной науч.-техн. конф. "Оптико-электронные приборы и устройства в системах распознавания образов, обработки изображений и символьной информации" - 'Распознавание-2013', Курск, 17-20 сент. 2013. – С. 243-245.

181. Дубинин, В.Н. Операционная семантика функциональных блоков IEC 61499 (Часть 2: циклическая модель выполнения) // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2013. - № 2. - С. 45-58. (pdf)

182. Вашкевич Н.П., Дубинин В.Н., Тумасов С.В., Демин Е.С., Будаговский Д.А. Инструментальные средства для поддержки проектирования дискретных событийных систем на основе недетерминированных автоматов // Сборник статей 1-й Международной научно-практической конференции "Современные проблемы компьютерных наук (СПКН-2013)", Пенза, 2013. - С. 104-106. (pdf)

183. Дубинин В.Н., Дроздов Д.Н., Вашкевич Н.П. Автоматическая трансляция систем функциональных блоков IEC 61499 в код  SMV // Сборник трудов XIV Международной научно-технической конференции «Проблемы техники и технологий телекоммуникаций» (ПТиТТ-2013), Самара, 2013. - С. 259-261.

184. Вашкевич Н.П., Дубинин В.Н., Будаговский Д.А. Транслятор XML-описаний иерархических модульных недетерминированных автоматов в программы ПЛК в формате PLC Open XML // Сборник трудов XIV Международной научно-технической конференции «Проблемы техники и технологий телекоммуникаций» (ПТиТТ-2013), Самара, 2013. - С. 245-247.

185.Дубинин В.Н., Тумасов С.В., Тархов К.Ю. Программная система для интерпретации реверсивных безопасных NCES-сетей // Сборник трудов XIV Международной научно-технической конференции «Проблемы техники и технологий телекоммуникаций» (ПТиТТ-2013), Самара, 2013. - С. 262-264.

186.Разработка моделей и методов проектирования устройств аппаратной поддержки компонент управления процессами и ресурсами распределенных операционных систем: отчет о НИР по проекту № 14.B37.21.0597 федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2009-2013 годы / рук. Н.П. Вашкевич; исполн. Р.А. Бикташев, В.Н. Дубинин [и др.] – Пенза. – 2013. – 451 с. (pdf)

187. Дубинин В.Н. Модельно-центрированная методология проектирования распределенных компонентно-базированных информационно-управляющих систем промышленной автоматики // Сб. трудов Международной научно-технической конференции "Современные информационные технологии", Пенза, 2013, вып. 18. – С. 7-24. (pdf)

188. Dai W., Dubinin V., Vyatkin V. Migration from PLC to IEC 61499 using Semantic Web Technologies // IEEE Transactions on Systems, Man, and Cybernetics: Systems. – 2014. – Volume 44, Issue 3. – P. 277 – 291.

189. Дроздов Д.Н., Дубинин В.Н., Климкина Л.П. Реализация циклической модели выполнения функциональных блоков IEC 61499 в SMV // Cб. статей XVIII Международной научно-методической конференции "Университетское образование". - Пенза, 2014. – C. 172-175.

190. Будаговский Д.А., Дубинин В.Н. Онтология языков программирования стандарта IEC 61131-3 // Cб. статей XVIII Международной научно-методической конференции "Университетское образование". - Пенза, 2014. – C. 164-166. (pdf)

191. Вашкевич Н.П., Волчихин В.И., Дубинин В.Н. Синхронно-асинхронные модели и верификация замкнутых систем «управление-оборудование» // Надежность и качество : тр. Междунар. симп. – Пенза, 2014. – Т. 1. – С. 21-26. (pdf)

192. Волчихин В.И., Дубинин В.Н. Методика моделирования недетерминированных автоматов с использованием языка LD // Новые информационные технологии и системы (НИТиС'2014) : тр. XI Междунар. науч.-техн. конф. – Пенза, 2014. – C. 348 – 253. (pdf)

193. Drozdov D., Dubinin V., Patil S., Vyatkin V. Plant abstraction for IEC 61499 closed-loop model checking // Новые информационные технологии и системы (НИТиС'2014) : тр. XI Междунар. науч.-техн. конф. – Пенза, 2014. – C. 194 – 201. (pdf)

194. Drozdov D., Dubinin V., Patil S., Vyatkin V. Refactoring SMV models by replacing asynchronous processes with synchronous ones and its application to Petri nets and IEC 61499 function blocks domains // Новые информационные технологии и системы (НИТиС'2014) : тр. XI Междунар. науч.-техн. конф. – Пенза, 2014. – C. 255 – 260. (pdf)

195. Дудоров А.В., Дубинин В.Н., Демин Е.С. Разработка онтологии технологических схем для систем автоматизации // Новые информационные технологии и системы (НИТиС'2014) : тр. XI Междунар. науч.-техн. конф. – Пенза, 2014. – C. 262 – 266. (pdf)

196. Демин Е.С., Вяткин В.В., Дубинин В.Н. Использование сервисно-ориентированных архитектур в автоматизированных системах на основе стандарта IEC 61499 // Новые информационные технологии и системы (НИТиС'2014) : тр. XI Междунар. науч.-техн. конф. – Пенза, 2014. – C. 237 – 241. (pdf)

197. Dai W., Christensen J., Vyatkin V., Dubinin V. Function Block Implementation of Service-Oriented Architecture: Case Study, 12th IEEE Conference on Industrial Informatics (INDIN'2014), Porto-Allegre, Brazil, July 27-30, 2014, P. 112 – 117.

198. Patil S., Dubinin V., Pang C., Vyatkin V. Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM, 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Perspectives of System Informatics: Lecture Notes in Computer Science, Volume 8974, 2015, pp 76-91.

199. Dubinin V., Vyatkin V., Yang C.-W., Pang C. Automatic Generation of Automation Applications Based on Ontology Transformations, 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014), Barcelona, Spain, September 16 – 19, 2014, pp. 1-8.

200.Dai W., Vyatkin V., Dubinin V., Christensen J.C. Enhancing Distributed Automation Systems with Efficiency and Reliability by Applying Autonomic Service Management, 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014), Barcelona, Spain, September 16 – 19, 2014, pp. 1-8.

201. Yang C.-W., Vyatkin V., Mousavi M., Dubinin V. On Automatic Generation of IEC61850/IEC61499 Substation Automation Systems Enabled by Ontology, 40th Annual Conference of the IEEE Industrial Electronics Society (IECON'2014), Dallas, TX, USA, October 29 - November 1, 2014, pp. 3577 – 3583.

202. Zhabelova G., Vyatkin V., Dubinin V. Practical decision making for industrial agents in Smart Grid applications, 40th Annual Conference of the IEEE Industrial Electronics Society (IECON'2014), Dallas, TX, USA, October 29 - November 1, 2014, pp. 3584 – 3590.

203. Zhabelova G., Vyatkin V., Dubinin V. N. Towards industrially usable agent technology for Smart Grid automation, IEEE Transactions on Industrial Electronics. - 2015. – Volume 62, Issue 4. – P. 2629-2641.

204. Vashkevich N.P., Dubinin V.N., Zinkin S.A. "The use of the methods of artificial intelligence for the design of intellectual systems of control of external and mass computer memory", Izvestiya Akademii Nauk: Tekhnicheskaia Kibernetika, № 5, 1991, pp. 63-74.

205. Дубинин В.Н. Модели, методы и средства проектирования распределенных компонентно-базированных информационно-управляющих систем промышленной автоматики. - Диссертация на соискание ученой степени доктора технических наук. - Пенза, 2014. - 455 с. (pdf)

206. Дубинин В.Н. Модели, методы и средства проектирования распределенных компонентно-базированных информационно-управляющих систем промышленной автоматики. - Автореф. дис… доктора техн. наук. - Пенза, 2014. - 35 с. (pdf)

207. Patil S., Drozdov D., Dubinin V., Vyatkin V. "Cloud-based Framework for Practical Model-Checking of Industrial Automation Applications", 6th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS 2015), Costa de Caparica, Portugal, 2015, IFIP AICT - Advances in Information and Communication technology; No. 450, Springer, pp. 73-81.

208. Demin E., Dubinin V., Patil S., Vyatkin V. "IEC 61499 Distributed Control Enhanced with Cloud-based Web-Services", 10th IEEE Conference on Industrial Electronics and Applications (ICIEA'2015), 15 – 17 June 2015, Auckland, New Zealand, pp. 972-977.

209. Dai W., Vyatkin V., Christensen J.H., Dubinin V.N. Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability, IEEE Transactions on Industrial Informatics. – 2015. Vol. 11, Issue 3. – P. 771 - 781.

210. Patil S., Dubinin V., Vyatkin V. "Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV – Modelling", IEEE Trustcom/BigDataSE/ISPA, 20-22 August 2015, Helsinki, Finland, pp. 313-320. (pdf)

211. Dubinin V., Vyatkin V., Hanisch H.-M. "Synthesis of safety controllers for distributed automation systems on the basis of reverse safe net condition/event systems", IEEE Trustcom/BigDataSE/ISPA, 20-22 August 2015, Helsinki, Finland, pp.287 – 292. (pdf)

212. Patil S., Dubinin V., Vyatkin V. Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics, First International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2015), Nanjing, China, November 4-6, 2015. Lecture Notes in Computer Science, Vol. 9409. – Springer, 2015. – pp. 300-315. (pdf)

213. Demin E., Dubinin V., Patil S., Vyatkin V. "Automation Services Orchestration with Function Blocks: Web-service Implementation and Performance Evaluation", Service Orientation in Holonic and Multi-Agent Manufacturing, Proceedings of SOHOMA 2015, Vol. 640, Springer International Publishing, 2016. - pp. 213-221.

214. Dubinin V., Vyatkin V. Ontology and semantic analysis of IEC 61499 function blocks [Presentation], Auckland, 2011, 21 p. DOI: 10.13140/RG.2.1.4742.5366 (pdf)

215. Дроздов Д.Н., Дубинин В.Н., Вяткин В.В. Система поддержки верификации систем функциональных блоков IEC 61499 на основе метода Model Checking // Новые информационные технологии и системы (НИТиС'2015): тр. XII Междунар. науч.-техн. конф., 17-19 ноября 2015 г., Пенза. - С. 76-86. (pdf)

216. Калачев А.В., Еремин А.А., Дубинин В.Н., Пащенко Д.В. Модель системы управления топливозаправкой на языке SFC стандарта IEC 61131-3 // Новые информационные технологии и системы (НИТиС'2015): тр. XII Междунар. науч.-техн. конф., 17-19 ноября 2015 г., Пенза. - С. 3-5.

217. Дроздов Д.Н., Дубинин В.Н. Определение поведенческой эквивалентности сетей Петри на основе метода Model checking // Сб. трудов Международной научно-технической конференции "Современные информационные технологии", Пенза, 2015, вып. 22. – С. 13-21. (pdf)

218. Дроздов Д.Н., Дубинин В.Н. Организация виртуальной среды для отладки и тестирования систем управления промышленной автоматикой IEC 61499 // Информационные технологии в науке и образовании. Проблемы и перспективы: Сб. науч. статей II Ежегодной межвузовской студенческой научно-практической конференции, Пенза, 2015. - С. 199-201. (pdf)

219. Уваров Д.А., Дубинин В.Н. Мониторинг и контроль выполнения технологических процессов в системах управления на основе функциональных блоков IEC 61499 с использованием технологий баз знаний и SOA // Информационные технологии в науке и образовании. Проблемы и перспективы: Сб. науч. статей II Ежегодной межвузовской студенческой научно-практической конференции, Пенза, 2015. - С. 135-138.

220. Калачев А.В., Еремин А.А., Панюшкина Л.И., Дубинин В.Н. Моделирование системы управления топливозаправкой в среде программирования ПЛК «Beremiz» // Информационные технологии в науке и образовании. Проблемы и перспективы: Сб. науч. статей II Ежегодной межвузовской студенческой научно-практической конференции, Пенза, 2015. - С. 135-138.

221. Кулагин В.П., Дубинин В.Н. Структурный анализ сетей Петpи // Информационные технологии, Т. 22, № 1, 2016. – С. 3-13.

222. Войнов А.С., Сенокосов И.В., Дубинин В.Н. Редукция сетей Петри в системе AGG // Сб. статей Международной науч.-практ. конф. «Актуальные проблемы технических наук в России и за рубежом», Самара, Аэтерна, 2016. – С. 35-39. (pdf)

223. Войнов А.С., Сенокосов И.В., Дубинин В.Н., Климкина Л.П. Графовые трансформации форм представления недетерминированных автоматов - от регулярных выражений алгебры событий к системе канонических уравнений // Научная дискуссия: вопросы математики, физики, химии, биологии: сб. ст. по материалам XXXVIII Международной научно-практической конференции «Научная дискуссия: вопросы математики, физики, химии, биологии». – № 2 (30). – М., Изд. «Интернаука», 2016. – С. 42-52. (pdf)

224. Дубинин В.Н., Вашкевич Н.П., Климкина Л.П. Спецификация базисных функциональных блоков IEC 61499 с использованием AsmL // Современные технологии в науке и образовании (СТНО-2016): сб. тр. междунар. науч.-техн. и науч.-метод. конф., Т.2. – Рязань: Рязан. гос. радиотехн. ун-т, 2016, С.67-72. (pdf)

225. Войнов А.С., Сенокосов И.В., Дубинин В.Н., Климкина Л.П. Детерминизация недетерминированных автоматов на основе графотрансформационного подхода // Труды Международной научно-технической конференции “Современные информационные технологии”, Пенза, 2016, вып.23. – С. 6-17. (pdf)

226. Дубинин В.Н., Дроздов Д.Н., Артамонов Д.В. Проектирование и реализация систем управления дискретными событийными системами на основе иерархических модульных недетерминированных автоматов (ч. 1. Формальная модель) // Известия ВУЗов. Поволжский регион. Технические науки. – 2016. – № 1 (37). - C. 28-39. (pdf)

227. Дубинин В.Н., Будаговский Д.А., Дроздов Д.Н., Артамонов Д.В. Проектирование и реализация систем управления дискретными событийными системами на основе иерархических модульных недетерминированных автоматов (ч. 2. Методы и средства) // Известия ВУЗов. Поволжский регион. Технические науки. – 2016. – № 2 (38). - C. 18-32. (pdf)

228. Yang C.-W., Vyatkin V., Dubinin V. Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation using Ontologies, 7th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS’16), Lisbon, 2016; IFIP AICT - Advances in Information and Communication technology; No. 470, Springer, pp. 37-45.

229. Dubinin V., Vyatkin V., Shalyto A. “Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems”, International Siberian Conference on Control and Communications (SIBCON’2016), Russia, Moscow, May 12?14, 2016, pp. 1-4.

230. Drozdov D., Dubinin V., Kulagin V. Petri nets behavioral equivalence checking in SMV, International Siberian Conference on Control and Communications (SIBCON’2016), Russia, Moscow, May 12?14, 2016, pp. 1-4.

231. Dubinin V., Vyatkin V., Drozdov D. Speculative Computation in IEC 61499 Function Blocks Execution – Modeling and Simulation // 14th IEEE International Conference on Industrial Informatics (INDIN 2016), Futuroscope-Poitiers, France, 18-21 July 2016, pp. 748-755.

232. Drozdov D., Patil S., Dubinin V., Vyatkin V. Formal Verification of Cyber-Physical Automation Systems Modelled with Timed Block Diagrams // IEEE Int. Symposium on Industrial Electronics (ISIE 2016), Santa Clara, CA, USA.

233. Сенокосов И.В., Дубинин В.Н., Вяткин В.В. Функционально-блочная реализация управления для системы выборки последовательностей деталей // Новые информационные технологии и системы (НИТиС 2016) : тр. XII Междунар. науч.-техн. конф. – Пенза, 2016. – C. 369 – 373.

234. Войнов А.С., Дубинин В.Н., Вяткин В.В., Чен-Вэй Янг. Транслятор SCL XML-описаний Smart Grid по стандарту IEC 61850 в код языка Prolog // Новые информационные технологии и системы (НИТиС 2016) : тр. XII Междунар. науч.-техн. конф. – Пенза, 2016. – C. 20-23.

235. Dai W., Dubinin V., Christensen J., Vyatkin V., Guan X. "Towards Self-Manageable and Adaptive Industrial Cyber-Physical Systems with Knowledge-Driven Autonomic Service Management", IEEE Transactions on Industrial Informatics, 2017, Volume 13, Issue 2, pp. 725-736.

236. Yang C.-W., Dubinin V., Vyatkin V. Ontology Driven Approach to Generate Distributed Automation Control from Substation Automation Design, IEEE Transactions on Industrial Informatics, 2017, Volume 13, Issue 2, pp. 668-679.

237. Dubinin V., Senokosov I., Vyatkin V. Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification. In: Marik V., Wahlster W., Strasser T., Kadera P. (eds) Industrial Applications of Holonic and Multi-Agent Systems. HoloMAS 2017. Lecture Notes in Artificial Intelligence, vol. 10444. Springer, Cham, pp.80-91.

238. Dai W., Vyatkin V., Christensen J.H., Dubinin V. “Response to Comments on Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability”, IEEE Transactions on Industrial Informatics, Volume: 13, Issue: 4, pp. 1497 – 1502.

239. Yang C.-W., Vyatkin V., Dubinin V. On development of execution model for model transforming distributed substation automation control with ontology // IEEE 26th International Symposium on Industrial Electronics (ISIE), 19-21 June 2017, Edinburgh, UK.

240. Drozdov D., Patil S., Dubinin V., Vyatkin V. Towards Formal Verification for Cyber-physically Agnostic Software: a Case Study // The 43rd Annual Conference of the IEEE Industrial Electronics Society (IECON 2017), Beijing, China, October 29 – November 1. – pp. 5509-5514.

241. Дубинин В. Н., Климкина Л. П., Калачев А.В. Многоуровневые системы функциональных блоков IEC 61499 и их преобразование к одноуровневым моделям // Известия ВУЗов. Поволжский регион. Технические науки. – 2017. – № 1 (41). - C. 16-29.

242. Дубинин В.Н. , Сенокосов И.В., Вяткин В.В., Климкина Л.П. Преобразование автоматных спецификаций в функционально-блочную реализацию системы управления сортировкой последовательностей деталей // Известия ВУЗов. Поволжский регион. Технические науки. – 2017. – № 2. - C. 3-18.

243. Дубинин В.Н., Сенокосов И.В., Климкина Л.П., Вяткин В.В. Использование моделей магазинных автоматов в проектировании технологических процессов сортировки и сборки изделий // Междунар. науч.-техн. и науч.-методич. конф. «Современные технологии в науке и образовании» (СТНО-2017): Сб. тр. Рязань, 2017. – т. 1. – С. 10-14.

244. Дубинин В.Н., Сенокосов И.В., Войнов А.С., Дроздов Д.Н., Вяткин В.В. Функционально-блочная реализация недетерминированных конечных автоматов // Труды Международной научно-технической конференции "Современные информационные технологии", Пенза, 2017, вып. 25. – С. 5-18.

245. Сенокосов И.В., Войнов А.С., Дубинин В.Н. Автоматический транслятор Prolog-описаний селектирующих автоматов в модель системы сортировки последовательностей деталей // IV Ежегодная межвузовская научно-практическая конференция «Информационные технологии в науке и образовании. Проблемы и перспективы (МНПК – 2017)», Пенза, 2017, С. 66-68.

246. Дроздов Д. Н., Патил С., Дубинин В. Н. Формальная верификация киберфизических систем управления со случайными временными задержками // Новые информационные технологии и системы (НИТиС 2016) : тр. XII Междунар. науч.-техн. конф. – Пенза, 2017. – C. 3-5.

247. Беззатеев И. Л., Дубинин В. Н., Уваров Д. А., Вяткин В. В. Реализация распределенных семафоров в архитектуре IEC61499 на основе алгоритмов для решения задач консенсуса в сети ненадежных процессов // Новые информационные технологии и системы (НИТиС 2016) : тр. XII Междунар. науч.-техн. конф. – Пенза, 2017. – C. 25-29.

248. Беззатеев И. А., Дубинин В. Н., Уваров Д. А. Моделирование распределенных семафоров на основе протоколов PAXOS и RAFT в системе CPN TOOLs // Новые информационные технологии и системы (НИТиС 2016) : тр. XII Междунар. науч.-техн. конф. – Пенза, 2017. – C. 41-45.

249. Войнов А.С., Дубинин В.Н., Вяткин В.В., Янг Ч.-В. Методика автоматической генерации систем функциональных блоков, реализующих человеко-машинный интерфейс для автоматизации цифровых подстанций МЭК 61850 // Известия ВУЗов. Поволжский регион. Технические науки. – 2018. – № 1. - C. 76-81.

250. Дубинин В.Н., Сенокосов И.В., Войнов А.С., Вяткин В.В. Функционально-блочная реализация селектирующих сетей Петри // Международный научно-технический форум «Современные технологии в науке и образовании» (СТНО-2018): Сб. трудов. Том 6, Рязань, С. 124-129.

251. Войнов А.С., Дубинин В.Н., Сенокосов И.В., Климкина Л.П., Вяткин В.В. Функционально-блочное моделирование системы защиты от перегрузок цифровых подстанций МЭК 61850 // Международный научно-технический форум «Современные технологии в науке и образовании» (СТНО-2018): Сб. трудов. Том 4, Рязань, С. 160-165.

252. Сенокосов И.В., Войнов А.С Дубинин В.Н. Онтологическое и графовое представления 3D-конструкций из LEGO-блоков // В сборнике: Информационные технологии в науке и образовании. Проблемы и перспективы Сборник научных статей Всероссийской межвузовской научно-практической конференции. Под редакцией Л.Р. Фионовой. 2018. С. 14-17.

253. Войнов А.С., Сенокосов И.В., Дубинин В.Н. Представление функциональных блоков на языке Пролог // В сборнике: Информационные технологии в науке и образовании. Проблемы и перспективы Сборник научных статей Всероссийской межвузовской научно-практической конференции. Под редакцией Л.Р. Фионовой. 2018. С. 5-7.

254. Дубинин В.Н., Войнов А.С., Сенокосов И.В. Представления 3D-конструкций в LEGO на языке Пролог и их преобразования // // Новые информационные технологии и системы (НИТиС 2018) : тр. ХV Междунар. науч.-техн. конф. – Пенза, 2018. – С. 11-15.

255. Dubinin V., Voinov А., Senokosov I., Vyatkin V. Implementation of distributed semaphores in IEC 61499 with consensus protocols // IEEE 16th International Conference on Industrial Informatics (INDIN’2018), Porto, Portugal, 18-20 July 2018, pp.766-771.

 

Последняя модификация: Январь 2019 г.

[Главная страница]