Публикации

1. Монографии

  1. Чижухин Г. Н.,  Бочкарева Ю. Г. Тензорная методология в дискретной системотехнике: Монография  - Пенза : Изд-во Пензенского гос. ун-та, 2006. - 181c
  2. Вашкевич Н.П. Кафедра вычислительной техники : к 60-летию со дня основания: Монография  − Пенза : Изд-во Пенз. гос. ун-та, 2009. − 236 с.
  3. Пащенко Д.В. Системы объективного контроля авиационных комплексов радиолокационного дозора и наведения : Монография – Пенза: Ид-во ПГУ, 2011 - 88 с. ISBN 978-5-94170-356-2
  4.  Пащенко Д.В. Моделирование экспертной системы диагностики авиационных комплексов радиолокационного дозора и наведения: Монография – Пенза:Ид-во ПГУ, 2012 , -108 с.
  5. Дубинин В.Н., Вяткин В.В. Модели функциональных блоков IEC 61499, их проверка и трансформации в проектировании распределенных систем управления: Монография – Пенза: Изд-во ПГУ, 2012. – 348 с. , ISBN 978-5-94170-521-4
  6. Дубинин В.Н., Зинкин С.А. Сетевые модели распределенных систем обработки, хранения и передачи данных: Монография – Пенза: Приволжский Дом знаний, 2013. – 452 с., ISBN 978-5-8356-1351-9
  7.  Вашкевич Н.П., Бикташев Р.А.  Недетерминированные автоматы и их использование для реализации систем параллельной обработки информации: Монография – Пенза: Ид-во ПГУ, 2016, - 394 с. ISBN 978-5 -906831-93-4

2.Основные статьи

2009

1.Васильев А.В., Васильев С.А., Коннов Н.Н., Пащенко Д.В. МЕТОДИКА КОНТРОЛЯ ПОКАЗАТЕЛЕЙ ТОЧНОСТИ СОПРОВОЖДЕНИЯ ЦЕЛЕЙ РАДИОЛОКАЦИОННЫМ КОМПЛЕКСОМ /Радиотехника. 2009. № 8. С. 116-119.

2. Зинкин С.А. ИЕРАРХИЧЕСКИЕ СЕТИ АБСТРАКТНЫХ МАШИН И ВИРТУАЛИЗАЦИЯ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ ВНЕШНЕГО ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ /Известия высших учебных заведений. Поволжский регион. Технические науки. 2009. № 2. С. 25-38

3. Зинкин С.А. СОГЛАСОВАНИЕ И КООРДИНАЦИЯ ОБЪЕКТОВ И ПРОЦЕССОВ В АГЕНТНО-ОРИЕНТИРОВАННЫХ СИСТЕМАХ И СЕТЯХ ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ/ Вопросы радиоэлектроники. 2009. Т. 4. № 4. С. 83-95

4. Вашкевич Н.П.  ПАРАЛЛЕЛЬНАЯ ДЕКОМПОЗИЦИЯ УПРАВЛЯЮЩИХ АЛГОРИТМОВ С УЧЕТОМ ИХ НЕОПРЕДЕЛЕННОСТИ /Известия высших учебных заведений. Поволжский регион. Технические науки. 2009. № 3. С. 3-11.

5.  Дубинин В.Н. ОБ ОДНОЙ МЕТОДИКЕ ПРОЕКТИРОВАНИЯ СУПЕРВИЗОРНОГО УПРАВЛЕНИЯ ДЛЯ ДИСКРЕТНО-СОБЫТИЙНЫХ СИСТЕМ|/ Известия высших учебных заведений. Поволжский регион. Технические науки. 2009. № 3. С. 12-24.

6.Дубинин В.Н.КОНЦЕПТУАЛЬНОЕ МОДЕЛИРОВАНИЕ СИСТЕМ УПРАВЛЕНИЯ НА ОСНОВЕ ФУНКЦИОНАЛЬНЫХ БЛОКОВ IEC 61499 / Вестник Тамбовского государственного технического университета. 2009. Т. 15. № 3. С. 467-477

7.Пащенко Д.В. ПРОГРАММНЫЙ ИНТЕРФЕЙС НАЗЕМНОЙ СИСТЕМЫ ОБЪЕКТИВНОГО КОНТРОЛЯ И АВИАЦИОННОГО РАДИОЛОКАЦИОННОГО КОМПЛЕКСА / Вопросы радиоэлектроники. 2009. Т. 4. № 4. С. 130-139.

