Информация о книге

978-985-08-1322-0

Главная  » Научно-техническая литература » Информационные технологии. Компьютеры » Программирование » Другие языки программирования » Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний

Бибило П.Н., Романов В.А., Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний

Беларуская навука, 2011 г., 279 стр., 978-985-08-1322-0


Описание книги

Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида "если.

Скачать, но не бесплатно эту книгу можно в интернет-магазинах

  Литрес - 204 руб.

Читать онлайн


Доступен для чтения фрагмент книги

Поделиться ссылкой на книгу



Содержание книги

Введение......5Глава 1. Организация систем логического проектирования дискретных устройств......81.1. Задачи логического проектирования дискретных устройств......81.2. Организация систем логического проектирования дискретных устройств......121.3. Экспертные компоненты в системах логического проектирования......291.4. Формальная модель системы автоматизированного логического проектирования......31Глава 2. Представления объектов проектирования......402.1. Булевы функции и формы их представления......402.2. Иерархическое описание комбинационных логических схем на языке SF......512.3. Иерархические описания комбинационных логических схем на языке VHDL......682.4. Базисные элементы......742.5. Cложность логических схем......80Глава 3. Интеллектуальная поддержка в системах логического проектирования......843.1. Задачи логического проектирования для иерархических описаний проектов......843.2. Данные и знания в логическом проектировании......943.3. Представление знаний на основе продукций и фреймов......993.4. Пространство признаков, необходимых для принятия решений. Фреймы и атрибуты......1053.5. Программные модули......1113.6. Продукции......1443.7. Стратегии проектирования......1543.8. Маршруты проектирования и их описание стратегиями......157Глава 4. Продукционная система оптимизации описаний логических схем......2064.1. Автономная подсистема ESS обслуживания эксперта......2064.2. Система FLC оптимизации описаний логических схем......2144.3. Направления дальнейшего развития......226Глава 5. Экспериментальные исследования......2345.1. Повторный синтез логических схем......2345.2. Совместное использование систем FLC и LeonardoSpectrum при синтезе схем......2405.3. Синтез схем по BDD-представлениям......2545.4. Синтез схем с использованием декомпозиции......2575.5. Конвейерная минимизация......2595.6. Организация взаимодействия систем логического проектирования......262Заключение......267Литература......269Список сокращений......277


Об авторе

Бибило П.Н.

Романов В.А.


Последние поступления в рубрике "Другие языки программирования"



Функциональная верификация VHDL-описаний синхронных цифровых устройств Функциональная верификация VHDL-описаний синхронных цифровых устройств Бибило П.Н.

Рассматриваются проблемы функциональной верификации проектов синхронных цифровых устройств, представленных на языке VHDL, который широко используется в качестве языка исходного описания проектов при создании электронной аппаратуры на современной......

Scala для нетерпеливых Scala для нетерпеливых Хорстман К.

Написанная для опытных программистов на Java, C++ и C#, которые желают освоить функциональное программирование или язык Scala, книга в сжатой форме знакомит с основными идеями и приемами программирования, что позволяет быстро осваивать их и применять......

R. Книга рецептов R. Книга рецептов Лонг Д.

Язык R - мощный инструмент статистического программирования, десятки тысяч людей ежедневно используют его для проведения серьезного статистического анализа. Но не все задачи, даже простые, удастся быстро решить с его помощью, если не знать......

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Бибило П.Н., Романов В.А., Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.