| 
Поиск по ключевому слову "верификация"
Разработка методов верификации элементов дискретно-событийной модели
| Авторы: Горохова А.С., Завадская Л.А., Новичкова М.А. | Опубликовано: 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 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Автоматизация и управление технологическими процессами и производствами | |
| Ключевые слова: нейронная сеть, персептрон, искусственный интеллект, биометрия, компьютерное зрение, обработка изображений, верификация, рукописная подпись | |