8. Вашкевич Н.П., Бикташев Р.А. ФОРМАЛИЗАЦИЯ АЛГОРИТМА СИНХРОНИЗАЦИИ ПРОЦЕССОВ ПРИ ДИСПЕТЧЕРИЗАЦИИ ЗАДАЧ В МНОГОПРОЦЕССОРНЫХ СИСТЕМАХ С ИСПОЛЬЗОВАНИЕМ МЕХАНИЗМА "РАНДЕВУ" / Информационные технологии. 2009. № 12. С. 12-17.

2010

9. Вашкевич Н.П., Волчихин В.И., Бикташев Р.А. ФОРМАЛИЗАЦИЯ АЛГОРИТМА УПРАВЛЕНИЯ ПАРАЛЛЕЛЬНЫМИ ПРОЦЕССАМИ В ЗАДАЧЕ «ПРОИЗВОДИТЕЛИ-ПОТРЕБИТЕЛИ / Вопросы радиоэлектроники. 2010. № 5. С. 77-86.

10. Дубинин В.Н., Вяткин В.В. ШАБЛОН РЕАЛИЗАЦИИ ФУНКЦИОНАЛЬНЫХ БЛОКОВ "СИНХРОННАЯ МОДЕЛЬ ВЫПОЛНЕНИЯ / Современные информационные технологии. 2010. № 12. С. 102-113.

11.Vyatkin V., Dubinin V. REFACTORING OF EXECUTION CONTROL CHARTS IN BASIC FUNCTION BLOCKS OF THE IEC 61499 STANDARD   / IEEE Transactions on Industrial Informatics. 2010. Т. 6. № 2. С. 155-165.

12. Дубинин В.Н., Вяткин В.В. СЕМАНТИЧЕСКИЙ АНАЛИЗ ОПИСАНИЙ СИСТЕМ УПРАВЛЕНИЯ ПРОМЫШЛЕННЫМИ ПРОЦЕССАМИ НА ОСНОВЕ СТАНДАРТА IEC 61499 С ИСПОЛЬЗОВАНИЕМ ОНТОЛОГИЙ / Известия высших учебных заведений. Поволжский регион. Технические науки. 2010. № 3. С. 3-15.

13.Мачалин В.А., Токарев А.Н., Трокоз Д.А., Пащенко Д.В., Синев М.П. СТРАТЕГИЯ ПАРАЛЛЕЛЬНОЙ ОБРАБОТКИ МАССИВОВ ДАННЫХ В СИСТЕМЕ ОБЪЕКТИВНОГО КОНТРОЛЯ РАДИОТЕХНИЧЕСКОГО КОМПЛЕКСА РАДИОЛОКАЦИОННОГО ДОЗОРА И НАВЕДЕНИЯ / Радиотехника. 2010. Т. 8. С. 51-54.

14.  Пащенко Д.В. МОДЕЛЬ ПРЕДСТАВЛЕНИЯ ДАННЫХ В ДИАГНОСТИЧЕСКИХ СИСТЕМАХ ОБЪЕКТИВНОГО КОНТРОЛЯ АВИАЦИОННЫХ РАДИОЛОКАЦИОННЫХ КОМПЛЕКСОВ / Вопросы радиоэлектроники. 2010. № 5. С. 68-76.

15.  Волчихин В.И., Пащенко Д.В., Трокоз Д.А.МОДЕЛИРОВАНИЕ ПОДСИСТЕМЫ ЗАГРУЗКИ ДАННЫХ НАЗЕМНОЙ СИСТЕМЫ КОНТРОЛЯ АВИАЦИОННЫХ РАДИОЛОКАЦИОННЫХ КОМПЛЕКСОВ С ИСПОЛЬЗОВАНИЕМ АППАРАТА СЕТЕЙ ПЕТРИ / Известия высших учебных заведений. Поволжский регион. Технические науки. 2010. № 3. С. 37-48

2011

16. Механов В.Б. МОДЕЛИРОВАНИЕ АЛГОРИТМОВ ОБСЛУЖИВАНИЯ ОЧЕРЕДЕЙ В СЕТЯХ С ПОДДЕРЖКОЙ QOS / Информатизация образования и науки. 2011. № 12. С. 29-38.

