База данных: ЭКЖ Университет онлайн кітапханасы кітаптар
Беті 1, Нәтижелерін: 2
Отмеченные записи: 0
1.
Подробнее
Закревский, А. Д.
Логические основы проектирования дискретных устройств [Электронный ресурс] : монография / А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисова. - Москва : Физматлит, 2007. - 590 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0811-9 : Б. ц.
ББК 32.965.6 + 22.18
Аннотация: Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Особое внимание уделяется задачам комбинаторной оптимизации и разделам логики, важным с точки зрения технических приложений.Предназначается для специалистов в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении.
Доп.точки доступа:
Поттосин, Ю. В.
Черемисова, Л. Д.
Физматлит
Закревский, А. Д.
Логические основы проектирования дискретных устройств [Электронный ресурс] : монография / А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисова. - Москва : Физматлит, 2007. - 590 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0811-9 : Б. ц.
| УДК |
Аннотация: Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Особое внимание уделяется задачам комбинаторной оптимизации и разделам логики, важным с точки зрения технических приложений.Предназначается для специалистов в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении.
Доп.точки доступа:
Поттосин, Ю. В.
Черемисова, Л. Д.
Физматлит
2.
Подробнее
Бибило, П. Н.
Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний [Электронный ресурс] : монография / П. Н. Бибило, В. И. Романов. - Минск : Белорусская наука, 2011. - 280 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-985-08-1322-0 : Б. ц.
ББК 32.965.6 + 22.18
Аннотация: Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида «если то». Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах.Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.
Доп.точки доступа:
Романов, В. И.
Белорусская, наука
Бибило, П. Н.
Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний [Электронный ресурс] : монография / П. Н. Бибило, В. И. Романов. - Минск : Белорусская наука, 2011. - 280 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-985-08-1322-0 : Б. ц.
| УДК |
Аннотация: Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида «если то». Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах.Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.
Доп.точки доступа:
Романов, В. И.
Белорусская, наука
Беті 1, Нәтижелерін: 2