кластерна сегментація, кластерная сегментация ; метрика, метрика, Metrik ; напівтонові зображення, полутоновые избображения ; сегментація зображень, сегментация изображений, image segmentation ; теорія відношень, теория отношений

Диссертация посвящена вопросам функциональной верификации сложных проектируемых цифровых систем на кристаллах. В работе разработана структурная модель и метод совместной верификации аппаратных и программных составляющих системы на кристалле. Основные результаты теоретико-экспериментальных исследований реализованы в виде программно-аппаратного комплекса CoVer функциональной верификации сложных цифровых систем на кристалле, который нашел промышленное применение при проектировании сложных процессорных систем на ПЛИС.

• УДК // Аналіз зображень