17. Вашкевич Н.П., Бикташев Р.А. ДОСТОИНСТВО ФОРМАЛЬНОГО ЯЗЫКА, ОСНОВАННОГО НА КОНЦЕПЦИИ НЕДЕТЕРМИНИЗМА, ПРИ СТРУКТУРНОЙ РЕАЛИЗАЦИИ ПАРАЛЛЕЛЬНЫХ СИСТЕМ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ ПРОЦЕССАМИ И РЕСУРСАМИ / Известия высших учебных заведений. Поволжский регион. Технические науки. 2011. № 1. С. 3-11.

18. Вашкевич Н.П., Бикташев Р.А. ДОСТОИНСТВО ФОРМАЛЬНОГО ЯЗЫКА, ОСНОВАННОГО НА КОНЦЕПЦИИ НЕДЕТЕРМИНИЗМА, ДЛЯ ФУНКЦИОНАЛЬНОГО ОПИСАНИЯ И ПРЕОБРАЗОВАНИЯ АЛГОРИТМОВ УПРАВЛЕНИЯ ПРОЦЕССАМИ И РЕСУРСАМИ В ПАРАЛЛЕЛЬНЫХ СИСТЕМАХ / Телекоммуникации. 2011. № 1. С. 18-25.

19.  Dai W., Vyatkin V., Dubinin V. IEC 61499 ONTOLOGY MODEL FOR SEMANTIC ANALYSIS AND CODE GENERATION / IEEE International Conference on Industrial Informatics (INDIN) Сер. "Proceedings - INDIN 2011: 2011 9th IEEE International Conference on Industrial Informatics" 2011. С. 597-602.

20.Дубинин В.Н., Вяткин В.В.  ФОРМАЛИЗАЦИЯ МОДЕЛЕЙ ВЫПОЛНЕНИЯ ФУНКЦИОНАЛЬНЫХ БЛОКОВ IEC 61499 / Известия высших учебных заведений. Поволжский регион. Технические науки. 2011. № 1. С. 12-23.

21. Пащенко Д.В., Трокоз Д.А. ПРОБЛЕМЫ ПОСТРОЕНИЯ МНОГОПОТОЧНОЙ МОДЕЛИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ЭКСПЕРТНОЙ СИСТЕМЫ АВИАЦИОННЫХ РАДИОЛОКАЦИОННЫХ КОМПЛЕКСОВ / Известия высших учебных заведений. Поволжский регион. Технические науки. 2011. № 2. С. 21-29.

 

22. Пащенко Д.В. СПОСОБ АНАЛИЗА ДИНАМИЧЕСКОГО ОТОБРАЖЕНИЯ ИНФОРМАЦИИ В АВИАЦИОННЫХ КОМПЛЕКСАХ РАДИОЛОКАЦИОННОГО ДОЗОРА И НАВЕДЕНИЯ / Вопросы радиоэлектроники. 2011. Т. 1. № 2. С. 84-91.

23. Волчихин В.И., Зинкин С.А. АБСТРАКТНОЕ И СТРУКТУРНОЕ МОДЕЛИРОВАНИЕ СЕТЕЙ ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ / Известия высших учебных заведений. Поволжский регион. Технические науки. 2011. № 4. С. 3-18.

24. Зинкин С.А. ОРГАНИЗАЦИЯ УПРАВЛЕНИЯ СЕТЯМИ ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ НА ОСНОВЕ НЕПОСРЕДСТВЕННОЙ ИНТЕРПРЕТАЦИИ ЛОГИКО-АЛГЕБРАИЧЕСКИХ СПЕЦИФИКАЦИЙ /Известия высших учебных заведений. Поволжский регион. Технические науки. 2012. № 4 (24). С. 3-17

25. Архангельский А.А., Гурин Е.И., Савельев Б.А. ПОДКЛЮЧЕНИЕ СПЕЦИАЛИЗИРОВАННЫХ ПРОЦЕССОРОВ К ПЕРСОНАЛЬНОМУ КОМПЬЮТЕРУ С ПРИМЕНЕНИЕМ ИНТЕРФЕЙСА USB / Известия высших учебных заведений. Поволжский регион. Технические науки. 2011. № 4. С. 35-42.

