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