|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Исследование и разработка алгоритма формальной верификации и метрики оценки качества на основе методов понижения размерности ИНСстатья
- Авторы: Селевенко Р.М., Строева Е.Н.
- Журнал: INJOIT
- Том: 12
- Номер: 6
- Год издания: 2024
- Первая страница: 14
- Последняя страница: 26
- Номер статьи: 2
- Аннотация: Проверка качества работы искусственных нейронных сетей (ИНС) при помощи алгоритмов формаль- ной верификации является наиболее гарантированным ме- тодом среди прочих, но существует проблема вычислитель- ной сложности и очень больших затрат по времени. Прио- ритетным направлением исследований является уменьше- ние времени работы алгоритмов, что можно сделать либо изменяя непосредственно сам алгоритм формальной вери- фикации, либо проводя какие-то действия над проверяемой архитектурой искусственной нейронной сети.В данной работе представлено исследование методов формальной верификации исскуственных нейронных се- тей, основанных на методах понижения ИНС, описаны проведенные эксперименты с целью проверки свойств у выбранных архитектур нейронных сетей и сделан анализ этих методов.В качестве алгоритма формальной верификации был взят алгоритм Planet, проверялась работа архитектуры с функцией активации ReLU, поэтому была выбрана LeNet, использовались такие методы понижения размерности, как дропаут, прунинг и квантизация, проверялось свойство достижимости, качество определялось при помощи метри- ки RNE. Результаты экспериментов показали, что приме- нение прунинга дает выигрыш по времени, но наиболее эффективным оказался дропаут-метод, в то время как при- менение квантизации для выбраннного алгоритма Planet оказалось невозможным.
- Добавил в систему: Строева Екатерина Николаевна
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | 1899-6203-1-PB.pdf | 1,2 МБ | 7 июня 2024 [katestroeva] |