26.Таранцев Е.К., Коннов Н.Н.СПОСОБЫ ПОВЫШЕНИЯ ПРОИЗВОДИТЕЛЬНОСТИ ПРОГРАММНО-АППАРАТНЫХ КОМПЛЕКСОВ РЛС ИМПУЛЬСНО-ДОПЛЕРОВСКОГО ТИПА / Телекоммуникации. 2011. № 5. С. 25-33.

27. Таранцев Е.К., Коннов Н.Н., Папко А.А.  СРАВНИТЕЛЬНЫЙ АНАЛИЗ МЕТОДОВ СЖАТИЯ РАДИОЛОКАЦИОННОГО СИГНАЛА ПРИ ЕГО РЕГИСТРАЦИИ / Датчики и системы. 2011. № 8. С. 34-37. 

2012

28. Вашкевич Н.П., Дубинин В.Н. ВОПРОСЫ РАЗРАБОТКИ ОПЕРАЦИОННОЙ СЕМАНТИКИ ФУНКЦИОНАЛЬНЫХ БЛОКОВ IEC 61499 / Программные системы и вычислительные методы. 2012. № 1. С. 10-16

29. Волчихин В.И., Вашкевич Н.П., Бикташев Р.А. ПЛАНИРОВЩИК ЗАДАЧ С АППАРАТНОЙ ПОДДЕРЖКОЙ ДЛЯ МНОГОПРОЦЕССОРНЫХ СИСТЕМ / Известия высших учебных заведений. Поволжский регион. Технические науки. 2012. № 1. С. 12-20

30. Вашкевич Н.П., Дубинин В.Н. ОПРЕДЕЛЕНИЕ ГРАФОВ ЗАВИСИМОСТЕЙ В ОНТОЛОГИИ ФУНКЦИОНАЛЬНЫХ БЛОКОВ И ИХ ИСПОЛЬЗОВАНИЕ ДЛЯ АНАЛИЗА СИСТЕМ УПРАВЛЕНИЯ / Вопросы радиоэлектроники. 2012. Т. 3. № 4. С. 74-86

31. Dubinin V.N., Vyatkin V SEMANTICS-ROBUST DESIGN PATTERNS FOR IEC 61499 / IEEE Transactions on Industrial Informatics.  2012. Т. 8. № 2. С. 279-290.

32. Дубинин В.Н. ОПЕРАЦИОННАЯ СЕМАНТИКА ФУНКЦИОНАЛЬНЫХ БЛОКОВ IЕС 61499 (ЧАСТЬ 1. МОДЕЛЬ БАЗИСНОГО БЛОКА) / Известия высших учебных заведений. Поволжский регион. Технические науки. 2012. № 4 (24). С. 37-48

33. Волчихин В.И., Пащенко Д.В. АЛГОРИТМЫ АНАЛИЗА ДЕЙСТВИЙ ОПЕРАТОРОВ РАДИОТЕХНИЧЕСКОГО КОМПЛЕКСА В НАЗЕМНОЙ СИСТЕМЕ ОБРАБОТКИ ИНФОРМАЦИИ / Инфокоммуникационные технологии. 2012. Т. 10. № 2. С. 39-44

34. Пащенко Д.В., Трокоз Д.А., Синев М.П. АППАРАТНО-ПРОГРАММНЫЙ КОМПЛЕКС ДЛЯ АНАЛИЗА РЕЗУЛЬТАТОВ ДОКУМЕНТИРОВАНИЯ РАДИОЛОКАЦИОННОЙ ИНФОРМАЦИИ / Вопросы радиоэлектроники. 2012. Т. 3. № 1. С. 144-152

35. Пащенко Д.В., Синев М.П. ОРМАЛИЗАЦИЯ ПРОЦЕДУР КОНТРОЛЯ ДЕЙСТВИЙ ОПЕРАТОРОВ АВИАЦИОННОГО КОМПЛЕКСА РАДИОЛОКАЦИОННОГО ДОЗОРА И НАВЕДЕНИЯ / Вопросы радиоэлектроники. 2012. Т. 3. № 4. С. 97-108.

36. Механов В.Б. ОЦЕНКА КАЧЕСТВА ПРОХОЖДЕНИЯ ТРАФИКА ДЛЯ АЛГОРИТМОВ ВЗВЕШЕННОГО «СПРАВЕДЛИВОГО» ОБСЛУЖИВАНИЯ ОЧЕРЕДЕЙ /
Информатизация образования и науки. 2012. № 13. С. 59-67

