Cтраница 2
Вершина о ( 2) представляет тот интервал графа G, для которого основой является входная вершина я0 этого графа. [16]
Предложение 7.42. а) Пусть Г - очень хороший графу С - его цикл с входной вершиной В, выходной вершиной Е и произвольной вершиной F. Входная в С и выходная из С стрелки помечены буквами t и t соответственно. Пусть слово s отвечает пути из В в F и t - t s, A - подалгебра А. [17]
Если бы это было не так, то интервал I ( h) имел бы не единственную входную вершину, что противоречит определению интервала. [18]
По коэффициентам bj & и некоторым их совокупностям строят, элементарные графы eib, содержащие путь от входной вершины i к выходной к. Различные варианты элементарных графов образуют в соответствии с формулами ( 1 - 27) и ( 1 - 29), а кроме того, путем перестановок дуг с весом разного типа в подграфах пути и контуров. [19]
Кроме того, при отсутствии искусственно введенной в граф слева ветви с оператором 1 ( единичная ветвь), входная вершина которой имеет значение /, нельзя было бы четко показать источник графа. Искусственное добавление единичных ветвей позволяет вводить в сигнальный граф ХТС вершины, соответствующие недостающим промежуточным переменным системы. Благодаря введению дополнительных единичных ветвей в сигнальном графе ( рис. IV-45, б) появляются все переменные, имеющиеся в структурной блок-схеме. Такие же дополнительные единичные ветви вводят для обозначения выходных переменных ХТС. [20]
Основной задачей при проектировании микропрограммных тестов является нахождение путей в графе G, обеспечивающих условия транспортировки и транспортировку тестовых наборов из входной вершины на входы проверяемой, а также транспортировку результатов проверки в выходную вершину. Последовательность найденных путей должна обеспечивать минимальное приращение проверенных вершин и ребер по отношению к предыдущему пути. Совокупность путей должна обеспечивать проверку связей и функциональных блоков устройства. [21]
Определение 7.35. Назовем граф без параллельных ребер неплохим, если в нем нет соседних слившихся циклов и две входящие стрелки к входной вершине любого цикла помечены разными буквами, за исключением, быть может, случая, когда одна из этих стрелок ведет непосредственно из одного цикла в другой. То же верно и для выходящих стрелок, Неплохой г раф называется хорошим, если он детерминирован. [22]
Определим нормальную сеть каналов как такую, в которой соответствующая сеть обладает следующими свойствами: ( i) ни одно ребро не соединяет входную вершину с выходной; ( п) каждая промежуточная вершина связана с каждой выходной вершиной; ( iii) ребра, соединяющие входные и промежуточные вершины, устанавливают между ними взаимно однозначное соответствие. [23]
![]() |
Разомкнутый граф. [24] |
В соответствии со сказанным выше считаем, что внешний поток выходит из входного фиктивного блока, которому в графе, отвечающем данной схеме, должна соответствовать входная вершина. С другой стороны, вершина 1, соответствующая входному блоку 1, не является входной вершиной графа. [25]
С помощью матриц С, С2 - С8 можно установить, что в рассматриваемом графе хода выполнения программы существуют следующие пути, которые начинаются с его входной вершины. [26]
Материал первой части подсказывает нам, что так сформулированные свойства достижимости и продуктивности хорошо описываются в терминах прямого и обратного транзитивных замыканий: достижимая вершина принадлежит прямому транзитивному замыканию входной вершины графа переходов, а продуктивная вершина принадлежит обратному транзитивному замыканию останова. Важным отличием схем Янова является, однако, что в распознавателях преемники выбираются не произвольно, а предписанным условием способом. Таким образом, недостижимость вершины при построении конфигураций может оказаться замаскированной наличием пути от входной вершины, но содержащего распознаватели с противоречивыми условиями. [27]
Из вышесказанного видно, что фрагменту программы, внутри которого при оптимизации можно применить те же принципы ис-ключения возможности внесения ошибок в программу, которые используются при оптимизации линейного участка, в графе хода выполнения программы соответствует такой подграф с единственной входной вершиной, каждая вершина которого, кроме входной вершины, имеет только один единственный непосредственный предшественник. Такой подграф графа хода выполнения программы часто называют расширенным линейным участком. [28]
При выделении дуг обратной связи должны выполняться следующие правила, вытекающие из технологии обработки информационных массивов: исключение дуги обратной связи не должно нарушить достижимости вершин графа из входных на графе G0 и из выходных вершин на обратном графе Gjj 1; в качестве начальной может быть выбрана только входная вершина контура; в качестве концевой - только выходная вершина контура; при исключении дуги обратной связи из графа G0 не должно образовываться тупиковых вершин - вершин, не имеющих входящих или выходящих дуг; исключение дуги обратной связи из контура не должно нарушать достижимость выходных вершин контура из входных по контурным дугам на графе и входных вершин контура из выходных на обратном графе, если она была до исключения дуги обратной связи. [29]
Из вышесказанного видно, что фрагменту программы, внутри которого при оптимизации можно применить те же принципы ис-ключения возможности внесения ошибок в программу, которые используются при оптимизации линейного участка, в графе хода выполнения программы соответствует такой подграф с единственной входной вершиной, каждая вершина которого, кроме входной вершины, имеет только один единственный непосредственный предшественник. Такой подграф графа хода выполнения программы часто называют расширенным линейным участком. [30]