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