Cтраница 2
Из теоремы 4.9 следует, что если изменить начальную разметку сети, удовлетворяющей условию данной теоремы, удалив из сети все фишки, кроме фишек в ловушках, то полученная сеть останется живой. [16]
Если синтезировать равномерное дерево таким образом, чтобы оно являлось деревом разрезов построенного цикла, то при сложении всех построенных циклов их минимальные разрезы тоже как бы складываются, образуя минимальный разрез в результирующей сети; при этом исходное дерево Т доминирующих требований становится деревом разрезов в полученной сети. [17]
Предположим, что число возможных значений начального уровня запасов является конечным; пусть каждая пз вершин сети соответствует одному пз этих уровней. Полученная сеть близко напоминает сеть, приведенную в разд. [18]
Полученную сеть дорог нельзя обойти, проходя по каждой дороге один раз, поскольку имеется 4 столицы, в которых сходится нечетное число дорог. [19]
Дело в том, что в результате наложения в результирующей сети могут появиться головные места без фишек. Чистка полученной сети состоит в удалении из сети таких головных мест и всех тех элементов сети, к которым можно прийти из головных мест по путям вдоль дуг. На рис. 7.12, УК показана сеть Л / ( N, ЛЛ) после чистки. Эта сеть является О-сетью и представляет параллельный процесс функционирования параллельной сети, изображенной на рис. 7.12, а. На рис. 7.13 показана параллельная сеть с циклами, О-сеть, являющаяся результатом развертки предыдущей сети, и некоторые промежуточные этапы развертки. [20]
Сети различных периодов объединяются в единую расчетную сеть путем добавления сетевых моделей промыслов и хранилищ. К полученной сети добавляются узлы 0 и Л /, которые соединяются с узлами-источниками и узлами-стоками в моделях объектов. [21]
Причем в проект СМОД включаются компоненты выхода W3, W4 и W &. Пользуясь полученной сетью, можно легко проследить процесс получения проектной документации. [22]
Очень важно, чтобы читатель отдавал себе отчет в том, что построение модели, представляющей самосовмещения, не обязательно приводит к графу группы. В каждом конкретном случае следует проверять, что полученная сеть удовлетворяет всем требованиям, которым, как мы установили раньше, должен удовлетворять граф группы. [23]
После определения длины критического аутж его сравнивают с дд-ректжвной продолжительностью строительства объекта. Если продолжительность критического путе не превышает директивную, то полученная сеть может служить основой дая выравнивания использования ресурсов. [24]
Лемма 4.3. Пусть сеть жива и безопасна при i. Если изменить начальную разметку, убрав из непустого места фишку, то полученная сеть не. [25]
Другое применение языков сетей Петри лежит в области задания и автоматического синтеза сетей Петри. Если задать языком требуемое поведение, то можно будет автоматически синтезировать сеть Петри, обладающую данным языком. Полученную сеть Петри можно использовать в качестве контроллера, гарантирующего, что возможны только указанные последовательности и никакие другие. На их основе разработаны методы автоматического построения сетей Петри. [26]
Далее, возьмем любое другое ребро, не входящее ни в какое минимальное сечение, и выполним ту же самую операцию. Продолжим этот процесс до тех пор, пока не останется ребер, не входящих в какое-нибудь минимальное сечение. Ясно, что полученная сеть удовлетворяет требуемым условиям. Вообще говоря, имеется несколько различных приведенных сетей, которые можно получить из данной сети в зависимости от того порядка, в котором выбираются ребра. Если искомый поток можно найти в приведенной сети, то ясно, что тот же самый поток будет искомым и в исходной сети, потому что как условие Кирхгофа, так и условие ограничения пропускной способности будут выполнены. Следовательно, если доказать теорему для приведенных сетей, то она будет вообще справедлива. [27]
Построение развертки многогранной поверхности в процессе ее развертывания является типичной метрической задачей. Операция развертывания предполагает - разбиение поверхности на многоугольники и разрезание полученной сети по ее ребрам. При этом допустимо, чтобы разбиение охватывало не только сетку многогранника, и тогда возможно бесконечное множество разверток одной и той же поверхности. [28]
Будем считать, что происходят следующим образом. Сначала строится транспортная сеть. Потом неопределенные факторы принимают одно из своих значений. По полученной сети пропускается максимальный поток. [29]
Оказывается, что после многократного предъявления примеров веса сети стабилизируются, причем сеть дает правильные ответы на все ( или почти все) примеры из базы данных. В таком случае говорят, что сеть выучила все примеры, сеть обучена, или сеть натренирована. В программных реализациях можно видеть, что в процессе обучения величина ошибки ( сумма квадратов ошибок по всем выходам) постепенно уменьшается. Когда величина ошибки достигает нуля или приемлемого малого уровня, тренировку останавливают, а полученную сеть считают натренированной и готовой к применению на новых данных. Важно отметить, что вся информация, которую сеть имеет о задаче, содержится в наборе примеров. [30]