Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Кузьмин Егор Владимирович
В базах данных Math-Net.Ru
Публикаций: 32
Научных статей: 32

Статистика просмотров:
Эта страница:1147
Страницы публикаций:8230
Полные тексты:5945
Списки литературы:1143
профессор
доктор физико-математических наук
E-mail:

https://www.mathnet.ru/rus/person63383
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://orcid.org/0000-0003-0500-306X

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

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024