Автоматизация изготовления фотошаблонов для печатных плат
Необходимо формировать следующие задачи:
I. контроль топологии и чертежей шаблонов. Он включает в себя: 1) контроль исполнения контура, который может возникнуть вследствие выполнения узловых точек при кодировке изображения; 2) учет конструкторско-технологических ограничение; 3) контроль на соотношение электрической принципиальной схемы.
II. создание чертежей отдельных слоев. Для этого используется генератор изображения. Могут быть реализованы 2 алгоритма:
1)прямоугольные области разбиваются на отдельных прямоугольники с ограничением по минимальному и максимальному размеру
2)для площадок произвольной конфигурации происходит покрытие прямоугольниками
III. генерация программы для станков с числовым программным управлением (ЧПУ) и другого оборудования.
Формализация задачи создания чертежей фотошаблонов с помощью векторного представления.
Используются следующие вектора:
Открывающие вектора. Для них y2>y1
Закрывающие вектора y2<y1.
Данный способ используется только для изображений прямоугольников со сторожами, параллельные осям координат. При обходе областей всегда отклоняются справа от направления обхода.
Пример:
Список векторов меняется только при переходе от сечения к сечению;
Внутри сечения список не меняется. Открывающие вектора добавляют в изображение, тех областей, которые расположены справа от них. Закрывающие вектора извлекают из этих областей, области , расположенные справа от них.
Обход сечений ведется слева направо.
Список векторов является входной информацией для генерации программ, управляющих оборудованием, которым предназначены для формирования фотошаблона.
Для формализации задачи. Создание фотошаблонов для областей произвольной формы (не более 20%) используется алгоритмы накрытия прямоугольниками.
Можно выделить 2 типа алгоритмов:
1)
А) разбиение на трапеции
Б) выделение прямоугольных областей
В) покрытия оставшейся области изображения прямоугольниками типичной минимальной площади с большими сторонами.
2)
1) выделить максимальных областей прямоугольной формы
2) покрыть оставшихся областей прямоугольниками минимальной площади
Первый способ является более экономичным с точки зрения программной реализации, т.к. содержит меньший объем информации, достаточной для формирования изображения
Второй способ. Применяется в том случае, если изображение нельзя разбить на трапеции. В этом случае применяют специальные алгоритмы перебора, которые позволяют подобрать типовое количество так и по площади прямоугольников, покрывающих изображение. Способ является менее экономичным с точки зрения программной реализации, но универсальным с точки зрения формы изображения.
Метод верификации
Имитационное моделирование.
При верификации сплошных систем в качестве моделей могут быть использованы сети Петри и системы массового обслуживания, моделирования объектов, каждые представляются системой массового обслуживания. Может быть реализована аналитическим методом и имитационным.
Системы массового обслуживания
Моделируют процесс sdgfsg различных объектов через обслуживающие устройства.
(объекты – информация, различные типы сигналов, детали, изделия и т.д.).
Параметры следующие:
1)производительность системы
2)продолжительность обслуживания на отдельном устройстве
3
)загрузка
оборудования
ω поток заявок – последовательность событий, которые происходят через остро заданные, либо через случайные промежутки времени
Hi накопитель- содержит очередь заявок (емкость накопителя)
Пi обслуживающий аппарат – устройство обрабатывает заявки (время обслуживания)
hi поток события-правила обслуживания заявки.
ki – канал обслуживания – право передачи заявки на дальнейшее обслуживания (очередь и т.д.)
yi – выходная заявка, т.е. обслуженная заявка.
Имитационное моделирование – это воспроизведение событий, которые происходят в реальной системе последовательно или параллельно в модельном времени.
Реализация имитационного моделирования составляется специальной программой либо на общих языках высокого уровня, либо на специальных объектно-ориентированных языках программирования. Особенность объектно ориентированных языков для реализации имитационного моделирования на основе систем массового обслуживания является блочный подход, и каждый блок отображает отдельный элемент системы массового обслуживания:
Обслуживающий аппарат отображается алгоритмом в котором определяется время обслуживания заявки
Источник заявок- отображается время появление заявки на выходе устройства;
Время задержки заявки;
Количество заявок;
Приоритет заявки;
Всё отражается специальными операндами
Накопитель – (ёмкость накопителя – объём свободной памяти накопителя, наличие заявок в очереди).
Время моделирования – дискретное время разделяется на дискреты в течении которых происходит параллельное событие