Система автоматизированного проектирования организации производства

 

Подобным образом осуществляется привязка произвольной точки по оси  абсцисс.

 

3) Выделение контактных  площадок

 

Выделение площадок круглой  формы основано на обнаружении коротких отрезков, входящих в состав креста. Крест соответствует изображению  площадки. Обнаружение креста инициирует процесс изучения области его  расположения. При этом отыскиваются изображения точек, которые несут  информацию о типе контактной площадки.

 

4) Выделение произвольных  конфигураций типа контуров

 

Нахождение произвольных конфигураций типа контуров является основой для решения задач  корректировки положения узловой  точки и выделения контактных площадок. При поиске осуществляется обход контура. Обнаружение контура  осуществляется тогда, когда возвращаются к исходному отрезку.

 

Для идентификации обнаруженного  контура необходимо знать, является он внутренним или внешним.

 

Если при просмотре  внутреннего контура встречается  штрих, характерный для границы  области металлизации, то это является основанием для его идентификации.

 

Изучение внутренних контуров также служит основой для отыскания  границ библиотечных групп.

 

При удалении элементарных отрезков, входящих в состав контактных площадок круглой формы, границ областей металлизации и границ библиотечных групп на изображении остаются только печатные проводники.

 

Обработка этой части информации сводится к обнаружению указателей типа проводников в разрывах трасс  печатных проводников и увязки их области действия с отрезками.

 

5) Генерация завершающего  файла

 

Представляет собой процесс  формирования записей, которые несут  информацию о найденных обьектах, с последующим их включением в файл.

 

ЛЕКЦИЯ (6

 

Тема: “Основные проектные  процедуры в САПР”

 

ВВЕДЕНИЕ

 

Достаточно очевидным  является вывод относительно экспертного  сопрождения подсистемы моделирования  объекта проектирования.

 

Рассмотрим множество  операций, которые совершает коллектив  проектантов над этой подсистемой.

 

На основе этого анализа  представляется разумным установить, насколько поддается формализации инженерная деятельность в среде  системы автоматизированного проектирования и существует ли возможность опираться  на какие-то фундаментальные положения  типа формула изобретения. Попутно  целесообразно обобщить практический опыт в различных предметных областях и на разных иерархических уровнях  проектирования и сформулировать требования к экспертному сопровождению  процедур.

 

ОСНОВНАЯ ЧАСТЬ

 

, если структура синтезируемого  объекта оговорена либо ТЗ, либо  единственными условиями физической  реализуемости (единственный физический  принцип, обеспечивающий выполнение  ТЗ) .

В результате решения задачи синтеза может возникнуть счетное

 

Нестрогая классификационная  схема проектных процедур представлена на рис.1. На схеме показаны основные проектные процедуры, их выбор продиктован  следующими соображениями.

 

Для большинства объектов низшим уровнем проектирования можно  считать компонентный.

 

Понятно, что объект проектирования на этом уровне имеет структурное  и параметрическое описания. Композиция отдельных компонент на схемотехническом уровне имеет также двойное описание. То же можно наблюдать на различных  уровнях системы автоматизированного  проектирования. Любая проектная  процедура может быть классифицирована на структурную и параметрическую.

 

Техническое задание на объект проектирования - это всегда некорректно  поставленная задача. Поэтому при  технологии нисходящего проектирования, даже если возможно выполнение процедуры  синтеза, проектных решений всегда может быть больше одного по структуре  и значениям конструктивных параметров.

 

Уточнение ТЗ порождает необходимость  выполнения процедуры анализа.

Заметим, что при восходящем проектировании процедура анализа  той или иной гипотехнической  структуры объекта проектирования становится едва ли не единственно  возможной.

 

Если система автоматизированного  проектирования построена по принципу генерации проектных решений, то процедура оптимизации является одной из основных. Даже в случае нисходящего проектирования в САПР, допускающего выполнение синтеза по ТЗ без генерации вариантов, уточнение  значений конструктивных параметров осуществляется процедурами оптимизации.

 

Рис.1. Основные проектные  процедуры в САПР

 

В процессе выполнения проектных  процедур приходится всегда приводить  в соответствие способ описания ТЗ, проектного решения (которое часто  является ТЗ для более низкого  уровня структуры проектирования) способу  модельного представления объекта  проектирования.

 

Преобразованию может  быть подвергнуто либо ТЗ, либо собственно модельное представление.

 

Таким образом, процедура  преобразования описаний как структуры так и параметров, является неотъемлемой частью любой САПР.

 

Многие проектные решения  принимаются в среде САПР в  формализованном виде, зачастую на метаязыке системы. Поэтому для  преобразования описания проектного решения (а иногда и ТЗ) используют процедуру  идентификации проектного решения (ТЗ).

 

Множество рассмотренных  проектных процедур не является замкнутым  по номенклатуре и детализации описания. Однако можно утверждать, что для  рассматриваемых здесь предметных областей оно достаточно полно детализирует процесс проектирования.

 

Последнее утверждение основывается на том, что в указанных предметных областях существует в той или  иной мере адекватное модельное представление  объекта проектирования в виде некоторого оператора:

 

La : X ( Y ; a ( A, здесь X и Y описывают множество входных и выходных сигналов .

 

Данное соотношение устанавливает  связь между фазовыми переменными  над множеством {A} конструктивных параметров a.

 

Теоретико-множественный  анализ этого оператора и его  отображения для модельного представления  объекта проектирования показал, что  существует счетное множество его  преобразований, а также операций над ним: декомпозиция и композиция (преобразование) синтез и анализ. Операции над множеством {A} связаны с поиском  единственного ai , которое определяет La .

 

Возможно также либо определение Y при определенных La {} ,{A} и X, либо

La{} при заданных Y и X .

 

Поскольку Y и X зачастую инвариантны  к классу объектов проектирования в  данной САПР, неизбежно преобразование описаний (представлений) Y , X , {A}.

Формализм представления La {} требует решения задачи идентификации.

 

АНАЛИЗ ПРОЦЕДУР

 

1. Процедура анализа

 

Процедура анализа понимается как процесс представления выходных характеристик объекта проектирования при известных входных воздействиях или начальных условиях по какому-либо описанию объекта проектирования

(модельному представлению). Одновариантный анализ проводится  с целью установления соответствия  входных характеристик требованиям  ТЗ.

Многовариантный анализ направлен  на установление в явном, наглядном  виде связи между входными данными, характеристиками и конструктивными  параметрами.

 

2. Процедура синтеза

 

Решение задачи синтеза обеспечивает получение описания объекта проектирования по ТЗ на объект в виде структуры  и совокупности значений конструктивных параметров. Параметрический синтез проводится конечное множество проектных  решений. Если решение одно, синтезируемый  объект будем называть "оптимальным  по ТЗ". Оптимизация конструктивных параметров приводит к полному описанию объекта проектирования.

 

Оптимизация допусков проводится с целью установления совокупности значений каждого конструктивного  параметра по заданному теоретически обоснованному критерию. Оптимизация  технических требований обеспечивает назначение оптимальных (в смысле теоретически обоснованного критерия) требований к выходным характеристикам объекта  проектирования.

 

3. Процедуры преобразования

 

Процедуры преобразования осуществляются над множеством лингвистических  и математических переменных.

 

Их последовательность образует запись либо ТЗ, либо проектного решения, с целью: а) обеспечить представление  ТЗ на метаязыке конкретной САПР, б) представить в форме, понятной проектанту, то или иное проектное решение, сформулированное на метаязыке системы, в) обеспечить совместимость проектных процедур

 

