Поиск по ключевому слову "верификация"
Разработка методов верификации элементов дискретно-событийной модели
Авторы: Горохова А.С., Завадская Л.А., Новичкова М.А. | Опубликовано: 08.10.2024 |
Опубликовано в выпуске: #4(93)/2024 | |
DOI: | |
Раздел: Математика | Рубрика: Вычислительная математика | |
Ключевые слова: дискретно-событийная система, конечные автоматы, группа роботов, сети Петри, дерево достижимости, спецификация поведения, логическая структура последовательности строк, верификация |
Обзор экспериментальных исследований эффективности пленочного охлаждения плоской поверхности
Авторы: Мельников А.И. | Опубликовано: 20.11.2018 |
Опубликовано в выпуске: #11(28)/2018 | |
DOI: 10.18698/2541-8009-2018-11-407 | |
Раздел: Авиационная и ракетно-космическая техника | Рубрика: Тепловые, электроракетные двигатели и энергоустановки летательных аппаратов | |
Ключевые слова: пленочное охлаждение, эффективность пленочного охлаждения, плоская поверхность, экспериментальные данные, вдув охладителя, ряд отверстий, адиабатическая стенка, верификация |
Численный анализ процесса вытяжки цилиндрических деталей из листовых заготовок переменной толщины
Авторы: Сторожилов В.А., Фонарев Д.А. | Опубликовано: 12.11.2018 |
Опубликовано в выпуске: #11(28)/2018 | |
DOI: 10.18698/2541-8009-2018-11-402 | |
Раздел: Машиностроение и машиноведение | Рубрика: Технологии и машины обработки давлением | |
Ключевые слова: вытяжка, заготовка переменной толщины, численное моделирование, метод конечных элементов, напряженно-деформированное состояние, толщина кромки дисковой заготовки, сила вытяжки, разнотолщинность стенки, относительная высота цилиндрической части, верификация |
Нейросетевой подход к верификации рукописной подписи
Авторы: Глущенко Н.А., Коннова Н.С. | Опубликовано: 10.05.2018 |
Опубликовано в выпуске: #5(22)/2018 | |
DOI: 10.18698/2541-8009-2018-5-313 | |
Раздел: Информатика, вычислительная техника и управление | Рубрика: Автоматизация и управление технологическими процессами и производствами | |
Ключевые слова: нейронная сеть, персептрон, искусственный интеллект, биометрия, компьютерное зрение, обработка изображений, верификация, рукописная подпись |