Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний
От производителя
Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида "если - то". Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах. Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.
Что объединяет эти статьи? Прежде всего то, что они вместе с другими статьям составят «Справочник технического писателя». Справочник, в котором совместно анализируются стандарты разных систем – ГОСТ 2, ГОСТ 34, ГОСТ 19 и др.,
используемые техническими писателями при разработке текстовых документов.
Результатами такого анализа станут предложения по корректировке действующих стандартов (см. статью ««Обозначение программных документов. Предложения по изменению стандартов») или же приглашение к обсуждению тех или иных вопросов, как это сделано в статье «Стадии разработки».
По мнению автора справочника, совместный анализ стандартов разных систем позволит не допускать расширенного толкования одних и тех же понятий, корректно использовать техническую терминологию, а также исключить противоречия в правилах выполнения текстовых документов в разных системах стандартов.
Задача словарных статей «Справочника технического писателя» не повторять тексты тех или иных стандартов, а рассмотреть стандарты разных систем, взглядом специалиста, применяющего их при подготовке технической документации.
Статьи этого справочника предназначены для технических писателей, нормоконтролеров, работников ОТК, а также всех, кто тем или иным образом связан с разработкой, оформлением согласованием и утверждением текстовой документации.