RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Кузьмин Егор Владимирович

В базах данных Math-Net.Ru
Публикаций: 22
Научных статей: 22

Статистика просмотров:
Эта страница:712
Страницы публикаций:4830
Полные тексты:1769
Списки литературы:674
доцент
доктор физико-математических наук
E-mail:

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

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

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