Сборники тезисов • Информационные и интеллектуальные системы и технологии • Технологии программирования, искусственный интеллект, биоинформатика
Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2018.
Пример заполнения выходных данных:
Миронович В.А., Буздалов М.В. Оценка применимости нейронных сетей для аппроксимации функции приспособленности при генерации программ из функциональных блоков // Сборник тезисов докладов конгресса молодых ученых. Электронное издание [Электронный ресурс]. - Режим доступа: ссылка на страницу с тезисом, своб.
Оценка применимости нейронных сетей для аппроксимации функции приспособленности при генерации программ из функциональных блоков
УДК: 004.85:004.023
Аннотация:
Автоматизация разработки программного обеспечения — важное направление в научных исследованиях. Поисковая программная инженерия ставит своей задачей использование поисковых техник для решения различных задач программной инженерии. Формальная верификация программ решает вопрос соответствия некоторой программы заданной спецификации и требованиям к её работе. В рамках данной работы формальная верификация используется при автоматизации разработки программ из функциональных блоков. Целью данной работы является оценка применимости нейронных сетей для аппроксимации функции приспособленности, основанной на методах верификации, при генерации программ из функциональных блоков.