Публикации в базе данных Math-Net.Ru |
|
2020 |
1. |
Е. В. Кузьмин, О. Е. Горбунов, П. О. Плотников, В. А. Тюкин, В. А. Башкин, “Применение свёрточных нейронных сетей для распознавания длинных конструктивных элементов рельсов на вихретоковых дефектограммах”, Модел. и анализ информ. систем, 27:3 (2020), 316–329 |
|
2018 |
2. |
Е. В. Кузьмин, О. Е. Горбунов, П. О. Плотников, В. А. Тюкин, В. А. Башкин, “Применение нейронных сетей для распознавания конструктивных элементов рельсов на магнитных и вихретоковых дефектограммах”, Модел. и анализ информ. систем, 25:6 (2018), 667–679 |
3. |
Е. В. Кузьмин, О. Е. Горбунов, П. О. Плотников, В. А. Тюкин, “Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм”, Модел. и анализ информ. систем, 25:4 (2018), 382–387 |
|
2017 |
4. |
Е. В. Кузьмин, О. Е. Горбунов, П. О. Плотников, В. А. Тюкин, “Об определении уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм”, Модел. и анализ информ. систем, 24:6 (2017), 760–771 |
|
2016 |
5. |
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов, “Построение CFC-программ ПЛК по LTL-спецификации”, Модел. и анализ информ. систем, 23:2 (2016), 173–184 |
|
2015 |
6. |
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов, “О выразительности подхода к построению ПЛК-программ по LTL-спецификации”, Модел. и анализ информ. систем, 22:4 (2015), 507–520 |
|
2014 |
7. |
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов, “Моделирование согласованного поведения ПЛК-датчиков”, Модел. и анализ информ. систем, 21:4 (2014), 75–90 |
8. |
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов, “Построение IL-программ ПЛК по LTL-спецификации”, Модел. и анализ информ. систем, 21:2 (2014), 26–38 |
|
2013 |
9. |
Е. В. Кузьмин, В. А. Соколов, Д. А. Рябухин, “Построение и верификация LD-программ ПЛК по LTL-спецификации”, Модел. и анализ информ. систем, 20:6 (2013), 78–94 |
10. |
Е. В. Кузьмин, В. А. Соколов, Д. А. Рябухин, “Построение и верификация ПЛК-программ по LTL-спецификации”, Модел. и анализ информ. систем, 20:4 (2013), 5–22 |
11. |
Е. В. Кузьмин, В. А. Соколов, “Моделирование, спецификация и построение программ логических контроллеров”, Модел. и анализ информ. систем, 20:2 (2013), 104–120 |
|
2012 |
12. |
Е. В. Кузьмин, В. А. Соколов, “Моделирование счетчиковых машин двухголовочными автоматами”, Модел. и анализ информ. систем, 19:5 (2012), 69–73 |
13. |
Е. В. Кузьмин, В. А. Соколов, “О построении и верификации программ логических контроллеров”, Модел. и анализ информ. систем, 19:4 (2012), 25–36 |
14. |
Е. В. Кузьмин, В. А. Соколов, “О верификации LD-программ логических контроллеров”, Модел. и анализ информ. систем, 19:2 (2012), 138–144 |
|
2010 |
15. |
Е. В. Кузьмин, Д. Ю. Чалый, “О языках автоматных счетчиковых машин”, Модел. и анализ информ. систем, 17:2 (2010), 48–71 |
16. |
Е. В. Кузьмин, Д. Ю. Чалый, “О множестве достижимости автоматных счетчиковых машин”, Модел. и анализ информ. систем, 17:1 (2010), 52–64 |
|
2009 |
17. |
Е. В. Кузьмин, Д. Ю. Чалый, “О множестве достижимости автоматных трехсчетчиковых машин”, Модел. и анализ информ. систем, 16:3 (2009), 77–84 |
18. |
Е. В. Кузьмин, Д. Ю. Чалый, “Об одном классе счетчиковых машин”, Модел. и анализ информ. систем, 16:2 (2009), 75–82 |
|
2008 |
19. |
Е. В. Кузьмин, Д. Ю. Чалый, “Алгоритмы для проблемы ограниченности счетчиковых машин”, Модел. и анализ информ. систем, 15:4 (2008), 42–55 |
20. |
Е. В. Кузьмин, “Проблема ограниченности для счетчиковых машин с потерями”, Модел. и анализ информ. систем, 15:3 (2008), 14–27 |
21. |
Е. В. Кузьмин, Д. Ю. Чалый, “О разрешимости проблем ограниченности для счетчиковых машин Минского”, Модел. и анализ информ. систем, 15:1 (2008), 16–26 |
|
2007 |
22. |
К. А. Васильева, Е. В. Кузьмин, “Верификация автоматных программ с использованием LTL”, Модел. и анализ информ. систем, 14:1 (2007), 31–43 |
|