База данных: Каталог ЭБС Университетская библиотека онлайн
Страница 2, Результатов: 12
Отмеченные записи: 0
11.
Подробнее
86673
Бибило, П. Н.
Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний [Электронный ресурс] : монография / П. Н. Бибило, В. И. Романов. - Минск : Белорусская наука, 2011. - 280 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-985-08-1322-0 : Б. ц. - Текст : электронный.
ББК 32.965.6 + 22.18
Аннотация: Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида «если то». Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах.Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.
Доп.точки доступа:
Романов, В. И.
Белорусская, наука
Бибило, П. Н.
Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний [Электронный ресурс] : монография / П. Н. Бибило, В. И. Романов. - Минск : Белорусская наука, 2011. - 280 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-985-08-1322-0 : Б. ц. - Текст : электронный.
| УДК |
Аннотация: Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида «если то». Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах.Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.
Доп.точки доступа:
Романов, В. И.
Белорусская, наука
12.
Подробнее
89949
Сосонкин, В. Л.
Системы числового программного управления [Электронный ресурс] : учебное пособие / В. Л. Сосонкин, Г. М. Мартинов. - Москва : Логос, 2005. - 295 с. - (Новая Университетская Библиотека). - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 5-98704-012-4 : Б. ц. - Текст : электронный.
ББК 32.965.7
Аннотация: Представлены архитектурные решения локальных систем числового программного управления, дан анализ вариантов их интеграции на системном и прикладном уровнях. Рассмотрены особенности новейшего поколения систем ЧПУ. Основное внимание уделено модульному построению однокомпьютерной системы ЧПУ и принципам взаимодействия модулей в рамках открытой архитектуры. Представлены все разделы прикладного программного обеспечения систем ЧПУ. Показано, каким образом понятия предметной области (интепретатор, интерполятор, языковый процессор и др.) соотносятся с понятиями программирования (объектный тип, атрибут, операция и др.). Охарактеризованы функциональные возможности современных систем ЧПУ.Для студентов высших учебных заведений, обучающихся по специальности 210200 «Автоматизация технологических процессов и производств», направлению 550200 «Автоматизация и управление» и магистерской программе 550207 «Распределенные компьютерные информационно-управляющие системы». Может быть полезна преподавателям, аспирантам и специалистам.
Доп.точки доступа:
Мартинов, Г. М.
Литературное, агентство
Сосонкин, В. Л.
Системы числового программного управления [Электронный ресурс] : учебное пособие / В. Л. Сосонкин, Г. М. Мартинов. - Москва : Логос, 2005. - 295 с. - (Новая Университетская Библиотека). - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 5-98704-012-4 : Б. ц. - Текст : электронный.
| УДК |
Аннотация: Представлены архитектурные решения локальных систем числового программного управления, дан анализ вариантов их интеграции на системном и прикладном уровнях. Рассмотрены особенности новейшего поколения систем ЧПУ. Основное внимание уделено модульному построению однокомпьютерной системы ЧПУ и принципам взаимодействия модулей в рамках открытой архитектуры. Представлены все разделы прикладного программного обеспечения систем ЧПУ. Показано, каким образом понятия предметной области (интепретатор, интерполятор, языковый процессор и др.) соотносятся с понятиями программирования (объектный тип, атрибут, операция и др.). Охарактеризованы функциональные возможности современных систем ЧПУ.Для студентов высших учебных заведений, обучающихся по специальности 210200 «Автоматизация технологических процессов и производств», направлению 550200 «Автоматизация и управление» и магистерской программе 550207 «Распределенные компьютерные информационно-управляющие системы». Может быть полезна преподавателям, аспирантам и специалистам.
Доп.точки доступа:
Мартинов, Г. М.
Литературное, агентство
Страница 2, Результатов: 12