37. Волчихин В.И., Зинкин С.А. ЛОГИКО-АЛГЕБРАИЧЕСКИЕ МОДЕЛИ И МЕТОДЫ В ПРОЕКТИРОВАНИИ ФУНКЦИОНАЛЬНОЙ АРХИТЕКТУРЫ РАСПРЕДЕЛЕННЫХ СИСТЕМ ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ / Известия высших учебных заведений. Поволжский регион. Технические науки. 2012. № 2. С. 3-16.

38. Зинкин С.А. ОРГАНИЗАЦИЯ УПРАВЛЕНИЯ СЕТЯМИ ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ НА ОСНОВЕ НЕПОСРЕДСТВЕННОЙ ИНТЕРПРЕТАЦИИ ЛОГИКО-АЛГЕБРАИЧЕСКИХ СПЕЦИФИКАЦИЙ  / Известия высших учебных заведений. Поволжский регион. Технические науки. 2012. № 4 (24). С. 3-17. 

2013

39. Вашкевич Н.П., Зинкин С.А., Карамышева Н.С. О РЕАЛИЗАЦИИ ИНТЕРФЕЙСА ПЕРЕДАЧИ СООБЩЕНИЙ КАК ОБЛАЧНОГО СЕРВИСА В АГЕНТНО-ОРИЕНТИРОВАННЫХ МЕТАКОМПЬЮТЕРНЫХ СИСТЕМАХ / Инфокоммуникационные технологии. 2013. Т. 11. № 4. С. 42-52.

40. Бикташев Р.А., Вашкевич Н.П. МОДЕЛИ СОБЫТИЙНЫХ НЕДЕТЕРМИНИРОВАННЫХ АВТОМАТОВ ДЛЯ ФОРМАЛЬНОГО ПРЕДСТАВЛЕНИЯ ОСНОВНЫХ СВОЙСТВ СИСТЕМ УПРАВЛЕНИЯ ПАРАЛЛЕЛЬНЫМИ ПРОЦЕССАМИ И РЕСУРСАМИ / Инфокоммуникационные технологии. 2013. Т. 11. № 3. С. 95-98.

41. Волчихин В.И., Вашкевич Н.П., Бикташев Р.А. МОДЕЛИ СОБЫТИЙНЫХ НЕДЕТЕРМИНИРОВАННЫХ АВТОМАТОВ ПРЕДСТАВЛЕНИЯ АЛГОРИТМОВ УПРАВЛЕНИЯ ВЗАИМОДЕЙСТВУЮЩИМИ ПРОЦЕССАМИ В МНОГОПРОЦЕССОРНЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ НА ОСНОВЕ ИСПОЛЬЗОВАНИЯ МЕХАНИЗМА МОНИТОРА / Известия высших учебных заведений. Поволжский регион. Технические науки. 2013. № 2 (26). С. 5-14

42. Механов В.Б., Зинкин С.А., Карамышева Н.С. ЭВОЛЮЦИОНИРУЮЩИЕ АГЕНТНО-ОРИЕНТИРОВАННЫЕ СЕТИ ФУНЦИОНАЛЬНЫХ ОПЕРАТОРОВ / Информатизация образования и науки. 2013. № 4. С. 95-112.

43. Логунов М.В., Пащенко Д.В., Синев М.П., Синева М.Н. ОГРАНИЧЕНИЯ, ВЛИЯЮЩИЕ НА ПОИСК РЕШЕНИЯ В ЭКСПЕРТНЫХ СИСТЕМАХ АНАЛИЗА ПОСТПОЛЕТНОЙ ИНФОРМАЦИИ / Радиопромышленность. 2013. № 2. С. 45-52.

44. Макарычев П.П., Пащенко Д.В., Трокоз Д.А. ОСОБЕННОСТИ ПОСТРОЕНИЯ МОДЕЛЕЙ МНОГОПОТОЧНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СИСТЕМ ОБЪЕКТИВНОГО КОНТРОЛЯ АВИАЦИОННЫХ РАДИОЛОКАЦИОННЫХ КОМПЛЕКСОВ / Математическое и программное обеспечение систем в промышленной и социальной сферах. 2014.№ 1 (4). С. 61-66.

