Cтраница 2
Для выявления нереализуемых маршрутов в формально построенном графе программы каждый из них должен быть проанализирован на наличие подобных пар несовместимых условий. Такой анализ относительно просто выполнить для условий первого вида, которые, однако, не так часто встречаются. Наиболее важный вид неявных несовместимых условий формально проанализировать невозможно без привлечения описаний всех связей между переменными. Это затрудняет формализованное выделение нереализуемых маршрутов и оценку влияния несовместимости условий на снижение сложности тестирования модулей. Особенно быстро возрастают трудности при попытке формального выделения нереализуемых маршрутов в группах программ, состоящих из многих модулей. [16]
Если эти потери существенны, то построенный граф делится на части, что, по крайней мере, в несколько раз снижает запаздывание и, следовательно, средние потери. Такая процедура повторяется до тех пор, пока значениями Фо ( тср) можно будет пренебречь. Получившиеся после этого отдельные графы используются для разработки по ним алгоритмов диагностики, а выходные вершины этих графов считаются нарушениями и анализируются в каждом цикле работы УВМ. [17]
Заметим, что вычисление кратчайших квазимаршрутов с помощью специально построенных графов и ультраграфов не накладывает ограничений на класс гиперсетей. [18]
Единственность пути (2.2) позволяет естественным образом ввести ориентацию ребер построенного графа. [19]
Расположение точек Xt на плоскости для каждой матрицы выбирается гак, чтобы построенный граф был нагляден. [20]
Очевидно, неразложимые компоненты системы Г будут в точности соответствовать связным компонентам построенного графа. [21]
Теперь из вершины / 3i выпустим граф С / 2, аналогичный уже построенному графу U но для множества V2 и проведем для него все предыдущие построения. [22]
Проверяется четность числа состоянии и переходов во всех циклах ( вамкнутых графах или подграфах) построенного графа переходов. Если это условие не выполняется, следует дополнить граф безусловными переходами, используя в качестве сигнала, вызывающего ети переходы, единичный сигнал. [23]
Покажем, что исходная задача о наивыгоднейшем раскрое эквивалентна задаче о нахождении пути наибольшей длины в построенном графе. Действительно, каждый такой путь можно интерпретировать как последовательность деталей, отрезаемых от единицы сырья. [24]
Результаты расчетов длин дуг построенного графа ( см. рис. 21) сводятся в табл. V.18, V.19. Имея построенный граф, содержащий 38 стоков, и зная длины 38 дуг этого графа, приходим к задаче расчета оптимального пути в этом графе. [25]
Как и в случае транспортной задачи, требования, перечисленные при определении правильного упорядочения, могут быть переформулированы в терминах построенного графа. Мы не будем останавливаться на доказательстве согласованности этих требований с определением правильного упорядочения, так как они достаточно очевидны, а доказательство проводится подобно доказательству признака правильного упорядочения для транспортной задачи. [26]
Теорема 4.5.6. Все произвольно вычерчиваемые графы получаются из графов без циклов G при помощи соединения вершин G ребрами с новой вершиной а так, чтобы построенный граф имел четные степени; в а могут быть добавлены петли. [27]
Теорема 4.5.6. Все произвольно вычерчиваемые графы получаются из графов без циклов G4 при помощи соединения вершин GI ребрами с новой вершиной а так, чтобы построенный граф имел четные степени; в а могут быть добавлены петли. [28]
Не составляя системы уравнений, построить ненормализованный / - граф для электрической цепи, схема которой изображена на рис. 113.22. Составить системы уравнений равновесия узловых напряжений непосредственно по схеме и по построенному графу. [29]
Графовая модель программы обычно строится на основе ее логической схемы. Построенный граф отражает структуру программы, особенности систем команд конкретных МП. Это затрудняет определение времени выполнения программы каждым МП исходной их совокупности. Независимость модели программы от системы команд конкретных МП достигается выбором языка моделирования. [30]