Автоматизированное проектирование. Норенков И.П. - 90 стр.

 5@!"! 3                               %!#*%!#&F*:,$*      $I*:+*F*)&* !)!@&'! +($*,#)KH (*L*)&M

дов из какой-либо вершины, т.е. по наличию листьев — терминальных вершин. Неограниченный рост
числа маркеров в какой-либо позиции свидетельствует о нарушениях ограниченности.
     Приведем примеры анализа достижимости.
      + - 0 B . - 7 . Сеть Петри и граф достижимых разметок представлены на рис. 3.25.
      На рисунке вершины графа изображены в виде маркировок, дуги помечены срабатывающими переходами. Живость
сети очевидна, так как срабатывают все переходы, тупики отсутствуют.




                          %+,. 3.25. Сеть Петри и ее граф достижимости для примера 1
      + - 0 B . - 2 . Сеть Петри и граф достижимых разметок представлены на рис. 3.26.
      Сеть, моделирующая двухпроцессорную вычислительную систему с общей памятью, является живой, все размет-
ки достижимы.




                          %+,. 3.26. Сеть Петри и ее граф достижимости для примера 2

        3.7. E:-./:-+A.,74. 4B.,3.A.0+. 345,+,-./ /:I+0042 @8:H+7+ +
                        @.4/.-8+A.,74@4 /45.D+849:0+>
     '4/340.0-1 /:-./:-+A.,74@4 4B.,3.A.0+>. Подсистемы машинной графики и геометричес-
кого моделирования (МГиГМ) занимают центральное место в машиностроительных САПР-К. Конст-
руирование изделий в них, как правило, проводится в интерактивном режиме при оперировании гео-
метрическими моделями, т.е. математическими объектами, отображающими форму деталей, состав
сборочных узлов и возможно некоторые дополнительные параметры (масса, момент инерции, цвета
поверхности и т.п.).
     В подсистемах МГиГМ типичный маршрут обработки данных включает в себя получение про-
ектного решения в прикладной программе, его представление в виде геометрической модели (геоме-
трическое моделирование), подготовку проектного решения к визуализации, собственно визуализа-
цию в аппаратуре рабочей станции и при необходимости корректировку решения в интерактивном ре-
жиме. Две последние операции реализуются на базе аппаратных средств машинной графики. Когда
говорят о математическом обеспечении МГиГМ, имеют в виду прежде всего модели, методы и алго-
ритмы для геометрического моделирования и подготовки к визуализации. При этом часто именно ма-
тематическое обеспечение подготовки к визуализации называют математическим обеспечением ма-
шинной графики.
     Различают математическое обеспечение двумерного (2D) и трехмерного (3D) моделирования.
Основные применения 2D графики — подготовка чертежной документации в машиностроительных
САПР, топологическое проектирование печатных плат и кристаллов БИС в САПР электронной про-

 &.+.)$(*),$" . !"#$%!#&'&($"!))$*             +($*,#&($"!)&*                                          90