Сортировать по:
Выпуск | Название | |
Том 29, № 1 (2022) | LTL-спецификация ограниченных счётчиковых машин | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин | ||
Том 28, № 1 (2021) | LTL-спецификация счётчиковых машин | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин | ||
Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
Том 29, № 2 (2022) | Применение функций голосования для оценки числа монотонных самодвойственных булевых функций | Аннотация PDF (Rus) похожие документы |
Леонид Юрьевич Быстров, Егор Владимирович Кузьмин | ||
Том 31, № 2 (2024) | Верификация декларативной LTL-спецификации поведения управляющих программ | Аннотация PDF (Rus) похожие документы |
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
Том 31, № 3 (2024) | LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью | Аннотация PDF (Rus) похожие документы |
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
Том 31, № 4 (2024) | Применение TLA+/TLC для моделирования и верификации криптографических протоколов | Аннотация PDF (Rus) похожие документы |
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
Том 19, № 5 (2012) | Моделирование счетчиковых машин двухголовочными автоматами | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
Том 30, № 2 (2023) | Полином Жегалкина многоместного самодостаточного оператора | Аннотация PDF (Rus) похожие документы |
Леонид Юрьевич Быстров, Егор Владимирович Кузьмин | ||
Том 20, № 2 (2013) | Моделирование, спецификация и построение программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
Том 21, № 2 (2014) | Построение IL-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
Том 20, № 6 (2013) | Построение и верификация LD-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
Том 20, № 4 (2013) | Построение и верификация ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
Том 32, № 2 (2025) | Обнаружение прямоугольных импульсных помех на вихретоковых дефектограммах рельсов | Аннотация PDF (Rus) похожие документы |
Леонид Юрьевич Быстров, Артемий Николаевич Гладков, Егор Владимирович Кузьмин | ||
Том 31, № 2 (2024) | Подавление аддитивных периодических низкочастотных помех на вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
Леонид Юрьевич Быстров, Артемий Николаевич Гладков, Егор Владимирович Кузьмин | ||
Том 24, № 6 (2017) | Об определении уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин | ||
Том 25, № 4 (2018) | Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин | ||
Том 28, № 1 (2021) | Алгоритм корректировки уровней полезных сигналов при расшифровке вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
Том 25, № 6 (2018) | Применение нейронных сетей для распознавания конструктивных элементов рельсов на магнитных и вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
Том 27, № 3 (2020) | Применение свёрточных нейронных сетей для распознавания длинных конструктивных элементов рельсов на вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
Том 28, № 2 (2021) | Оценка степени опасности дефектов при расшифровке вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
1 - 24 из 24 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)