Полное описание
>
Бибило, П. Н. Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний / П. Н. Бибило, В. И. Романов. - 2-е изд., испр. - М. : URSS, 2014. - 250 с. : ил. - Библиогр.: с. 238-246 (119 назв.). - Тираж не указ. - ISBN 978-5-9710-1156-9. - Текст : непосредственный.| ГРНТИ | УДК | |
| 50.09.29 | 004.3'12 |
Рубрики:
Дискретные устройства -- Проектирование -- Автоматизация
Аннотация: Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида «если → то». Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах. Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.
Доп. точки доступа:
Романов, В.И.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-14/13441)>
Шифр в сводном ЭК: 2b7af9205f5abedbb4200e2e94e7414d
Бибило П.Н. Факторизация при свертке ПЛМ / П. Н. Бибило, 1991. - 26 c. - Текст : непосредственный.Материально-техническое снабжение..Сер.1. Экономия и рациональное использование сырьевых,топливно-энергетических и других материальных ресурсов : Обзор. информ. / ЦНИИТЭИМС. Вып. 21(1990) : Использование золы, шлака и золошлаковой смеси тепловых электростанций Украинской ССР при приготовлении бетонов и строительных растворов / В.И.Романов,В.Г.Брагинский,В.П.Рейниш, 1990. - 25 с. - Текст : непосредственный.Бибило П.Н. Основы языка VHDL : выставочные материалы / П. Н. Бибило, 2012. - 325 с. - Текст : непосредственный.Романов В.И. Отходы России в начале XXI века. Обзор, анализ, прогнозы / В. И. Романов, 2016. - 176 с. - Текст : непосредственный.Романов В.И. Новый мусор как угроза захламления и отравления планеты (информационно-познавательное пособие) / В. И. Романов ; Ред. Р. Л. Романова, 2017. - 172 с. - Текст : непосредственный.
Бибило П.Н. Основы языка VHDL : учеб. пособие / П. Н. Бибило, 2007. - 325 с. - Текст : непосредственный.Бибило П.Н. Основы языка VHDL : учеб. пособие / П. Н. Бибило, 2009. - 325 с. - Текст : непосредственный.Бибило П.Н. Основы языка VHDL / П.Н.Бибило, 2000. - 120 с. - Текст : непосредственный.Бибило П.Н. Моделирование и верификация цифровых систем на языке VHDL : учеб. пособие / П. Н. Бибило, Н. А. Авдеев, 2017. - 342 с. - Текст : непосредственный.Бибило П.Н. Задачи по проектированию логических схем с использованием языка VHDL : учеб. пособие / П. Н. Бибило, 2010. - 324 с. - Текст : непосредственный.Бибило П.Н. Основы языка VHDL : учеб. пособие / П. Н. Бибило, 2014. - 325 с. - Текст : непосредственный.Ионный источник масс-сепаратора с накоплением и временным формированием ионов / Г.Д.Алхазов,К.В.Лукашин,В.Н.Пантелеев,В.И.Романов, 1990. - 18 с. - Текст : непосредственный.Бибило П.Н. Синтез логических схем с использованием языка VHDL / П.Н.Бибило, 2002. - 384 с. - Текст : непосредственный.Расчет комбинированной самовсасывающей системы, состоящей из центробежной ступени и гидроструйного насоса с центральным соплом : метод. пособие по курсу "Тепловые двигатели и нагнетатели" для студентов, обучающихся по направлению "Теплоэнергетика и теплотехника" / А. В. Волков [и др.], 2016. - 19 с. - Текст : непосредственный.Бибило П.Н. Синтез комбинационных ПЛМ-структур для СБИС / П.Н.Бибило, 1992. - 232 с. - Текст : непосредственный.Романов В.И. Реверсивные газовые турбины / В.И.Романов,Ф.И.Кирзнер, 1992. - 151 с. - Текст : непосредственный.Бибило П.Н. Декомпозиционные методы логического синтеза дискретных устройств на программируемых матричных структурах : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.05;05.13.12 / П. Н. Бибило, 1992. - 31 с. - Текст : непосредственный.Бибило П.Н. Основы языка VHDL : учеб. пособие / П. Н. Бибило, 2016. - 325 с. - Текст : непосредственный.Романов В.И. Параметры рабочих органов и режимы работы орудия для поверхностного улучшения закочкаренных кормовых угодий : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.20.01 / В. И. Романов, 1993. - 17 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
Юшин А.М. Цифровые микросхемы для электронных устройств / А. М. Юшин, 1993. - 176 c. - Текст : непосредственный.Кармазинский А.Н. Анализ и синтез цифровых устройств / А. Н. Кармазинский, 1989. - 67 c. - Текст : непосредственный.Садовая И.М. Оценка точности моделей задержек фрагментов субмикронных МОП БИС / И. М. Садовая, 2004. - 16 с. - Текст : непосредственный.Гришкин А.С. Генераторы псевдослучайных символов на регистрах сдвига с внутренними сумматорами по модулю при использовании инвесных выходов : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : диссертация на соискание ученой степени канд. техн. наук / А. С. Гришкин, 2006. - 17 с. - Текст : непосредственный.Mahapatra S. Hybrid CMOS single-electron-transistor device and circuit design / S. Mahapatra, A. M. Ionescu, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Токарев В.Л. Базовые схемы цифровой вычислительной техники / В. Л. Токарев, 1995. - 127 c. - Текст : непосредственный.Быстрицкий А.В. Проектирование структуры межсоединений программируемых логических интегральных схем / А. В. Быстрицкий, 2012. - 16 с. - Текст : непосредственный.Кузелин М.О. Современные семейства ПЛИС фирмы XILINX / М. О. Кузелин, Д. А. Кнышев, В. Ю. Зотов, 2004. - 440 с. - Текст : непосредственный.Опадчий Ю.Ф. Аналоговая и цифровая электроника / Ю. Ф. Опадчий, О. П. Глудкин, А. И. Гуров, 2000. - 768 с. - Текст : непосредственный.Останин С.А. Методы синтеза контролепригодных дискретных устройств : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / С. А. Останин, 2000. - 23 с. - Текст : непосредственный.Инютин С.А. Арифметико-логические основы вычислительных систем / С. А. Инютин, 2001. - 117 с. - Текст : непосредственный.Браммер Ю.А. Импульсные и цифровые устройства / Ю. А. Браммер, И. Н. Пащук, 2002. - 351 с. - Текст : непосредственный.Микропроцессорные, аналоговые и цифровые системы: проектирование и схемотехника, теория и вопросы применения : материалы временных коллективов / Южно-Российский гос. технический ун-т (Новочеркасск), 2007. - 59 с. - Текст : непосредственный.Мальцев П.П. Цифровые интегральные микросхемы / П. П. Мальцев, П. П. Мальцев, Н. С. Долидзе, М. И. Критенко, 1994. - 240 c. - Текст : непосредственный.Цифровые интегральные микросхемы : Справочник / Сост.:В.Ю.Толкачев, Т.А.Кузьмина. Т. 2 : Логические быстродействующие биполярные микросхемы, триггеры и коммутаторы, 1994. - 288 с. - Текст : непосредственный.Ицхоки Я.С. Импульсные и цифровые устройства, 1973. - 591, [1] с. - Текст : непосредственный.Музыченко О.Н. Универсальные методы синтеза логических схем : учеб. пособие. Кн.1, 2005. - 149 с. - Текст : непосредственный.Битар Б. Логические программируемые элементы : препринт / Б. Битар, 1993. - 22 с. - Текст : непосредственный.Деменкова Т.А. Современные методы проектирования цифровых устройств / Т. А. Деменкова, Ю. Д. Тювин, Г. А. Оганян, 2001. - 61 с. - Текст : непосредственный.Hamblen J.O. Rapid prototyping of digital systems / J. O. Hamblen, M. D. Furman, T. S. Hall, 2008 r=on-line
Показать все результатыОстанин С.А. Методы синтеза контролепригодных дискретных устройств : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / С. А. Останин, 2000. - 23 с. - Текст : непосредственный.Деменкова Т.А. Современные методы проектирования цифровых устройств / Т. А. Деменкова, Ю. Д. Тювин, Г. А. Оганян, 2001. - 61 с. - Текст : непосредственный.Hamblen J.O. Rapid prototyping of digital systems / J. O. Hamblen, M. D. Furman, T. S. Hall, 2008 r=on-lineNavabi Z. Digital design and implementation with field programmable devices / Z. Navabi, 2005 r=on-line.Чередов А.Д. Проектирование цифровых устройств / А. Д. Чередов, 1994. - 96 c. - Текст : непосредственный.Computer-aided design of discrete devices. CAD DD'97 : Second international conference: Proceedings, Minsk, November 12-14,1997 / Институт технической кибернетики (Минск), International conference on computer-aided design of discrete devices(2;1997;Minsk). Vol. 1, 1997. - 189 с. - Текст : непосредственный.Хородов В.С. Разработка методов и средств многоагентного распределенного автоматизированного проектирования структурно-функциональных лингвистических моделей вычислительных устройств / В. С. Хородов, 2015. - 23 с. - Текст : непосредственный.Проектирование средств вычислительной техники.Проектирование цифровых устройств РТС : сборник научных трудовЧ. 2 / Ред. В. Б. Смолов, 1973. - 270 c. - Текст : непосредственный.Макаров Г.В. Проектирование цифровых устройств на микропроцессорах / Г. В. Макаров, Е. Д. Алперин, В. Я. Кнох, 2004. - 194 с. - Текст : непосредственный.Грушвицкий Р.И. Проектирование систем на микросхемах с программируемой структурой / Р. И. Грушвицкий, А. Х. Мурсаев, Е. П. Угрюмов, 2006. - 736 с. - Текст : непосредственный.Матушкин Н.Н. Проектирование дискретных устройств на больших интегральных схемах / Н. Н. Матушкин, 1998. - 35 с. - Текст : непосредственный.Рябец Л.В. Сложность и алгоритмы построения проверяюших тестов и некоторых классов полиномиальных форм булевых функций : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / Л. В. Рябец, 2007. - 18 с. - Текст : непосредственный.Грушвицкий Р. Проектирование систем на микросхемах программируемой логики / Р. Грушвицкий, А. Мурсаев, Е. Угрюмов, 2002. - 606 с. - Текст : непосредственный.Филиппов В.А. Разработка методов синтеза программно-аппаратных комплексов с использованием высокоуровневых языков описания : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : автореферат диссертации на соискание ученой степени канд. техн. наук / В. А. Филиппов, 2001. - 16 с. - Текст : непосредственный.Уэйкерли Д.Ф. Проектирование цифровых устройств. Т. 1, 2002. - 543 с. - Текст : непосредственный.Nedjah N. Co-design for system acceleration / N. Nedjah, L. D. Mourelle, 2007 r=on-line. - Текст : электронный.Макаров Н.Н. Конструкторское проектирование электронных модулей : выставочные материалы / Н. Н. Макаров, Е. Н. Викулова, П. С. Кулясов, 2017. - 61 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Заказ фрагмента документа ₽
