Cтраница 2
Максимальный ( минимальный) путь через вершины. Обозначим через Р подмножество путей графа G ( E, Г) с некоторым свойством &. Максимальным ( минимальным) путем через вершины, принадлежащим Р, назовем путь с максимальным ( минимальным) значением Я. Очевидно, что таких путей может быть несколько. [16]
Если усилитель охвачен ОС, то в сигнальном графе ( см. рис. 2.15) имеется ветвь Вн и образуется замкнутый контур, который касается всех путей графа. По правилу Мэзона [10] передачу всех путей графа необходимо делить на возвратную разность F, которая является определителем графа. Однако необходимо заметить, что это не может относиться к пути от узла 1 до узла / 2, так как, задавая ток 1, мы как бы устраняем действие ОС. [17]
Для построения минимального локализующего теста для1 исходного графа G следует воспользоваться методами, изложенными в предыдущих параграфах. В соответствии с этими методами в матрице путей Ьо приведенного графа GQ находится такой набор, содержащий минимальное число вершин, что после вычеркивания из D0 столбцов, соответствующих вершинам, которые не вошли в данный набор, все строки полученной матрицы останутся попарно различимыми. Нетрудно показать, что лишь только одна из вершин типа выход приведенного графа GO иногда может не входить в минимальный локализующий тест. Кроме того, если какая-либо из вершин графа GO имеет только одну исходящую из нее дугу, то эта вершина обязательно входит в минимальный локализующий тест. При выполнении этих тестов можно производить либо проверку я3, либо проверку я4, так как новой вершине 3 может быть приписана любая из этих проверок. [18]
Рассмотрим приведенный граф G0, который получен из сходного графа G. Будем считать, что строки и столбцы матрицы путей графа G0 упорядочены в соответствии с рантом вершины. Так как номер вершины графа GO определяет номер проверки, то для построения проверяющего, локализующего или диагностического тестов для графа G достаточно перечислить номера вершин графа GO, входящие в соответствующий тест. [19]
Однако эти синтаксические эвристики не сообщают, какой из путей графа машина должна проверить. Чтобы получить такую информацию, необходимо использовать семантические эвристики. Например, вот одна из первых эвристик, которую необходимо применять при доказательстве геометрических теорем с помощью чертежей. [20]
Проверка управления работой программ требует их совместной работы. Цель динамической проверки состоит в проверке пределов изменения переменных в процессе работы программ и проверке путей графа с помощью специальных тестов. [21]
Итак, при автоморфизме f путь в графе Н ( G, Y) дает путь в графе Н ( G, Y) такой же длины. Поскольку существует ф - 1, то устанавливается взаимно однозначное, сохраняющее длину соответствие между путями графа Н ( G, Y) и путями графа Н ( G, Y) - Кратчайшие пути в Н ( G, Y) независимы, так как t - просто перестановка компонент вектора t, а вектор t предполагается независимым. [22]
В этом параграфе будут рассмотрены графы процессов как совокупность независимых линейных графов, только один из которых можег быть реализован в течение цикла управления объектом. Таким образом, будем считать, что в каждом цикле управления объектом выполняется только один из путей графа процесса, ведущих из начальной вершины в конечную. [23]
Итак, при автоморфизме f путь в графе Н ( G, Y) дает путь в графе Н ( G, Y) такой же длины. Поскольку существует ф - 1, то устанавливается взаимно однозначное, сохраняющее длину соответствие между путями графа Н ( G, Y) и путями графа Н ( G, Y) - Кратчайшие пути в Н ( G, Y) независимы, так как t - просто перестановка компонент вектора t, а вектор t предполагается независимым. [24]
Система функционирует следующим образом: переменная исходная информация ( параметры среды) вводится в блок 1; трансфигуратор ( блок 2), исходя из значений параметров среды, строит рабочий граф конструирования ( блок 3); в архиве ( блок 5) определяются массивы значений внутренних параметров элементов, которые выбираются на рассматриваемых путях графа конструирования, соответствующих вариантам проектных решений; блок 6 выделяет элементы, удовлетворяющие значениям параметров среды и условиям функционирования на данном пути ГК ( варианте проектного решения), и вычисляет значения внешних параметров электроустановки с. [25]
Ребро с концами A -, Bj обозначается AfBj. Путь графа, в к-ром начальная и конечная вершины совпадают, а остальные вершины различны. [26]
Ребро с концами A /, Bj обозначается Aflj. Путь графа, в к-ром начальная и конечная вершины совпадают, а остальные вершины различны. [27]
Любая из вершин графа может быть условно принята за начальную, называемую базой ( корнем) дерева графа. Базовым ( корневым) деревом является цепь, проходящая через вершины дерева к базе и в ней заканчивающаяся. Величина пути графа выражается произведением величин ребер этого пути. При этом перемножаются величины ребер, направленных к одной базе, а величины кратных ( параллельных) ребер складываются. [28]
В основе некоторых алгоритмов лежит использование матрицы путей на графе. Такая матрица является квадратной и содержит столько столбцов, сколько элементов имеется в составе ХТС. Матрица путей графа ХТС, представленной на рис. II.4, приведена в табл. II.3; обозначим эту матрицу буквой Я. [29]
Если вершины графа перенумерованы или следуют в определенном порядке, то различают прямой путь, в котором каждая последующая вершина имеет более высокий порядок, чем уже пройденная, и обратный путь - в противном случае. Прямой и обратный пути обязательно являются разомкнутыми. Например, путь графа на рис. 1 - 2 6 ii-e 2 - i2 - ez - t 3 - прямой путь; там же легко проследить обратный путь. [30]