45. Механов В.Б., Зинкин С.А., Карамышева Н.С. УПРАВЛЕНИЯ ВЫЧИСЛИТЕЛЬНЫМИ ПРОЦЕССАМИ В РАСПРЕДЕЛЕННЫХ СИСТЕМАХ ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ И ЗНАНИЙ / Информационные технологии. 2013. № 1. С. 51-58.

46. Tarantsev E.K., Konnov N.N. METHODS FOR INCREASING THE PERFORMANCE OF PULSE DOPPLER RLS FIRMWARE / Telecommunications and Radio Engineering. 2013. Т. 72. № 12. С. 1081-1092.

47. Дубинин В.Н.ОПЕРАЦИОННАЯ СЕМАНТИКА ФУНКЦИОНАЛЬНЫХ БЛОКОВ IЕС 61499 (ЧАСТЬ 2. ЦИКЛИЧЕСКАЯ МОДЕЛЬ ВЫПОЛНЕНИЯ) / Известия высших учебных заведений. Поволжский регион. Технические науки. 2013. № 2 (26). С. 45-58.

2014

48. Patil S., Drozdov D., Dubinin V., Vyatkin V. Cloud-based Framework for Practical Model-Checking of Industrial Automation Applications . IFIP AICT - Advances in Information and Communication technology; No. 450, 2014, p.73-81.

49. 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). P.3584 – 3590.

50. 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). P. 3577 – 3583.

51. 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, 16-19 Sept. 2014. p.1-4.

52. 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, 16-19 Sept. 2014, p.1-8.

53. Domnin, Nikolay Konnov, and Victor Mekhanov . Modeling EMA and MA Algorithms to Estimate the Bitrate of Data Streams in Packet Switched Networks / Communications in Computer and Information Science, Volume 487, 2014  P. 91 – 100.

54. Н.П. Вашкевич,  Р.А. Бикташев, С.В. Киселев. Верификация алгоритма диспетчеризации задач многопроцессорной системы с использованием средств STATEFLOW /Актуальные проблемы гуманитарных и естественных наук. 2014. № 12, С. 42-46.

55. Коннов Н.Н., Смагин С.А  КОРРЕКЦИЯ ИНСТРУМЕНТАЛЬНОЙ ПОГРЕШНОСТИ НОНИУСНЫХ ИЗМЕРИТЕЛЕЙ ВРЕМЕННЫХ ИНТЕРВАЛОВ / Телекоммуникации. 2014. № 3. С. 29-36.

2015

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

57. Patil S., Dubinin V., Pang C., Vyatkin V. Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM. / Perspectives of System Informatics: Lecture Notes in Computer Science, Volume 8974, 2015,  Pages 76-91.58. Patil S., Drozdov D., Dubinin V., Vyatkin V. Cloud-based Framework for Practical Model-Checking of Industrial Automation Applications/ IFIP AICT - Advances in Information and Communication technology; No. 450, 2015, Pages 73-81.

59. Dmitry Pashchenko, Dmitry Trokoz,Nikolas Konnov, Mikel Sinev. Formal Transformation Inhibitory Safe Petri Nets into Equivalent not Inhibitory / Procedia Computer Science, Volume 49, 2015, Pages 99–103

60. Kizilov, E.,Konnov, N.,Pashchenko, D.,Trokoz, D.  Modeling of QoS in the industrial Ethernet switches /  2015 The 5th International Workshop on Computer Science and Engineering-Information Processing and Control Engineering (WCSE 2015-IPCE). April 15-17, 2015, Moscow, Russia, Pages 185-190

61. Шеланков О.Е., Зинкин С.А. ФОРМИРОВАНИЕ СОБЫТИЙНЫХ ФРЕЙМОВ И СЕТЕЙ ДЛЯ ПРЕДСТАВЛЕНИЯ ДЕКЛАРАТИВНО-ПРОЦЕДУРНЫХ ЗНАНИЙ О ФУНКЦИОНИРОВАНИИ СЛОЖНЫХ СИСТЕМ С МОБИЛЬНЫМИ И СТАЦИОНАРНЫМИ ОБЪЕКТАМИВопросы радиоэлектроники. 2015. № 6 (6). С. 22-31.

