Аноним

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

Материал из WEGA
Строка 100: Строка 100:




FindMinLabels(N)
  '''FindMinLabels'''(N)
foreach node v in N do l(v) <^ w w,-ф
      '''foreach''' вершины v в N '''do''' <math>l(v) \Leftarrow -w_v \cdot \phi</math>
while (имеются обновления меток) do
      '''while''' (имеются обновления меток) '''do'''
foreach node v in N do
        '''foreach''' вершины v в N '''do'''
l(v) ( minc2C(v)fmaxfl(u) d ф + 1jud ec}}
        <math>l(v) \Leftarrow min_{c \in C} \{ max \{ l(u) - d \cdot \phi + 1 | u^d \in c \} \} </math>
if v является PO и l(v) > ф, return неуспешно
        '''if''' v является первичным выходом и <math>l(v) > \phi</math>, '''return''' «Неуспешно»
return успешно
      '''return''' «Успешно»


Рисунок 5. Технологическое отображение последовательной схемы. Процедура разметки
Рисунок 5. Технологическое отображение последовательной схемы. Процедура разметки
4551

правка