Автоматизированный анализ программируемых логических матриц

Abstract

Настоящая дипломная работа состоит из введения, четырех глав, объединяющих семь разделов, заключения, списка использованных источников и двух приложений. Объем работы составляет 31 страницу, 7 рисунков, 10 таблиц. При написании дипломной работы использовалось 6 источников. Ключевые слова: ПРОГРАММИРУЕМАЯ ЛОГИЧЕСКАЯ МАТРИЦА, ЛОГИЧЕСКОЕ МОДЕЛИРОВАНИЕ, КОНЕЧНЫЙ ПРЕДИКАТ, ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ. Объектом исследования является программируемые логические матрицы и методы логического программирования и разработка. Задачей данного дипломного проекта являлась изучение задач анализа программируемых логических матриц с точки зрения их решения методами логического программирования и программная реализация разработанных методов. Актуальность данной темы обосновывается тем, не теряет актуальности применение программируемых логических структур в программируемых логических интегральных схемах. Интегральные схемы обеспечивают работу различных по сложности и функционалу цифровых устройств. Многие из перечисленных задач можно решать с помощью логического моделирования. Вместе с тем, постоянное развитие элементной базы современных дискретных устройств приводит к различию в функциональной сложности различных элементов одного и того же устройства. Это требует непрерывного развития методов и алгоритмов ЛМ и его программных средств, что особенно трудно, когда в одной системе моделирования для элементов используются множество различных моделей. Использование же логического программирования (ЛП) позволяет упростить разработку и совершенствование программных средств ЛМ. Результатом проделанной работы разработка предикатов логического программирования для описания и анализа программируемых логических матриц и их реализация средствами языка логического программирования Visual Prolog. Автор работы подтверждает, что приведенный в ней аналитический материал правильно и объективно отражает состояние исследуемого процесса, а все заимствованные из литературных и других источников теоретические, методологические и методические положения и концепции сопровождаются ссылками на их авторов.