62. Волчихин В.И., Дубравин А.В., Зинкин С.А. АБСТРАКТНЫЙ И СТРУКТУРНЫЙ СИНТЕЗ СИСТЕМ ОБРАБОТКИ ДАННЫХ НА ОСНОВЕ ПАРАДИГМЫ ПЕРЕДАЧИ СООБЩЕНИЙ В РАСПРЕДЕЛЕННОМ ОКРУЖЕНИИ ВЫЧИСЛИТЕЛЬНОЙ СЕТИ /Известия высших учебных заведений. Поволжский регион. Технические науки. 2015. № 2. С. 104-122.

63. Волчихин В.И., Дубравин А.В., Зинкин С.А. АБСТРАКТНЫЙ И СТРУКТУРНЫЙ СИНТЕЗ РАСПРЕДЕЛЕННЫХ СИСТЕМ ОБРАБОТКИ ДАННЫХ НА ОСНОВЕ МУЛЬТИПАРАДИГМАЛЬНОГО ПОДХОДА / Известия высших учебных заведений. Поволжский регион. Технические науки. 2015. № 1 (33). С. 60-80

64. Трокоз Д.А., Пащенко Д.В., Синев М.П., Сауанова К.Т. Рекурсивно-управляемые автоматы / ВЕСТНИК АЛМАТИНСКОГО УНИВЕРСИТЕТА ЭНЕРГЕТИКИ И СВЯЗИ, 2015. № 3 (30). с. 22-32

65. Федюнин Р.Н. ОЦЕНКА ПРОСТРАНСТВЕННОЙ СЛОЖНОСТИ ФУНКЦИОНАЛЬНЫХ БЛОКОВ АЛУ НА БАЗЕ ОДНОРОДНЫХ ВЫЧИСЛИТЕЛЬНЫХ СТРУКТУР/ Информационные технологии. 2015. Т. 21. № 5. С. 356-361.

66. Федюнин Р.Н., Войнов А.С., Сенокосов И.В. RISС-ЯДРО ДЛЯ ОБРАБОТКИ МНОГОМЕРНЫХ МАССИВОВ/ Известия высших учебных заведений. Поволжский регион. Технические науки. 2015. № 2. С. 45-55.

67. Пащенко Д.В., Трокоз Д.А., Мартяшин Г.В., Максимова К.С., Бальзанникова Е.А. СЕТЕВАЯ МОДЕЛЬ ЯЗЫКА «Т» НА ОСНОВЕ ЦВЕТНЫХ БЕЗОПАСНЫХ ИЕРАРХИЧЕСКИХ РЕКУРСИВНЫХ СЕТЕЙ ПЕТРИ / Поволжский регион. Технические науки. 2015. № 3. С. 25-35.
68. Вашкевич Н.П., БикташевР.А., Пащенко Д.В., КутузовВ.В., Сауанова К.Т. Использование моделей событийных недетерминированных автоматов для формального описания параллельных алгоритмов логического управления / Вестник НАН РК,  2015, № 4, с. 48-63.

69. Пащенко Д.В., СиневМ.П., Кутузов В.В., Трокоз Д.А., Сауанова К.Т.  / Способы межмодульного и межблочного взаимодействия аппаратных средств управления наземной инфраструктурой ракетно-космических комплексов / Вестник НАН РК, 2015,  № 4, с.  101-114.

2016

70. Dmitry Pashchenko, Dmitriy Trokoz, Galina Sovetkina, Ekaterina Nikolaeva, Michael Sinev, Aleksey Dubravin and Nikolas Konnov / The methodology of multicriterial assessment of Petri nets’ apparatus / MATEC Web of Conferences Vol. 44 (2016), Pages 01009-p.1-01009-p.5

71. Dmitry Pashchenko, Michael Sinev, Dmitriy Trokoz, Mary Sineva, Andrey Tokarev and Aleksey Dubravin / Construction features of procedural simulator for objective control expert systems management devices of rocket and space technology ground infrastructure objects  / MATEC Web of Conferences Vol. 44 (2016), Pages 01010 p.1-01010-p.5

72. Evgeniy Kizilov, Nikolas Konnov, Kirill Nikishin, Dmitry Pashchenko and Dmitriy Trokoz. Scheduling queues in the Ethernet switch, considering the waiting time of frames / MATEC Web of Conferences Vol. 44 (2016), Pages 01011-p.1-01011-p 5.

