ПОИСК Статьи Чертежи Таблицы Методы и модели синтеза рациональной структуры комплексной САПР для класса МЭА из "Теоретические основы построения базовых адаптируемых компонентов САПР МЭА " В данном параграфе рассмотрена реализация формальной процедуры синтеза структуры комплексной САПР, основанная на моделях в виде семантических сетей фреймов и использовании информационно-лингвистического обеспечения, базовых адаптируемых структурах основных составляющих комплекса средств автоматизации проектирования комплексной САПР и экономико-математической модели эффективности системы [27]. [c.163] Структура САПР для одного класса МЭА отличается от структуры САПР для другого конкретным набором прикладного программного обеспечения. В ряде случаев в зависимости от задач, решаемых той или иной САПР, она может отличаться и набором периферийного оборудования. Общность системной части комплексной САПР любых классов аппаратуры обусловлена использованием в системе единого входного языка, имеющего средства для описания задания на проектирование любого класса аппаратуры, программируемого транслятора (см. гл. 3) с этого языка в форматы языка любой программной единицы прикладного программного обеспечения, развитой мониторной системы, универсального информациожного обеспечения, базирующегося на реляционном принципе. Целесообразность использования относительно дешевых и эффективных САПР для класса МЭА, синтезированных из базовой структуры комплексной САПР МЭА, очевидна. [c.163] Пусть сформирован базовый комплект альтернативных программ, полностью реализующий все этапы и задачи проектирования для любых классов устройства МЭА. Тогда можно, используя некоторый набор программ из комплекта, базовую структуру комплексной САПР, экономико-математическую модель системы, синтезировать по определенным критериям конкретную САПР для определенного класса устройств МЭА. При этом используются процедуры, разработанные и рассмотренные в гл. 1. Также предполагается, что комплект альтернативных модулей является полным, т. е. при добавлении любого числа новых модулей, количество этапов и задач проектирования остается постоянным. [c.163] Для использования в задаче синтеза структуры САПР для класса схем наиболее приемлем стоимостной показатель качества, который отражен в экономико-математической модели системы, рассмотренной в 4.2. [c.164] Модель системы в виде (п + 2)-уровневого графа удобна при наличии в базовом комплекте альтернативных модулей, каждый из которых решает только одну задачу проектирования. В этом случае каждой из вершин графа соответствует альтернативный модуль. В реальной ситуации базовый комплект состоит из модулей, ППП, подсистем и т. д., причем на большинство из составляюш их распространяется условие целочисленности. [c.165] Рассмотрим возможность применения других кибернетических моделей к задаче синтеза структуры комплексной САПР. [c.165] Предметная область комплексной САПР является дискретной. Поэтому из существующ,их кибернетических моделей [52] для моделирования знаний о программных единицах целесообразнее использовать алгебраические модели (графовые модели не подходят по указанным выше причинам). Среди алгебраических моделей наибольший интерес представляют модели систем искусственного интеллекта, так как автоматизированный синтез структуры системы является процедурой принятия решения такой системой. В них используются следуюш ие модели представления знаний декларативные, процедуральные, специальные. Оценим их возмолшости, преимущества и недостатки. [c.165] Например, вместо хранения информации о всех возможных состояниях игры в 8 (декларативное представление знаний) можно хранить программу, которая сгенерирует из начального состояния все возможные. Процедуральные модели обеспечивают более быстрый поиск решения по сравнению с декларативными и обладают мепьшими средствами для накопления информации. Наличие механизма недетерминированного поиска делает их менее приспособленными к решению задач в сложных и не полностью известных предлгетных областях. Разделение описания синтаксиса и семантики в рассмотренных моделях представления знаний имеет положительные и отрицательные стороны. [c.166] С целью повышения эффективности системы на основе соединения моделей двух типов были разработаны различные варианты моделей знаний в виде семантических сетей (класс специальных моделей). В этом представлении описание объекта осуществляется на естественном языке. В представлении простых логических отношений типа логических связок, кванторов общности и существования семантические сети уступают декларативному представлению предметной области, в части отображения динамических и параллельных процессов — процедуральному. [c.166] Анализ показывает, что информационную модель для синтеза структуры комплексной САПР из комплекта модулей целесообразно представлять в виде гибкой фреймовой сети. Это верно, в частности, для случая, когда модулями являются программы, ППП, подсистемы, технические средства, обладающие внутренними информационными связями. [c.167] Для целей описания задач проектирования систем и диалогового формирования алгоритмов в [94] используются следующие типы фреймов классификационные (К), смысловые связки (С) и директивные (Д). Классификационный фрейм имеет имя и возможные значения имени. На экране дисплея на комплексном (естественном) языке высвечивается имя фрейма и набор возможных имен. Пользователь разрешает классификационный фрейм, присваивая фрейму одно из возможных имен. Директивный фрейм содержит приказ для пользователя, его имя отражает назначение фрейма. Смысловые связки содержат сказуемое типа требует , входной аргумент и выходные аргументы. Смысловая связка представляет собой предложение, где входной аргумент — подлежащее, а выходные аргументы имеют смысл дополнений. Выходные аргументы указывают, какие классификационные фреймы должны быть вызваны данныд1 фреймом-связкой. Входной аргумент является выходным аргументом либо предшествующего классификационного фрейма, либо предшествующей смысловой связки. [c.167] Обычно реализация сети фреймов осуществляется с помощью специальных языков высокого уровня Лисп, ККЬ, РВЬ, что ввиду отсутствия соответствующих трансляторов в стандартных ОС затрудняет их использование. Кроме того, сеть фреймов можно описать в виде таблиц, которые легко реализовать с помощью таких языков, как ПЛ/1, Фортран [95]. [c.168] Сз В (параметры системы) требует задать А (характеристики системы), В (имеющиеся технические средства) . [c.169] С4 С (задачи решаемые системой) требует указать А (задачи схематического проектирования), В (задачи технологического проектирования), С (тепловой анализ), Д (выпуск управляющих перфолент), Е (выпуск документации) . [c.169] Сб А (характеристики системы) требует указать А (производительность ), В (стоимость ) . [c.169] Се В (имеющиеся технические средства) требует указать А (базовая ЭВМ), В (терминальный класс), С (специальное периферийное оборудование) . [c.169] Ся А (задачи схемотехнического проектирования) требуют указать А В С . .. К (список задач) . [c.169] Вернуться к основной статье