Вторая группа преобразования выделена в отдельную процедуру  идентификации. Если преобразование осуществляется над неформальным описанием, то оно  представимо на языке логики предикатов первого порядка.

 

Например, если для множества  лексем, образующих определенную совокупность требований технического задания Ln, и  множества критериев проектных решений Kp ввести предикат Q (Ln , Kp ), обозначающий факт однозначного соответствия L и K любой лексемы li из множества {L} одной и только одной формальной записи критерия Ki p ({K} , то соответствующая формула имеет вид:

 

(( lin ( Ln ) (( Kip ( Kp) ( Q(Ln, Kp).

 

Если преобразование не выполнимо за одну процедуру, но существуют две совместимые процедуры и результат преобразования не зависит от порядка их применения, то

 

(( lin ( Ln, ( Kip ( Kp) ( Q(Ln, Kp) Q (Ln-m , Kp).

 

Если в качестве терминов, входящих в формулу, используются математические переменные, то операция преобразования записывается математической формулой, которая реализуется алгоритмически.

 

Процедура преобразования, применяемая к тому или иному  проектному решению, записанному в  виде топологии объекта проектирования, может осуществляться либо объединением (композицией), либо декомпозицией. В  свою очередь, композиция проектных  решений имеет несколько модифицированных представлений и их множество  счетно.

 

То же можно сказать  относительно декомпозиции проектного решения. Здесь отметим, что процедура  композиции характерна для восходящего  проектирования, а декомпозиция - для  нисходящего.

 

4. Процедура идентификации

 

Процедура идентификации  осуществляется либо над множеством данных (из базы данных) когда ставится задача преобразования проектного решения, либо над множеством проектных решений, когда ставится задача занесения  его в базу данных.

 

Указанные задачи, решаемые в соответствии с классифицируемыми  процедурами, как отмечалось, сделаны  относительно объектов. Они имеют описание в виде цепочек формульных зависимостей (модельных представлений, реализуемых алгоритмически) либо цепочек термов, лексем, лингвистических переменных). Поэтому можно предположить, что множество перечисленных процедур факторизуется по классификационному признаку, связанному со способом описания и реализации в среде САПР.

 

КЛАССИФИКАЦИЯ ПРОЦЕДУР

 

Каждая из перечисленных  процедур может быть отнесена к одному из трех типов процедур:

 

- формальная,

 

- формализуемая,

 

- эвристическая.

 

Дадим несколько определений.

 

а) Формальная процедура - совокупность действий, которая порождает проективное (или счетное множество проектных  решений) без участия проектанта. В этом случае проектант только формулирует задачу: назначает входные данные и указывает критерий проектного решения. б) Формализуемая процедура - процедура, которая может лишь частично формально описываться в виде какого-либо алгоритма, иногда даже реализующего численный метод, но исходные данные для нее требуют преобразования, а условия ее протекания, критерии проектных решений требуют уточнения не при переходе от одного объекта проектирования к другому, но и процессе ее выполнения.

 

Проектант может влиять на условия протекания формализуемой  и эвристической процедур, руководствуясь только лишь опытом, интуицией, здравым  смыслом, причем как своим собственным, так и по выбору, и накопленным  в данной САПР. в) Эвристическая процедура - процедура, которая не поддается  никакому формальному описанию, не может быть описана никаким алгоритмом и при определенных условиях не обеспечивает принятия проектного решения.

 

Приведем примеры процедур.

 

а) Формальные процедуры:

 

- анализ чувствительности  модели проектирования, применяемой  в теории автоматического регулирования,

 

- синтез оптимального  фильтра (решение задачи Винера-Хопфа), когда критерий сформулирован  в ТЗ,

 

- поиск безусловного экстремума  целевой функции, сформулированной  для задачи непосредственно в  ТЗ.

 

Перечисленные процедуры  позволяют оперировать со строгими математическими моделями, являются реализацией конкретно поставленной задачи и инвариантны к критерию проектного решения.