73.Dmitry Pashc4henko, Dmitriy Trokoz, Nikolas Konnov, Andrew Krasnov, Paul Cheche and Tania Pashchenko / The methodology for constructing the linear and linear-cyclic basic fragments by means of decomposition of PN-model 01012// MATEC Web of Conferences Vol. 44 (2016), Pages 01012-p.1-01012-p.6

74. Dmitry Pashchenko, Aleksey Du-bravin, Sergey Zinkin, Nadezhda Karamysheva. Implementation of the interface for sending messages in agent-oriented cloud/grid systems based on formalized specifications /PROCEEDINGS 2016 International Siberian Conference on Control and Communications (SIBCON) , RUSSIA, MOSCOW, MAY 12−14, 2016

75. Никишин К. И., Коннов Н. Н. Генератор трафика Ethernet на основе  цветных сетей Петри / Модели, системы, сети в экономике, технике, природе и обществе, Вып. №1 (17) 2016,    С. 299 -307.  

76. Kirill Nikishin , Nicolas Konnov, Dmitry Pashchenko. Modelling of Systems Using a Time-Triggered Ethernet. Information Technologies and Mathematical Modelling - Queueing Theory and Applications. Volume 638 of the series Communications in Computer and Information Science, 2016, pp 303-314

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

78. Дубинин В.Н., Будаговский Д.А., Дроздов Д.Н., Артамонов Д.В. ПРОЕКТИРОВАНИЕ И РЕАЛИЗАЦИЯ СИСТЕМ УПРАВЛЕНИЯ ДИСКРЕТНЫМИ СОБЫТИЙНЫМИ СИСТЕМАМИ НА ОСНОВЕ ИЕРАРХИЧЕСКИХ МОДУЛЬНЫХ НЕДЕТЕРМИНИРОВАННЫХ АВТОМАТОВ (Ч. 2. МЕТОДЫ И СРЕДСТВА)/ Известия высших учебных заведений. Поволжский регион. Технические науки. 2016. № 2 (38). С. 18-32.

79. Дубинин В.Н., Дроздов Д.Н. ПРОЕКТИРОВАНИЕ И РЕАЛИЗАЦИЯ СИСТЕМ УПРАВЛЕНИЯ ДИСКРЕТНЫМИ СОБЫТИЙНЫМИ СИСТЕМАМИ НА ОСНОВЕ ИЕРАРХИЧЕСКИХ МОДУЛЬНЫХ НЕДЕТЕРМИНИРОВАННЫХ АВТОМАТОВ (Ч. 1. ФОРМАЛЬНАЯ МОДЕЛЬ) / Известия высших учебных заведений. Поволжский регион. Технические науки. 2016. № 1 (37). С. 28-39.

80. Антипов А.Г., Гурин Е.И.,  Терентьев А.В. Специализированный процессор предварительной обработки информации на основе ПЛИС. / Известия высших учебных заведений. Поволжский регион. Технические науки. 2016. № 2 (38). C. 5-17

81. Федюнин Р.Н. Временной анализ и реализация аппаратно-программных модулей АЛУ. / Известия высших учебных заведений. Поволжский регион. Технические науки. 2016. № 2 (38). C.33-48

82. Коннов Н. Н.,  Семенов А. О. Стохастический подход к диспетчеризации очередей в коммутаторах / Известия высших учебных заведений. Поволжский регион. Технические науки. – 2016. – №3 (39). – С. 72–83

83. Мартяшин Г.В.,Тархов К.Ю., Калачев А.В.,Бальзанникова Е.А. Пащенко Д.В. Формальное описание алгоритма декомпозиции сложных систем на основе сетей Петри с использованием тензорной методологииИзвестия высших учебных заведений. Поволжский регион. Технические науки. – 2016. – №3 (39). – С. 62–71

84.Федюнин Р.Н. Блок арифметико-логического устройства для реализации умножения больших чисел Известия высших учебных заведений. Поволжский регион. Технические науки. – 2016. – №3 (39). – С. 29-40

2017

84. Drozdov, D., Patil, S., Dubinin, V., Vyatkin, V. Formal verification of cyber-physical automation systems modelled with timed block diagrams // IEEE 25th International Symposium on Industrial Electronics (ISIE), Santa Clara, CA, USA, 2016. DOI: 10.1109/ISIE.2016.7744910.

85. Dai W., Dubinin V., Christensen J., 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.

86. 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.

Дата создания: 06.02.2017 15:57
Дата обновления: 12.05.2017 19:29