Преобразование - граф
Cтраница 1
Преобразования графа показаны на рис. 11.5. Мусор не показан, а корневая вершина очередного редекса помечена символом в каждом графе. Подстановка приводит к графу ( б), где разделение выражения аргумента очевидно. Последние три шага редукции определяются правилами применения примитивных функций и могут быть рассмотрены после прочтения следующего параграфа. Однако преобразования графа являются очень простыми и вполне очевидными: редекс графа ( г) является первым аргументом строгой примитивной функции -) -, а следующие две редукции являются просто применениями примитивной функции () к постоянным аргументам. [1]
 |
Добавление графов UCLA к иерархии моделей. [2] |
Преобразование графа UCLA в сеть Петри достаточно просто из-за подобности этих систем. Каждая дуга в графе UCLA представляется позицией в сети Петри. [3]
Практически преобразование графа переходов к кубиру-емому виду сводится к добавлению новых вершин в некоторые ребра каждой запрещенной фигуры, являющейся подграфом графа переходов. Этим самым вводятся неустойчивые внутренние состояния автомата. [4]
Правила преобразования графа, соответствующего применению примитивной функции, задаются б-правилами для этой функции. [5]
Правила преобразования графа для каждого комбинатора являются более сложными, чем в реализации, использующей фиксированные комбинаторы, и должны генерироваться компилятором. [6]
Существуют формальные методы преобразования графов. Практически, однако, они не нашли заметного распространения. Основными инструментами системного проектирования по-прежнему являются опыт и интуиция конструктора. Рассмотренный выше процесс системного проектирования АСУ Метрология практически не заканчивается в один прием. [7]
Разработаны правила исследования и преобразования графов, пользуясь которыми можно во многих случаях простейшим образом определить передаточную функцию многоконтурной системы автоматического управления по заданным передаточным функциям отдельных ее звеньев или построить схему содержащего логические элементы и элементы памяти автомата так, чтобы им выполнялись заданные функции, или же провести решение других задач. [8]
При изменении базисной пары преобразования графа в основном сводятся к операции замены ребра. [9]
Как видно, применение эквива-лентных преобразований направлен-ных графов довольно трудоемкий процесс. [10]
Были проведены исследования по преобразованию графов переходов для неопределенных условий и разработан алгоритм размещения состояний, обеспечивающий наличие единичных переходов между состояниями. [11]
В некоторых случаях при преобразованиях графов оказывается полезным удлинить ( растянуть) узел. [12]
В некоторых случаях при преобразовании графов оказывается полезным удлинить ( растянуть) узел. Положим, что требуется удлинить узел 2 графа, изображенного на риг. [13]
Следовательно, решение уравнений сопровождается преобразованием графов. Такие простейшие преобразования графов показаны в табл. 3.1, где передачи ветвей для общности обозначены - буквами. Поскольку в графах в и г сигналы х и х2 непосредственно не связаны друг с другом, то передача между этими сигналами равна нулю. [14]
Расчет производим с помощью построения и преобразований графа цепи. [15]
Страницы: 1 2 3 4